Professional Documents
Culture Documents
Instituto de Matemtica
Departamento de Mtodos Matemticos
Orientador
Gustavo Alberto Perla Menzala
Rio de Janeiro
2009
Rio de Janeiro
Maro de 2009
Ficha Catalogrfica
ii
DM/UEM
Jos Felipe Linares Ramirez.
IMPA.
Ruy Coimbra Charo.
MTM/UFSC.
Jaime Edilberto Muoz Rivera.
IM/UFRJ e LNCC/MCT.
Ademir Fernando Pazoto (Suplente).
IM/UFRJ.
Rio de Janeiro
Maro de 2009
iii
Dedicatria
minha esposa:
Josimara Edelisa Pereira
Aos meus pais:
Dirceu e Margarida
iv
Agradecimentos
Primeiramente Deus, pela vida e por ter me dado foras para seguir nessa
caminhada.
minha famlia por ter me ajudado e incentivado a completar mais esta etapa da
minha vida. Quero agradecer em especial a minha esposa Josimara por ter me acompanhado em todos os passos , pela compreenso e pelo apoio nos momentos mais difceis.
Aos meus amigos de doutorado: Paulo, Alexandro, Maria Zegarra, Fabiana, Cleiton,
Fredy, Jos, Silvia e Vanderlei, pela seriedade que tiveram nas horas de estudo e pelas
alegrias nos momentos de descontrao.
CNPq pelo apoio financeiro.
Aos professores que fizeram parte da minha formao acadmica: professores da Universidade Estadual de Ponta Grossa, Universidade Federal de Santa Catarina e Universidade Federal do Rio de Janeiro. Gostaria de agradecer aos professores Ademir Pazoto
e Jaime Rivera que estiveram presente durante todo o doutorado.
Ao professor Ruy Coimbra Charo pela grande contribuio na minha formao, pela
amizade e pelo incentivo para iniciar o doutorado.
Ao professor Gustavo Perla Menzala por ter me concedido essa honrosa oportunidade,
pela pacincia, pelos conselhos e pela forma como conduziu este trabalho, fazendo com
que o mesmo fosse concludo com sucesso.
Resumo
Neste trabalho estudamos o comportamento assinttico das solues de dois problemas hiperblicos em domnios exteriores: as equaes de Maxwell anisotrpicas e o
sistema acoplado formado pelas equaes de ondas elsticas e as equaes de Maxwell,
ambas anisotrpicas. Usando o mtodo dos multiplicadores e propriedades associadas aos
modelos, provamos que a energia total decai para zero no tempo com taxas polinomiais.
Resultados como esses so conhecidos somente para o caso isotrpico. Consideramos
tambm o sistema com dissipao semilinear. Com hipteses adequadas sobre o termo
no linear, mostramos que a soluo do sistema existe globalmente no tempo e as taxas
de decaimento encontradas para o problema linear, permanecem vlidas para o problema
semilinear.
vi
Abstract
In this work we study the asymptotic behavior of solutions two hyperbolic problems
in exterior domains: anisotropic Maxwell equations and the coupled system of equations:
elastic waves and Maxwell equations, both anisotropic. Using the method of multipliers
and properties associated to the models, we show that the total energy decays to zero
in time with polynomial rates. Previous results of this type were only given in the
isotropic case. We also consider the system with semilinear dissipation. With appropriate
assumptions on the non-linear term, we show that the solution exists globally in time and
the rates of decay found for the linear problem remain valid for the semilinear problem.
vii
Sumrio
Introduo
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . .
15
25
30
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . .
Apndices
30
40
96
97
102
109
. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . .
111
. . . . . . . . .
113
. . . . . . . . . . .
114
. . . . . . . . . . . . . . .
114
. . . . . . . . . . . . . . . . . . . . . .
118
w H0 (curl; O)
109
. . . . . . . . . . . . . . . . .
122
132
viii
Notaes
x = (x1 , x2 , x3 ) ponto no espao R3 ;
| . | norma euclidiana em R3 ;
Se x = (x1 , x2 , x3 ) e y = (y1 , y2 , y3 ), ento o produto interno de x e y :
3
X
x.y =
xi yi ;
i=1
3
X
!1/2
kui k2L2 (Q)
i=1
H m (Q) espao de Sobolev das funes u : Q R tal que D u L2 (Q) no sentido das
3
X
distribuies para todo || m , onde = (1 , 2 , 3 ), i N e || =
i ;
i=1
1/2
2
||
X
u
;
kukH m (Q) =
x 1 x 2 x 3
2
1
2
3
L (Q)
|| m
3
X
i=1
C [0, T ]; X
ix
!1/2
kui k2H m (Q)
C [0, ); X
D(Q) = C0 (Q) espao das funes infinitamente diferenciveis e com suporte compacto
em Q ;
D0 (Q) espao das distribuies sobre Q;
X , Y significa que X est continuamente imerso em Y ;
ut =
u
derivada de u em relao a t;
t
Introduo
Neste trabalho investigamos propriedades assintticas de modelos hiperblicos em
domnios exteriores. Mais precisamente, estudamos dois modelos: equaes de Maxwell
anisotrpicas e o sistema acoplado formado pelas equaes de ondas elsticas e as equaes
de Maxwell anisotrpicas.
A motivao principal para estudarmos esses modelos so as recentes aplicaes da
indstria nos chamados "materiais inteligentes" (ver referncia [1]) e o interesse nas
pesquisas sobre ondas eletromagnticas em tica de cristais (ver referncias [19] e [20]).
Nos exemplos citados muito importante conhecermos propriedades qualitativas e quantitativas dos modelos para a obteno de novos materiais.
A seguir, vamos descrever brevemente os modelos estudados neste trabalho, os dois
modelos so considerados em domnios exteriores. O primeiro constitudo pelas equaes
de Maxwell anisotrpicas que modela a propagao de ondas eletromagnticas:
Et curl H + E = 0
(1)
Ht + curl E = 0
(2)
div (H) = 0
(3)
onde E = (E 1 , E 2 , E 3 ) , H = (H 1 , H 2 , H 3 ) denotam o campo eltrico e o campo magntico respectivamente, a condutividade eltrica do meio, o termo E representa
uma dissipao interna no modelo, representa a permitividade eltrica, a permeabilidade magntica. Assumimos que = (x) e = (x) so matrizes 3 3 simtricas e
uniformemente positivas definidas.
O segundo um sistema acoplado que modela efeitos elasto-eletromagnticos, ou seja,
a ao recproca entre as deformaes do corpo e a variao no campo eletromagntico.
Tal sistema composto por um sistema de ondas elsticas anisotrpicas acoplado com
3
X
i,j =1
xi
u
A ij
xj
+ ut + curl E = f (ut )
(4)
(5)
Ht + curl E = 0
(6)
div (H) = 0
(7)
Quando se considera a equao de ondas com dissipao interna num domnio limitado em regies que satisfaam as condies de ptica geomtrica (ver a referncia [2]),
conhecido que a energia total e a norma L2 da soluo decaem exponencialmente. Isto
facilmente demonstrado usando o mtodo da energia combinado com a desigualdade
de Poincar. Porm, quando se considera a equao de ondas em todo Rn ou mesmo em
domnios exteriores, os resultados obtidos mostram que a energia apenas decai polinomialmente (ver referncias [14], [15], [25]). O mesmo ocorre com vrias outras equaes,
entre elas, as equaes de ondas elsticas e as equaes de Maxwell isotrpicas.
Neste trabalho estudamos o comportamento assinttico dos sistemas (1)-(3) e (4)(7) anisotrpicos em domnios exteriores. Considerando espaos funcionais apropriados,
provamos que a energia total desses sistemas decai para zero no tempo com taxas polinomiais. No requerido dados iniciais com suporte compacto.
Nos dois modelos estudados em domnios exteriores, = R3 \O, onde O um conjunto
aberto e limitado do R3 . No impomos que o obstculo O seja conexo, assim pode ocorrer
o caso em que o obstculo uma coroa circular. Neste caso, podemos considerar dois
problemas separados, um em domnio limitado e outro em domnio exterior. Em domnio
limitado o problema se torna mais simples, assim as taxas de decaimento obtidas so
maiores. Contudo, as taxas que prevalecem nesse caso so as taxas polinomiais obtidas
para o caso em que o domnio no limitado.
Algumas das taxas de decaimento encontradas neste trabalho so maiores que as
encontradas por M. V. Ferreira [12] (ver tambm [13]). Em [12], M. V. Ferreira prova um
resultado de comportamento assinttico para o sistema acoplado formado pelas equaes
de Maxwell isotrpicas e pelas equaes de ondas elsticas em domnios exteriores. Para o
caso linear M. V. Ferreira considera dados iniciais com hipteses semelhantes as hipteses
assumidas no Teorema 3.3 deste trabalho. As taxas de decaimento encontradas por M.
V. Ferreira so as seguintes:
kut (t)k2 + kLu(t)k2 + kE(t)k2 + kcurl H(t)k2 C Ie1 (1 + t)1 ,
2
kutt (t)k +
t > 0,
3
X
ut
ut
Aij
(x, t) .
(x, t) dx + kEt (t)k2 + kHt (t)k2
x
x
j
i
i,j =1
t>0
3
X
u0 u0
Aij
.
dx + ku1 k2[H 1 ()]3 + kE0 k2H(curl; ) +
x
x
j
i
i,j =1
kH0 k2H(curl; ) .
3
Captulo 1
Definies e Resultados Preliminares
Seja Q um aberto do R3 . Consideramos o conjunto M das matrizes tal que =
(x) = ij (x) 33 simtrica e uniformemente positiva definida, ou seja, existe 0 > 0
tal que
t (x) 0 | |2 ,
R3 ,
q. s. em Q,
(1.1)
com
kvk2L2 (Q; )
Z
3
X
i,j =1
Tem-se que L2 (Q; ) = [L2 (Q)]3 e as normas k . kL2 (Q; ) e k . k[L2 (Q)]3 so equivalentes no espao [L2 (Q)]3 (ver Apndice 1). Alm disso, L2 (Q; ) um espao de Hilbert
com o seguinte produto interno:
(v, u)L2 (Q; ) =
Z
3
X
i,j =1
onde v(x) = v1 (x), v2 (x), v3 (x) e u(x) = u1 (x), u2 (x), u3 (x) .
fcil ver que
Z
(v, u)L2 (Q; ) =
v1 v2
Q
1,1
v3 1,2
1,3
5
1,2
2,2
2,3
1,3
u1
2,3 u2 dx.
3,3
u3
Neste trabalho denotamos por kvk a norma em [L2 (Q)]3 para um elemento v
[L2 (Q)]3 e por ((u, v)) o produto escalar de dois elementos u, v desse espao.
Para todo v = (v1 , v2 , v3 ) [D0 (Q)]3 define-se o operador diferencial linear, curl,
chamado rotacional de v, por
v3
v2 v1
v3 v2
v1
curl v =
.
x2 x3 x3 x1 x1 x2
O operador curl : [D0 (Q)]3 [D0 (Q)]3 tem as seguintes propriedades elementares
(ver R. Dautray e J. L. Lions [7], Captulo IX, pg 202):
curl grad v = 0,
div curl v = 0,
v D0 (Q),
v [D0 (Q)]3 ,
v [D0 (Q)]3 ,
[D(Q)]3 .
Seja
H(curl; Q) = v [L2 (Q)]3 ;
Z
v(x) . u(x) dx +
v = 0 on Q .
Define-se tambm
H(div; Q) = v [L2 (Q)]3 ;
div v L2 (Q)
Z
v(x) . u(x) dx +
[D(R3 )]3 .
3.
[D()]
Ento u H0 (curl; ).
A demonstrao da Proposio 1.2 poder ser encontrada em R. Dautray e J. L. Lions
[7], Captulo IX. O resultado a seguir importante no estudo das equaes de Maxwell
num domnio limitado e simplesmente conexo (ver R. Temam [29], Apndice 1, Lema 1.6,
pg 465).
div v = 0 e v . O = 0 .
A seguir mencionamos uma importante conexo entre os espaos H(curl; Q), H(div; Q)
e o espao de Sobolev [H 1 (Q)]3 . No Teorema 1.4, (x) denota o vetor normal exterior
unitrio em x Q.
Teorema 1.4. Seja Q um conjunto aberto do R3 cuja fronteira Q limitada e de classe
C 2 . Ento os espaos de Sobolev
1
[Ht0
(Q)]3 = v [H 1 (Q)]3 ; v Q = 0
[H 1 (Q)]3 = v [H 1 (Q)]3 ; v . = 0
n0
Q
so tais que
1
[Ht0
(Q)]3 = H0 (curl; Q) H(div; Q)
[H 1 (Q)]3 = H(curl; Q) H (div; Q)
0
n0
e nesses espaos, a norma kvk[H 1 (Q)]3 equivalente a norma
1/2
Z h
i
2
2
2
| curl v(x) | + | div v(x) | + | v(x) | dx
.
k|v|k =
Q
Alm disso,
[H01 (Q)]3 = H0 (curl; Q) H0 (div; Q).
A demonstrao do teorema acima poder ser encontrado em R. Dautray e J. L. Lions
[7], Captulo IX.
Captulo 2
Equaes de Maxwell Anisotrpicas
2.1
Existncia e unicidade
em (0, ),
(2.1)
Ht + curl E = 0
em (0, ),
(2.2)
div (H) = 0
em (0, ),
(2.3)
em ,
(2.4)
em (0, )
(2.5)
E(x, 0) = E0 (x),
H(x, 0) = H0 (x)
E =0
onde E = (E 1 , E 2 , E 3 ) , H = (H 1 , H 2 , H 3 ) denotam o campo eltrico e o campo magntico respectivamente, a condutividade eltrica do meio, = (x) representa a
permitividade eltrica, = (x) a permeabilidade magntica, sendo e matrizes 3 3
pertencentes M.
Nesta seo, usando a teoria de semigrupos, estudamos a existncia e unicidade de
solues para o sistema (2.1)-(2.5).
Seja X = L2 (; ) L2 (; ) o espao de Hilbert com o seguinte produto interno:
hw, viX = (w1 , v1 )L2 (; ) + (w2 , v2 )L2 (; ) ,
w = (w1 , w2 ) e v = (v1 , v2 ) X.
w = (w1 , w2 ) D(A),
w = (w1 , w2 ) X.
dU (t) = (A + B) U (t)
dt
(2.6)
U (0) = U0
onde U (t) = (E(t), H(t)) e U0 = (E0 , H0 ).
Como [D()]3 [D()]3 D(A) e [D()]3 [D()]3 denso em X, segue que D(A)
denso em X. Vamos provar que A = A, onde A o adjunto do operador A.
Lema 2.1. Tem-se que D(A) D(A ) e
A v = Av,
v D(A) D(A ).
Demonstrao:
Recordemos, inicialmente, que um elemento v X est em D(A ) se, e somente se,
existe g = (g1 , g2 ) X tal que
hAw, viX = hw, giX ,
e, neste caso, g = A v.
10
w D(A),
v1t
v2t curl w1 dx
curl w2 dx
Z
v1 . curl w2 dx
v2 . curl w1 dx.
w1 . curl v2 dx.
v2 . curl w1 dx =
w2t [1 curl v1 ] dx
w D(A).
Portanto, v D(A ) e
A v = Av,
v D(A) D(A ).
v = (v1 , v2 ) D(A ).
11
(2.7)
Demonstrao:
Pelo lema anterior, D(A) D(A ) e A v = Av v D(A). Resta mostrar a
outra incluso, isto , D(A ) D(A).
Seja v = (v1 , v2 ) D(A ). Ento existe g = (g1 , g2 ) X tal que
hAw, viX = hw, giX ,
w D(A).
(2.8)
w2t g2 dx
w2t g2 dx
Z
v1 . curl w2 dx =
w2 . [g2 ] dx.
Assim,
hv1 , curl w2 i = hg2 , w2 i
em [D0 ()]3
hcurl v1 , w2 i = hg2 , w2 i
em [D0 ()]3 .
A igualdade acima vlida para todo w2 [D()]3 ento g2 = curl v1 em [D0 ()]3 .
Sabemos que v D(A ) X e g X, assim v1 , g2 [L2 ()]3 , logo g2 = curl v1 em
[L2 ()]3 . Conseqentemente, v1 H(curl; ) e
g2 = 1 curl v1
em [L2 ()]3 .
Considerando agora w1 [D()]3 , tem-se que w = (w1 , 0) D(A), donde por (2.8),
tem-se as igualdades:
hA(w1 , 0), (v1 , v2 )iX = h(w1 , 0), (g1 , g2 )iX
Z
1
h(0, curl w1 ), (v1 , v2 )iX =
w1t g1 dx
w1t g1 dx
v2t [1 curl w1 ] dx =
w1t g1 dx
Z
v2 . [curl w1 ] dx =
w1 . [g1 ] dx.
12
Assim,
hv2 , curl w1 i = hg1 , w1 i
em [D0 ()]3
hcurl v2 , w1 i = hg1 , w1 i
em [D0 ()]3 .
Sendo w1 [D()]3 arbitrrio, segue que g1 = curl v2 em [D0 ()]3 . Como v
D(A ) X e g X, tem-se que g1 , v2 [L2 ()]3 , ento g1 = curl v2 em [L2 ()]3 .
Assim, v2 H(curl; ) e
g1 = 1 curl v2
em [L2 ()]3 .
Logo,
Z
Z
v1 . curl w2 dx
v2 . curl w1 dx
Z
=
Z
w1 . curl v2 dx +
w2 . curl v1 dx,
w D(A).
w2 H(curl; ).
Demonstrao:
Vamos mostrar que B um operador dissipativo.
Seja w = (w1 , w2 ) D(B) = X,
Z
[
w1 ] w1 dx =
| w1 | 2 dx 0.
= 2
Z
3
X
3
X
i,j =1
1
i, j w1, i w1, j dx C
i,j =1
Z
3
X
i,j =1
| w1, i |2 + | w1, j |2
| w1, i | | w1, j | dx
Portanto,
1/2
kBwkX C2 kwkX ,
w X.
x D(A)
2.2
sendo O um conjunto
Nesta seo um domnio exterior, ou seja, = R3 \O,
aberto e limitado do R3 com fronteira O de classe Lipschitz.
Para o estudo do comportamento assinttico das solues do sistema (2.1)-(2.5) consideramos trs casos:
1) Se (E0 , H0 ) Y e H0 = curl 0 , com 0 H0 (curl; );
2) Se (E0 , H0 ) D(A) Y sem nenhuma hiptese adicional;
3) Se (E0 , H0 ) D(A) Y e H0 = curl 0 , com 0 H0 (curl; ).
Observao 2.4. A hiptese div ( H0 ) = 0 no usada nas demonstraes dos Teoremas 2.2, 2.3 e 2.4. Contudo nos teoremas citados supomos que div (H0 ) = 0 para que
(E, H) satisfaa a condio (2.3) e assim seja soluo do sistema (2.1)-(2.5).
15
Observao 2.5. Note que se H0 H(curl; ) uma funo no nula tal que div (H0 )
= curl H0 = 0 em , ento (E(t), H(t)) = (0, H0 ) soluo do sistema (2.1)-(2.5) em
. Obviamente, nesse caso, a energia total no decai para zero quando t +.
Teorema 2.2. Considerando , e com as mesmas hipteses do Teorema 2.1. Se
(E0 , H0 ) Y tal que H0 = curl 0 , com 0 H0 (curl; ). Ento a soluo fraca
(E, H) do sistema (2.1)-(2.5) satisfaz a seguinte estimativa:
kE(t)k2 + kH(t)k2 CI0 (1 + t)1 ,
t>0
kH(t)k2L2 (; )
+ 2
0
e
(1 +
=
t)kE(t)k2L2 (; )
kE0 k2L2 (; )
+ (1 +
t)kH(t)k2L2 (; )
kH0 k2L2 (; )
+ 2
kE(s)k2L2 (; )
+
0
(1 + s)kE(s)k2 ds
0
Z t
ds +
kH(s)k2L2 (; ) ds.
0
Demonstrao:
Inicialmente vamos supor que (E0 , H0 ) D(A).
Tomando o produto interno de (2.1) com E(t) e de (2.2) com H(t), integrando em
e somando obtm-se:
Z
Z
Z
[Et (t)] . E(t) dx curl H(t) . E(t) dx + |E(t)|2 dx
16
(2.9)
1
1
kE(t)k2L2 (; ) + kH(t)k2L2 (; ) .
2
2
Logo,
d
E(t) + kE(t)k2 = 0.
dt
(2.10)
kE(s)k2 ds = E(0).
(1 + s)kE(s)k ds = E(0) +
(1 + t)E(t) +
0
E(s) ds.
0
ento
Z
17
E(s) ds e F (t) =
H(s) ds,
0
curl H(s) ds
0
Tambm,
Z
Ht (s) ds
0
= H(t) H(t) + H0 = H0 .
Dessa forma {W, F } soluo do seguinte sistema:
Wt curl F + W = E0
em (0, ),
(2.11)
Ft + curl W = H0
em (0, ),
(2.12)
div (F ) = 0
em (0, ),
(2.13)
em ,
(2.14)
em (0, ).
(2.15)
W (0) = 0,
F (0) = 0
W =0
Z
+
Z
curl W (t) . Ft (t) dx
[H0 ] . Ft (t) dx = 0.
18
(2.16)
Como Wt (t) = E(t) e Ft (t) = H(t), integrando em [0, t] a igualdade anterior tem-se:
Z t
Z t
2
2
kE(s)k2L2 (; ) ds
kH(s)kL2 (; ) ds =
kW (t)k +
2
0
0
Z
Z t
(E(t), W (t))L2 (; ) + [H0 ] . F (t) dx
kE(s)k2L2 (; ) ds
0
Z
+ 1 kE(t)k2L2 (; ) + kW (t)k2L2 (; ) + [H0 ] . F (t) dx
= 1/.
2
2
kH(s)kL2 (; ) ds C
kE(s)k2 ds
kW (t)k +
2
0
0
Z
+ 1 kE(t)k2L2 (; ) + C kW (t)k2 + [H0 ] . F (t) dx.
2
2
kW (t)k +
kH(s)kL2 (; ) ds CI0 + [H0 ] . F (t) dx.
4
0
(2.17)
2
2
kW (t)k +
kH(s)kL2 (; ) ds CI0 + 0 . curl F (t) dx.
4
0
Observe que a igualdade (2.11) vlida em [L2 ()]3 . Logo, usando (2.11) na estimativa anterior, imediato que
Z t
Z
2
2
kW (t)k +
kH(s)kL2 (; ) ds CI0 + 0 . [Wt (t)] dx
4
0
Z
Z
+ 0 . W (t) dx 0 . [E0 ] dx C1 I0 + (E(t), 0 )L2 (; ) + C1 k0 k2
kH(s)k2L2 (; ) ds CI0 .
19
t > 0,
t>0
em (0, ),
(2.18)
Htt + curl Et = 0
em (0, ),
(2.19)
div (Ht ) = 0
em (0, ),
(2.20)
Et = 0
em (0, ),
(2.21)
Et (0) = E1 = 1 curl H0 1 E0
em ,
(2.22)
Ht (0) = H1 = 1 curl E0
em .
(2.23)
Tomando o produto interno de (2.18) com Et (t) e de (2.19) com Ht (t), integrando em
e somando obtm-se:
Z
Z
Z
[Ett (t)] . Et (t) dx curl Ht (t) . Et (t) dx + |Et (t)|2 dx
Z
+
Z
[Htt (t)] . Ht (t) dx +
20
(2.24)
(2.25)
Multiplicando (2.24) por (1 + t) e integrando por partes em [0, t] tem-se:
Z t
2
2
(1 + t)kEt (t)kL2 (; ) + (1 + t)kHt (t)kL2 (; ) + 2 (1 + s)kEt (s)k2 ds
0
Z t
Z t
2
2
2
= kE1 kL2 (; ) + kH1 kL2 (; ) +
kEt (s)kL2 (; ) ds +
kHt (s)k2L2 (; ) ds.
0
(2.26)
Tomando o produto interno de (2.18) com E(t) e de (2.2) com Ht (t), integrando em
e somando obtm-se:
Z
Z
Z
[Ett (t)] . E(t) dx curl Ht (t) . E(t) dx + Et (t) . E(t) dx
Z
Z
+ [Ht (t)] . Ht (t) dx + curl E(t) . Ht (t) dx = 0.
(2.27)
2
2
2
kHt (s)kL2 (; ) ds + kE(t)k = kE0 k +
kEt (s)k2L2 (; ) ds
2
2
0
0
(Et (t), E(t))L2 (; ) + (E1 , E0 )L2 (; ) CkE0 k2 + kE1 k2L2 (; )
Z t
kEt (s)k2 ds + 1 kEt (t)k2L2 (; ) + kE(t)k2L2 (; ) CkE0 k2
+C
0
Z t
2
kEt (s)k2 ds + 1 kEt (t)k2L2 (; ) + C kE(t)k2
+ kE1 kL2 (; ) + C
0
(2.28)
(2.29)
2
(2.30)
t
2
2
2
(1 + s)kHt (s)kL2 (; ) ds + (1 + t)kE(t)k = kE0 k +
kE(s)k2 ds
2
2
2
0
0
Z t
+ (1 + s)kEt (s)k2L2 (; ) ds (1 + t)(Et (t), E(t))L2 (; ) + (E1 , E0 )L2 (; )
0
t
Z
+
L2 (; )
ds CI1 +
2
1
+
2
kE(s)k2L2 (; )
(1 + s)kEt (s)k2 ds
kE(s)k ds + C
0
1
2
ds C1 I1 + C1
kEt (s)k2L2 (; ) ds
Z
kE(s)k ds + C1
0
(1 + s)kEt (s)k2 ds
(2.31)
(1 + t)
kEt (t)k2L2 (; )
+ (1 + t)
kHt (t)k2L2 (; )
Z
+ 2
Z
CI1 + 2
(2.32)
+ (1 + t)kE(t)k CI1 .
Pela densidade de D (A + B)2 em D(A) (ver Apndice 3), a desigualdade acima
vlida se (E0 , H0 ) D(A). A demonstrao do Teorema 2.3 segue da equivalncia das
normas k . kL2 (; ) e k . k e das equaes (2.1) e (2.2).
Teorema 2.4. Considerando , e com as mesmas hipteses do Teorema 2.1. Seja
(E, H) a soluo forte do sistema (2.1)-(2.5) para os dados iniciais (E0 , H0 ) D(A)Y .
Suponha que H0 = curl 0 , com 0 H0 (curl; ). Ento existe uma constante C > 0
que no depende dos dados iniciais, tal que
kH(t)k2 CI0 (1 + t)1 ,
t > 0,
t > 0,
t > 0,
23
(2.33)
(1 + t)
kEt (t)k2L2 (; )
+ (1 + t)
kHt (t)k2L2 (; )
Z
CI1 + 3
(2.34)
Multiplicando (2.27) por (1 + t)2 e integrando por partes em [0, t] tem-se:
Z t
Z t
2
2
2
2
2
(1 + s) kHt (s)kL2 (; ) ds + (1 + t) kE(t)k = kE0 k + (1 + s)kE(s)k2 ds
2
2
0
0
Z t
+ (1 + s)2 kEt (s)k2L2 (; ) ds (1 + t)2 (Et (t), E(t))L2 (; ) + (E1 , E0 )L2 (; )
0
t
Z
(1 + s)(Et (s), E(s))L2 (; ) ds CI1 +
+2
0
(1 + s)kE(s)k2 ds
0
t
+C
0
(1 +
s)kEt (s)k2L2 (; )
(1 + s)kE(s)k2L2 (; ) ds C1 I1
ds +
(1 + s)kE(s)k2 ds + C1
+ C1
0
+ C1 (1 + t)2 kE(t)k2 .
Escolhendo suficientemente pequeno e considerando (2.32) verifica-se que
Z t
Z t
2
2
2
2
(1 + s) kHt (s)kL2 (; ) ds + (1 + t) kE(t)k CI1 + C
(1 + s)kE(s)k2 ds.
4
0
0
Multiplicando a desigualdade acima por 4 e somando com (2.34) tem-se:
Z t
3
2
3
2
(1 + s)2 kHt (s)k2L2 (; ) ds
(1 + t) kEt (t)kL2 (; ) + (1 + t) kHt (t)kL2 (; ) +
0
Z t
+ (1 + t)2 kE(t)k2 CI1 + C
(1 + s)kE(s)k2 ds.
0
Como D
(A+B)2
(1 + t)
kEt (t)k2L2 (; )
+ (1 + t)
kHt (t)k2L2 (; )
Z
+
0
2
(2.35)
+ (1 + t) kE(t)k CI2 .
Pelas equaes (2.1) e (2.2) verifica-se que
(1 + t)2 kcurl H(t)k2 + (1 + t)3 kcurl E(t)k2 CI2 .
A demonstrao do Teorema 2.4 segue da estimativa (2.35), da equivalncia das normas k . kL2 (; ) e k . k, da estimativa acima e do Teorema 2.2.
24
2.3
em O (0, ),
(2.36)
Ht + curl E = 0
em O (0, ),
(2.37)
div H = 0
em O (0, ),
(2.38)
em O,
(2.39)
em O (0, )
(2.40)
E(0) = E0 ,
H(0) = H0
E =0
H . = 0
Existncia e unicidade
Esta seo est dividida em duas partes, na primeira, usando a teoria de semigrupos,
mostramos a existncia e unicidade do sistema (2.36)-(2.40).
Seja X = L2 (O; ) H0 (div 0; O) o espao de Hilbert com o seguinte produto interno:
hw, viX = (w1 , v1 )L2 (O; ) + ((w2 , v2 )),
w = (w1 , w2 ) e v = (v1 , v2 ) X .
w = (w1 , w2 ) D(A).
w = (w1 , w2 ) X .
dU (t) = (A + B) U (t)
dt
U (0) = U0
onde U (t) = (E(t), H(t)) e U0 = (E0 , H0 ).
25
1 curl w2
w1
!+
hAw, wiX =
I A sobrejetivo.
Seja (f, g) X ento deve-se mostrar que existe w = (w1 , w2 ) D(A) tal que
w Aw =
w1 1 curl w2 = f
w2 + curl w1 = g
w1 curl w2 = f
w2 + curl w1 = g.
26
(2.41)
O
2
H0 (curl; O).
Seja w2 = g curl w1 ento curl w1 = g w2 , assim,
Z
Z
Z
[ w1 ] . dx
w2 . curl dx = [ f ] . dx,
O
H0 (curl; O),
em [D0 (O)]3 ,
em [D0 (O)]3 .
em [L2 (O)]3 .
em [L2 (O)]3 .
Estabilidade exponencial
No prximo teorema, usando resultados da seo 2.2, provamos que a energia do
sistema (2.36)-(2.40) exponencialmente estvel.
sendo
Observao 2.7. Os resultados da seo 2.2 foram provados para = R3 \O,
O um conjunto aberto e limitado do R3 com fronteira Lipschitz. Esses resultados continuam sendo vlidos se considerarmos as equaes de Maxwell em um domnio limitado,
simplesmente conexo e de classe C 2 . Nesta seo usaremos alguns desses resultados.
Teorema 2.7. Considerando O e com as mesmas hipteses do Teorema 2.5 e supondo
que O simplesmente conexo. Se (E0 , H0 ) X ento a soluo fraca (E, H) do sistema
(2.36)-(2.40) satisfaz:
kE(t)k2 + kH(t)k2 CI3 et ,
t>0
t)kE(t)k2L2 (O; )
+ (1 + t)kH(t)k CI3 +
kH(s)k2 ds.
(2.42)
2
2
kW (t)k +
kH(s)k ds CI3 +
H0 . F (t) dx CI3 + kH0 k kF (t)k.
4
0
O
Como O e F satisfazem as hipteses do Teorema 1.3, pela desigualdade acima tem-se:
Z t
2
kW (t)k +
kH(s)k2 ds CI3 + CkH0 k kcurl F (t)k
4
0
(2.43)
CI3 + Ckcurl F (t)k2 + C 1 kH0 k2 .
28
2
kH(s)k2 ds CI3 + C 1 kH0 k2 + CkWt (t)k2
kW (t)k +
4
0
+ CkE0 k2 + CkW (t)k2 .
Como Wt (t) = E(t), escolhendo suficientemente pequeno, pelo Lema 2.3 tem-se:
Z t
kH(s)k2 ds CI3 .
0
t > 0.
t > 0.
U0 X .
(2.44)
ln n = n0
n = en0 .
29
Captulo 3
Equaes Elasto-Eletromagnticas
Anisotrpicas
3.1
Existncia e unicidade
u
utt
A ij
+ ut + curl E = 0
em (0, ),
x
x
i
j
i,j =1
(3.1)
em (0, ),
(3.2)
Ht + curl E = 0
em (0, ),
(3.3)
div (H) = 0
em (0, ),
(3.4)
u(x, 0) = u0 (x),
ut (x, 0) = u1 (x)
em ,
(3.5)
E(x, 0) = E0 (x),
H(x, 0) = H0 (x)
em ,
(3.6)
em (0, )
(3.7)
u = 0,
E =0
30
R3 ,
t (x) 0 | |2 ,
R3 ,
q. s. em ,
(3.8)
q. s. em .
As matrizes 3 3, Aij = Aij (x) so dadas por Aij (x) = Ckijl (x) 33 onde
Ckijl (x) = (1 i l j k ) ai kj l (x) + i k j l ai lj k (x)
(
com l k =
se l = k
se l 6= k
x .
Aij (x) j . i a0
i,j =1
3
X
| i |2 ,
i R3 com i = 1, 2, 3,
x .
(3.9)
i=1
Observe que da simetria de aij k l segue que Atij = Aj i (ver Apndice 5). No caso
mais simples, se considerarmos um meio isotrpico, aij k l so constantes dadas por
aij k l = ij kl + (ik j l + il j k )
onde e so as constantes de Lam. Assim, no caso isotrpico,
3
X
i,j =1
xi
u
A ij
xj
= 4 u + ( + ) 5 div u,
Aij j . i = ( + )
i,j =1
onde i = (i1 , i2 , i3 ) R3 ,
3
X
!2
ii
i =1
3
X
i,j =1
i = 1, 2, 3.
31
( ij )2
3
X
i =1
| i |2 ,
Seja X = [H01 ()]3 [L2 ()]3 L2 (; )L2 (; ) o espao de Hilbert com o seguinte
produto interno (ver Apndices 1 e 5):
)
Z (X
Z
3
v1
w1
Aij (x)
hv, wiX =
(x) .
(x) + v1 (x) . w1 (x) dx + v2 (x) . w2 (x) dx
xj
xi
i,j =1
+ (v3 , w3 )L2 (; ) + (v4 , w4 )L2 (; ) ,
v = (v1 , v2 , v3 , v4 ) e w = (w1 , w2 , w3 , w4 ) X,
lembrando que
(, )L2 (; ) =
Z
3
X
i,j =1
ut = v,
v = Lu v curl E + u u,
t
Et = 1 curl H 1 E + 1 curl v,
H = 1 curl E,
t
3
X
u
onde L u =
A ij
.
xi
xj
i,j =1
Consideramos o operador linear no-limitado A : D(A) X X, com domnio
D(A) = [H 2 () H01 ()]3 [H01 ()]3 H0 (curl; ) H(curl; )
dado por:
Aw = (w2 , Lw1 w1 curl w3 , 1 curl w2 + 1 curl w4 , 1 curl w3 ),
w = (w1 , w2 , w3 , w4 ) D(A).
Seja B : X X o operador linear definido por:
Bw = (0, w1 w2 , 1 w3 , 0),
w = (w1 , w2 , w3 , w4 ) X.
dU (t) = AU (t)
dt
(3.10)
U (0) = U0
onde U (t) = u(t), ut (t), E(t), H(t) , A := A + B e U0 = (u0 , u1 , E0 , H0 ).
32
Seja Y =
(w1 , w2 , w3 , w4 ) X tal que div ( w4 ) = 0 e D(A) = D(A). O
v D(A) D(A ).
Demonstrao:
Recordemos, inicialmente, que um elemento v X est em D(A ) se, e somente se,
existe g = (g1 , g2 , g3 , g4 ) X tal que
hAw, viX = hw, giX ,
w D(A),
e, neste caso, g = A v.
Seja v = (v1 , v2 , v3 , v4 ) D(A) ento w = (w1 , w2 , w3 , w4 ) D(A):
hAw, viX
= h(w2 , Lw1 w1 curl w3 , 1 curl w2 + 1 curl w4 , 1 curl w3 ), (v1 , v2 , v3 , v4 )iX
)
Z ( X
Z X
3
3
w2 v1
w1
=
Aij
.
+ w2 . v1 dx +
A ij
. v2 dx
xj
xi
xj
i,j =1 xi
i,j =1
Z
Z
w1 . v2 dx curl w3 . v2 dx + (1 curl w2 , v3 )L2 (; )
v1
Aij
.
dx +
A ij
. w2 dx
xj
xi
xj
i,j =1
i,j =1 xi
Z X
Z X
3
3
3
X
v1
v1
=
A ij
. w2 dx =
A ij
. w2 dx
xj
x
x
i
j
i,j =1 xi
j =1
i=1
Z
Z
3
3
3
3
X
X
X Z X
v1
=
. w2 i d = 0
div Fj dx =
Fj . d =
A ij
x
j
j =1
j =1
j =1
i=1
(3.12)
v1
v1
v1
. w2 , A2j
. w2 , A3j
. w2 e = (1 , 2 , 3 ).
onde Fj = A1j
xj
xj
xj
Como Atij = Aj i (ver Apndice 5, Obs. 4.2) tem-se:
Z X
3
3
X
w2 v1
w2
t v1
Aij
.
dx
dx =
. Aij
xj
xi
xi
i,j =1 xj
i,j =1
Z
=
Z X
3
3
X
v1 w2
v1 w2
Aji
dx =
Aij
dx.
.
.
xi xj
xj
xi
i,j =1
j, i=1
(3.13)
v1
Aij
dx =
.
A ij
. w2 dx = Lv1 . w2 dx.
xj
xi
xj
i,j =1
i,j =1 xi
(3.14)
Da mesma forma que em (3.12),
Z X
Z X
3
3
w1
w1 v2
A ij
. v2 dx =
Aij
.
dx
xj
xj
xi
i,j =1 xi
i,j =1
(3.15)
Logo,
Z
(3.16)
Analogamente,
Z
( curl w2 , v3 )L2 (; ) =
w2 . curl v3 dx.
34
(3.17)
Tambm,
Z
w4t [1 curl v3 ] dx
w4 . curl v3 dx =
( curl w4 , v3 )L2 (; ) =
(3.18)
w3 . curl v4 dx =
( curl w3 , v4 )L2 (; ) =
(3.19)
3
X
w1 v2
Aij
.
dx
x
x
j
i
i,j =1
Z
w2 . curl v3 dx
w D(A).
Portanto, v D(A ) e
A v = g = Av,
v D(A) D(A ).
v = (v1 , v2 , v3 , v4 ) D(A ).
Demonstrao:
Pelo lema anterior, D(A) D(A ) e A v = Av v D(A). Resta mostrar a
outra incluso, isto , D(A ) D(A).
Seja v D(A ). Ento existe g = (g1 , g2 , g3 , g4 ) X tal que
hAw, viX = hw, giX ,
35
w D(A).
(3.20)
Dado um elemento w4 [D()]3 , tem-se que w = (0, 0, 0, w4 ) D(A), donde vale por
(3.20) que
hA(0, 0, 0, w4 ), (v1 , v2 , v3 , v4 )iX = h(0, 0, 0, w4 ), (g1 , g2 , g3 , g4 )iX ,
h(0, 0, 1 curl w4 , 0), (v1 , v2 , v3 , v4 )iX = (w4 , g4 )L2 (; ) ,
(1 curl w4 , v3 )L2 (; ) = (w4 , g4 )L2 (; ) ,
Z
Z
1
t
[ curl w4 ] v3 dx =
w4t g4 dx ,
Z
curl w4 . v3 dx =
w4 . [g4 ] dx.
Assim,
hv3 , curl w4 i = hg4 , w4 i
em [D0 ()]3 ,
hcurl v3 , w4 i = hg4 , w4 i
em [D0 ()]3 .
A igualdade acima vlida para todo w4 [D()]3 ento g4 = curl v3 em [D0 ()]3 .
Sabemos que v D(A ) X e g X, assim v3 , g4 [L2 ()]3 , logo g4 = curl v3 em
[L2 ()]3 . Conseqentemente,
g4 = 1 curl v3
em [L2 ()]3
v3 H(curl; ).
(3.21)
curl w3 . v2 dx
curl w3 ] v4 dx =
curl w3 . v2 dx
w3t g3 dx ,
Z
curl w3 . v4 dx =
w3 . [ g3 ] dx.
Assim,
h v2 v4 , curl w3 i = hg3 , w3 i
em [D0 ()]3 ,
em [D0 ()]3 .
em [D0 ()]3 .
(3.22)
Z (X
3
i,j =1
w2
Aij
xj
v1
.
+ w2 . v1
xi
dx + ( curl w2 , v3 )L2 (; ) =
w2 . g2 dx.
(3.23)
Lembrando que
Z
Z X
3
3
X
w2 v1
v1 w2
Aij
.
dx =
Aij
.
dx,
xj
xi
xj
xi
i,j =1
i,j =1
i,j =1
)
Z (X
Z
Z
3
v1
w2
Aij
.
+ w2 . v1 dx + curl w2 . v3 dx =
w2 . g2 dx.
x
x
j
i
i,j =1
Assim,
3
X
v1 w2
,
+ hv1 , w2 i + hv3 , curl w2 i = hg2 , w2 i
Aij
xj xi
i,j =1
hLv1 , w2 i + hv1 , w2 i + hcurl v3 , w2 i = hg2 , w2 i
em [D0 ()]3 ,
em [D0 ()]3 .
em [L2 ()]3 .
37
(3.24)
i,j =1
Z
Z
Z
Z
Lw1 . v2 dx w1 . v2 dx = Lw1 . g1 dx + w1 . g1 dx ,
Z
Z
(Lw1 w1 ) . v2 dx = (Lw1 + w1 ) . g1 dx ,
Z
(Lw1 w1 ) . (v2 + g1 ) dx = 0.
Por regularidade elptica (ver Apndice 7), f [L2 ()]3 existe um nico w1
[H 2 () H01 ()]3 tal que
Lw1 + w1 = f
donde segue que
Z
f [L2 ()]3 .
(g1 + v2 ) . f dx = 0,
Portanto,
g1 = v2
em [L2 ()]3
v2 [H01 ()]3
(3.25)
em [L2 ()]3
v4 H(curl; ).
(3.26)
Resumindo o que foi obtido at agora, se v D(A ) ento por (3.21), (3.24), (3.25)
e (3.26):
v = (v1 , v2 , v3 , v4 ) [H 2 () H01 ()]3 [H01 ()]3 H(curl; ) H(curl; )
e o elemento g X que satisfaz (3.20) dado por
A v = g = (v2 , Lv1 + v1 + curl v3 , 1 curl v2 1 curl v4 , 1 curl v3 ) = Av
ou seja, w D(A), tem-se:
h(w2 , Lw1 w1 curl w3 , 1 curl w2 + 1 curl w4 , 1 curl w3 ), (v1 , v2 , v3 , v4 )iX
= h(w1 , w2 , w3 , w4 ), (v2 , Lv1 + v1 + curl v3 , 1 curl v2 1 curl v4 , 1 curl v3 )iX .
(3.27)
38
i,j =1
Z
curl w3 . v2 dx + (1 curl w2 , v3 )L2 (; ) + (1 curl w4 , v3 )L2 (; )
)
Z ( X
3
w
v
1
2
Aij
.
+ w1 . v2 dx
(1 curl w3 , v4 )L2 (; ) =
xj
xi
i,j =1
Z
Z
Z
w2 . Lv1 dx + w2 . v1 dx + w2 . curl v3 dx (w3 , 1 curl v2 )L2 (; )
w D(A).
curl w . v dx
( curl w, v)L2 (; ) =
Z
w2 . curl v3 dx
curl w3 . v4 dx =
w3 . curl v2 dx
w4 . curl v3 dx,
w3 . curl v4 dx +
w D(A).
Z
2
t 1
2
2
2
Ckw1 k + Ckw2 k +
w3 w3 dx = Ckw1 k + Ckw2 k2
Z
Z
3
3
X
X
1
2
2
2
|w3, i | |w3,j | dx
i,j w3, i w3,j dx C1 kw1 k[H 1 ()]3 + C1 kw2 k + C1
+
i,j =1
C1 kwk2X + C1
i,j =1
3
X
i,j =1
|w3, i |2 + |w3,j |2 dx C2 kwk2X + C2 kw3 k2 C3 kwk2X ,
kBwkX C3 kwkX ,
w X.
3.2
Para o estudo do comportamento assinttico das solues do sistema (3.1)-(3.7) consideramos seis casos:
1) Se (u0 , u1 , E0 , H0 ) Y e H0 = curl 0 , com 0 H0 (curl; );
2) Se (u0 , u1 , E0 , H0 ) D(A) Y sem nenhuma hiptese adicional;
3) Se (u0 , u1 , E0 , H0 ) D(A) Y e H0 = curl 0 , com 0 H0 (curl; );
4) Se (u0 , u1 , E0 , H0 ) D(A) Y , H0 = curl 0 , com 0 H0 (curl; ) e
| . | (u0 + u1 ) [L2 ()]3 ;
5) Se (u0 , u1 , E0 , H0 ) D(A) Y , H0 = curl 0 , com 0 H0 (curl; ) e
(u0 + u1 ) [L6/5 ()]3 ;
6) Se (u0 , u1 , E0 , H0 ) D(A2 ) Y , H0 = curl 0 , com 0 H0 (curl; ) e
(u0 + u1 ) [L6/5 ()]3 .
Observao 3.1. A hiptese div (H0 ) = 0 no usada nas demonstraes dos resultados desta seo. Contudo, supomos que div ( H0 ) = 0 para que (u, ut , E, H) satisfaa a
condio (3.4) e assim seja soluo do sistema (3.1)-(3.7).
Teorema 3.2. Considerando , , e as matrizes Aij , 1 i, j 3, com as mesmas
hipteses do Teorema 3.1. Se (u0 , u1 , E0 , H0 ) Y tal que H0 = curl 0 , com 0
H0 (curl; ). Ento a soluo correspondente (u, ut , E, H) do sistema (3.1)-(3.7) satisfaz
a seguinte estimativa:
kut (t)k2 +
3
X
u
u
Aij (x)
(x, t) .
(x, t) dx + kE(t)k2 + kH(t)k2 CI0 (1 + t)1 ,
xj
xi
i,j =1
t > 0, onde C uma constante positiva que no depende dos dados iniciais e
I0 = ku0 k2[H 1 ()]3 + ku1 k2 + kE0 k2 + kH0 k2 + k0 k2 .
Para demonstrarmos o Teorema 3.2 precisamos de dois lemas.
Lema 3.4. Considerando , , e as matrizes Aij , 1 i, j 3, com as mesmas
hipteses do Teorema 3.1. Seja (u, ut , E, H) a soluo do sistema (3.1)-(3.7) para os
dados iniciais (u0 , u1 , E0 , H0 ) Y . Ento so vlidas as seguintes identidades:
Z t
Z t
2
E(t) +
kut (s)k ds +
kE(s)k2 ds = E(0)
0
e
Z
(1 + t)E(t) +
t
2
(1 + s)kE(s)k ds = E(0) +
(1 + s)kut (s)k ds +
0
41
E(s) ds,
0
i,j =1 xi
Z
Z
Z
Z
+ curl E(t) . ut (t) dx + [Et (t)] . E(t) dx curl H(t) . E(t) dx + |E(t)|2 dx
i,j =1
+ (Ht (t), H(t))L2 (; ) + kut (t)k2 + kE(t)k2 = 0.
Assim,
(
)
Z X
3
d 1
1
u
1
1
u
kut (t)k2 +
Aij
(t) .
(t) dx + kE(t)k2L2 (; ) + kH(t)k2L2 (; )
dt 2
2 i,j =1
xj
xi
2
2
+kut (t)k2 + kE(t)k2 = 0.
Pela definio da energia total,
d
E(t) + kut (t)k2 + kE(t)k2 = 0.
dt
(3.28)
kut (s)k ds +
0
kE(s)k2 ds = E(0).
42
kH(s)k2L2 (; )
ds CI0 + C
0
3
X
u
u
Aij
(s) .
(s) dx ds
xj
xi
i,j =1
Z
Considerando (u0 , u1 , E0 , H0 ) D(A) definimos W (t) =
Z
E(s) ds e F (t) =
0
E(s) ds
curl H(s) ds +
Wt (t) curl F (t) + W (t) curl u(t) = E(t)
0
0
Z t
Z t
curl ut (s) ds curl u(t) = E(t) E(t)
Et (s) ds +
curl u(t) = E(t)
0
Z
curl E(s) ds = H(t)
Ht (s) ds
0
= H(t) H(t) + H0 = H0 .
Dessa forma, tem-se o seguinte sistema:
Wt curl F + W curl u = E0 curl u0
em (0, ),
(3.29)
Ft + curl W = H0
em (0, ),
(3.30)
W (0) = 0,
em ,
(3.31)
em (0, ).
(3.32)
F (0) = 0
W =0
Z
curl ut (t) . W (t) dx +
Z
[Ft (t)] . Ft (t) dx +
[H0 ] . Ft (t) dx = 0.
43
Assim,
d
d
(Wt (t), W (t))L2 (; ) kWt (t)k2L2 (; ) + kFt (t)k2L2 (; ) +
kW (t)k2
dt
2 dt
Z
Z
Z
d
d
Como Wt (t) = E(t) e Ft (t) = H(t), integrando em [0, t] a igualdade anterior tem-se
que
Z t
Z t
2
2
kH(s)kL2 (; ) ds =
kE(s)k2L2 (; ) ds (E(t), W (t))L2 (; )
kW (t)k +
2
0
0
Z
Z tZ
Z
+ curl u(t) . W (t) dx
curl u(s) . E(s) dx ds + [H0 ] . F (t) dx
+ kW (t)k +
2
2
kcurl u(s)k ds +
2
2
kE(s)k ds +
0
[H0 ] . F (t) dx
kW (t)k2 +
2
kH(s)k2L2 (; )
ds C
+ kcurl u(t)k +
2
1
kcurl u(s)k ds +
(3.33)
Se v [H 1 ()]3 , pela condio (3.9):
Z j 2
Z
Z
3
3
X
X
v
2
| curl v(x)| dx 2
(x) dx = 2
xi
i,j =1
i=1
Z X
3
2
v
v
Aij (x)
(x) .
(x) dx.
a0 i,j =1
xj
xi
44
2
v
(x)
xi dx
(3.34)
u
u
2
2
kH(s)kL2 (; ) ds CI0 + C
Aij
kW (t)k +
(t) .
(t) dx
4
xj
xi
0
i,j =1
Z
Z tZ X
3
u
u
Aij
(s) .
(s) dx ds + [H0 ] . F (t) dx
+C
xj
xi
0
i,j =1
Z tZ X
Z
3
u
u
C1 I0 + C1
Aij
(s) .
(s) dx ds + [H0 ] . F (t) dx.
xj
xi
0
i,j =1
u
u
2
2
Aij
kW (t)k +
kH(s)kL2 (; ) ds CI0 + C
(s) .
(s) dx ds
4
xj
xi
0
0
i,j =1
Z
+ 0 . curl F (t) dx.
Observe que a igualdade (3.29) vlida em [L2 ()]3 . Logo, usando (3.29) na estimativa anterior, imediato que
Z tZ X
Z t
3
u
u
2
2
Aij
kH(s)kL2 (; ) ds CI0 + C
kW (t)k +
(s) .
(s) dx ds
4
xj
xi
0
i,j =1
0
Z
Z
Z
Z
+ 0 . [Wt (t)] dx + 0 . W (t) dx 0 . curl u(t) dx 0 . [E0 ] dx
3
X
Z tZ
Z
0 . curl u0 dx C1 I0 + C1
i,j =1
u
u
Aij
(s) .
(s) dx ds
xj
xi
Aij
(s) .
(s) dx ds + kE(t)k2L2 (; ) + kW (t)k2
xj
xi
2
8
i,j =1
+ (E(t), 0 )L2 (; ) +
Z tZ
+ C2
0
Z
+ C2
3
X
u
u
(t) .
(t) dx
Aij
x
x
j
i
i,j =1
45
3
X
u
u
Aij
(s) .
(s) dx ds.
x
x
j
i
i,j =1
u
utt (t) . u(t) dx
A ij
(t) . u(t) dx + ut (t) . u(t) dx
xj
i,j =1 xi
Z
+ curl E(t) . u(t) dx = 0.
Assim,
d
dt
+
1 d
ku(t)k2 +
2 dt
3
X
u
u
(t) .
(t) dx
Aij
xj
xi
i,j =1
Z
curl E(t) . u(t) dx = 0.
Integrando em [0, t]
Z tZ X
3
1
u
u
1
2
ku(t)k +
Aij
(s) .
(s) dx ds = ku0 k2
2
xj
xi
2
0
i,j =1
Z tZ
Z
Z
Z t
2
curl E(s) . u(s) dx ds.
kut (s)k ds ut (t) . u(t) dx + u1 . u0 dx
+
0
Z t
Z t
1
+ kut (t)k2 + ku(t)k2 + 1
kE(s)k2 ds +
kcurl u(s)k2 ds
4
0
0
Z t
Z t
1
2
2
2
1
kut (s)k ds + kut (t)k + ku(t)k +
C1 I0 +
kE(s)k2 ds
4
0
0
Z tZ X
3
u
u
(s) .
(s) dx ds.
+ C1
Aij
xj
xi
0
i,j =1
Escolhendo suficientemente pequeno e usando o Lema 3.4 tem-se:
Z Z X
3
1
1 t
u
u
2
ku(t)k +
Aij
(s) .
(s) dx ds CI0 .
4
2 0 i,j =1
xj
xi
(3.35)
Observe que para obter a desigualdade acima, no necessrio supor que existe
0 H0 (curl; ) tal que H0 = curl 0 .
46
Z
CI0 +
kut (s)k2 ds +
Z
+
kE(s)k2L2 (; ) ds +
0
3
X
Z tZ
u
u
(s) .
(s) dx ds
Aij
xj
xi
i,j =1
kH(s)k2L2 (; ) ds.
Z tZ
CI0 + C
0
0
3
X
i,j =1
u
u
Aij
(s) .
(s) dx ds.
xj
xi
(3.36)
t > 0,
2
3
X
ut
ut
Aij (x)
(x, t) .
(x, t) dx
xj
xi
i,j =1
t>0
onde I1 = ku0 k2[H 2 ()]3 + ku1 k2[H 1 ()]3 + kE0 k2H(curl; ) + kH0 k2H(curl; ) .
Usaremos na demonstrao do Teorema 3.3 o seguinte lema.
Lema 3.6. Considerando , , e as matrizes Aij , 1 i, j 3, com as mesmas
hipteses do Teorema 3.1. Se (u0 , u1 , E0 , H0 ) D(A2 ) ento a soluo (u, ut , E, H) do
sistema (3.1)-(3.7) satisfaz a seguinte identidade:
)
(
Z X
3
d
u
u
t
t
Aij
kutt (t)k2 +
(t) .
(t) dx + kEt (t)k2L2 (; ) + kHt (t)k2L2 (; )
dt
xj
xi
i,j =1
+ 2 kutt (t)k2 + 2 kEt (t)k2 = 0.
Demonstrao:
Derivando o sistema (3.1) (3.7) em relao a t, obtm-se o seguinte sistema:
3
X
ut
uttt
A ij
+ utt + curl Et = 0
em (0, ),
(3.37)
x
x
i
j
i,j =1
Ett curl Ht + Et curl utt = 0
em (0, ),
(3.38)
Htt + curl Et = 0
em (0, ),
(3.39)
div (Ht ) = 0
em (0, ),
(3.40)
em ,
(3.41)
em ,
(3.42)
Ht (0) = H1 = 1 curl E0
em ,
(3.43)
em (0, ).
(3.44)
ut = 0,
Et = 0
Tomando o produto interno de (3.37) com utt (t), de (3.38) com Et (t) e de (3.39) com
Ht (t), integrando em e somando obtm-se:
Z
3
X
utt
ut
uttt (t) . utt (t) dx +
Aij
(t) .
(t) dx + |utt (t)|2 dx
x
x
j
i
i,j =1
Z
Z
Z
+ curl Et (t) . utt (t) dx + [Ett (t)] . Et (t) dx curl Ht (t) . Et (t) dx
Z
+
|Et (t)| 2 dx
Z
curl utt (t) . Et (t) dx +
Z
+
48
3
X
ut
ut
(t) .
(t) dx + (Ett (t), Et (t))L2 (; )
Aij
xj
xi
i,j =1
= ku2 k2 +
Z tZ
+
0
Z t
3
X
u1 u1
2
2
Aij
kutt (s)k2 ds
.
dx + kE1 kL2 (; ) + kH1 kL2 (; ) +
x
x
j
i
0
i,j =1
Z t
Z t
3
X
ut
ut
2
Aij
(s) .
(s) dx ds +
kEt (s)kL2 (; ) ds +
kHt (s)k2L2 (; ) ds.
xj
xi
0
0
i,j =1
(3.47)
49
Tomando o produto interno de (3.1) com utt (t), de (3.38) com E(t) e de (3.3) com
Ht (t), integrando em e somando obtm-se:
3
X
u
utt
1 d
kutt (t)k +
Aij
(t) .
(t) dx +
kut (t)k2
xj
xi
2 dt
i,j =1
Z
Z
+ curl E(t) . utt (t) dx + [Ett (t)] . E(t) dx
2
Z
d
2
curl Ht (t) . E(t) dx +
kE(t)k curl utt (t) . E(t) dx
2 dt
Z
Z
+ [Ht (t)] . Ht (t) dx + curl E(t) . Ht (t) dx = 0.
3
X
u
ut
Aij
(t) .
(t) dx
xj
xi
i,j =1
3
X
ut
ut
1 d
Aij
kut (t)k2
(t) .
(t) dx +
x
x
2
dt
j
i
i,j =1
Logo,
d
kutt (t)k +
dt
2
d
kE(t)k2 + (Ht (t), Ht (t))L2 (; ) = 0.
2 dt
3
X
ut
u
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
3
X
ut
ut
1 d
Aij
(t) .
(t) dx +
kut (t)k2
x
x
2
dt
j
i
i,j =1
d
(Et (t), E(t))L2 (; ) kEt (t)k2L2 (; )
dt
d
kE(t)k2 + kHt (t)k2L2 (; ) = 0.
2 dt
50
(3.48)
1
2
kHt (s)k2L2 (; ) ds + kut (t)k2 + kE(t)k2 = ku1 k2
kutt (s)k ds +
2
2
2
0
0
Z tZ X
Z t
3
ut
ut
kEt (s)k2L2 (; ) ds +
Aij
+ kE0 k2 +
(s) .
(s) dx ds
2
xj
xi
0
0
i,j =1
Z X
3
u
ut
Aij
(t) .
(t) dx
(Et (t), E(t))L2 (; ) + (E1 , E0 )L2 (; )
xj
xi
i,j =1
Z X
Z t
3
u0 u1
+
Aij
.
dx CI1 +
kEt (s)k2L2 (; ) ds
x
x
j
i
i,j =1
0
Z tZ
+
0
3
X
ut
ut
Aij
(s) .
(s) dx ds + 1 kEt (t)k2L2 (; ) + kE(t)k2L2 (; )
x
x
j
i
i,j =1
Z
3
X
+C
i,j =1
Z tZ
+
0
+ C1
u
xj (t)
Z t
ut
kEt (s)k2 ds
xi (t) dx C1 I1 + C1
0
3
X
ut
ut
(s) .
(s) dx ds + 1 kEt (t)k2L2 (; ) + C1 kE(t)k2
Aij
x
x
j
i
i,j =1
Z
3
X
j =1
Z
3
X
u 2
xj (t) dx + C1
i=1
ut 2
xi (t) dx
Z X
3
3
X
u
u
ut
ut
Aij
(t) .
(t) dx + C
Aij
(t) .
(t) dx.
x
x
x
x
j
i
j
i
i,j =1
i,j =1
i,j =1
Z
+ curl Et (t) . ut (t) dx = 0.
51
(3.49)
(3.50)
Integrando em [0, t]
Z tZ X
Z
3
ut
ut
1
1
2
2
kut (t)k +
Aij
(s) .
(s) dx ds = ku1 k
utt (t) . ut (t) dx
2
xj
xi
2
0
i,j =1
Z tZ
Z t
Z
2
Et (s) . curl ut (s) dx ds CI1 + 1 kutt (t)k2
kutt (s)k ds
+ u2 . u1 dx +
0
t
2
kutt (s)k ds +
+ kut (t)k +
kEt (s)k ds +
0
(3.51)
Pela condio (3.9)
Z
kcurl ut (t)k C
3
X
ut
ut
Aij
(t) .
(t) dx.
x
x
j
i
i,j =1
3
X
ut
ut
Aij
(s) .
(s) dx ds CI1 .
x
x
j
i
i,j =1
(3.52)
(3.53)
3
X
ut
ut
Aij
(t) .
(t) dx + (1 + t)kEt (t)k2L2 (; )
x
x
j
i
i,j =1
(1 + t)kutt (t)k + (1 + t)
+ (1 +
t)kHt (t)k2L2 (; )
Z
+2
t
2
(1 + s)kutt (s)k ds + 2
0
(3.54)
52
Multiplicando (3.45) por (1 + t)2 e integrando por partes em [0, t] tem-se que
2
(1 + t) kutt (t)k + (1 + t)
3
X
ut
ut
Aij
(t) .
(t) dx
xj
xi
i,j =1
t
2
(1 + s) kutt (s)k ds + 2
+2
= ku2 k +
+ kH1 k2L2 (; )
3
X
u1 u1
Aij
.
dx + kE1 k2L2 (; )
x
x
j
i
i,j =1
Z
+2
(1 + s)kutt (s)k2 ds
3
X
ut
ut
(1 + s)
Aij
(s) .
(s) dx ds
xj
xi
i,j =1
Z tZ
+2
0
Z
+2
(1 +
s)kEt (s)k2L2 (; )
Z
ds + 2
53
(3.55)
1
t
2
2
2
2
+ (1 + t)kE(t)k = ku1 k + kE0 k +
kut (s)k ds +
kE(s)k2 ds
2
2
2
2 0
2 0
Z tZ
Z t
3
X
ut
ut
+
(1 + s)
(s) .
(s) dx ds +
(1 + s)kEt (s)k2L2 (; ) ds
Aij
x
x
j
i
0
0
i,j =1
Z
(1 + t)
Z X
3
3
X
ut
u
u0 u1
(t) .
(t) dx +
.
dx
Aij
Aij
xj
xi
xj xi
i,j =1
i,j =1
3
X
u
ut
+
Aij
(s) .
(s) dx ds (1 + t)(Et (t), E(t))L2 (; )
xj
xi
0
i,j =1
Z t
Z
1 t
+ (E1 , E0 )L2 (; ) +
(Et (s), E(s))L2 (; ) ds CI1 +
kut (s)k2 ds
2
0
0
Z t
Z tZ
3
X
ut
ut
kE(s)k2 ds +
(1 + s)
Aij
(s) .
(s) dx ds
+
2 0
x
x
j
i
0
i,j =1
Z tZ
(1 +
s)kEt (s)k2L2 (; )
ds + C (1 + t)
Z
3
X
i,j =1
Z tZ
3
X
u
xj (t)
ut
xi (t) dx
ut
1
2
+C
xi (s) dx ds + (1 + t)kEt (t)kL2 (; )
0
i,j =1
Z
Z
1 t
1 t
2
2
+ (1 + t)kE(t)kL2 (; ) +
kEt (s)kL2 (; ) ds +
kE(s)k2L2 (; ) ds
2 0
2 0
Z
Z t
1 t
2
C1 I1 +
kut (s)k ds + C1
kE(s)k2 ds
2 0
0
Z tZ
Z t
3
X
ut
ut
+
(1 + s)
Aij
(s) .
(s) dx ds + C1
(1 + s)kEt (s)k2 ds
xj
xi
0
0
i,j =1
+ C1
u
xj (s)
Z
3
X
u 2
2
xj (t) dx + C1 (1 + t)
i=1
2
Z tZ
3
X
u
xj (s) dx ds + C1
0
i=1
Z
3
X
j =1
+ C1
Z tZ
3
X
j =1
ut 2
xi (t) dx
ut 2
xi (s) dx ds
1 t
2
2
(1 + s)kHt (s)kL2 (; ) ds + (1 + t)kE(t)k CI1 +
kut (s)k2 ds
2
2
0
0
Z t
Z tZ
3
X
ut
ut
(s) .
(s) dx ds
+C
kE(s)k2 ds + C
(1 + s)
Aij
x
x
j
i
0
0
i,j =1
t
(1 + s)kEt (s)k ds + C
+C
+ C (1 + t)
Z tZ
+C
0
3
X
u
u
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
3
X
ut
ut
Aij
(t) .
(t) dx
xj
xi
i,j =1
3
X
u
u
Aij
(s) .
(s) dx ds + 1 (1 + t)kEt (t)k2L2 (; )
x
x
j
i
i,j =1
+ C (1 + t)kE(t)k2 .
Escolhendo suficientemente pequeno, usando (3.35), (3.54) e o Lema 3.4 tem-se:
Z t
i,j =1
1
+ (1 + t)2
4
3
X
ut
ut
Aij
(t) .
(t) dx.
xj
xi
i,j =1
(1 + t)kE(t)k2 CI1 + C
2
Z tZ
(1 + s)
0
3
X
i,j =1
ut
ut
Aij
(s) .
(s) dx ds.
xj
xi
(3.56)
55
i,j =1
Z
Z
Z
1 t
1
2
2
= ku1 k +
kut (s)k ds (1 + t) utt (t) . ut (t) dx + u2 . u1 dx
2
2 0
Z t
Z tZ
utt (s) . ut (s) dx ds +
(1 + s)kutt (s)k2 ds
+
0
Z tZ
Z
(1 + s)Et (s) . curl ut (s) dx ds CI1 +
kut (s)k2 ds
1
(1 + t)kut (t)k2 + C
(1 + s)kutt (s)k2 ds
4
0
Z t
Z t
+ 1
(1 + s)kEt (s)k2 ds +
(1 + s)kcurl ut (s)k2 ds.
+ (1 + t)kutt (t)k2 +
i,j =1
Z tZ
3
X
ut
ut
(s) .
(s) dx ds.
+ C
(1 + s)
Aij
xj
xi
0
i,j =1
Z tZ
i,j =1
Z tZ
0
Z
+2
(1 + t)kE(t)k2 CI1 .
2
3
X
u
u
Aij
(t) .
(t) dx CI1 (1 + t)1 ,
x
x
j
i
i,j =1
56
t > 0.
(3.57)
i,j =1
Z
+ curl E(t) . ut (t) dx = 0.
Ou ainda,
Z X
3
1 d
1 d
u
u
2
kut (t)k +
(t) .
(t) dx + kut (t)k2
Aij
2 dt
2 dt i,j =1
xj
xi
Z
+ curl E(t) . ut (t) dx = 0.
(3.58)
Multiplicando a igualdade anterior por (1+t), integrando por partes em [0, t] e usando
o Lema 3.4 e a estimativa (3.35) obtm-se:
Z X
3
1
u
1
u
2
(1 + t)kut (t)k + (1 + t)
Aij
(t) .
(t) dx
2
2
xj
xi
i,j =1
Z t
1
+
(1 + s)kut (s)k2 ds = ku1 k2
2
0
Z X
Z
3
1
u0 u0
1 t
kut (s)k2 ds
+
Aij
.
dx +
2 i,j =1
xj xi
2 0
1
+
2
Z tZ
0
3
X
u
u
Aij
(s) .
(s) dx ds
xj
xi
i,j =1
Z tZ
Z tZ
CI1
0
i
dh
(1 + s)
curl E(s) . u(s) dx ds
dt
Z tZ
+
Z
= CI1 (1 + t)
Z
curl E(t) . u(t) dx +
Z tZ
+
Z tZ
+
curl E0 . u0 dx
57
1
(1 + t)
2
Z tZ
(1 + s) Et (s) . curl u(s) dx ds
+
0
t
2
2
2
C1 I1 + (1 + t) kHt (t)kL2 (; ) + C1 ku(t)k +
kE(s)k2 ds
2
2 0
Z t
Z t
kcurl u(s)k2 ds +
(1 + s)2 kEt (s)k2 ds
+
2 0
0
onde foi usado a equivalncia das normas k . kL2 (; ) e k . k.
Usando o Lema 3.4, a estimativa (3.57) e a condio (3.9) tem-se:
Z X
3
u
u
1
(1 + t)
Aij
(t) .
(t) dx
2
xj
xi
i,j =1
Z t
(1 + s)kut (s)k2 ds CI1 + Cku(t)k2
+
0
Z tZ
+C
0
3
X
u
u
Aij
(s) .
(s) dx ds.
xj
xi
i,j =1
Z t
3
X
u
u
Aij
(1 + s)kut (s)k2 ds CI1 .
(t) .
(t) dx +
xj
xi
0
i,j =1
58
(3.59)
i,j =1
Z
Z t
1
2
2
2
(1 + s)kut (s)k ds (1 + t)
utt (t) . ut (t) dx
= ku1 k +
2
0
Z tZ
Z
(1 + s) utt (s) . ut (s) dx ds
+ u2 . u1 dx + 2
0
Z tZ
t
2
(1 + s) kutt (s)k ds
CI1 + C
Z t
1
2
2
+ (1 + t) kut (t)k + C
(1 + s)2 kutt (s)k2 ds
4
0
Z t
Z t
2
2
1
(1 + s) kEt (s)k ds +
(1 + s)2 kcurl ut (s)k2 ds.
+
0
i,j =1
Z tZ
3
X
ut
u
t
2
(s) .
(s) dx ds.
(1 + s)
CI1 + C 1 I1 + C
Aij
xj
xi
0
i,j =1
1
(1 + t)2 kut (t)k2 +
4
Z tZ
3
X
ut
ut
(1 + s)
Aij
(s) .
(s) dx ds CI1 .
x
x
j
i
i,j =1
Z tZ
0
(3.60)
59
t > 0,
t > 0,
t>0
Z
+2
3
X
i,j =1
u1 u1
.
dx
Aij
xj xi
3
X
ut
ut
2
+3
(1 + s)
Aij
(s) .
(s) dx ds
x
x
j
i
0
i,j =1
Z t
Z t
2
2
+ 3 (1 + s) kEt (s)kL2 (; ) ds + 3 (1 + s)2 kHt (s)k2L2 (; ) ds.
Z tZ
60
(3.61)
(1 + s)kut (s)k2 ds
+ (1 + t)2 kE(t)k2 = ku1 k2 + kE0 k2 +
2
2
2
0
Z tZ
Z t
3
X
ut
ut
2
2
(1 + s)kE(s)k ds +
(1 + s)
+
Aij
(s) .
(s) dx ds
x
x
j
i
0
0
i,j =1
Z t
Z X
3
u
ut
2
2
2
Aij
+ (1 + s) kEt (s)kL2 (; ) ds (1 + t)
(t) .
(t) dx
xj
xi
0
i,j =1
Z X
Z tZ
3
3
X
u
ut
u0 u1
Aij
+
.
dx + 2
(1 + s)
Aij
(s) .
(s) dx ds
xj xi
xj
xi
i,j =1
0
i,j =1
Z t
2
(1 + t) (Et (t), E(t))L2 (; ) + (E1 , E0 )L2 (; ) + 2 (1 + s) (Et (s), E(s))L2 (; ) ds
0
t
(1 + s)kut (s)k2 ds +
CI2 +
+
0
(1 + s)2
3
X
(1 + s)kE(s)k2 ds
Z t
ut
ut
Aij
(s) .
(s) dx ds +
(1 + s)2 kEt (s)k2L2 (; ) ds
xj
xi
0
i,j =1
2
+ C (1 + t)
3
X
i,j =1
u
xj (t)
ut
1
2
2
xi (t) dx + (1 + t) kEt (t)kL2 (; )
Z tZ
3
X
u
(1 + s)
+C
(s)
xj
0
i,j =1
Z
Z t
2
+ (1 + s)kEt (s)kL2 (; ) ds +
0
ut
2
2
xi (s) dx ds + (1 + t) kE(t)kL2 (; )
t
(1 + s)kE(s)k2L2 (; ) ds C1 I2
0
t
Z tZ
(1 + s)kut (s)k2 ds + C1
+
0
(1 + s)kE(s)k2 ds
Z tZ
+
0
(1 + s)2
+ C1
3
X
Z t
ut
ut
Aij
(s) .
(s) dx ds + C1
(1 + s)2 kEt (s)k2 ds
xj
xi
0
i,j =1
(1 + t)
3
X
j =1
+ C1
Z tZ
3
X
j =1
Z
3
X
u 2
3
xj (t) dx + C1 (1 + t)
i=1
2
Z tZ
3
X
u
(1 + s)2
xj (s) dx ds + C1
0
i=1
ut 2
xi (t) dx
ut 2
xi (s) dx ds
Z tZ
3
X
ut
ut
2
Aij
(1 + s)
+C
(s) .
(s) dx ds
x
x
j
i
0
i,j =1
Z X
Z t
3
u
u
2
2
1
(1 + s) kEt (s)k ds + C (1 + t)
+C
Aij
(t) .
(t) dx
xj
xi
0
i,j =1
Z X
3
ut
ut
3
(t) .
(t) dx
+ C (1 + t)
Aij
xj
xi
i,j =1
Z tZ
+C
0
3
X
u
u
Aij
(s) .
(s) dx ds + 1 (1 + t)2 kEt (t)k2L2 (; )
x
x
j
i
i,j =1
+ C (1 + t)2 kE(t)k2 .
Escolhendo suficientemente pequeno, usando (3.35), (3.36) e (3.57) tem-se:
Z t
i,j =1
1
+ (1 + t)3
4
3
X
ut
ut
(t) .
(t) dx.
Aij
xj
xi
i,j =1
62
(3.63)
3
X
ut
ut
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
3
+ (1 + t)3 kEt (t)k2L2 (; ) + (1 + t)3 kHt (t)k2L2 (; ) +
(1 + t)2 kE(t)k2
4
Z t
Z t
+ 2 (1 + s)3 kutt (s)k2 ds + 2 (1 + s)3 kEt (s)k2 ds CI2 .
(3.64)
Pela densidade de D(A2 ) em D(A) (ver Apndice 3), a desigualdade acima vlida se
(u0 , u1 , E0 , H0 ) D(A). A demonstrao do Teorema 3.4 segue da estimativa anterior,
dos Teoremas 3.2 e 3.3, das equaes (3.1)-(3.3) e da condio (3.9).
Teorema 3.5. Considerando , , e as matrizes Aij , 1 i, j 3, com as mesmas
hipteses do Teorema 3.1. Seja (u0 , u1 , E0 , H0 ) Y tal que H0 = curl 0 , com 0
H0 (curl; ), e | . | (u0 + u1 ) [L2 ()]3 . Ento a soluo correspondente (u, ut , E, H)
do sistema (3.1)-(3.7) satisfaz as seguintes estimativas:
Z X
3
u
u
2
kut (t)k +
Aij (x)
(x, t) .
(x, t) dx + kE(t)k2 + kH(t)k2
x
x
j
i
i,j =1
CI0 (1 + t)1 ,
t > 0,
t>0
t > 0.
Z
utt (t) . u(t) dx +
Z
3
X
u
u
Aij
(t) .
(t) dx + ut (t) . u(t) dx
x
x
j
i
i,j =1
Z
+
63
Ou ainda,
d
dt
+
1 d
ku(t)k2 +
2 dt
3
X
u
u
(t) .
(t) dx
Aij
xj
xi
i,j =1
Z
curl E(t) . u(t) dx = 0.
i,j =1
Z
Z t
Z
1
1 t
2
2
2
(1 + s)kut (s)k ds (1 + t)
ut (t) . u(t) dx
= ku0 k +
ku(s)k ds +
2
2 0
0
Z tZ
Z tZ
Z
u1 . u0 dx +
ut (s) . u(s) dx ds
(1 + s) curl E(s) . u(s) dx ds
+
0
ku(s)k2 ds + C
CI0 + C
0
1
(1 + t)ku(t)k2
4
Z tZ
(1 + s) curl E(s) . u(s) dx ds.
0
i,j =1
Z t
Z tZ
2
CI0 + C
ku(s)k ds
(1 + s) E(s) . curl u(s) dx ds CI0
0
t
2
ku(s)k ds +
+C
0
t
2
0
t
ku(s)k2 ds + 1
C1 I0 + C1
0
(1 + s)kE(s)k ds +
(1 + s)kcurl u(s)k2 ds
(1 + s)kE(s)k2 ds
3
X
u
u
(1 + s)
Aij
(s) .
(s) dx ds.
x
x
j
i
i,j =1
Z tZ
+ C1
0
64
Definimos V (t) =
0
3
X
Vtt (t)
i,j =1
t
xi
3
X
V
A ij
(t) + Vt (t) + curl W (t)
xj
Z t
u
= ut (t)
curl E(s) ds
A ij
(s) ds + u(t) +
xj
0 i,j =1
0
)
Z t ( X
3
= ut (t) +
A ij
(s) + curl E(s) ds + u(t)
x
x
i
j
0
i,j =1
Z t
Z t
utt (s) ds
ut (s) ds + u(t)
= ut (t)
Z
xi
Assim,
Vtt
3
X
i,j =1
V (0) = 0,
xi
V
A ij
xj
+ Vt + curl W = u0 + u1
Vt (0) = u0
em (0, ),
(3.66)
em ,
(3.67)
em (0, ). (3.68)
V =0
Integrando em [0, t]
Z t
3
X
V
V
Aij
(t) .
(t) dx +
kVt (s)k2 ds
x
x
j
i
i,j =1
0
Z tZ
Z
1
= ku0 k2
curl W (s) . Vt (s) dx ds + (u0 + u1 ) . V (t) dx.
2
0
1
1
kVt (t)k2 +
2
2
65
Z tZ
o
d n
[H0 ] . V (s) dx ds
dt
1
ku0 k2 + (Ft (s), Vt (s))L2 (; ) ds
2
0
0
Z t
Z
1
kH(s)k2L2 (; ) ds
+ (u0 + u1 ) . V (t) dx ku0 k2 + 1
2
0
Z
Z
Z t
2
kVt (s)k ds [H0 ] . V (t) dx + (u0 + u1 ) . V (t) dx.
+C
=
Z
Z
+ (u0 + u1 ) . V (t) dx CI0 + 1 k0 k2 + kcurl V (t)k2 + (u0 + u1 ) . V (t) dx
1
2
C1 I0 + 1 k0 k2 + C1
3
X
i,j =1
Z
V
V
Aij
(t) .
(t) dx + (u0 + u1 ) . V (t) dx.
xj
xi
Z
Z
3
X
V
V
1 t
2
Aij
(t) .
(t) dx +
kVt (s)k ds CI0 + (u0 + u1 ) . V (t) dx.
x
x
2
j
i
0
i,j =1
(3.69)
66
Z
| V (t) |2
+
dx C1 I0 + 1 k | . | (u0 + u1 )k2 + C1 k 5 V (t)k2 .
2
|
x
|
1
4
Z
3
X
V
1 t
V
kVt (s)k2 ds CI0
Aij
(t) .
(t) dx +
x
x
2
j
i
0
i,j =1
+ k | . | (u0 + u1 )k + C
3
X
V
V
Aij
(t) .
(t) dx.
x
x
j
i
i,j =1
ku(s)k2 ds CI3 .
3
X
u
u
(1 + s)
Aij
(s) .
(s) dx ds CI3 .
xj
xi
i,j =1
Z tZ
(1 + t)ku(t)k +
0
(3.70)
67
t > 0,
t > 0,
t > 0,
t>0
(1 + t)
3
X
u
u
(t) .
(t) dx + (1 + t)3 kut (t)k2 CI4 ,
Aij
xj
xi
i,j =1
t > 0.
i,j =1
Z tZ
68
Z t
3
X
u
u
Aij
(1 + s)2 kut (s)k2 ds
(t) .
(t) dx +
x
x
j
i
0
i,j =1
CI4 +
t
2
(1 + s)
kHt (s)k2L2 (; )
ds + C1
Z
3
X
u
u
1 t
Aij
(t) .
(t) dx +
(1 + s)2 kut (s)k2 ds CI4 .
x
x
2
j
i
0
i,j =1
i,j =1
Z t
Z
3
1
2
2
2
3
(1 + s) kut (s)k ds (1 + t)
utt (t) . ut (t) dx
= ku1 k +
2
2 0
Z t
Z tZ
Z
2
(1 + s)3 kutt (s)k2 ds
(1 + s) utt (s) . ut (s) dx ds +
+ u2 . u1 dx + 3
0
Z tZ
1
(1 + t)3 kut (t)k2 + C
(1 + s)3 kutt (s)k2 ds
4
0
Z t
Z t
+ 1
(1 + s)3 kEt (s)k2 ds +
(1 + s)3 kcurl ut (s)k2 ds.
+ (1 + t)3 kutt (t)k2 +
i,j =1
Z tZ
3
X
ut
ut
3
1
CI4 + C I4 + C
(1 + s)
Aij
(s) .
(s) dx ds.
x
x
j
i
0
i,j =1
1
(1 + t)3 kut (t)k3 +
4
Z tZ
69
(3.71)
t > 0,
t>0
3
X
u
u
(1 + s)
Aij
(s) .
(s) dx ds CI5
x
x
j
i
i,j =1
Z tZ
(1 + t)ku(t)k +
0
(3.72)
t > 0,
t > 0,
t > 0,
3
X
ut
ut
(1 + s)
Aij (x)
(x, s) .
(x, s) dx ds CI6 ,
xj
xi
i,j =1
Z tZ
0
t > 0,
t>0
71
w4 H(curl; );
1 curl w3 H(curl; )
e a norma
kwk2D(A2 ) = kwk2D(A) + kAwk2D(A)
equivalente a norma
k| w k|2 = kw1 k2[H 2 ()]3 + kw2 k2[H 2 ()]3 + kw3 k2H(curl; ) + kw4 k2H(curl; )
+kLw1 curl w3 k2[H 1 ()]3 + k 1 w3 + 1 curl w2 + 1 curl w4 k2H(curl; )
(3.73)
t > 0,
t > 0,
t > 0,
t > 0,
t > 0,
72
utt
utttt
(3.74)
A ij
+ uttt + curl Ett = 0
em (0, ),
x
x
i
j
i,j =1
Ettt curl Htt + Ett curl uttt = 0
em (0, ),
(3.75)
em (0, ),
(3.76)
div (Htt ) = 0
em (0, ),
(3.77)
em ,
(3.78)
utt = 0,
Ett = 0
em (0, ). (3.79)
Tomando o produto interno de (3.74) com uttt (t), de (3.75) com Ett (t) e de (3.76)
com Htt (t), integrando em e somando obtm-se:
Z
3
X
uttt
utt
utttt (t) . uttt (t) dx +
Aij
(t) .
(t) dx + |uttt (t)|2 dx
xj
xi
i,j =1
Z
Z
Z
+ curl Ett (t) . uttt (t) dx + [Ettt (t)] . Ett (t) dx curl Htt (t) . Ett (t) dx
Z
+
|Ett (t)| 2 dx
Z
curl uttt (t) . Ett (t) dx +
Z
+
73
3
X
utt
utt
(t) .
(t) dx + (Ettt (t), Ett (t))L2 (; )
Aij
xj
xi
i,j =1
d
dt
Assim,
(
kuttt (t)k +
)
3
X
utt
utt
2
2
Aij
(t) .
(t) dx + kEtt (t)kL2 (; ) + kHtt (t)kL2 (; )
xj
xi
i,j =1
= ku3 k2 +
Z t
3
X
u2 u2
2
2
Aij
kuttt (s)k2 ds
.
dx + kE2 kL2 (; ) + kH2 kL2 (; ) +
xj xi
0
i,j =1
Z tZ X
Z t
Z t
3
utt
utt
2
+
Aij
(s) .
(s) dx ds +
kEtt (s)kL2 (; ) ds +
kHtt (s)k2L2 (; ) ds.
x
x
j
i
0
i,j=1
0
0
(3.82)
74
Tomando o produto interno de (3.37) com uttt (t), de (3.75) com Et (t) e de (3.39) com
Htt (t), integrando em e somando obtm-se:
Z X
3
ut
uttt
1 d
2
kuttt (t)k +
Aij
(t) .
(t) dx +
kutt (t)k2
x
x
2
dt
j
i
i,j =1
Z
Z
+ curl Et (t) . uttt (t) dx + [Ettt (t)] . Et (t) dx
d
kEt (t)k2
2 dt
Z
Z
curl uttt (t) . Et (t) dx + [Htt (t)] . Htt (t) dx
Z
+
3
X
utt
utt
1 d
Aij
kutt (t)k2
(t) .
(t) dx +
x
x
2
dt
j
i
i,j =1
d
kEt (t)k2 + (Htt (t), Htt (t))L2 (; ) = 0.
2 dt
Logo,
d
kuttt (t)k2 +
dt
Z
3
X
ut
utt
Aij
(t) .
(t) dx
xj
xi
i,j =1
3
X
utt
1 d
utt
Aij
(t) .
(t) dx +
kutt (t)k2
x
x
2
dt
j
i
i,j =1
d
(Ett (t), Et (t))L2 (; ) kEtt (t)k2L2 (; )
dt
d
kEt (t)k2 + kHtt (t)k2L2 (; ) = 0.
2 dt
75
(3.83)
1
2
kuttt (s)k ds +
kHtt (s)k2L2 (; ) ds + kutt (t)k2 + kEt (t)k2 = ku2 k2
2
2
2
0
0
Z tZ X
Z t
3
utt
utt
kEtt (s)k2L2 (; ) ds +
Aij
+ kE1 k2 +
(s) .
(s) dx ds
2
xj
xi
0
0
i,j =1
Z X
3
ut
utt
Aij
(Ett (t), Et (t))L2 (; ) + (E2 , E1 )L2 (; )
(t) .
(t) dx
xj
xi
i,j =1
Z t
Z X
3
u1 u2
.
dx CI7 +
kEtt (s)k2L2 (; ) ds
+
Aij
x
x
j
i
0
i,j =1
Z tZ X
3
utt
utt
Aij
(s) .
(s) dx ds + 1 kEtt (t)k2L2 (; ) + kEt (t)k2L2 (; )
+
xj
xi
0
i,j =1
Z
Z t
3
X
ut utt
+C
kEtt (s)k2 ds
xj (t) xi (t) dx C1 I7 + C1
0
i,j =1
Z tZ X
3
utt
utt
Aij
+
(s) .
(s) dx ds + 1 kEtt (t)k2L2 (; ) + C1 kEt (t)k2
x
x
j
i
0
i,j =1
Z
Z
3
3
X
X
ut 2
utt 2
+ C1
xj (t) dx + C1
xi (t) dx
j =1
i=1
onde foi usado a equivalncia das normas k . kL2 (; ) e k . k.
Escolhendo suficientemente pequeno, usando (3.81) e a condio (3.9) tem-se:
Z t
Z tZ X
3
utt
utt
2
(s) .
(s) dx ds
kHtt (s)kL2 (; ) ds CI7 +
Aij
xj
xi
0
0
i,j =1
Z X
Z X
3
3
ut
ut
utt
utt
+C
Aij
(t) .
(t) dx + C
Aij
(t) .
(t) dx.
xj
xi
xj
xi
i,j =1
i,j =1
Usando (3.81) e o Corolrio 3.2 tem-se que
Z tZ X
Z t
3
utt
utt
2
kHtt (s)kL2 (; ) ds CI7 +
Aij
(s) .
(s) dx ds.
xj
xi
0
0
i,j =1
Tomando o produto interno de (3.74) com utt (t) e integrando em obtm-se:
Z
Z X
3
utt
utt
1 d
utttt (t) . utt (t) dx +
Aij
(t) .
(t) dx +
kutt (t)k2
x
x
2
dt
j
i
i,j =1
Z
+ curl Ett (t) . utt (t) dx = 0.
76
(3.84)
(3.85)
Integrando em [0, t]
3
X
utt
utt
Aij
(s) .
(s) dx ds
xj
xi
0
i,j =1
Z
Z
1
2
= ku2 k
uttt (t) . utt (t) dx + u3 . u2 dx
2
Z t
Z tZ
kuttt (s)k2 ds
Ett (s) . curl utt (s) dx ds
+
1
kutt (t)k2 +
2
Z tZ
0
1
(3.86)
kuttt (s)k2 ds
+ 1
kEtt (s)k2 ds +
3
X
utt
utt
Aij
(t) .
(t) dx.
xj
xi
i,j =1
3
X
utt
utt
Aij
(s) .
(s) dx ds CI7 .
x
x
j
i
i,j =1
77
(3.87)
(3.88)
(1 + t)kuttt (t)k + (1 + t)
3
X
utt
utt
Aij
(t) .
(t) dx
xj
xi
i,j =1
(3.89)
Multiplicando (3.80) por (1 + t)2 e integrando por partes em [0, t] tem-se que
2
(1 + t) kuttt (t)k + (1 + t)
3
X
utt
utt
Aij
(t) .
(t) dx
xj
xi
i,j =1
t
2
(1 + s) kuttt (s)k ds + 2
+2
0
= ku3 k2 +
3
X
u2 u2
Aij
dx + kE2 k2L2 (; )
.
xj xi
i,j =1
+ kH2 k2L2 (; )
Z
+2
(1 + s)kuttt (s)k2 ds
3
X
utt
utt
(1 + s)
Aij
+2
(s) .
(s) dx ds
x
x
j
i
0
i,j =1
Z t
Z t
2
+ 2 (1 + s)kEtt (s)kL2 (; ) ds + 2 (1 + s)kHtt (s)k2L2 (; ) ds.
Z tZ
78
(3.90)
1
t
2
2
2
2
+ (1 + t)kEt (t)k = ku2 k + kE1 k +
kutt (s)k ds +
kEt (s)k2 ds
2
2
2
2 0
2 0
Z tZ
Z t
3
X
utt
utt
(1 + s)kEtt (s)k2L2 (; ) ds
+
(1 + s)
Aij
(s) .
(s) dx ds +
x
x
j
i
0
0
i,j =1
Z
(1 + t)
Z X
3
3
X
ut
u1 u2
utt
Aij
Aij
(t) .
(t) dx +
.
dx
x
x
x
x
j
i
j
i
i,j =1
i,j =1
3
X
ut
utt
Aij
+
(s) .
(s) dx ds (1 + t)(Ett (t), Et (t))L2 (; )
xj
xi
0
i,j =1
Z t
Z
1 t
+ (E2 , E1 )L2 (; ) +
(Ett (s), Et (s))L2 (; ) ds CI7 +
kutt (s)k2 ds
2
0
0
Z tZ
Z t
3
X
utt
utt
(1 + s)
Aij
+
kEt (s)k2 ds +
(s) .
(s) dx ds
2 0
x
x
j
i
0
i,j =1
Z tZ
(1 +
s)kEtt (s)k2L2 (; )
ds + C (1 + t)
Z
3
X
i,j =1
Z tZ
3
X
ut
xj (t)
utt
xi (t) dx
ut
xj (s)
utt
1
2
+C
xi (s) dx ds + (1 + t)kEtt (t)kL2 (; )
0
i,j =1
Z
Z
1 t
1 t
2
2
+ (1 + t)kEt (t)kL2 (; ) +
kEtt (s)kL2 (; ) ds +
kEt (s)k2L2 (; ) ds
2 0
2 0
Z t
Z t
1
kutt (s)k2 ds + C1
kEt (s)k2 ds
C1 I7 +
2 0
0
Z tZ
Z t
3
X
utt
utt
+
(1 + s)
Aij
(s) .
(s) dx ds + C1
(1 + s)kEtt (s)k2 ds
xj
xi
0
0
i,j =1
Z
3
X
+ C1 (1 + t)
j =1
+ C1
Z tZ
3
X
j =1
Z
3
X
ut 2
xj (t) dx + C1 (1 + t)
i=1
Z tZ
3
X
ut 2
xj (s) dx ds + C1
0
i=1
utt 2
xi (t) dx
utt 2
xi (s) dx ds
1 t
2
2
(1 + s)kHtt (s)kL2 (; ) ds + (1 + t)kEt (t)k CI7 +
kutt (s)k2 ds
2
2
0
0
Z tZ
Z t
3
X
utt
utt
kEt (s)k2 ds + C
(1 + s)
Aij
+C
(s) .
(s) dx ds
xj
xi
0
0
i,j =1
t
Z
+C
3
X
ut
ut
(t) .
(t) dx
Aij
xj
xi
i,j =1
Z
+ C (1 + t)
3
X
ut
ut
(s) .
(s) dx ds + 1 (1 + t)kEtt (t)k2L2 (; )
Aij
x
x
j
i
i,j =1
Z tZ
+C
0
3
X
utt
utt
Aij
(t) .
(t) dx
xj
xi
i,j =1
+ C (1 + t)kEt (t)k2 .
Escolhendo suficientemente pequeno, usando (3.89), (3.64) e o Corolrio 3.2 tem-se:
Z t
(1 + s)kHtt (s)k2L2 (; ) ds CI7
0
3
X
utt
utt
(1 + s)
Aij
(s) .
(s) dx ds.
xj
xi
i,j =1
Z tZ
+C
0
(1 + t) kuttt (t)k + (1 + t)
3
X
utt
utt
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
t
2
(1 + s) kuttt (s)k ds + 2
+2
(3.91)
t
2
(1 + s) kEtt (s)k ds
0
3
X
utt
utt
(1 + s)
Aij
(s) .
(s) dx ds.
x
x
j
i
i,j =1
Z tZ
CI7 + C
0
80
i,j =1
Z
Z
Z
1
1 t
2
2
= ku2 k +
kutt (s)k ds (1 + t) uttt (t) . utt (t) dx + u3 . u2 dx
2
2 0
Z tZ
Z t
+
uttt (s) . utt (s) dx ds +
(1 + s)kuttt (s)k2 ds
0
Z tZ
kutt (s)k2 ds
1
(1 + s)kuttt (s)k2 ds
(1 + t)kutt (t)k2 + C
4
0
Z t
Z t
(1 + s)kEtt (s)k2 ds +
(1 + s)kcurl utt (s)k2 ds.
+ 1
+ (1 + t)kuttt (t)k2 +
i,j =1
Z tZ
0
3
X
utt
utt
(1 + s)
Aij
(s) .
(s) dx ds.
x
x
j
i
i,j =1
Z tZ
+ C
0
i,j =1
Z tZ
0
Z
+2
81
(3.92)
(1 + t) kuttt (t)k + (1 + t)
3
X
utt
utt
Aij
(t) .
(t) dx
xj
xi
i,j =1
t
3
(1 + s) kuttt (s)k ds + 2
+2
0
3
X
u2 u2
Aij
.
dx + kE2 k2L2 (; )
x
x
j
i
i,j =1
= ku3 k +
+ kH2 k2L2 (; )
+3
3
X
utt
utt
(1 + s)
Aij
(s) .
(s) dx ds
xj
xi
i,j =1
Z tZ
+3
0
Z
+3
t
2
(1 + s)
kEtt (s)k2L2 (; )
Z
ds + 3
82
(3.93)
(1 + s)kutt (s)k2 ds
+ (1 + t)2 kEt (t)k2 = ku2 k2 + kE1 k2 +
2
2
2
0
Z tZ
Z t
3
X
utt
utt
2
2
Aij
(1 + s)kEt (s)k ds +
(1 + s)
+
(s) .
(s) dx ds
x
x
j
i
0
0
i,j =1
t
(1 + s)
kEtt (s)k2L2 (; )
ds (1 + t)
3
X
ut
utt
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
Z tZ
3
3
X
X
u1 u2
ut
utt
Aij
+
.
dx + 2
(1 + s)
Aij
(s) .
(s) dx ds
xj xi
xj
xi
i,j =1
0
i,j =1
Z t
2
(1 + t) (Ett (t), Et (t))L2 (; ) + (E2 , E1 )L2 (; ) + 2 (1 + s) (Ett (s), Et (s))L2 (; ) ds
Z
0
t
(1 + s)kutt (s)k2 ds +
CI7 +
+
0
(1 + s)kEt (s)k2 ds
Z tZ
(1 + s)2
3
X
i,j =1
+ C (1 + t)
Z
3
X
i,j =1
Z t
utt
utt
Aij
(1 + s)2 kEtt (s)k2L2 (; ) ds
(s) .
(s) dx ds +
xj
xi
0
ut
xj (t)
utt
1
2
2
xi (t) dx + (1 + t) kEtt (t)kL2 (; )
Z tZ
3
X
ut utt
(s)
(s) dx ds + (1 + t)2 kEt (t)k2L2 (; )
+C
(1 + s)
x
x
j
i
0
i,j =1
Z t
Z t
2
+ (1 + s)kEtt (s)kL2 (; ) ds +
(1 + s)kEt (s)k2L2 (; ) ds C1 I7
0
0
t
(1 + s)kutt (s)k2 ds + C1
+
0
(1 + s)kEt (s)k2 ds
Z t
3
X
utt
utt
2
(1 + s)
Aij
(s) .
(s) dx ds + C1
(1 + s)2 kEtt (s)k2 ds
x
x
j
i
0
i,j =1
Z tZ
+
0
+ C1 (1 + t)
Z
3
X
j =1
+ C1
Z
3
X
ut 2
2
xj (t) dx + C1 (1 + t)
i=1
Z tZ
3
X
j =1
utt 2
xi (t) dx
Z tZ
3
X
ut 2
(1 + s)
(s) dx ds + C1
(1 + s)
xj
i=1
utt 2
xi (s) dx ds
2
2
2
2
(1 + s) kHtt (s)kL2 (; ) ds + (1 + t) kEt (t)k CI7 +
(1 + s)kutt (s)k2 ds
2
0
0
Z tZ
Z t
3
X
utt
utt
2
2
Aij
(1 + s)
(1 + s)kEt (s)k ds + C
+C
(s) .
(s) dx ds
xj
xi
0
0
i,j =1
t
(1 + s) kEtt (s)k ds + C (1 + t)
+C
0
+ C (1 + t)
3
X
ut
ut
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
3
X
utt
utt
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
3
X
ut
ut
(s) .
(s) dx ds + 1 (1 + t)2 kEtt (t)k2L2 (; )
(1 + s)
Aij
x
x
j
i
i,j =1
Z tZ
+C
0
(1 + s)
kHtt (s)k2L2 (; )
3
X
utt
utt
(1 + s)
Aij
(s) .
(s) dx ds.
xj
xi
i,j =1
Z tZ
ds CI7 + C
0
(3.94)
2
i,j =1
Z t
Z
Z
1
2
2
2
= ku2 k +
(1 + s)kutt (s)k ds (1 + t)
uttt (t) . utt (t) dx + u3 . u2 dx
2
0
Z tZ
Z t
+2
(1 + s) uttt (s) . utt (s) dx ds +
(1 + s)2 kuttt (s)k2 ds
0
Z tZ
(1 + s)kutt (s)k2 ds
1
(1 + t)2 kutt (t)k2 + C
(1 + s)2 kuttt (s)k2 ds
4
0
Z t
Z t
+ 1
(1 + s)2 kEtt (s)k2 ds +
(1 + s)2 kcurl utt (s)k2 ds.
84
i,j =1
Z tZ
0
3
X
utt
utt
Aij
(1 + s)
(s) .
(s) dx ds.
xj
xi
i,j =1
Z tZ
+ C
0
i,j =1
Z tZ
0
3
X
utt
utt
Aij
(t) .
(t) dx
xj
xi
i,j =1
(1 + t) kuttt (t)k + (1 + t)
(1 + s) kuttt (s)k ds + 2
+2
0
(3.95)
(1 + t) kuttt (t)k + (1 + t)
3
X
utt
utt
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
t
4
(1 + s) kuttt (s)k ds + 2
+2
0
= ku3 k2 +
3
X
u2 u2
.
Aij
dx + kE2 k2L2 (; )
xj xi
i,j =1
+ kH2 k2L2 (; )
Z
+4
3
X
utt
utt
+4
(1 + s)
Aij
(s) .
(s) dx ds
xj
xi
0
i,j =1
Z t
Z t
3
2
+ 4 (1 + s) kEtt (s)kL2 (; ) ds + 4 (1 + s)3 kHtt (s)k2L2 (; ) ds.
Z tZ
85
(3.96)
3
+ (1 + t)3 kEt (t)k2 = ku2 k2 + kE1 k2 +
(1 + s)2 kutt (s)k2 ds
2
2
2
2 0
Z tZ
Z
3
X
utt
3 t
utt
3
2
2
Aij
(1 + s)
+
(1 + s) kEt (s)k ds +
(s) .
(s) dx ds
2 0
xj
xi
0
i,j =1
t
(1 + s)
kEtt (s)k2L2 (; )
ds (1 + t)
3
X
ut
utt
Aij
(t) .
(t) dx
xj
xi
i,j =1
Z tZ
3
3
X
X
ut
utt
u1 u2
2
(1 + s)
Aij
+
.
dx + 3
(s) .
(s) dx ds
Aij
xj xi
xj
xi
0
i,j =1
i,j =1
Z t
3
(1 + t) (Ett (t), Et (t))L2 (; ) + (E2 , E1 )L2 (; ) + 3 (1 + s)2 (Ett (s), Et (s))L2 (; ) ds
Z
3
2
CI7 +
Z tZ
+
0
(1 + s)3
3
X
i,j =1
+ C (1 + t)
3
X
i,j =1
+C
+
+
3
2
Z tZ
3
X
3
2
Z t
utt
utt
(1 + s)3 kEtt (s)k2L2 (; ) ds
Aij
(s) .
(s) dx ds +
xj
xi
0
ut
xj (t)
utt
1
3
2
xi (t) dx + (1 + t) kEtt (t)kL2 (; )
ut
(1 + s)
(s)
x
j
utt
3
2
xi (s) dx ds + (1 + t) kEt (t)kL2 (; )
0
i,j =1
Z t
Z
3 t
2
2
(1 + s) kEtt (s)kL2 (; ) ds +
(1 + s)2 kEt (s)k2L2 (; ) ds C1 I7
2
0
0
Z t
Z t
(1 + s)2 kutt (s)k2 ds + C1
(1 + s)2 kEt (s)k2 ds
3
2 0
Z tZ
+
0
(1 + s)3
i,j =1
3
+ C1 (1 + t)
3
X
j =1
+ C1
Z tZ
3
X
j =1
3
X
Z t
utt
utt
Aij
(s) .
(s) dx ds + C1
(1 + s)3 kEtt (s)k2 ds
xj
xi
0
Z
3
X
ut 2
3
xj (t) dx + C1 (1 + t)
i=1
utt 2
xi (t) dx
Z tZ
3
X
ut 2
(1 + s)
(s) dx ds + C1
(1 + s)2
x
j
i=1
2
utt 2
xi (s) dx ds
3 t
3
2
(1 + s)
ds + (1 + t) kEt (t)k CI7 +
(1 + s)2 kutt (s)k2 ds
2
2
0
0
Z tZ
Z t
3
X
utt
utt
2
2
3
Aij
(1 + s) kEt (s)k ds + C
(1 + s)
+C
(s) .
(s) dx ds
xj
xi
0
0
i,j =1
kHtt (s)k2L2 (; )
(1 + s) kEtt (s)k ds + C (1 + t)
+C
0
+ C (1 + t)
3
X
ut
ut
(t) .
(t) dx
Aij
xj
xi
i,j =1
3
X
utt
utt
Aij
(t) .
(t) dx
xj
xi
i,j =1
3
X
ut
ut
Aij
(1 + s)
(s) .
(s) dx ds + 1 (1 + t)3 kEtt (t)k2L2 (; )
xj
xi
i,j =1
Z tZ
+C
0
(1 + s)
kHtt (s)k2L2 (; )
3
X
utt
utt
(1 + s)
Aij
(s) .
(s) dx ds.
xj
xi
i,j =1
Z tZ
ds CI7 + C
0
(3.97)
Multiplicando (3.85) por (1 + t)3 e integrando por partes em [0, t] tem-se:
Z tZ
3
X
1
utt
utt
3
2
3
(1 + t) kutt (t)k +
(1 + s)
Aij
(s) .
(s) dx ds
2
x
x
j
i
0
i,j =1
Z
Z t
Z
1
3
2
2
2
3
= ku2 k +
(1 + s) kutt (s)k ds (1 + t)
uttt (t) . utt (t) dx + u3 . u2 dx
2
2 0
Z tZ
Z t
+3
(1 + s)2 uttt (s) . utt (s) dx ds +
(1 + s)3 kuttt (s)k2 ds
0
Z tZ
1
(1 + t)3 kutt (t)k2 + C
(1 + s)3 kuttt (s)k2 ds
4
0
Z t
Z t
+ 1
(1 + s)3 kEtt (s)k2 ds +
(1 + s)3 kcurl utt (s)k2 ds.
+ (1 + t)3 kuttt (t)k2 +
87
i,j =1
Z tZ
3
X
utt
utt
3
(s) .
(s) dx ds.
+ C
(1 + s)
Aij
xj
xi
0
i,j =1
Z tZ
i,j =1
Z tZ
0
(1 + t) kuttt (t)k + (1 + t)
3
X
utt
utt
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
(1 + s) kuttt (s)k ds + 2
+2
(3.98)
(1 + t) kuttt (t)k + (1 + t)
3
X
utt
utt
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
t
5
(1 + s) kuttt (s)k ds + 2
+2
0
= ku3 k2 +
3
X
u2 u2
Aij
.
dx + kE2 k2L2 (; )
xj xi
i,j =1
+ kH2 k2L2 (; )
Z
+5
3
X
utt
utt
+5
(1 + s)
Aij
(s) .
(s) dx ds
x
x
j
i
0
i,j =1
Z t
Z t
4
2
+ 5 (1 + s) kEtt (s)kL2 (; ) ds + 5 (1 + s)4 kHtt (s)k2L2 (; ) ds.
Z tZ
88
(3.99)
i,j =1
Z
(1 + s)
kEtt (s)k2L2 (; )
ds (1 + t)
3
X
ut
utt
Aij
(t) .
(t) dx
x
x
j
i
i,j =1
Z tZ
3
3
X
X
ut
utt
u1 u2
3
+
.
dx + 4
(1 + s)
Aij
(s) .
(s) dx ds
Aij
xj xi
x
x
j
i
i,j =1
0
i,j =1
Z t
4
(1 + t) (Ett (t), Et (t))L2 (; ) + (E2 , E1 )L2 (; ) + 4 (1 + s)3 (Ett (s), Et (s))L2 (; ) ds
Z
0
t
CI7 + 2
0
Z tZ
0
3
X
i,j =1
+ C (1 + t)
3
X
i,j =1
Z t
utt
utt
Aij
(s) .
(s) dx ds +
(1 + s)4 kEtt (s)k2L2 (; ) ds
xj
xi
0
ut
xj (t)
Z tZ
3
X
+C
i,j =1
utt
1
4
2
xi (t) dx + (1 + t) kEtt (t)kL2 (; )
ut
(1 + s)
(s)
x
j
+2
utt
4
2
xi (s) dx ds + (1 + t) kEt (t)kL2 (; )
Z t
ds + 2 (1 + s)3 kEt (s)k2L2 (; ) ds C1 I7
0
t
+2
0
Z tZ
+
0
(1 + s)4
+ C1
3
X
i,j =1
(1 + t)
Z tZ
3
X
j =1
Z t
utt
utt
(s) .
(s) dx ds + C1
(1 + s)4 kEtt (s)k2 ds
Aij
xj
xi
0
Z
3
X
j =1
+ C1
(1 + s)4
Z
3
X
ut 2
5
xj (t) dx + C1 (1 + t)
i=1
utt 2
xi (t) dx
Z tZ
3
X
ut 2
(1 + s)
(s) dx ds + C1
(1 + s)3
x
j
i=1
3
utt 2
xi (s) dx ds
4
2
4
2
(1 + s) kHtt (s)kL2 (; ) ds + (1 + t) kEt (t)k CI7 + 2 (1 + s)3 kutt (s)k2 ds
2
0
0
Z t
Z tZ
3
X
utt
utt
3
2
4
+C
(1 + s) kEt (s)k ds + C
(1 + s)
Aij
(s) .
(s) dx ds
xj
xi
0
0
i,j =1
t
3
X
ut
ut
(t) .
(t) dx
Aij
xj
xi
i,j =1
(1 + s) kEtt (s)k ds + C (1 + t)
+C
0
+ C (1 + t)
3
X
ut
ut
Aij
(1 + s)
(s) .
(s) dx ds + 1 (1 + t)4 kEtt (t)k2L2 (; )
xj
xi
i,j =1
Z tZ
+C
0
3
X
utt
utt
Aij
(t) .
(t) dx
xj
xi
i,j =1
3
i,j =1
1
+
(1 + t)5
10
3
X
utt
utt
Aij
(t) .
(t) dx.
xj
xi
i,j =1
i,j =1
Z t
Z
Z
1
2
3
2
4
= ku2 k + 2 (1 + s) kutt (s)k ds (1 + t)
uttt (t) . utt (t) dx + u3 . u2 dx
2
0
Z tZ
Z t
+4
(1 + s)3 uttt (s) . utt (s) dx ds +
(1 + s)4 kuttt (s)k2 ds
0
Z tZ
1
(1 + t)4 kutt (t)k2 + C
(1 + s)4 kuttt (s)k2 ds
4
0
Z t
Z t
(1 + s)4 kcurl utt (s)k2 ds.
+ 1
(1 + s)4 kEtt (s)k2 ds +
+ (1 + t)4 kuttt (t)k2 +
90
i,j =1
Z tZ
3
X
utt
utt
4
(s) .
(s) dx ds.
+ C
(1 + s)
Aij
xj
xi
0
i,j =1
Z tZ
i,j =1
Z tZ
0
0
t
+2
0
5
(1 + t)4 kEt (t)k2 CI7 .
4
3
X
ut
ut
Aij
(t) .
(t) dx CI7 (1 + t)4 ,
x
x
j
i
i,j =1
t > 0.
Z
uttt (t) . utt (t) dx +
Z
3
X
utt
ut
(t) .
(t) dx + |utt (t)|2 dx
Aij
x
x
j
i
i,j =1
Z
+
Ou ainda,
Z X
3
1 d
ut
1 d
ut
2
Aij
kutt (t)k +
(t) .
(t) dx + kutt (t)k2
2 dt
2 dt i,j =1
xj
xi
Z
+ curl Et (t) . utt (t) dx = 0.
91
(3.101)
Z t
3
X
u1 u1
.
dx + 2 (1 + s)3 kutt (s)k2 ds
Aij
xj xi
0
i,j =1
Z tZ
3
X
ut
ut
Aij
(1 + s)
+2
(s) .
(s) dx ds
(1 + s)4 curl Et (s) . utt (s) dx ds
xj
xi
0
i,j =1
Z tZ
Z tZ
h
i
4 d
(1 + s)
CI7
curl Et (s).ut (s) dx ds +
(1 + s)4 curl Ett (s).ut (s) dx ds
dt
0
Z
Z
= CI7 (1 + t)4 curl Et (t) . ut (t) dx + curl E1 . u1 dx
Z tZ
Z tZ
Z tZ
+4
0
Z tZ
+
0
Z
t
+ C1
(1 + s) kEt (s)k ds + C1
(1 + s) kcurl ut (s)k ds +
(1 + s)5 kEtt (s)k2 ds
2
0
0
0
Z t
+ C2
(1 + s)3 kcurl ut (s)k2 ds +
(1 + s)5 kEtt (s)k2 ds
2 0
0
Z
i,j =1
92
Z t
3
X
ut
ut
(1 + s)4 kutt (s)k2 ds CI7 .
Aij
(t) .
(t) dx +
xj
xi
0
i,j =1
(3.102)
i,j =1
Z
Z
1
5 t
2
4
2
5
= ku2 k +
(1 + s) kutt (s)k ds (1 + t)
uttt (t) . utt (t) dx
2
2 0
Z
Z tZ
Z t
4
(1 + s) uttt (s) . utt (s) dx ds +
(1 + s)5 kuttt (s)k2 ds
+ u3 . u2 dx + 5
Z tZ
1
(1 + t)5 kutt (t)k2 + C
(1 + s)5 kuttt (s)k2 ds
4
0
Z t
Z t
(1 + s)5 kcurl utt (s)k2 ds.
(1 + s)5 kEtt (s)k2 ds +
+ 1
+ (1 + t)5 kuttt (t)k2 +
i,j =1
Z tZ
3
X
utt
utt
5
1
CI7 + C I7 + C
(1 + s)
(s) .
(s) dx ds.
Aij
x
x
j
i
0
i,j =1
1
(1 + t)5 kutt (t)k2 +
4
Z tZ
t > 0,
t > 0,
t>0
(3.103)
(3.104)
(3.105)
(3.106)
1
1
1
+ Lut (t) Lu(t) + ut (t) + curl E(t).
94
95
Captulo 4
Equaes Elasto-Eletromagnticas
Anisotrpicas Semilineares
Neste captulo, mostramos a existncia de solues globais e taxas de decaimento da
energia associada ao seguinte problema semilinear de valor inicial:
3
X
u
utt
A ij
+ ut + curl E = f (ut )
em (0, ),
x
x
i
j
i,j =1
(4.1)
em (0, ),
(4.2)
Ht + curl E = 0
em (0, ),
(4.3)
div (H) = 0
em (0, ),
(4.4)
u(x, 0) = u0 (x),
ut (x, 0) = u1 (x)
em ,
(4.5)
E(x, 0) = E0 (x),
H(x, 0) = H0 (x)
em ,
(4.6)
em (0, )
(4.7)
u = 0,
E =0
R3
| 5 fi ()| k2 | |p1 ,
fi
p2
5
xj () k3 | | ,
R3 ,
R3 ,
i = 1, 2, 3
i, j = 1, 2, 3
(4.8)
f () = ||2 .
U (0) = U
0
onde U (t) = u(t), ut (t), E(t), H(t) , U0 = u0 , u1 , E0 , H0 , F (U (t)) = 0, f (ut (t)), 0, 0
e A = A + B sendo A : D(A) X X e B : X X os operadores lineares definidos
no Captulo 3.
4.1
C 1 [0, Tm ); D(A) Y
tTm
Demonstrao:
Seja u, v D(A2 ), com u = (u1 , u2 , u3 , u4 ) e v = (v1 , v2 , v3 , v4 ) tal que kukD(A2 ) M
e kvkD(A2 ) M .
Se kukD(A2 ) M usando a imerso H 2 () , L (), tem-se que
ku2 k[L ()]3 Cku2 k[H 2 ()]3 CkukD(A2 ) CM.
Primeira estimativa:
i=1
Z
L1 (M )
Segunda estimativa:
kA F (v) F (u) kX L2 (M )kv ukD(A2 )
i=1
98
para i, j = 1, 2, 3 .
ej
z1 z2 z3
,
,
, ento
xj xj xj
Z
2
5fi (v2 (x)) . Dej v2 (x) 5fi (u2 (x)) . Dej u2 (x)2 dx
f
(v
)
f
(u
)
=
i
2
i
2
2
xj
L ()
Z
5fi (v2 (x)) . Dej v2 (x) 5fi (v2 (x)) . Dej u2 (x)2 dx
2
Z
+2
5fi (v2 (x)) . Dej u2 (x) 5fi (u2 (x)) . Dej u2 (x)2 dx
kA2 F (v) F (u) kX L3 (M )kv ukD(A2 )
3
X
i=1
i=1
para i, j, k = 1, 2, 3 .
L ()
2
e
e
j
j
=
5f
(v
)
.
D
v
5f
(u
)
.
D
u
i
2
2
i
2
2
2
xk
L ()
=
Dek 5 fi (v2 ) . Dej v2 + 5fi (v2 ) . Dek Dej v2 Dek 5 fi (u2 ) . Dej u2
3
2
X
fi
v2,l
ek
5 fi (u2 ) . D D u2 L2 () =
5
(v2 ) . D v2
xl
xj
l=1
ek
ej
u2,l
fi
ek
5
(u2 ) . D u2
+ 5 fi (v2 ) . Dek +ej v2 5fi (u2 ) . Dek +ej u2
xl
xj
3 2
X
fi
v2,m v2,l
2 fi
u2,m u2,l
=
(v2 )
(u2 )
xm xl
xk xj
xm xl
xk xj
m, l=1
+ 5 fi (v2 ) . D
ek +ej
v2 5fi (u2 ) . D
ek +ej
2
u2
2
L ()
3
X
2 fi
v2,m v2,l
2 fi
v2,m v2,l
(v
)
(u2 )
C
2
xm xl
xk xj
xm xl
xk xj
m, l=1
2
2
3
X
2 fi
v2,m v2,l
2 fi
u2,m u2,l
+C
(u
)
(u2 )
2
xm xl
xk xj
xm xl
xk xj
m, l=1
2
2
L ()
L ()
2
+ C
5fi (v2 ) . Dek +ej v2 5fi (u2 ) . Dek +ej v2
L2 ()
2
+ C
5fi (u2 ) . Dek +ej v2 5fi (u2 ) . Dek +ej u2
L2 ()
2
3
2
X
2 fi
v2,m
f
i
C
(v
)
(u
)
2
2
xm xl
xk
x
m xl
L ()
m, l=1
2
3
X
2 fi
+C
(u
)
2
xm xl
m, l=1
2
4
L
v2,l
xj
()
v2,m v2,l u2,m u2,l
xk xj xk xj
()
2
2
+ C
5fi (v2 ) 5fi (u2 )
[L ()]3
Dek +ej v2
2
2
+ C
5fi (u2 )
[L ()]3
Dek +ej v2 Dek +ej u2
.
100
2
2
L ()
2
4
L ()
2
2
L ()
C1 (M )
L ()
3
X
m, l=1
kv2
v2,l
2
v2,m
2
2
u2 k[L ()]3
xk
1
xj
1
H ()
H ()
3
X
v2,m v2,l u2,m v2,l u2,m v2,l u2,m u2,l
+ C1 (M )
xk xj xk xj + xk xj xk xj
m, l=1
2
2
L ()
U(0) = U
0
tem uma nica soluo U definida no intervalo de tempo maximal [0, Tm ) tal que
U C [0, Tm ); D(A1 ) C 1 [0, Tm ); X1
satisfazendo uma das duas possibilidades: Tm = + ou Tm < + e nesse caso
lim
U(t)
D(A1 ) = +.
tTm
101
Ax X1
A1 x = Ax,
x D(A1 )
o gerador de um semigrupo C0 em X1 . Alm disso, se S(t) tR+ o semigrupo em X
gerado por A e S1 (t) tR+ o semigrupo em X1 gerado por A1 , ento
S1 (t) x = S(t) x,
x X1 e t > 0.
Analogamente ao que foi feito no Teorema 3.1, mostra-se que se div H0 = 0 ento
div H(t) = 0 t > 0. Dessa forma, o Teorema 4.1 est demonstrado.
4.2
Nesta seo, mostramos a existncia de soluo global e encontramos taxas de decaimento para a energia associada ao sistema (4.1)-(4.7).
Os dois prximos lemas so usados na demonstrao do Teorema 4.3. A prova do
Lema 4.2 pode ser encontrada em Ikehata [14].
Lema 4.2. Seja > 1 um nmero real. Ento, existe uma constante C > 0 dependendo
somente de tal que
Z
(1 + t s)1/2 (1 + s) ds C (1 + t)1/2
(1 + t s)1 (1 + s) ds C (1 + t)1
Lema 4.3. Se 1 < m ento existe uma constante C(, m) tal que
Z t
(1 + t s)m (1 + s) ds C(, m) (1 + t)m ,
t 0.
0
Demonstrao:
Observe que
Z
onde
Z
(1+t)/2
(1 + t s)m (1 + s) ds,
I1 (t) =
0
t+1/2
I2 (t) =
(1 + t s)m (1 + s) ds.
(1+t)/2
I1 (t) =
(1 + t s) (1 + s) ds
m
(1 + t)
1+t
(1 + s) ds
2
0
0
(1+t)/2
m Z (1+t)/2
1+t
(1 + s)+1
m
m
=
(1 + s) ds = 2 (1 + t)
2
+ 1 0
0
+1
2m
1+t
m
=
(1 + t)
2m ( 1)1 (1 + t)m .
1 1+
1
2
(1+t)/2
I2 (t) =
(1 + t s) (1 + s) ds
(1 + t s)m ds
2
(1+t)/2
(1+t)/2
=
1+t
2
t+1/2
(1 + t s)m+1
m + 1
(1+t)/2
m+1
(1 + t 1/2 t)m+1
1
1+t
=
m1
m1
2
m+1
m+1
1+t
1
1+t
1
(m 1)
=
2
2
2
1+t
1+t
2
103
t 0.
t > 0,
1/2
3
X
w1
w1
Aij (x)
(x) .
(x) dx
x
x
j
i
i,j =1
1/2
3
X
w2
w2
Aij (x)
(x) .
(x) dx
,
x
x
j
i
i,j =1
104
Usando as estimativas de decaimento obtida para a energia do sistema linear (3.1)(3.7), vamos obter taxas de decaimento para a energia do sistema semilinear (4.1)-(4.7).
Por propriedades conhecidas da teoria de semigrupos, a soluo do sistema semilinear
(4.1)-(4.7) pode ser escrita da forma:
Z
U (t) = S(t)U0 +
(4.10)
onde U (t) = u(t), ut (t), E(t), H(t) , U0 = u0 , u1 , E0 , H0 e F (U (s)) = 0, f (ut (s)), 0, 0 .
Pelo Teorema 4.1, para mostrarmos a existncia de soluo global, suficiente obtermos estimativas a priori da soluo na norma D(A2 ) no intervalo de existncia maximal
[0, Tm ). Mostraremos ainda, que as estimativas encontradas para o problema linear, so
mantidas para o problema semilinear.
Como conseqncia imediata do Teorema 3.7 e do Corolrio 3.3:
Lema 4.4. Assumindo as hipteses do Teorema 4.3, tem-se
1/2
105
Se ut (s) = u1t (s), u2t (s), u2t (s) , pela Hiptese 4.1 tem-se:
I7 (s) =
3
X
3
X
i=1
i=1
2p
2p
+ k 4 fi (ut (s))k2L2 () + C1 kut (s)k[L
6p/5 ()]3 C2 kut (s)k[L2p ()]3
k
2
3
X
3
X
X
3
ut
fi
ej
2ej
+ C2
ut (s) . D ut (s)
(s)
5fi (ut (s)) . D ut (s) +
5
xk
xj
2
i=1
j=1
L ()
j,k=1
C3 kut (s)k2p
[H 2 ()]3
+ C3
3 Z
X
i,j=1
+ C3
3
X
i,j,k=1
+C4
3 Z
X
j=1
2
5 fi ut (x, s) Dej ut (x, s)4 dx C4 kut (s)k2p 2 3
[H ()]
xk
2(p1)
|D
2ej
ut (x, s)| dx + C4
3 Z
X
C4 kut (s)k2p
[H 2 ()]3
j=1
2(p1)
C4 kut (s)k[L ()]3
Z
3
X
j=1
2(p2)
+ C4 kut (s)k[L ()]3
3 Z
X
j=1
(4.11)
(4.12)
1/2
106
t [0, Tm )
1/2
t [0, Tm )
1/2
t [0, Tm )
1/2
(4.13)
t [0, Tm )
1/2
t [0, Tm ).
t [0, T0 )
t [0, T0 )
t [0, T0 )
t [0, T0 )
1/2
t [0, T0 )
(4.14)
1/2
1/2
1/2
1/2
t [0, Tm ).
107
t [0, T0 ].
p/2
t [0, T0 ].
K C
C C K p
2/(p1)
onde C a constante que aparece no Lema 4.2. Ento se I7 < tem-se que
1/2
t [0, T0 ].
(4.15)
t [0, T0 ]
1/2
t [0, T0 ]
1/2
t [0, T0 ]
1/2
t [0, T0 ].
(4.16)
Observe que as estimativas (4.15) e (4.16) contradizem (4.14). Dessa forma, as estimativas em (4.13) so verdadeiras. Assim, conclumos que existe uma constante > 0
tal que se os dados iniciais satisfazem I7 < , a soluo U (t) do problema semilinear
satisfaz kU (t)kD(A2 ) C,
108
Apndices
Apndice 1 - Espaos L2(Q; )
Seja Q um aberto qualquer do R3 e M. Define-se:
L2 (Q; ) = v(x) = v1 (x), v2 (x), v3 (x) ; vi mensurvel para 1 i 3, tal que
Z
3
X
i,j (x) vi (x) vj (x) dx < + ,
i,j =1
com
kvk2L2 (Q; )
Z
3
X
i,j =1
kvk2L2 (Q; ) =
Z
3
X
i,j =1
Z
v1 v2
Q
1,1
v3 1,2
1,3
1,2
2,2
2,3
v1
1,3
2,3 v2 dx
v3
3,3
Mostraremos que L2 (Q; ) = [L2 (Q)]3 e que as normas k . kL2 (Q; ) e k . k so equivalentes.
i) L2 (Q; ) [L2 (Q)]3 .
Se v L2 (Q; ), com v = (v1 , v2 , v3 ), ento v1 , v2 , v3 so mensurveis e por (1.1)
Z
Z
Z
1
2
2
|vi (x)| dx
|v(x)| dx
[v(x)]t (x) v(x) dx
0 Q
Q
Q
Z
3
X
1
=
i,j (x) vi (x) vj (x) dx < +
0 i,j =1 Q
assim, vi L2 (Q) para i = 1, 2, 3, o que mostra i).
Alm disso,
0 kvk2 kvk2L2 (Q; ) ,
109
v L2 (Q; ).
i,j =1
3
X
i,j =1
C1
3
X
i,j =1
3
X
i,j =1
i=1
v [L2 (Q)]3 .
O que mostra que L2 (Q; ) = [L2 (Q)]3 e as normas k . kL2 (Q; ) e k . k so equivalentes.
Agora vamos mostrar que (v, u)L2 (Q; ) =
Z
3
X
i,j =1
v L2 (Q; ).
i,j=1
kvk2 = 0
= v = 0.
v, u L2 (Q; ).
3
X
i,j =1
i,j =1
Z
j,i (x) uj (x) vi (x) dx = (u, v)L2 (Q; )
Q
(4.17)
vi)
e v, u, w
L (Q; ).
Seja v, u, w L2 (Q; ) com v = (v1 , v2 , v3 ), u = (u1 , u2 , u3 ) e w = (w1 , w2 , w3 ). Se
, R tem-se:
(v + u, w)L2 (Q; ) =
Z
3
X
i,j =1
3
X
i,j =1
i,j (x) vi (x) + ui (x) wj (x) dx
Z
i,j (x) vi (x) wj (x) dx +
Q
Z
3
X
i,j =1
R3 ,
6= 0
q. s. em Q,
v [L2 (Q)]3 .
111
Como para x Q fixo, (x) uma matriz simtrica, tem-se que 1 (x) simtrica
(ver G. Strang [28], Captulo 2, pg 91).
Vamos mostrar tambm que 1 satisfaz a condio (1.1), ou seja,
t 1 (x) C0 ||2 ,
R3 , q. s. em Q
(4.18)
% [(x)]2 % =
% (x) (x) % =
[(x) %]t [(x) %] =
||
C
C
C
C
o que prova (4.18).
Assim, 1 (x) simtrica e positiva definida quase sempre em Q.
Logo, pela Proposio 4.1
k1 (x)kM33 = max (x),
quase sempre em Q,
(4.19)
onde max (x) o maior autovalor da matriz 1 (x) para quase todo x Q.
Fixado x Q, seja (x) um autovalor da matriz 1 (x), isto , existe R3 , 6= 0
tal que
1 (x) = (x) .
Multiplicando por (x) tem-se:
= (x) (x)
= (x) =
Assim, (x) =
1
.
(x)
1
um autovalor de (x). Tambm,
(x)
t (x) =
1
| |2 .
(x)
112
1
.
0
1
| |2
(x)
1
0
(x)
Por (4.19):
k1 (x)kM33
1
,
0
quase sempre em Q.
C
,
0
quase sempre em Q,
para 1 i, j 3.
1
Dessa forma, i,j
L (Q) para todo 1 i, j 3.
S(t)x dt.
0
S(t)Ax dt.
0
h0
em X,
lim Axh = Ax
h0
em X.
Assim, x D(A2 ), o que mostra que D(A2 ) denso em D(A) com a norma do grfico.
Os resultados da teoria de semigrupos usados neste apndice podero ser encontrados em
A. Pazy [27], Teorema 2.4, pg 4 e 5.
113
(4.20)
(4.21)
D(O) .
q. s. em O.
114
q. s. em .
[ Aij (x) j ] . i a0
i,j =1
3
X
|i |2 ,
i R3 com i = 1, 2, 3,
x .
(4.22)
i=1
3
X
u
u
Aij (x)
(x) .
(x) dx.
xj
xi
i,j =1
u [H 1 (Q)]3 .
u1
u1
ij
(x)
ij
ij
(x)
C11 (x) C12
(x) C13
(x)
xj
xi
Z
u
u
2
2
ij
ij
ij
(x)
=
.
(x)
dx
C
(x)
C
(x)
C
(x)
21
22
23
xj
xi
31
32
33
(x)
(x)
xj
xi
u1
u2
u3
ij
ij
ij
u1
C11 (x)
(x) + C12 (x)
(x) + C13 (x)
(x)
x (x)
xj
xj
xj
i
u
u
u
1
2
3
ij
ij
ij
2
(x) + C22 (x)
(x) + C23 (x)
(x) .
=
(x)
C21 (x)
dx
xj
xj
xj
xi
Q
ij
u
3
u1
u2
u3
ij
ij
(x)
C31 (x)
(x) + C32 (x)
(x) + C33 (x)
(x)
xi
xj
xj
xj
Z
u1
u1
u2
u1
u3
u1
ij
ij
ij
=
C11
(x)
(x)
(x) + C12
(x)
(x)
(x) + C13
(x)
(x)
(x)
xj
xi
xj
xi
xj
xi
Q
ij
+ C21
(x)
u2
u2
u2
u3
u2
u1
ij
ij
(x)
(x)
(x)
(x) + C22
(x)
(x) + C23
(x)
(x)
xj
xi
xj
xi
xj
xi
u1
u3
ij
+ C31
(x)
(x)
(x)
xj
xi
=
Z
3
X
k, l=1
u2
u3
ij
(x)
C32
(x)
(x)
xj
xi
ul
uk
ij
Ckl
(x)
(x)
(x)
xj
xi
Q
u3
u3
ij
(x)
C33
(x)
(x)
xj
xi
3
X
ul
dx M
xj
k, l=1
dx
uk
M0 kuk2[H 1 (Q)]3
x
i L2 (Q)
L2 (Q)
u [H 1 (Q)]3 .
2
Z X
3
u
1
u
u
Aij (x)
(x) .
(x) dx.
xi (x) dx a0
xj
xi
Q i,j =1
Logo,
u [H 1 (Q)]3 ,
3
X
u
w
Aij (x)
(x) .
(x) dx
xj
xi
i,j =1
u [H 1 (Q)]3 .
u = 0.
kuk = 0
116
u = 0.
(4.23)
u, w [H 1 (Q)]3 .
Z
u(x) . w(x) dx +
(u, w)Z =
Q
Z
w(x) . u(x) dx +
=
Q
w(x) . u(x) dx +
Q
Z
3
X
3
X
Q k, l=1
i,j =1
3
X
Q k, l=1
i,j =1
Z
=
Z
3
X
3
X
u
w
Aij (x)
(x) .
(x) dx
x
x
j
i
i,j =1
Z
3
X
3
X
ij
(x)
Ckl
ul
wk
(x)
(x) dx
xj
xi
ij
Ckl
(x)
ul
wk
(x)
(x) dx
xi
xj
ul
wk
(x)
(x) dx
x
x
i
j
Q
Q
j, i=1
l, k=1
Z
Z X
3
w
u
=
w(x) . u(x) dx +
Aji (x)
(x) .
(x) dx = (w, u)Z ,
xi
xj
Q
Q j, i=1
=
w(x) . u(x) dx +
ji
Clk
(x)
ij
ji
onde foi usado que Ckl
(x) = Clk
(x). De fato, como por hiptese aijkl (x) = aklij (x) q. s.
em Q tem-se:
Ckijl (x) = (1 i l j k ) ai kj l (x) + i k j l ai lj k (x)
= (1 j k i l ) ai kj l (x) + j l i k ai lj k (x)
= (1 j k i l ) aj li k (x) + j l i k aj ki l (x) = Cljik (x).
ij
ji
Observao 4.2. De Ckl
(x) = Clk
(x) segue que Atij = Aji . De fato,
Atij =
ij
C11
ij
C21
ij
C31
ij
C12
ij
C22
ij
C32
ij
C13
ij
C23
ij
C33
ij
C11
ij
C12
ij
C13
ij
C21
ij
C22
ij
C23
117
ij
C31
ij
C32
ij
C33
ji
C11
ji
C21
ji
C31
ji
C12
ji
C22
ji
C32
ji
C13
ji
C23
ji
C33
= Aji .
, R
e u, w, v [H 1 (Q)]3 .
v
+
Aij (x)
u(x) + w(x) .
(x) dx
xj
xi
Q i,j =1
Z
Z
=
u(x) . v(x) dx +
w(x) . v(x) dx
Z
3
X
u
w
v
Aij (x)
+
(x) + Aij (x)
(x) .
(x) dx
xj
xj
xi
Q i,j =1
Z
Z
=
u(x) . v(x) dx +
w(x) . v(x) dx
Z
Z X
3
3
X
w
u
v
v
Aij (x)
(x) .
(x) dx +
(x) .
(x) dx
+
Aij (x)
xj
xi
xj
xi
Q i,j =1
Q i,j =1
(Z
)
Z X
3
u
v
=
u(x) . v(x) dx +
Aij (x)
(x) .
(x) dx
xj
xi
Q
Q i,j =1
(Z
)
Z X
3
w
v
+
w(x) . v(x) dx +
Aij (x)
(x) .
(x) dx
xj
xi
Q
Q i,j =1
Z
x D(A1 )
118
Demonstrao:
1o.) D(A1 ) um subespao vetorial de X1 .
Seja x1 , x2 D(A1 ) e R x1 , x2 X1 , logo x1 + x2 X1 , pois X1 um
espao vetorial.
Tambm, Ax1 , Ax2 X1 , logo A(x1 + x2 ) = Ax1 + Ax2 X1 .
Dessa forma, x1 + x2 D(A1 ) e D(A1 ) um subespao vetorial de X1 .
2o.) D(A1 ) denso em X1 .
Essa densidade est provada no Apndice 3.
3o.) A1 um operador linear.
Se x1 , x2 D(A1 ) e R ento x1 + x2 D(A1 ), pois D(A1 ) um subespao
vetorial de X1 . Assim,
A1 (x1 + x2 ) = A(x1 + x2 ) = Ax1 + Ax2 = A1 x1 + A1 x2 ,
o que mostra que A1 um operador linear.
4o.) Vamos mostrar que A1 dissipativo.
Usando que A o gerador infinitesimal de um semigrupo C0 de contraes em
X, segue pelo Teorema de Lumer-Phillips (ver Pazy [27], pg 14) que A dissipativo
e Im(I A) = X,
> 0.
x D(B) e > 0.
(4.24)
119
(4.25)
em X1 .
Logo, Im(0 I A1 ) = X1 .
Pelo Teorema de Lumer-Phillips, A1 o gerador infinitesimal de um semigrupo C0 de
contraes em X1 .
Lema 4.6. Seja T (t) tR+ o semigrupo de contraes em X gerado por A e T1 (t) tR+
o semigrupo de contraes em X1 gerado por A1 , onde A1 o operador definido no Lema
4.5, ento T1 (t) x = T (t) x,
x X1 e t > 0.
Demonstrao:
A idia provar que T (t)X1 um semigrupo de classe C0 de contraes em X1 e seu
gerador infinitesimal A1 .
Sabemos que se x X1 = D(A), ento T (t) x X1 = D(A),
1o.) T (t)X1 um semigrupo de classe C0 em X1 .
i) T (0)X1 = I, onde I : X1 X1 o operador identidade.
Se x X1 tem-se T (0)X1 x = T (0)x = x, o que prova i).
ii) T (t + s)X1 = T (t)X1 T (s)X1 ,
t > 0.
t, s R+ .
Se x X1 tem-se:
T (t + s)X1 x = T (t + s) x = T (t) T (s) x = T (t) T (s)X1 x = T (t)X1 T (s)X1 x,
o que prova ii).
120
iii)
lim+
T (t)X1 x x
X1 = 0,
x X1 .
t0
Se x X1 tem-se:
lim+
T (t)X1 x x
X1 = lim+
T (t)X1 x x
X +
AT (t)X1 x Ax
X
t0
t0
= lim+
T (t)x x X + AT (t)x Ax
X = lim+
T (t)Ax Ax
X = 0.
t0
t0
Assim, conclumos que T (t)X1 um semigrupo de classe C0 em X1 .
2o.) T (t)X1 um semigrupo de contraes em X1 .
Seja x X1 ento:
T (t) x
= kT (t)xk + kAT (t)xk = kT (t)xk + kT (t)Axk
X
X
X
X
X1
X1
kxkX + kAxkX = kxkX1 .
Logo, T (t)X1 L(X1 ) e
T (t)
1.
X1 L(X1 )
3o.) A1 com domnio D(A1 ) o gerador infinitesimal do semigrupo T (t)X1 .
Seja A0 o gerador infinitesimal do semigrupo T (t)X1 . Se x D(A1 ) = D(A2 )
tem-se:
T (h) x x
T (h)x x
X1
lim+
Ax
= lim+
Ax
= 0.
h0
h0
h
h
X
X
!
T (h)X1 x x
h
T
(h)x
x
2
2
A
A x
= lim+
A
x
h0
h
X
X
T (h)Ax Ax
AT (h)x Ax
2
A x
= lim+
A(Ax)
= lim+
= 0.
h0
h0
h
h
X
X
Assim,
T (h) x x
X1
lim+
A1 x
h0
h
X1
+ lim+
A
h0
!
T (h)X1 x x
h
T (h) x x
X1
= lim+
Ax
h0
h
A(Ax)
= 0.
X
Por outro lado, pela teoria de semigrupos, existe > 0 tal que
(I A1 )D(A1 ) = X1 e (I A0 )D(A0 ) = X1 .
Pela afirmao acima
(I A0 )D(A1 ) = X1 e (I A0 )D(A0 ) = X1
D(A1 ) = (I A0 )1 X1 = D(A0 ).
Portanto, D(A1 ) = D(A0 ) e A1 = A0 e o Lema 4.6 est provado.
tal que
Demonstrao:
Como L2 (d ) um espao reflexivo, toda seqncia limitada tem uma subseqncia
que converge fraco em L2 (d ). Assim, existe uma seqncia {hm } tendendo a zero e uma
funo v L2 (d ) com kvkL2 (d ) K tal que {4hm u} converge fraco para v em L2 (d ).
Se C01 (d ) ento
Z
hm
(x)4
Z
u(x) dx
(x)v(x) dx.
d
dx =
4hm (x)u(x)
dx.
hm d
hm d
d
122
hm
hm
(x)4 u(x) dx =
4
(x)u(x)
dx
(x)u(x) dx.
d
d
d xi
Pela unicidade do limite
Z
Z
(x)v(x) dx =
u(x)
d
(x) dx
xi
u
u
2
L (d ) e
logo v =
K.
xi
2
xi
L (d )
Lema 4.8. Seja u H 1 (). Ento 4hi u = 4h u L2 (d ) para todo h tal que |h| < d e
u
h
k 4 ukL2 (d )
(4.26)
xi
2 .
L ()
Demonstrao:
Inicialmente supomos que u C 1 () H 1 (). Ento
Z
u(x + hei ) u(x)
1 h u
h
4 u(x) =
=
(x1 , ..., xi1 , xi + , xi+1 , ..., xn ) d.
h
h 0 xi
Pela desigualdade de Hlders:
2
Z h
u
1
h
2
| 4 u(x)| 2
(x1 , ..., xi1 , xi + , xi+1 , ..., xn ) d
h
xi
0
2
Z h Z h
u
1
d
2
d
(x
,
...,
x
,
x
+
,
x
,
...,
x
)
1
i1
i
i+1
n
xi
h
0
0
2
Z
1 h u
d.
=
(x
,
...,
x
,
x
+
,
x
,
...,
x
)
1
i1
i
i+1
n
h 0 xi
Integrando em d tem-se:
2
Z
Z Z
u
1 h
h
2
dx d
| 4 u(x)| dx
(x
,
...,
x
,
x
+
,
x
,
...,
x
)
1
i1
i
i+1
n
xi
h
d
0
d
2
Z
u
2
1 h
u
d =
xi
2 .
h 0
xi
L2 ()
L ()
Assim, por densidade conclumos que 4h u L2 (d ) e a desigualdade (4.26) verdadeira.
123
3
X
i,j=1
xi
u
Aij
;
xj
w [H01 ()]3 ,
(4.27)
(4.28)
w [H01 ()]3 .
Se v = (v1 , v2 , v3 ) [C01 ()]3 , definimos
dist(supp v, ) = min dist(supp v1 , ); dist(supp v2 , ); dist(supp v3 , ) .
1
3
Para |2h| < dist(supp v, ) temos que 4h v = 4h
k v [C0 ()] , para qualquer
k = 1, 2, 3, onde 4h v = 4h v1 , 4h v2 , 4h v3 . Ento podemos substituir w por
4h v na igualdade (4.28):
3
X
i,j =1
Z
Z
u
Aij (x)
(x) .
4h v(x) dx +
u(x). 4h v(x) dx =
f (x). 4h v(x) dx
xj
xi
124
3
X
i,j =1
Z
Z
u
h
h v
f (x) . 4h v(x) dx.
(x) . 4
(x) dx+ u(x) . 4 v(x) dx =
Aij (x)
xj
xi
(4.29)
Z
Z
1
1
=
g(x + hek )(x) dx +
g(x)(x) dx
h
h
Z
Z
g(x + hek ) g(x)
(x) dx = 4h g(x)(x) dx.
=
h
g3 (x) 4
4 g1 (x)1 (x) dx
3 (x) dx =
4h g3 (x)3 (x) dx =
4h g2 (x)2 (x) dx
4 Aij (x)
f (x) . 4h v(x) dx.
(x) .
(x) dx + u(x) . 4 v(x) dx =
xj
xi
i,j=1
(4.30)
Se g e so duas funes reais definidas em tem-se que
g(x + hek ) (x + hek )
g(x + hek )(x)
4h g(x)(x) =
h
h
+
Aij (x + hek ) 4
(x) .
(x) dx
4 Aij (x)
(x) .
(x) dx
x
x
x
x
j
i
j
i
i,j=1
i,j=1
Z
Z
+ u(x) . 4h v(x) dx =
f (x) . 4h v(x) dx
125
Assim,
Z
3
3 Z
X
X
v
u
v
h
h
Aij (x + hek )
4 u(x) .
(x) dx =
4 Aij (x)
(x) .
(x) dx
xj
xi
xj
xi
i,j=1
Z
+
i,j=1
u(x) . 4h v(x) dx
f (x) . 4h v(x) dx C
3
X
i=1
v
v
kuk[H 1 ()]3
xi
+kf k
xi
3
X
v
C1
kf k
xi
i=1
(4.31)
Sabemos que u = (u1 , u2 , u3 ) [H01 ()]3 . Seja ui a extenso por zero de ui a todo
R3 . Ento u = (u1 , u2 , u3 ) [H 1 (R3 )]3 . Logo, 4h u = (4h u1 , 4h u2 , 4h u3 ) [H 1 (R3 )]3 .
Seja C 1 (R3 ) tal que 0 1 e
(
1, se x d
(x)
=
0, se dist(x, ) < d2
com d2 < d.
2
Ento 4 u [H (R )]
e 4 u
2
d3
em [H01 ()]3 .
Seja h fixo com 0 < h < d3 . A desigualdade (4.31) vlida para toda funo
n . Assim, por passagem ao limite, conclumos que a desigualdade (4.31) vlida para
v = 2 4h u. Derivando a funo v tem-se
Z
3
X
v
h
Aij (x + hek )
4 u(x) .
(x) dx
xj
xi
i,j=1
Z
3
X
h
2
h
=
Aij (x + hek )
4 u(x) . (x)
4 u(x)
dx
x
x
j
i
i,j=1
Z
3
X
h
h
+
Aij (x + hek )
4 u(x) . 2(x)
(x) 4 u(x) dx.
x
x
j
i
i,j=1
126
Ou seja,
Z
3
X
h
(x) Aij (x + hek )
4 u(x) .
4h u(x) dx
xj
xi
i,j=1
Z
3
X
v
h
=
4 u(x) .
(x) dx
Aij (x + hek )
x
x
j
i
i,j=1
Z
3
X
h
h
Aij (x + hek )
4 u(x) . 2(x)
(x) 4 u(x) dx.
x
x
j
i
i,j=1
2
Z
3
X
i=1
Z
3
X
i,j=1
2
h
4 u(x) dx
(x)
xi
2
h
4 u(x) .
4h u(x) dx
(x) Aij (x + hek )
xj
xi
2
Z
3
X
v
h
=
Aij (x + hek )
(x) dx
4 u(x) .
xj
xi
i,j=1
Z
3
X
h
h
Aij (x + hek )
4 u(x) . 2(x)
(x) 4 u(x) dx
xj
xi
i,j=1
Z
3
X
v
(x) dx
Aij (x + hek )
4 u(x) .
x
x
j
i
i,j=1
+C
Z
3
X
i,j=1
(x)
(x)
xi
h
xj 4 u(x)
h
4 u(x) dx
Z
3
X
v
h
4 u(x) .
(x) dx
Aij (x + hek )
xj
xi
i,j=1
3
X
h
+C
xj 4 u
i,j=1
h
xi 4 u
.
127
Z
3
X
i=1
+C
3
X
i=1
3
X
2
h
(x)
4 u(x) dx C
xi
i,j=1
2
h
xj 4 u
h
xi 4 u
h
h
kf k
xi 4 u
+
xi 4 u
3
X
2 1
h
2
h
C
xj 4 u
+
xi 4 u
i,j=1
+C
3
X
i=1
3
X
h
2
2
2
h
kf k +
kf k +
xi 4 u
+C
xi 4 u
.
i=1
1
Z
h
2
2
| 4h u(x)|2 dx.
xi 4 u
C1 kf k + C1
d2
Como = 1 em d e 0 em
3
X
h u
2
4
xi
i=1
3
X
u
2
2
Ckf k +
xi
C1 kf k
3
2
[L2 (d )]
i=1
128
em B +
3
X
i,j=1
(y)
Aij (y)
xi
yj
onde
Aij (y) =
3
X
Ars ((y))
r,s=1
j
i
((y))
((y))
xr
xs
x = (y) = 1 (y), 2 (y), 3 (y) .
i
j
Aij (y) j . i =
Ars ((y))
((y))
((y)) j . i
xr
xs
r,s=1
i,j=1
i,j=1
=
X
X
3
3
i
j
((y)) j
((y)) i
.
Ars ((y))
xs
xr
i=1
j=1
3
X
r,s=1
3
X
3
X
Ars ((y)) s . r a0
|r |2
r,s=1
onde r =
r=1
3
X
i=1
1
(y)
y1
1
(y)
y2
1
(y)
y3
(4.32)
i
((y)) i com r = 1, 2, 3. Como
xr
2
(y)
y1
2
(y)
y2
2
(y)
y3
3
(y)
y1
3
(y)
y2
3
(y)
y3
1
(x)
x1
2
(x)
x1
1
(x)
x2
2
(x)
x2
1
(x)
x3
2
(x)
x3
(x)
x1
1
3
(x) =
0
x2
3
0
(x)
x3
0
1
0
3
X
i
((x)) i com r = 1, 2, 3. Assim, existe uma constante C R
y
r
i=1
tal que || C||. Logo, por (4.32) conclui-se que
tem-se que r =
3
3
X
X
Aij (y) j . i a1
|i |2 ,
i,j=1
i R3 com i = 1, 2, 3,
i=1
129
y D+ .
Z
D+
Z
3
X
w
u
(y) .
(y) dy +
u(y) . w(y)
dy.
Aij (y)
y
y
+
j
i
D
i,j=1
ento
u, w]
B[
=
Z
3
X
u
w
u(y) . w(y)
dy
Aij (y)
(y) .
(y) dy +
y
y
+
j
i
D
i,j=1
Z
D+
3 X
3
X
X
X
3
3
i
j
u
k
w
l
=
Ars (x)
(x)
(x)
(x)
(y) .
(x)
(y) dx
xr
xs
xk
yj
xl
yi
B + i,j=1
r,s=1
k=1
l=1
Z
Z
+
u(x) . w(x) dx =
u(x) . w(x) dx
Z
B+
B+
Z
3
X
l,k=1
3 X
3
X
B + i,j=1
r,s=1
i
j
k
l
u
w
Ars (x)
(x)
(x)
(y)
(y)
(x) .
(x) dx.
xr
xs
yj
yi
xk
xl
i
j
k
l
(x)
(x)
(y)
(y)
x
x
y
y
r
s
j
i
i,j=1 r,s=1
3 X
3
X
j
l
k
i
(x)
(y)
(x)
(y)
=
Ars (x)
xr
yi
xs
yj
j,s=1
i,r=1
=
3
X
j,s=1
Ars (x)
Als (x)
j
k
(x)
(y) = Alk (x).
xs
yj
Assim
u, w]
B[
=
Z
B+
Z
3
X
u
w
Alk (x)
(x) .
(x) dx +
u(x) . w(x) dx = B[u, w].
xk
xl
B+
l,k=1
m
[
k=0
3
2u
L2 () .
xi xj
2u
[L2 (BR (xk ) )]3
xi xj
2u
[L2 ()]3 . Como u soluo fraca do problema Lu+u = f
x23
em [D0 ()]3 .
Lu + u = f
Logo
3
X
A33
=f u+
x3
x3
A33
2u
=f u+
x23
i, j = 1
i+j <6
3
X
i, j = 1
i+j <6
u
Aij
xi
xj
em [D0 ()]3
u
A33 u
Aij
+
xi
xj
x3 x3
em [D0 ()]3 .
Como todos os termos do lado direito pertencem a [L2 ()]3 tem-se que
A33
2u
[L2 ()]3 .
x23
A matriz A33 M, logo pelo Apndice 2, A33 uma matriz inversvel e os elementos
da sua inversa pertencem a L (). Assim, conclumos que
2u
[L2 ()]3 .
x23
131
Referncias
[1] H. T. Banks, R. C. Smith, Y. Wang, Smart Materials Structures, Modeling, Estimation and Control, RAM, Wiley, Chichester, Masson, Paris, 1996.
[2] C. Bardos, G. Lebeau, J. Rauch, Sharp sufficient conditions for the observation,
control, and stabilization of waves from the boundary, SIAM J. Control and Optimization, 30 (5) (1992), 1024-1065.
[3] H. Brezis, T. Cazenave, Nonlinear evolution equations, Universit Pierre et Marie
Curie, 1994.
[4] R. C. Charo, R. Ikehata, Decay of solutions for a semilinear system of elastic waves
in an exterior domain with damping near infinity, Nonlinear Anal. 67 (2007), 398429.
[5] W. Dan, Y. Shibata, On a local energy decay of solutions of a dissipative wave
equation, Funkcial. Ekvac. 38 (1995), 545-568.
[6] G. Dassios, Local energy decay for scattering of elastic waves, J. Differential Equations 49 (1983), 124-141.
[7] R. Dautray, J. L. Lions, Mathematical Analysis and Numerical Methods for Science
and Technology, vol. 3, Spectral Theory and Applications, Springer-Verlag, Berlin,
1990.
[8] G. Duvaut, J. L. Lions, Les inquations in mcanique et en physique, Dunod, 1972.
[9] M. M. Eller, Unique continuation for solutions to Maxwells system with non-analytic
anisotropic coefficients, J. Math. Anal. Appl. 284 (2003), 698710.
[10] M. M. Eller, Continuous Observability for the Anisotropic Maxwell System, Appl.
Math. Optim. 55 (2007), 185201.
132
[24] C. S. Morawetz, Exponential Decay of Solutions of the Wave Equation, Comm. Pure
Appl. Math., vol. 19 (1966), 439-444.
[25] M. Nakao, Energy decay for the linear and semilinear wave equations in exterior
domains with some localized dissipations, Math. Z. 238 (2001), 781797.
[26] T. Okaji, Strong unique continuation property for time harmonic Maxwell equations,
J. Math. Soc. Japan 54-1 (2002), 89122.
[27] A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential
Equations, Applied Mathematical Sciences, vol. 44, Springer-Verlag, New York,
1983.
[28] G. Strang, Introduction to Linear Algebra, Wellesley Cambridge, 1993.
[29] R. Temam, Navier-Stokes Equations - Theory and Numerical Analysis, Studies in
Mathematics and its Applications, 3rd edition, North-Holland Publishing Co.,
Amsterdam, New York, 1984.
[30] N. S. Trudinger, D. Gilbarg, Elliptic Partial Differential Equations of Second Order,
Springer-Verlag, Berlin; Heidelberg; New York; 2nd edition, 1998.
[31] V. Vogelsang, On the strong unique continuation principle for inequalities of Maxwell
type, Math. Ann. 289 (1991), 285295.
134