9.

Equaes de derivadas parciais

Pgina 1 da Seco 9
Seco 9. Equaes de derivadas parciais
(Farlow: Sec. 9.2 a 9.6)

Eis chegado o momento de abordar as equaes diferenciais que envolvem mais do
que uma varivel independente e, consequentemente, apresentam derivadas parciais. A sua
forma geral pode ser dada por:
2 2 2
2 2
, ,..., ( , ,...), , ,..., , ,..., ,... 0
u u u u u
F x y u x y
x y x y x y
_

,
,
em que x, y, etc., so as variveis independentes e u a varivel dependente. A ordem de
uma equao de derivadas parciais (EDP) corresponde ordem da maior derivada parcial
presente na equao. De forma a simplificar a escrita, podemos recorrer a uma notao mais
compacta para designar as derivadas parciais. Por exemplo:

2
x xy
u u
u u
x x y




Tal como sucedia nas EDOs, as EDPs tambm podem ser classificadas em termos da sua
linearidade. Assim, uma EDP linear dever ser linear relativamente varivel dependente e
s suas derivadas. No caso de uma EDP linear de segunda ordem, teremos no caso geral:
xx xy yy x y
au bu cu du eu fu g + + + + + ,
em que u funo de x e y e em que a, b, c, d, e, f so coeficientes que podem ser funo de
x e y (mas no de u). Se esses coeficientes no forem funo de x e y, a EDP diz-se de
coeficientes constantes. Se g = 0, a EDP diz-se homognea. Esta EDP pode ser ainda
classificada de acordo com a natureza dos coeficientes que multiplicam as derivadas de
segunda ordem:
2
4 0 b ac EDP parablica
2
4 0 b ac > EDP hiperblica
2
4 0 b ac < EDP elptica
Resoluo analtica de EDPs
Vamos estudar trs formas de obter a soluo analtica de uma EDP. Em muitos
casos, porm, tal no possvel, sendo ento necessrio optar pela resoluo numrica.
Equao de
Derivadas
Parciais
EDP linear de
segunda ordem

9. Equaes de derivadas parciais
Pgina 2 da Seco 9
I. Integrao directa
Este mtodo s aplicvel se a EDP apresentar apenas uma derivada parcial. Logo, de
interesse bastante restrito. Vejamos dois exemplos:


Consideremos a seguinte EDP:
u
y
x

A derivada parcial que surge na equao designa a derivada de u em ordem a xcom y
constante. Podemos ento imediatamente integrar ambos os lados da equao em ordem a x
mantendo y constante:
const.
( ) ( )
x
u ydx f y yx f y + +

.
Note-se que tivemos que adicionar uma parcela que pode ser funo de y! De facto, esta
constante de integrao tem que ser constante apenas relativamente a x.
Obtivemos assim uma soluo geral que tem a forma:
( ) u yx f y + .
A funo f(y) desconhecida. Eventualmente, se fosse conhecida uma condio inicial do
problema, talvez fosse possvel tentar identificar essa funo. Por exemplo, se nos fosse
dado que:
( 0, ) sin( ) u x y y ,
ento viria que:
( 0, ) 0 ( ) sin( ) ( ) sin( ) u x y y f y y f y y + .


Consideremos agora a EDP:
2
2 2
u
x y
x y

+


Tratando-se de uma derivada cruzada, teremos que integrar duas vezes a equao, primeiro
sobre y (com x constante) e depois sobre x (com y constante):
Exemplo
Exemplo
9. Equaes de derivadas parciais
Pgina 3 da Seco 9
( )
3
2 2 2
const.
( ) ( )
3
x
u y
x y dy f x x y f x
x

+ + + +

.
3 3 3
2
const.
( ) ( ) ( )
3 3 3
y
y x y y x
u x y f x dy h x g y
_
+ + + + +

,

,
em que ( ) ( ) h x f x dx

. Assim, a soluo obtida :

3 3
( ) ( )
3 3
x y y x
u h x g y + + + .

II. Separao de variveis
Este mtodo apenas aplicvel em alguns casos. Normalmente, temos que testar a
equao para verificar se a separao de variveis realmente possvel.
No caso geral de uma EDP cuja varivel dependente u(x,y), o mtodo de separao
de variveis baseia-se na possibilidade de a dependncia de u relativamente variveis
independentes x e y poder ser expressa em termos do produto de duas funes: X(x) e Y(y),
ou seja:
( , ) ( ) ( ) u x y X x Y y .
Vamos ver um exemplo prtico de como o mtodo pode ser implementado.


Consideremos uma EDP de primeira ordem que envolve duas derivadas parciais:
2( )
u u
x y u
x y

+ +

.
O mtodo de separao de variveis parte da hiptese de u(x,y) poder ser representada como
( , ) ( ) ( ) u x y X x Y y . Vamos substituir esta expresso na EDP e verificar se podemos depois
proceder separao das variveis x e y:
2( )
dX dY
Y X x y XY
dx dy
+ + .
Dividindo a equao por XY

Note-se que os operadores de derivao parcial, , foram substitudos por diferenciais totais, uma vez que X
e Y so apenas funo de x e y, respectivamente.
Exemplo
9. Equaes de derivadas parciais
Pgina 4 da Seco 9
1 1
2( )
dX dY
x y
X dx Y dy
+ + .
Rearranjando:
1 1
2 2
dX dY
x y
X dx Y dy
+ .
Ou seja, conseguimos de facto separar as variveis. Reparemos agora que, sendo o lado
esquerdo desta equao apenas funo da varivel independente x e o lado direito apenas
funo da varivel independente y, ento a igualdade s poder ser vlida se ambos os lados
forem iguais a uma mesma constante! De contrrio seria impossvel que, variando
independentemente x e y, a igualdade se mantivesse. Ou seja:
1 1
2 2
dX dY
x k y k
X dx Y dy
+ .
A constante k designada de constante de separao. Obtivemos ento duas EDOs de
primeira ordem, facilmente resolveis para X(x) e Y(y), respectivamente:
2 2
1 2
2 2
1 2
(2 ) (2 )
ln ln
x kx C y ky C
dX dY
x k dx y k dy
X Y
X x kx C Y y ky C
X e Y e
+ + +
+
+ + +


Podemos agora obter a soluo para u(x,y):
2 2 2 2
1 2
( ) ( ) x y k x y C C x y k x y
u XY e Ce
+ + + + + +
.

Analisemos agora um exemplo um pouco mais complexo, associado a uma EDP de
segunda ordem.


A seguinte EDP por vezes designada como equao de calor unidimensional,
pois descreve a variao da temperatura de um corpo, ao longo da direco x, em funo do
tempo t :
2
2
2
0 1, 0
u u
x t
t x

.
Ou seja, u(x,t) pode represent ar a temperatura de uma barra metlica na posio x e no
instante t. a condutividade trmica do metal. Se pretendermos obter uma soluo
Exemplo
9. Equaes de derivadas parciais
Pgina 5 da Seco 9
particular do problema, teremos que conhecer uma condio inicial sobre t e duas
condies fronteira sobre x, uma vez que a EDP envolve uma derivada de primeira ordem e
uma derivada de segunda ordem sobre cada uma das variveis independentes,
respectivamente.
A condio inicial corresponder forma como a temperatura se distribui ao longo
da barra no instante t = 0:
( ,0) ( ) u x f x .
Vamos assumir que a funo f(x) conhecida.
As condies fronteira correspondem normalmente temperatura da barra em cada
extremidade, ou seja, para x = 0 e x = 1. Vamos assumir, por simplicidade, que essas so
constantes e iguais a zero:
(0, ) 0
(1, ) 0
u t
u t

Iniciemos ento a aplicao do mtodo de separao de variveis. Tal como
anteriormente, vamos procurar representar u(x,t) como:
( , ) ( ) ( ) u x y X x T t .
Substituindo na EDP:
2
2
2
dT d X
X T
dt dx
.
Separando as variveis obtemos:
2
2 2
1 1 1 dT d X
T dt X dx
.
Esta igualdade s poder ser vlida para qualquer t e qualquer x se ambos os lados forem
idnticos a uma mesma constante:
2
2 2
1 1 1 dT d X
k k
T dt X dx
.
Veremos a seguir que a constante de separao ser determinada a partir das condies
fronteira do problema. Compreenderemos nessa altura porque razo mais cmodo
designar, neste problema, a constante por k e no simplesmente por k, como no problema
anterior.
Podemos agora resolver as duas EDOs obtidas. Para a primeira temos:
9. Equaes de derivadas parciais
Pgina 6 da Seco 9
2
1 dT
kdt
T
,
2
ln T k t C + ,
2
k t
T Ce

.
E para a segunda:
2
2
0
d X
kX
dx
+ .
Esta uma EDO linear homognea de segunda ordem. Como sabemos, a sua soluo geral
ser a combinao linear de duas solues particulares, as quais devero ser do tipo e
rx
. O
parmetro r obtido das razes da equao caracterstica:
2
0 r kX r k + t .
Chegamos agora a um pequeno problema: conforme a constante de separao k seja
negativa, nula ou positiva, iremos ter diferentes possibilidades para a soluo desta EDO. E
qual delas a adequada para a soluo do nosso problema? Vamos considerar todas as
hipteses e depois verificar qual delas compatvel com as condies fronteira impostas, as
quais so:
(0, ) 0 (0) ( ) 0 (0) 0
(1, ) 0 (1) ( ) 0 (1) 0
u t X T t X
u t X T t X



Assim, segundo a natureza de k, teremos:
o 0 k < implica que k um nmero real, logo teremos solues particulares dadas
por exponenciais:
( )
k x kx
X x Ae Be

+ .
E aplicando as condies fronteira:
0
(0) 0 0
(1) 0 0
0
k k
A B
X A
X B
Ae Be

+

' ' '

+

Ou seja, teramos u(x,t) = 0, o que a soluo trivial e no definitivamente aquilo
de que estamos procura!
o 0 k implica r = 0 , ou seja, temos uma raiz real dupla. A primeira soluo
particular ser
k x
Ae A

e a segunda ser (pelo mtodo dAlembert):

kx
Bxe Bx

. Assim:
9. Equaes de derivadas parciais
Pgina 7 da Seco 9
( ) X x A Bx + .
Aplicando as condies fronteira:
(0) 0 0 0
(1) 0 0 0
X A A
X A B B



' ' '
+


Mais uma vez, obtemos apenas a soluo trivial u(x,t) = 0.
o 0 k > implica que k i k um nmero complexo, logo teremos que recorrer
frmula de Euler por forma a obter a soluo geral em termos de uma combinao
de um seno e um co-seno:
( ) ( )
( ) cos cos X x A kx B kx + .
Aplicando novamente as condies fronteira:
( ) ( ) ( )
cos(0) sin(0) 0 0
(0) 0
cos sin 0 sin 0 (1) 0
A B A
X
A k B k B k X
+


' ' '
+

Vemos ento que k ter que obedecer condio: k n , com n = 1, 2,...

Finalmente obtivemos uma soluo no trivial! Substituindo a expresso obtida para
k, a funo X(x) representada como:
( ) ( ) sin
n n
X x B n x .
E T(t) como:
2
( )
( )
n t
n n
T t C e

.
Logo a soluo do problema vir:
( ) ( )
2 2
( ) ( )
( , ) ( ) ( ) sin sin
n t n t
n n n n n n
u x t X x T t C e B n x b e n x



,
com n = 1, 2,... Existem ento infinitas solues possveis (ditas solues fundamentais),
uma para cada valor de n. A soluo completa do problema dada pela soma de todas as
solues fundamentais:
( )
2
( )
1
( , ) sin
n t
n
n
u x t b e n x

.
9. Equaes de derivadas parciais
Pgina 8 da Seco 9
Resta-nos agora determinar os coeficientes b
n
, de forma a definir completamente a
soluo particular que procurmos. Como faz- lo? Ora bem, falta- nos ainda aplicar a
condio inicial do problema, ( ,0) ( ) u x f x :
( )
1
( ,0) ( ) sin ( )
n
n
u x f x b n x f x

.
O somatrio
( )
1
sin
n
n
b n x

uma srie seno de Fourier

. Sendo assim, os coeficientes b

n

no so mais do que os coeficientes da expanso de f(x) numa srie seno de Fourier para o
intervalo 0 1 x ! Logo b
n
ser dado por (ver Apndice):
( )
1
0
2 ( )sin
n
b f x n x dx

.
Este integral permite-nos assim calcular os coeficientes b
n
a partir de f(x). A soluo
particular do problema est finalmente completamente definida.

III. Transformada de Laplace
O mtodo de aplicao da transformada de Laplace na resoluo de EDPs bastante
semelhante ao descrito na Seco 6, no contexto da resoluo de EDOs. A transformada
aplicada relativamente a uma das variveis independentes (desde que esta tenha como
domnio o intervalo [0, [ + ), fazendo assim desaparecer as derivadas parciais em ordem a
essa varivel. Vejamos um exemplo:


0,
u u
t t x
t x

+ < <


Condies do problema: ( ,0) 0, (0, ) u x u t t .
Vamos aplicar a transformada de Laplace sobre uma das variveis independentes.
De acordo com a definio da transformada, a transformao s possvel se a varivel em
causa tiver como domnio o intervalo [0, [ + . Este facto exclui a possibilidade de
aplicarmos a transformada sobre x. Vamos ento transformar sobre t. A transformada de

A teoria bsica das sries de Fourier descrita no Apndice no final desta seco.
Exemplo
9. Equaes de derivadas parciais
Pgina 9 da Seco 9
Laplace de u(x,t) ser ainda uma funo de x, mas o domnio t ser transformado no
domnio de Laplace, s:
{ }
0
( , ) ( , ) ( , )
st
u x t e u x t dt u x s

L .
De acordo com a conhecida propriedade da transformada da derivada:
( , )
( , ) ( ,0)
u x t
su x s u x
t

' ;

L .
Por outro lado, uma vez que a transformada no aplicada sobre x:
( , ) ( , ) u x t u x s
x x

' ;


L .
Assim, a transformao da EDP original d:
2
( , ) 1
( , ) ( ,0)
u x s
su x s u x
x s

.
Podemos j aplicar a condio inicial ( ,0) 0 u x , obtendo:
2
1 u
su
x s

.
A derivada parcial em ordem a t foi assim eliminada. Obtivemos uma EDP com apenas uma
derivada em ordem a x, a qual resolvel por integrao directa:
2
( )
1
u
x f s
su
s

.
Note-se que, tal como discutimos no incio desta seco, a constante de integrao que
adicionamos, f(s), pode ser funo da outra varivel independente! Integrando obtemos:
2
1 1
ln ( ) su x f s
s s
+ .
Explicitando para u :
3
1
( , ) ( )
sx
u x s g s e
s

.
No podemos ainda inverter esta transformada, uma vez que desconhecemos g(s). Esta
constante de integrao ser determinada aplicando a condio fronteira (0, ) u t t (note-
se que a condio inicial, ( ,0) 0 u x , j foi aplicada). Temos, no entanto, que comear por
transformar essa condio para o domnio de Laplace:
9. Equaes de derivadas parciais
Pgina 10 da Seco 9
{ }
2
1
(0, ) (0, ) u t t u s t
s
L .
Aplicando a condio obtida soluo anterior:
2 3 2 2 3
1 1 1 1 1
(0, ) ( ) ( )
sx
u s g s e g s
s s s s s

.
Logo:
3 2 3 3 2 3
1 1 1 1
( , )
sx sx
sx
e e
u x s e
s s s s s s

_
+

,
.
Agora sim, podemos inverter a expresso resultante para o domnio t

:
2 2
( )
( , ) ( ) ( ) ( )
2 2
t t x
u x t t x H t x H t x

+ .

A inverso das transformadas de Laplace efectuada da forma usual, tratando x como constante.
9. Equaes de derivadas parciais
Pgina 11 da Seco 9
Apndice: Sries de Fourier
Qualquer funo f(x) contnua num intervalo [0, L] pode ser representada por uma
srie de senos ou co-senos. Ou seja, existe uma srie de senos ou co-senos que converge
para f(x). Essas sries definem-se da seguinte forma:
Srie seno de Fourier:
1
( ) sin
n
n
n
f x b x
L

Srie co-seno de Fourier:
0
1
( ) cos
2
n
n
a n
f x a x
L

_
+

,

A expanso de uma funo em srie de Fourier s fica definida aps a determinao
dos coeficientes b
n
e a
n
. Uma relao entre estes e a funo a expandir, f(x), pode ser obtida
com base a propriedade de ortogonalidade das funes seno e co-seno. No caso das funes
seno, demonstra-se que o produto escalar de duas funes seno, designado por ,
n m
S S < > ,
dado por:
0
0,
sin sin ,
,
2
L
n m
n m
n m
x x dx S S
L
L L n m

_ _
< >
'

, ,

Ou seja, S
n
e S
m
so ortogonais se n m .
Multiplicando ambos os lados da expanso em srie seno de f(x) por S
n
e aplicar o
produto escalar, obtemos:
1
0 0
sin ( ) sin sin
L L
n
n
m m n
x f x dx b x x dx
L L L

_ _ _

, , ,

Segundo a propriedade de ortogonalidade das funes seno, o integral do lado direito no
nulo apenas quando n = m. Logo a equao anterior fica:
0
sin ( )
2
L
m
m L
x f x dx b
L

.
De onde se conclui que:
0
2 2
sin ( ) ,
L
n n
n
b x f x dx f S
L L L

_
< >

,

.
Da mesma forma, para a expanso em srie co-seno de Fourier, utilizamos a
propriedade de ortogonalidade das funes co-seno:
Expanso em
srie seno e
co-seno de
Fourier

Definio dos
coeficientes da
expanso em
srie seno de
Fourier

9. Equaes de derivadas parciais
Pgina 12 da Seco 9
0
0,
cos cos , 0
2
, 0
L
m n
n m L
x x dx m n
L L
L m n

_ _

'

, ,

Seguindo um procedimento anlogo ao anterior, obtemos
**
:
0
2 2
cos ( ) ,
L
n n
n
a x f x dx f C
L L L

_
< >

,

.


Vamos expandir f(x) = x numa srie seno e numa srie co-seno de Fourier, com x
[0,1].
A forma da expanso em a srie seno ser (note-se que L = 1):
( )
1 1
( ) sin sin
n n
n n
n
f x b x b n x
L

_


,

.
Os coeficientes b
n
so obtidos de:
( )
1
0 0
2
sin ( ) 2 sin
L
n
n
b x f x dx n x xdx
L L

_


,


O integral anterior pode ser obtido de uma tabela de integrais, obtendo-se ento:
1
2
( 1)
n
n
b
n
+
.
Ou seja, f(x) = x pode ser representada pela srie:
( )
1
1
2
( ) ( 1) sin
n
n
f x n x
n

2 1 1
sin( ) sin(2 ) sin(3 ) ...
2 3
x x x

+
' ;


Na figura seguinte podemos ver a representao grfica da srie, utilizando apenas
trs e oito parcelas no somatrio. notrio que no segundo caso se obtm um resultado
mais prximo da funo original, se bem que a srie diverge sempre para x = 1, uma vez
que, como ( ) sin 0 n , todas as parcelas do somatrio so nulas nesse ponto.

**
As expresses obtidas para os coeficientes b
n
e a
n
no so mais do que, respectivamente, as definies da
Transformada Seno e da Transformada Co-seno de Fourier de uma funo f(x). Estas transformadas so de
grande importncia em vrias reas da matemtica e da engenharia. No entanto, o seu estudo mais
aprofundado est fora do mbito desta disciplina.

Definio dos
coeficientes da
expanso em
srie co-seno
de Fourier

Exemplo
9. Equaes de derivadas parciais
Pgina 13 da Seco 9
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
f(x) = x
Srie seno, 3 parcelas
Srie seno, 8 parcelas

Vamos agora efectuar a expanso em srie co-seno:
( )
0 0
1 1
( ) cos cos
2 2
n n
n n
a a n
f x a x a n x
L

_
+ +

,


Calculemos os coeficientes:
1
0
0 0
2
( ) 2 1
L
a f x dx x dx
L



( )
1
2
0 0
4
, par
2
( ) cos ( ) 2 cos
0, impar
L
n
n
n
n a x f x dx n x x dx
L L
n

_

'
,

com n = 1,2,
Ento, f(x) ser dada por:
2 2 2
1 4 1 1
( ) cos( ) cos(3 ) cos(5 ) ...
2 3 5
f x x x x

+ + +
' ;


Mais uma vez, podemos ver a representao grfica desta srie, considerando apenas os
primeiros termos:
9. Equaes de derivadas parciais
Pgina 14 da Seco 9
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
f(x) = x
Srie coseno, 2 parcelas
Srie coseno, 8 parcelas

Vemos agora que se obtm uma muito melhor representao da funo f(x), mesmo usando
apenas oito parcelas. A srie co-seno assim uma melhor escolha para representar a funo
f(x) = x.




9. Equaes de derivadas parciais
Pgina 15 da Seco 9
Sumrio da Seco 9
Resoluo analtica de EDPs
I. Integrao directa
II. Separao de variveis
III. Transformada de Laplace
Apndice: Sries de Fourier