Relatorio de atividades PIBIC

15 de novembro de 2014

1 Resumo
Neste projeto, foi feito um estudo introdutorio sobre a teoria e aplicacoes das
Equacoes Diferenciais Parciais (EDP). Iniciamos com as definicoes basicas e a
classificacao das EDPs em tipos. Na sequencia estudamos resultados sobre a
existencia, unicidade e dependencia contnua de solucoes classicas do problema
de Cauchy, bem como do problema de valores iniciais e de fronteira, para a
equacao da onda unidimensional.

2 Introducao
No estudo de diversos problemas das ciencias da natureza como fsica, qumica
e engenharia, surgem modelos matematicos descritos por equacoes diferenciais
parciais. Ter o domnio de tecnicas e conhecer teorias para o adequado tra-
tamento de tais problemas e fundamental para todo cientista envolvido com
estas areas. Ao londo do tempo, cada vez mais os currculos dos cursos de
graduacao e de pos-graduacao tem sofrido mudancas pelo acrescimo de estudos
nesta direcao. Assim, moticar e preparar jovens estudantes para o estudo das
equacoes diferenciais parciais e uma necessidade fundamental para a formacao de
cientistas, e consequentemente, imprescindivel para o desenvolvimento cientfico
e tecnologico do pas. Da a importancia vital deste estudo introdutorio.

3 Definicoes basicas
Uma equacao diferencial parcial (EDP) descreve a relacao entre um funcao
desconhecida e suas derivadas parciais. A forma geral de uma EDP para uma
funcao u(x1 , x2 , ..., xn ) e

F (x1 , x2 , ..., xn , u, ux1 , ux2 , ..., ux11 , ...) = 0 (1)

onde x1 , x2 , ..., xn sao variaveis independentes, u e a funcao desconhecida e uxi

u
e a dericada parcial x i
.

A equacao e considerada bem-posta quando satisfaz as seguintes condicoes:

1
 1. Existencia. O problema tem solucao.
2. Unicidade. Ha uma unica solucao.
3. Estabilidade. Uma pequena mudanca na equacao ou nas condicoes iniciais
acarreta em uma pequena mudanca na solucao.
Na fsica a maioria dos problemas sao bem-postos, pois e de se esperar que
problemas fsicos tenham solucao e que essas solucoes sejam unicas, no entanto
nem sempre ha estabilidade nos problemas.

3.1 Classificacao
(i) Se a derivada de maior ordem que aparece em (1) e de ordem k, dizemos que
a EDP (1) e de ordem k. Por exemplo:

utt uxx = f (x, t)

(ii) A EDP (1) e dita linear se F e linear em u e nas derivadas parciais de u que
aparecem em (1). Caso contrario dizemos que a EDP e nao linear. Exemplo de
equacao linear:
ut ux = 0
(iii) Um caso particular de nao linearidade e quando F e linear nas derivadas
de maior ordem que aparecem em (1), nesse caso a EDP e dita quase linear.
Exemplo:
uxx + uyy = u3
No caso linear a equacao e dita homogenea se o termo independente de u
e identicamente nulo. Caso contrario a equacao e dita nao homogenea. Por
exemplo:
u = 0
Pn 2
n
onde = i=1 x i
2 e o operador de Laplace (ou Laplaciano) em R , e uma
a
equacao linear, homogenea de 2 ordem.

Uma EDP dependente do tempo e dita equacao evolutiva. Uma condicao

fixa para um tempo inicial para tais equacoes e chamada condicao inicial. Temos
ainda a condicao sobre o comportamento da funcao solucao da equacao na borda
do espaco onde a equacao e definida, que e dita condicao de contorno. Em geral
as EDPs apresentam infinitas solucoes, mas ao fixar as condicoes mencionadas
o numero de solucoes diminui muito, por vezes sendo unica a solucao.
Definicao 1. Uma solucao classica de uma EDP de ordem k em um domnio
Q Rn (aqui o domnio significa que Q Rn e aberto e conexo) e uma funcao
u C k (Q) que satisfaz a equacao pontualmente em Q.

2
3.2 Operadores diferenciais e o princpio da superposicao
Mapeadores entre diferentes conjuntos de funcoes sao chamados operadores. A
operacao de um operados L sobre uma funcao u sera denotada por L[u]. Em
particular, temos operadores definidos por derivadas parciais de funcoes. Tais
operadores, que sao mapeadores entre diferentes classes ck , sao chamados de
operadores diferenciais.

Um operador que satisfaz uma relacao da forma

L[a1 u1 + a2 u2 ] = a1 L[u1 ] + a2 L[u2 ] (2)

onde a1 ea2 sao constantes arbitrarias, e u1 eu2 sao funcoes arbitrarias , e cha-
mado de operador linear. Uma equacao diferencial linear naturalmente define
um operador linear.

Agora, sejam u e v solucoes da EDP

L[u] = f (x) com x = (x1 , x2 , ...) (3)

e seja w = a1 u + a2 v, assim temos

L[w] = a1 L[u] + a2 L[v] (4)

mas
L[u] = L[v] = f (x)
Logo
L[w] = a1 f (x) + a2 f (x) (5)
Para o caso em que a equacao e homogenea obtemos

L[w] = a1 f (x) + a2 f (x) = 0 (6)

que e chamado de princpio da superposicao.

4 EDPs de primeira ordem (metodo das carac-

tersticas)
Uma EDP de primeira ordem para uma funcao desconhecida u(x1 , x2 , ..., xn )
tem a sequinte forma geral

F (x1 , x2 , ..., u, ux1 , ..., uxn ) = 0 (7)

onde F e uma funcao dada.

As equacoes de primeira ordem sao menos frequentes que as de segunda or-

dem, no entanto e mais interessante comecar o estudo por elas, nao somente

3
para simplificar a algebra, mas tambem para facilitar a visualizacao geometrica
do metodo de solucao, que e baseado na interpretacao de u como uma superfcie
em um espaco de (n + 1) dimensoes.

Vamos considerar uma superfcie no R3 , cujo grafico e dado por u(x, y). A
superfcie satisfaz uma equacao da forma

F (x, y, u, ux , uy ) = 0 (8)

que e a equacao mais geral possvel para este caso. No entanto, em varias
siuacoes praticas, as equacoes que aparecem sao estruturas mais simplificadas
de (2.2). Um desses casos particulares de equacoes nao lineares e a equacao
quase linear que tem a forma

a(x, y, u)ux + b(x, y, u)uy = c(x, y, u) (9)

onde a, b e c sao funcoes dadas.

A seguir sera desenvolvido o metodo das equacoes caractersticas para equacoes

quase lineares.

4.1 O metodo das caractersticas

Este metodo foi desenvolvido na metade do seculo XIX por Hamilton quando
ele investigava a propagacao da luz. Ele se propos a derivar as regras desta
propagacao de uma teoria puramente geometrica, baseado na geometria Eucli-
diana. Em seu estudo Hamilton encontrou a equacao eikonal e descobriu que
esta equacao podia ser resolvida integrando-a ao longo de curvas especiais cha-
madas caractersticas.

O metodo das caractersticas sera primeiramente desenvolvido heuristica-

mente. Depois apresentaremos um teorema preciso, que garantira a existencia
e a unicidade da sulucao.

Uma solucao u para a equacao quase linear representa uma superfcie bi-
dimensional no espaco tridimensional xyu, grafico da funcao u = u(x,y). Esta
superfcie e chamada uma superfcie solucao. O vetor normal a esta superfcie
em cada ponto e o vetor

(ux (x, y), uy (x, y), 1)

. Resolver a equacao quase linear e equivalente a encontrar uma superfcie que

ao mesmo tempo seja o grafico de uma funcao u e cujo vetor normal satisfaca a
restricao
ux , uy , 1) (a(x, y, u), b(x, y, u), c(x, y, u)) = 0 (10)
que nada mais e do que a equacao (2.3) reescrita de forma conveniente. Em ou-
tras palavras, uma superfcie u = u(x,y) tal que o vetor (a(x,y,u),b(x,y,u),c(x,y,u))

4
esteja contido no plano tangente a superfcie em cada ponto (x,y,u(x,y)). Con-
sidere uma tal superfcie solucao. Dado um ponto (x0 , y0 , u0 ) destasuperfcie,
procuramos condicoes sobre uma curva (t) = (x(t), y(t), z(t)), onde z(t) =
u(x(t), y(t)), passando por esse ponto no instante t = 0 para que ela esteja in-
teiramente contida na superfcie u. Ora, para isso, basta que o campo tangente
a (t) seja paralelo ao campo (a(t), b(t), c(t)).

Neste caso devemos ter (t) tal que:

(t) = (x(t), y(t), z(t)) (11)

0 (t) = (x0 (t), y 0 (t), z 0 (t)) = (a(t), b(t), c(t)) (12)
0 0 0
z (t) = u (x(t), y (t)) (13)

Da tiramos que

x0 (t) = a(t)
y 0 (t) = b(t)
u(t) = c(t) (14)

Estas equacoes sao chamadas equacoes caractersticas.

Nos problemas que aparecem, em geral, alem da EDP temos tambem certas
condicoes iniciais que a funcao desconhecida deve obedecer. Nesse caso podemos
interpretar tais condicoes como uma curva que pertence a superfcie solucao do
problema, essa curva pode ser escrita utilizando-se um novo parametro s como
(s) = (x0 (s), y0 (s), u0 (s)). Agora vamos coincidir esta curva dada com a curva
integral a ser encontrada em t = 0, ou seja

x(0, s) = x0 (s), y(0, s) = y0 (s), u(0, s) = u0 (s) (15)

Ao resolver as equacoes caractersticas juntamente com as condicoes iniciais, o

que estamos fazendo e construir curvas que partem da curva inicial e formam a
superfcie u.

O metodo das caractersticas e muito interessante pois transforma uma EDP

em um sistema de EDOs, que supostamente e mais facil de resolver. No entanto,
queremos saber se existe um superfcie integral unica que contem a curva inicial.

Mesmo para EDPs lineares, as equacoes caractersticas podem ser nao li-
neares. Sabemos da teoria das EDOs que, em geral, so se pode estabelecer
a existencia local de uma solucao unica, pois as solucoes de equacoes diferen-
ciais ordinarias nao-lineares podem desenvolver singularidades dentro de uma
curta distancia a partir do ponto inicial. Segue-se disso que pode-se esperar no
maximo um teorema de existencia local para a EDP de primeira ordem, mesmo
se e linear.

5
 Alem disso a representacao parametrica da superfcie integral apresenta uma
dificuldade, que e a inversao do plano (t,s) para o plano (x,y). Lembrando que
o teorema da funcao implcita implica que uma transformacao e inversvel se o
Jacobiaano J = (x,y)
(t,s) 6= 0. Ou seja
 
x y x y  a b 
J= = = (y0 )s a (x0 )s b (16)
t s s t (x0 )s (y0 )s 

Vemos que o Jacobiano se anula se o vetor (a,b) e ((x0 )s , (y0 )s ) sao linearmente
dependentes, logo o significado do anulamento de J e que a projecao de no
plano (x,y) e paralela a (a,b).

Assim, uma condicao para que a EDP de primeira ordem tenha uma solucao
unica perto da curva inicial e que devemos ter J 6= 0. Esta condicao e chamada
de condicao de transversalidade.

4.2 Teorema de existencia e unicidade

Vamos resumir a discussao sobre equacoes lineares e quase-lineares em um teo-
rema geral. Para isso precisamos da seguinte definicao.
Definicao 2. Dada uma equacao quase-linear a(x, y, u)ux +b(x, y, u)uy = c(x, y, u)
com a condicao inicial x(0, s) = x0 (s), y(0, s) = y0 (s), u(0, s) = u0 (s) definindo
uma curva inicial para a superfcie integral, dizemos que a equacao e a curva
inicial satisfazem a condicao de transversalidade em um ponto s em , se a
projecao da curva varacterstica que parte de (s) intercepta a projecao de
nao tangencialmente, ou seja:
 
 a b 
J|t=0 = xt (os )ys (0, s) yt (0, s)xs (0, s) =  6= 0
(x0 )s (y0 )s 

Teorema 1. Suponha que os coeficientes da equacao quase-linear (9) sao funcoes

suaves de suas variaveis em uma vizinhanca da curva inicial 15. Suponha ainda
que a condicao de transversalidade e satisfeita em cada ponto s no intervalo
(s0 , s0 + ) da curva inicial. Segue que o problema de Cauchy (9), (15) tem
uma unica solucao na vizinhanca (t, s) (, )(s0 , s0 +) da curva inicial.
Se a condicao de transversalidade nao se sustenta em um intervalo de valores s,
entao o problema de Cauchy (9), (15) nao tem solucao ou tem infinitas solucoes.
Demonstracao. O teorema de existencia e unicidade para EDOs aplicado a (14)
em conjunto com os dados iniciais (15) garante a existencia de uma curva ca-
racterstica para cada ponto da curva inicial. A famlia de curvas caractersticas
formam uma representacao parametrica da superfcie. A condicao de transver-
salidade implica que a representacao parametrica proporciona uma superfcie
suave. Vamos verificar agora se a superfcie assim construda satisfaz, de fato,
a EDP (9). Escrevemos

u = u(x, y) = u(t(x, y), s(x, y))

6
e calculamos

aux + buy = a(ut tx + us sx ) + b(ut ty + us sy ) = ut (atx + bty ) + us (asx + bsy )

mas as equacoes caractersticas e a regra da cadeia implicam

atx + bty = tt = 1, asx + bsy = st = o

Logo, aux + buy = c, ou seja, u satisfaz (9).

Para mostrar que nao ha mais superfcies integrais, provamos que as cur-
vas caractersticas que construmos devem situar-se em uma superfcie integral.
Uma vez que a curva caracterstica comeca na superfcie integral, so temos que
mostrar que ela continua la. Para uma curva que comecou em alguma superfcie,
para deixar essa superfcie, sua tangente deve em algum ponto ter uma projecao
diferente de zero perpendicular a suerfcie.

Este raciocnio geometrico simples pode ser apoiado atraves de um calculo

explcito. Para este fim escrevemos uma determinada superfcie integral na
forma u = f(x,y). Seja (x(t), y(t), u(t)) a curva caracterstica, assumimos u(o)
= f(x(0), y(0)). Definindo a funcao

(t) = u(t) f (x(t), y(t))

Diferenciando em relacao a t obtemos

t = ut fx (x, t)xt fy (x, y)yt

agora, usando as equacoes (2.8)

t = c(x, y, + f ) fx (x, y)a(x, y, + f ) fy (x, y)b(x, y, + f ) = 0

como t (t) = o, (t) e constante, e sabemos que (0) = 0. Sendo assim,

a superfcie construda atraves das equacoes caractersticas na representacao
parametrica e unica.

4.3 EDP quase-linear e o metodo de Lagrange

Uma EDP quase-linear de primeira ordem e uma equacao da forma

a(x, y, u)ux + b(x, y, u)uy c(x, y, u) = 0, u = u(x, y) (17)

onde a, b e c sao funcoes C 1 de tres variaveis.

Lagrange mostrou que as solucoes de (17) podem ser expressas implicita-

mente como (x, y, u) = 0, onde (x, y, u) e uma solucao da seguinte EDP
linear em tres dimensoes

a(x, y, z)x + b(x, y, z)y + c(x, y, z)z = 0 (18)

7
 Primeiro vamos supor que u(x,y) e uma solucao de (17). Se nos definimos
phi(x, y, z) = u(x, y) - z, entao em qualquer ponto (x, y, z) = (x, y, u(x,y)),
sobre o grafico de u

a(x, y, z)x + b(x, y, z)y + c(x, y, z)z = a(x, y, u)ux + b(x, y, u)uy c(x, y, u)
(19)
em virtude da equacao (17).

Agora suponha que e uma solucao de (18), de modo que o vetor normal
= x i+y j+z k a superfcie (x, y, z) = 0 em algum ponto P0 = (x0 , Y0 , z0 )
nao e horizontal (ou seja, z 6= 0. Entao proximo a P0 a superfcie sera o grafico
de alguma funcao u(x, y) ((x, y, u(x, y)) = 0). Podemos mostrar que u(x, y)
deve ser a solucao da equacao (17) como segue.

Diferenciando a equacao (x, y, u(x, y)) = 0 em relacao a x e y temos

x (x, y, u(x, y)) + z (x, y, u(x, y))ux (x, y)) = 0 (20)

e
y (x, y, u(x, y)) + z (x, y, u(x, y))uy (x, y)) = 0 (21)
Assim
x y
ux = e (22)
z z
substituindo em (17) obtemos
1
(a(x, y, u(x, y))x + b(x, y, u(x, y))y + z(x, y, u(x, y))z ) = 0 (23)
z

Pela suposicao que satisfaz (18). Assim, u(x,y) e solucao de (17).

4.4 Aplicacao de EDP de 1a ordem na fsica: Equacao de

transporte
Considere um gas que percorre um tubo. Pretendemos determinar a velocidade
e a densidade do gas em cada ponto do tubo em cada instante, ou seja, v(~r, t),
(~r, t). Vamos admitir que em cada seccao transversal as gas, como a densidade
e a velocidade sao constantes, desse modo temos v(x, t) e (x, t).

A massa de gas entre dois pontos arbitrarios x1 e x2 no instante t e dada

por Z x2
(x, t)dx
x1

Admitimos que as paredes do tubo sao impermeaveis e que a evolucao do gas

ocorre apenas devido ao transporte. Deste modo, a variacao de massa que ocorre
em cada instante e apenas originada pelo fluxo. O fluxo de massa na direcao x

8
no instante t e dado por (x, t)v(x, t).

Tambem podemos escrever o fluxo como a variacao temporal da massa no

intervalo (x1 , x2 ), assim temos

d x2
Z
(x, t)dx = (x1 , t)v(x1 , t) (x2 , t)v(x2 , t)
dt x1

Usando o teorema fundamental do calculo podemos escrever

d x2
Z Z x2

(x, t)dx = ((x, t)v(x, t))dx
dt x1 x1 x

Considerando o intervalo de tempo [t1 , t2 ] vemos que

Z t2 Z x2 Z t2 Z x2
d
(x, t)dxdt = dxdt
t1 dt x1 t1 x1 t

assim Z t2 Z x2 Z t2 Z x2

dxdt = (v)dxdt
t1 x1 t t1 x1 x
de onde podemos concluir que

+ (v) = 0
t x

5 Equacoes lineares de segunda ordem em duas

variaveis independentes
Nesta secao vamos classificar a famlia de equacoes de segunda ordem com
duas variaveis independentes em tres tipos distintos: hiperbolica, parabolica
e elptica. Alem disso vamos mostrar que para uma certa mudanca de variaveis,
qualquer equacao de um tipo particular pode ser transformada em uma forma
canonica que e associada com o seu tipo.

5.1 Classificacao
As equacoes lineares de segunda ordem com duas variaveis independentes tem
a seguinte forma geral

auxx + 2buxy + cuyy + dux + euy + f u = g (24)

onde a, b, . . . , f, g sao funcoes dadas de x e y, e u(x, y) e a funcao desconhecida.

Assumimos que os coeficientes a, b e c nao se anulam simultaneamente. A
classificacao das EDPs de segunda ordem se da pelo sinal do discriminante
= b2 ac.

9
Definicao 3. A equacao (24) e dita hiperbolica se = b2 ac > 0, e dita
parabolica se = 0 e elptica se < 0.

Seja um domnio em R2 , a equacao e hiperbolica (resp. parabolica, elptica)

em se e hiperbolica (resp. parabolica, elptica) em todos os pontos (x, y) .
Definicao 4. A transformacao (, ) = ((x, y), (x, y) e chamada uma mu-
danca de coordenadas se o Jacobiano J = x y y x da transformacao nao se
anula em nenhum ponto (x, y).
Teorema 2. O tipo de uma EDP de segunda ordem com duas variaveis inde-
pendes e invariante sobre uma mudanca de coordenadas. Ou seja, o tipo de uma
equacao e uma propriedade intrnseca da equacao e e independente do sistema
de coordenadas usado.
Demonstracao. Seja a equacao (24) e seja (, ) = ((x, y), (x, y) uma trans-
formacao nao singular. Escrevendo (, ) = u(x(, ), y(, eta)), afirmamos
que e uma solucao da EDP de algum tipo. Usando a regra da cadeia encon-
tramos que
ux = x + x
uy = y + y
uxx = x2 + 2 x x + x2 + xx + xx
uxy = x y + (x y + y x ) + x y + xy + xy
uyy = y2 + 2 y y + y2 + yy + yy
Substituindo em (24) obtemos

A + 2B + C + D + E + F = G

onde
A(, ) = ax2 + 2bx y + cy2
B(, ) = ax x + b(x y + y x ) + cy y
C(, ) = ax2 + 2bx y + cy2

Um simples calculo mostra que estes coeficientes satisfazem a seguinte equacao

matricial      
A B x y a b x x
=
B C x y b c y y
Calculando o determinante em ambos os lados nos encontramos

= AC B 2 = J 2 (ac b2 ) = J 2

Ou seja, o tipo da equacao e invariante sobre uma transformacao nao singular.

Se a equacao (24) e hiperbolica (resp. parabolica, elptica) em um domnio

D, entao podemos encontrar um sistema de coordenadas em que a equacao tem
uma forma simples chamada forma canonica da equacao.

10
Definicao 5. (Formas canonicas)
(i) A forma canonica da equacao hiperbolica e

+ l[] = G(, )

onde l[]e um operador diferencial de primeira ordem e G(, ) e uma funcao

que depende de (24)
(ii) A forma canonica da equacao parabolica e

+ l[] = G(, )

(iii) A forma canonica da equacao elptica e

+ + l[] = G(, )

Definicao 6. (Curvas caractersticas) Dizemos que uma curva no plano xy e

uma curva caracterstica para a equacao (24) quando e descrita por y = y(x)
com y solucao da EDO

dy b b2 ac
= com a(x, y) 6= 0
dx a
E facil ver que:
(i) Se (24) e uma EDP elptica, entao b2 ac < 0, desta forma nao existem
curvas caractersticas.
(ii) Se (24) e uma EDP parabolica, entao b2 ac = 0, assim teremos uma unica
dy
famlia de curvas caractersticas obtida pela solucao da equacao dx = ab .
2
(iii) Se (24) e uma EDP hiperbolica, entao b ac > 0, e teremos duas famlias
de curvas caractersitcas obtidas pelas solucoes de

dy b + b2 ac dy b b2 ac
= e = .
dx a dx a
Teorema 3. (Reducao a forma canonica - caso hiperbolico) Se (24) e hi-
perbolica entao existe uma mudanca de variaveis local que a transforma na
forma canonica de uma equacao hiperbolica.
Demonstracao. Suponhamos que (24) seja hiperbolica, entao existem duas famlias
de curvas caractersticas que podem ser representadas implicitamente por

(x, y) = C te (x, y) = C te y = y(x)

podemos ver que

d dy
= + =0
dx x y dx
o mesmo pode ser feito com e assim obtemos
dy x dy x
= e =
dx y dx y

11
 Como y = y(x) e uma curva caracterstica temos que

dy b b2 ac
=
dx a
Onde
dy 2 dy
a( ) 2b( ) + c = 0
dx dx
dy
Substituindo dx = xy na equacao acima vemos que

a2x + 2by x + c2y = 0

e analogamente podemos ver que

ax2 + 2by x + cy2 = 0.

Agora considere a mudanca de variaveis F (x, y) = ( = (x, y), = (x, y)).

Com hipotese de suavidade sobre os coeficientes a, b e c da equacao (24) temos
que = (x, y) e = (x, y) sao de classe C 2 (D) e o jacobiano J(, ) =
x y y x 6= 0 (pois x y y x = 0 xy = xy o que nao ocorre porque
temos duas famlias distintas de curvas caractersticas), assim F e uma mudanca
de variaveis e, definindo (, ) = u(x, y) temos que (24) se transforma na
equacao

A(, ) +2B(, ) +C(, ) +D(, ) +E(, ) +F (, ) = G(, )

onde
A(, ) = a2x + 2bx y + c2y
B(, ) = ax x + b(x y + y x ) + cy y
C(, ) = ax2 + 2bx y + cy2

Onde A = C = 0 e B 6= 0 pois B 2 AC > 0. Portanto, dividindo por 2B

obtemos
+ l[] = G(, )
que e a forma canonica de uma EDP hiperbolica.
Teorema 4. (Reducao a forma canonica - caso parabolico) Se (24) e parabolica
entao existe uma mudanca de variaveis local que a transforma na forma canonica
de uma equacao parabolica.

Demonstracao. Supondo que (24) e parabolica, entao existe apenas uma famlia
dy
de curvas caractersticas (x, y) = C te , desta maneira dx =
y com y 6= 0.
x

dy b
Desde que y = y(x) e uma curva caracterstica temos dx = a, desta forma
temos
dy dy
a( )2 2b( ) + c = 0
dx dx

12
 dy x
Substituindo dx = y obtemos

ax2 + 2bx y + cy2 = 0.

Agora, escolhendo arbitrariamente = (x, y) tal que 6= e J(, ) =

x y y x 6= 0. Desta forma F (x, y) = ( = (x, y), = (x, y)) e uma
mudanca de variaveis, e definindo (, ) = u(x, y) temos que (24) se transforma
na equacao

A(, ) +2B(, ) +C(, ) +D(, ) +E(, ) +F (, ) = G(, )

onde C(, ) = ax2 + 2bx y + cy2 = 0

Sendo assim, devemos ter B = 0 pois B 2 AC = 0. Notamos tambem

que A(, ) = a2x + 2bx y + c2y 6= 0, pois do contrario a famlia de curvas
(x, y) = C te iria coincidir com (x, y) = C te .

Por fim, dividindo a equacao por A(, ) obtemos

+ l[] = G(, )

que e a forma canonica de uma EDP parabolica.

Observacao 1. O caso elptico e mais complicado por nao termos curvas ca-
ractersticas. No entanto, afirmamos que e sempre possvel reduzir qualquer
EDP elptica a forma canonica. A demostracao sera omitida por depender de
ferramentas matematicas mais avancadas.

6 A equacao de onda unidimensional

Neste captulo vamos estudar a equacao de onda unidimensional. A forma
canonica da equacao de onda sera usada para mostrar que o problema de Cauchy
e bem posto. Alem disso vamos encontrar uma forma explcita para as solucoes.

6.1 Corda vibrante unidimensional

Considere uma corda vibrante tal que a tensao T que estica a corda e tao grande
que podemos desprezar a forca gravitacional sobre a corda, e que os desloca-
mentos da corda (que ocorrem apenas na direcao u) sao de pequenas magnitudes.

Em alguns instantes de tempo, um pedaco qualquer de corda estara na

posicao generica indicada pela figura abaixo.

A massa do pequeno segmento de comprimento x e dada por

m = x (25)

13
onde e a densidade linear da corda.

As componentes horizontal e vertical da forca resultante atuando sobre esse

segmento de corda sao
Fx = T cos T cos (26)
e
Fu = T sen T sen (27)
Como a corda nao se movimenta em x, temos que

Fx = 0 T cos = T cos (28)

Utilizando a segunda lei de Newton na direcao u obtemos

Fu = xau = xutt (29)

logo

sen sen = xutt (30)
T
dividindo ambos os lados da equacao por cos temos
x
tg tg = utt (31)
T cos
mas tg e tg sao os coeficientes angulares nos pontos x + x e x respectiva-
mente, logo podemos reescrever a equacao como

ux (x + x, t) ux (x, t) 1
= utt (32)
x T cos
agora, tomando o limite de x tendendo a zero, x 0
1
uxx (x, t) = utt (33)
T cos
Como ultima aproximacao, vamos supor que os deslocamentos sao pequenos.
Esta suposicao implica que os angulos associados a esses deslocamentos tambem
sao pequenos de modo que cos 1, portanto a equacao se torna

uxx (x, t) = utt (x, t) (34)
T
1
como T tem dimensao de velocidade2 costuma-se escrever

1
uxx (x, t) = utt (x, t) (35)
c2
e esta equacao e conhecida como a equacao de onda unidimensional.

14
6.2 Forma canonica e solucao geral
A equacao de onda homogenea unidimensional tem a forma

utt c2 uxx = 0 a < x < b , t > 0 (36)

onde c R e chamado de velocidade da onda.

Para obter a forma canonica da equacao da onda definimos duas novas

variaveis, de acordo com as curvas caractersticas desta equacao, que e hi-
perbolica
= x + ct = x ct. (37)
Agora seja (, ) = u(x(, ), t(, )). Usando a regra da cadeia para a
funcao u(x, t) = ((x, y), (x, y)) obtemos

ut = t + t = c( )
ux = x + x =

utt = c2 ( 2 +
uxx = 2 +

de onde temos que

utt c2 uxx = 4c2 = 0
ou
= 0. (38)
Esta
R e a forma canonica da equacao da onda. Segue dela que = f () e
= f ()d + G(). Portanto a solucao geral tem a forma

(, ) = F () + G() (39)

onde F, G C 2 (R) sao duas funcoes arbitrarias.

Assim, nas variaveis originais, a solucao assume a forma

u(x, t) = F (x + ct) + G(x ct) (40)

Em outras palavras, se u e solucao da equacao da onda, entao existem duas

funcoes reais F, G C 2 (R) tal que (40) e valida.

15
6.3 O problema de Cauchy e a formula de dAlambert
O problema de Cauchy para a equacao de onda unidimensional homogenea e
dado por
utt c2 uxx = 0 < x < , t > o, (41)
u(x, 0) = f (x), ut (x, 0) = g(x), < x < . (42)
A solucao deste problema pode ser interpretada como a amplitude de uma
onda sonora que se propaga por um caminho muito longo e estreito, que na
pratica pode ser considerada como uma onda unidimensional. Uma solucao
classica para o problema de Cauchy (41)-(42) e uma funcao u que e continua-
mente diferenciavel duas vezes para todo t > 0, tal que u e ut sao contnuas no
meio espaco t 0, e (41)-(42) e satisfeito.

Lembrando que a solucao geral da equacao da onda e da forma

u(x, t) = F (x + ct) + G(x ct).

Nosso objetivo afora e encontrar F e G tal que as condicoes de (42) sao satis-
feitas. Substituindo t = 0 temos

u(x, 0) = F (x) + G(x) = f (x)

agora derivando com relacao a t e substituindo t = 0

ut (x, 0) = cF 0 (x) cG0 (x) = g(x)

assim ficamos com o seguinte sistema


F (x) + G(x) = f (x)
F 0 (x) G0 (x) = g(x)
c

Integrando a segunda equacao do sistema, somando com a primeira, isolando

F (x) e substituindo no sistema novamente encontramos
Z x
f (x) 1
F (x) = + g(s)ds + C
2 2c 0
e x
F (0) G(0)
Z
f (x) 1
G(x) = g(s)ds C C=
2 2c 0 2
como
u(x, t) = F (x + ct) + G(x ct)
obtemos por fim
x+ct
f (x + ct) + f (x ct)
Z
1
u(x, t) = + g(s)ds (43)
2 2c xct

16
que e a Formula de dAlambert.

Considerando a solucao para o problema (41)-(42) em um ponto (x0 , y0 ),

vamos ter as duas retas caractersticas passando por esse ponto. As retas ca-
ractersticas interceptam o eixo t nos pontos (x0 ct0 , 0) e (x0 + ct0 , 0). O
triangulo formado pelas caractersticas no intervalo [x0 ct0 , x0 + ct0 ] e cha-
mado de triangulo caracterstico.
Teorema 5. Se g C 2 (R) e f C 1 (R), entao a funcao
Z x+ct
f (x + ct) + f (x ct) 1
u(x, t) = + g(s)ds, x R e t 0 (44)
2 2c xct
e uma solucao classica do problema (41)-(42).
Demonstracao. Observamos, inicialmente, que a funcao u definida por (44) faz
sentido para todo (x, t) R2 e u C 2 (R2 ). Desta forma vemos que existem as
restricoes u(x, 0)eut (x, 0). Agora, derivando (44) obtemos
1 0 1
u
x (x, t) = [f (x + ct) + f 0 (x ct)] + [g(x + ct) g(x ct)]
2 2c
2u 1 00 00 1 0 0
x2 (x, t) = 2 [f (x + ct) + f (x ct)] + 2c [g (x + ct) g (x ct)]
c 1
u
t (x, t) = [f 0 (x + ct) f 0 (x ct)] + [g(x + ct) + g(x ct)]
2 2
2
2
u c 00 00 c 0 0
t2 (x, t) = 2 [f (x + ct) + f (x ct)] + 2 [g (x + ct) g (x ct)]

Onde podemos ver que

utt c2 uxx = 0
para todo x R e t > 0, ou seja, u satisfaz (41). Alem disso, e facil ver que
u(x, 0) = f (x) e ut (x, 0) = g(x).

6.4 O problema de Cauchy para a equacao de onda nao-

homogenea
Vamos estudar agora o seguinte problema de Cauchy

 utt c2 uxx = F (x, t) < x < , t > o,
 (45)
 u(x, 0) = f (x), ut (x, 0) = g(x), < x < .
Integrando os doi lados da EDP sobre um triangulo caracterstico com o
vertice superior fixado (x0 , t0 ) obtemos
Z Z Z Z
F (x, t)dxdt = (c2 uxx utt )dxdt. (46)

Vamos relembrar o Teorema de Green para aplica-lo na equacao acima

Z Z I
[Qx (x, t) Pt (x, t)]dxdt = [P (x, t)dx + Q(x, t)dt].
D C

17
Agora usando o Teorema de Green com Q = c2 ux e P = ut nos obtemos
Z Z I
2
(c uxx utt )dxdt = [ut dx + c2 ux dt]

I I I
= [ut dx + c2 ux dt] + [ut dx + c2 ux dt] + [ut dx + c2 ux dt]
B R L
= I1 + I2 + I3

onde

B = {(x, t) R2 ; x0 ct0 x x0 + ct0 e t = 0},

R = {(x, t) R2 ; x + ct = x0 + ct0 },
L = {(x, t) R2 ; x ct = x0 ct0 }.

Vamos calcular as integrais I1 , I2 e I3 .

(i) A funcao : [x0 ct0 , x0 + ct0 ] 7 R2 definida por (s) = (x(s), t(s)) = (s, 0)
e uma parametrizacao para B. Entao
Z x0 +ct0
I1 = ((ut ((s)), c2 ux ((s))), 0 (s))ds
x0 cta
Z x0 +ct0
= ((ut (s, 0), c2 ux (s, 0)), 0 (s))ds
x0 cta
Z x0 +ct0
= ut (s, 0)ds
x0 cta
Z x0 +ct0
= g(s)ds.
x0 cta

x0 +ct0
(ii) A funcao : [x0 , x0 + ct0 ] 7 R2 definida por (s) = (s, sc + c ) e uma
parametrizacao para R. Entao
Z x0 +ct0
I2 = ((ut ((s)), c2 ux ((s))), 0 (s))ds
x0
Z x0 +ct0
1
= ((ut ((s))), c2 ux ((s))), (1, ))ds
x0 c
Z x0 +ct0
= [cux ((s)) ut ((s))]ds
x0
Z x0 +ct0
1
= c [ux ((s)) ut ((s))]ds
x0 c
Z x0 +ct0
d
= c u((s))ds = c[u((x0 + ct0 )) u((x0 ))]
x0 ds
= c[u(x0 + ct0 , 0) u(x0 , t0 )] = c[f (x0 + ct0 ) u(x0 , t0 )]
x0 +ct0
(iii) A funcao : [x0 ct0 , t0 ] 7 R2 definida por (s) = (s, sc + c ) e uma

18
parametrizacao para L. Entao
Z x0 ct0
I3 = ((ut ((s)), c2 ux ((s))), 0 (s))ds
x0
Z x0 ct0
1
= ((ut ((s))), c2 ux ((s))), (1, ))ds
x0 c
Z x0 ct0
= [cux ((s)) + ut ((s))]ds
x0
Z x0 ct0
1
= c [ux ((s)) + ut ((s))]ds
x0 c
Zx0 ct0
d
= c u((s))ds = c[u((x0 ct0 )) u((x0 ))]
x0 ds
= c[u(x0 ct0 , 0) u(x0 , t0 )] = c[f (x0 ct0 ) u(x0 , t0 )].

Usando os calculos de I1 , I2 e I3 obtemos

Z Z Z x0 +ct0
F (x, t)dxdt = g(x)dx + c[f (x0 ct0 ) + f (x0 + ct0 ) 2u(x0 , t0 )]
x0 ct0

e isolando u(x0 , to )
x0 +ct0
f (x0 + cto ) + f (x0 ct0 ) 1
Z Z Z
1
u(x0 , t0 ) = + g(x)dx+ F (x, t)dxdt
2 2c x0 ct0 2c

Como (x0 , t0 ) sao pontos arbitrarios, podemos generalizar

Z x+ct
f (x + ct) + f (x ct)
Z Z
1 1
u(x, t) = + g(s)ds + F (, )dd (47)
2 2c xct 2c

Esta e a formula de dAlembert para a equacao de onda nao homogenea.

Teorema 6. (Existencia de solucao para o problema nao homogeneo com dados
nulos) Se F : R [0, ) 7 R e uma funcao continuamente diferenciavel e
limitada entao v : R [0, ) 7 R definida por
Z tZ x+c(t )
1
v(x, t) = F (, )dd (48)
2c 0 xc(t )

e solucao classica do problema


 vtt c2 vxx = F <x< t>0
 (49)
 v(x, 0) = vt (x, 0) = 0 <x<

Demonstracao. i) Se f C 1 (R[0, )) entao a funcao : R[0, )[0, ) 7

R definida por Z x+ct
1
(x, t, ) = F (, )d
2c xct

19
esta bem definida, e para todo 0 (fixado). Assim temos que a aplicacao
(x, t) 7 (x, t, ) e uma solucao do problema

 tt (x, t, ) c2 xx (x, t, ) = 0 <x< t>0

 (x, 0, ) = 0
 < x <
 t (x, 0, ) = F (x, )
De fato, temos que
1
t (x, t, ) = [F (x + ct, ) + F (x ct, )]
2
c
[Fx (x + ct, ) Fx (x ct, )]
tt (x, t, ) =
2
1
x (x, t, ) = [F (x + ct, ) F (x ct, )]
2c
1
xx (x, t, ) = [Fx (x + ct) Fx (x ct, )
2c
donde concui-se a afirmacao (i).

Continuando. ii) Seja como no item (i) e para 0 fixado, defina

: R [, ) 7 R por (x, t, ) = (x, t , ) desta forma temos que

 tt (x, t, ) c2 xx (x, t, ) = 0 <x< t>0

 (x, , ) = 0

 t (x, , ) = F (x, )
Temos,
t (x, t, ) = t (x, t , ) tt (x, t, ) = tt (x, t , )
x (x, t, ) = x (x, t , ) xx (x, t, ) = xx (x, t , )
donde, usando o item anterior segue a nossa afirmacao.

A terceira etapa da demonstracao consiste em observar que

Z t Z t
v(x, t) = (x, t, )d = (x, t , )d
o o
Z t Z x+c(t )
1
= F (, )dd
0 2c xc(t )
Z t Z x+c(t )
1
= F (, )dd
2c 0 xc(t )
Desta forma
Z t
vt (x, t) = (x, t, t) + t (x, t, )d mas (x, t, t) = 0
0
Z t Z t
vtt (x, t) = t (x, t, t) + tt (x, t, )d = F (x, t) + tt (x, t, )d
0 0
Z t
= F (x, t) + c2 xx (x, t, )d = F (x, t) + c2 vxx (x, t)
0

20
Ou seja, vtt (x, t)c2 vxx (x, t) = F (x, t). Tambem vemos que v(x, 0) = 0 e vt (x, 0) =
0. Isto comclui a demonstracao.
Teorema 7. (Existencia, unicidade e dependencia contnua dos dados) Se
f (x) C 2 (R), g(x) C 1 (R) e F (x, t) C 1 (R [0, )) e limitada, entao a
funcao
Z x+ct Z t Z x+c(t )
f (x + ct) + f (x ct) 1 1
u(x, t) = + g(s)ds+ F (, )dd
2 2c xct 2c 0 xc(t )
(50)
e a unica solucao do problema (45), a qual depende continuamente dos dados
iniciais.
Demonstracao. Dos teoremas (5) e (6) e a linearidade dos problemas resulta que
(50) e uma solucao de (45). Para provar a unicidade suponhamos que u1 , u2
sejam solucoes classicas de (45). Entao considerando u(x, t) = u1 (x, t) u2 (x, t)
temos que u(x, t) e solucao classica do problema

 utt c2 uxx = 0

 u(x, o) = ut (x, 0) = 0 (51)

Multiplicando (51) por 2ut (x, t) resulta que

2
(ut + c2 u2x ) (2c2 ux ut ) = 0
t x
ou ainda

(2c2 ux uy ) (u2t + c2 u2x ) = 0 (52)
x t
Agora, dado (x0 , t0 ) R [0, ) um ponto arbitrariamente fixado, denotemos
por (x0 , t0 ) o triangulo caracterstico.
R R M
Integrando (52) sobre (x0 , t0 ) temos (
x
L
t dxdt = 0 onde M =
2 2 2 2
2c ux uy e L = ut + c ux . Usando o teorema de Green temos
Z Z I
M L
0 = ( dxdt = (Ldx + M dt)
x t
Z Z
Z
= (Ldx + M dt) + (Ldx + M dt) + (Ldx + M dt)
B R L
Z x0 +ct0 Z x0 +ct0
0
= ((L((s)), M ((s))), (s))ds ((L((s)), M ((s))), 0 (s))ds
x0 ct0 x0
Z x0
((L((s)), M ((s))), 0 (s))ds
x0 ct0
Z x0 +ct0 Z x0 +ct0 Z x0
M ((s)) M ((s))
= L((s))ds (L((s)) )ds (L((s)) )ds
x0 ct0 x0 c x0 ct0 c
Z x0 +ct0 Z x0
= [ut ((s)) cux ((s))]2 ds [ut ((s)) + cux ((s))]2 ds
x0 x0 ct0

21
P ortanto
Z x0 +ct0 Z x0
[ut ((s)) cux ((s))]2 ds + [ut ((s)) + cux ((s))]2 ds = 0
x0 x0 ct0
Logo
ut ((s)) cux ((s)) = 0 s [x0 , x0 + ct0 ]
ut ((s)) + cux ((s)) = 0 s [x0 ct0 , xo ]
ou
ut d
c( ux ) = 0 (u )(s) = 0
c ds
ut d
c( + ux ) = 0 (u )(s) = 0
c ds
Donde

u((x0 + ct0 )) = u(x0 + ct0 , 0) = 0

u((x0 ct0 )) = u(x0 ct0 , 0) = 0

O que implica que u(x, t) = 0(x, t) . Onde, em particular, u(x0 , t0 ) =

0. Mas pela arbitrariedade do ponto (x0 , t0 ) segue que u(x, t) = 0 (x, t)
R [0, ) u1 (x, t) = u2 (x, t). Ou seja, a solucao e unica.

Para provar a dependencia contnua dos dados precisamos mostrar que uma
pequena mudanca nas condicoes iniciais e na forca externa geram uma pequena
mudanca na solucao. Para 1 = 1, 2, seja ui a solucao do problema de Cauchy
com a correspondente funcao Fi , e as condicoes iniciais fi , gi . Agora se

|F1 (x, t) F2 (x, t)| < , |f1 (x) f2 (x)| < , |g1 (x) g2 (x)| < ,

para todo x R, 0 t T. Assim temos

|f1 (x + ct) f2 (x + ct)| |f1 (x ct) f2 (x ct)|

|u1 (x, t) u2 (x, t)| +
2 2
Z x+ct Z Z
1 1
+ |g1 (s) g2 (s)|ds + |F1 (, ) F2 (, )|dd
2c xct 2c
1 1 1
< ( + ) + 2ct + ct2 (1 + T + T 2 /2).
2 2c 2c
Portanto, para um dado > 0, escolhemos = (1 + T + T 2 /2). Assim, para
todo x R e 0 t T , nos temos

|u1 (x, t) u2 (x, t)| < .

o que conclui a demonstracao.

22
6.5 O problema de Cauchy para uma corda semi-infinita
Considerando uma corda com uma extremidade fixa, temos o seguinte problema
de Cauchy

 utt c2 uxx = 0 x > 0, t > o,

 u(0, t) = h(t) (53)

 u(x, 0) = f (x), ut (x, 0) = g(x), < x < .

Usando a solucao geral para a equacao de onda

u(x, t) = F (x + ct) + G(x ct)

e procedendo como na abtencao da formula de dAlembert, temos

Z x
f (x) 1
G(x) = g(s)ds k
2 2c 0
Z x
f (x) 1
F (x) = + g(s)ds + k
2 2c 0
G(0)F (0)
onde k = 2 .

Para escrever u(x, t) = F (x + ct) + G(x ct), devemos conhecer G para

argumentos negativos, pois x ct pode ser negativo. Nesse ponto usamos a
condicao de fronteira para obter

F (ct) + G(ct) = h(t) (54)

que segue
y
G(y) = h( ) F (y) (55)
2
ou seja Z y
y 1 1
G(y) = h( ) f (y) g(s)ds k , y > 0 (56)
2 2 2c 0

Agora podemos escrever a solucao u(x, t) do problema da corda semi-infinita,

que e dada por duas expressoes distintas, dependendo do ponto (x, t) estar na
regiao x ct 0, ou na regiao x ct < 0. Assim, a solucao e
( R x+ct
f (x+ct)+f (xct) 1
2 + 2c g(s)ds se x ct 0
u(x, t) = f (x+ct)f (ctx) Rxct
ct+x (57)
+ 2c ctx g(s)ds + h ctx
1


2 c se x ct < 0

A demonstracao da existencia de solucao, unicidade e dependencia contnua

dos dados iniciais e bastante similar ao caso da corda infinita, e por isso sera
omitida.

23
6.6 Problema da corda vibrante com extremidades fixas
Para o caso em que temos uma conda vibrando com as duas extremidades fixas
em 0 e L, temos

 utt c2 uxx = 0

 u(0, t) = u(L, t) = 0 (58)

 parat 0u(x, 0) = f (x), ut (x, 0) = g(x), 0<x<L
Supondo uma solucao do tipo

u(x, t) = X(x)T (t) (59)

e substituindo na equacao da onda obtemos

2 2
X(x) d dt
T (t)
2 = c2 T (t) d dx
X(x)
2
2 2
1 d T (t) 1 d X(x)
T c2 dt2 = X dx2
2
d2 T (t)
d dxX(x)
2 X = 0 dt2 c2 T = 0

As condicao de fronteira u(0, t) = X(0)T (t) = 0 e u(L, t) = X(L)T (t) = 0

implicam que X(0) = X(L) = 0, pois de outro modo T (t) = 0 para todo t, isso
acarretaria em u(x, t) = 0 para todo x e todo t, o que obviamente nao interessa.

Assim chegamos ao seguinte problema

( 2
d X(x)
dx2 X = 0 (60)
X(0) = X(L) = 0

Agora veremos quais valores de conduzem a solucoes de X(x) nao nulas.

i) Se lambda > 0, a solucao geral e da forma

X(x) = C1 e lambdax
+ C2 e lambdax

que deve satisfazer as condicoes de contorno. Desse modo

C1 + C2 =0

lambdaL lambdaL
C1 e + C2 e =0

Mas a unica solucao desse sistema e C1 = C2 = 0 que implica que X = 0,

resultado este que nao nos interessa.
ii) Se = 0 a solucao geral e da forma

X(x) = C1 x + C2

e para satisfazer as condicoes de contorno devemos ter C2 = 0 e C1 L + C2 = 0

que implica que C1 = C2 = 0 e, portanto, X = 0.
iii) Se < 0 a solucao geral e da forma

X(x) = C1 cos( x) + C2 sen( x)

24
e das condicoes de contorno

C1 = 0 e C2 sen( L) = 0

como nao queremos C2 = 0, devemos ter

sen( L) = 0

assim temos
 n 2
L = n =
L
Assim temos  n 
X(x) = C2 sen x (61)
L
Assim, vemos que a solucao geral para T (t) e
 nc   nc 
T (t) = an cos t + bn sen t (62)
L L
onde an e bn sao constantes arbitrarias. Logo, as funcoes
 nc   nc   n 
un (x, t) = [an cos t + bn sen t ]sen x (63)
L L L
sao solucoes da equacao de onda e satisfazem as condicoes de fronteira.

O passo seguinte do metodo de Fourier e a determinacao das constantes an

e bn , de modo que a solucao u(x, t) seja dada por

X  nc   nc   n 
u(x, t) = [an cos t + bn sen t ]sen x (64)
n=1
L L L

das condicoes iniciais temos

X  n 
f (x) = an sen x
n=1
L

m


multiplicando ambos os lados por sen L x e integrando de 0 a L
Z L  m  Z LX  n   m 
f (x)sen x dx = an sen x sen x
0 L 0 n=1 L L
P
Supondo que n=1 an sen n m



L x sen L x converge uniformemente, e usando
o fato de que a multiplicacao dos senos e uma funcao par, temos
Z L  m  X Z L  n   m 
f (x)sen x dx = an sen x sen x
0 L n=1 0 L L
Z L  n  L
f (x)sen x dx = an
0 L 2

25
Logo
Z L
2  n 
an = f (x)sen x dx (65)
L 0 L
Para bn

X  n 
ut (x, 0) = g(x) = bn sen x
n=1
L
usando o mesmo raciocinio obtemos

2 L
Z  n 
bn = g(x)sen x dx (66)
L 0 L

O que conclui a nossa obtencao de uma candidata a solucao para o problema

da corda vibrante com extremidades fixas.

7 Referencias
[1] Bleecker, D. and Csordas, G.; Basic partial differential equations, Internati-
onal press, Cambridge, Massachusetts, 1996.
[2] Figueiredo, D. G.; Analise de Fourier e equacoes diferenciais parciais, Projeto
Euclides - IMPA, 1977.
[3] Medeiros, L. A.; Iniciacao aos espacos de Sobolev e aplicacoes, Textos de
Metodos Matematicos 16, IM-UFRJ, Rio de Janeiro (1983).
[4] Pinchover, Y. and Rubinstein, J.; An introduction to partial differential
equations, Cambridge University Press, 2005.
[5] Zachmanaglou, E. C. and Thoe, D. W.; Introduction

26