Relatorio de atividades PIBIC

23 de marco de 2014

Resumo

Neste projeto, foi feito um estudo introdutorio sobre a teoria e aplicacoes das
Equac
oes Diferenciais Parciais (EDP). Iniciamos com as definicoes basicas e a
classificac
ao 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
equac
ao da onda unidimensional.

Introdu
c
ao

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 tratamento de tais problemas e fundamental para todo cientista envolvido com
estas
areas. Ao londo do tempo, cada vez mais os currculos dos cursos de
graduac
ao e de p
os-graduac
ao tem sofrido mudancas pelo acrescimo de estudos
nesta direc
ao. Assim, moticar e preparar jovens estudantes para o estudo das
equac
oes diferenciais parciais e uma necessidade fundamental para a formacao de
cientistas, e consequentemente, imprescindivel para o desenvolvimento cientfico
e tecnol
ogico do pas. Da a importancia vital deste estudo introdutorio.

Defini
c
oes b
asicas

Uma equac
ao diferencial parcial (EDP) descreve a relacao entre um funcao
desconhecida e suas derivadas parciais. A forma geral de uma EDP para uma
func
ao u(x1 , x2 , ..., xn ) e
F (x1 , x2 , ..., xn , u, ux1 , ux2 , ..., ux11 , ...) = 0

(1)

onde x1 , x2 , ..., xn s
ao vari
aveis independentes, u e a funcao desconhecida e uxi
u
.
e a dericada parcial x
i
A equac
ao e considerada bem-posta quando satisfaz `as seguintes condicoes:
1

1. Existencia. O problema tem solucao.

2. Unicidade. H
a uma u
nica 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 u
nicas, no entanto
nem sempre h
a estabilidade nos problemas.

3.1

Classificac
ao

(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
equac
ao 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 equac
ao 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

onde = i=1 x
e o operador de Laplace (ou Laplaciano) em Rn , e uma
2
i
equac
ao linear, homogenea de 2a 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 condic
ao sobre o comportamento da funcao solucao da equacao na borda
do espaco onde a equac
ao e definida, que e dita condicao de contorno. Em geral
as EDPs apresentam infinitas solucoes, mas ao fixar as condicoes mencionadas
o n
umero de soluc
oes diminui muito, por vezes sendo u
nica a solucao.
Defini
c
ao 1. Uma soluc
ao cl
assica de uma EDP de ordem k em um domnio
Q Rn (aqui o domnio significa que Q Rn e aberto e conexo) e uma func
ao
ao pontualmente em Q.
u C k (Q) que satisfaz a equac

3.2

Operadores diferenciais e o princpio da superposic

ao

Mapeadores entre diferentes conjuntos de funcoes sao chamados operadores. A

operac
ao 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 s
ao 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 s
ao constantes arbitrarias, e u1 eu2 sao funcoes arbitrarias , e chamado de operador linear. Uma equacao diferencial linear naturalmente define
um operador linear.
Agora, sejam u e v soluc
oes 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.

EDPs de primeira ordem (m

etodo das caractersticas)

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 func

ao dada.
As equac
oes de primeira ordem sao menos frequentes que as de segunda ordem, 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 soluc
ao, 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 equac
ao mais geral possvel para este caso. No entanto, em varias
siuac
oes pr
aticas, 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 s
ao func
oes dadas.
A seguir ser
a desenvolvido o metodo das equacoes caractersticas para equacoes
quase lineares.

4.1

O m
etodo das caractersticas

Este metodo foi desenvolvido na metade do seculo XIX por Hamilton quando
ele investigava a propagac
ao da luz. Ele se propos a derivar as regras desta
propagac
ao de uma teoria puramente geometrica, baseado na geometria Euclidiana. Em seu estudo Hamilton encontrou a equacao eikonal e descobriu que
esta equac
ao podia ser resolvida integrando-a ao longo de curvas especiais chamadas caractersticas.
O metodo das caractersticas sera primeiramente desenvolvido heuristicamente. Depois apresentaremos um teorema preciso, que garantira a existencia
e a unicidade da suluc
ao.
Uma soluc
ao u para a equacao quase linear representa uma superfcie bidimensional 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 equac
ao quase linear e equivalente a encontrar uma superfcie que
ao mesmo tempo seja o gr
afico de uma funcao u e cujo vetor normal satisfaca a
restric
ao
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 outras 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)). Considere uma tal superfcie solucao. Dado um ponto (x0 , y0 , u0 ) destasuperfcie,
procuramos condic
oes 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 inteiramente 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)

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 equac
oes s
ao chamadas equacoes caractersticas.
Nos problemas que aparecem, em geral, alem da EDP temos tambem certas
condic
oes iniciais que a funcao desconhecida deve obedecer. Nesse caso podemos
interpretar tais condic
oes 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 equac
oes 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 u
nica que contem a curva inicial.
Mesmo para EDPs lineares, as equacoes caractersticas podem ser nao lineares. Sabemos da teoria das EDOs que, em geral, so se pode estabelecer
a existencia local de uma solucao u
nica, pois as solucoes de equacoes diferenciais ordin
arias n
ao-lineares podem desenvolver singularidades dentro de uma
curta dist
ancia a partir do ponto inicial. Segue-se disso que pode-se esperar no
m
aximo um teorema de existencia local para a EDP de primeira ordem, mesmo
se e linear.

Alem disso a representacao parametrica da superfcie integral apresenta uma

dificuldade, que e a invers
ao do plano (t,s) para o plano (x,y). Lembrando que
o teorema da func
ao implcita implica que uma transformacao e inversvel se o
Jacobiaano J = (x,y)
(t,s) 6= 0. Ou seja

x y x y  a
J=

=
(x0 )s
t s
s t


b 
= (y0 )s a (x0 )s b
(y0 )s 

(16)

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 condic
ao para que a EDP de primeira ordem tenha uma solucao
u
nica perto da curva inicial e que devemos ter J 6= 0. Esta condicao e chamada
de condic
ao de transversalidade.

4.2

Teorema de exist
encia e unicidade

Vamos resumir a discuss

ao sobre equacoes lineares e quase-lineares em um teorema geral. Para isso precisamos da seguinte definicao.
Defini
c
ao 2. Dada uma equac
ao quase-linear a(x, y, u)ux +b(x, y, u)uy = c(x, y, u)
com a condic
ao 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 equac
ao e a curva
inicial satisfazem a condic
ao de transversalidade em um ponto s em , se a
projec
ao da curva varacterstica que parte de (s) intercepta a projec
ao de
n
ao 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 equac
ao quase-linear (9) s
ao func
oes
suaves de suas vari
aveis em uma vizinhanca da curva inicial 15. Suponha ainda
que a condic
ao 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 u
nica soluc
ao na vizinhanca (t, s) (, )(s0 , s0 +) da curva inicial.
Se a condic
ao de transversalidade n
ao se sustenta em um intervalo de valores s,
ent
ao o problema de Cauchy (9), (15) n
ao tem soluca
o ou tem infinitas soluc
oes.
Demonstrac
ao. O teorema de existencia e unicidade para EDOs aplicado `a (14)
em conjunto com os dados iniciais (15) garante a existencia de uma curva caracterstica para cada ponto da curva inicial. A famlia de curvas caractersticas
formam uma representac
ao parametrica da superfcie. A condicao de transversalidade 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 equac
oes 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 n
ao h
a mais superfcies integrais, provamos que as curvas 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 l
a. 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 relac
ao a t obtemos
t = ut fx (x, t)xt fy (x, y)yt
agora, usando as equac
oes (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 u
nica.

4.3

EDP quase-linear e o m
etodo 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 s
ao func
oes C 1 de tres variaveis.
Lagrange mostrou que as solucoes de (17) podem ser expressas implicitamente como (x, y, u) = 0, onde (x, y, u) e uma solucao da seguinte EDP
linear em tres dimens
oes
a(x, y, z)x + b(x, y, z)y + c(x, y, z)z = 0
7

(18)

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 gr
afico 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 equac
ao (17).
Agora suponha que e uma solucao de (18), de modo que o vetor normal
= xi+y j+z k `
a superfcie (x, y, z) = 0 em algum ponto P0 = (x0 , Y0 , z0 )
n
ao e horizontal (ou seja, z 6= 0. Entao proximo a P0 a superfcie sera o grafico
de alguma func
ao u(x, y) ((x, y, u(x, y)) = 0). Podemos mostrar que u(x, y)
deve ser a soluc
ao da equacao (17) como segue.
Diferenciando a equac
ao (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)

y (x, y, u(x, y)) + z (x, y, u(x, y))uy (x, y)) = 0

(21)

e
Assim
ux =

x
z

y
z

(22)

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
z

(23)

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

4.4

Aplicac
ao de EDP de 1a ordem na fsica: Equac
ao de
transporte

Considere um g
as que percorre um tubo. Pretendemos determinar a velocidade
e a densidade do g
as 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 s
ao constantes, desse modo temos v(x, t) e (x, t).
A massa de g
as 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

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
Z
d x2
(x, t)dx = (x1 , t)v(x1 , t) (x2 , t)v(x2 , t)
dt x1
Usando o teorema fundamental do calculo podemos escrever
Z
Z x2
d x2

(x, t)dx =
((x, t)v(x, t))dx
dt x1
x
x1
Considerando o intervalo de tempo [t1 , t2 ] vemos que
Z

t2

t1

assim
Z

t2

t1

d
dt
Z

x2

x1

x2

t2

x2

(x, t)dxdt =
t1

x1

dxdt =
t

t2

t1

x2

x1

x1

dxdt
t

(v)dxdt
x

de onde podemos concluir que

+
(v) = 0
t
x

Equa
c
oes lineares de segunda ordem em duas
vari
aveis independentes

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

5.1

Classificac
ao

As equac
oes 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 s
ao func
oes 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
classificac
ao das EDPs de segunda ordem se da pelo sinal do discriminante
= b2 ac.

Defini
c
ao 3. A equac
ao (24) e dita hiperb
olica se = b2 ac > 0, e dita
parab
olica se = 0 e elptica se < 0.
Seja um domnio em R2 , a equac
ao e hiperb
olica (resp. parab
olica, elptica)
em se e hiperb
olica (resp. parab
olica, elptica) em todos os pontos (x, y) .
Defini
c
ao 4. A transformac
ao (, ) = ((x, y), (x, y) e chamada uma mudanca de coordenadas se o Jacobiano J = x y y x da transformac
ao n
ao se
anula em nenhum ponto (x, y).
Teorema 2. O tipo de uma EDP de segunda ordem com duas vari
aveis independes e invariante sobre uma mudanca de coordenadas. Ou seja, o tipo de uma
equac
ao e uma propriedade intrnseca da equac
ao e e independente do sistema
de coordenadas usado.
Demonstrac
ao. Seja a equacao (24) e seja (, ) = ((x, y), (x, y) uma transformac
ao n
ao singular. Escrevendo (, ) = u(x(, ), y(, eta)), afirmamos
que e uma soluc
ao da EDP de algum tipo. Usando a regra da cadeia encontramos 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 c
alculo 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 equac
ao e invariante sobre uma transformacao nao singular.
Se a equac
ao (24) e hiperbolica (resp. parabolica, elptica) em um domnio
D, ent
ao podemos encontrar um sistema de coordenadas em que a equacao tem
uma forma simples chamada forma canonica da equacao.

10

Defini
c
ao 5. (Formas can
onicas)
(i) A forma can
onica da equac
ao hiperb
olica e
+ l[] = G(, )
onde l[]e um operador diferencial de primeira ordem e G(, ) e uma func
ao
que depende de (24)
(ii) A forma can
onica da equac
ao parab
olica e
+ l[] = G(, )
(iii) A forma can
onica da equac
ao elptica e
+ + l[] = G(, )
Defini
c
ao 6. (Curvas caractersticas) Dizemos que uma curva no plano xy e
uma curva caracterstica para a equac
ao (24) quando e descrita por y = y(x)
com y soluc
ao da EDO

b b2 ac
dy
=
com a(x, y) 6= 0
dx
a
f
E
acil ver que:
(i) Se (24) e uma EDP elptica, ent
ao b2 ac < 0, desta forma n
ao existem
curvas caractersticas.
(ii) Se (24) e uma EDP parab
olica, ent
ao b2 ac = 0, assim teremos uma u
nica
dy
famlia de curvas caractersticas obtida pela soluc
ao da equac
ao dx
= ab .
(iii) Se (24) e uma EDP hiperb
olica, ent
ao b2 ac > 0, e teremos duas famlias
de curvas caractersitcas obtidas pelas soluc
oes de

dy
b + b2 ac
dy
b b2 ac
=
e
=
.
dx
a
dx
a
Teorema 3. (Reduc
ao `
a forma can
onica - caso hiperb
olico) Se (24) e hiperb
olica ent
ao existe uma mudanca de vari
aveis local que a transforma na
forma can
onica de uma equaca
o hiperb
olica.
Demonstrac
ao. 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
=
dx
y

11

dy
x
=
dx
y

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

dy
b b2 ac
=
dx
a
Onde
a(
Substituindo

dy
dx

dy 2
dy
) 2b( ) + c = 0
dx
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 hip
otese 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 vari
aveis e, definindo (, ) = u(x, y) temos que (24) se transforma na
equac
ao
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 can
onica de uma EDP hiperbolica.
Teorema 4. (Reduc
ao `
a forma can
onica - caso parab
olico) Se (24) e parab
olica
ent
ao existe uma mudanca de vari
aveis local que a transforma na forma can
onica
de uma equac
ao parab
olica.
Demonstrac
ao. Supondo que (24) e parabolica, entao existe apenas uma famlia
dy
x
de curvas caractersticas (x, y) = C te , desta maneira dx
=
y com y 6= 0.
Desde que y = y(x) e uma curva caracterstica temos
temos
dy
dy
a( )2 2b( ) + c = 0
dx
dx
12

dy
dx

b
a,

desta forma

Substituindo

dy
dx

x
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 vari
aveis, e definindo (, ) = u(x, y) temos que (24) se transforma
na equac
ao
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 can
onica de uma EDP parabolica.
Observa
c
ao 1. O caso elptico e mais complicado por n
ao termos curvas caractersticas. No entanto, afirmamos que e sempre possvel reduzir qualquer
EDP elptica `
a forma can
onica. A demostrac
ao ser
a omitida por depender de
ferramentas matem
aticas mais avancadas.

A equa
c
ao de onda unidimensional

Neste captulo vamos estudar a equacao de onda unidimensional. A forma

can
onica da equac
ao 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 deslocamentos da corda (que ocorrem apenas na direcao u) sao de pequenas magnitudes.
Em alguns instantes de tempo, um pedaco qualquer de corda estara na
posic
ao generica indicada pela figura abaixo.
A massa do pequeno segmento de comprimento x e dada por
m = x

13

(25)

onde e a densidade linear da corda.

As componentes horizontal e vertical da forca resultante atuando sobre esse
segmento de corda s
ao
Fx = T cos T cos
(26)
e
Fu = T sen T sen

(27)

Como a corda n
ao 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

xutt
T
dividindo ambos os lados da equacao por cos temos
sen sen =

x
utt
T cos

tg tg =

(30)

(31)

mas tg e tg s
ao os coeficientes angulares nos pontos x + x e x respectivamente, logo podemos reescrever a equacao como
ux (x + x, t) ux (x, t)
1
=
utt
x
T cos

(32)

agora, tomando o limite de x tendendo a zero, x 0

uxx (x, t) =

1
utt
T cos

(33)

Como u
ltima aproximacao, vamos supor que os deslocamentos sao pequenos.
Esta suposic
ao implica que os angulos associados a esses deslocamentos tambem
s
ao pequenos de modo que cos 1, portanto a equacao se torna
uxx (x, t) =
como

tem dimens
ao de

1
velocidade2

utt (x, t)
T

(34)

costuma-se escrever

uxx (x, t) =

1
utt (x, t)
c2

e esta equac
ao e conhecida como a equacao de onda unidimensional.

14

(35)

6.2

Forma can
onica e soluc
ao geral

A equac
ao 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
vari
aveis, de acordo com as curvas caractersticas desta equacao, que e hiperb
olica
= x + ct
= x ct.
(37)
Agora seja (, ) = u(x(, ), t(, )). Usando a regra da cadeia para a
func
ao u(x, t) = ((x, y), (x, y)) obtemos
ut = t + t = c( )
ux = x + x =
e
utt = c2 ( 2 +
uxx = 2 +
de onde temos que
utt c2 uxx = 4c2 = 0
ou
= 0.

(38)

Esta
onica da equacao da onda. Segue dela que = f () e
R e a forma can
= f ()d + G(). Portanto a solucao geral tem a forma
(, ) = F () + G()

(39)

onde F, G C 2 (R) s
ao duas funcoes arbitrarias.
Assim, nas vari
aveis 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

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

15

6.3

O problema de Cauchy e a f
ormula 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 soluc
ao deste problema pode ser interpretada como a amplitude de uma
onda sonora que se propaga por um caminho muito longo e estreito, que na
pr
atica pode ser considerada como uma onda unidimensional. Uma solucao
cl
assica para o problema de Cauchy (41)-(42) e uma funcao u que e continuamente diferenci
avel 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 soluc
ao 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 satisfeitas. Substituindo t = 0 temos
u(x, 0) = F (x) + G(x) = f (x)
agora derivando com relac
ao 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
G(x) =

f (x)
1

2
2c

g(s)ds C

C=

F (0) G(0)
2

como
u(x, t) = F (x + ct) + G(x ct)
obtemos por fim
u(x, t) =

f (x + ct) + f (x ct)
1
+
2
2c

16

x+ct

g(s)ds
xct

(43)

que e a F
ormula de dAlambert.
Considerando a soluc
ao para o problema (41)-(42) em um ponto (x0 , y0 ),
vamos ter as duas retas caractersticas passando por esse ponto. As retas caractersticas interceptam o eixo t nos pontos (x0 ct0 , 0) e (x0 + ct0 , 0). O
tri
angulo formado pelas caractersticas no intervalo [x0 ct0 , x0 + ct0 ] e chamado de tri
angulo caracterstico.
Teorema 5. Se g C 2 (R) e f C 1 (R), ent
ao a func
ao
Z x+ct
f (x + ct) + f (x ct)
1
g(s)ds, x R e t 0
+
u(x, t) =
2
2c xct

(44)

e uma soluc
ao cl
assica do problema (41)-(42).
Demonstrac
ao. 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
restric
oes u(x, 0)eut (x, 0). Agora, derivando (44) obtemos
1 0
1
[f (x + ct) + f 0 (x ct)] + [g(x + ct) g(x ct)]
2
2c
1 0
1 00
00
0
2u
x2 (x, t) = 2 [f (x + ct) + f (x ct)] + 2c [g (x + ct) g (x ct)]
c
1
u
= [f 0 (x + ct) f 0 (x ct)] + [g(x + ct) + g(x ct)]
t (x, t)
2
2
2
2
c 0
c
00
00
0
u
t2 (x, t) = 2 [f (x + ct) + f (x ct)] + 2 [g (x + ct) g (x ct)]
u
x (x, t)

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 equac

ao de onda n
aohomog
enea

Vamos estudar agora o seguinte problema de Cauchy


 utt c2 uxx = F (x, t)
< x < , t > o,

 u(x, 0) = f (x), ut (x, 0) = g(x),
< x < .

(45)

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

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

= I1 + I2 + I3
onde
B

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

= {(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 func
ao : [x0 ct0 , x0 + ct0 ] 7 R2 definida por (s) = (x(s), t(s)) = (s, 0)
e uma parametrizac
ao para B. Entao
Z x0 +ct0
I1 =
((ut ((s)), c2 ux ((s))), 0 (s))ds
x0 cta
x0 +ct0

Z
=

((ut (s, 0), c2 ux (s, 0)), 0 (s))ds

x0 cta
x0 +ct0

Z
=

ut (s, 0)ds
x0 cta
Z x0 +ct0

g(s)ds.
x0 cta

(ii) A func
ao : [x0 , x0 + ct0 ] 7 R2 definida por (s) = (s, sc +
parametrizac
ao para R. Entao
Z x0 +ct0
I2 =
((ut ((s)), c2 ux ((s))), 0 (s))ds
x0
x0 +ct0

Z
=
Z

x0
x0 +ct0

x0 +ct0
)
c

e uma

1
((ut ((s))), c2 ux ((s))), (1, ))ds
c

[cux ((s)) ut ((s))]ds

=
x0

Z
=

x0 +ct0

c
x0
x0 +ct0

1
[ux ((s)) ut ((s))]ds
c

d
u((s))ds = c[u((x0 + ct0 )) u((x0 ))]
ds
x0
= c[u(x0 + ct0 , 0) u(x0 , t0 )] = c[f (x0 + ct0 ) u(x0 , t0 )]

(iii) A func
ao : [x0 ct0 , t0 ] 7 R2 definida por (s) = (s, sc +
18

x0 +ct0
)
c

e uma

parametrizac
ao para L. Entao
Z x0 ct0
I3 =
((ut ((s)), c2 ux ((s))), 0 (s))ds
Z

x0
x0 ct0

=
x0
x0 ct0

1
((ut ((s))), c2 ux ((s))), (1, ))ds
c

Z
=

[cux ((s)) + ut ((s))]ds

x0

x0 ct0

= c
x0
x0 ct0

1
[ux ((s)) + ut ((s))]ds
c

d
u((s))ds = c[u((x0 ct0 )) u((x0 ))]
ds
x0
= c[u(x0 ct0 , 0) u(x0 , t0 )] = c[f (x0 ct0 ) u(x0 , t0 )].

= c

Usando os c
alculos 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 )
u(x0 , t0 ) =

f (x0 + cto ) + f (x0 ct0 ) 1

+
2
2c

x0 +ct0

g(x)dx+
x0 ct0

1
2c

Z Z
F (x, t)dxdt

Como (x0 , t0 ) s
ao pontos arbitrarios, podemos generalizar
Z x+ct
Z Z
1
1
f (x + ct) + f (x ct)
u(x, t) =
+
g(s)ds +
F (, )dd (47)
2
2c xct
2c

Esta e a f
ormula de dAlembert para a equacao de onda nao homogenea.
Teorema 6. (Existencia de soluc
ao para o problema n
ao homogeneo com dados
nulos) Se F : R [0, ) 7 R e uma funca
o continuamente diferenci
avel e
limitada ent
ao v : R [0, ) 7 R definida por
1
v(x, t) =
2c

Z tZ

x+c(t )

F (, )dd
0

(48)

xc(t )

e soluc
ao cl
assica do problema

 vtt c2 vxx = F
<x< t>0

 v(x, 0) = vt (x, 0) = 0
<x<

(49)

Demonstrac
ao. i) Se f C 1 (R[0, )) entao a funcao : R[0, )[0, ) 7
R definida por
Z x+ct
1
F (, )d
(x, t, ) =
2c xct
19

est
a 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
t (x, t, ) =

1
[F (x + ct, ) + F (x ct, )]
2

c
[Fx (x + ct, ) Fx (x ct, )]
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 afirmac
ao (i).
tt (x, t, ) =

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 , )
x (x, t, ) = x (x, t , )

tt (x, t, ) = tt (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
t

x+c(t )

1
F (, )dd
2c
0
xc(t )
Z t Z x+c(t )
1
F (, )dd
2c 0 xc(t )

Desta forma
Z
vt (x, t)

= (x, t, t) +

t (x, t, )d mas (x, t, t) = 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
c2 xx (x, t, )d = F (x, t) + c2 vxx (x, t)
= F (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, ent
ao a
func
ao
Z x+ct
Z t Z x+c(t )
1
f (x + ct) + f (x ct) 1
F (, )dd
g(s)ds+
+
u(x, t) =
2
2c xct
2c 0 xc(t )
(50)
e a u
nica soluc
ao do problema (45), a qual depende continuamente dos dados
iniciais.
Demonstrac
ao. Dos teoremas (5) e (6) e a linearidade dos problemas resulta que
(50) e uma soluc
ao de (45). Para provar a unicidade suponhamos que u1 , u2
sejam soluc
oes cl
assicas de (45). Entao considerando u(x, t) = u1 (x, t) u2 (x, t)
temos que u(x, t) e soluc
ao classica do problema

 utt c2 uxx = 0

(51)
 u(x, o) = ut (x, 0) = 0
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 tri
angulo caracterstico.
R R M
Integrando (52) sobre (x0 , t0 ) temos
(
L
t dxdt = 0 onde M =
x
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

Z

x0 ct0
x0 +ct0

x0 +ct0

L((s))ds

x0 ct0
Z x0 +ct0

(L((s))
x0

[ut ((s)) cux ((s))]2 ds

M ((s))
)ds
c

21

x0

(L((s))
x0 ct0

x0

x0 ct0

x0

[ut ((s)) + cux ((s))]2 ds

M ((s))
)ds
c

P ortanto
Z

x0 +ct0

[ut ((s)) cux ((s))]2 ds +

x0

[ut ((s)) + cux ((s))]2 ds = 0

x0 ct0

x0

Logo
ut ((s)) cux ((s)) = 0 s [x0 , x0 + ct0 ]
ut ((s)) + cux ((s)) = 0 s [x0 ct0 , xo ]
ou
ut
ux ) = 0
c
ut
c( + ux ) = 0
c
c(

d
(u )(s) = 0
ds
d
(u )(s) = 0
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 u
nica.
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 soluc
ao. Para 1 = 1, 2, seja ui a solucao do problema de Cauchy
com a correspondente func
ao 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
|u1 (x, t) u2 (x, t)|

+
<

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

+
2
2
Z x+ct
Z Z
1
1
|F1 (, ) F2 (, )|dd
|g1 (s) g2 (s)|ds +
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 , n
os 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 soluc
ao 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
onde k =

G(0)F (0)
.
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
condic
ao de fronteira para obter

que segue

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

(54)

y
G(y) = h( ) F (y)
2

(55)

ou seja
y
1
1
G(y) = h( ) f (y)
2
2
2c

g(s)ds k , y > 0

(56)

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
regi
ao x ct 0, ou na regiao x ct < 0. Assim, a solucao e
(
R x+ct
f (x+ct)+f (xct)
1
+ 2c
g(s)ds se x ct 0
2


Rxct
(57)
u(x, t) =
ct+x
f (x+ct)f (ctx)
1
se x ct < 0
+ 2c ctx g(s)ds + h ctx
2
c
A demonstrac
ao 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 soluc
ao do tipo
u(x, t) = X(x)T (t)

(59)

e substituindo na equac
ao da onda obtemos
2

T (t)
X(x)
X(x) d dt
= c2 T (t) d dx
2
2
2

1 d T (t)
T c2 dt2
2
X(x)
d dx
2

1 d X(x)
X dx2

d2 T (t)
dt2

X = 0

c2 T = 0

As condic
ao 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)
X = 0
dx2
X(0) = X(L) = 0

(60)

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

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

X(x) = C1 e

lambdax

+ C2 e

lambdax

que deve satisfazer as condicoes de contorno. Desse modo

C1 e

lambdaL

+ C2 e

C1 + C2

lambdaL

=0
=0

Mas a u
nica soluc
ao desse sistema e C1 = C2 = 0 que implica que X = 0,
resultado este que n
ao nos interessa.
ii) Se = 0 a soluc
ao geral e da forma
X(x) = C1 x + C2
e para satisfazer as condic
oes 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 soluc
ao geral e da forma

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

24

e das condic
oes de contorno

C1 = 0 e C2 sen( L) = 0
como n
ao queremos C2 = 0, devemos ter

sen( L) = 0
assim temos

 n 2

L = n =

L
 n 
X(x) = C2 sen
x
L
Assim, vemos que a soluc
ao geral para T (t) e
 nc 
 nc 
T (t) = an cos
t + bn sen
t
L
L

Assim temos

onde an e bn s
ao constantes arbitrarias. Logo, as funcoes
 nc 
 nc 
 n 
un (x, t) = [an cos
t + bn sen
t ]sen
x
L
L
L

(61)

(62)

(63)

s
ao soluc
oes da equac
ao 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 soluc
ao u(x, t) seja dada por
u(x, t) =

[an cos

n=1

 nc 
 nc 
 n 
t + bn sen
t ]sen
x
L
L
L

(64)

das condic
oes iniciais temos
f (x) =

an sen

n=1

multiplicando ambos os lados por sen

Z
0

m
L x

 n 
x
L

e integrando de 0 a L

Z LX

 n 
 m 
 m 
an sen
f (x)sen
x dx =
x sen
x
L
L
L
0 n=1

P
m
Supondo que n=1 an sen n
L x sen
L x converge uniformemente, e usando
o fato de que a multiplicac
ao dos senos e uma funcao par, temos
Z L
Z L

 m 
 n 
 m 
X
f (x)sen
x dx =
an
sen
x sen
x
L
L
L
0
0
n=1
Z L
 n 
L
f (x)sen
x dx = an
L
2
0
25

Logo
an =

2
L

f (x)sen
0

Para bn
ut (x, 0) = g(x) =

X
n=1

 n 
x dx
L

bn sen

(65)

 n 
x
L

usando o mesmo raciocinio obtemos

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

(66)

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

da corda vibrante com extremidades fixas.

Refer
encias

[1] Bleecker, D. and Csordas, G.; Basic partial differential equations, International press, Cambridge, Massachusetts, 1996.
[2] Figueiredo, D. G.; An
alise de Fourier e equacoes diferenciais parciais, Projeto
Euclides - IMPA, 1977.
[3] Medeiros, L. A.; Iniciacao aos espacos de Sobolev e aplicacoes, Textos de
Metodos Matem
aticos 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