Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
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
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
(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)
(4)
mas
L[u] = L[v] = f (x)
Logo
L[w] = a1 f (x) + a2 f (x)
(5)
(6)
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)
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)
(12)
(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.
=
(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
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
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)
(21)
e
Assim
ux =
x
z
y
z
(22)
(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
(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
+
(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)
11
dy
x
=
dx
y
dy
b b2 ac
=
dx
a
Onde
a(
Substituindo
dy
dx
dy 2
dy
) 2b( ) + c = 0
dx
dx
dy
dx
b
a,
desta forma
Substituindo
dy
dx
x
y
obtemos
ax2 + 2bx y + cy2 = 0.
A equa
c
ao de onda unidimensional
6.1
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)
(27)
Como a corda n
ao se movimenta em x, temos que
Fx = 0 T cos = T cos
(28)
(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)
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
(36)
(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)
15
6.3
O problema de Cauchy e a f
ormula de dAlambert
< 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)
6.4
(45)
F (x, t)dxdt =
(c2 uxx utt )dxdt.
(46)
17
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 ; 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
=
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
=
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
=
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 ) =
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, ) =
tt (x, t, ) = tt (x, t , )
xx (x, t, ) = xx (x, t , )
=
=
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) +
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
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
x0 ct0
x0 +ct0
x0 +ct0
L((s))ds
x0 ct0
Z x0 +ct0
(L((s))
x0
M ((s))
)ds
c
21
x0
(L((s))
x0 ct0
x0
x0 ct0
x0
M ((s))
)ds
c
P ortanto
Z
x0 +ct0
x0
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
+
<
1
1
1
( + ) + 2ct + ct2 (1 + T + T 2 /2).
2
2c
2c
22
6.5
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
que segue
(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)
23
6.6
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)
X(x) = C1 e
lambdax
+ C2 e
lambdax
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
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
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
(66)
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