Documente Academic
Documente Profesional
Documente Cultură
Data de Depsito:
Assinatura:________________________
______
USP So Carlos
Abril de 2012
Este trabalho teve apoio financeiro da FAPESP sob o processo 2008/00123-7 de 01/06/2008 31/05/2010
J82e
Jorge da Silva,
Estabilidade
dissipativos de
Jorge da Silva;
2012.
i a xii, 1 a
Marcio Antonio
assinttica para alguns modelos
equaes de placas / Marcio Antonio
orientador Ma To Fu. -- So Carlos,
138 p.
Agradecimentos
Primeiramente agradeo a Deus pela oportunidade de concluir este trabalho em mais uma etapa
de minha vida.
toda minha famlia, em especial, minha me que me deu condies para iniciar meus estudos
acadmicos sem que tivesse outros compromissos.
minha esposa Naiara, pelo companheirismo, compreenso e cumplicidade. Tambm, por
sempre me apoiar e entender os momentos de minha ausncia perante aos estudos.
todos os meus amigos de ex-repblica de Maring e de So Carlos. Tambm, aos companheiros
de estudos universitrios de todos os tempos, em especial, aos colegas com tive o prazer de crescer
pessoalmente e profissionalmente desde o incio do doutorado em 2008.
todos os professores do departamento de Matemtica da UEM e do ICMC-USP que
contribuiram na minha formao acadmica desde a graduao at o doutorado.
Ao professor Dr. Doherty Andrade por me receber na UEM em 2009 em prol de minha ascenso
profissional cientfica e pessoal. Ao professor Dr. Jaime E. Muoz Rivera por me receber no LNCC
em 2010 e coorientar em uma parte deste trabalho. Tambm, professora Dra. Luci H. Fatori da UEL
perante seus essenciais comentrios com repeito a uma parte deste trabalho.
Aos professores Drs. Vittorino Pata, Roger Temam e Igor Chueshov, que mesmo no me
conhecendo pessoalmente, enviaram-me alguns de seus trabalhos na rea de pesquisa, o que
contribuiu positivamente no desenvolvimento desta tese.
Ao meu orientador, e hoje um grande amigo, prof. Dr. Ma To Fu, pela orientao, pacincia
e pelos incontveis conselhos. Tambm agradeo por sempre apoiar e querer o melhor para minha
carreira acadmica.
Por fim, agradeo a CAPES e, em especial, FAPESP pelo apoio financeiro para realizao deste
trabalho.
Resumo
Abstract
ndice de Notaes
Geral
|| := medida de Lebesgue de RN ;
|| = 1 + 2 + + N e ! = 1 !2 ! N ! para todo = (1 , . . . , N ) NN ;
p =
p
expoente conjugado de p ;
p1
supp(u) = {x ; u(x) = 0} ;
, incluso contnua;
,, incluso compacta;
, dualidade;
(X, || ||X ) espao de Banach.
Operadores de derivao
|| u
1
x1 x2 2 . . . xNN
D u =
u
u =
2u
j=1
x2j
se
= (0, . . . , 0);
se
= (0, . . . , 0);
2 u = (u);
(
)
p u = div |u|p2 u .
vii
viii
Espaos de funes
{
}
C() = u : R u contnua ;
{
}
C k () = u : R u k-vezes continuamente diferencivel ;
{
}
C () = u : R u infinitamente diferencivel ;
}
{
C0k () = u C k () supp(u) compacto , k N ou k = ;
{
}
C k, () = u C k () Dk u -Hlder contnua ;
D() := espao das funes teste;
{
}
W m,p ()
H m () = W m,2 ();
H0m () = W0m,2 ();
{
}
L2 (R+ ; X) = : R+ X 0 (s)||(s)||2X ds < ;
{
}
T
Lp (0, T ; X) = u : (0, T ) X u mensurvel e 0 ||u(t)||pX dt < ;
{
}
L (0, T ; X) = u : (0, T ) X u mensurvel e ||u(t)||X K q.s. em (0, T ) ;
{
}
C ([0, T ], X) = u : [0, T ] X u contnua de [0, T ] em X ;
{
}
C k ([0, T ], X) = u : [0, T ] X u k-vezes continuamente diferencivel de [0, T ] em X ;
{
}
Cw ([0, T ], X) = u : [0, T ] X u fracamente contnua de [0, T ] em X ;
{
}
L(X, Y ) = T : X Y T linear e contnua .
Espaos duais
X = L(X, R) dual de X;
[Lp ()] = Lp (), 1 p < ;
ix
D () = L(D(), R);
D (0, T ; X) = L(D(0, T ), X).
Convergncias
convergncia forte;
convergncia fraca;
t
0
t
0
g(t s)
|u(x, t)
Normas
||u||p =
)1/p
p
,
|u(x)| dx
||u||m,p =
||m ||D
u||p
p
)1/p
||m
||||,X =
(
0
(s)||(s)||2X ds
(
T
||u(t)||pX dt
k
j=0
sup
xX,||x||X 1
sup
xX, ||x||X =1
)1/2
)1/p
t(0,T )
j
max
d dtu(t)
j
;
X
t[0,T ]
|, x|;
||T x||Y =
||T x||Y
.
xX, x=0 ||x||X
sup
Sumrio
Agradecimentos
Resumo
iii
Abstract
ndice de Notaes
vii
Introduo
1 Preliminares
1.1
14
1.2
15
1.3
O operador p-Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
1.3.1
19
21
1.4.1
22
1.4.2
23
23
1.5.1
24
1.5.2
25
1.5.3
26
1.5.4
27
28
1.6.1
30
1.6.2
Dimenso fractal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
1.4
1.5
1.6
xi
xii
SUMRIO
33
2.1
2.2
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Hipteses e notaes iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Uma identidade para a memria . . . . . . . . . . . . . . . . . . . . . . . .
33
34
35
2.3
Existncia e unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1 Problema aproximado . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.2 Estimativa a priori 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
37
37
2.3.3
2.3.4
2.3.5
38
43
46
2.3.6 Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Decaimento exponencial de Energia . . . . . . . . . . . . . . . . . . . . . . . . . .
46
48
2.4
53
3.1
3.2
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Hipteses e notaes iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
55
3.3
56
57
65
3.3.3
3.3.4
3.3.5
67
75
80
3.4
84
86
87
3.5
3.6
Um resultado de estabilizao . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Atrator Global . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
96
3.6.1
99
4.4
4.5
Referncias Bibliogrficas
129
ndice Remissivo
137
Introduo
Nos ltimos anos muitos estudos sobre a equao da onda (de segunda ordem) e equao da
placa (de quarta ordem), e tambm perturbaes no lineares destas, tem sido desenvolvidos por
pesquisadores dentro do contexto de equaes de evoluo (de segunda ordem com respeito ao
tempo t > 0). Analisar questes relacionadas a existncia, unicidade e dependncia contnua de
Problemas de Valor Inicial e de Fronteira (PVIF) constitui um primeiro passo na abordagem dos
problemas dentro linha de pesquisa de equaes diferenciais parciais. Num segundo momento, faz-se
necessrio estudar tambm as propriedades (qualitativas) das solues globais obtidas a priori, como
por exemplo, o comportamento assinttico de solues que consiste, basicamente, em decaimento
exponencial ou polinomial de solues, ou ainda, a existncia de atratores globais (e suas "medidas"
finito-dimensionais) para o sistema dinmico gerado por tais solues do PVIF, alm de outras
abordagens. Por outro lado, quando a soluo de um problema local, ento alguns autores estudam
tambm a taxa com que essa soluo explode em tempo finito. Este ltimo caso no ser tratado neste
trabalho.
Para ser um pouco mais especfico, equaes de placas com perturbao no linear do tipo Laplaciano
utt + 2x u divx ((x u)) = F(x, u, ut ),
(1)
onde (z) |z|(p2) z, p 2, e F(x, u, ut ) representa, adicionalmente, uma fora externa e/ou
uma dissipao linear(es) ou no linear(es), tm atraido ateno de vrios autores com respeito a
existncia e comportamento assinttico de solues. Neste caso, podemos dizer que o operador
divx ((x u)) surge como uma perturbao no linear de menor ordem do operador biharmnico
2x = x (x ) na equao (1).
No caso de equaes da onda regida pelo operador -Laplaciano com dissipao viscosa
x ut , h alguns trabalhos pioneiros como os de Greenberg et al [53, 54] em dimenso 1. Em
dimenses maiores, podemos citar os trabalhos de Tsutsumi [92] e Clements [28]. Depois disso,
surgiram vrios outros autores que abordaram problemas correlatos, como por exemplo, nos trabalhos
[7, 12, 13, 32, 34, 44, 72, 73, 77, 84, 87].
1
Introduo
Retornando equao (1), vemos que esta um prottipo de diversos modelos importantes que
se aplicam no mundo real no que diz respeito a perturbaes da equao da placa. Para exemplificar
isto, vejamos os seguintes casos:
No caso bidimensional, a seguinte equao da placa no linear referente um modelo de KirchhoffBoussinesq
{
}
utt + kut + 2 u = div |u|2 u + {f1 (u)} f2 (u),
definida sobre um domnio limitado R2 , considerando trs condies de fronteira, a saber, livre, fixada
e apoiada (free, clamped ou simply supported boundary conditions), foi abordada por Chueshov &
Lasiecka em [23, 27]. Nesta ocasio, os autores apresentaram um estudo sobre a boa colocao do
problema segundo Hadamard e o comportamento assinttico de solues fracas e fortes (existncia
de atrator global), considerando apenas uma dissipao fraca (weak damping) do tipo friccional kut .
Convm observar ainda, como notado pelos autores em [23, 27] e justificado com mais detalhes em
[25, Captulo 7], que o modelo acima surge naturalmente como um caso limite das equaes de
Mindlin-Timoshenko que descrevem a dinmica de uma placa submetida a efeitos de cisalhamento
transversal, ver Lagnese et al [64, 65] para maiores detalhes. Com respeito ao modelo de placas de
Mindlin-Timoshenko faremos uma abordagem diferenciada mais adiante.
No caso N -dimensional, Yang et al [96, 97] trataram uma classe de modelos de Kirchhoff por
meio da equao
{
}
utt + 2 u div |u|m1 u ut = h(x, u, ut ),
(
)
p u = div |u|p2 u ,
p 2,
(2)
Introduo
e > 0 uma constante. De fato, para = 1 a existncia global e unicidade de solues podem
ser verificadas adicionando uma dissipao forte ut , assim como Yang et al [96, 97]. Contudo,
se considerarmos apenas uma dissipao fraca ut , ento parece ser difcil de obter unicidade e a
continuidade de solues globais no caso N -dimensional, para N 3. Ao contrrio disto, para
dimenses menores, N = 1 ou N = 2, a boa colocao do problema (2) implementando apenas uma
dissipao fraca j bem conhecido, como exposto por Chueshov & Lasiecka [23] e Yang [95].
Motivados pelas obras citadas acima, o presente trabalho procura fornecer resultados relacionados
a existncia global de solues para a equao (2) sob o efeito de um termo de memria. Em seguida,
buscaremos as propriedades qualitativas das solues com respeito a estabilidade assinttica ao longo
do tempo. A relevncia de nosso trabalho se deve ao fato de que, alm de tomar um certo cuidado
com as ferramentas ao se trabalhar com o problema viscoelstico no caso N -dimensional, devemos
avaliar a interao do termo de memria com os operadores p-Laplaciano e biharmnico. Pensamos
que estas consideraes, alm de outras que citaremos a seguir, no foram consideradas anteriormente
por outros autores.
De um modo mais conciso, estudaremos num primeiro momento a existncia de solues e
decaimento de energia para equao (2) em um domnio limitado de RN , considerando
F(x, u, ut ) := (g u)(t) + ut f (u),
(3)
e a funo g chamada de ncleo da memria. Assim sendo, combinando (2) e (3), estudamos no
Captulo 2 um problema de valor inicial e de fronteira para a seguinte equao da placa no linear
com memria
utt + 2 u p u +
(4)
0
RN
um domnio limitado.
em (0, +), onde = 1 e
A existncia de solues para (4) garantida pelo Teorema 2.3.1, usando o mtodo de FaedoGalerkin, ver por exemplo Yang et al [96, 97], Cavalcanti et al [19], ou ainda, os clssicos Lions
[66] e Lions & Magenes [67]. O decaimento exponencial de energia assegurado pelo Teorema
2.4.1, onde usamos o mtodo de energia perturbada, ver por exemplo Cavalcanti et al [18, 19] e
Zuazua et al [56, 100]. importante ressaltar que o procedimento utilizado para estudar (4) gerou,
numa primeira circunstncia, uma certa dificuldade tcnica ao considerarmos um termo de memria
t
do tipo 0 g(t s)2 u(s)ds. Contudo, com um pouco mais de investigao, tambm podemos
concluir a veracidade dos resultados de existncia e comportamento assinttico substituindo o termo
t
de memria de segunda ordem 0 g(t s)u(s) ds por um termo de memria de quarta ordem
t
2
0 g(t s) u(s) ds, a menos do sinal. Os resultados referentes ao Captulo 2 (Teoremas 2.3.1
e 2.4.1) foram publicados na revista Mathematical Methods in the Applied Sciences, conforme a
referncia [5].
Introduo
Existe hoje uma ampla literatura que aborda questes relativas ao conceito de estabilidade em
viscoelasticidade para equaes da onda e da placa. A ttulo de exemplo, citamos os seguintes
trabalhos [6, 20, 30, 31, 71, 78, 80] e suas referncias.
Prosseguindo, nosso objetivo num segundo momento foi de estender os conceitos estabelecidos
(anteriormente) em [5], acoplando equao (2) uma memria com histria para t < 0, de onde
teremos de introduzir a histria com deslocamento relativo. O motivo para tal preteno que a
equao (4) no corresponde a um sistema autnomo, justamente pela convoluo (g u)(t) =
t
0 g(t s)u(s) ds, que depende de t > 0, e de segunda ordem. Com isto, no poderiamos estudar
a dinmica assinttica para as solues do problema por meio da teoria estabelecida para problemas
autnomos. No entanto, para contornar essa situao, estudamos a existncia de solues para a
equao (2) em um domnio limitado de RN , definindo F(x, u, ut ) como
t
F(x, u, ut ) :=
(t s)2 u(s) ds + ut f (u) + h(x).
(5)
(6)
Logo, combinando a equao (2) com as identidades (5)-(6), chegamos a seguinte classe de equaes
da placa no linear com memria (num contexto com histria para t < 0)
2
(s)2 u(t s)ds ut + f (u) = h
utt + u p u
(7)
0
em (0, +), com condies iniciais e de fronteira estabelecidas no Captulo 3, onde agora
= (0) > 0 uma constante interligada ao ncleo da memria e RN um domnio
limitado.
Mais ainda, usando um argumento introduzido por Dafermos [30], podemos transformar o
problema com histria em um problema autnomo equivalente e, assim, estudar a existncia de
atratores globais para as solues de tal problema equivalente. Outros autores tambm j se utilizaram
deste argumento, como por exemplo nos trabalhos de Giorgi et al [47, 48, 49, 50, 51], ou ainda, no
interessante e bem apresentado artigo de Grasselli & Pata [52], onde os autores estabeleram de forma
padro o papel da equao suplementar e o retorno equao original. Ver tambm Pata & Zucchi
[83]. De um modo mais preciso, definimos uma nova varivel ao sistema por
= t (x, s) = u(x, t) u(x, t s),
x , s > 0, t 0,
(8)
tambm conhecida como histria de deslocamento relativo. Ento, depois de alguns ajustes como
veremos no Captulo 3, podemos converter a equao (7) no seguinte sistema equivalente
2
utt + u p u +
(s)2 t (s) ds ut + f (u) = h,
(9)
t = s + ut ,
(10)
Introduo
com condies iniciais e de fronteira correspondentes. Com isto, nosso prximo objetivo foi de
apresentar resultados que complementam queles determinados em [5], estudando o problema (9)(10) sob aspctos de existncia e comportamento assinttico.
O Teorema 3.3.1 do Captulo 3 garante que o problema (9)-(10) bem posto, onde tambm
usamos o mtodo de Faedo-Galerkin. Quando h 0, a estabilidade assinttica tambm assegurada
usando o mtodo de energia perturbada, conforme Proposio 3.4.1 e Observao 3.4.1. Vale ressaltar
que neste caso usa-se somente as hipteses atribuidas para o ncleo da memria (ver Captulo 3) e
no mais a identidade envolvendo a memria do problema (4) (ver Captulo 2). Estes resultados
(Teorema 3.3.1 e a Proposio 3.4.1 em conjunto com a Observao 3.4.1) foram aceitos para
publicao na revista IMA Journal of Applied Mathematics, conforme a referncia [58]. Alm
disso, quando h = 0 independente da varivel t, ento as Proposies 3.4.1 e 3.5.1 garantem a
existncia de um conjunto absorvente e uma estabilizao para as solues do problema (9)-(10),
respectivamente. Mais ainda, os Teoremas 3.6.1 e 3.6.2 determinam a existncia de um atrator global
com dimenso fractal finita para as solues de (9)-(10), por meio de uma aplicao da teoria abstrata
para atratores, com base nos trabalhos de Ceron & Lopes [21], Chueshov & Lasiecka [22, 25] e Hale
[55]. Ver tambm os clssicos Babin & Vishiki [8] e Temam [91]. Os ltimos resultados acima
citados, referente ao Captulo 3, sero submetidos para publicao segundo a referncia [59].
Neste momento, vale a pena notar que a nossa abordagem para a equao de placas perturbada
pelo operador no linear p-Laplaciano e pela no linearidade localmente Lipschitz f (u) e com um
termo de memria (ver a equao (4) e o sistema (9)-(10)) diferenciada das expostas em Giorgi
et al [50], Pata & Zucchi [83] e Yang [98, 99], devido ao fato de que em alguns deles requerido
regularidade de classe C 1 para o semigrupo de evoluo associado ao problema, alguns impem
condies sobre a derivada f da funo f e outros pelos resultados utilizados aos espaos de fase
envolvidos no problema. Com isto, podemos dizer que nossos estudos amplia a classe de problemas
abordados pelos autores acima, com respeito a existncia e comportamento assinttico para um
problema com memria. Para saltar as dificuldades encontradas, forneceremos um resultado de
estabilizao que segue ideias recentes devido aos trabalhos de Chueshov & Lasiecka [22, 25] e
Pata & Zelik [82]. Ver tambm Hale [55]. Contudo, devido ao termo de memria tratada em nossos
problemas, nosso trabalho difere destes ltimos citados, contribuindo tambm em ampliar a classe de
problemas que possuem aplicaes da teoria geral de atratores.
Conforme podemos ver, existem hoje uma ampla gama de resultados abstratos que dizem
respeito existncia de atratores globais. A ttulo de exemplo, citamos os seguintes trabalhos
[8, 21, 22, 25, 35, 55, 74, 82, 91, 94] e suas referncias. Alm disso, muitos desses resultados tm se
mostrado eficientes quando aplicados dentro do contexto de equaes diferenciais parciais.
Caminhando por outro lado, nos deparamos com uma forma de modelar a equao da placa
no caso bidimensional (N = 2) por meio de um sistema de equaes de segunda ordem (do tipo
"equaes de ondas"), a saber, o modelo de placas finas de Mindlin-Timoshenko como tratado (com
dissipao na fronteira) em Lagnese [64]. Ver tambm Lagnese & Lions [65]. Mais precisamente,
Introduo
(
)
(
)]
w
hwtt K
+
+
+
=0
x
x
y
y
( 2
)
(
)
h3
1 2 1 + 2
w
+
+
tt D
+K +
=0
12
x2
2 y 2
2 xy
x
( 2
)
(
)
h3
1 2 1 + 2
w
tt D
+
+
+
K
+
=0
12
y 2
2 x2
2 xy
y
(11)
(12)
(13)
Introduo
(
)
(
)
w
L1 (, , w) =
+
+
+
,
x
x
y
y
2 1 2 1 + 2
L2 (, ) =
+
+
,
x2
2 y 2
2 xy
2 1 2 1 + 2
+
+
L3 (, ) =
,
y 2
2 x2
2 xy
estudamos o comportamento assinttico de solues para o seguinte sistema de placas de MindlinTimoshenko com dissipao viscosa
hwtt KL1 (, , w) D0 wt = 0
(
)
h3
w
tt DL2 (, ) + K +
D1 L2 (t , t ) = 0
12
x
(
)
w
h3
tt DL3 (, ) + K +
D1 L3 (t , t ) = 0
12
y
(14)
(15)
(16)
C APTULO
1
Preliminares
Este captulo inicial tem um carter introdutrio e o leitor mais experiente pode omitir a leitura
do mesmo, passando aos captulos seguintes. Aqui vamos introduzir as notaes que sero utilizadas
em toda a tese bem como apresentar alguns dos resultados mais clssicos da teoria geral de anlise
no linear, anlise funcional, espaos de Sobolev, semigrupos lineares, semigrupos no lineares
e atratores. Faremos uso de tais resultados nos captulos seguintes para facilitar a compreenso
do contedo abordado e, tambm, com o objetivo de tornar este trabalho o mais autossuficiente
possvel. Os resultados (Teoremas, Proposies, Lemas, etc...) sero apresentados sem uma prova
formal, porm forneceremos em cada seo as referncias clssicas dentro da literatura para os
conceitos citados. Tambm mencionaremos algumas referncias em portugus que contribuiram para
o desenvolvimento deste trabalho.
1.1
Iniciaremos com alguns conceitos bsicos da teoria dos espaos de Sobolev e anlise funcional,
seguindo as referncias Adams & Fournier [1], Brzis [15], Folland [43], Lions [66] e Medeiros [75].
Seja RN um aberto. Para 1 p < denotamos por Lp () o conjunto (das classes)
de funes Lebesgue mensurveis u, tais que |u|p uma funo integrvel sobre . Em termos de
conjuntos,
{
}
p
p
L () = u : R u mensurvel,
|u(x)| dx < .
10
Captulo 1 Preliminares
1 p < .
Deste modo, (Lp (); || ||p ) um espao de Banach. No caso particular, quando p = 2, temos
tambm que L2 () um espao de Hilbert com produto escalar (u, v) = u(x)v(x)dx e norma
||u||2 = (u, u)1/2 .
Para p = , definimos L () como sendo o conjunto (das classes) de funes Lebesgue
mensurveis u, limitadas quase sempre (q.s.) sobre . Em termos de conjuntos,
{
}
L () = u : R u mensurvel, |u(x)| K q.s. em .
Neste caso, diz-se que o nmero real K um majorante essencial de u e denotando por A =
{
}
K R |u(x)| K q.s. em , podemos definir uma norma em L () como
||u|| = sup ess |u(x)| = inf A.
x
x = x1 1 x2 2 xNN
e ! = 1 !2 ! N !.
|| u
se = (0, . . . , 0),
x1 1 x2 2 . . . xNN
D u =
u
se = (0, . . . , 0).
Quando o multi-ndice da forma = (0, . . . , 0, i, 0, . . . , 0) NN , o operador derivao D
tambm representado pelas seguintes notaes
Di = Di = xi =
= ()xi ,
xi
i = 1, . . . , N.
11
Definio 1.1.1. Diremos que uma sequncia (ou sucesso) de funes {n } C0 () converge
uma funo C0 () se, e somente se, existe um subconjunto compacto K tal que
(i) supp() K e supp(n ) K, n N.
(ii) D n D uniformemente sobre K, NN .
Com esta noo de convergncia nos espaos C0 (), o denotaremos tambm por D() e o
chamaremos de espao das funes teste. Alm disso, denotando por L(X, R) o espao vetorial
dos funcionais lineares e contnuos de X em R, definimos o espao das distribuies sobre com
valores em R por
D () := L(D(), R),
onde a continuidade entendida no sentido da convergncia em D().
Com relao derivada de uma distribuio a valores reais, lembramos que para f D (), sua
derivada de ordem NN dada por
D f, = (1)|| f, D ,
D().
A seguir vamos relembrar a definio dos espaos de Sobolev, os quais constituiro fundamental
importncia em nossas consideraes futuras. Para m N e 1 p , denotamos por W m,p ()
o conjunto (das classes) de funes u em Lp (), tais que suas derivadas D u, 0 || m, ainda
pertenam a Lp (), onde a derivada se d no sentido das distribuies. Em termos de conjuntos,
{
}
W m,p () = u Lp () D u Lp (), 0 || m .
Em W m,p () tem-se bem definida uma norma dada por
||u||m,p =
1/p
||D u||pp
1 p < ,
0||m
e
||u||m, = max ||D u|| .
0||m
Com isto, (W m,p (), || ||m,p ) um espao de Banach. Alm disso, definimos o conjunto W0m,p ()
como o subespao de W m,p () constituido pelo fecho de C0 () em W m,p (), ou seja,
W m,p ()
W0m,p () = C0 ()
.
(
)
No caso particular p = 2, o espao W m,2 () W0m,2 () tambm um espao de Hilbert com
o correspondente produto interno e, usualmente, denotado por H m () (H0m ()) .
No que segue, X denotar um espao de Banach com norma || ||X e H denotar um espao de
Hilbert com produto interno (, )H e norma || ||H .
12
Captulo 1 Preliminares
No problema que iremos estudar no Captulo 3 deste trabalho faz-se necessrio o uso de espaos
com peso L2 . Por este motivo, vamos introduzi-los neste momento para clarear as ideias. Dada uma
funo "peso"
C 1 (R+ ) L1 (R+ ),
definimos o seguinte espao de Hilbert.
{
( + )
2
+
L R ; H = : R H
}
(s)||(s)||2H
ds < ,
(1 , 2 ),H =
e norma
||||2,H
(s)||(s)||2H ds,
(
)
1 , 2 L2 R+ ; H
(
)
L2 R+ ; H .
Observao 1.1.1. Somente para ttulo de informao, notamos ao leitor que toda teoria construida
para espaos de Hilbert pode ser aplicada aos espaos L2 (), W m,2 () e L2 (R+ ; H) , bem
como a teoria para espaos de Banach pode ser aplicada, de um modo mais geral, aos espaos
Lp (), W m,p () e L2 (R+ ; X).
Terminaremos esta primeira seo apresentando os espaos de Banach (ou Hilbert) a valores
abstratos Lp (a, b; X), C k ([a, b], X), Cw ([a, b], X) e o espaos da distribuies vetoriais D (a, b; X),
para 1 p , a < b + e k N. Contudo, para nossos propsitos futuros suficiente
compreender os espaos acima com a = 0 e b = T, onde T > 0 um nmero real positivo fixado ou
T = .
Para 1 p < , representaremos por Lp (0, T ; X) o conjunto (das classes) de funes vetoriais
mensurveis u : (0, T ) X, tais que ||u(t)||X pertence a Lp (0, T ). Em termos de conjunto,
{
}
T
p
p
L (0, T ; X) = u : (0, T ) X u mensurvel,
||u(t)||X dt < .
0
O espao
Lp (0, T ; X)
munido da norma
(
||u||Lp (0,T ;X) =
0
)1/p
||u(t)||pX
dt
13
1 p .
1 < p < .
j=0
j
d u(t)
.
max
t[0,T ]
dtj
X
Para abrangir todos os espaos que surgiro nos captulos seguintes, lembraremos tambm o
conceito continuidade fraca de funes a valores abstratos. Denotaremos por Cw ([0, T ], X) o espao
de todas as funes u : [0, T ] X que contnua de [0, T ] em (X, ), onde = (X, X ) designa
a topologia fraca de X, ou seja, para toda X (dual de X) a funo t 7 u(t), contnua em
[0, T ]. Em termos de conjunto temos
{
}
Cw ([0, T ], X) = u : [0, T ] X u contnua de [0, T ] em (X, ) .
Um pouco mais adiante, em uma subseo saparada, faremos uma breve reviso sobre do conceito
de topologia fraca para que a definio acima no fique "dependurada" no texto. Antes disso, vamos
expor tambm o espao das distribuies a valores abstratos.
Denotando por L(X, Y ) o espao vetorial das transformaes lineares e contnuas de X em Y,
definimos o espao das distribuies vetoriais de (0, T ) com valores em X por
D (0, T ; X) := L(D(0, T ), X).
Para f D (0, T ; X), lembramos ainda que sua derivada de ordem n no sentido das distribuies
vetoriais definida por
n
d f
dn
n
, = (1) f, n , D(0, T ).
(1.1)
dtn
dt
Alm disso, se f derivvel no sentido das distribuies vetoriais, ento podemos enxergar
df
dt
como
f, =
f (t)(t) dt,
D(0, T ).
onde a integral entendida no sentido de Bochner. Com isto, podemos dizer com um certo abuso de
notao que
Lp (0, T ; X) D (0, T ; X).
14
Captulo 1 Preliminares
sup
xX,||x||X 1
|f, x| .
Alm disso, podemos considerar o espao de Banach Bidual X = L(X , R) de X, munido da norma
||||X =
sup
f X ,||f ||X 1
|, f | .
Como bem sabido da teoria de anlise funcional (ver por exemplo Brzis [15]), a aplicao
J : X X
x 7 Jx : X R
(1.2)
f 7 Jx (f ) = f, x,
um isomorfismo de X sobre J(X). Isto nos permite identificar X com J(X) X .
Agora, para cada f X consideremos o funcional
f : X R
x
7 f (x) = f, x,
15
Observao 1.1.2. Como usual a convergncia forte (em norma) de {xn } a x X ser denotada
por xn x.
Aproveitando as consideraes anteriores vamos apresentar os importantes conceitos de
reflexividade e separabilidade.
Definio 1.1.4. Um espao de Banach X chamado reflexivo quando J(X) = X , onde a aplicao
J dada em (1.2). O espao X chamado separvel quando existe um subconjunto enumervel e
denso Y X.
Observao 1.1.3. Com relao aos espaos mencionados na seo 1.1, valem as seguintes
identificaes para 1 p < , q satisfazendo 1/p + 1/q = 1 e m 1,
[Lp ()]
= Lq () e [L ()] ! L1 (),
[W0m,p ()]
= W m,q (),
(
)
[Lp (0, T, X)]
= Lq 0, T, X .
1.2
Nesta seo colecionaremos alguns dos resultados mais clssicos provenientes da teoria geral
de anlise funcional e espaos de Sobolev, os quais sero extremamente teis para estudarmos os
problemas propostos nesta tese. Nos resultados abaixo seguimos as notaes introduzidas em Adams
& Fournier [1], Brzis [15], Evans [36], Henry [57], Lions [66], Lions & Magenes [67], Pazy [85]
e Zheng [94]. Tambm usamos as referncias em portugus de Cavalcanti & Domingos Cavalcanti
[17], Medeiros [75], Medeiros & Milla Miranda [76].
Lema 1.2.1. Seja um domnio de RN .
(i) Se 1 < p < , ento Lp () reflexivo. Entretanto, L1 () e L () no so reflexivos.
(ii) Se 1 p < , ento Lp () separvel. Entretanto, L () no Separvel.
Teorema 1.2.2 (Teorema de Densidade). Seja um domnio de RN .
(i) Se k 0, ento C0k () denso em Lp (), para 1 p < .
(ii) Se de classe C m , m 1, ento C m () denso em W m,p (), para 1 p < .
Teorema 1.2.3 (Imerses de Sobolev). Seja RN um domnio limitado com fronteira de classe
C m.
(i) Se mp < N , ento a seguinte incluso contnua
W m,p () , Lq (),
onde
1 m
1
= .
q
p N
16
Captulo 1 Preliminares
1 q < .
para todo
N
p
( )
W m,p () , C k, ,
( )
( )
onde C k, representa o espao das funes em C k cujas derivadas de ordem k so
-Hlder contnuas. Alm disso, se N = m k 1, = 1 e p = 1, ento a incluso vale
( )
tambm para = 1, e a incluso W m,p () , C k, compacta para todo 0 < .
Observao 1.2.1. Para uma verso que estabelece imerses compactas no caso N -dimensional veja
tambm o Teorema de Rellich-Kondrachov em Adams & Furnier [1, Captulo 6].
Teorema 1.2.4 (Desigualdade de Gagliardo-Nirenberg). Seja RN um domnio limitado com
fronteira de classe C m e u W m,r () Lq () onde 1 r, q . Para qualquer inteiro j com
0 j < m e qualquer com j/m 1, temos
||Dj u||p C||u||m,r ||u||1
q ,
desde que
1
j
=
+
p
N
1 m
r N
)
+ (1 )
(1.3)
1
q
se
mp > N,
p q <
Np
p q
N mp
se
mp = N,
se
mp < N.
17
Ento existe uma constante K = K(N, m, p, q, ) > 0 tal que para toda u W m,p (),
||u||q K||u||m,p ||u||1
p ,
onde = (N/mp) (N/mq).
Teorema 1.2.6 (Desigualdade de Poincar). Seja RN um domnio limitado e 1 p < . Ento
existe uma constante C = C(p, ||) > 0 tal que
u W01,p ().
||u||p C ||u||p ,
Teorema 1.2.7 (Frmula de Green). Seja RN um aberto limitado com fronteira suave. Se
u, v H 2 (), ento
u
v dS,
u v dx
(u) v dx =
:= u a derivada normal de u.
1
p
1
q
= 1 e RN . Se
1
1
1
1
pi () para i = 1, . . . , n, ento f :=
+
+
+
=
1.
Se
f
L
fi Lr () e
i
p1
p2
pn
r
i=1
f r
fi pi .
i=1
(t) +
(s)(s) ds,
a t b,
ento
(t) e
b
a
(s) ds
a t b.
ap bq
+ ,
p
q
1
p
1
q
a, b 0.
= 1. Ento
a, b 0,
1
p
1
q
= 1 e > 0 qualquer.
18
Captulo 1 Preliminares
1 2
b , a, b 0,
4
sendo tambm conhecida como desigualdade de Cauchy com . Esta desigualdade ser extremamente
utilizada em todos os captulos seguintes desta tese.
ab a2 +
df
Lp (0, T ; X), ento
dt
v H.
Alm disso, H = f H .
Teorema 1.2.17 (Teorema de Lax-Milgram). Seja (H, || ||H , (, )H ) um espao de Hilbert e a(u, v)
uma forma bilinear contnua e coerciva. Ento para todo funcional H , existe um nico u H
tal que
a(u, v) = , vH ,H ,
v H.
a(u, u) , uH ,H = min
a(v, v) , vH ,H .
uH e
vH
2
2
Teorema 1.2.18 (Compacidade Fraca). Seja X um espao de Banach reflexivo. Se B X limitado,
ento B compacto na topologia fraca (X, X ), isto , qualquer sequncia {xn } B possui uma
subsequncia {xnk } convergente em X na topologia fraca (X, X ).
Teorema 1.2.19 (Compacidade Fraca Estrela). Seja X um espao de Banach separvel. Se F X
limitado, ento F compacto na topologia fraca estrela (X , X), isto , qualquer sequncia
{fn } F possui uma subsequncia {fnk } convergente em X na topologia fraca estrela (X , X).
1.3
19
O operador p-Laplaciano
O operador pseudo Laplaciano, que neste trabalho ser chamado simplesmente de operador pLaplaciano, e denotado por p , definido sob duas formas:
(
)
p u = div |u|p2 u ,
ou
p u =
xj
j=1
u W01,p (),
(
)
u p2 u
,
xj
xj
u W01,p (),
onde RN e p > 1. Estas duas formas assumidas pelo operador p-Laplaciano correspondem s
derivadas de Frchet em W01,p () dos funcionais
1
p
1
p
N
|u| dx
p
j=1
u p
xj dx,
respectivamente. Cabe ressaltar que p u um operador de segunda ordem no linear, sendo que
2u
no caso particular p = 2 o mesmo se reduz ao operador (linear) Laplaciano u = N
j=1 x2j . Por
questes tcnicas vamos utilizar, por todo esse trabalho, a primeira das formas estipuladas para o
operador p-Laplaciano.
interessante lembrar tambm que o operador p-Laplaciano aplica W01,p () no espao
[
]
p : W01,p () W 1,p ()
u
(
)
p u = div |u|p2 u .
conjuntos limitados de W 1,p (). A ttulo de exemplo, citamos tambm o trabalho de Zheng [94,
Captulo 3] para uma abordagem de tais conceitos.
Vamos introduzir agora uma importante condio relacionada ao operador p-Laplaciano que
usaremos com certa frequncia nos dois prximos captulos desta tese, a saber, a seguinte identidade
vale para todos u, v W01,p (), conforme estabelecido por Lions [66] (ver tambm Yang [97]).
20
Captulo 1 Preliminares
x, y RN ,
RN
7 F (x) = |x|p2 x,
x = (x1 , . . . , xN ).
j = 1, . . . , N,
Fj (x) = (p 2)|x|p4 xi xj
xi
se
i = j,
se
i = j,
Fj (0) = 0 = lim
Fj (x),
x0 xi
xi
0 = (0, . . . , 0),
para i, j = 1, . . . , N. Isto implica que as derivadas parciais das funes componentes Fj existem
e so contnuas em RN , ou seja, as funes Fj so diferenciveis em RN e, consequentemente, a
aplicao F tambm diferencivel em RN . Logo, fica bem definida a aplicao derivada (operador
linear)
F : RN
x
(
)
L RN , RN
7 F (x) : RN RN .
x RN ,
(1.4)
(
)
onde || || menciona a norma no espao L RN , RN . Com efeito, note que
(
)
F
F1
FN
F (x) v =
sup
sup
||F (x)|| =
sup
(x) =
(x), . . . ,
(x) ,
v
v
vRN ,|v|1 v
vRN ,|v|1
vRN ,|v|1
o que implica em
Fj
||F (x)|| N sup max
(x) .
|v|1 1jN v
(1.5)
21
j = 1, . . . , N.
i=1
Logo,
(N
) 21
)1 ( N
N
Fj (x) 2 2
Fj
Fj (x)
Fj
2
(x) |v|,
|i |
N max
v (x)
xi |i |
xi
1iN xi
i=1
i=1
i=1
ou ainda,
|v|1
(1.6)
(
)2
(
)
||F ()|| 2p2 N (p 1) |y|p2 + |x|p2 ,
[y, x].
(1.7)
Como F diferencivel no segmento aberto (y, x), contnua no segmento fechado [y, x] e vale a
estimativa (1.7), ento a Desigualdade do Valor Mdio para aplicaes implica que
(
)
|F (x) F (y)| M |x|p2 + |y|p2 |x y|,
(
)2
onde M = 2p2 N (p 1). Isto conclui a prova do Lema 1.3.1.
1.4
Iniciaremos esta seo fazendo um breve resumo sobre a construo de operadores lineares
no limitados associados a uma forma bilinear. Em seguida, relembraremos alguns fatos sobre os
operadores com potncia fracionria, os quais tero certa relevncia em nossas consideraes futuras.
Para maiores detalhes sobre o assunto recomendamos os trabalhos de Kreyszig [63], Medeiros &
Milla Miranda [76], Temam [90, 91], Yosida [93] e Zheng [94].
22
Captulo 1 Preliminares
u, v V.
u D(A), v V.
Mediante s condies satisfeitas pelo operador A acima e usando tambm que a incluso
V , H compacta, segue da teoria espectral (ver por exemplo Yosida [93]) que existe uma base
ortonormal completa {wj }jN de H e uma sequncia de nmeros reais {j }jN tais que
0 < 1 2
wj D(A)
com j quando j ,
Awj = j wj ,
j N.
a(wi , wj ) = i ij ,
i, j N,
23
obtemos que D(As ) um espao de Hilbert. Mais ainda, D(As ) definido como sendo o dual de
D(As ) e com isto o operador As pode ser estendido como um isomorfismo de H em D(As ). Em
D(As ) consideramos o produto interno e norma como acima substituindo s por s.
Usando novamente que a incluso V , H compacta, pode-se definir As , para s > 0, em
termos da base {wj }jN por
As u =
u D(As ),
sj (u, wj )H wj ,
j=1
onde
2
D(As ) = u H
2s
|(u,
w
)
|
<
.
j H
j
j=1
||u||D(As ) =
1/2
2
2s
j |(u, wj )H |
u D(As ).
j=1
2s
2
j=1 j |(u, wj )H |
)1/2
e As definido
1.5
24
Captulo 1 Preliminares
t0+
T (t)x x
.
t
As vezes diz-se tambm que o semigrupo T (t) gerado por A . Usaremos com frequncia a seguinte
notao T (t) = eAt . Note tambm que o domnio D(A) do operador A pode ser reescrito como
{
}
D(A) = x X Ax X .
Definio 1.5.3. Um semigrupo {T (t)}t0 chamado de uniformemente limitado se existe uma
constante M 1 tal que
||T (t)|| M,
t 0.
t 0.
{
}
Definio 1.5.5. Seja R = z := rei C 1 < < 2 , 1 < 0 < 2 . Um famlia de operadores
lineares limitados {T (z)}zR definida em R chamada de semigrupo analtico sobre R quando
(i) z 7 T (z) analtica em R.
(ii) T (0) = I e
lim
zR,z0
25
x D(A).
1
.
A seguir veremos o Teorema de Lumer-Phillips que nos fornece a caracterizao dos geradores
infinitesimais de C0 -semigrupos de contraes sobre espaos de Hilbert. O mesmo resultado vale em
espaos de Banach, porm neste trabalho precisaremos apenas do resultado sobre espaos de Hilbert.
Teorema 1.5.2 (Lumer-Phillips). Seja A um operador linear com domnio D(A) denso em um espao
de Hilbert H. Temos:
(a) Se A dissipativo e existe um nmero > 0 tal que Im(I A) = H, ento A um gerador
infinitesimal de um C0 -semigrupo de contraes em H.
26
Captulo 1 Preliminares
(1.8)
||
(1.9)
(1.10)
(1.11)
e
||
27
(B2)
(B3)
(B4)
(B5)
.
t .
t , u H.
t .
t , u H.
Nas sentenas acima, relembramos que a notao || || menciona norma no espao L(H, H).
28
Captulo 1 Preliminares
t 0,
tal que
U C ([0, +), D(A)) C 1 ([0, +), X) .
Para obter solues mais regulares introduzimos o seguinte espao de Banach (ou Hilbert)
{
}
D(Ak ) = U D(Ak1 ) AU D(A)k1 , k N,
munido da norma ||U ||2D(Ak ) =
j=0
Teorema 1.5.8. Sob as hipteses do Teorema 1.5.7, se U0 D(Ak ) com k N, ento a soluo U
do problema (1.12) satisfaz a seguinte condio
U
(
)
C kj [0, +), D(Aj ) .
j=0
29
As vezes o par (X, S(t)) tambm chamado de sistema dinmico e S(t) um semigrupo de evoluo.
sup
xS(t)B yA
t T0 .
Quando S(t) possui um conjunto absorvente limitado, diremos tambm que o par (X, S(t)) constitui
um sistema dinmico dissipativo.
Definio 1.6.5. Um semigrupo S(t) : X X, t 0, chamado assintoticamente suave se
para qualquer conjunto limitado e positivamente invariante B X, existe um conjunto compacto
X
K B tal que
distH (S(t)B, K) 0 quando t +.
Uma abordagem baseada nos trabalhos [8, 25, 55, 91] nos fornece um rpido resultado envolvendo
os conceitos acima citados para espaos de Banach.
Proposio 1.6.1. Seja (X, S(t)) um sistema dinmico dissipativo definido sobre um espao de
Banach X. Ento, S(t) possui um atrator global compacto A X se, e somente se, S(t)
assintoticamente suave.
Com este resultado, que fornece uma condio necessria e suficiente para existncia de atratores
globais compactos, vemos que indispensvel buscar critrios para que um C0 -semigrupo seja
assintoticamente suave. o que faremos a seguir, seguindo as ideias como em [21, 22, 25, 55].
30
Captulo 1 Preliminares
t TB , x, y B.
S(t)B ,
s0 ts
k l
31
x, y B,
(ii) Para cada conjunto limitado B X, existe T0 = T0 (B) 0 tal que T (t)B relativamente
compacto para todo t T0 .
Ento, S(t) assintoticamente compacto. Em particular, o conjunto A = (B) um atrator global
para S(t) em X.
ln(nA ())
,
ln(1/)
onde nA () o nmero mnimo de bolas fechadas de raio que necessrio para cobrir A.
Definio 1.6.10. Uma seminorma n : X [0, ) definida sobre um espao de Banach X
chamada de compacta se para qualquer limitado B X, existe uma sequncia {xn } B tal que
n(xm xn ) 0 quando m, n .
Nossa abordagem para estudar dimenso fractal finita de atratores baseada em um resultado
recente devido a Chueshov & Lasiecka [22, 25], a qual no requer trabalhar com o semigrupo de
evoluo de classe C 1 (com respeito a derivada de Frchet).
32
Captulo 1 Preliminares
y1 , y2 A.
Outro resultado interessante envolvendo funes -Hlder contnuas e dimenso fractal dado
pelo Lema 1.2 em Mlek & Prak [74], o qual expomos a seguir.
Lema 1.6.7. Sejam X e Y espaos mtricos e K X um subconjunto compacto. Se F : X Y
uma funo -Hlder contnua, ento
dimYf F(K)
1
dimX
f K.
C APTULO
2
Um modelo de placas com
p-Laplaciano e memria
2.1
Introduo
Neste captulo estudamos um problema relativamente mais simples para fixar as ideias de
existncia e decaimento exponencial de solues. Entretanto, este caso ilustra uma boa maneira
de obter as estimativas envolvendo o operador p-Laplaciano e o termo de memria e, por isto, o
abordamos em um primeiro momento. Um caso mais geral e com mais detalhes ser abordado no
Captulo 3.
Seja N 1 natural e considere um domnio limitado de RN com fronteira suave = e
R+ = (0, ). Neste captulo estudaremos a existncia e o comportamento assinttico (decaimento
exponencial de energia) de solues globais para a seguinte equao de placas no linear com
memria
t
2
(2.1)
utt + u p u +
g(t s)u(s)ds ut + f (u) = 0 em R+ ,
0
u = u = 0
u(x, 0) = u0 (x)
sobre
R+ ,
ut (x, 0) = u1 (x)
(2.2)
em
(2.3)
34
Observao 2.1.1. O termo de memria de segunda ordem que aparece na equao (2.1) representa
complicaes no decaimento de solues. Contudo, existe uma indentidade para este termo que vrios
autores abordaram em seus trabalhos, como por exemplo em [4, 6, 9, 10, 18, 19, 20, 38, 78, 88], entre
outros. Na seo seguinte exibiremos tal resultado sobre o termo de memria que, alm de facilitar a
notao, ser bem til no decorrer deste problema. J no prximo captulo abordaremos o problema
(2.1)-(2.3) substituindo a memria (sem histria para t < 0) por uma memria de quarta ordem (com
histria para t < 0).
Este captulo est organizado da seguinte maneira.
2N 2
N 2
se
N 3
p2
se N = 1, 2.
(2.4)
onde 1 > 0 a constante de imerso para u22 1 u22 , e existe uma constante k1 > 0 tal
que
g (t) k1 g(t),
t 0.
(2.6)
u, v R,
(2.7)
4
N 4
se N 5
> 0 se
1 N 4.
(2.8)
z
0
0 f(u) f (u)u,
f (s) ds.
u R,
(2.9)
35
Observao 2.2.1. Com a condio (2.4) segue do Teorema de Imerses de Sobolev (ver Teorema
1.2.3 na seo 1.2 do Captulo 1) que vale a seguinte cadeia de imerses:
1,2(p1)
H 2 () H01 () , W0
() , H01 () , L2 ().
0 < < .
Como j padro nesta tese, denotaremos por (, ) o produto interno em L2 () e por || ||p a
norma em Lp (). Alm disso, introduzimos os seguintes espaos de Hilbert
H = (H 2 () H01 ()) L2 ()
H1 = H3 () H01 (),
(
)
Lema 2.2.1. Sejam g C 1 (R+ ) e u C 1 [0, T ], H 2 () . Ento, as seguintes identidades se
verificam
t
{
( t
)
}
1d
2
g(t s) (u(s), ut (t)) ds =
(gu) (t)
g(s)ds u(t)2
2 dt
0
0
)
1(
1
+
g u (t) g(t)u(t)22 ,
2 {
2 (
)
}
t
t
1d
2
g(t s) (u(s), ut (t)) ds =
(gu) (t)
g(s)ds u(t)2
2 dt
0
0
)
1
1(
g u (t) g(t)u(t)22 .
+
2
2
Prova. A prova obtida diferenciando o termo gy para y = u (e y = u), como determinado em
Muoz Rivera et al [9, 10].
36
d
(ut , ) + (u, ) + |u|p2 u,
dt
t
+
g(t s) (u(s), ) ds + (ut , ) + (f (u), ) = 0,
(2.10)
T > 0,
satisfazendo
(
)
u L 0, T ; H 2 () H01 ()
(
)
(
)
e ut L 0, T ; L2 () L2 0, T ; H01 () . (2.11)
(ii) Se (u0 , u1 ) H1 , ento a soluo fraca do problema (2.1)-(2.3) possui maior regularidade
(
)
u L 0, T ; H3 ()
(
)
(
)
e ut L 0, T ; H01 () L2 0, T ; H 2 () H01 () . (2.12)
Prova. A existncia de solues ser feita utilizando o mtodo de Faedo-Galerkin. A prova a seguir
baseada em argumentos exibidos por Lions et al [66, 67] e Yang et al [96, 97]. Com respeito ao
termo de memria seguiremos ideias anlogas s introduzidas por Muoz Rivera et al [6, 9, 10] e
por Cavalcanti et al [18, 19]. Na verdade, o que faremos a seguir um esboo da demonstrao,
deixando os detalhes mais intrnsecos deste problema para ser analisado no problema mais geral que
ser abordado no captulo seguinte.
37
ymj (t)j ,
(2.13)
j=1
p2
m
m
(um
um (t), j
tt (t), j ) + (u (t), j ) + |u (t)|
t
m
+
g(t s) (um (s), j ) ds + (um
t (t), j ) + (f (u (t)), j ) = 0, (2.14)
0
m
um
t (0) = u1 ,
(2.15)
m
onde um
0 e u1 so escolhidos de forma que
um
0 u0
em
H 2 () H01 ()
um
1 u1
em
L2 ().
(2.16)
1 m
1
1
ut (t)22 + um (t)22 + um (t)pp +
2
2
p
}
m
2
f (u (t)) dx + um
t (t)2
t
=
g(t s) (um (s), um
t (t)) ds.
38
(
m
E (t) =
2
um
t (t)2
+ u
(t)22
(2.17)
2
g(s) ds um (t)22 + um (t)pp
p
+2
(2.18)
)
g um (t) k1 (gum ) (t) 0.
Com isto, o lado direito da igualdade em (2.17) no positivo. Assim, integrando (2.17) de 0 a t e
usando (2.18) chegamos a seguinte estimativa
t
m
2
m
2
2
m
ut (t)2 + lu (t)2 + 2
um
t (s)2 ds E (0).
0
Usando agora as hipteses (2.7) e (2.9) em conjunto com as convergncias em (2.16), concluimos
t
m
2
m
2
2
ut (t)2 + u (t)2 +
um
(2.19)
t (s)2 ds M1 ,
0
para todos t [0, Tm ) [0, T ] e m N, onde M1 = M1 (||u1 ||2 , ||u0 ||2 ) > 0 independente de
t e m. Isto nos permite estender as solues um (t) ao intervalo [0, T ] e, em particular, notamos que
(
)
(um ) limitada em L 0, T ; H 2 () H01 () ,
(2.20)
(
)
(
)
(um
0, T ; L2 () L2 0, T ; H01 () .
(2.21)
t ) limitada em L
um u em L 0, T ; H 2 () H01 () ,
(
)
um
em L 0, T ; L2 () ,
(2.22)
t ut
(
)
um
em L2 0, T ; H01 () .
t ut
39
em
(
)
C [0, T ], H01 () .
(2.23)
em
W.
(
)
Como H 2 () H01 () ,,H01 () , L2 (), ento pelo Teorema de Aubin-Lions (ver Teorema
(
)
1.2.13 ne seo 1.2 do Captulo 1) segue que W ,,L2 0, T ; H01 () . Logo,
um u
em
(
)
L2 0, T ; H01 () ,
(2.24)
[0, T ].
(2.25)
(
)
2
1
Agora note que de (2.22) vem que um , u, um
t , ut L 0, T ; H0 () e pelo Lema 1.2.14 resulta que
(
)
um , u C [0, T ]; H01 () . Disto e de (2.25) concluimos que (2.23) vale.
q.s. em
Observao 2.3.3. Uma outra maneira de concluir (2.23) seguindo a ideia esboada por Yang
[96, 97]). Com efeito, note que dos limites em (2.22), obtemos
d
um (t) u(t)22 2(um (t) u(t))2 um
t (t) ut (t)2 CT ,
dt
t [0, T ],
p2
m
m
m
(um
(t),
)
+
(u
(t),
)
+
|u
(t)|
u
(t),
j
j
j
tt
0
}
t
m
m
m
+
g(t s) (u (s), j ) ds + (ut (t), j ) + (f (u (t)), j ) (t) dt = 0.
0
40
Neste captulo daremos ateno somente s convergncias dos termos que envolvem o operador
p-Laplaciano e termo no linear f. Os limites dos outros termos em (2.26) segue diretamente de (2.22)
e tambm sero apresentados com mais detalhes no prximo captulo.
Com respeito ao termo que envole o p-Laplaciano, devemos mostrar que
p2
|u (t)|
m
u (t), j (t)dt
m
ou seja,
p (u (t)), j (t) dt
m
(2.27)
De fato, em primeiro lugar notamos que pelo Lema 1.3.1, existe uma constante M = M (p, N ) > 0
tal que
p2
(
)
|x| x |y|p2 y M |x|p2 + |y|p2 |x y|, x, y RN .
Em particular, para x = um e y = u, segue que
(
)
|um |p2 um |u|p2 u M |um |p2 + |u|p2 um u.
p2
1
Disto e usando a Desigualdade generalizada de Hlder com 2(p1)
+ 2(p1)
+ 12 = 1, a hiptese (2.4),
a estimativa (2.19) e a convergncia (2.22), ento
T
m
p (u (t)) + p (u(t)), j (t) dt
0
T
m
p2
m
p2
=
|u (t)| u (t) |u(t)| u(t), j (t) dt
0
T
|um (t)|p2 um (t) |u(t)|p2 u(t), j |(t)| dt
||||
T
Cp
0
T
Cp
0
T
Cp
0
T
Cp
|um (t)|p2 um (t) |u(t)|p2 u(t) |j | dxdt
)
|um (t)|p2 + |u(t)|p2 |um (t) u(t)||j | dxdt
(
)
p2
m
um (t)p2
+
u(t)
2(p1)
2(p1) u (t) u(t)2 j 2(p1) dt
(
)
p2
um (t)p2
+
u(t)
um (t) u(t)2 j 2 dt
2
2
um (t) u(t)2 dt,
para alguma constante Cp > 0, isto , existe uma constante C > 0 tal que
p (u (t)) + p (u(t)), j (t) dt C
m
(2.28)
41
(2.29)
1
+ 2(+1)
+ 12 = 1,
Primeiramente, usando a desigualdade de Hlder generalizada com 2(+1)
as condies (2.7)-(2.8), a estimativa (2.19) e a convergncia (2.22), ento para qualquer
H 2 () H01 () , L2(+1) (), obtemos
(
)
f (um (t)) f (u(t)),
k2
(1 + |um (t)| + |u(t)| ) |um (t) u(t)||| dx
(
)
C um (t) u(t)2 2 ,
para alguma constante C > 0. Assim, existe uma constante C > 0 tal que
||f (um (t)) f (u(t))||[H 2 ()H01 ()] C||um (t) u(t)||2 .
Disto e aplicando a convergncia (2.23) vem que
T
)
(
m
f (u (t)) f (u(t)), j (t) dt
0
(
)
f (um (t)) f (u(t)), j |(t)| dt
0.
Isto prova o limite (2.29). Como j comentamos, os outros termos em (2.26) convergem de modo
padro usando os limites obtidos em (2.22). Assim sendo, passando o limite quando m em
(2.26) resulta que
T
T{
ou seja,
T
0
T{
d
(ut (t), j )(t) dt +
(u(t), j ) + |u(t)|p2 u(t), j
dt
0
}
t
+
g(t s) (u(s), j ) ds + (ut (t), j ) + (f (u(t)), j ) (t) dt = 0,
0
42
para todo j N e D(0, T ).
d
(ut (t), ) + (u(t), ) p u(t),
dt
}
t
+
g(t s) (u(s), ) ds + (ut (t), ) + (f (u(t)), ) (t) dt = 0,
(2.30)
D (0, T ),
em
para todo H 2 () H01 (). Isto mostra a funo u satisfaz (2.10) com
(
)
u L 0, T ; H 2 () H01 () ,
(
)
(
)
ut L 0, T ; L2 () L2 0, T ; H01 () ,
(2.31)
(2.32)
de onde segue tambm a condio (2.11). Resta verificar que (u, ut ) C ([0, T ], H) e que valem as
condies iniciais u(0) = u0 e ut (0) = u1 . Contudo, a continuidade de u e ut em [0, T ] segue de
modo anlogo a Yang & Jin [97] e ser feita com mais detalhes no prximo captulo. As condies
iniciais tambm sero verificadas posteriormente. Isto conclui que a funo z = (u, ut ) uma soluo
fraca para o problema (2.1)-(2.3)
Por outro lado, identificando L2 := L2 () com seu dual, por meio do Teorema de Representao
de Riesz-Frchet, temos a seguinte cadeia de incluses contnuas
[
]
(2.33)
Com isto podemos reescrever a expresso em (2.30), depois de integrar por partes, como
T
T
T
+
(g u)(t)(t) dt,
ut (t)(t) dt, +
f (u(t))(t) dt, = 0,
0
t
0
u(t)(t) dt,
p u(t)(t) dt,
0
T
T
T
+
(g u)(t)(t) dt,
ut (t)(t) dt, +
f (u(t))(t) dt, = 0,
utt (t)(t) dt,
significa a dualidade
43
(
)
D 0, T ; [H 2 () H01 ()] . (2.34)
em
(2.35)
(2.36)
1,2(p1)
|u(t)|p1 || dx
|u(t)|
2(p1)
]1/2 [
]1/2
2
dx
|| dx
= ||u(t)||p1
2(p1) ||||2
Cp ||u(t)||p1
2 ||||2 ,
para alguma constante Cp > 0. Assim, de (2.31) existe uma constante C > 0 tal que
||p u(t)||[H 2 ()H01 ()] C
q.s. em
[0, T ].
in
(
)
L2 0, T ; [H 2 () H01 ()] .
em
H3 ()
um
1 u1
em
H01 ().
(2.37)
44
Notando que
p um , um
t =
onde
J1 =
d
p um , um J1 ,
dt
}
m
m p2
um dx,
(p 2)|um |p4 (um um
um
t )u + |u |
t
(2.38)
(t)), um
t (t)
f (u
=
f (um (t))um
t (t) dx,
t
=
g(t s) (um (s), um
t (t)) ds.
J2 =
J3
No que segue vamos estimar o lado direito de (2.38). Para facilitar a notao o mesmo smbolo
C denotar diferentes constantes positivas que aparecero no texto.
p2
1
Da estimativa (2.19) e usando a desigualdade de Hlder generalizada com 2(p1)
+ 2(p1)
+ 12 = 1,
temos
m
|J1 | (p 1) |um (t)|p2 |um
t (t)| |u (t)|dx
m
m
(p 1)um (t)p2
2(p1) ut (t)2(p1) u (t)2
m
Cp um
t (t)2(p1) u (t)2 ,
1,2(p1)
() e um
t bem regular,
2
m
2
um
t (t)2(p1) 2 ut (t)2 ,
onde 2 > 0 a constante de imerso correspondente. Usando a desigualdade de Young, existe uma
constante C > 0 tal que
C
1
2
|J1 | um
um (t)22 .
(2.39)
t (t)2 +
4
2
Alm disso, das hipteses (2.7)-(2.8), da estimativa (2.19) e como H3 () , H 2 ()H01 () ,
L2(+1) (), segue que
C
||um (t)||22 ,
2
45
||um (t)||22 + um
t (t)2 .
2
4
(2.40)
M1 gL1 (R+ ) um
t (t)2
1
2
C + um
t (t)2 .
4
(2.41)
ento
d m
1
2
m
2
F (t) + um
t (t)2 2C + 2Cu (t)2 .
dt
2
(2.42)
p1
um (t)2
um (t)2(p1)
1
2(p1)
um (t)2(p1) + um (t)22
4
1
2(p1)
m
Cp u (t)2
+ um (t)22 .
4
Pela estimativa (2.19), existe uma constante C > 0 tal que
p um (t), um (t) C + 1 um (t)22 ,
4
de onde segue que
1
u(t)22 + 2C + 2p um (t), um (t) 0.
2
Combinando (2.42) e (2.43), existe uma constante C > 0 tal que
1
d m
2
m
F (t) + um
t (t)2 CF (t).
dt
2
Agora, integrando (2.44) sobre (0, t) [0, T ] e explorando os limites (2.37) resulta
t
1 t
m
m
2
F (t) +
ut ( )2 d C + C
F m ( ) d.
2 0
0
(2.43)
(2.44)
46
2
um
t (t)2
+ u
(t)22
2
um
t ( )2 d M2 ,
(2.45)
(um
0, T ; H01 () L2 0, T ; H 2 () H01 () .
t ) limitada em L
(2.46)
(2.47)
(2.48)
(2.49)
A concluso do item (ii) do Teorema 2.3.1 segue, ento, de maneira similar ao caso fraco. No
prximo captulo esboaremos mais detalhes que sero suficientes para cobrir este caso.
L2
Alm disso, como tambm veremos mais adiante, podemos concluir que neste caso utt
(
)
0, T ; H 1 () , ou seja, que u satisfaz a equao
utt + 2 u p u + (g u) ut + f (u) = 0
(
)
L2 0, T ; H 1 () .
em
2.3.6 Unicidade
Sejam u e v duas solues mais regulares do problema (2.1)-(2.3) e considere w = u v. Ento
w satisfaz a equao
g(t s)w(s)ds
}
1
1
2
2
wt (t)2 + w(t)2 + wt (t)22
2
2
(
)
= p u(t) p v(t), wt (t) f (u(t)) f (v(t)), wt (t)
t
+
g(t s)(w(s), wt (t))ds.
0
47
1
Alm disso, das condies (2.7)-(2.8) e como 2(+1)
+ 2(+1)
+
desigualdades de Hlder e Young, existe uma constante C > 0 tal que
(2.51)
1
2
= 1, ento usando as
(
)
f (u(t)) f (v(t)), wt (t)
(2.52)
Pondo
(t) =
wt (t)22
w(t)22
)
g(s)ds w(t)22 + (gw)(t)
)
g(s)ds w(t)22 lw(t)22 0.
Como j sabido,
(gw)(t) 0.
Assim, existe uma constante C > 0 tal que (2.53) fica sob a forma
d
(t) C(t).
dt
Como (0) = 0, obtemos
wt (t)22 + lw(t)22 0,
(2.53)
48
1
1
1
2
2
p
E(t) = ut (t)2 + u(t)2 + u(t)p +
f(u(t))dx.
(2.54)
2
2
p
t 0,
1
1
1
ut (t)22 + u(t)22 + u(t)pp +
f(u(t))dx
2
2
p
( t
)
1
1
1
E(t) F (t).
l
Alm disso, da condio (2.6) segue que F decrescente, pois
1
1
F (t) = ut (t)22 + (g u)(t) g(t)u(t)22
2
2
k1
2
ut (t)2 (gu)(t).
2
49
> 0,
onde
(t) =
ut (t)u(t)dx.
Com isto, demonstraremos dois lemas auxiliares que sero cruciais para a concluso do decaimento
exponencial.
Lema 2.4.2. Existe uma constante C1 > 0 tal que
|F (t) F (t)| C1 F (t),
t 0, > 0.
1
1
ut (t)22 +
u(t)22
2
21
{
}
1
1
max 1,
F (t),
l
1
1
l
em
sobre
{
}
max 1, 11 , obtemos
|F (t) F (t)| = |(t)| C1 F (t),
como desejado.
t 0, (0, 1 ).
(2.55)
50
ut (t)22
(t) =
u(t)22
u(t)pp
u(t) ut (t)dx
f (u(t))u(t)dx.
onde denotamos
I1 =
= u(t) ut (t)dx.
I2 =
I3
|I2 |
g(s)ds u(t)2 +
g(s)ds u(t)22
2
2
0
0
1
2
+ 1 u(t)2 + g1 (gu)(t),
4
0
onde > 0 ser escolhido de modo conveniente mais adiante. Tambm pela desigualdade de Young,
temos
1
ut (t)22
4
1
1 u(t)22 + ut (t)22 .
4
|I3 | u(t)22 +
51
Ento,
)
(
)
1
3
1
1
2
ut (t)2 +
(t) F (t) +
2 +
+ g1 (gu)(t)
2
4
2 4
(
)
t
1
1 1
g(s)ds u(t)22 + 21 u(t)22 .
2
0
(
(t) F (t) +
C2 ut (t)22
l
+ C3 (gu)(t) + 21
2
)
u(t)22 .
Logo, tomando > 0 pequeno o suficiente temos que a desigualdade (2.55) verdadeira. Isto
encerra a prova do Lema 2.4.3.
Agora, usarremos os lemas anteriores para concluir a propriedade de decaimento. Seja
{
}
1
0 = min
, 1 .
2C1
Com isto, tomando < 0 segue do Lema 2.4.2 que
3
1
F (t) F (t) F (t),
2
2
t 0.
(2.56)
t 0.
Isto prova o decaimento exponencial de solues mais regulares u H3 (), como era desejado.
O mesmo resultado pode ser estendido para solues fracas u H 2 () H01 () usando
argumentos de densidade, como em Cavalcanti et al [19].
Isto conclui a prova do Teorema 2.4.1.
C APTULO
3
Um modelo de placas com
p-Laplaciano e memria com histria
3.1
Introduo
sobre
R,
(3.2)
e condies iniciais
u(x, ) = u0 (x, )
ut (x, ) = t u0 (x, ),
(x, ) (, 0],
(3.3)
54
(x, s) R+ , t 0.
(3.4)
(x, s) R+ , t 0.
(x, s) R+ .
Considerando, por simplicidade, (s) = (s) e () = 1, ento usando (3.4) o problema original
(3.1)-(3.3) pode ser convertido no seguinte sistema:
2
(s)2 t (s) ds ut + f (u) = h em R+ , (3.5)
utt + u p u +
0
t = s + ut
em
R+ R+ ,
(3.6)
R+ ,
= = 0 sobre
R+ R+ ,
(3.7)
e condies iniciais
u(x, 0) = u0 (x), ut (x, 0) = u1 (x), 0 (x, s) = 0 (x, s),
onde
(3.8)
x ,
3.2
55
2N 2
N 2
se N 3
p 2 se
N = 1, 2.
(3.9)
u, v R,
(3.10)
4
N 4
se
N 5
>0
se 1 N 4.
(3.11)
z
0
k1 f(u) f (u)u,
u R,
(3.12)
f (s) ds e k1 0.
Observao 3.2.1. Com a condio (3.9) segue do Teorema de Imerses de Sobolev, relembrado na
seo 1.2 do Captulo 1, que vale a seguinte cadeia de incluses:
1,2(p1)
H 2 () H01 () , W0
() , H01 () , L2 ().
0 < < .
(3.13)
(s) 0,
(s) 0,
s R+ ,
(3.14)
s R+ .
(3.15)
A seguir fixaremos as notaes que sero usadas durante todo este captulo. Consideremos, em
primeiro lugar, os espaos
V0 = L2 (),
V1 = H01 (),
V2 = H 2 () H01 ()
56
e
V3 = {u H 3 () | u = u = 0 sobre },
equipados com os respectivos produtos internos e normas
(u, v)V1 = (u, v)
||u||V1 = ||u||2 ,
||u||V2 = ||u||2 ,
||u||V3 = ||u||2 .
Como padro nesta tese, (, ) denota o produto interno em L2 () e || ||p a norma em Lp ().
Quando no houver possibilidade de confuso, usaremos a mesma notao , para mencionar a
dualidade entre os espaos e seus duais.
A fim de abordar a histria de deslocamento relativo como uma nova varivel, consideremos os
seguintes espaos com peso L2 ,
}
{
(s)||(s)||2Vi ds < , i = 0, 1, 2, 3,
Mi := L2 (R+ ; Vi ) = : R+ Vi
0
que so no vazios devido as hipteses (3.13)-(3.14). Alm disso, estes espaos so de Hilbert quando
munido do produto interno e norma
(s)||(s)||2Vi ds, i = 0, 1, 2, 3.
(s)((s), (s))Vi dr, ||||2,i =
(, ),i =
0
H1 = V3 V1 M3 ,
d
(ut , ) + (u, ) + |u|p2 u,
dt
(3.16)
(3.17)
57
Para mostrar que o problema (3.5)-(3.8) bem posto, temos o seguinte resultado
(
)
Teorema 3.3.1. Seja h L2 0, T ; L2 () . Sob as condies (3.9)-(3.15), temos:
(i) Se (u0 , u1 , 0 ) H, ento o problema (3.5)-(3.8) possui uma soluo fraca
(u, ut , ) C([0, T ], H),
T > 0,
satisfazendo
u L (0, T ; V2 ),
ut L (0, T ; V0 ) L2 (0, T ; V1 ),
L (0, T ; M2 ).
(3.18)
(ii) Se (u0 , u1 , 0 ) H1 , ento a soluo fraca do problema (3.5)-(3.8) possui maior regularidade
u L (0, T ; V3 ),
ut L (0, T ; V1 ) L2 (0, T ; V2 ),
L (0, T ; M3 ).
(3.19)
(iii) Em ambos os casos, a soluo (u, ut , ) depende continuamente dos dados iniciais em H. Mais
precisamente, sejam zi = (ui , uit , i ) duas solues do problema (3.5)-(3.8) correspondentes
aos dados iniciais zi,0 = (ui0 , ui1 , 0i ), para i = 1, 2. Ento, vale a seguinte estimativa:
||z1 (t) z2 (t)||H ect ||z1,0 z2,0 ||H ,
t [0, T ],
(3.20)
para alguma constante c > 0. Em particular, o problema (3.5)-(3.8) possui uma nica soluo
fraca.
Prova. A existncia de solues ser feita utilizando o mtodo de Faedo-Galerkin com embasamento
nos argumentos exibidos por Lions et al [66, 67] e Yang et al [96, 97]. Com respeito ao termo de
memria seguiremos as ideias introduzidas por Dafermos [30, 31], as quais tambm foram expostas
mais recentemente por Giorgi et al [47, 48, 50], entre outros autores. Para uma melhor compreenso
do texto, separamos a demonstrao em vrias subsees como segue.
2 j = j j
em
com j
,
j = j = 0 sobre ,
j N.
Mais ainda, devido a regularidade dos problemas elpticos e das imerses de Sobolev temos
(
)
m
j
H () C () H01 (), j N.
mN
(3.21)
58
A seguir vamos selecionar uma base ortonormal regular (j )jN para o espao M2 =
L2 (R+ ; V2 ).
Para este fim prosseguiremos de modo anlogo a Giorgi et al [48], tomando vetores
(funes) j da forma (ci
k )i,kN , onde (ci )iN uma base ortonormal de L2 (R+ ) C0 (R+ ) e
k = k kV . De fato, se i = cp
k e j = cq
l , ento
2
(i , j ),2 =
0
de onde segue que (i , j ),2 = ij (delta de Kronecker). Logo, (j )jN ortonormal em M2 . Note
ainda, que j C0 (R+ , V2 ) para j N.
Agora para cada m N consideremos os seguintes subespaos de dimenso finita
Wm = Span{1 , . . . , m } V2
Qm = Span{1 , . . . , m } M2
u (t) =
ymk (t)k
t,m
(s) =
k=1
k=1
j = 1, . . . , m.
(3.23)
m
um
t (0) = u1 ,
0,m = 0m ,
(3.24)
onde
um
0 u0
em
V2 ,
um
1 u1
em
V0
0m 0
em
M2 .
(3.25)
Devido a regularidade das funes aqui envolvidas, a notao , em (3.22), que denota a
dualidade de W 1,p () com W01,p (), podia ser substituida neste momento pela notao (, ) de
produto interno em V0 . Contudo, a mesma ser mantida por motivos de convenincia e para no haver
confuso nos procedimentos futuros.
Note que o problema aproximado (3.22)-(3.24) pode ser reduzido no seguinte sistema de
Equaes Diferenciais Ordinrias (EDO) no lineares de segunda ordem, em ymj e gmj , dado por
y
gmk (t)(k , j ),2 = Hj (t, ymj (t)),
j
mj
mj
mj
j
k=1
m
m
(t) =
g
y
(t)(
,
k j ,2
mk
mj
k=1
k=1
),
y
j = 1, . . . , m,
j
j
mj
j ,2 ,
0
1
0
mj
(3.26)
d
dt
59
e tambm
p (ymj (t)) =
(m
)
ymk (t)k
, j
j = 1, . . . , m,
( (
e f (ymj (t)) =
k=1
(3.27)
)
ymk (t)k
)
, j
k=1
Alm disso,
m
(um
0 , j )j u0
em
V2 ,
(um
1 , j )j u1
em
V0 ,
(0m , j ),2 j 0
em
M2 .
j=1
m
j=1
m
j=1
Assim sendo, vamos determinar a existncia de solues para o sistema de EDOs (3.26) via teoria
de geral para equaes diferenciais ordinrias, ver Coddington & Levinson [29]. Com efeito,
reescrevendo o sistema (3.26) sob a forma matricial, obtemos
(t)
ym1
..
.
(t)
ymm
C1
1/2
1
..
.
0
}|
..
.
0
..
.
1/2
(1 , 1 ),2
..
..
.
.
(1 , m ),2
|
{z
(t)
ym1
C2
}|
..
.
1
0
.
.
..
..
..
.
ymm (t)
0 m
(m , 1 ),2
gm1 (t)
..
..
+
.
.
(m , m ),2
gmm (t)
}
ym1 (t)
..
ymm (t)
..
,
.
C3
C4
}|
..
.
(s 1 , 1 ),2
(s m , 1 ),2
gm1 (t)
..
..
..
..
.
.
.
.
(s 1 , m ),2 (s m , m ),2
gmm (t)
gmm (t)
(t)
ym1
(1 , 1 ),2 (m , 1 ),2
..
..
..
..
,
+
.
.
.
.
ymm (t)
(1 , m ),2 (m , m ),2
{z
}
|
(t)
gm1
C5
ym1 (0)
(um
0 , 1 )
.
..
=
..
.
ymm (0)
(um
0 , m )
(0)
ym1
(um
1 , 1 )
.
..
=
,
..
.
(0)
ymm
(um
1 , m )
gm1 (0)
(0m , 1 ),2
..
..
,
=
.
.
gmm (0)
(0m , m ),2
60
Pondo
ym1 (t)
..
,
Y (t) =
.
ymm (t)
gm1 (t)
..
G(t) =
.
gmm (t)
H1 (ym1 (t))
..
,
e H(t, Y (t)) =
.
Hm (ymm (t))
(3.28)
= C4 G(t) + C5 Y (t),
(3.29)
0 < t T,
(um
0 , 1 )
..
,
Y0 =
.
m
(u0 , m )
Y (0) = Y1
G(0) = G0 ,
(um
1 , 1 )
..
Y1 =
.
m
(u1 , m )
(3.30)
(0m , 1 ),2
..
.
G0 =
.
m
(0 , m ),2
Y (t)
X(t) = Y (t) e
Z(t) =
X(t) ,
G(t)
vem que
X(t)
+ H(t, Y (t))
Z (t) =
C
X(t)
+
C
Y
(t)
+
C
G(t)
1
2
3
C4 G(t) + C5 X(t)
0
0 Im 0
0
Y (t)
0 C5 C4
G(t)
0
|
{z
}
|
{z
}
(t,Z(t))
Y0
:= Z0 .
Z(0) =
Y
1
G0
Oras, com isto podemos converter (3.29)-(3.30) no seguinte PVI de primeira ordem,
{
0 < t T,
(3.31)
61
0
0
0
(t, z) =
P (y) + F (y) + (t) ,
0
0
0
| {z }
| {z }
| {z }
P(y)
onde
F (y)
ymk k , 1
p
k=1
..
P (y) =
.
(
)
m
ymk k , m
p
k=1
(t) =
(t)
)
)
( (m
ymk k , 1
f
k=1
..
F (y) =
.
( (
)
)
m
ymk k , m
f
k=1
(h(t), 1 )
..
.
.
(h(t), m )
(3.32)
j = 1, . . . , m,
zn = (yn , xn , gn ) (y, x, g) = z
em
R3m .
(3.33)
62
yn y
Rm .
em
yn,i yi
R,
em
i = 1, . . . , m.
(3.34)
yn,i i
i=1
yi i
W01,p ().
em
i=1
Conforme relembrado na Observao 1.3.1 (seo 1.3 do Captulo 1), o operador p-Laplaciano
p montono,(hemicontnuo e )
limitado,
como em Lions [66], que o operador
)
( de onde segue, assim
(m
)
yn,i i
, j
i=1
(m
)
yi i
, j
j = 1, . . . , m.
i=1
P(yn ) P(y).
(3.35)
yn,i i
i=1
yi i := w
em
C () , L2 ().
i=1
(m
i=1
)
yn,i i
(m
)
yi i
em
L2 ()
i=1
e, consequentemente, obtemos
( (m
)
)
( (m
)
)
n
f
yn,i i , j f
yi i , j ,
i=1
(3.36)
j = 1, . . . , m,
i=1
F(yn ) F(y).
(3.37)
Czn Cz.
(3.38)
63
Portanto, para quase todo t fixado, as convergncias (3.35)-(3.38) nos permitem concluir que a
funo dada em (3.32) contnua na varivel z, como queramos.
Resta mostrar mais uma condio imposta no Teorema de Carathodory, a saber, que existe uma
funo m(t) integrvel a Lebesgue tal que
||(t, z)||R3m m(t),
(t, z) R,
(3.39)
(3.40)
W0 ()
i=1
Como o operador p leva limitados de W01,p () em limitados de W 1,p (), segue que
(
)
m
yi i
cR .
p
1,p
i=1
()
Isto implica em
||P (y)||2Rm
(
)
2
m
m
yi i , j
=
p
i=1
j=1
(
)
m
m
2
||j ||2W 1,p ()
yi i
p
1,p
0
i=1
j=1
W
()
(m
)
2
m
||j ||2W 1,p () ,
yi i
=
p
1,p
0
i=1
ou seja,
||P (y)||Rm
() j=1
1/2
m
cR
||j ||2W 1,p () c2 .
j=1
(3.41)
64
=
y i i , j
f
j=1
i=1
(m
)
2
m
yi i
||j ||22
f
j=1
i=1
2
(m
)
2 m
=
f
yi i
||j ||22 .
||F (y)||2Rm
i=1
2 j=1
i=1
||F (y)||Rm
||f (w)||2
1/2
||j ||22
j=1
1/2
m
K||w||2
||j ||22 c3 .
(3.42)
j=1
|(h(t), j )|2
j=1
j=1
o que implica em
||(t)||Rm
j=1
1/2
(3.43)
j=1
Combinando as estimativas (3.41)-(3.43) com (3.40), concluimos que existe constante c > 0 tal que
||(t, z)||R3m c(1 + ||h(t)||2 ),
(t, z) R.
Lembrando que ||h(t)||2 L2 (0, T ), ento a funo m(t) := c(1 + ||h(t)||2 ) integrvel sobre
projt R [0, T ] e, portanto, a condio (3.39) satisfeita.
Pelo exposto acima, estamos em condies de aplicar o Teorema de Carathodory (ver
Coddington & Levinson [29, Captulo 2]). Fazendo isto, garantimos a existncia de uma soluo Z(t)
para o problema (3.31) em algum intervalo [0, Tm ) com 0 < Tm T, sendo Z(t) absolutamente
contnua e derivvel quase sempre em [0, Tm ). Logo, as funes ymj e gmj , com j = 1, . . . , m,
so solues locais do sistema de EDO (3.26) em [0, Tm ). Consequentemente, para cada m N,
o problema aproximado (3.22)-(3.24) possui uma soluo local (um (t), t,m ) em algum intervalo
[0, Tm ) com 0 < Tm T . Isto encerra esta primeira etapa.
65
m
m
m
m
m
t,m m
(um
, ut (t)),2
tt (t), ut (t)) + (u (t), ut (t)) p (u (t)), ut (t) + (
m
m
m
m
(um
t (t), ut (t)) + (f (u (t)), ut (t)) = (h(t), ut (t)), (3.44)
t,m
(t t,m , t,m ),2 = (s t,m , t,m ),2 + (um
),2 .
t (t),
(3.45)
(um (t), um
t (t)) =
p (um (t)), um
t (t) =
m
(um
t (t), ut (t)) =
(f (um (t)), um
t (t)) =
(t t,m , t,m ),2 =
1 d m
||u (t)||22 ,
2 dt t
1 d
||um (t)||22 ,
2 dt
1 d
||um (t)||pp ,
p dt
||um
(t)||22 ,
t
d
f(um (t))dx,
dt
1 d t,m 2
|| ||,2 ,
2 dt
(3.46)
onde
2
2
m
2
m
p
t,m 2
E m (t) = um
||,2 + 2
t (t)2 + u (t)2 + u (t)p + ||
p
Da condio (3.12),
f(um (t))dx.
(3.47)
f(um
t (t))dx k1 ||,
(3.48)
66
Por outro lado, das condies (3.13)-(3.15) e como t,m (0) = 0, temos
(
)
t,m t,m
(s , ),2 =
(s) s ( t,m (s)), t,m (s) ds
0
]
1 [
1
t,m
2
=
s (s)|| (s)||2 ds
(s)|| t,m (s)||22 ds
2 0
2 0
|
{z
}
=0
1
(s)|| t,m (s)||22 ds
=
2 0
k2
(s)|| t,m (s)||22 ds
2 0
k2 t,m 2
=
|| ||,2 ,
2
ou seja,
k2 t,m 2
|| ||,2 .
2
Alm disso, usando as desigualdades de Poincar e Young,
(s t,m , t,m ),2
1
d22
m
m
2
(h(t), um
h(t)22 ,
t (t)) d2 h(t)2 ut (t)2 ut (t)2 +
2
2
(3.49)
(3.50)
(3.51)
(3.52)
2
um
t (t)2
+ u
(t)22
|| t,m ||2,2
2
um
t ( )2 d
E (0) =
2
um
1 2
2
um
0 2
2
m 2
um
1 2 + u0 2 +
2
m 2
um
1 2 + u0 2 +
2
m p
m 2
u0 p + ||0 ||,2 + 2 f(um
0 )dx
p
2
p
m 2
m
um
f (um
0 p + ||0 ||,2 + 2
0 )u0 dx
p
2
p
m 2
m
m
um
0 p + ||0 ||,2 + 2||f (u0 )||2 ||u0 ||2
p
2
p
m 2
m 2
m 2
um
0 p + ||0 ||,2 + ||u0 ||2 + ||f (u0 )||2
p
2
m 2
um
1 2 + u0 2 +
(
)
2
m 2
m p
m 2
m 2
m 2(+1)
C um
+
u
+
u
+
||
||
+
||u
||
+
||u
||
1 2
0 2
0 p
0 ,2
0 2
0 2(+1) ,
(3.53)
67
2
um
t (t)2
+ u
(t)22
|| t,m ||2,2
2
um
t ( )2 d M1 ,
(3.54)
2
(um
t ) limitada em L (0, T ; V0 ) L (0, T ; V1 ) ,
(3.55)
( m ) limitada em L (0, T ; M2 ) .
em
L (0, T ; V2 ) ,
um
t ut
em
L (0, T ; V0 ) ,
um
t ut
em
L2 (0, T ; V1 ) ,
em
L (0, T ; M2 ) .
um u
(3.56)
em
L2 (0, T ; V1 ) ,
(3.57)
um u
em
C ([0, T ], V1 ) ,
(3.58)
ou melhor,
para todo T > 0, ver ainda Observao 2.3.3 (ver tambm Kim [62] no caso abstrato).
De posse das convergncias em (3.56)-(3.58), estamos aptos a proceder o limite no problema
aproximado e determinar a existncia de soluo fraca desejada. Para tal feito, sejam , D(0, T )
68
(um
t (t), j ) (t) dt +
t,m
, j ),2 (t) dt +
(um
t (t), j )(t) dt
(3.59)
0
T
(3.60)
onde usamos tambm integrao por partes em (3.59) e (3.60). Agora note que das convergncias
obtidas em (3.56) segue que
w L1 (0, T ; V0 ),
(
)
y L2 0, T ; V1 ,
(um
t (t), y(t)) dt
0
(
)
v L1 0, T ; V2 ,
(um
t (t), w(t)) dt
( t,m , t ) dt
( t , t ) dt,
(
)
L1 0, T ; M2 ,
(, )
denota a dualidade
, V2 ,V2
(, )
denota a dualidade
, V1 ,V1
(, )
denota a dualidade
, M2 ,M2 ,
v = (2 j ),
v=
y = (j ),
)
(s)2 j (s) ds ,
= j
w = j ,
= j ,
(3.61)
69
(um
t (t), j ) (t) dt
(3.62)
(um
t (t), j )(t) dt
0
T
A seguir, vamos determinar o limite dos demais termos (tambm no lineares) presentes em
(3.59)-(3.60). Mais precisamente, afirmamos que
(3.63)
0
T
0
T
p (u (t)), j (t) dt
m
No que segue, mostraremos o primeiro limite em (3.63), sendo os outros dois anlogos aos j
feito no captulo anterior.
Convergncia do termo (3.63)1 . Usando integrao por partes, notemos que
(s t,m , j ),2 =
=
=
=
=
=
=
(
)
(s) (s t,m (s)), j (s) ds
0
70
Ento,
0 T
(
)
(s) t,m (s), j (s) ds(t) dt
(3.64)
Como anteriormente, vamos tomar casos particulares de e aplicar a convergncia para dada
anteriormente. Para isto, notamos em primeiro lugar que devido a regularidade de j , temos
(
)
(
)
e s j L2 R+ ; V2 , j N.
j L2( )2 R+ ; V2
m
t,m
( , j (t)),2 dt
( t , j (t)),2 dt,
0
0
T
T
m
( t,m , s j ),2 (t) dt
(3.65)
(3.66)
(3.67)
( , j ),2 (t) dt =
(s , j ),2 (t) dt
(u(t), j ),2 (t) dt,
0
71
T
T
d
(ut (t), )(t) dt +
(u(t), )(t) dt
p (u(t)), (t) dt
0 dt
0
0
T
T
T
t
+
( , ),2 (t) dt +
(ut (t), )(t) dt +
(f (u(t)), )(t) dt
0
0
0
T
=
(h(t), )(t) dt,
0
T
T
T
d t
d
t
( , ),2 (t) dt =
(s , ),2 (t) dt +
(u(t), ),2 (t) dt,
0 dt
0
0 dt
T
(3.68)
(3.69)
para todos
(, ) V2 M2
, D(0, T ).
d
(ut , ) + (u, ) p (u), + (, ),2 + (ut , ) + (f (u), ), = (h, ), ,
dt
d
d
(, ),2 , = (s , ),2 + (u, ),2 , , , D(0, T ),
dt
dt
de onde segue que
d
(ut , ) + (u, ) p (u), + (, ),2 + (ut , ) + (f (u), ) = (h, ),
dt
d
d
(, ),2 = (s , ),2 + (u, ),2 ,
dt
dt
em D (0, T ) para todo par (, ) V2 M2 . Isto mostra que a funo z := (u, ut , ) satisfaz
(3.16)-(3.17) com
u L (0, T ; V2 ),
ut L (0, T ; V0 ) L2 (0, T ; V1 ),
(3.70)
L (0, T ; M2 ) ,
o que tambm prova a condio (3.18).
Para concluir que o limite z = (u, ut , ) , de fato, uma soluo fraca do problema (3.5)-(3.8)
resta verificar que
z C ([0, T ], H)
z(0) = (u0 , u1 , 0 ).
Contudo, a continuidade de u, ut em [0, T ] segue de modo anlogo a Yang & Jin [98]. Alm
disso, a continuidade de segue de modo similar como provado em Pata & Zucchi [83], sendo uma
consequncia do fato de que o operador de derivao s gera um C0 -semigrupo de contraes
em M2 . Estas continuidades sero comprovadas mais adiante, em um s passo, para funes mais
regulares. Depois, pelo uso de sequncias regularizantes segue tambm a continuidade de soluo
fraca. Assim sendo, deduzimos que a requerida continuidade de z vale.
72
(
)
Com isto, z(0) = u(0), ut (0), 0 faz sentido e a condio inicial z(0) = (u0 , u1 , 0 ) pode
ser verificada fazendo escolhas convenientes para as funes testes. Para tal feito, consideremos
, C 1 ([0, T ]) com (0) = (0) = 1 e (T ) = (T ) = 0.
Provaremos inicialmente que u(0) = u0 . De fato, para m, j N com m j, vem de (3.61)1
com v = j e de (3.61)3 com w = j , que
T
(um (t), j ) (t) dt
0
T
(um
t (t), j )(t) dt
(3.71)
(3.72)
m
m
m
(u (0), j )
(u (t), j ) (t) dt (u(0), j )
0
(u(t), j ) (t) dt
j N,
L2 ().
em
em
L2 ().
(ut (0), j )
(ut (t), j ) (t) dt +
(um (t), j )(t) dt
0
0
T
T
m
p (u (t)), j (t) dt +
( t,m , j ),2 (t) dt
0
0
T
T
m
m
+
(ut (t), j )(t) dt +
(f (u (t)), j )(t) dt =
0
(um
t (0), j ) (u1 , j ),
j N.
(u1 , )
(ut (t), ) (t) dt +
(u(t), )(t) dt
0
0
T
T
p (u(t)), (t) dt +
( t , ),2 (t) dt
0
0
T
T
T
+
(ut (t), )(t) dt +
(f (u(t)), )(t) dt =
(h(t), )(t) dt,
0
73
p (u(t)), (t) dt +
( t , ),2 (t) dt
(3.73)
0
0
T
T
T
+
(ut (t), )(t) dt +
(f (u(t)), )(t) dt =
(h(t), )(t) dt.
0
V2 .
( 0,m , j ),2
(u0 , j ),2 ,
(0 , j ),2 ,
j N.
Assim, tomando limite quando m , usando algumas das convergncias (3.62)-(3.63) e o fato de
que (j )jN constitui uma base para M2 , ento
T
( t , ),2 (t) dt
(0 , ),2
0
T
t
=
(s , ),2 (t) dt (u0 , ),2
0
T
d t
(0 , ),2 + ( , ),2 +
( , ),2 (t) dt
0 dt
T
t
=
(s , ),2 (t) dt + (u(0) u0 , ),2 +
0
(3.74)
T
d
(u(t), ),2 (t) dt.
dt
M2 ,
donde segue que 0 = 0 , como era desejado. Isto mostra que a funo z = (u, ut , ) uma soluo
fraca de (3.5)-(3.8).
74
(3.75)
t + s L (0, T ; M0 ) L (0, T ; M1 ) .
2
(3.76)
De fato, identificando V0 com seu dual, por meio do Teorema de Representao de Riesz-Frchet,
ento vale as seguintes cadeias de incluses contnuas
V2 , W01,p , V1 , V0 , V1 , W 1,p , V2
M2 , M0 , M2 .
(3.77)
2 t
+
(s) (s) ds (t) dt,
ut (t)(t) dt,
0
0
0
T
T
+
f (u(t))(t) dt, =
h(t)(t) dt, ,
0
0
T
t (t) dt,
=
st (t) dt,
ou ainda,
T
T
+
(s)2 t (s) ds (t) dt,
ut (t)(t) dt,
0
0
0
T
T
+
f (u(t))(t) dt, =
h(t)(t) dt, ,
0
0
T
t
t
ut (t)(t) dt, ,
t (t) dt,
=
s (t) dt,
+
(3.78)
t = s + ut
em D (0, T ; V2 ) D (0, T ; M2 ) .
Agora notemos que de (3.70) e (3.77) obtemos
(
)
2
u,
(s)2 t (s) ds L 0, T ; V2 ,
0
(
)
(
)
ut L2 0, T ; V1 , L2 0, T ; V2 ,
(
)
h L2 (0, T ; V0 ) , L2 0, T ; V2 .
(3.79)
75
(3.80)
Com efeito, em primeiro lugar note que das hipteses (3.10)-(3.12), temos
||f (u(t))||22 =
|f (u(t))|2 dx
)
(
|u(t)|2 + |u(t)|2(+1) dx
2k0
(
)
2(+1)
= 2k0 ||u(t)||22 + ||u(t)||2(+1)
(
)
2(+1)
,
C ||u(t)||22 + ||u(t)||2
onde na ltima desigualdade usamos a incluso V2 , L2(+1) . Logo, combinando (3.70) e (3.77)
vem que
(
)
f (u) L (0, T ; V0 ) , L 0, T ; V2 .
1,2(p1)
| p u(t), | = |u(t)|p2 u(t),
|u(t)|p1 || dx
|u(t)|
2(p1)
]1/2 [
]1/2
2
dx
|| dx
||u(t)||p1
2(p1) ||||2
Cp ||u(t)||p1
2 ||||2 ,
o que mostra (3.75) e, como consequncia, implica que a igualdade em (3.78)1 vale em L2 (0, T ; V2 ) .
Resta verificar (3.76). Contudo, este fato uma consequncia imediata de (3.70)2 e de (3.78)2 .
Isto encerra a prova do item (i) do Teorema 3.3.1.
76
regularidade, conforme exposto em (3.19). Iniciaremos por estabelecer uma estimativa, digamos,
mais regular para as solues do problema aproximado.
Consideremos agora os dados iniciais (u0 , u1 , 0 ) H1 e, como anteriormente, sejam um (t) e
t,m solues do problema aproximado (3.22)-(3.23) com condies iniciais (3.24), onde agora
um
0 u0
em
V3 ,
um
1 u1
em
V1
(t)
Multiplicando as equaes (3.22) por ymj
j
1, . . . , m, ento
1/2
0m 0
em
1/2
M3 .
(3.81)
e somando de j =
( m
)
m
m
m
m
(um
tt (t), ut (t)) u (t), (ut (t)) + p (u (t)), ut (t)
(3.82)
m
2
m
m
m
( t,m , um
t (t)),2 + ||ut (t)||2 (f (u (t)), ut (t)) = (h(t), ut (t)),
t,m
(t t,m , t,m ),2 = (s t,m , t,m ),2 (um
),2 ,
t (t),
(3.83)
1/2
t,m
, um
t (t)),2
(
)
=
(s) t,m (s), (um
t (t)) ds
0
(
)
=
(s) t,m (s), um
t (t) ds
0
= ( t,m , um
t (t)),3 .
Alm disso, tambm pela frmula de Green, temos
(
)
( t,m , t,m ),2 =
(s) ( t,m (s)), ( t,m (s)) ds
0
(
)
=
(s) t,m (s), t,m (s) ds
0
) (
)
m
m
m
m
m
um
tt (t), ut (t) + u (t), ut (t) + p (u (t)), ut (t)
(3.84)
m
2
m
m
m
+ ( t,m , um
t (t)),3 + ||ut (t)||2 (f (u (t)), ut (t)) = (h(t), ut (t)),
t,m
(t t,m , t,m ),3 = (s t,m , t,m ),3 + (um
),3 .
t (t),
(3.85)
77
m
um
tt (t), ut (t)
um (t), um
t (t)
1 d
2
||um
t (t)||2 ,
2 dt
1 d
||um (t)||22 ,
2 dt
1 d t,m 2
|| ||,3 ,
2 dt
1 d{
2
m
2
t,m 2
m
m
um
(t)
+
u
(t)
+
||
||
t
2
2
,3 + p (u (t)), ut (t)
2 dt
(
)
2
t,m t,m
+ um
, ),3 + f (um (t)) h(t), um
t (t)2 = (s
t (t) .
(3.86)
d
p (um (t)), um (t) = p (um (t)), um
t (t) + J1 ,
dt
onde
J1 =
}
m
m
p2
m
(2 p)|um (t)|p4 (um (t) um
um
t (t))u (t) + |u (t)|
t (t) u (t) dx,
}
1 d{
2
m
2
t,m 2
m
m
um
(t)
+
u
(t)
+
||
||
+
2
u
(t),
u
(t)
p
t
2
2
,3
2 dt
m
2
+ ut (t)2 = (s t,m , t,m ),3 + J1 + J2 + J3 ,
onde
(
J2 = f (u
J3 =
(t)), um
t (t)
)
h(t), um
t (t)
(3.87)
f (um (t))um
t (t) dx,
h(t)um
t (t) dx.
A seguir vamos exibir estimativas convenientes para os termos do lado direito da igualdade em
(3.87). Para simplificar a notao, usaremos o mesmo parmetro C para denotar diferentes constantes
positivas que no dependem de m e t.
Em primeiro lugar, devido as condies (3.13)-(3.15) e como t,m (0) = 0, temos de forma
anloga a (3.49) que
k2
(s t,m , t,m ),3 || t,m ||2,3 0.
(3.88)
2
Resta-nos estimar J1 , J2 e J3 . As estimativas para J1 e J2 sero similares s j feitas na subseo
"Estimativa a priori 2" do Captulo 2. Iniciando com J1 , note que usando a desigualdade de Hlder
1,2(p1)
p2
1
(), ento
generalizada, com 2(p1)
+ 2(p1)
+ 12 = 1, a estimativa (3.54) e como V2 , W0
m
|J1 | (p 1)
|um (t)|p2 |um
t (t)| |u (t)| dx
m
m
(p 1) um (t)p2
2(p1) ut (t)2(p1) u (t)2
m
m
Cp um (t)p2
2 ut (t)2 u (t)2
m
C um
t (t)2 u (t)2 ,
78
para alguma constante C > 0. Pela desigualdade de Young com = 1/4, obtemos
1
C
2
|J1 | um
um (t)22 ,
t (t)2 +
4
2
(3.89)
m
2
||f (u (t))||2 =
|f (um (t))|2 dx
(
)
2k0
|um (t)|2 + |um (t)|2(+1) dx
(
)
2(+1)
= 2k0 ||um (t)||22 + ||um (t)||2(+1)
(
)
2(+1)
C ||um (t)||22 + ||um (t)||2
(
)
= C 1 + ||um (t)||2
||um (t)||22
2
C
||um (t)||22 ,
2
para alguma constante C > 0. Logo, novamente aplicando a desigualdade de Young com = 1/4,
obtemos
|J2 | f (um (t))2 um
t (t)2
1
2
f (um (t))22 + um
t (t)2
4
C
1
2
||um (t)||22 + um
t (t)2 .
2
4
(3.90)
Com relao a J3 temos, simplesmente pela desigualdade de Young com = 1/4, que
1
2
m
2
|J3 | ||h(t)||2 ||um
t (t)||2 h(t)2 + ut (t)2 .
4
(3.91)
(3.92)
2
m
2
t,m 2
F m (t) = um
||,3 + 2 p um (t), um (t) .
t (t)2 + u (t)2 + ||
Como anteriormente (ver seo 2.3 - estimativa a priori 2), usando a estimativa (3.54), existe uma
constante C > 0 tal que
p um (t), um (t) C + 1 um (t)22 ,
4
de onde vem que
1
2 p um (t), um (t) 2C um (t)22 .
2
(3.93)
79
(3.94)
1
2
2
m
2
um
t ( )2 d F (0) + 2hL2 (0,T ;L2 ()) + 2C
um ( )22 d. (3.95)
2
m
2
t,m 2
um
||,3 +
t (t)2 + u (t)2 + ||
2
um
(3.96)
t ( )2 d
0
t
m
2
2F (0) + 4hL2 (0,T ;L2 ()) + 4C + 4C
um ( )22 d.
0
para alguma constante C > 0 dependendo apenas dos dados iniciais e independente de m e t. Alm
disso, usando novamente (3.93), notemos que
2
m 2
m 2
m
m
F m (0) = um
1 2 + u0 2 + ||0 ||,3 + 2 p u0 , u0
3
2
m 2
m 2
um
1 2 + u0 2 + ||0 ||,3 + 2C.
2
Assim, desta estimativa e devido s convergncias (3.81), existe uma constante positiva C1 =
(
)
C1 ||u1 ||2 , ||u0 ||2 , ||0 ||,3 , ||h||L2 (0,T ;L2 ()) , ||, T > 0 tal que
2F m (0) + 4h2L2 (0,T ;L2 ()) + 4C C1 .
Logo, a estimativa (3.96) se reduz a
2
m
2
t,m 2
um
||,3 +
t (t)2 + u (t)2 + ||
2
um
t ( )2 d C1 + C1
um ( )22 d.
2
um
t (t)2
+ u
(t)22
|| t,m ||2,3
2
um
t ( )2 d M2 ,
(3.97)
L (0, T ; V3 ) ,
(um
t ) limitada em
L (0, T ; V1 ) L2 (0, T ; V2 ) ,
( m ) limitada em
L (0, T ; M3 ) .
(3.98)
80
em
L (0, T ; V3 ) ,
um
t ut
em
L (0, T ; V1 ) ,
um
t ut
em
L2 (0, T ; V2 ) ,
em
L (0, T ; M3 ) .
um u
(3.99)
(3.100)
L (0, T ; M3 ) ,
provando tambm a condio (3.19). Mais adiante, mostraremos tambm que z C ([0, T ], H). A
condio inicial z(0) = (u0 , u1 , 0 ) imediata, sendo similar anterior.
Agora, como anteriormente, temos:
Observao 3.3.2. Alm do exposto acima, afirmamos tambm que:
(
)
utt L2 0, T ; V1 ,
t + s L (0, T ; M1 ) L2 (0, T ; M2 ) .
(3.101)
(3.102)
t = s + ut
(3.104)
81
(3.105)
Com efeito, das hipteses (3.11)-(3.12) imediato ver (assim como anteriormente) que
(
)
f (u) L (0, T ; V0 ) , L 0, T ; V1 .
Alm disso, para V1 , obtemos
2
u(t), = |(u(t), )| ||u(t)||2 ||||2 ,
de onde tiramos, usando (3.100)1 , que
||2 u(t)||V1 ||u(t)||2 <
q.s em
[0, T ].
p1
|u(t)|p1 || dx ||u(t)||2(p1)
||||2 ,
(3.107)
T > 0.
(3.108)
82
De fato, das condies expostas anteriormente (ver (3.70), (3.75)-(3.76), (3.100) e (3.101)-(3.102))
extraimos, de modo conveniente, pelo menos que
u L (0, T ; V2 ) C ([0, T ], V1 ) ,
ut L (0, T ; V0 ) L2 (0, T ; V1 ) ,
(
)
utt L2 0, T ; V2 ,
(3.109)
L (0, T ; M2 ) ,
(
)
t L2 0, T ; M2 .
Isto implica que
u L (0, T ; V2 ) Cw ([0, T ], V0 ) ,
(
)
ut L (0, T ; V0 ) Cw [0, T ], V2 ,
(
)
L (0, T ; M2 ) Cw [0, T ], M2 .
Como vale as incluses (3.77), ento aplicando o Lema 1.2.15 segue que
u Cw ([0, T ], V2 ) C ([0, T ], V1 ) ,
ut Cw ([0, T ], V0 ) L2 (0, T ; V1 ) ,
(3.110)
Cw ([0, T ], M2 ) .
Com esta regularidade, multiplicando a primeira e segunda equaes em (3.104) por ut e ,
respectivamente, integrando sobre e somando as expresses resultantes, deduzimos que
}
1 d{
||u(t)||22 + ||ut (t)||22 + || t ||2,2
2 dt
(
)
= p u(t), ut (t) ( t , st ),2 ||ut (t)||22 f (u(t)) h(t), ut (t) ,
(3.111)
onde os clculos foram feitos de modo anlogo aos anteriores. Agora consideremos t0 [0, T )
qualquer e integrando (3.111) sobre [t0 , t] [0, T ] segue que
} {
}]
1 [{
||u(t)||22 + ||ut (t)||22 + || t ||2,2 ||u(t0 )||22 + ||ut (t0 )||22 + || t0 ||2,2
2
t{
(
)}
p u( ), ut ( ) ( , s ),2 ||ut ( )||22 f (u( )) h( ), ut ( ) d.(3.112)
=
t0
A seguir mostraremos que a integral sobre [t0 , t] do lado direito da identidade (3.112) faz
sentido e, alm disso, tende a 0 quando t t+
0 . De fato, como ut (t) V1 e vale a incluso
1,2(p1)
V2 , W0
(), ento pela desigualdade de Hlder temos
| p u(t), ut (t) | = |u(t)|p2 u(t), ut (t)
|u(t)|
2(p1)
]1
] 1 [
2
2
2
|ut (t)| dx
dx
||u(t)||p1
2(p1) ||ut (t)||2
Cp ||u(t)||p1
2 ||ut (t)||2 ,
83
para alguma constante Cp > 0. Alm disso, como j vimos anteriormente, usando as hipteses
(3.10)-(3.12) temos
|(f (u(t)), ut (t))| ||f (u(t))||2 ||ut (t)||2
(
)
(+1)
C ||u(t)||2 + ||u(t)||2
||ut (t)||2 ,
para alguma constante C > 0, e tambm,
|(h(t), ut (t))| ||h(t)||2 ||ut (t)||2 .
Mais ainda, das condies (3.13)-(3.15) e como L (0, T ; M2 ) com t (0) = 0, vem que
(
)
t t
( , s ),2 =
(s) t (s), st (s) ds
0
]
1 d[
1
=
(s)|| t (s)||22 ds
(s)|| t (s)||22 ds
2 0 ds
2 0
|
{z
}
=0
1
=
(s)|| t (s)||22 ds
2 0
k2
(s)|| t (s)||22 ds
2 0
k2 t 2
=
|| ||,2 .
2
Essas estimativas em conjunto com (3.109) asseguram que a funo
(
)
( ) = p u( ), ut ( ) ( , s ),2 ||ut ( )||22 f (u( )) h( ), ut ( )
t
integrvel sobre [t0 , t] e que t0 ( ) d 0 quando t t+
0 . Logo, resulta de (3.112) que
||u(t)||22 + ||ut (t)||22 + || t ||2,2
tt+
0
(3.113)
)
u(t0 ), ut (t0 ), t0
em H.
(
)
Isto mostra a continuidade direita de z(t) = u(t), ut (t), t em t0 [0, T ). De modo
semelhante se motra a continuidade esquerda de z(t) em t0 (0, T ]. Portanto, a condio (3.108)
u(t), ut (t), t
tt+
0
84
wtt + 2 w p u + p u
e+
t = s + wt ,
(3.115)
(3.116)
Com esta regularidade, multiplicando a equaes (3.114) por wt e (3.115) por , integrando sobre
e somando as expresses resultantes, deduzimos que
}
1 d{
||w(t)||22 + ||wt (t)||22 + || t ||2,2 + ||wt (t)||22
2 dt
(
)
= p u(t) p u
e(t), wt (t) f (u(t)) f (e
u(t)), wt (t) ( t , st ),2 .
(3.117)
A seguir vamos estimar os termos do lado direito da igualdade acima de modo conveniente. Em
primeiro lugar, usando o Lema
( 1.3.1, a desigualdade
) de Hlder generalizada, a condio (3.9) e que
1,2(p1)
u, u
e L (0, T ; V2 ) , L
0, T ; W0
() , ento
| p u(t) p u
e(t), wt (t) |
= |u(t)|p2 u(t) |e
u(t)|p2 e
u(t), wt (t)
|u(t)|p2 u(t) |e
u(t)|p2 e
u(t) |wt (t)| dx
(
)
Mp
|u(t)|p2 + |e
u(t)|p2 |w(t)| |wt (t)| dx
(
)
p2
Mp u(t)p2
+
e
u
(t)
2(p1)
2(p1) w(t)2(p1) wt (t)2
Cp ||w(t)||2 ||wt (t)||2 ,
para alguma constante Cp > 0. Logo, pela desigualdade de Young, obtemos
1
| p u(t) p u
e(t), wt (t) | C w(t)22 + wt (t)22 ,
2
para alguma constante C > 0.
(3.118)
85
2(+1)
0, T ; L
() , ento
2 ) , L
(
)
f (u(t)) f (e
u(t)), wt (t)
|f (u(t)) f (e
u(t))| |wt (t)| dx
k0
(1 + |u(t)| + |e
u(t)| ) |w(t)| |wt (t)| dx
(
)
2(+1)
k0 ||
+ ||u(t)||2(+1) + ||e
u(t)||2(+1) w(t)2(+1) wt (t)2
L (0, T ; V
C w(t)2 wt (t)2 ,
para alguma constante C > 0. Assim, novamente pela desigualdade de Young, obtemos
(
)
1
f (u(t)) f (e
u(t)), wt (t) C w(t)22 + wt (t)22 ,
2
(3.119)
|| ||,2 .
2
Substituindo as estimativas (3.118)-(3.120) na identidade (3.117), obtemos
}
d{
||w(t)||22 + ||wt (t)||22 + || t ||2,2 + ||wt (t)||22
dt
4C w(t)22 + wt (t)22 + k2 || t ||2,2 ,
o que implica em
}
{
}
d{
||w(t)||22 + ||wt (t)||22 + || t ||2,2 c2 ||w(t)||22 + ||wt (t)||22 + || t ||2,2 ,
dt
(3.121)
para alguma constante c > 0. Lembrando que (w, wt , ) = z1 z2 , ento podemos reescrever (3.121)
como
d
(3.122)
||z1 (t) z2 (t)||2H c2 ||z1 (t) z2 (t)||2H .
dt
Aplicando a desigualdade de Gronwall em (3.122), obtemos
||z1 (t) z2 (t)||H ect ||z1,0 z2,0 ||H ,
t [0, T ],
para alguma constante c > 0. Isto mostra a condio (3.20) e a depndencia contnua de solues
com relao aos dados iniciais em H fica assegurada. Em particular, temos unicidade de solues
mais regulares.
86
A mesma concluso vale para solues fracas fazendo uso de mollifiers, assim como em Pata &
Zucchi [83] ou Giorgi et al [48]. Uma outra abordagem, baseada em argumentos de densidade, segue
em Cavalcanti et al [19].
Isto encerra a prova do item (iii) e, portanto, a prova do Teorema 3.3.1 est completa.
Observao 3.3.4. Nas sees seguintes vamos avaliar o comportamente assinttico das solues do
problema (3.5)-(3.8) que determinamos nesta seo por meio do Teorema 3.3.1. Para tal propsito,
usaremos um procedimento baseado no mtodo de perturbao de energia, ver por exemplo [19, 56].
Contudo, devido a nova varivel nossos argumentos com respeito ao termo de memria (com
histria) diferente da usada no Captulo 2, onde fizemos uso do Lema 2.2.1. Ao invs disso,
usaremos somente as hipteses atribuidas sobre o ncleo da memria . Alm disso, vale a pena notar
que os mtodos empregados a seguir claramente sero vlidos para solues fracas mais regulares
dadas pelo Teorema 3.3.1 e que, posteriormente, por densidade vale os mesmos procedimentos e
afirmaes para solues fracas.
para todo
t 0.
t 0,
(3.123)
)
u(t), ut (t), t a soluo do problema (3.5)-(3.8) dada pelo Teorema
3.3.1 referente aos dados iniciais tomados em H. Devido a existncia, unicidade, continuidade e
a dependncia contnua asseguradas pelo Teorema 3.3.1 simples verificar que a famlia {S(t)}t0
satisfaz as seguintes condies:
(i) S(0) = Id : H H o operador identidade em H.
(ii) S(t + ) = S(t)S( ) para todos t, 0.
(
)
(iii) A aplicao [0, ) H (t, z0 ) S(t)(z0 ) = u(t), ut (t), t H contnua para cada
z0 = (u0 , u1 , 0 ) dado.
Alm disso, em virtude da condio (3.20) vemos que S(t) localmente Lipschitz contnuo
no espao de fase H. Assim sendo, mediante teoria geral revisada na seo 1.6 do Captulo 1,
87
concluimos que S(t) compe um C0 -semigrupo no linear em H e, tambm, o par (H, S(t))
chamado de Sistema Dinmico.
Portanto, para avaliar o comportamento das solues do problema (3.5)-(3.8) ao longo do tempo,
vamos estabelecer por meio da teoria geral para semigrupos e atratores (conforme exposto na seo
1.6) a evoluo ao longo do tempo do C0 -semigrupo S(t) associado ao problema (3.5)-(3.8) como
definido em (3.123). Mais precisamente, nosso objetivo mostrar a existncia de um Atrator Global
em H para S(t), cuja dimenso fractal finita. Iniciaremos com a noo de conjunto absorvente.
f(u(t)) dx k1 ||.
Alm disso, como 1 ||u||22 ||u||22 , onde 1 > 0 denota o primeiro autovalor de 2 = em
com = = 0 sobre , ento usando a desigualdade de Young com = 1 /4,
1
1
hu(t) dx ||u(t)||22 ||h||22
4
1
1
1
||u(t)||22 ||h||22 .
4
1
Assim,
]
1
1
f(u(t)) hu(t) dx ||u(t)||22 ||h||22 k1 ||.
4
1
(3.125)
(3.126)
88
]
1 [
1
=
(s)|| t (s)||22 ds
(s)|| t (s)||22 ds
2 0
2 0
|
{z
}
=0
1
=
(s)|| t (s)||22 ds
2 0
k2
k2 t 2
|| ||,2 .
2
(3.128)
(3.129)
> 0,
onde
(t) =
ut (t)u(t) dx.
(3.130)
t 0, > 0.
|(t)|
89
)
1
2
E(t) + ||h||2 + k1 || ,
1
t 0, (0, 1 ].
Prova. Afirmamos que suficiente mostrar a existncia de constantes C2 , C3 > 0 tais que
d
(t) E(t) + C2 ||ut (t)||22 + C3 || t ||2,2 .
dt
(3.131)
De fato, supondo que a desigualdade (3.131) vale e combinando-a com (3.129), concluimos que
d
d
E(t) + (t)
dt
dt
k2
||ut (t)||22 || t ||2,2 E(t) + C2 ||ut (t)||22 + C3 || t ||2,2
2
(
)
k2
2
= E(t) (1 C2 )||ut (t)||2
C3 || t ||2,2
2
E(t),
{
}
k2
onde a ltima desigualdade vlida para todo (0, 1 ], com 1 = min C12 , 2C
> 0. Isto
3
comprovaria o desejado. Logo, resta mostrar que (3.131) verdadeira.
d
E (t) =
dt
Com efeito, derivando a funo em (3.130), usando a equao (3.5) no sentido fraco (uma vez
que utt faz sentido no dual), adicionando e subtraindo E(t) na expresso resultante, obtemos
(
)
d
3
1
1
2
2
(t) = E(t) + ||ut (t)||2 ||u(t)||2 1
||u(t)||pp
dt
2
2
p
1
+ || t ||2,2 + I1 + I2 + I3 ,
(3.132)
2
onde denotamos
[
I1 :=
]
f(u(t)) f (u(t))u(t) dx,
I2 :=
(
)
(s) t (s), u(t) ds,
I3 :=
90
|I3 | u(t)22 +
(0 + d1 ) ||u(t)||22 ,
2
onde d2 > 0 menciona a constante de imerso V1 , V0 . Portanto, fixando > 0 pequeno o
suficiente, tomando por exemplo 0 < 2(01+d1 ) , e considerando as constantes positivas
1
3
>0
C2 = d 2 +
2
4
C3 =
1
1
+
> 0,
2 4
ento a estimativa (3.131) segue, como desejado. Isto finaliza a prova do Lema 3.4.3.
Agora aplicaremos os lemas acima para concluir a existncia de um conjunto absorvente limitado
para o semigrupo S(t) em H. {
}
De fato, tomando 0 = min 2C1 1 , 1 , ento para todo 0 , segue do Lema 3.4.2 que
1
E(t) C1
2
)
(
)
1
3
1
2
2
||h||2 + k1 || E (t) E(t) + C1
||h||2 + k1 || ,
1
2
1
(3.133)
para t 0. Combinando a segunda desigualdade em (3.133) com o Lema 3.4.3 vem que
(
)
2
2 2
1
d
2
E (t) E (t) + C1
||h||2 + k1 || ,
dt
3
3
1
o que implica em
E (t) E (0)e 3 t + C1
2
)
1
||h||22 + k1 || ,
1
t 0.
E(t) 3E(0)e
(
+ 6C1
)
1
2
||h||2 + k1 || ,
1
t 0.
(3.134)
91
(3.135)
onde = 23 > 0 pequeno e C = 4 max {3, 1 + 6C1 } > 0 so constantes que independem do
tempo e dos dados iniciais.
Finalmente, tomando a bola fechada B H centrada em zero (vetor nulo em H) e raio
(
)
1
2
R = 2C
||h||2 + k1 || ,
1
segue de (3.135) que B um conjunto absorvente limitado para o semigrupo S(t) definido em (3.123).
De fato, seja B H um subconjunto limitado e considere z0 = (u0 , u1 , 0 ) B. Assim, existe
T0 = T0 (B) 0 suficientemente grande tal que
)
(
1
||h||22 + k1 || ,
E(0)et
1
t T0 .
t T0 ,
t T0 .
Portanto, B um conjunto absorvente para S(t), que claramente limitado em H. Isto conclui a
prova da Proposio 3.4.1.
Observao 3.4.1. Assumindo que h 0 e que k1 = 0 em (3.12), ento o sistema (3.5)(3.8) exponencialmente estvel. Com efeito, Supondo que a funo h identicamente nula e
que k1 = 0, ento segue diretamente de (3.134) que a energia E(t) definida em (3.124) decai
exponencialmente. Em virtude da estimativa (3.126) segue que as solues de (3.5)-(3.8) possuem o
mesmo comportamento ao longo do tempo.
Observao 3.4.2. Se o conjunto B :=
}
z H ||z||H R um conjunto absorvente limitado
t TB .
S(t)B
tTB
92
t 0.
Prova. Pela Proposio 3.4.1 existe TB 0 tal que z(t) B para todo t TB , onde B um conjunto
absorvente limitado, digamos com constante de limitao R > 0. Ento,
||z(t)||H R,
t TB .
(3.136)
Por outro lado, pela concluso (3.18) do Teorema 3.3.1, existe uma constante R0 > 0 tal que
||z(t)||H R0 ,
t [0, TB ).
(3.137)
Portanto, combinando (3.136) e (3.137) a concluso do Lema 3.4.4 segue, tomando por exemplo
{
CB =
R0
se
t [0, TB ),
se
t [TB , ).
Observao 3.4.3. A mesma concluso do Lema 3.4.4 vale, em particular, substituindo o subconjunto
limitado B pelo conjunto absorvente B, uma vez que este ltimo limitado. Mais precisamente, se
(u, ut , ) uma soluo do problema (3.5)-(3.8) com condio inicial (u0 , u1 , 0 ) B, ento existe
uma constante CB > 0 tal que
||(u(t), ut (t), t )||H CB ,
t 0.
(3.138)
Mais
93
Proposio 3.5.1. Sob as hipteses do Teorema 3.3.1, sejam zi = (ui , uit , i ) duas solues do
problema (3.5)-(3.8) tais que zi (0) = (ui0 , ui1 , 0i ) B, para i = 1, 2. Ento, vale a seguinte
estimativa:
||z1 (t) z2 (t)||2H 3et ||z1 (0) z2 (0)||2H
(3.139)
t
)
(
+ KB
e(t ) ||(u1 ( ) u2 ( ))||22(p1) + ||u1 ( ) u2 ( )||22(+1) d,
0
para todo t 0, onde > 0 uma constante pequena e KB > 0 uma constante dependendo de B.
Prova. Pondo w = u1 u2 e = 1 2 , ento a funo (w, wt , ) = z1 z2 soluo (no sentido
do Teorema 3.3.1) do seguinte problema
2
1
2
wtt + w p u + p u +
(s)2 t (s) ds wt + f (u1 ) f (u2 ) = 0, (3.140)
0
t = s + wt ,
com condio inicial
(3.141)
(
)
w(0), wt (0), 0 = z1 (0) z2 (0).
(3.142)
(
)
= p u1 (t) p u2 (t), wt (t) f (u1 (t)) f (u2 (t)), wt (t) ( t , st ),2 .
(3.143)
k2
k2
( t , st ),2
(s)|| t (s)||22 ds = || t ||2,2 .
2 0
2
(3.144)
No que segue, usaremos o mesmo parmetro CB para denotar diferentes constantes positivas que
dependem do conjunto absorvente limitado B.
Usando o Lema 1.3.1, a desigualdade de Hlder generalizada com
p2
2(p1)
1
2(p1)
1
2
= 1, a
|u1 (t)|p2 u1 (t) |u2 (t)|p2 u2 (t) |wt (t)| dx
(
)
Mp
|u1 (t)|p2 + |u2 (t)|p2 |w(t)| |wt (t)| dx
(
)
p2
2
Mp u1 (t)p2
+
u
(t)
2(p1)
2(p1) w(t)2(p1) wt (t)2
CB w(t)2(p1) wt (t)2 .
Logo, pela desigualdade de Young existe uma constante CB > 0 tal que
1
2
p u1 (t) p u2 (t), wt (t) CB w(t)2
2(p1) + wt (t)2 .
2
4
(3.145)
94
2(+1)
1
2(+1)
1
2
(3.146)
(3.147)
onde denotamos
F (t) = ||w(t)||22 + ||wt (t)||22 + || t ||2,2 := ||z1 (t) z2 (t)||2H ,
t 0.
(3.148)
> 0,
(t) =
wt (t)w(t) dx.
(3.149)
t 0, > 0.
Prova. Segue diretamente da construo acima, usando argumentos anlogos ao Lema 3.4.2.
t 0, (0, 1 ].
Prova. suficiente provar que existem constantes C2 , C3 > 0 e uma constante CB > 0, dependendo
do conjunto absorvente B, tais que
(
)
d
1
(t) F (t) + C2 ||wt (t)||22 + C3 || t ||2,2 + CB w(t)22(p1) + w(t)22(+1) . (3.150)
dt
2
95
{
1 k2
C2 , C3
}
> 0 e tomando
d
d
d
F (t) =
F (t) + (t)
dt
dt
dt
d
1
3
1
1
(t) = F (t) + ||wt (t)||22 ||w(t)||22 + || t ||2,2 +
Lj ,
dt
2
2
2
2
4
(3.151)
j=1
onde
L1 =
L2 =
L3
L4
(
)
(s) t (s), w(t) ds,
1 t 2
|| ||,2
4
1
||wt (t)||22 ,
4
96
1
,
2(0 + 2d1 )
3
1
C2 = d2 +
2
4
C3 =
1
1
+
,
2 4
1
2C1 , 1
3
1
F (t) F (t) F (t),
2
2
t 0.
(3.152)
Combinando, de forma padro, o Lema 3.5.3 com a segunda desigualdade em (3.152), resulta que
t
(
)
t/3
F (t) e
F (0) + CB
e(t )/3 ||w( )||22(p1) + ||w( )||22(+1) d, t 0.
0
t 0,
(3.153)
onde = /3 > 0 uma constante positiva pequena e KB = 2CB > 0 uma constante dependendo
de B. Mantendo em mente a identidade (3.148) e que w = u1 u2 , ento a estimativa (3.153) implica
na desigualdade de estabilizao (3.139), o que encerra a prova da Proposio 3.5.1.
Observao 3.5.1. A mesma concluso da Proposio 3.5.1 permanece verdadeira se substituirmos o
conjunto absorvente limitado B por qualquer outro subconjunto limitado B H.
97
Teorema 3.6.1. Sob as hipteses do Teorema 3.3.1, o semigrupo S(t) associado ao problema (3.5)(3.8) possui um atrator global compacto A em H.
Prova. Como o sistema dinmico (H, S(t)) dissipativo, ento a concluso do teorema segue se
mostrarmos que S(t) assintoticamente suave. Faremos isto mostrando o semigrupo S(t) definido
por (3.123) satisfaz as condies da Proposio 1.6.2.
Para i = 1, 2, consideremos z0i = (ui0 , ui1 , 0i ) B, onde B H um conjunto limitado
positivamente invariante. Assim, a Proposio 3.5.1 (ver tambm Observao 3.5.1) implica que
existem constantes > 0 e CB > 0 tais que
||S(t)z01 S(t)z02 ||2H 3et ||z01 z02 ||2H
t
(
)
+ CB
e(t ) ||(u1 ( ) u2 ( ))||22(p1) + ||u1 ( ) u2 ( )||22(+1) d,
(3.154)
(
)
para todo t 0, onde S(t)z0i = ui (t), uit (t), i,t so as solues do problema (3.5)-(3.8)
correspondentes aos dados iniciais, as quais so globalmente limitadas na norma de H conforme
o Lema 3.4.4. Em particular, segue tambm que as funes u1 (t) e u2 (t) so (globalmente) limitadas
na norma de V2 = H 2 () H01 ().
No que segue, vamos estimar a norma
||(u1 (t) u2 (t))||22(p1) + ||u1 (t) u2 (t)||22(+1)
dentro da integral em (3.154) por uma norma em V0 = L2 (). Para isso, usaremos a desigualdade de
Gagliardo-Nirenberg (ver Teorema 1.2.4), e sua consequncia, a desigualdade de interpolao dada
pelo Teorema 1.2.5. A mesma notao CB ser usada para denotar diferentes constantes positivas.
Em primeiro lugar, para cada N N, definamos
(
)
1 N
1
1 = +
1
.
2
4
p1
Usando a hiptese (3.9), segue que 1 satisfaz as condies
(
)
1
N
N
N
1 1 e 1
= 1 2
(1 1 ) .
2
2(p 1)
2
2
Logo, pela desigualdade de Gagliardo-Nirenberg obtemos que
1
||(u1 (t) u2 (t))||2(p1) C1 ||(u1 (t) u2 (t))||1
||u1 (t) u2 (t)||21
2
<
se 1 N 4,
2 < 2( + 1)
2N
se N 5.
N 4
(3.155)
98
N
4
1
+1
)
, segue pelo Teorema 1.2.5 que
2
||u1 (t) u2 (t)||2(+1) C2 ||(u1 (t) u2 (t))||1
||u1 (t) u2 (t)||22
2
(3.156)
para alguma constante CB > 0. Combinando as estimativas (3.155) e (3.156) e usando novamente
que u1 (t), u2 (t) so limitadas em V2 , V0 , ento existe uma constante CB > 0 dependendo do
subconjunto limitado B tal que
||(u1 (t) u2 (t))||22(p1) + ||u1 (t) u2 (t)||22(+1)
(
)
2
CB ||u1 (t) u2 (t)||221 + ||u1 (t) u2 (t)||2
2
(
)
2( )
2( )
= CB ||u1 (t) u2 (t)||2 1
+ ||u1 (t) u2 (t)||2 2
||u1 (t) u2 (t)||2
2
CB ||u1 (t) u2 (t)||2
2 ,
onde consideramos = min{1 , 2 }. Em resumo,
||(u1 (t) u2 (t))||22(p1) + ||u1 (t) u2 (t)||22(+1) CB ||u1 (t) u2 (t)||2
2 ,
(3.157)
para alguma constante CB > 0. Logo, substituindo (3.157) em (3.154) vem que
||S(t)z01
S(t)z02 ||2H
3e
||z01
z02 ||2H
2
CB
2
CB
sup ||u1 ( ) u2 ( )||2
2 ,
0 t
ou ainda,
||S(t)z01
S(t)z02 ||H
t/2
6e
||z01
z02 ||H
2
CB sup ||u1 ( ) u2 ( )||2 ,
0 t
(3.158)
6et/2 ,
2
(ii) KB (t) :=
CB ,
(i) Q(t) :=
t 0.
t 0.
99
Com isto, obtemos diretamente que Q(t) 0 quando t , KB (t) KB > 0 uma constante
positiva, m(z01 , z02 ) uma pseudomtrica e, alm disso, podemos reescrever (3.158) como
||S(t)z01 S(t)z02 ||H Q(t) ||z01 z02 ||H + KB m(z01 , z02 );
t 0, z01 , z02 B.
Resta verificar que a pseudomtrica m(z01 , z02 ) pr-compacta. Contudo, esta condio satisfeita
em virtude da limitao global (em norma) da funo z(t) = (u(t), ut (t), t ) em H e da incluso
compacta V2 , V0 , ver Teorema 4.7.8 em Hale [55], (ver tambm Simon [89, Lema 1]).
Portanto, a Proposio 1.6.2 afirma que o semigrupo S(t) definido por (3.123) assintoticamente
suave e, como consequncia, a Proposio 1.6.1 assegura que S(t) possui um atrator global compacto
A em H.
Isto conclui a prova do Teorema 3.6.1.
Observao 3.6.1. Vale a pena lembrar que o atrator global A para o semigrupo S(t) associado ao
problema (3.5)-(3.8) nico. Na verdade este fato vale de um modo mais geral, sendo proveniente
da teoria abstrata para atratores. Com efeito, sejam A e A dois atratores globais para o semigrupo
S(t). Por definio, A atrai uniformemente todo subconjunto limitado de H e A invariante sob a
ao de S(t). Logo,
distH (A , A) = distH (S(t)A , A) 0 quando t +,
de onde segue que A A. Analogamente se verifica que A A , o que conclui a unicidade
desejada.
2N 2
N 2
se N 3
4
se N 5
N 4
Em resumo, temos o seguinte resultado:
0<<
p 2 se
>0
N = 1, 2,
(3.159)
se 1 N 4.
(3.160)
100
Teorema 3.6.2. Sob as hipteses do Teorema 3.3.1, com as condies (3.159) e (3.160) no lugar de
(3.9) e (3.11), respectivamente, ento o atrator global compacto A obtido no Teorema 3.6.1 possui
dimenso fractal finita.
Prova. Da Proposio 3.5.1, existem constantes > 0 e KA > 0 tais que
||S(t)z01 S(t)z02 ||2H 3et ||z01 z02 ||2H
t
(
)
(t )
1
2
2
1
2
2
+ KA
e
||(u ( ) u ( ))||2(p1) + ||u ( ) u ( )||2(+1) d,
(3.161)
(
)
(
)
para todos t 0 e z0i = ui0 , ui1 , 0i A, i = 1, 2, onde S(t)z0i = ui (t), uit (t), i,t so as solues
do problema (3.5)-(3.8) correspondentes aos dados iniciais, as quais so globalmente limitadas na
norma de H conforme o Lema 3.4.4.
Antes de prosseguirmos com as contas, vamos relembrar algumas propriedades abstratas com
respeito a potncia fracionria do operador biharmnico, ver por exemplo Chueshov & Lasiecka
[23, 24] ou [25, Captulo 7].
Sendo a incluso V2 , V0 compacta, vamos definir o operadorA pela terna {V2 , V0 , (, )V2 } ,
isto , mediante ao exposto na seo 1.4 do Captulo 1 temos:
Au, v = (u, v) ,
u, v V2 .
(3.162)
Au = 2 u,
u D(A).
Mais ainda, devido a Observao 1.4.1 o operador linear A definido em (3.162) densamente
definido em V0 , auto-adjunto e definido positivo em V2 . Logo, podemos definir as potncias
fracionrias As , s R, do operador A com domnio D(As ) sendo espaos de Hilbert quando munido
do produto interno e norma
(u, v)D(As ) = (As u, As v)
u, v D(As ),
A1/2 u = u,
u D(A1/2 ).
101
N
N
< 41
2(p 1)
2
N
N
< 42 .
2( + 1)
2
Logo, o Teorema 4.3 em Pazy [85, Captulo 8] (ver tambm Teorema 1.6.1 em Henry [57, Captulo
1]) implica nas seguintes incluses contnuas
D(A1 ) , W 1,2(p1) ()
(3.163)
Agora, definindo = max{1 , 2 } ( 14 , 21 ) para cada p, e N dados, obtemos (via Lema 1.4.1)
que
D(A ) , D(A1 )
D(A ) , D(A2 ),
t 0, (3.164)
(3.165)
para todos t 0 e z01 , z02 A, onde CA := C KA / > 0 uma constante dependendo do atrator A
e ( 14 , 12 ).
Por outro lado, segue diretamente do item (iii) do Teorema 3.3.1 que
||S(t)z01 S(t)z02 ||2H ect ||z01 z02 ||2H ,
(3.166)
para todos z01 , z02 A e t 0 (uma vez que as solues existem globalmente) e para alguma constante
c = c(A) > 0 dependendo de A.
Estas duas ltimas estimativas (em conjunto com as consideraes a seguir) sero cruciais para
determinar outras duas estimativas, as quais nos possibilitaro definir um operador e um subconjunto
que satisfaz as condies da Proposio 1.6.6. Em seguida, concluiremos que o atrator global
compacto A possui dimenso fractal finita.
Em primeiro lugar, fixamos um tempo T > 0, que ser convenientemente especificado mais
adiante, e consideremos o espao
{
}
T
(
)
W1 (0, T ) = w(t) ||w||2W1 (0,T ) :=
||w(t)||22 + ||wt (t)||22 dt < .
0
102
U = (u, v, , w) HT .
2T
3 T 1
e
||z0 z02 ||2H + CA T sup ||A w( )||22 .
0 2T
(3.167)
Alm disso, notamos que a estimativa (3.165) vale para T > 0, ou seja,
||S(T )z01 S(T )z02 ||2H 3eT ||z01 z02 ||2H + CA sup ||A w( )||22 .
0 T
(3.168)
)z01
S(T
)z02 ||2H
2T
(3.169)
sup
0 2T
||A w( )||22 .
2T
(3.171)
(
)
para cada u(0), ut (0), 0 , u(t) AT .
No que segue, verificaremos que o subconjunto AT e operador T satisfazem as hipteses da
Proposio 1.6.6. Com efeito, devido a invarincia do atrator A pelo semigrupo S(t) (sendo que o
mesmo contm todas as trajetrias a partir de A), segue que T (AT ) = AT .
Alm disso, afirmamos que operador T definido por (3.171) Lipschitz em AT , isto , que existe
uma constante LT > 0 tal que
||T (U1 ) T (U2 )||HT LT ||U1 U2 ||HT ,
U1 , U2 AT .
(3.172)
103
(
)
De fato, para i = 1, 2, sejam Ui = ui (0), uit (0), i,0 , ui (t) AT , com t [0, T ] e
(
)
z i (0) := ui (0), uit (0), i,0 A. Denotando por
(
)
S(t)z i (0) := ui (t), uit (t), i,t A, t 0,
ento
||U1
U2 ||2HT
= ||z (0) z
1
(0)||2H
)
||w(t)||22 + ||wt (t)||22 dt,
(3.173)
onde denotamos w(t) = u1 (t) u2 (t) para t 0. Logo, usando a estimativa (3.170) e (3.173),
obtemos que
||T (U1 ) T (U2 )||2HT
= ||S(T )z 1 (0) S(T )z 2 (0)||2H +
= ||S(T )z 1 (0) S(T )z 2 (0)||2H +
||S(T )z 1 (0) S(T )z 2 (0)||2H +
2T
T
2T
)
||w(t + T )||22 + ||wt (t + T )||22 dt
)
||w(t)||22 + ||wt (t)||22 dt
V2 .
0 2T
||A w( )||22
=
sup
0 2T
sup
0 2T
sup
0 2T
||w( )||22 + C
(
||w( )||22 +
sup
||w( )||22
0 2T
||wt ( )||22 +
)
|| ||2,2 + C
sup
0 2T
sup
0 2T
||w( )||22
||w( )||22 .
0 2T
sup
0 2T
||w( )||22 .
(3.175)
2
1
2 2
2
q,T
||z0 z0 ||H + K,T
(3.174)
sup
0 2T
||w( )||22 ,
104
2
2
onde as constantes q,T
> 0 e K,T > 0 so dadas por
2
1 T
q,T
)e
+ CA (1 + T )e2cT
= 3(1 +
K,T
= C CA (1 + T ).
sup
0 2T
||u1 ( ) u2 ( )||22 ,
(3.176)
0 T
para
U = (u, ut , , w) HT ,
(3.177)
(u, ut , , w) HT .
Logo, P claramente Lipschitz contnuo e P(AT ) = A. Portanto, o Lema 1.6.7 assegura que
dimf A = dimf P(AT ) dimf AT ,
ou seja, o atrator global compacto A possui dimenso fractal finita.
Isto encerra a prova Teorema 3.6.2.
C APTULO
4
Um modelo de placas de
Mindlin-Timoshenko
4.1
Introduo
Neste captulo vamos estudar uma variante da equao de placas finas dada pelas equaes de
Mindlin-Timoshenko. Neste caso abordaremos um sistema totalmente e parcialmente dissipativo,
com objetivo de obter taxas de decaimento conforme a presena das dissipaes1 .
Seja um domnio limitado de R2 com fronteira suave = e R+ = (0, ). Para simplificar
a notao, denotemos por L1 , L2 e L3 os seguintes operadores lineares elpticos de segunda ordem
(
)
(
)
w
L1 (, , w) =
+
+
+
,
(4.1)
x
x
y
y
2 1 2 1 + 2
L2 (, ) =
(4.2)
+
+
,
x2
2 y 2
2 xy
2 1 2 1 + 2
+
+
,
L3 (, ) =
(4.3)
y 2
2 x2
2 xy
para (x, y) e t 0, onde as fues = (x, y, t) e = (x, y, t) representam os ngulos
de rotao de um filamento da placa e a funo w = w(x, y, t) simboliza o deslocamento transversal
da superfcie mdia da placa. A constante 0 < < 1/2 chamada coeficiente de Poisson, sendo
proveniente de consideraes fsicas sobre a placa.
1
Trabalho realizado em conjunto com o Professor Dr. Jaime E. Muoz Rivera do Laboratrio Nacional de Computao
105
106
(4.4)
(4.5)
(4.6)
em
em
em
(4.7)
sobre
[0, ),
(4.8)
e mistas
w=0
)
)
= 0,
+
,
+
=0
2
x
y y
x
(
)
1 ( )
= 0,
+ ,
+
=0
x
y
2
x
y
(
1 (
sobre
[0, ),
sobre
1 [0, ),
sobre
2 [0, ),
(4.9)
onde nas condies mistas consideramos tambm que a fronteira suave = 1 2 com 1 , 2 = ,
1 2 = e := (1 , 2 ) o vetor normal unitrio exterior a .
Este captulo est organizado da seguinte maneira. Na seo 4.2 fixamos as notaes preliminares
e apresentaremos o resultado de existncia via teoria de semigrupos lineares. Na seo 4.3
mostraremos o resultado que concede analiticidade do semigrupo associado ao sistema de MindlinTimoshenko e, em particular, obtemos estabilidade exponencial do sistema quando o mesmo
totalmente dissipativo. Na seo 4.4 discutimos a falta de decaimento exponencial para o sistema
de Mindlin-Timoshenko parcialmente dissipativo. Finalmente, na seo 4.5 determinaremos um
resultado de estabilidade polinomial para o sistema de Mindlin-Timoshenko parcialmente dissipativo.
Alm disso, mostraremos que a taxa de decaimento polinomial no pode ser melhorada quando os
dados iniciais so fixados.
4.2
107
Existncia e unicidade
0
Id
0
0
0
D0
K
K
K
0
1
1
1 x
1 y
0
0
0
Id
0
A=
K
D1
1
D
0
2 x
2 (DB1 KId )
2 B1
2 B2
0
0
0
0
0
D1
D
1
K2 y
0
2 B2
2 B2 2 (DB3 KId )
onde denotamos por 1 := h e 2 :=
h3
12 ,
0
,
D1
B
2
2
Id
D1
2 B3
0
(4.11)
diferenciais
1 2
y ,
2
1+ 2
:=
xy ,
2
1 2
:= y2 +
x .
2
B1 := x2 +
B2
B3
Observao 4.2.1. Nas consideraes a seguir conveniente ter em mente a seguinte expresso
W
w
D0
K
W
1 L1 (, , w) + 1 W
.
AU = D
para U =
1
L
(,
)
2 L2 (, ) K2 ( + wx ) + D
2
2
D1
D
K
2 L3 (, ) 2 ( + wy ) + 2 L3 (, )
Para atender ambas as condies de fronteira acopladas ao sistema de Mindlin-Timoshenko
consideremos os seguinte espaos
H1 = H01 () L2 () H01 () L2 () H01 () L2 ()
e
H2 = H01 () L2 () H11 () L2 () H12 () L2 (),
108
onde
{
H11 () = H 1 (); = x 2 +
1
2 y 1
{
H12 () = H 1 (); =
+ y 1 = 0 em 2 ,
1
2 x 2
= 0 em 1 , x 1 +
1
2 y 2
1
2 x 1
}
= 0 em 2 ,
}
+ y 2 = 0 em 1 .
e
{
D(A2 ) = U H2 ; W H01 (), H11 (), H12 (), KL1 (, , w) + D0 W,
}
DL2 (, ) + D1 L2 (, ), DL3 (, ) + D1 L3 (, ) L2 () .
Quando as condies de fronteira no influenciar nas definies acima (no havendo possibilidade de
confuso), denotaremos Hi e D(Ai ) simplesmente por H e D(A), respectivamente.
Como usual, denotaremos tambm neste captulo por (, ) o produto interno em L2 () e por
|| ||p a norma em Lp (). Devido a "simetria" do problema de Mindlin-Timoshenko usaremos a
seguinte norma em H
||U ||2H = 1 ||W ||22 + 2 ||||22 + 2 ||||22 + K|| + wx ||22 + K|| + wy ||22
(
)
1
2
2
+ D||x ||2 + D||y ||2 + D
||y + x ||22 + 2DRe(x , y ),
2
(4.12)
+ D (x , x ) + (y , y ) +
(y + x , y + x ) + (x , y ) + (y , x ) ,
2
,
= (w,
, ,
,
t H. Com isto, (H, || ||H , (, )H ) um
para U = (w, W, , , , )t , U
W
)
espao de Hilbert. Por convenincia, notamos que a norma em (4.12) pode ser reescrita sob uma
forma no negativa como
||U ||2H = 1 ||W ||22 + 2 ||||22 + 2 ||||22 + K|| + wx ||22 + K|| + wy ||22
(4.13)
)
(
[
]
1
+ D(1 ) ||x ||22 + ||y ||22 + D
||y + x ||22 + D||x + y ||22 .
2
Observao 4.2.2. Um resultado que fornece a equivalncia da norma acima em (4.12) com a
norma usual em H dada pelo Lema 2.1 em Lagnese [64, Captulo 3]. Alm disso, este resultado
ser importante para obter a existncia e a estabilidade assinttica de solues. Por comodidade,
apresentaremos uma verso de tal lema usando notaes apropriadas a fim de us-lo em consideraes
futuras.
109
)
ou H11 () H12 ()
)
ou H01 () H11 () H12 () .
Como em Lagnese [64, Captulo 3] o seguinte lema uma consequncia da desigualdade de Korn.
Lema 4.2.1. Sob as consideraes acima, temos:
(a) Existe uma constante 0 > 0 tal que, para todo par (, ) V,
[
]
0 ||||2H 1 () + ||||2H 1 () D||x ||22 + D||y ||22
(
)
1
||y + x ||22 + 2DRe(x , y ).
+D
2
(b) Para cada K0 > 0, existe (K0 ) > 0 tal que, para todo (w, , ) M e K K0 ,
(K0 )||(w, , )||2M K|| + wx ||22 + K|| + wy ||22 + D||x ||22
)
(
1
2
||y + x ||22 + 2DRe(x , y ).
+D||y ||2 + D
2
Com relao ao domnio do operador A, podemos considerar ainda os espaos (de Hilbert) mais
regulares
{
}
D(Ak ) = U D(Ak1 ); AU D(Ak1 ) ,
k N,
j=0
i = 1, 2.
(4.14)
(
)
C kj [0, +), D(Aj ) ,
i = 1, 2.
(4.15)
j=0
Prova. Procedendo da mesma maneira como na obra de Lagnese [64, Captulo 3] obtemos que
o operador A definido por (4.11) dissipativo em H, densamente definido e que 0 (A). Isto
acarretaria, pelo Corolrio 1.5.3, que A gerador infinitesimal de um C0 -semigrupo de contraes
em H. Logo, utilizando os Teoremas 1.5.7 e 1.5.8, segue a existncia e unicidade de soluo para o
problema (4.10), o que conclui a tese do Teorema 4.2.2.
110
No que segue, afim de tornar o texto um pouco mais dinmico, apresentaremos a ideia para obter
a dissipatividade de A, isto , que
Re(AU, U )H 0,
U D(A)
que D(A) denso em H e tambm que 0 (A). Com efeito, em primeiro lugar, usando a frmula
de Green notamos que
[
]
(AU, U )H = K ( + wx , + Wx ) ( + wx , + Wx )
[
]
K ( + wy , + Wy ) ( + wy , + Wy )
[
]
[
]
D (x , x ) (x , x ) D (y , y ) (y , y )
)
(
]
1 [
(x + y , x + y ) (x + y , x + y )
D
2
[
]
[
]
D (x , y ) (x , y ) D (y , x ) (y , x )
D0 ||W ||22 D1 (1 )||x ||22 D1 (1 )||y ||22
)
(
1
2
||y + x ||22
D1 ||x + y ||2 D1
2
+K W ( + wx , + wy ) d + D0 W (W ) d
(
)
1
+D x + y ,
(x + y ) d
2
(
)
1
+D1 x + y ,
(x + y ) d
2
)
(1
+D
(x + y ), y + x d
2
)
(1
+D1
(x + y ), y + x d.
2
Logo, para U D(A) obtemos que as integrais sobre a fronteira que surgem na equao acima
se anulam (em ambos os casos com respeito as condies de fronteira). Ento, tomando a parte real
concluimos que
Re(AU, U )H = D0 ||W ||22 D1 (1 )||x ||22 D1 (1 )||y ||22
(
)
1
D1
||x + y ||22 D1 ||x + y ||22 ,
2
(4.16)
111
= f1
= 1 f 2
= f 3
DL2 (, ) + K( + wx ) D1 L2 (, ) = 2 f 4
= f 5
DL3 (, ) + K( + wy ) D1 L3 (, ) = 2 f 6 .
Logo, consideramos
W = f 1 ,
= f 3
= f 5 ,
segue que o sistema acima possui uma nica soluo (w, , ) nos espaos desejados (ver os detalhes
em Lagnese [64, Captulo 3]).
Por fim, uma vez que o operador A dissipativo e que 0 (A), usamos os Teoremas 4.5 e 4.6
em Pazy [85, Captulo 1] para concluir que D(A) = H.
Observao 4.2.3. Os detalhes na prova de existncia foram omitidos, pois eles no representam
diferenas adicionais com relao aos trabalhos mencionados anteriormente, referentes equao de
placas de Mindlin-Timoshenko. Contudo, a partir da prxima de seo deste captulo os resultados
so mais especficos deste trabalho e, por este motivo, os apresentaremos mais detalhadamente.
Nas sees seguintes vamos estudar o comportamento assinttico das solues de (4.10) por meio
do semigrupo linear S(t) := eAt , t 0, dado por
eAt : H H
U0 7 eAt U0 = U (t),
o qual chamaremos de C0 -semigrupo de contraes associado ao sistema de Mindlin-Timoshenko.
112
4.3 Analiticidade
Nesta seo vamos mostrar que o C0 -semigrupo de contraes S(t) = eAt associado ao
sistema de Mindlin-Timoshenko dissipativo analtico quando consideramos D0 , D1 > 0. Como
consequncia, concluiremos tambm que S(t) exponencialmente estvel, o que nos fornece
estabilidade exponencial de solues. Para concluir tais objetivos, faremos uso dos Teoremas 1.5.4
e 1.5.5 introduzidos na seo 1.5 do Captulo 1. Em resumo, o principal resultado desta seo o
seguinte:
Teorema 4.3.1. Sob as condies do Teorema 4.2.2, se D0 , D1 > 0, ento o C0 -semigrupo de
contraes S(t) = eAt associado ao sistema de Mindlin-Timoshenko analtico.
Prova. De acordo com o Teorema 1.5.4 devemos mostrar que S(t) = eAt satisfaz as seguintes
condies:
iR (A)
(4.17)
(4.18)
e
||
(4.19)
(4.20)
(4.21)
(4.22)
(4.23)
(4.24)
(4.25)
(4.26)
Assim, tomando a parte real em (4.26) e usando (4.16) chegamos a seguinte estimativa
[
]
D0 ||W ||22 + D1 (1 ) ||x ||22 + ||y ||22
(4.27)
(
)
1
+ D1 ||x + y ||22 + D1
||x + y ||22 ||U ||H ||F ||H .
2
4.3 Analiticidade
113
Prova da condio (4.17). Provar que iR (A) equivalente a provar que o operador iId A
invertvel para qualquer R. Note que isto j verdadeiro para = 0. A seguir, vamos mostrar
que vale a seguinte implicao
(iId A)U = 0 = U = 0,
(4.28)
para real no nulo. Isto suficiente para concluir o desejado. De fato, para F = (0, 0, 0, 0, 0, 0)t
em H segue de (4.27) que
[
]
D0 ||W ||22 + D1 (1 ) ||x ||22 + ||y ||22
(
)
1
2
+ D1 ||x + y ||2 + D1
||x + y ||22 = 0.
2
(4.29)
Ento ||W ||22 = 0 e pela desigualdade de Poincar obtemos W = 0. Retornando a (4.29) vem que
(
)
]
[
1
2
2
2
||x + y ||22 = 0.
(1 ) ||x ||2 + ||y ||2 + ||x + y ||2 +
2
Do Lema 4.2.1, existe uma constante 0 > 0 tal que
[
]
{
]
[
0 ||||2H 1 () + ||||2H 1 () D (1 ) ||x ||22 + ||y ||22 + ||x + y ||22
(
)
}
1
2
+
||x + y ||2 = 0
2
e com maior razo temos = = 0. Substituindo W = = = 0 em (4.20), (4.22) e (4.24),
respectivamente (e relembrando que F = 0), resulta que w = = = 0. Portanto, U = 0 e a
condio (4.28) est assegurada.
Prova da condio (4.18). Vamos mostrar que existe uma constante C > 0 independente de tal
que
||(iId A)1 || C
quando
|| .
(4.30)
Contudo, como iR (A), ento usando a equao resolvente (4.19), para mostrar (4.30) suficiente
mostrar que
||||U ||H C||F ||H
quando
|| .
(4.31)
Assim sendo, vamos mostrar a seguir que a condio (4.31) satisfeita. Com efeito, tomando a parte
imaginria em (4.26) obtemos, depois de tomar o mdulo, a seguinte desigualdade
||||U ||2H |Im(AU, U )H | + ||U ||H ||F ||H .
(4.32)
Utilizando a expresso para (AU, U )H obtida na seo 4.2 (logo acima), temos
|Im(AU, U )H | 2K|| + wx ||2 || + Wx ||2 + 2K|| + wy ||2 || + Wy ||2
+2D ||x ||2 ||x ||2 + 2D||y ||2 ||y ||2 + 2D||y ||2 ||x ||2
+2D ||x ||2 ||y ||2 + D(1 )||x + y ||2 ||y + x ||2 .
(4.33)
114
Agora, lembrando da norma para U em H e usando a estimativa (4.27) repetidas vezes em (4.33),
segue que
3/2
1/2
(4.34)
1/2
||||U ||2H C0 ||U ||2H + C0 ||U ||H ||F ||H + ||U ||H ||F ||H ,
ou ainda,
1/2
1/2
||||U ||H C0 ||U ||H + C0 ||U ||H ||F ||H + ||F ||H ,
(4.35)
onde a constante C0 > 0 independe de . Usando a desigualdade de Young, existe uma constante
C > 0 tal que
(|| C)||U ||H C||F ||H .
(4.36)
Por fim, tomando || grande o suficiente em (4.36) (escolhendo por exemplo || 2C) segue o
desejado, uma vez que (4.31) requerida para valores grandes de ||. Portanto, a prova do Teorema
4.3.1 est completa.
quando
|| .
(4.37)
Como iR (A), ento novamente da equao resolvente (4.19) basta mostrar que
||U ||H C||F ||H
quando
|| .
(4.38)
Contudo, retornando estimativa (4.31) obtida na prova do Teorema 4.3.1 inferimos que
||||U ||H C||F ||H
quando
|| ,
para alguma constante C > 0. Como a desigualdade (4.38) requerida para || suficientemente
grande, ento podemos considerar que || 1, sem perda de generalidade. Fazendo isto, segue
diretamente que
C
||F ||H C||F ||H ,
||
para || 1 suficientemente grande, o que prova o Corolrio 4.3.2.
||U ||H
4.4
115
Nesta seo vamos mostrar que o sistema de Mindlin-Timoshenko perde estabilidade exponencial
quando consideramos D0 = 0 e D1 > 0, ou seja, que o semigrupo correspondente ao sistema no
exponencialmente estvel. Este fato nos permite dizer que o sistema tambm perde a analiticidade.
Com isto, notamos que D0 > 0 uma condio necessria e suficiente para se obter estabilidade
exponencial (e analiticidade) quando fixamos D1 > 0.
Para comprovar o desejado, basta exibir um contraexemplo em que o sistema de MindlinTimshenko, com pelo menos uma das condies de contorno, no seja exponencialmente estvel.
Nesta ocasio, ser considerado o sistema de Mindlin-Timoshenko com as condies mistas (4.9) na
fronteira. Em resumo, temos o
Teorema 4.4.1. Sob as condies do Teorema 4.2.2, se D0 = 0 e D1 > 0, ento o C0 -semigrupo de
contraes S(t) = eAt correspondente ao sistema de Mindlin-Timoshenko no exponencialmente
estvel.
Prova. De acordo com o Teorema 1.5.5, basta mostrar que uma das condies (1.10) ou (1.11)
no vale. No que segue vamos verificar que a condio (1.11) no se verifica. Mais precisamente,
mostraremos que existe uma sequncia de nmeros reais (n )nN com
lim |n | = ,
(4.39)
(4.40)
Sem perda de generalidade podemos considerar R2 como sendo = [0, ] [0, ] com
fronteira = 1 2 , onde aqui
{
}
1 = (x, y) ; 0 < x < , y = 0,
{
}
2 = (x, y) ; 0 < y < , x = 0, .
:=fn4
:=fn6
116
fn2
fn4
(4.41)
= fn6 ,
= i
= i.
(4.42)
L3 (, ) = iL3 (, )
(4.43)
(4.44)
1
(4.45)
KnA + p2 ()B + p3 ()C = 2 2
117
Pois bem, o que faremos a seguir derminar solues para (4.45) com escolhas convenientes. Em
primeiro lugar, escolhendo
2K
n,
1
:= n =
nN
(4.46)
0
Kn
Kn
A
1 1
Kn p2 () p3 () B = 2 2
2 3
Kn p3 () p2 ()
C
(4.47)
1 1
(2 + 3 )2 (2 K 1 D)1
21
+
A := An =
+
i1 D1
n,
(4.48)
2Kn2
2Kn
K2
K3
B := Bn =
1 1
(2 3 )2
+
2
3
2K + n + i1 n
2Kn
(4.49)
C := Cn =
(3 2 )2
1 1
,
+
2
3
2K + n + i1 n
2Kn
(4.50)
2
= 2D(1 ) 4K
1
1 = 2D1 (1 )
2K
.
1
(4.51)
1 2
|n An |2 .
4
o que prova a condio (4.40) como desejado. Portanto, o Teorema 4.4.1 est provado.
(4.52)
118
Observao 4.4.1. A escolha da condio de fronteira mista (4.9) foi necessria para haver
compatibilidade com as solues apresentadas em (4.44). Notamos ainda que encontrar um
contraexemplo que produz a falta de decaimento exponencial para o sistema de Mindlin-Timoshenko
com condio de Dirichlet (4.8) na fronteira parece ser mais complicado, permanecendo um caso a
ser determinado.
Observao 4.4.2. Dentre as constantes An , Bn e Cn que encontramos em (4.48)-(4.50), a que gera
a falta de decaimento exponencial An . Contudo, notamos tambm que a mesma constante possui
um comportamento da forma |An | = o(|n |k ) quando n , qualquer que seja k 2. Alm
disso, calculando a norma em H2 das solues particulares Un obtidas na demonstrao do Teorema
4.4.1, obtemos que ||Un ||H2 C|n |k , para alguma constante C > 0, para qualquer k 2 e para
n suficientemente grande. Isto nos permite escrever que ||Un ||H2 = O(||k ) quando n ,
para qualquer k 2. Desta forma, de acordo com o resultados de estabilidade apresentado na seo
1.5 do captulo 1, criamos a expectativa de que as solues do problema de Mindlin-Timoshenko
parcialmente dissipativo possuem decaimento polinomial. Esta previso ser confirmada na seo
seguinte.
em
H,
U D(A).
De modo similar estimativa (4.27), obtida na seo 4.3, e lembrando que D0 = 0, obtemos
[
]
D1 (1 ) ||x ||22 + ||y ||22 + D1 ||x + y ||22
(
)
1
+ D1
||x + y ||22 ||U ||H ||F ||H .
2
(4.53)
119
(4.54)
(4.55)
(4.56)
(4.57)
(4.58)
(4.59)
Observao 4.5.1. Neste caso devemos verificar novamente que iR (A). Para comprovar isso,
suficiente mostrar que a condio iU AU = 0 implica em U = 0. De fato, tomando F = 0 em
H segue de (4.53) que = = 0, como verificado anteriormente (ver seo 4.3). Retornando s
equaes (4.56) e (4.58) obtemos = = 0. Mais ainda, usando equaes (4.57) e (4.59) e tambm
pela desigualdade de Poincar (pois w H01 () em ambos os casos) temos w = 0. Finalmente, de
(4.54) vem que W = 0, implicando que U = 0, como era desejado.
A seguir apresentaremos alguns lemas auxiliares que nos permitiro confirmar nosso objetivo, a
saber, o de obter um resultado sobre estabilidade polinomial. No que segue, com intuito de facilitar
a notao, usaremos o mesmo parmetro C para denotar diferentes constantes positivas que surgiro
nas estimativas.
Lema 4.5.1. Sob as notaes acima, existe uma constante C > 0 independente de tal que
||||2H 1 () + ||||2H 1 () C||U ||H ||F ||H
(4.60)
(4.61)
Prova. Aplicando o Lema 4.2.1, existe uma constante 0 > 0 tal que
[
]
{
[
]
0 ||||2H 1 () + ||||2H 1 () D (1 ) ||x ||22 + ||y ||22 + ||x + y ||22
(
)
}
1
2
+
||x + y ||2 .
2
Usando a estimativa (4.53), ento (4.60) segue imediatamente.
Agora, derivando as equaes (4.56) e (4.58), obtemos
ix x = fx3 ,
iy y = fy3
ix x = fx5 ,
iy y = fy5 ,
120
(4.62)
Lema 4.5.2. Sob as notaes acima, existe uma constante C > 0 independente de tal que
22
C
C
C
1/2
1/2
w2 U H F H +
U H F H +
F 2H
||
||
||
(4.63)
22
C
C
C
1/2
1/2
w2 U H F H +
U H F H +
F 2H ,
||
||
||
(4.64)
para || 1.
Prova. Inicialmente, afirmamos que existe uma constante C > 0 de modo que:
{
}
||H 1 () C 2 + 2 + w2 + 2 + H 1 () + F H , (4.65)
{
}
||H 1 () C 2 + 2 + w2 + 2 + H 1 () + F H , (4.66)
onde lembramos que H 1 () menciona o espao dual de H01 ().
De fato, seja v H01 (). Multiplicando (4.57) por v, integrando sobre , usando integrao por
partes (frmula de Green) e a equao (4.56), obtemos
)
(
K
1
(x + y , vy ) + K(w, vx ) + i ( + f 3 , v)
i2 (, v) = D(x + y , vx ) D
2
(
)
1
D1 (x + y , vx ) D1
(x + y , vy ) + 2 (f 4 , v).
2
Passando ao mdulo e usando as desigualdades de Poincar, de Cauchy-Schwarz e triangular, existe
uma constante C > 0 que depende somente dos coeficientes do sistema de Mindlin-Timoshenko tal
que
{
}
|| |(, v)| C 2 + 2 + w2 + 2 + H 1 () + F H ||v||2 ,
121
w2 H 1 () +
{2 + 2 } H 1 ()
||
||
}
C
C {
2 + H 1 () H 1 () +
F H H 1 ()
+
||
||
}
C
C {
w2 H 1 () +
22 + 22
||
||
{
}
C
C
C
+
F 2H +
2H 1 ()
22 + 2H 1 () +
||
||
||
C
C
C
1/2
1/2
22
C
C
C
1/2
1/2
w2 ||U ||H ||F ||H +
U H F H +
F 2H .
||
||
||
Isto prova a estimativa (4.63) como era desejado. Da mesma forma se obtm a desigualdade (4.64)
usando a desigualdade de interpolao para , a estimativa (4.66), a desigualdade de Young e o Lema
4.5.1, o que conclui a prova do Lema 4.5.2.
Lema 4.5.3. Sob as notaes acima, existe uma constante C > 0 independente de tal que
{
}
1/2
1/2
w2 C|| H 1 () + H 1 () + C||U ||H ||F ||H + CF H ,
(4.67)
para || 1.
Prova. Derivando as equaes componentes (4.57) e (4.59) com respeito a x e y, respectivamente,
reajustando os termos e somando as expresses resultantes obtemos que
w = F
122
onde
F
2
D
D1
2
x L2 (, )x + x
L2 (, )x fx4
K
K
K
K
2
D
D1
2
+ i y L3 (, )y + y
L3 (, )y fy6 .
K
K
K
K
= i
Note que a expresso para F faz sentido, uma vez que vale a equao (4.55). Assim, devido a
regularidade dos problemas elpticos (ver Lions & Magenes [67, Captulo 2]) e das imerses de
Sobolev, existe uma constante C > 0 tal que
w2 CFH 2 () ,
(4.68)
onde lembramos que H 2 () denota o espao dual de H02 (). Resta estimar o lado direito de
(4.68). Contudo, procedendo da mesma forma como na demonstrao do Lema 4.5.2, considerando
v H02 (), utilizando integrao por partes, a frmula de Green, passando ao mdulo, usando as
desigualdades de Cauchy-Schwarz e triangular e tambm as incluses H02 () , H01 () , L2 (),
obtemos:
|F, v|
{
}
C || H 1 () + H 1 () ||v||H02 ()
+ C {2 + 2 + 2 + 2 + F H } ||v||H02 () ,
para alguma constante C > 0 dependendo apenas dos coeficientes do sistema de MindlinTimoshenko. Disto segue que
FH 2 ()
{
}
C || H 1 () + H 1 ()
(4.69)
+ C {2 + 2 + 2 + 2 + F H } .
Combinando (4.68) e (4.69) e usando o Lema 4.5.1, obtemos (4.67) e o Lema 4.5.3 segue.
Lema 4.5.4. Sob as notaes acima, existe uma constante C > 0 independente de tal que
||w||22 C||2 ||U ||H ||F ||H + C||3 ||F ||2H
(4.70)
||W ||22 C||2 ||U ||H ||F ||H + C||3 ||F ||2H
(4.71)
para || 1.
Prova. Afirmamos inicialmente que existe uma constante C > 0 tal que
{
}
||H 2 () C wH 1 () + 2 + 2 + F H ,
{
}
||H 2 () C wH 1 () + 2 + 2 + F H ,
[
]
onde novamente H 2 () = H02 () .
(4.72)
(4.73)
123
Com efeito, seja v H02 (). Multiplicando (4.57) por v, integrando sobre , usando integrao
por partes e a equao (4.56), obtemos
(
)
1
K
i2 (, v) = D(x + y , vx ) D
(x + y , vy ) + K(w, vx ) + i ( + f 3 , v)
2
(
)
1
D1 (x + y , vx ) D1
(x + y , vy ) + 2 (f 4 , v).
2
Integrando novamente por partes,
(
)
1
i2 (, v) = (D + D1 , vxx ) + (D + D1 , vxy ) +
(D + D1 , vyx )
2
(
)
1
K
+
(D + D1 , vyy ) + K(w, vx ) + i ( + f 3 , v) + 2 (f 4 , v).
2
1/2
H 1 () CH 2 () 2
}
C {
1/2
1/2
1/2
1/2
1/2
w
+
+
F
2
1
2
2
H
H
()
1/2
||
{
}
C
1
1/2
1/2
1/2
1/2
+
F
2
2
2
2
H
H 1 ()
||1/2 ||1/2
{
}
C
1
1/2
1/2
1/2
1/2
w2 2 + 2 + 2 + F H 2
1/2
||
||
}
C
C {
1/2
1/2
1/2
1/2
+
F
,
2
2
2
2
2
H
||3/2
||1/2
para alguma constante C > 0 que independe de , ou seja,
H 1 ()
}
C
C {
1/2
1/2
1/2
1/2
w2 2 +
2 + 2 + F H 2
. (4.74)
||3/2
||1/2
124
}
C
C {
1/2
1/2
1/2
1/2
w
+
F
. (4.75)
2
2
2
2
2
H
||3/2
||1/2
Combinando o Lema 4.5.3 com as estimativas (4.74)-(4.75) e usando a desigualdade de Young vem
que
w2
{
}
C
1/2
1/2
1/2
w
+ C||1/2 {2 + 2 }
2
2
2
||1/2
1/2
1/2
+ CU H F H + C||1/2 F H ,
onde C > 0 independente de e || 1.
Aplicando o Lema 4.5.2 e a desigualdade de Young com > 0 suficientemente pequeno, ento
w2
{
}
C
1/2
1/2
1/2
1/2
1/2
w
+ CU H F H + C||1/2 F H .
2
2
2
1/2
||
1/2
1/2
w2 + C U H F H + C||1/2 F H ,
||
(4.76)
1/2
W 2 w2 + C ||U H F H + C||3/2 F H .
(4.77)
Por outro lado, multiplicando (4.55) por w e integrando por partes sobre , temos
||w||22 =
i1
1
(W, w) + (x , w) + (y , w) + (f 2 , w).
K
K
||w||22
para alguma constante C > 0 dependendo somente dos coeficientes do sistema de MindlinTimoshenko. Agora, usando a desigualdade de Young com > 0 suficientemente pequeno e
aplicando o Lema 4.5.1, obtemos
||w||22 CW 22 + CU H F H + CF 2H ,
(4.78)
ou ainda,
1/2
1/2
||w||2 CW 2 + CU H F H + CF H ,
(4.79)
125
onde C > 0 independe de . Substituindo (4.79) em (4.77) e tomando > 0 suficiente pequeno,
ento existe uma constante C > 0 independente de tal que
||W ||22 C||2 ||U ||H ||F ||H + C||3 F 2H ,
para || 1. Isto prova a desigualdade (4.71) como desejado. Finalmente, substituindo esta ltima
estimativa em (4.78) concluimos que
||w||22 C||2 ||U ||H ||F ||H + C||3 ||F ||2H ,
(4.80)
Lema 4.5.5. Sob as notaes acima, existe uma constante C > 0 independente de tal que
U 2H C||4 ||F ||2H ,
(4.81)
para || 1.
Prova. Em primeiro Lugar note que existe uma constante C = C(1 , 2 , K, D, ) > 0 dependendo
apenas dos coeficientes do sistema de Mindlin-Timoshenko tal que
{
}
U 2H C W 22 + 22 + 22 + 22 + 22 + w22 + 22 + 22 .
Logo, usando as equaes componentes (4.56) e (4.58) e aplicando os Lemas 4.5.1 e 4.5.4, obtemos
U 2H C||2 ||U ||H ||F ||H + C||3 F 2H ,
para alguma constante C > 0 independente de e || 1. Assim, usando a desigualdade de Young
com > 0 pequeno o suficiente, concluimos que
U 2H C||4 ||F ||2H ,
para || 1 e C > 0 dependendendo somente das constantes do sistema de Mindlin-Timoshenko e
independente de . Isto mostra a estimativa (4.81) e o Lema 4.5.5 est provado.
Em virtude dos lemas expostos acima, estamos em posio de provar o principal resultado desta
seo que fornece o decaimento polinomial para a soluo U (t) = eAt U0 , t 0, relativa ao sistema
de Mindlin-Timoshenko.
Teorema 4.5.6. Considere D0 = 0 e D1 > 0. Se U0 D(A), ento existe uma constante C > 0 tal
que
||eAt U0 ||H
C
t1/2
||U0 ||D(A)
quando
t .
(4.82)
Alm disso, se U0 D(Ak ), k N, ento existe uma constante Ck > 0 tal que
||eAt U0 ||H
Ck
||U0 ||D(Ak )
tk/2
quando
t .
(4.83)
126
Prova. Pela estimativa (4.81) do Lema 4.5.5 existe uma constante C > 0 tal que
||U ||H C||2 ||F ||H ,
para || grande o suficiente (|| 1) . Alm disso, pela Observao 4.5.1 temos que iR (A).
Ento, usando a equao resolvente (iId A)U = F , segue que
||(iId A)1 || C||2 ,
para || suficientemente grande. Isto implica que a condio (B1) do Teorema 1.5.6 vale com = 2.
Logo, pela condio (B4) do mesmo resultado vem que
||eAt A1 || = O(t1/2 ),
t ,
(4.85)
C
t1/2
||U0 ||D(A)
quando
t ,
C
t1/2
||U0 ||D(A)
quando
t ,
(
)k
eAt U0 = eAt Ak F = eAt/k A1 F.
(4.86)
127
4.5.1 Otimalidade
Notamos inicialmente que o Teorema 4.5.6 nos fornece uma taxa de decaimento polinomial
melhor, conforme melhoramos a regularidade dos dados iniciais. Contudo, se fixarmos os dados
iniciais em D(A), ento veremos a seguir que a taxa t1/2 no pode ser melhorada. Mais
precisamente, temos o
Teorema 4.5.7. Sob as hipteses do Teorema 4.5.6, se fixarmos U0 D(A) ento a taxa de
decaimento t1/2 tima.
Prova. No que segue, provaremos por contradio que a taxa t1/2 no pode ser melhorada. De
fato, suponhamos que a taxa de decaimento polinomial pode ser melhorada para uma taxa da forma
t1/(2) com 0 < < 2, ou seja, que existe uma constante C > 0 tal que
||eAt U0 ||H
C
t1/(2)
||U0 ||D(A)
quando
t .
C
t1/(2)
||F ||H
quando
t ,
C
t1/(2)
quando
t .
quando
Logo, para F H, usando novamente a equao resolvente (notando que iR (A)) resulta que
||2 ||U ||H C||F ||H ,
(4.87)
lim n1 An = .
(4.88)
128
Un H2
1 2
|n An |2 ,
4
1/2
1 1
n An .
2
(4.89)
o que um absurdo, pois contradiz (4.87). Portanto, a taxa t1/2 no pode ser melhorada. Isto nos d
a otimalidade desejada, concluindo a prova do Teorema 4.5.7.
Referncias Bibliogrficas
[1] R. A. Adams & J. J. F. Fournier, Sobolev Spaces, Second edition. Pure and Applied
Mathematics (Amsterdam), 140. Elsevier/Academic Press, Amsterdam, 2003.
[2] L. An & A. Peirce, The effect of microstructure on elastic-plastic models, SIAM J. Appl. Math.
54 (1994), no. 3, 708-730.
[3] L. An & A. Peirce, A weakly nonlinear analysis of elastoplastic-microstructure models, SIAM
J. Appl. Math. 55 (1995), no. 1, 136-155.
[4] D. Andrade, L. H. Fatori & J. E. Muoz Rivera, Nonlinear transmission problem with a
dissipative boundary condition of memory type, Electron. J. Differential Equations 2006, No.
53, 16 pp.
[5] D. Andrade, M. A. Jorge Silva & T. F. Ma, Exponential stability for a plate equation with
p-Laplacian and memory terms, Math. Meth. Appl. Sci. (aceito para publicao)
[6] D. Andrade & J. E. Muoz Rivera, Exponential decay of non-linear wave equation with a
viscoelastic boundary condition, Math. Methods Appl. Sci. 23 (2000) 41-61.
[7] G. Andrews, On the existence of solutions to the equation utt = uxxt + (ux )x , J. Differential
Equations 35 (1980) 200-231.
[8] A. V. Babin & M. I. Vishiki, Attractors of Evolution Equations, Studies in Mathematics and its
Applications 25, North-Holland, Amsterdam, 1992.
[9] R. K. Barreto, E. C. Lapa & J. E. Muoz Rivera, Decay rates for viscoelastic plates with
memory, J. Elasticity 44 (1996), no. 1, 61-87.
[10] R. K. Barreto & J. E. Muoz Rivera, Decay rates of solutions to thermoviscoelastic plates
with memory, IMA J. Appl. Math. 60 (1998), no. 3, 263-283.
129
130
Referncias Bibliogrficas
[11] A. Btkai, K.-J. Engel, J. Prss and R. Schnaubelt, Polynomial stability of operator semigroups,
Math. Nachr. 279 (2006), no. 13-14, 1425-1440.
[12] A. Benaissa & A. Guesmia, Energy decay for the wave equations of -Laplacian type with
weakly nonlinear dissipation, Electron. J. Differential Equations (2008), no. 109, 1-22.
[13] A. C. Biazutti, On a nonlinear evolution equation and its applications, Nonlinear Anal. 24
(1995) 1221-1234.
[14] A. Borichev & Y. Tomilov, Optimal polynomial decay of functions and operator semigroups,
Math. Ann. 347 no. 2, 455-478 (2010).
[15] H. Brzis, Analyse fonctionnelle: Thorie et Applications, Paris, Masson, 1983.
[16] A. N. Carvalho, Sistemas dinmicos no-lineares, Departamento de Matemtica ICMC-USP,
So Carlos, 2011.
[17] M. M. Cavalcanti & V. N. Domingos Cavalcanti, Introduo teoria das distribuies e aos
espaos de Sobolev, EDUEM, Maring, 2009.
[18] M. M. Cavalcanti, V. N. Domingos Cavalcanti & J. Ferreira, Existence and uniform decay for
a non-linear viscoelastic equation with strong damping, Math. Methods Appl. Sci. 24 (2001),
no. 14, 1043-1053.
[19] M. M. Cavalcanti, V. N. Domingos Cavalcanti & T. F. Ma, Exponential decay of the viscoelastic
Euler-Bernoulli equation with a nonlocal dissipation in general domains, Differential Integral
Equations 17 (2004) 495-510.
[20] M. M. Cavalcanti, H. Portillo Oquendo, Frictional versus viscoelastic damping in a semilinear
wave equation, SIAM J. Control Optim. 42 (2003) 1310-1324.
[21] S. S. Ceron & O. Lopes, -contractions and attractors for dissipative semilinear hyperbolic
equations and systems, Ann. Math. Pura Appl. (4) 160 (1991), 193-206.
[22] I. Chueshov & I. Lasiecka, Attractors for second order evolution equations with a nonlinear
damping, J. Dyn. Diff. Eq., 16 (2004), 469-512.
[23] I. Chueshov & I. Lasiecka, Existence, uniqueness of weak solutions and global attractors for
a class of nonlinear 2D Kirchhoff-Boussinesq models, Discrete Contin. Dyn. Syst. 15 (2006),
no. 3, 777-809.
[24] I. Chueshov & I. Lasiecka, Long time dynamics of von Karman evolutions with thermal effects,
Bol. Soc. Parana. Mat. (3) 25 (2007), no. 1-2, 37-54.
[25] I. Chueshov & I. Lasiecka, Long-Time Behavior of Second Order Evolution Equations with
Nonlinear Damping, Mem. Amer. Math. Soc. 195, no. 912, Providence, 2008.
Referncias Bibliogrficas
131
[26] I. Chueshov & I. Lasiecka, Attractors and long time behavior of von Karman thermoelastic
plates, Appl. Math. Optim. 58 (2008), no. 2, 195-241.
[27] I. Chueshov & I. Lasiecka, On global attractor for 2D Kirchhoff-Boussinesq model with
supercritical nonlinearity, Comm. Partial Differential Equations 36 (2011) 67-99.
[28] J. Clements, Existence theorems for a quasilinear evolution equation, SIAM J. Appl. Math. 26
(1974) 745-752.
[29] E. A. Coddington & N. Levinson, Theory of Ordinary Differential Equations, McGraw-Hill
Inc., New York, 1955.
[30] C. M. Dafermos, Asymptotic stability in viscoelasticity, Arch. Rational Mech. Anal. 37 (1970)
297-308.
[31] C. M. Dafermos & J. A. Nohel, Energy methods for nonlinear hyperbolic Volterra
integrodifferential equations, Comm. Partial Differential Equations 4 (1979) 219-278.
[32] Dang Dinh Ang & A. Pham Ngoc Dinh, Strong solutions of a quasilinear wave equation with
nonlinear damping, SIAM J. Math. Anal. 19 (1988) 337-347.
[33] R. Dautray & J.-L. Lions, Mathematical Analysis and Numerical Methods for Science and
Technology, Vol.5 - Evolution Problems I, Springer-Verlag, Berlin, 1992.
[34] M. Dreher, The wave equation for the p-Laplacian, Hokkaido Math. J. 36 (2007) 21-52.
[35] A. Eden, C. Foias, B. Nicolaenko & R. Temam, Exponential attractors for dissipative evolution
equations, Research in Applied Mathematics, vol. 37, John Wiley & Sons, New York, 1994.
[36] L. C. Evans, Partial differential equations, Graduate Studies in Mathematics, vol. 19. American
Mathematical Society, Providence, RI, 1998.
[37] K. Falconer, Fractal Geometry:
Chichester, 1990.
[38] L. H. Fatori & T. F. Ma, A thermoelastic system of memory type in noncylindrical domains,
Appl. Math. Comput. 200 (2008), no. 2, 583-589.
[39] L. H. Fatori & R. N. Monteiro, The optimal decay rate for a weak dissipative Bresse system,
Applied Mathematics Letters 25 (2012), 600-604.
[40] L. H. Fatori & J. E. Muoz Rivera, Rates of decay to weak thermoelastic Bresse system, IMA
J. Appl. Math. 75 no. 6 (2010), 881-904.
[41] H. D. Fernndez Sare, On the stability of Mindlin-Timoshenko plates, Quart. Appl. Math. 67
no. 2, 249-263 (2009).
132
Referncias Bibliogrficas
[42] C. Foias & E. Olson, Finite fractal dimension and Hlder-Lipschitz parametrization, Indiana
Univ. Math. J. 45 (1996), 603-616.
[43] G. B. Folland, Real analysis - Modern techniques and their applications, Second edition, Pure
and Applied Mathematics, John Wiley & Sons, Inc., New York, 1999.
[44] H. Gao & T. F. Ma, Global solutions for a nonlinear wave equations with the p-Laplacian
Operator, Electron. J. Qual. Theory Differ. Equ. 1999, No. 11, 13 pp.
[45] L. Gearhart, Spectral theory for contraction semigroups on Hilbert space, Trans. Amer. Math.
Soc. 236 (1978), 385-394.
[46] J. M. Ghidaglia & R. Temam, Attractors for damped nonlinear hyperbolic equations, J. Math.
Pures Appl. 66, (1987) 273-319.
[47] C. Giorgi, M. Grasseli & V. Pata, Well-posedness and longtime behavior of the phase-field
model with memory in a history space setting, Quart. Appl. Math. 59 (2001) 701-736.
[48] C. Giorgi, A. Marzocchi & V. Pata, Asymptotic behavior of a semilinear problem in heat
conduction with memory, NoDEA Nonlinear Diff. Eq. Appl. 5, (1998) 333-354.
[49] C. Giorgi, A. Marzocchi & V. Pata, Uniform attractors for a non-autonomous semilinear heat
equation with memory, Quart. Appl. Math. 58 (2000) 661-683.
[50] C. Giorgi, J. E. Muoz Rivera & V. Pata, Global attractors for a semilinear hyperbolic equation
in viscoelasticity, J. Math. Anal. Appl. 260 (2001) 83-99.
[51] C. Giorgi, V. Pata & E. Vuk, On the extensible viscoelastic beam, Nonlinearity 21, (2008)
713-733.
[52] M. Grasselli & V. Pata, Uniform attractors of nonautonomous dynamical systems with memory,
Progr. Nonlinear Differential Equations Appl. 50 (2002) 155-178.
[53] J. M. Greenberg, R. C. MacCamy & V. J. Mizel, On the existence, uniqueness, and stability of
solutions of the equation (ux )uxx + uxtx = 0 utt , J. Math. Mech. 17 (1968) 707-728.
[54] J. M. Greenberg, On the existence, uniqueness, and stability of solutions of the equation
0 Xtt = E(Xx )Xxx + Xxxt , J. Math. Anal. Appl. 25 (1969) 575-591.
[55] J. K. Hale, Asymptotic behavior of dissipative systems, Mathematical Surveys and
Monographs, 25. American Mathematical Society, Providence, RI, 1988.
[56] A. Haraux & E. Zuazua, Decay estimates for some semilinear damped hyperbolic problems,
Arch. Rational Mech. Anal. 100 (1988) 191-206.
[57] D. Henry, Geometric theory of semilinear parabolic equations, Lecture Notes in Mathematics,
840. Springer-Verlag, Berlin - New York, 1981.
Referncias Bibliogrficas
133
[58] M. A. Jorge Silva & T. F. Ma, On a viscoelastic plate equation with history setting and
perturbation of p-Laplacian type, IMA J. Appl. Math. (submetido)
[59] M. A. Jorge Silva & T. F. Ma, Finite-dimensional global attractor to a plate equation with
memory and perturbation of p-Laplacian type (a submeter)
[60] M. A. Jorge Silva, T. F. Ma & J. E. Muoz Rivera, Analyticity and rates of decay to a fully and
partially damped Mindlin-Timoshenko plate model (a submeter)
[61] A.Kh. Khanmamedov, Global attractors for von Karman equations with nonlinear interior
damping. J. Math Anal Appl, 318 (2006), 92-101.
[62] J. U. Kim, A boundary thin obstacle problem for a wave equation, Comm. Partial Differential
Equations 14 (1989) 1011-1026.
[63] E. Kreyszig, Introductory functional analysis with applications, John Wiley & Sons, New
York-London-Sydney, 1978.
[64] J. E. Lagnese, Boundary Stabilization of Thin Plates, SIAM Studies in Applied Mathematics,
10. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1989.
[65] J. E. Lagnese & J. L. Lions, Modelling, analysis and control of thin plates, Collection RMA,
Masson, Paris, 1988.
[66] J.-L. Lions, Quelques Mthodes de Rsolution des Problmes aux Limites Non Linaires,
Dunod Gauthier-Villars, Paris 1969.
[67] J.-L. Lions & E. Magenes, Non-Homogeneous Boundary Value Problems and Applications,
Vol.I, Springer-Verlag, Berlin, 1972.
[68] Z. Liu & B. Rao, Characterization of polynomial decay rate for the solution of linear evolution
equation, Z. angew. Math. Phys. 56, 630-644 (2005).
[69] Z. Liu & J. Yong, Qualitative properties of certain C0 semigroups arising in elastic systems
with various dampings, Adv. Differential Equations 3 (1998), no. 5,
[70] Z. Liu & S. Zheng, Semigroups associated with dissipative systems, Chapman & Haal/CRC
Research Notes in Mathematics v. 398, Boca Raton, FL, 1999.
[71] T. F. Ma, Boundary stabilization for a nonlinear beam on elastic bearings, Math. Meth. Appl.
Sciences 24 (2001) 583-594.
[72] T. F. Ma & J. A. Soriano, On weak solutions for an evolution equation with exponential
nonlinearities, Nonlinear Anal. 37 (1999) 1029-1038.
[73] S. A. Maia & M. Milla Miranda, Existence and decay of solutions of an abstract second order
nonlinear problem, J. Math. Anal. Appl. 358 (2009) 445-456.
134
Referncias Bibliogrficas
[74] J. Mlek & D. Prak, Large time behavior via the method of l-trajectories, J. Differ. Equations
181 (2002), no. 2, 243-279.
[75] L. A. Medeiros, Tpicos em Equaes Diferenciais Parciais-Parte I, Instituto de Matemtica UFRJ, Rio de Janeiro, 2005.
[76] L. A. Medeiros & M. Milla Miranda , Espaos de Sobolev (Iniciao aos Problemas Elpticos
no Homogneos), Instituto de Matemtica - UFRJ, Rio de Janeiro, 2000.
[77] S. A. Messaoudi, On the decay of solutions for a class of quasilinear hyperbolic equations with
non-linear damping and source terms, Math. Methods Appl. Sci. 28 (2005) 1819-1828.
[78] J. E. Muoz Rivera, Asymptotic behaviour in linear viscoelasticity, Quart. Appl. Math. 52
(1994) 628-648.
[79] J. E. Muoz Rivera, Estabilizao de Semigrupos e Aplicaes, Sries de Mtodos
Matemticos, Rio de janeiro, 2008.
[80] J. E. Muoz Rivera & H. P. Oquendo, Asymptotic behavior of a Mindlin-Timoshenko plate with
viscoelastic dissipation on the boundary, Funkcial. Ekvac. 46 no. 3, 363-382 (2003).
[81] J. E. Muoz Rivera & R. Racke, Global stability for damped Timoshenko systems, Disc. Cont.
Dyn. Sys. 9, 1625-1639 (2003).
[82] V. Pata & S. Zelik, Global and exponential attractors for 3-D wave equations with
displacement dependent damping, Math. Meth. Appl. Sci. 29 (2006), no. 11, 1291-1306.
[83] V. Pata & A. Zucchi, Attractors for a damped hyperbolic equation with linear memory, Adv.
Math. Sci. Appl. 11 (2001), no. 2, 505-529.
[84] J. Y. Park, H. M. Kim & S. H. Park, On weak solutions for hyperbolic differential inclusion
with discontinuous nonlinearities, Nonlinear Anal. 55 (2003) 103-113.
[85] A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations,
Applied Mathematical Sciences v. 44, Springer-Verlag, New York, 1983.
[86] J. Prss, On the spectrum of C0 -semigroups, Trans. Amer. Math. Soc. 284 (1984), no. 2, 847857.
[87] M. Sango, On a nonlinear hyperbolic equation with anisotropy: global existence and decay of
solution, Nonlinear Anal. 70 (2009) 2816-2823.
[88] M. L. Santos & C. C. S. Tavares, On the Kirchhoff plates equations with thermal effects and
memory boundary conditions, Appl. Math. Comput. 213 (2009), no. 1, 25-38.
[89] J. Simon, Compact sets in the space Lp (0, T ; B), Ann. Mat. Pura Appl. (4) 146 (1987), 65-96.
Referncias Bibliogrficas
135
ndice Remissivo
bidual, 14
com peso, 12
Conjunto
-limite, 30
absorvente, 29, 87, 91
reflexivo, 15
separvel, 15
Espao de
invariante, 29
distribuies, 11
distribuies vetoriais, 13
Convergncia
forte, 15
funes teste, 11
Sobolev, 11
fraca, 14
fraca estrela, 14
Funo contrativa, 30
Gerador infinitesimal, 24
Gronwall, 17
Cauchy com , 18
estabilizao, 92
Gagliardo-Nirenberg, 16
Hlder, 17
Hlder Generalizada, 17
Ncleo da memria, 3, 33
Poincar, 17
Young, 17
Young com , 17
Operador
p-Laplaciano, 19
Dual topolgico, 14
Equao de evoluo, 27
Espao
dissipativo, 25
Otimalidade, 7, 118, 127
138
ndice Remissivo
Rellich-Kondrachov, 16
Representao de Riesz-Frchet, 18
Topologia
fraca, 14
fraca estrela, 14