9.

Equaes de derivadas parciais

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:
Equao de
Derivadas
Parciais

u u
2u 2u
2u

F x, y,..., u( x, y,...), , ,..., 2 , 2 ,...,

,... = 0 ,
x y
x y
xy

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:

ux =

u
x

u xy =

2u
xy

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:
EDP linear de
segunda ordem

au xx + bu xy + cu yy + dux + euy + 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:
b 2 4ac = 0 EDP parablica
b 2 4ac > 0 EDP hiperblica
b 2 4ac < 0 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.

Pgina 1 da Seco 9

9. Equaes de derivadas parciais

I. Integrao directa

Este mtodo s aplicvel se a EDP apresentar apenas uma derivada parcial. Logo, de
interesse bastante restrito. Vejamos dois exemplos:

Exemplo
Consideremos a seguinte EDP:
u
=y
x

A derivada parcial que surge na equao designa a derivada de u em ordem a x com y

constante. Podemos ento imediatamente integrar ambos os lados da equao em ordem a x
mantendo y constante:
u=

ydx + f ( y ) = yx + f ( y ) .

x const.

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:
u ( x = 0, y ) = sin( y ) ,

ento viria que:

u ( x = 0, y ) = y 0 + f ( y ) = sin( y ) f ( y ) = sin( y ) .

Exemplo
Consideremos agora a EDP:

2u
= x2 + y2
xy
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):

Pgina 2 da Seco 9

9. Equaes de derivadas parciais

u
y3
= x 2 + y 2 dy + f ( x ) = x 2 y + + f ( x) .
x x const.
3

u=

y3
x 3 y y 3x
x
y
+
+
f
(
x
)
dy
=
+
+ h( x ) + g ( y ) ,

3
3
3

y const.

em que h ( x ) = f (x ) dx . Assim, a soluo obtida :

u=

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

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.

Exemplo
Consideremos uma EDP de primeira ordem que envolve duas derivadas parciais:
u u
+
= 2( 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:

Y

dX
dY
+X
= 2( 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.

Pgina 3 da Seco 9

9. Equaes de derivadas parciais

1 dX 1 dY
+
= 2( x + y ) .
X dx Y dy
Rearranjando:
1 dX
1 dY
2x =
+ 2y .
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 dX
2x = k
X dx

1 dY
+ 2y = k .
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:
dX
= (2 x + k ) dx
X
ln X = x 2 + kx + C1
X = ex

+ kx + C1

dY
= (2 y k ) dy
Y
ln Y = y 2 ky + C2
Y = ey

ky + C2

Podemos agora obter a soluo para u(x,y):

u = XY = e x

+ y 2 + k ( x y)+ C1+ C2

= Ce x

+ y 2 +k ( x y)

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

segunda ordem.

Exemplo
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:
u
2u
=2 2
t
x

0 x 1, t 0 .

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

Pgina 4 da Seco 9

9. Equaes de derivadas parciais

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:
u ( x,0) = 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:
u (0, t ) = 0
u (1, t ) = 0

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:
X

dT
d 2X
= 2T
.
dt
dx 2

Separando as variveis obtemos:

1 1 dT 1 d 2 X
=
.
2 T dt X dx2
Esta igualdade s poder ser vlida para qualquer t e qualquer x se ambos os lados forem
idnticos a uma mesma constante:
1 1 dT
= k
2 T dt

1 d2X
= k .
X dx 2

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:

Pgina 5 da Seco 9

9. Equaes de derivadas parciais

1 dT
= kdt ,
2
T

ln T = k 2t + C ,
T = Ce k t .
2

E para a segunda:
d2X
+ kX = 0 .
dx 2
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 erx. O
parmetro r obtido das razes da equao caracterstica:
r 2 + kX = 0 r = k .
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:
u (0, t ) = 0 X (0)T (t ) = 0 X (0) = 0
u (1, t ) = 0 X (1)T( t ) = 0 X (1) = 0

Assim, segundo a natureza de k, teremos:

o

k < 0 implica que

k um nmero real, logo teremos solues particulares dadas

por exponenciais:

X ( x) = Ae

k x

+ Be

kx

E aplicando as condies fronteira:

X (0) = 0 A + B = 0

X (1) = 0
Ae + Be

A = 0

= 0 B = 0

Ou seja, teramos u(x,t) = 0, o que a soluo trivial e no definitivamente aquilo

de que estamos procura!
o

k = 0 implica r = 0 , ou seja, temos uma raiz real dupla. A primeira soluo

particular ser
Bxe

kx

Ae

k x

=A

e a segunda ser (pelo mtodo dAlembert):

= Bx . Assim:

Pgina 6 da Seco 9

9. Equaes de derivadas parciais

X ( x) = A + Bx .

Aplicando as condies fronteira:

X (0) = 0

X (1) = 0

A= 0

A + B = 0

A = 0

B = 0

Mais uma vez, obtemos apenas a soluo trivial u(x,t) = 0.

o

k > 0 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:
X ( x) = A cos

k x + B cos

kx .

Aplicando novamente as condies fronteira:

A = 0
X (0) = 0 A cos(0) + B sin(0) = 0

X (1) = 0 A cos k + B sin k = 0 B sin k = 0

( )

( )

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:

X n ( x ) = Bn sin ( n x ) .
E T(t) como :
Tn (t ) = Cne ( n ) t .
2

Logo a soluo do problema vir:

un ( x, t ) = X n ( x)Tn (t ) = Cne ( n ) t Bn sin ( n x ) = bn e ( n ) t sin ( n x ) ,
2

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:

u (x , t ) = bne
n =1

(n )2 t

sin ( n x ) .

Pgina 7 da Seco 9

9. Equaes de derivadas parciais

Resta-nos agora determinar os coeficientes bn , de forma a definir completamente a

soluo particular que procurmos. Como faz- lo? Ora bem, falta- nos ainda aplicar a
condio inicial do problema, u ( x,0) = f ( x ) :

u ( x,0) = f ( x ) bn sin ( n x ) = f ( x ) .
n =1

O somatrio

b sin ( n x )
n

uma srie seno de Fourier . Sendo assim, os coeficientes bn

n =1

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

bn = 2 f ( x )sin ( n x ) dx .
1

Este integral permite-nos assim calcular os coeficientes bn 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:

Exemplo
u u
+
=t
t x

t 0, < x <

Condies do problema: u ( x,0) = 0, u(0, 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.

Pgina 8 da Seco 9

9. Equaes de derivadas parciais

Laplace de u(x,t) ser ainda uma funo de x, mas o domnio t ser transformado no
domnio de Laplace, s:

L {u (x , t )} = e stu (x, t ) dt = u ( x , s) .
0

De acordo com a conhecida propriedade da transformada da derivada:

u (x , t )
L
= su ( x , s ) u ( x,0) .
t

Por outro lado, uma vez que a transformada no aplicada sobre x :

u ( x , t ) u ( x , s )
L
.
=
x
x
Assim, a transformao da EDP original d:
su ( x , s ) u ( x,0) +

u ( x , s ) 1
= 2.
x
s

Podemos j aplicar a condio inicial u ( x,0) = 0 , obtendo:

su +

u 1
= .
x s 2

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:

u
= x + f ( s) .
1

su
s2

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:
1
1
ln 2 su = x + f (s ) .
s s

Explicitando para u :
u ( x , s) =

1
g (s )e sx .
3
s

No podemos ainda inverter esta transformada, uma vez que desconhecemos g(s). Esta
constante de integrao ser determinada aplicando a condio fronteira u (0, t) = t (notese que a condio inicial, u ( x,0) = 0 , j foi aplicada). Temos, no entanto, que comear por
transformar essa condio para o domnio de Laplace:

Pgina 9 da Seco 9

9. Equaes de derivadas parciais

u (0, t) = t u (0, s) = L {t} =

1
.
2
s

Aplicando a condio obtida soluo anterior:

u (0, s ) =

1
1
1
1 1
3 g (s ) e sx = 2 g ( s ) = 2 3 .
2
s
s
s
s
s

u ( x , s) =

1 1 1 sx 1 e sx e sx

e = 3 2 + 3 .
s3 s 2 s 3
s
s
s

Logo:

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

u (x, t ) =

t2
(t x ) 2
(t x) H (t x) +
H (t x ) .
2
2

A inverso das transformadas de Laplace efectuada da forma usual, tratando x como constante.

Pgina 10 da Seco 9

9. Equaes de derivadas parciais

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:

n
Srie seno de Fourier: f ( x ) = bn sin
x
L
n =1

Expanso em
srie seno e
co-seno de
Fourier

Srie co-seno de Fourier: f ( x ) =

a0
n
+ an cos
x
2 n=1
L

A expanso de uma funo em srie de Fourier s fica definida aps a determinao

dos coeficientes bn e an . 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 < Sn , S m > ,
dado por:
n
sin L
0
L

0, n m

m
x sin
x dx = < S n , S m > = L
L
2 , n = m

Ou seja, Sn e Sm so ortogonais se n m .
Multiplicando ambos os lados da expanso em srie seno de f(x) por Sn e aplicar o
produto escalar, obtemos:

m
m n
sin
x
f
(
x
)
dx
=
bn sin
x sin

0 L
L L
n =1
0
L

x dx

Segundo a propriedade de ortogonalidade das funes seno, o integral do lado direito no

nulo apenas quando n = m. Logo a equao anterior fica:
L

L
m
x f ( x) dx = bm .
L
2

sin
0

De onde se conclui que:

Definio dos
coeficientes da
expans o em
srie seno de
Fourier

2 L n
bn = sin
L0
L

x f ( x )dx = < f , S n > .

L

Da mesma forma, para a expanso em srie co-seno de Fourier, utilizamos a

propriedade de ortogonalidade das funes co-seno:

Pgina 11 da Seco 9

9. Equaes de derivadas parciais

0, m n
L
n
m
cos L x cos L x dx = 2 , m = n 0
0

L, m = n = 0
L

Seguindo um procedimento anlogo ao anterior, obtemos ** :

Definio dos
coeficientes da
expans o em
srie co-seno
de Fourier

2L
2
n
an = cos
x f (x ) dx = < f , Cn > .
L0
L
L

Exemplo
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):
n
f ( x ) = bn sin
L
n =1

x = bn sin ( n x ) .
n=1

Os coeficientes bn so obtidos de:

1
2 L n
bn = sin
x f (x ) dx = 2 sin ( n x )xdx
L0
L
0

O integral anterior pode ser obtido de uma tabela de integrais, obtendo-se ento:
bn =

2
(1) n+1 .
n

Ou seja, f(x) = x pode ser representada pela srie:

2
2
n +1
( 1) sin ( n x ) =

n =1 n

f (x ) =

1
1

sin( x) sin(2 x )+ sin(3 x ) ...

2
3

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 ( n ) = 0 , 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.

Pgina 12 da Seco 9

9. Equaes de derivadas parciais

1
f(x) = x

0.9

Srie seno, 3 parcelas

0.8

Srie seno, 8 parcelas

0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

Vamos agora efectuar a expanso em srie co-seno:

f (x ) =

a0
n a0
+ an cos
x = + an cos ( n x )
2 n=1
L 2 n=1

Calculemos os coeficientes:

a0 =

1
2L
f
(
x
)
dx
=
2
0 x dx = 1
L 0

1
, n par
2L
n

an = cos
x f ( x) dx = 2 cos ( n x )x dx = ( n ) 2
L0
L
0
0, n impar

com n = 1,2,
Ento, f(x) ser dada por:
f (x ) =

1 4
1
1

2 cos( x)+ 2 cos(3 x) + 2 cos(5 x ) + ...

2
3
5

Mais uma vez, podemos ver a representao grfica desta srie, considerando apenas os
primeiros termos:

Pgina 13 da Seco 9

9. Equaes de derivadas parciais

1
f(x) = x

0.9

Srie coseno, 2 parcelas

0.8

Srie coseno, 8 parcelas

0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

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 .

Pgina 14 da Seco 9

9. Equaes de derivadas parciais

Sumrio da Seco 9

Resoluo analtica de EDPs

I.

Integrao directa

II.

Separao de variveis

III.

Transformada de Laplace

Apndice: Sries de Fourier

Pgina 15 da Seco 9