25.01.2015 Views

Curso de Equações Diferenciais Ordinárias - Unesp

Curso de Equações Diferenciais Ordinárias - Unesp

Curso de Equações Diferenciais Ordinárias - Unesp

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!