INTRODUO S EQUAES DIFERENCIAIS ORDINRIAS

AULA

08

18 JUNHO 2008

Equaes Diferenciais Exatas

de Primeira Ordem

Prof. Andr

01 de17

1. EQUAES EXATAS
Se z = f(x,y) uma funo de duas variveis (x e y)
com derivadas parciais contnuas em uma regio R do
plano xy, ento sua diferencial total dada por:

dz

f(x, y)
f(x, y)
dx
dy
x
y

Se f(x,y) = c (ou seja, z = c), ento dz = 0. Logo:

f(x, y)
f(x, y)
dx
dy 0
x
y
Em outras palavras, dada uma famlia de curvas f(x,y) = c,
pode-se gerar uma equao diferencial de primeira
ordem, determinando a diferencial total.

02 de17

Por exemplo, se:

f(x, y) x 2 5xy y 3 c
ento, utilizando:

f(x, y)
f(x, y)
dx
dy 0
x
y
obtm-se:

(2x 5y)dx ( 5x 3y 2 )dy 0

ou, de outra forma:

dy 5y 2x
2
dx 3y 5x
Note que a equao acima no separvel nem homognea.

03 de17

Para o propsito do presente mtodo, mais importante

inverter o problema, isto , dada uma equao como

dy 5y 2x
2
dx 3y 5x

(1)

identificar se esta equao equivalente a:

dz d(x 2 5xy y 3 ) 0

(2)

Neste caso , pois partiu-se da equao (2) para se chegar

equao (1). Mas e para o caso geral, quando se parte
diretamente da equao (1) ?

04 de17

DEFINIO. Equao exata.

Uma expresso diferencial:
M(x,y) dx + N(x,y) dy
uma diferencial exata em uma regio R do plano xy se ela
corresponde diferencial total de alguma funo f(x,y).
Uma equao diferencial da forma:
M(x,y) dx + N(x,y) dy = 0
chamada de uma equao diferencial exata se a expresso
do lado esquerdo uma diferencial exata.
Por exemplo, a equao x2y3dx + x3y2dy = 0 exata pois
existe uma funo cuja diferencial total equivale ao lado
esquerdo da mesma, ou seja:
05 de17

 1 3 3
x y x 2 y 3 dx x 3 y 2dy
3

O teorema seguinte um teste para uma diferencial exata.

TEOREMA. Critrio para uma Diferencial Exata.
Sejam M(x,y) e N(x,y) funes contnuas com derivadas
contnuas em uma determinada regio R. Ento, uma
condio necessria e suficiente para que
M(x,y) dx + N(x,y) dy
seja uma diferencial exata :

M N

y x

06 de17

PROBLEMA 01
Resolver a equao diferencial:
2xy dx + (x2 1) dy = 0
Soluo
Comparando a equao dada com:
M(x,y) dx + N(x,y) dy = 0
conclui-se que:
M(x,y) = 2xy
N(x,y) = x2 1
Utilizando o critrio para verificar se o lado esquerdo da
equao uma diferencial exata tem-se:

07 de17

M (2xy)

2x
y
y

M N

y x

N (x 2 1)

2x
x
x

Logo, a equao diferencial em questo exata.

Assim sendo, o lado esquerdo da equao diferencial pode
ser escrito como:

f(x, y)
f(x, y)
dx
dy 0
x
y
se existe uma funo f(x,y) tal que:

f(x, y)
M(x, y) 2xy
x

f(x, y)
N(x, y) x 2 1
y
08 de17

Desta forma:

f(x, y)
d f(x, y)

2xy
x considerando dx

d f(x, y) 2xy dx

y constante

Logo:

e:

f(x, y) 2xy dx

x2
g(y) x 2 y g(y)
f(x, y) 2y x dx 2y

onde g(y) uma constante de integrao.

09 de17

Desta forma:

f(x, y)
2
2
N(x, y) x 1
x y g(y)
y
y
Logo:

x2 1
Ou seja:

2
x y g(y) x 2 g' (y)
y
x 2 g' (y) x 2 1

Ento g(y) = 1 e, portanto, g(y) = y.

Assim, a funo f(x,y) dada por:

f(x, y) x 2 y y c

10 de17

E, portanto, uma famlia de solues, dada por:

x2y y c
SUGESTO: Esta equao diferencial tambm pode ser
resolvida por separao de variveis. Verifique isso.

11 de17

PROBLEMA 02
Resolver a equao diferencial:

dy
ycosx 2xe (senx x e 2)
0
dx
y

2 y

Soluo
Multiplicando a equao diferencial por dx tem-se:

(ycosx 2xe y )dx (senx x 2e y 2)dy 0

onde:

M(x, y) ycosx 2xe y

N(x, y) senx x 2e y 2

Utilizando o critrio para verificar se o lado esquerdo da

equao uma diferencial exata tem-se:
12 de17

M (ycosx 2xe y )

cosx 2xe y
y
y
N (senx x 2e y 2)

cosx 2xe y
x
x

M N

y x

Logo, a equao diferencial em questo exata. Ento,

busca-se f(x,y) tal que:

f(x, y)
M(x, y) ycosx 2xe y
x
f(x, y)
N(x, y) senx x 2e y 2
y

13 de17

Portanto, considerando y constante:

f(x, y)
ycosx 2xe y
x
ou:

f(x, y)
ou:

f(x, y) y

d f(x, y) ( ycosx 2xe y )dx

( ycosx 2xe y )dx

cosx dx 2e y

x dx

ou, finalmente:

f(x, y) y senx x 2e y g(y)

14 de17

Assim:

Mas:

Ento:

f(x, y)
senx x 2e y g' (y)
y
f(x, y)
N(x, y) senx x 2e y 2
y
senx x 2e y 2 senx x 2e y g' (y)

Portanto g(y) = 2 e g(y) = 2y.

Assim, a funo f(x,y) dada por:

f(x, y) y senx x 2e y 2y c

15 de17

Deste modo, a soluo da equao diferencial original

dada implicitamente por:

y senx x 2e y 2y c

16 de17

crdito da figura de fundo

Huesca
Cathedral
(Catedral de la
Transfiguracin
del Seor)
Huesca, Espanha

17 de17