Universidade Estadual Paulista

Campus de So Jos do Rio Preto

Instituto de Biocincias Letras e Cincias Exatas
Estudo da Equao de Klein-Gordon
Linear
Valdir Carlos Arroyo
Orientador
Prof. Dr. Waldemar Donizete Bastos
Dissertao apresentada ao Departamento de Matemtica/IBILCE/UNESP
como parte dos requisitos para a obteno do ttulo de Mestre em Matemtica
So Jos do Rio Preto-SP
Fevereiro - 2008
1
.
Dedicatria
Este trabalho exclusivamente dedicado a minha amada esposa Ins, a
minha me Jandira, a D. Dalva, aos professores do IBILCE-UNESP que muito
estimo e aos amigos e a turma do curso.
2
.
Agradecimentos
Agradeo primeiramente a Deus por tudo.
Agradeo aos Professores doutores: Cludio Aguinaldo Buzzi e Adalberto
Spezamiglio pela oportunidade e conana em me proporcionar o belo desao
de voltar a estudar e pesquisar.
Agradeo ao Professor Doutor Waldemar Donizete Bastos pela longa amizade,
pelo acolhimento, pela pacincia e por todo aprendizado.
Agradeo ao Professor Doutor Joo Peres (Unesp-Rio Claro) pelo incentivo e
resgate da vontade de estudar.
Agradeo a magnca equipe de professores do departamento de matemtica do
IBILCE pelas excelentes aulas, pelo carinho e dedicao de todos em especial
a professora Gorete pela grande alegria com que conduz o seu trabalho e quero
lembrar tambm os antigos professores de minha primeira passagem pelo Ibilce
Neusa Kazuko Kakuta e Wilson Maurcio Tadini responsveis diretos pela
minha formao acadmica.
Agradeo aos amigos do mestrado Aguinaldo, Grasiele e Lgia pelo acolhimento
e pelas orientaes que foram fundamentais no decorrer do curso.
Agradeo aos amigos pelo incentivo e compreenso das diculdades e limi-
taes impostas por essa jornada. Agradeo a todos que de alguma forma
contriburam.
3
.
Resumo
Neste trabalho estudamos a equao de Klein-Gordon linear. Denimos
soluo generalizada do Problema de Cauchy para tal equao. Provamos a
existncia e a unicidade da soluo no espao H
1
loc
(R
2 + 1
) e demonstramos o
decaimento local de energia da soluo.
Palavras Chave: Equao de Klein-Gordon, Soluo Generalizada, Decai-
mento Local de Energia.
4
.
Abstract
In this work we studdy the linear Klein-Gordon equation. We dene the
notion of generalized solution to the Cauchy problem for such equation. We
prove existence and uniqueness of solution in H
1
loc
(R
2 + 1
). We also prove local
decay of energy for the solutions to the Cauchy problem.
Key Words: Klein-Gordom Equation, Generalized Solution, Local Decay
of Energy
.
.
5
Sumrio
1 Distribui ao e Espao de Sobolev 7
1.1 Introdu ao 7
1.2 Distribui ao 7
1.3 Os espacos L
p
/s 8
1.4 Espao de Sobolev 10
2 Propriedades da Equac ao de Klein Gordon 13
2.1 A equac ao de Klein Gordon 13
2.2 A f ormula explcitada soluc ao 15
3 Exist encia de Soluc ao Generalizada 18
3.1 Introdu ao 18
3.2 As estimativas de energia 18
3.3 Solu oes Generalizadas 25
4 Decaimento de Energia 30
4.1 Introdu ao 30
4.2 Decaimento local de energia para soluc ao cl assica 30
4.3 Decaimento local de energia para soluc ao generalizada 35
Bibliografia 37
6
Captulo 1
Distribuies e Espaos de Sobolev
1.1 Introduo: Neste captulo vamos estabelecer algumas notaes e resul-
tados preliminares a serem utilizadados nos captulos seguintes.
1.2 Distribuies: Seja N o conjunto dos nmeros naturais e n N um
natural no nulo. Um multi-ndice uma n-upla de naturais, isto , =
(
1
,
2
, ...,
n
) N
n
. Seja R
n
um domnio e u uma funo denida em .
Dado um multi-ndice , denotamos por

u a derivada parcial

u =

||
u
x

1
1
...x

n
n
onde [[ =
1
+... +
n
e x = (x
1
, ..., x
n
).
Dada uma funo u : R denota-se supp u ao fecho, na topologia do
R
n
, do conjunto de pontos de onde u no se anula, isto :
supp u = x : u(x) ,= 0
O conjunto C

0
() composto por todas as funes u : R que
so innitamente diferenciveis e possuem suporte compacto em . Com as
operaes usuais de funes, C

0
() um espao vetorial sobre R.
7
Seja (
n
)

n=1
uma sequncia em C

0
() e C

0
() uma funo dada.
Dizemos que (
n
)

n=1
converge para emC

0
() se foremsatisfeita as seguintes
condies:
(i) todas as
n
possuem suportes contidos em um compacto xo K de .
(ii) para todo multi-ndice = (
1
, ...,
n
) N
n
a sequncia (

n
)

n=1
converge uniformemente em K para

.
Uma distribuio em uma transformao linear
T : C

0
() R
contnua, isto , se (
n
)

n=1
converge para em C

0
() ento (T
n
)

n=1
con-
verge para T em R. O valor de uma distribuio T numa funo ser
denotado por T, .
O espao de todas as distribuies sobre denotado por D

(). Neste
espao, diz-se que uma sequncia (T
n
)

n=1
converge para uma distribuio T se
(T
n
, )

n=1
converge em R para T, , para toda C

0
().
Dado uma distribuio T D

() e C

0
() fcil vericar que a
aplicao
C

0
() R
T,
dene uma distribuio . Esta distribuio denotada T.
1.3 Os espaos L
p

s : Seja R
n
um conjuto mensurvel Lebesgue e
p R tal que p 1. Dene-se o conjunto L
p
() como o conjunto das funes
8
mensurveis ( classes de equivalncia) Lebesgue em , tais que [f[
p
tem
integral de Lebesgue em nita. Munido das operaes usuais de funes, os
conjuntos L
p
() so espaos de Banach com a norma denida por
|f|
p
=
__

[f(x)[
p
dx
_1
p
O espao L
2
() um espao de Hilbert com o produto interno denido
por:
f, g
L
2
()
=
_

f(x)g(x)dx.
Seja f : R uma funo mensurvel. Dizemos que f localmente
integrvel em se:
_
K
[f(x)[ dx <
para todo compacto K de . O espao dessas funes denotado por L
1
loc
().
Para todo p 1 vale
L
p
() L
1
loc
().
Cada funo f L
1
loc
() dene uma distribuio T
f
em por:
T
f
, =
_

f(x)(x)dx , C

0
().
A proposio seguinte arma que a correspondncia
f L
1
loc
() T
f
D

()
9
injetiva.
Proposio 1.3.1:( Du Bois Raymond ) Dado f L
1
loc
() tal que
_

f(x)(x)dx =
0, para todo C

0
() ento f = 0 quase sempre em .
Demonstrao: Veja [ 4 ].
A proposio acima permite identicar L
p
() com um subespao de D

().
A partir desse ponto usaremos a mesma notao para f L
p
() e para a
distribuio T
f
D

(), isto , T
f
, = f, para toda C

0
().
Uma consequncia da desigualdade de Hlder que se (f
n
)

n=1
L
p
()
converge para f em L
p
() ento a convergncia tambm ocorrer em D

().
Para nalizar esta seo observamos que C

0
() denso em L
p
() ( ver [
1 ] ou [ 4 ] ).
1.4 Espaos de Sobolev: Seja T uma distribuio num domnio R
n
.
Seja N
n
um multi-indce. Facilmente verica-se que:
C

0
() (1)
||
T,

dene uma distribuio em . Tal distribuio a -sima derivada de T,

denotada por

T, dessa forma a distribuio T tem derivada

T denida
por :

T, = (1)
||
T,

, C

0
().
Se f C

0
() ento para todo N
n
a derivada usual

f coincide com
a respectiva derivada distribucional de f, isto :
T

f
=

T
f
.
10
Isto consequncia de integrao por partes.
Vejamos um exemplo motivador da prxima denio. Sejam =] 1, 1[
R e H L
2
() a funo denida por
H(x) =
_

_
0 se x ] 1, 0[
1 se x [0, 1[
A funo H est em L
2
() , mas sua derivada distribucional H

no est
em L
2
().
De fato:
H

, =
_
1
0

(x)dx = (0).
A distribuio denida por
, = (0)
no provm de funo localmente integrvel. Logo H

/ L
2
().
Denio 1.4.1: Sejam R
n
um domnio e m um nmero inteiro positivo.
(a) O espao de Sobolev H
m
() denido por:
H
m
() = u L
2
();

u L
2
(), [[ m,
H
0
() = L
2
()
(b) O espao das distribuies f D

() tais que f H
m
(), para toda
C

o
() denotado H
m
loc
().
Munido das operaes usuais com funes o espao H
m
() um espao de
Hilbert com produto interno
11
u.v
H
m
()
=

||m

u,

v
L
2
()
=

||m
_

u(x)

v(x)dx. ver [4]

A norma de H
m
() denotada por |.|
H
m
()
.
Proposio 1.4.1: O espao H
m
() um espao de Hilbert, isto , toda
sequencia de Cauchy em H
m
() convergente.
Demonstrao: Veja [ 4 ].
Seja
S = : R /

contnua para todo [[ m e ||

H
m
()
< .
O teorema de Meyers e Serrin ([1]) arma que S denso em H
m
().
Se ,= R
n
o conjunto C

0
() no denso em H
m
().Nesse caso denimos
o subespao H
m
0
() de H
m
() como sendo o fecho de C

0
() em H
m
(), isto
:
H
m
0
() = C

0
()
H
m
()
.
Se = R
n
tem-se H
m
0
(R
n
) = H
m
(R
n
). Em geral, se u H
m
() tem
suporte compacto em ento u H
m
0
().
Proposio 1.4.2: Seja R
n
um domnio limitado. Se u H
m
() possui
suporte compacto em ento u H
1
0
().
Demonstrao: Veja [ 4 ] .
.
12
Captulo 2
Propriedades da Equao de
Klein-Gordon
2.1. A equao de Klein-Gordon: Consideremos uma membrana horizon-
tal uniformemente distendida em todas as direes, por meio de uma tenso .
Vamos assumir que a membrana em seu estado de repouso ocupa uma regio
. Suponhamos que nenhuma fora vertical e nenhuma fora horizontal (alm
da tenso) esteja atuando sobre a membrana, e que os pontos desta podem ter
somente deslocamentos transversais. Suponhamos ainda que a membrana no
oferece resistncia a foras de cisalhamento ou momentos de toro, e que suas
deformaes esto controladas apenas por sua resistncia a distenses subse-
quentes. Suponhamos que a membrana sofreu uma deformao num instante
incial, que assumimos ser t = 0 e que se encontra vibrando. Seja u = u(x, t)
a posio ocupada pelo ponto x = (x
1
, x
2
) da membrana, no instante t > 0.
Assim
u
t
(x, t) = u
t
(x, t) representa a velocidade do ponto x da membrana
no instante t. Para estudar a vibrao supe-se conhecidos a posio e a ve-
locidade inicial de cada ponto x da membrana, isto , conhecemos um par de
13
funes (u
0
, u
1
) tal que u(x, 0) = u
0
(x) e u
t
(x, 0) = u
1
(x) para todos x .
Se a massa por unidade de rea da membrana verica-se que a funo u
satisfaz a equao da onda

2
u
t
2
= u em todo x , t > 0. Se a membrana
estiver imersa em um meio que exera alguma inuncia no movimento ento
a equao apresentar termos adicionais. Vamos supor que o meio aplique na
membrana uma fora restauradora proporcional ao deslocamento. Tal fora
dada por Ku onde K 0 uma constante que depende do meio. Neste caso
a funo u deve satisfazer a equao

2
u
t
2
= u Ku,
que aps mudana conveniente na varivel independente x passamos a escreve-
la no formato

2
u
t
2
u +m
2
u = 0,
onde m uma constante real.
O problema de Cauchy para a equao de Klein-Gordon consiste de de-
terminar a soluo da equao acima em todo o espao R
2+1
= (x
1
, x
2
, t) :
x
1
, x
2
R, t > 0 supondo conhecidos os dados iniciais, ou seja, a posio e a
velocidade de cada particula x = (x
1
, x
2
) no instante t = 0. Mais precisamente
o problema de Cauchy para a equao de Klein-Gordon colocado na forma
_

_
u
tt
u +m
2
u = 0 em R
2+1
,
u(x
1
, x
2
, 0) = f(x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) = g(x
1
, x
2
) em R
2
.
14
Na proxima seo obtemos a frmula para a soluo deste problema.
2.2. A frmula explcita da soluo: Sejam f e g funes de C

0
(R
2
) e
seja u = u(x
1
, x
2
, t) a nica soluo do problema de Cauchy:
_

_
u
tt
u +m
2
u = 0 em R
2+1
,
u(x
1
, x
2
, 0) = f(x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) = g(x
1
, x
2
) em R
2
.
Dena agora, em R
3 + 1
, a funo complexa v dada por
v(x
1
, x
2
, x
3
, t) = e
imx
3
u(x
1
, x
2
, t).
Um clculo direto nos mostra que v satisfaz o seguinte problema para a equao
da onda
_

_
v
tt
v = 0 em R
2+1
,
v(x
1
, x
2
, x
3
, 0) = e
imx
3
f(x
1
, x
2
) em R
2
,
v
t
(x
1
, x
2
, x
3
, 0) = e
imx
3
g(x
1
, x
2
) em R
2
.
A frmula explicita para este ltimo problema de Cauchy dada pela
conhecida frmula de Kirchho (veja [5]). Assim temos
v(x
1
, x
2
, x
3
, t) =
1
4t
_
|yx|=t
e
imy
3
g(y
1
, y
2
)dS
y
+
+

t
_
1
4t
_
|yx|=t
e
imy
3
f(y
1
, y
2
)dS
y
_
,
onde [.[ denota a distncia euclidiana e dS
y
o elemento de rea da esfera
[y x[ = t.
15
Agora, procedemos como no mtodo da descida de Hadamard [ 5 ]. Fazendo
x
3
= 0 e denotando r = [x y[ =
_
(y
1
x
1
)
2
+ (y
2
x
2
)
2
obtemos
u(x
1
, x
2
, t) =
1
4t
_
r<t
[e
im|y
3
|
+e
im|y
3
|
]g(y
1
, y
2
)
t

t
2
r
2
dy
1
dy
2
+
+

t
_
1
4t
_
r<t
[e
im|y
3
|
+e
im|y
3
|
]f(y
1
, y
2
)
t

t
2
r
2
dy
1
dy
2
_
,
onde [y
3
[ =

t
2
r
2
.
Observando que v(x
1
, x
2
, 0, t) = u(x
1
, x
2
, t) e
_
e
im|y
3
|
+e
im|y
3
|

=
2 cos(m

t
2
r
2
) obtemos
u(x
1
, x
2
, t) =
1
4t
_
r<t
[2 cos(m

t
2
r
2
)]g(y
1
, y
2
)
t

t
2
r
2
dy
1
dy
2
+
+

t
_
1
4t
_
r<t
[2 cos(m

t
2
r
2
)]f(y
1
, y
2
)
t

t
2
r
2
dy
1
dy
2
_
Da ltima expresso segue a frmula que procuramos, ou seja, para todos
x = (x
1
, x
2
) R
2
e todos t > 0 temos
u(x
1
, x
2
, t) =
1
2
_
r<t
g(y
1
, y
2
)
cos(m

t
2
r
2
)

t
2
r
2
dy
1
dy
2
+
+

t
_
1
2
_
r<t
f(y
1
, y
2
)
cos(m

t
2
r
2
)

t
2
r
2
dy
1
dy
2
_
.
No capitulo 4 faremos uso desta frmula para provar o decaimento local de
energia da soluo do probema de Cauchy para a equao e Klein-Gordon.
Uma observao importante sobre a equao de Klein-Gordon a pro-
priedade de propagao de sinal com velocidade nita. Este fato observado
facilmente da frmula explicita obtida aqui e traduz-se na seguinte armao:
Se supp(f), supp(g) B(0, r) ento temos
16
suppu(., t), suppu
t
(., t) B(0, r +t)
para todo t > 0.
17
Captulo 3
Existncia de Soluo Generalizada
3.1. Introduo: Neste captulo obteremos algumas estimativas que nos
permitiro denir soluo da equao de Klein-Gordon quando os dados iniciais
esto em espaos de Sobolev. Permitiro tambm provar que o problema de
Cauchy para a equao de Klein-Gordon bem posto no sentido de que possui
uma nica soluo que depende continuamente dos dados iniciais.
3.2. As estimativas de Energia. Seja u uma soluo da equao de Klein-
Gordon,
u
tt
u +m
2
u = 0 , m > 0.
Multiplicando a equao acima por u
t
obtemos
u
t
u
tt
u
t
u +u
t
m
2
u = 0
Agora observando que
u
t
u
tt
=
1
2

t
[u
2
t
],
u
t
u = Div
x
[u
t
u]
_

t
1
2
[u[
2

,
18
e
u
t
m
2
u =

t
_
m
2
2
u
2
_
temos
1
2

t
[u
2
t
] +
_

t
1
2
[u[
2

Div
x
[u
t
u] +

t
_
m
2
2
u
2
_
= 0
ou seja,
(3.2.1)

t
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
Div
x
[u
t
u] = 0
Esta ltima equao denominada equao de Klein-Gordon na forma
divergente por ter seu lado esquerdo exatamente igual ao divergente na varivel
(x, t) do campo

F = (u
t
u,
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
).
Suponhamos agora que a soluo u da equao de Klein-Gordon satisfaa
as seguintes condies iniciais
_

_
u(x, 0) = (x) em R
2
u
t
(x, 0) = (x) em R
2
e que as funes e possuam suporte compacto. Mais precisamente:
supp(), supp() B(0, r)
para algum r > 0. Ento, conforme observamos no nal do captulo anterior,
para cada t > 0 temos
suppu(., t), suppu
t
(., t) B(0, r +t).
19
Agora, integrando (3.2.1) em relao x = (x
1
, x
2
) na bola B(0, r +t +),
> 0 obtemos
__
B(0,r+t+)

t
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx
__
B(0,r+t+)
Div
x
[u
t
u] (x, t) dx =
0.
Usando o teorema da divergencia no plano escrevemos
__
B(0,r+t+)
Div
x
[u
t
u] (x, t) dx =
__
B(0,r+t+)
u
t
u.ds
Como u e suas derivadas se anulam na B(0, r +t +) ento
__
B(0,r+t+)
u
t
u.ds = 0
logo, para todo t > 0 temos
__
B(0,r+t+)

t
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx = 0.
Como o integrando identicamente nulo fora de B(0, r +t) podemos escr-
ever
__
R
2

t
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx = 0
ou seja,

t
__
R
2
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx = 0
Assim, a funo que a cada t associa o nmero real
__
R
2
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx
20
uma funo constante. Logo existe R tal que
__
R
2
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx = para todo t R.
Em particular, fazendo t = 0 obtemos
=
__
R
2
_
1
2
u
2
t
(x, 0) +
1
2
[u(x, 0)[
2
+
m
2
2
u(x, 0)
2
_
dx
=
__
R
2
_
1
2
(x)
2
+
1
2
[(x)[
2
+
m
2
2
(x)
2
_
dx.
A discusso acima pode ser resumida no seguinte teorema.
Teorema 3.2.1: Sejam , C

0
(R
2
) e u a soluo do problema de Cauchy
_

_
u
tt
u +m
2
u = 0 em R
2+1
,
u(x
1
, x
2
, 0) = (x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) = (x
1
, x
2
) em R
2
.
Ento, para todo t 0 vale
__
R
2
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx =
=
__
R
2
_
1
2
(x)
2
+
1
2
[(x)[
2
+
m
2
2
(x)
2
_
dx.
Sejam B R
2
um conjunto qualquer, t 0 um real positivo e u como no
teorema acima. A quantidade
c(B, u, t) =
__
B
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx
21
representa a energia da soluo u no instante t connada na regio B. O
teorema 3.2.1 arma que
c(R
2
, u, t) = c(R
2
, u, 0)
ou seja, a energia total da soluo u se mantem constante com passar do tempo.
Agora denamos para o mesmo terno (B, u, t) a quantidade
E(B, u, t) =
__
B
(u
2
t
+[u[
2
+u
2
)(x, t)dx.
Lembrando as denies das normas dos espaos de Sobolev introduzido
no primeiro captulo vemos que
E(B, u, t) = |u
t
(., t)|
2
L
2
(B)
+|u(., t)|
2
H
1
(B)
.
Para todo t 0 vale a seguinte desigualdade
(3.2.2) C
0
E(B, u, t) c(B, u, t) C
1
E(B, u, t)
onde C
0
= min
1
2
,
m
2
2
e C
1
= max
1
2
,
m
2
2
. De fato, da denio de C
0
e C
1
segue
C
0
(u
2
t
+[u[
2
+u
2
) (
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
) C
1
(u
2
t
+[u[
2
+u
2
)
que integrada em B fornece para todo t a desigualdade
C
0
__
B
(u
2
t
+[u[
2
+u
2
)(x, t)dx c(B, u, t) C
1
__
B
(u
2
t
+[u[
2
+u
2
)(x, t)dx
de onde segue o resultado.
Uma conseqncia de (3.2.2) e da conservao de energia a seguinte
desigualdade:
22
(3.2.3) |u
t
(., t)|
2
L
2
(R
2
)
+|u(., t)|
2
H
1
(R
2
)
C
_
|u
t
(., 0)|
2
L
2
(R
2
)
+|u(., 0)|
2
H
1
(R
2
)
_
onde C =
C
1
C
0
. De fato, fazendo B = R
2
temos
C
0
E(R
2
, u, t) c(R
2
, u, t) = c(R
2
, u, 0) C
1
E(R
2
, u, 0)
que acarreta C
0
E(R
2
, u, t) C
1
E(R
2
, u, 0), de onde segue
E(R
2
, u, t)
C
1
C
0
E(R
2
, u, 0),
que se traduz em (3.2.3).
Se os dados iniciais do problema de Cauchy considerado possuir suporte
compacto contido na bola B(0, r) ento temos
suppu(., t), suppu
t
(., t) B(0, r +t) para todo t > 0.
Logo, a estimativa (3.2.3) pode ser melhorada e escrita como
(3.2.4) |u
t
(., t)|
2
L
2
(B(0,r+t))
+|u(., t)|
2
H
1
(B(0,r+t))

C (|u
t
(., 0)|
2
L
2
(B(0,r))
+|u(., 0)|
2
H
1
(B(0,r))
).
Seja agora T > 0 um real qualquer. Para todo 0 t T temos
B(0, r +t) B(0, r +T).
Integrando membro a membro a desigualdade
|u
t
(., t)|
2
L
2
(B(0,r+T))
+|u(., t)|
2
H
1
(B(0,r+T))

C (|u
t
(., 0)|
2
L
2
(B(0,r))
+|u(., 0)|
2
H
1
(B(0,r))
)
em relao varivel t no intervalo [0, T] obtemos
23
_
T
0
|u
t
(., t)|
2
L
2
(B(0,r+T))
+|u(., t)|
2
H
1
(B(0,r+T))
dt
C T(|u
t
(., 0)|
2
L
2
(B(0,r))
+|u(., 0)|
2
H
1
(B(0,r))
).
Agora, usando o teorema de Fubini e lembrando as denies das norma
dos espaos de Sobolev obtemos
|u|
2
H
1
(B(0,r+T)]0,T[)
C T(|u
t
(., 0)|
2
L
2
(B(0,r))
+|u(., 0)|
2
H
1
(B(0,r))
).
Esta discusso pode ser resumida no seguinte teorema.
Teorema 3.2.2. Sejam , C

0
(R
2
) funes com suporte contido na bola
B(0, r +t) e u a soluo do problema de Cauchy
_

_
u
tt
u +m
2
u = 0 em R
2+1
,
u(x
1
, x
2
, 0) = (x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) = (x
1
, x
2
) em R
2
.
Ento, vale
(3.2.5) |u|
2
H
1
(B(0,r+T)]0,T[)
C T(||
2
L
2
(B(0,r))
+||
2
H
1
(B(0,r))
),
para todo T > 0.
A estimativa (3.2.5) expressa a colocao correta do problema de Cauchy
para a equao de Klein-Gordom na topologia dos espaos de Sobolev. Com
efeito; sejam u = u(, ) e u = u( ,

) solues dos problemas
_

_
u
tt
u +m
2
u = 0 em R
2+1
,
u(x
1
, x
2
, 0) = (x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) = (x
1
, x
2
) em R
2
,
e
_

_
u
tt
u +m
2
u = 0 em R
2+1
,
u(x
1
, x
2
, 0) = (x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) =

(x
1
, x
2
) em R
2
,
.
Ento w = u u soluo da equao de Klein-Gordon com dados iniciais
e

respectivamente. Logo, (3.2.5) aplicada a w resulta
24
|u u|
2
H
1
(B(0,r+T)]0,T[)
C T(
_
_
_

_
_
_
2
L
2
(B(0,r))
+| |
2
H
1
(B(0,r))
).
mostrando que u = u se =

e = , ou seja, a soluo do problema de
Cauchy nica. Mais ainda, se os dados inciais dos dois problema de Cauchy
acima esto prximos, nas normas dos espaos de Sobolev envolvidos, ento
as respectivas solues tambm estaro prximas em cada compacto do R
3
.
No que segue usaremos (3.2.5) para denir soluo generalizada de tal
problema de Cauchy.
3.3. Solues Generalizadas: Nosso objetivo agora denir e provar a
existencia de soluo generalizada do problem de Cauchy para a equao de
Klein-Gordon quando os dados iniciais esto nos espaos H
1
(R
2
) e L
2
(R
2
) e
possuem suporte compacto.
Denio 3.3.1: Sejam u
0
H
1
(R
2
) e u
1
L
2
(R
2
) funes com suporte
compacto contidos na bola B(0, r). A funo u H
1
loc
(R
2
]0, )) soluo
de
_

_
u
tt
u +m
2
u = 0 em R
2
[0, ),
u(x
1
, x
2
, 0) = u
0
(x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) = u
1
(x
1
, x
2
) em R
2
.
se existirem seqncias (
n
), (
n
) C

0
(B(0, r)) tais que
(i)
n
u
0
em H
1
(R
2
),
(ii)
n
u
1
em L
2
(R
2
),
as solues clssicas u
n
dos problemas de Cauchy
25
_

_
u
n
tt
u
n
+m
2
u
n
= 0 em R
2
[0, ),
u
n
(x
1
, x
2
, 0) =
n
(x
1
, x
2
) em R
2
,
u
n
t
(x
1
, x
2
, 0) =
n
(x
1
, x
2
) em R
2
.
formam uma sequencia (u
n
) tal que
u
n
u em H
1
(B(0, r +T)]0, T[).
para cada T > 0.
importante observar que a soluo generalizada u no depende das se-
qncias (
n
), (
n
) C

0
(B(0, r)). De fato; sejam (
n
), (

n
) C

0
(B(0, r))
tais que
n
u
0
em H
1
(R
2
),

n
u
1
em L
2
(R
2
) e sejam

u
n
as respectivas
solues dos problemas de Cauchy com dados
n
e

n
. Suponhamos que existe
u H
1
loc
(R
2
]0, )) tal que

u
n
u em H
1
(B(0, r + T)]0, T[) para todo
T > 0. Observe que para cada n a funo u
n

u
n
soluo da equao de
Klein-Gordon com dados iniciais
n

n
e
n

n
respectivamente. Logo,
(3.2.5) aplicada a u
n

u
n
resulta
_
_
u
n

u
n
_
_
2
H
1
(B(0,r+T)]0,T[)
C T(
_
_
_
n

n
_
_
_
2
L
2
(B(0,r))
+|
n

n
|
2
H
1
(B(0,r))
).
Aplicando o limite quando n nesta ltima desigualdade obtemos
|u u|
2
H
1
(B(0,r+T)]0,T[)
= 0 mostrando que u = u em todo cilindro B(0, r +
T)]0, T[, T > 0. Logo u = u em R
2
]0, ).
Teorema 3.3.1: Sejam u
0
H
1
(R
2
) e u
1
L
2
(R
2
) com suporte compacto
contidos na bola B(0, r). Ento existe uma nica funo u H
1
loc
(R
2
]0, ))
que soluo de
26
_

_
u
tt
u +m
2
u = 0 em R
2
[0, ),
u(x
1
, x
2
, 0) = u
0
(x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) = u
1
(x
1
, x
2
) em R
2
.
Demonstrao: Como u
0
tem suporte compacto na bola B(0, r), da
proposio 1.4.1 segue que u
0
H
1
0
(B(0, r)).Logo existe uma seqncia (
n
)
C

0
(B(0, r)) tal que
n
u
0
em H
1
(B(0, r)). Seja
n
a extenso de

n
para todo o plano, nula no exterior de B(0, r). Ento
n
C

0
(R
2
),
supp
n
B(0, r) e

n
u
0
em H
1
(R
2
).
Sendo C

0
(B(0, r)) denso em L
2
() ento existe uma seqncia (

n
)
C

0
(B(0, r)) tal que

n
u
1
em L
2
(). Seja
n
a extenso de

n
para todo
o plano, nula no exterior de B(0, r). Ento
n
C

0
(R
2
), supp
n
B(0, r).
e

n
u
1
em L
2
(R
2
).
Seja u
n
a soluo do problema de Cauchy
_

_
u
n
tt
u
n
+m
2
u
n
= 0 em R
2
[0, ),
u
n
(x
1
, x
2
, 0) =
n
(x
1
, x
2
) em R
2
,
u
n
t
(x
1
, x
2
, 0) =
n
(x
1
, x
2
) em R
2
.
Para cada par de naturais m e n a funo u
m
u
n
soluo da equao
de Klein-Gordon com dados inciais
m

n
e
m

n
. Fixe um valor T > 0
arbtrrio. Aplicando a estimativa (3.2.5) em u
m
u
n
obtemos
27
|u
m
u
n
|
2
H
1
(B(0,r+T)]0,T[)
C T(|
m

n
|
2
L
2
(B(0,r))
+|
m

n
|
2
H
1
(B(0,r))
),
o que motra que (u
n
) seqncia de Cauchy em H
1
(B(0, r+T)]0, T[). Como
este espao um espao completo, ento existe u
T
H
1
(B(0, r + T)]0, T[)
tal que
u
n
u
T
em H
1
(B(0, r +T)]0, T[).
Para cada n temos
|u
n
|
2
H
1
(B(0,r+T)]0,T[)
C T(|
n
|
2
L
2
(B(0,r))
+|
n
|
2
H
1
(B(0,r))
).
Fazendo n obtemos
(3.2.6) |u
T
|
2
H
1
(B(0,r+T)]0,T[)
C T(|u
0
|
2
L
2
(B(0,r))
+|u
1
|
2
H
1
(B(0,r))
)
Sejam 0 < T
1
< T
2
. Ento B(0, r + T
1
) [0, T
1
] B(0, r + T
2
) [0, T
2
] e
u
T
2
estende u
T
1
para o cilindro B(0, r + T
2
) [0, T
2
]. De fato; da construo
acima temos
w
1
n
= u
n
[
B(0,r+T
1
)[0,T
1
]
u
T
1
em H
1
(B(0, r +T
1
)]0, T
1
[)
e
w
2
n
= u
n
[
B(0,r+T
2
)[0,T
2
]
u
T
2
em H
1
(B(0, r +T
2
)]0, T
2
[).
A diferena w
1
n
w
2
n
em B(0, r + T
1
) [0, T
1
] converge em H
1
(B(0, r +
T
1
)]0, T
1
[) para u
T
1
u
T
2
. Mas, em B(0, r +T
1
) [0, T
1
] a diferena w
1
n
w
2
n
identicamente nula. Logo u
T
1
u
T
2
= 0 em B(0, r +T
1
) [0, T
1
].
28
Segue do argumento acima que existe uma funo u denida emR
2
[0, )
tal que para todo T > 0 tem-se
(3.2.7) u[
B(0,r+T)]0,T[
= u
T
H
1
(B(0, r +T)]0, T[)
Logo u H
1
loc
(R
2
]0, )). Claramente temos
u
n
u em H
1
(B(0, r +T)]0, T[)
para todo T > 0. Isto prova a existncia de soluo do problema de Cauchy.
De (3.2.6) e (3.2.7) segue que para todo T > 0 tem-se
(3.2.8) |u|
2
H
1
(B(0,r+T)]0,T[)
C T(|u
0
|
2
L
2
(B(0,r))
+|u
1
|
2
H
1
(B(0,r))
).
Esta estimativa mostra que se u
0
= u
1
= 0 ento u = 0. Assim, se u
H
1
loc
(R
2
]0, )) outra soluo generalizada para o mesmo problema de
Cauchy ento u u ser tambem soluo generalizada, porm com dados
inciais nulos. Logo u u = 0 mostrando que a soluo generalizada nica.

Finalizando este captulo observamos que a estimativa (3.2.8) prova que

a soluo generalizada depende continuamente dos dados iniciais. Assim, o
problema de Cauchy bem posto.
.
29
Captulo 4
Decaimento de energia
4.1. Introduo: O objetivo principal deste captulo provar que a energia
local da soluo do problema de Cauchy para a equao de Klein-Gordom
decai na razo
const.
t
. Aqui seguiremos de perto os trabalhos [2] e [3]. Faremos
uso da frmula explcita da soluo do problema de Cauchy para a equao de
Klein-Gordon obtida no captulo 2
4.2 Decaimento local de energia para soluo clssica: O resultado
principal desta seo o seguinte lema:
Lema 4.2.1: Seja U R
2
um dominio limitado e f, g C

0
(R
2
) funes
com suporte compacto em U. Seja u C

(R
2+1
) a soluo do problema de
Cauchy
_

_
u
tt
u +m
2
u = 0 em R
2+1
,
u(x
1
, x
2
, 0) = f(x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) = g(x
1
, x
2
) em R
2
.
Para cada T
0
> diam(U), existe K = K(m, T
0
, U) > 0 tal que para todo
multi-indice = (
1
,
2
,
3
) N
3
, com [[ =
1
+
2
+
2
1 temos
(4.2.1)

||
(x,t)

u(x
1
, x
2
, t)

K
t
|f|
H
1
(U)
+|g|
L
2
(U)

30
para todo x U e t T
0
.
Demonstrao: De acordo com o captulo 2, para cada t > 0 a funo u
dada por
(3.2.2) u(x
1
, x
2
, t) =
1
2
_
r<t
g(y
1
, y
2
)
cos(m

t
2
r
2
)

t
2
r
2
dy
1
dy
2
+
+

t
_
1
2
_
r<t
f(y
1
, y
2
)
cos(m

t
2
r
2
)

t
2
r
2
dy
1
dy
2
_
onde r = [x y[ =
_
(y
1
x
1
)
2
+ (y
2
x
2
)
2
.
Agora observe que para cada x U e t T
0
a bola de centro em x e
raio t inclui U no seu interior. Como os dados iniciais possuem suporte em U
podemos escrever
u(x
1
, x
2
, t) =
1
2
_
U
g(y
1
, y
2
)
cos(m

t
2
r
2
)

t
2
r
2
dy
1
dy
2
+
+

t
_
1
2
_
U
f(y
1
, y
2
)
cos(m

t
2
r
2
)

t
2
r
2
dy
1
dy
2
_
para todo x = (x
1
, x
2
) U e t > T
0
.
A m de estimar todas as derivadas de u listadas em (4.2.1) suciente
estimar a funo
(x, y, t) =
cos(m

t
2
r
2
)

t
2
r
2
e suas derivadas parciais

x
1
,

x
2
,

t
,

2
x
1
t
,

2
x
2
t
,

2
t
2
,
uniformemente em x, y U e t > T
0
.
A simetria entre x
1
e x
2
reduz a tarefa em estimar apenas
31
,

x
1
,

t
,

2

x
1
t
e

2

t
2
.
Seja
(s) =
1

1 s
2
.
Um calculo direto nos leva a
(x, y, t) =
1
t
(
r
t
) cos(mt/(
r
t
)),

x
1
(x, y, t) =
1
t
m(
r
t
)
2 x
1
y
1
t
sen(mt/(
r
t
))+
1
t
(
r
t
)
3 x
1
y
1
t
cos(mt/(
r
t
)),

t
(x, y, t) =
1
t
m(
r
t
)
2
sen(mt/(
r
t
))
1
t
(
r
t
)
3
cos(mt/(
r
t
)),

x
1
t
(x, y, t) =
1
t
m
2
(
r
t
)
3 x
1
y
1
t
cos(mt/(
r
t
))

3
t
2
(
r
t
)
5 x
1
y
1
t
cos(mt/(
r
t
))
3m
t
(
r
t
)
4 x
1
y
1
t
sen(mt/(
r
t
)),

t
2
(x, y, t) =
1
t
3m
1
t
(
r
t
)
4
sen(mt/(
r
t
)) m
1
t
(
r
t
)
2
sen(mt/(
r
t
))

1
t
2
(
r
t
)
3
cos(mt/(
r
t
)) +
3
t
2
(
r
t
)
5
cos(mt/(
r
t
)) m
2
(
r
t
)
3
cos(mt/(
r
t
)).
Observe que se x, y U e t T
0
ento
r
t

diam(U)
T
0
< 1.
Agora xamos > 0 tal que
diam(U)
T
0
< < 1
32
e consideramos a funo no intervalo [, ]. Se denimos
K
1
= (
1

1
2
)
5
obtemos
(
r
t
)
k
K
1
, para todo x, y U, t > T
0
e k = 1, 2, ..., 5.
Agora, observando que

x
1
y
1
t

r
t
< < 1
obtemos
[(x, y, t)[
1
t
K
1
,

x
1
(x, y, t)

1
t
K
1
m+
1
T
0
,

t
(x, y, t)

1
t
K
1
m +
1
T
0
,

x
1
t
(x, y, t)

1
t
K
1
m
2
+
3m
T
0
+
3
T
2
0
,

t
2
(x, y, t)

1
t
K
1
m
2
+
4m
T
0
+
3
T
2
0
+
1
T
3
0
,
para todo x, y U e t > T
0
.
Para cada = (
1
,
2
,
3
) com [[ 1 derivamos (4.2.2), tomamos o valor
absoluto em ambos os lados e usamos as estimativas acima para obter

||
(x,t)

u(x, t)

K
2
2t

_
U
[f(y)[ dy +
_
U
[g(y)[ dy
33
para todo x U e t T
0
, onde K
2
uma constante dependendo de m, K
1
e
T
0
.
Para nalizar usamos a desigualdade de Cauchy-Schwartz juntamente com
|f|
L
2
|f|
H
1
para obter

||
(x,t)

u(x, t)

K
2
|U|
1
2
2t
|f|
H
1
(U)
+|g|
L
2
(U)

onde [U[ denota a medida de Lebesgue de U, uniformemente em x U e

t T
0
.
Denimos K =
K
2
|U|
1
2
2
e concluimos a demonstrao.
Uma conseqncia imediata de (4.2.1) a desigualdade
(4.2.2) |u
t
(., t)|
2
L
2
(U)
+|u(., t)|
2
H
1
(U)

C
t
2
_
|g|
2
L
2
(U)
+|f|
2
H
1
(U)
_
, t > T
0
onde C depende apenas de T
0
, U e m. Esta desigualdade expressa o que
chamamos de decaimento local de energia da soluo u pois, como observado
no captulo 3, a quantidade
E(U, u, t) = |u
t
(., t)|
2
L
2
(U)
+|u(., t)|
2
H
1
(U)
se relaciona com a energia
c(U, u, t) =
__
U
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx
atravz da desigualdade
C
0
E(U, u, t) c(U, u, t) C
1
E(U, u, t).
34
4.3 Decaimento local de energia para soluo generalizada: Nesta
seo estendemos a estimtiva (4.2.2) da seo anterior para as solues gen-
eralizadas da equao de Klein-Gordon.
Sejam u
0
H
1
(R
2
) e u
1
L
2
(R
2
) funes com suporte compacto contidos
na bola B(0, r) e seja u H
1
loc
(R
2
]0, )) a soluo de
_

_
u
tt
u +m
2
u = 0 em R
2
[0, ),
u(x
1
, x
2
, 0) = u
0
(x
1
, x
2
) em R
2
,
u
t
(x
1
, x
2
, 0) = u
1
(x
1
, x
2
) em R
2
.
Sejam (
n
), (
n
) C

0
(B(0, r)) seqncias tais que

n
u
0
em H
1
(R
2
),

n
u
1
em L
2
(R
2
),
e sejam u
n
as solues dos problemas de Cauchy
_

_
u
n
tt
u
n
+m
2
u
n
= 0 em R
2
]0, ),
u
n
(x
1
, x
2
, 0) =
n
(x
1
, x
2
) em R
2
,
u
n
t
(x
1
, x
2
, 0) =
n
(x
1
, x
2
) em R
2
,
de tal forma que
u
n
u em H
1
(B(0, r +T)]0, T[).
para cada T > 0.
Trabalhando com a estimativa (3.2.4) em u
m
u
n
obtemos
|(u
m
t
u
n
t
)(., t)|
2
L
2
(B(0,r+T))
+|(u
m
u
n
)(., t)|
2
H
1
(B(0,r+T))

35
C (|
m

n
|
2
L
2
(B(0,r))
+|
m

n
|
2
H
1
(B(0,r))
)
vlida para todo t > 0. Isto mostra que para cada t > 0 podemos denir a
restrio de u e u
t
ao conjunto bidimensional B(0, r +T) t. Denotaremos
estas restries por u(., t) e u
t
(., t) respectivamente. Isto permite denir para
a soluo generalizada u as expresses
E(U, u, t) = |u
t
(., t)|
2
L
2
(U)
+|u(., t)|
2
H
1
(U)
e
c(U, u, t) =
__
U
_
1
2
u
2
t
+
1
2
[u[
2
+
m
2
2
u
2
_
(x, t) dx
para todo 0 < t < T e todo U B(0, r +T).
Agora considere a estimativa (4.2.2) aplicada a cada u
n
com U = B(0, r).
Temos
|u
n
t
(., t)|
2
L
2
(B(0,r))
+|u
n
(., t)|
2
H
1
(B(0,r))

C
t
2
_
|
n
|
2
L
2
(B(0,r))
+|
n
|
2
H
1
(B(0,r))
_
, t > T
0
.
Aplicando o limite quando n na ltima desigualdade obtemos
(4.3.1) |u
t
(., t)|
2
L
2
(B(0,r))
+|u(., t)|
2
H
1
(B(0,r))

C
t
2
_
|u
1
|
2
L
2
(B(0,r))
+|u
0
|
2
H
1
(B(0,r))
_
, t > T
0
,
ou seja, para a soluo generaliza u vale a estimativa de decaimento de energia:
E(B(0, r), u, t)
C
t
2
E(B(0, r), u, 0), t > T
0
sempre que os dados iniciais tm suporte compacto em B(0, r).
36
Bibliograa
[ 1 ] Adams, R. Sobolev Spaces, Academic Press, N. Y. 1975
[ 2 ] Bastos, W. D., A. Spezamiglio Decaimento de energia e controle para a
equao de Klein-Gordon em R
3 + 1
. Atas do 61
0
. Seminrio Brasileiro de
Anlise, So Joo del Rei - MG, (2005), pp. 91-98
[ 3 ] Bastos, W. D., A. Spezamiglio On the controllability for second order
hyperbolic equations in curved polygons. TEMA, Tend. Mat. Apl. Comput.,
v. 8, No. 2 (2007), pp169-179
[ 4 ] Giglioli, A. Equaes Diferenciais Elpticas, 10
0
Coloquio Brasileiro de
Matemtica, Poos de Caldas - MG., 1976
[ 5 ] John, F. Partial Dierential Equations, 4th Edition, Springer Verlag, N.
Y., 1986
37