Você está na página 1de 8

1

Equaes diferenciais exactas.

Sejam ?B C e @B C duas funes continuamente derivveis num conjunto aberto


H # e considere-se a equao
?B C @B CC w !

isto ,
.C
?B C @B C !
.B
ou, na forma diferencial,
?B C.B @B C.C !

A equao diferencial anterior diz-se exacta em H se o par de funes ? @ for o


gradiente de alguma funo continuamente derivavel em H, isto , se existir uma funo
0 B C (que se designa funo potencial), tal que
`0 `0
?B C e @B C
`B `C

Teorema 1 Sejam ?B C e @B C duas funes continuamente derivveis no rectngulo


V B C # lB +l ! lC ,l "

Uma condio necessria e suficiente para que a equao diferencial


?B C.B @B C.C !

seja exacta em V que


`? `@

`C `B

em V .

Dem.: ( ) Ser exacta significa que ? @ o gradiente de alguma funo


continuamente derivvel em H, isto , existe uma funo potencial 0 B C, tal que
`0 `0
?B C e @B C
`B `C
`? `#0
Mas ? e @ so continuamente derivveis em V logo 0 de classe G # e tem-se e
`C `C`B
`@ `#0 `? `@
ento imediato que, pelo teorema de Schwarz, se tem .
`B `B`C `C `B
( ) Procura-se 0 B C tal que
2

`0


`B ?
`0 . (1)
`C @

Comeando pela primeira linha, e tomando B! C! V tem-se

0 B C ( ?> C.> 9C
B

B!

Derivando agora em ordem a C vem que


`0
@B C B C
`C

( ?> C.>
` B `9
C
`C B! `C

(
B
`? `?
> C.> 9w C (pois contnua)
B! `C `C

(
B
`@
> C.> 9w C (por hiptese)
B! `B
@B C @B! C 9w C

Ento 9w C @B! C donde podemos tomar 9C 'C! @B! =.= e portanto


C

0 B C ( ?> C.> ( @B! =.= 9C!


B C

B! C!

Portanto se existir soluo esta ser dada pela funo 0 B C [o leitor poder verificar
que 0 B C , efectivamente, soluo de "].

Exemplo 1. A equao

.B .C !
#B C #B C "
# #

" B C " B C " C#

exacta pois
`? # %B C# `@
# #

`C " B C `B

e uma funo potencial 0 B C 691" B C# +<->1(C )

O ltimo teorema estabelece um critrio que permite reconhecer se uma dada equao
exacta num rectngulo. importante referir que o resultado estabelecido neste teorema
ainda verdadeiro em domnios muito mais gerais que rectngulos, nomeadamente em
domnios abertos e simplesmente conexos.

O teorema que se segue indica como determinar o integral geral de uma equao
diferencial exacta, caso seja conhecida uma funo potencial.
3

Teorema 2. Seja H # um conjunto aberto e simplesmente conexo


?B C.B @B C.C ! (2)

uma equao diferencial exacta em H e 0 tal que


`0 `0
?e @
`B `C

Se CB for uma soluo de (2), cujo grfico est contido em H ento


0 B CB - ,

para alguma constante real - . Reciprocamente se a equao 0 B C - define


implicitamente C como funo diferencivel de B, a funo assim definida soluo da
equao diferencial (2).

Observao 1. Considere a equao


C B

# #
.B # .C !
B C B C#
?B C @B C

definida em # ! ! Apesar de se ter


`? `@

`C `B

no se pode dizer que exacta porque o seu domnio no simplesmente conexo. Mas
se supusermos uma restrio do domnio simplesmente conexa (por exemplo,
! _ j exacta e uma funo potencial

0 B C +<->1
C
B

Exemplo 2. A equao diferencial


?B C.B @B C.C #/#B C #BC # .B /#B #B# C.C !

exacta (as funes ?B C e @B C so continuamente derivaveis em # que um


`? `@
conjunto aberto e simplesmente conexo e #/#B %BC ), pelo que existe uma
`C `B
funo 0 B C tal que
`0 `0
#/#B C #BC # e /#B #B# C
`B `C

Tem-se que 0 B C /#BC B# C # (a menos de uma constante), pelo que a soluo da


equao dada implicitamente por
/#BC B# C # - , com -
4

Factor integrante.

Considere-se a equao
" BC
?B C.B @B C.C .B # .C ! (3)
# C "

Como
`? C `@
! #
`C C " `B

a equao no exacta.

Multiplicando a equao pela funo !C C # " obtm-se


C# " BC
Y B C.B Z B C.C .B # C # ".C ! (4).
# C "

As funes Y e Z so continuamente derivaveis em # e


`Y `Z
C .
`C `B

As equaes (3) e (4) so equivalentes mas enquanto que a primeira no exacta a


segunda j o .
funo 9B C C # " chama-se um factor integrante da equao (4). Temos a
seguinte definio:

Definio 1. Dada uma equao diferencial


?B C.B @B C.C !, &

onde ? @ G " H com H simplesmente conexo, designamos por factor integrante da


equao (5) a uma funo . H de classe G " tal que
.B C?B C.B .B C@B C.C !

seja exacta.

Sabe-se que se a equao


?B C.B @B C.C !

admite um factor integrante 9B C ento


9B C?B C.B 9B C@B C.C !
`9? `9@
e exacta e portanto , que tambm pode ser escrito com a forma
`C `B
5

9 !.
`9 `9 `? `@
? @
`C `B `C `B

A esta equao chama-se equao do factor integrante.

Trata-se de uma equao com derivadas parciais cuja resoluo , em geral, muito
difcil. Por esse motivo, na maioria dos casos no h forma de determinar factores
integrantes explcitos para equaes no exactas.

Iremos considerar alguns casos em que tal possvel. Suponhamos que a equao (5)
no exacta. Mas:
(3) se
`? `@
`C
`B
1B (isto , depende de B
@
a funo <B /' 1B.B um factor integrante da equao anterior.

Justificao: se <B s depende de B ento

< ! < @
`? `@
`< `< `? `@ `? `@ `< <w `C `B
? @ 1B
`C `B `C `B `C `B `B < @

e <B /' 1B.B candidato a ser factor integrante. Com efeito ento a equao
' 1B.B ' 1B.B
/ ?B C.B / @B C.C ! Y B C.B Z B C.C !

exacta, pois tem-se que


`Z ' `@ '
/ 1B.B / 1B.B 1B@B C
`B `B

@ / 1B.B
' 1B.B `@ ' 1B.B `C '
`? `@
`B `? `Y
/ / .
`B @ `C `C

Analogamente,
(33) se
`@ `?
`B
`C
0 C (isto , depende de C
?
a funo 9C /' 0 C.C um factor integrante da equao (5).

O leitor pode ainda verificar, como exerccicio, que:


333 se
`@ `?
`B `C
2B C (isto , depende de ? B C
?@
6

a funo 3B C /' 2?.? um factor integrante da equao (5).


(3@) Se
`@ `?
`B
`C
.BC (isto , depende de @ BC
?B @C

a funo )BC /' .@.@ um factor integrante da equao (5).

Observao 2. Consideremos a equao linear homognea de 1 ordem


C w :BC ! (6)

que tambm se pode escrever na forma

:BC .B " .C !.
?B C @B C

Tendo em conta que


`? `@
`C
`B :B !
:B
@ "
a funo <B /' :B.B um factor integrante da equao (6).

Exemplo 3. A equao

?B C.B @B C.C #C/B .B C /B .C !


C#
#
no exacta pois
`? `@
C #/B /B
`C `B

Ora
`? `@
`C
`B C #/B /B
"
@ C /B

pelo que a funo 9C /' .B /B factor integrante da equao. Assim a equao

#C/#B .B C/B /#B .C !


C # /B
#
exacta. Existe ento 0 B C tal que
C # /B


`0
`B
#
#C/#B
`0
`C C/ /#B
B

Daqui vem que


7

C # /B
0 B C C/#B -! com -!
#
uma funo potencial e portanto
C # /B
C/#B -! -" com -"
#
ou seja
C # /B
C/#B - com -
#
(- -" -! ) soluo da equao (dada sob forma implcita).

Exemplo 4. A equao diferencial


B# C # /B $BC # /B .B %B# C/B .C !

admite um factor integrante da forma :B C B5 C 5" , em que 5 uma constante real.


Para o obter temos de determinar 5 ; e para isso basta notar que

B5 C 5" B# C # /B $BC # /B .B B5 C 5" (%B# C/B ).C !

tem de ser exacta. Esta expresso equivalente a


B5+# C 53 /B $B5+1 C 53 /B .B %B5+2 C 52 /B .C !

e daqui se conclui que

`?
5 $B5# C 5# /B $5 $B5" C 5# /B
`C
`@
%5 #B5" C 52 /B %B5+2 C 52 /B .
`B
Vem ento que
5 $ % $5 $ %5 # 5 "

Exemplo 5. A equao diferencial

#C ' .B %BC & #B" C # .C ! B !

admite um factor integrante da forma 2B C B0 C tal que 2 " " ". Como
2B C factor integrante ento
8

B0 C#C ' .B %BC & #B" C # .C !


#C ' B0 C.B %B# C & 0 C #C # 0 C.C !

exacta, e daqui se conclui que


`? `@
"#C & B0 C #C ' B0 w C )BC & 0 C .
`C `B

Deduz-se ento que

%C & B0 C #C ' B0 w C ! #0 C C0 w C !

Ento 0 w C #C 0 C ! e 0 C G C # Vem ento que 2B C G BC # . Como


2 " " " conclui-se que G ", isto , G ". Ento
B
2B C
C#