Curso de Equações Diferenciais Ordinárias - Unesp
Curso de Equações Diferenciais Ordinárias - Unesp
Curso de Equações Diferenciais Ordinárias - Unesp
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Observação:<br />
É claro que<br />
ω = P dx + Qdy<br />
é exata se e somente se o campo <strong>de</strong> vetores<br />
F = (P, Q)<br />
for gradiente.<br />
O próximo teorem tem <strong>de</strong>monstração análoga ao teorema das equivalências:<br />
Teorema: Dados U ⊂ R 2 um aberto simplesmente conexo e ω = P dx+Qdy<br />
uma 1-forma diferencial <strong>de</strong> classe C 1 temos que são equivalentes:<br />
a) ω é exata;<br />
b) ω é fechada;<br />
c) ∫<br />
para qualquer caminho fechado em U.<br />
P dx + Qdy = 0<br />
α<br />
Uma equação diferencial<br />
Equações Exatas<br />
N (x, y) y ′ + M (x, y) = 0 (*)<br />
on<strong>de</strong> M, N ∈ C 1 em U ⊂ R 2 aberto simplesmente conexo é dita EXATA se<br />
Seja<br />
uma função tal que<br />
então<br />
M y = N x .<br />
f : U → R<br />
∂f ∂f<br />
= M,<br />
∂x ∂y = N<br />
N (x, y) y ′ + M (x, y) = 0 ⇒ ∂f<br />
∂y (x, y) y′ + ∂f (x, y) = 0 ⇒<br />
∂x<br />
⇒<br />
d (f (x, y (x))) = 0 ⇒ f (x, y (x)) = cte<br />
dx<br />
Concluímos que as soluções <strong>de</strong> (∗) possuem gráficos contidos nas curvas <strong>de</strong><br />
nível da f.<br />
19