Você está na página 1de 15

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 u u 2u 2u 2u
Parciais 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:

u 2u
ux = u xy =
x 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

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

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

x3 y y 3 x
u= + + 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:
dX dY
Y +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 1 dY
2x = k + 2y = 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:

dX dY
= (2 x + k ) dx = (2 y k ) dy
X Y
ln X = x 2 + kx + C1 ln Y = y 2 ky + C2
2 2
+ kx + C1 ky + C2
X = ex Y = ey

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


+ y 2 + k ( x y)+ C1+ C2 + y 2 +k ( x y)
u = XY = e x = Ce x
2 2
.

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 0 x 1, t 0 .
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

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:

dT d 2X
X = 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 1 d2X
= k = k .
2 T dt 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 ,
T
2

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:
k x
X ( x) = Ae + Be kx
.

E aplicando as condies fronteira:

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

X (1) = 0 = 0 B = 0
k k
Ae + Be

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


k x
particular ser Ae =A e a segunda ser (pelo mtodo dAlembert):
kx
Bxe = Bx . Assim:

Pgina 6 da Seco 9
9. Equaes de derivadas parciais

X ( x) = A + Bx .

Aplicando as condies fronteira:

X (0) = 0 A= 0 A = 0

X (1) = 0 A + B = 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:

X (0) = 0 A cos(0) + B sin(0) = 0 A = 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 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 sin ( n x ) .
(n )2 t

n =1

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 0, < x <
t 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:

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

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

1
u ( x , s) = 3
g (s )e sx .
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 (note-
se 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

1
u (0, t) = t u (0, s) = L {t} = 2
.
s
Aplicando a condio obtida soluo anterior:

1 1 1 1 1
u (0, s ) = 2
3 g (s ) e sx = 2 g ( s ) = 2 3 .
s s s s s
Logo:

1 1 1 sx 1 e sx e sx
u ( x , s) = e = 3 2 + 3 .
s3 s 2 s 3 s s s

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

t2 (t x ) 2
u (x, t ) = (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
Expanso em
srie seno e Srie seno de Fourier: f ( x ) = bn sin x
co-seno de n =1 L
Fourier
a0 n
Srie co-seno de Fourier: f ( x ) = + 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:

0, n m
n m
L

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


0 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
L L

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

0

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


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

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

De onde se conclui que:


Definio dos
2 L n 2
coeficientes da
bn = sin x f ( x )dx = < f , S n > .
expans o em
srie seno de
L0 L L
Fourier
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
L

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

Seguindo um procedimento anlogo ao anterior, obtemos ** :


Definio dos
coeficientes da 2L n 2
expans o em an = cos x f (x ) dx = < f , Cn > .
srie co-seno L0 L L
de Fourier

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 x = bn sin ( n x ) .
n =1 L n=1
Os coeficientes bn so obtidos de:

2 L n 1

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:
2
bn = (1) n+1 .
n
Ou seja, f(x) = x pode ser representada pela srie:

2 2 1 1
f (x ) = ( 1) sin ( n x ) =
n +1
sin( x) sin(2 x )+ sin(3 x ) ...
n =1 n 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

0.9 f(x) = x
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 1

Vamos agora efectuar a expanso em srie co-seno:

a0 n a0

f (x ) = + an cos x = + an cos ( n x )
2 n=1 L 2 n=1
Calculemos os coeficientes:

2L 1

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

4
2L n
1
, n par
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:

1 4 1 1
f (x ) = 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

0.9 f(x) = x

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 1

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

Você também pode gostar