Resolva a equação diferencial não-linear (x + 2) * sen(y) + (x * cos(y)) * y' = 0 , x > 0 , considerando a teoria sobre equações exatas.

Passo 1

A princípio,

∂ x + 2 sin ⁡ y ∂ y = x + 2 cos ⁡ y ≠ cos ⁡ y = ∂ x cos ⁡ y ∂ x

Logo, multiplicamos por um fator μ = μ x , y , tal que:

∂ μ x + 2 sin ⁡ y ∂ y = ∂ μ x cos ⁡ y ∂ x ⇒ μ x + 2 cos ⁡ y + μ y x + 2 sin ⁡ y = μ cos ⁡ y + μ x x cos ⁡ y

Fazendo μ y = 0 , isto é, μ = μ x , temos:

μ x + 1 cos ⁡ y = μ x x cos ⁡ y

Se cos ⁡ y = 0 , então y n = 2 n + 1 π / 2 com n ∈ Z . O que implica x + 2 = 0 . Logo, não é solução para todo intervalo. Deixando-a de lado, temos:

μ x + 1 = μ x x ⇒ ∫ 1 + 1 x d x = ∫ μ x μ d x ⇒ x + ln ⁡ x + C = ln ⁡ x e x e C = ln ⁡ μ ,   C ∈ R

Logo, μ = D x e x , tomando D = 1 .

Passo 2

Assim, temos que:

x e x x + 2 sin ⁡ y + x e x x cos ⁡ y y ' = 0

É uma equação exata. Tal que:

∂ F ∂ x =   x e x x + 2 sin ⁡ y

∂ F ∂ y =   x 2   e x cos ⁡ y

Logo, vê-se que F = x 2 e x sin ⁡ y e pela teoria das equações exatas, temos:

F = A ∈ R

x 2 e x sin ⁡ y = A

Logo, suas soluções

y = 2 k + 1 2 π ± arcsin ⁡ A x 2 e x

Resposta

x 2 e x sin ⁡ y = A

Exercícios de Livros Relacionados

Em cada um dos problemas 13 e 14, resolva o problema de valor inicial dado e determine, pelo menos aproximadamente, onde a solução é válida(2x - y) + (2y - x) * y' = 0, y(1) = 3
Verifique se a forma diferencial dada é exata. Justifique. f ) e x 2 + y 2 xd x + yd y
Verifique se a forma diferencial dada é exata. Justifique.i) (-y / (x^2 + y^2)) dx + (x / (x^2 + y^2)) dy, (x, y) ∈ Ω, onde Ω é o conjunto {x, y ∈ R^2, y0} ∪ {x, y ∈ R^2 | x0}
Mostre que existem naturais m e n para os quais a forma diferencial 3 * x^(m+1) * y^(n+1) * dx + 2 * x^(m+2) * y^n * dy É exata.
Verifique se a forma diferencial dada é exata. Justifique.d(x + y)dx + (x - y)dy