Encontre o valor de b para o qual a equação dada é exata e depois a resolva usando este valor de b :

(1 + 3y * e^(xy))dx + (2y + b * x * e^(xy))dy = 0

Passo 1

Vamos a nossa questão! Precisamos descobrir o valor de b que torna a nossa EDO exata e depois resolvê-la.

Mas... calma aí. O que é uma EDO exata??? Nosso pequeno problema é saber este conceito!

Mas não fiquem com medo, que é algo bem tranquilo de entendermos. Precisamos começar entendendo o que é uma forma diferencial de uma EDO.

Então, uma EDO está na forma diferencial se ela estiver escrita como M x , y d x + N x , y d y = 0 . Se compararmos com o enunciado da nossa questão, temos:

M x , y = 1 + 3 y e x y

N x , y = 2 y + b x e x y

Certo! Agora sim!!! Só que, o que isto tem haver com uma EDO ser exata? Então, a chave para esta pergunta está nas nossas funções M x , y e N x , y . A EDO será exata se, e somente se:

∂ M ∂ y = ∂ N ∂ x

Sacaram?? É bem semelhante a ideia de campos conservativos. Inclusive no método de resolução... Mas deixaremos isto um pouco mais para frente.

Passo 2

Agora que entendemos o que é uma EDO exata, vamos descobrir o valor de b que satisfaça a igualdade das derivadas parciais. Portanto, temos:

∂ M ∂ y = 3 e x y + 3 x y e x y

∂ N ∂ x = b e x y + b x y e x y

OBS: lembrando, ao calcularmos uma derivada parcial, consideramos todas outras incógnitas da nossa função como constantes! Logo, se derivamos em relação a x , então, tudo que tem y é uma constante!

Igualando as derivadas parciais, temos:

∂ M ∂ y = ∂ N ∂ x

3 e x y + 3 x y e x y = b e x y + b x y e x y

3 e x y 1 + x y = b e x y 1 + x y

b = 3

E assim resolvemos a primeira parte! Com b = 3 , temos a seguinte EDO exata:

1 + 3 y e x y d x + 2 y + 3 x e x y d y = 0

Passo 3

Agora temos que resolver a EDO exata. Bom, a ideia aqui é fazer uma analogia com campos vetoriais. A solução da nossa EDO será uma função potencial f x , y = c tal que:

M = ∂ f ∂ x ⟹ f x , y = ∫ M d x

N = ∂ f ∂ y ⟹ f x , y = ∫ N d y

Então, temos que fazer as integrais acima e correlacionar elas. Vamos começar pela primeira. Portanto,

f x , y = ∫ M d x

f x , y = ∫ 1 + 3 y e x y d x = ∫ 1 d x + ∫ 3 y e x y d x

f x , y = x + 3 e x y + g y

Opa. Como assim apareceu uma g y na nossa integral indefinida? Não era para aparecer uma constate c qualquer?

Entãoooo! Lembram da história das derivadas parciais (consideramos as outras variáveis como constantes)? Então! Se estamos integrando em relação a x , a variável y será uma constante!

OBS: Se a gente tivesse integrado primeiramente em relação a N , então, a nossa constante seria uma g y .

Passo 4

Para finalizarmos a questão, vamos ter que determinar agora quem é este g y .

Para isto, agora que obtivemos uma f x , y , precisamos relacioná-la a função N x , y . Agora, ao invés de integrarmos em relação a N , vamos derivar parcialmente nossa f x , y . Fazemos isto pois:

N = ∂ f ∂ y

Sendo assim, temos:

∂ f ∂ y = N

3 x e x y + g ' y = 2 y + 3 x e x y

g ' y = 2 y

Por fim, vamos integrar essa nossa g ' y para encontrarmos g y e assim finalizarmos a questão! Estamos quase lá! Por fim,

g y = ∫ 2 y d y = y 2 + c 1

Aleluia! Cuidado para não esquecerem da constante c 1 (aqui é apenas um número qualquer, pois a nossa g é função de uma única variável). Portanto, a resposta da nossa EDO será:

f x , y = c

x + 3 e x y + y 2 + c 1 = c

x + 3 e x y + y 2 = c

Como soma de constantes não deixa de ser uma constante, então podemos escrever a equação acima com uma única constante. E assim finalizamos a nossa questão!

Resposta

b = 3

x + 3 e x y + y 2 = c

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