Equa - o de Boussinesq (Reginaldo)

REGINALDO DEMARQUE DA ROCHA
DE BOUSSINESQ
EQUAC
AO
INDRICOS
EM DOMINIOS CILINDRICOS E NAO-CIL
Dissertacao apresentada por Reginaldo

Demarque da Rocha ao Curso de
Mestrado em Matematica - Universidade
Federal Fluminense, como requisito
parcial para a obtencao do Grau de
Mestre. Linha de Pesquisa: Equacoes
Diferenciais Parciais.
Orientador: Juan Bautista Lmaco Ferrel
Niteroi
2008
Ficha Catalogr
afica elaborada pela Biblioteca de P
os-gradua
c
ao em Matem
atica da UFF
R672 Rocha, Reginaldo Demarque da

Equacao de Boussinesq em domnios cilndricos e nao cilndricos/
Reginaldo Demarque da Rocha. - Niteroi, RJ: [s.n.], 2008.
91f.
Orientador: Juan Bautista Lmaco Ferrel
Dissertacao (Mestrado em Matematica) - Universidade Federal
Fluminense, 2008.
1.Equacao de Boussinesq. 2. Domnio nao-cilndrico. 3.
Comportamento Assintotico. I. Ttulo.
CDD: 515.35
REGINALDO DEMARQUE DA ROCHA
DE BOUSSINESQ
EQUAC
AO
INDRICOS
EM DOMINIOS CILINDRICOS E NAO-CIL
Dissertacao apresentada por Reginaldo

Demarque da Rocha ao Curso de
Mestrado em Matematica - Universidade
Federal Fluminense, como requisito
parcial para a obtencao do Grau de
Mestre. Linha de Pesquisa: Equacoes
Diferenciais Parciais.
Aprovada em: 13/03/2008
Banca Examinadora
Prof o . Juan Bautista Lmaco Ferrel - Orientador

Doutor - Universidade Federal Fluminense
Prof o . Luiz Adauto Medeiros - Membro
Doutor - Universidade Federal do Rio de Janeiro
Prof o . Olmpio Hiroshi Miyagaki - Membro
Doutor - Universidade Federal de Vicosa
Prof o . Haroldo Clark - Membro
Doutor - Universidade Federal Fluminense
Niteroi
2008
Agradecimentos
` minha mae pelas licoes de carater, comprometimento e responsabilidade fundamenA
tais para a realizacao de qualquer trabalho.
Ao solcito Profo Dr. Juan Lmaco pela excelente orientacao, incentivo e confianca em
mim depositados.
Aos professores da banca Dr. Luiz Adauto Medeiros, Dr. Haroldo Clark e Dr. Olmpio
Hiroshi Miyagaki pela participacao.
Aos meus amigos do mestrado pelo companheirismo em todos os momentos, pois muito
mais que excelentes matematicos sao formidaveis amigos.
Aos meus irmaos e minha namorada pelo carinho e imensuravel apoio, que mesmo
estando longe sempre estiveram perto.
Nao podendo mencionar a todos, gostaria ainda de agradecer ainda aos professores e
amigos que contribuiram de forma substancial para minha formacao academica.
Enfim, à Coordenacao de Aperfeicoamento de Pessoal de Nvel Superior (CAPES) pelo

apoio financeiro.
Resumo
Neste trabalho, estudamos o problema de valor inicial unidimensional associado à
Equacao de Boussinesq em um domnio nao cilndrico de R2 com um termo dissipativo
u (x, t) (u(x, t) + ut (x, t) + (u2 (x, t))xx + uxxxx = 0 em Q;
tt
u((t), t) = u((t), t) = ux ((t), t) = ux ((t), t) = 0, t 0;
u(x, 0) = u (x), u (x, 0) = u (x), x [ , ],

0
onde e sao funcoes reais definidas em [0, +) tais que (0) = 0 < 0 = (0) e
b = {(x, t) R2 ; (t) < x < (t)} e um domnio nao cilndrico. O intervalo [0 , 0 ]
Q
representa uma barra na posicao de repouso, a qual e deformada, por acao de forcas, para
o intervalo [(t), (t)] ao longo do tempo t > 0.
Provamos a existencia, a unicidade e o decaimento exponencial de solucao em um
domnio cilndrico. Em seguida provamos a existencia de solucao em um domnio naocilndrico
por
fim
provamos
decaimento
exponencial
utt (x, t) (u(x, t) + c ut (x, t) + (u2 (x, t))xx + uxxxx = 0, com c > 2.
para
equacao
Abstract
In this work, we study the initial-boundary value problem for the one-dimensional in
space dissipative Boussinesq equation in a non-cylindrical domain of R2
tt
u(x, 0) = u (x), u (x, 0) = u (x), x [ , ],

0
b =
where and are real functions defined on [0, +), (0) = 0 < 0 = (0) and Q
{(x, t) R2 ; (t) < x < (t)} is a non-cylindrical domain. The interval [0 , 0 ] represents
the beam in the rest position, which is changed by action of forces and it has the position
[(t), (t)] at time t > 0.
We prove the existence, uniquessess and the exponential decay of the global solution in a cylindrical domain.
Next we prove the existence of the global solution in
a non-cylindrical domain and at last we prove the exponential decay for the equation
utt (x, t) (u(x, t) + c ut (x, t) + (u2 (x, t))xx + uxxxx = 0, com c > 2.
Sum
ario
Introduc
ao
1 Preliminares
9
11
1.1
Espacos Funcionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
1.2
Resultados Basicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
1.3
Base hilbertiana e Teoria Espectral . . . . . . . . . . . . . . . . . . . . . .
25
1.4
Existencia de Solucoes para Equacoes Diferenciais Ordinarias . . . . . . . .
29
2 Problema Cilndrico
31
2.1
Problema Aproximado . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
2.2
Estimativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
2.3
Passagem ao Limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
2.4
Condicoes Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
2.5
Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
2.6
Decaimento Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
3 Problema N
ao-Cilndrico
67
3.1
Problema Aproximado . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
70
3.2
Passagem ao Limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
78
3.3
Decaimento Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . .
83
Refer
encias
90
Introduc
ao
A teoria das ondas para o caso de um fluido raso com ondas de baixa amplitude,
idelizado por Scott-Russel em 1834, teve uma das primeiras analises matematicas realizada
em 1872 por Boussinesq [1]. Em seu trabalho obteve uma equacao de onda dissipativa e
nao-linear, a qual e agora conhecida como Equacao de Boussinesq, dada por
utt (u + au2 )xx + buxxxx = 0,
(1)
onde u = u(x, t) e a componente vertical da velocidade de uma superfcie livre de um fluido

irrotacional, a e uma constante real positiva e b e uma constante real, ambas dependendo da
profundidade do fluido. Quando b > 0, a equacao (1) em um domnio cilndrico descreve
pequenas oscilacoes transversais nao-lineares de uma barra, e e conhecida na literatura
como a boa Equacao de Boussinesq. Para b < 0 a equacao (1) e chamadade ma
Equacao de Boussinesq.
A Equacao de Boussinesq (1) com a, b > 0 e sobre a acao de um forte dissipador interno,
o que implica o acrescimo do termo c uxxt com c 0, modela oscilacoes nao-lineares de
uma barra na presenca de viscosidade. Assim, a equacao (1) assume a forma
utt (u + cut + au2 )xx + buxxxx = 0.
(2)
O problema de valor inicial definido pela equacao (2) em um domnio cilndrico e com
dados iniciais pequenos foi estudado por Varlamov [14, 15, 16] em dimensoes 1 e 2. Como
resultado, solucoes classicas foram contrudas , unicidade e comportamentos assintoticos
foram obtidos de forma explcita.
Neste trabalho, estudamos o problema de valor inicial unidimensional associado à

Equacao de Boussinesq (2) em um domnio nao cilndrico de R2 com termo dissipativo.
Por simpliciade, tomamos a = b = c = 1 e assim o problema e dado por
tt
u(x, 0) = u (x), u (x, 0) = u (x), x [ , ],

0
(3)
b = {(x, t) R2 ; (t) < x < (t)} e um domnio nao cilndrico. O intervalo [0 , 0 ]
Q
representa uma barra na posicao de repouso, a qual e deformada, por acao de forcas, para
o intervalo [(t), (t)] ao longo do tempo t > 0. O mesmo problema foi estudado em
[5] usando o metodo de mudanca de variaveis, porem, no presente trabalho, optamos por
usar o metodo de penalizacao introduzido por Lions em [6]. O estudo de outras equacoes
utilizando o metodo de penalizacao pode ser visto em Medeiros [11, 8, 12].
O trabalho e composto de tres captulos. No Captulo 1 apresentamos as definicoes e
notacoes necessarias para a compreensao dos captulos posteriores e tambem estabeleceremos alguns resultados basicos que serao ultilizados ao longo do trabalho. No Captulo
2 provaremos a existencia, a unicidade e o decaimento exponencial de solucao do Problema (3) em um domnio cilndrico. No Captulo 3, provaremos a existencia de solucao
para o Problema (3) em um domnio nao-cilndrico e por fim provaremos o decaimento
exponencial para o Problema associado a equacao (2) com a = b = 1 e c > 2.
Captulo 1
Preliminares
1.1
Espacos Funcionais
Neste captulo serao apresentados os espacos funcionais envolvidos no problema em

estudo. Apresentaremos tambem a estrutura desses espacos e algumas propriedades importantes.
Seja um aberto limitado do Rn . Denotaremos por Lp (), 1 p , ao Espaco
de Banach das funcoes u mensuraveis definidas em com valores em R, tais que |u|p e
integravel no sentido de Lebesgue em R, ou seja,
Z
p
|u(x)|p dx < }
L () = {u : R; u e mensuravel e
munido da norma
1/p
p
kukp =
|u(x)| dx
Se p = , o conjunto das funcoes mensuraveis e essencialmente limitadas em e

representado por L (). Para uma funcao u L (), define-se a norma de u por
kuk = supess u.
11
1.1. Espacos Funcionais
12
Se p = 2 tem-se o Espaco de Hilbert L2 (), com produto interno dado por

Z
(u, v) =
u(x)v(x)dx.
Dado = (1 , . . . , n ) Nn , define-se
|| =
n
X
i=1
Denotaremos por
D =
||
1 . . . n
o operador derivacao de ordem ||. Se = (0, 0, . . . , 0), define-se D0 u = u.

Define-se o suporte compacto de u ao fecho do conjunto {x ; u(x) 6= 0} e
denota-se por supp u. Denotaremos por C0 () o conjunto das funcoes u : R
que sao infinitamente diferenciaveis com suporte compacto contido em . Denotaremos
por D() o espaco topologico (C0 (), D), onde D() representa a topologia do limite
indutivo, isto e, muniremos D() da seguinte nocao de convergencia
um u em D()
se, e somente se, existe um subconjunto compacto K de , tal que:
(i) supp (um ) K, m N e supp (u) K;
(ii) N, D um D u uniformemente em K.
O espaco D() e denominado Espaco das Fun
co
es Testes. Dizemos que T e uma
Distribuic
ao sobre quando T e uma transformacao linear e contnua de D() em R
no sentido da convergencia de D() e denotaremos o valor de T em D() por hT, i.
Representa-se por D0 () o espaco das distribuicoes sobre .
Dizemos que a seq
uencia (Tm )mN D0 () converge para a distribuicao T sobre
quando a seq
uencia numerica (hTm , i) converge para (hT, i), para todo D().
13
Define-se a derivada de ordem || da distribuicao T sobre como sendo o funcional

D : D() R tal que
hD T, i = (1)|| hT, D i, D().
A derivada da distribuicao T tambem e uma distribuicao.
Dado u Lp (), para todo D() existe a integral
u(x)(x)dx. De fato, seja
K compacto tal que supp K, entao

Z
Z
u(x)(x)dx =
assim,
u(x)(x)dx,
K
R
u(x)(x)dx = | u(x)(x)dx|
K
R
K |u(x)||(x)|dx
R
maxxK |(x)| K |u(x)|dx <
esta u
ltima desigualdade devido ao fato de Lp () L1 ().
R
Defina Tu : D() R por hTu , i = u(x)(x)dx, vejamos que Tu e uma distribuicao. Claro que Tu e linear, entao basta mostrar que Tu e contnua no sentido da
convergencia de D().
D()
Com efeito, seja (m )mN D() tal que m , ou seja,

(i) Existe um compacto K contendo supp (m ), m N;
(ii) D (m ) 0 uniformemente, Nn .
Seja M =
R
K
|u(x)|dx, como (m ) converge uniformemente em K compacto entao
para todo > 0 existe m0 N tal que se m m0 entao |m (x) (x)| <
,
M
para todo
14
x K, da,
|hTu , m i| = |
u(x)(m )(x)dx|
= | K u(x)(m )(x)dx|
R
K |u(x)||(m )(x)|dx
R
M K |u(x)|dx

logo Tu e contnua.
Lema 1.1 (Lema de Du Bois Raymond) Seja u L1loc (). Se Tu = 0 ent
ao u = 0
q.s em .
Demonstrac
ao: Ver Proposicao 1.3.1 de [10].
Com isso, vimos que, dado u Lp () define-se uma distribuicao Tu D0 () e pelo
Lema de Du Bois Raymond temos que se Tu = Tv entao u = v q.s em , assim, podemos
denotar Tu simplesmente por u. Porem, nem toda distribuicao e definida por um elemento
de Lp (), um exemplo e a distribuicao de Dirac definida da seguinte forma, dado x0
defina x0 : D() R com sendo hx0 , i = (x0 ).
Sejam m N e 1 p < . Representa-se por W m,p () o espaco de todas as funcoes
mensuraveis u Lp (), tais que Nn com || m, tem-se D u Lp (), sendo D u
a derivada no sentido das distribuicoes sobre , ou ainda,
W m,p () = {u Lp (); D u Lp (), Nn com || m}.
Para cada u W m,p (), definimos a norma de u por
kukm,p =
1/p
X Z
||m
|D u(x)|p dx
O espaco (W m,p (), k km,p ) e um Espaco de Bananch, denominado Espaco de Sobolev.

Quando p = 2, W m,p () e um Espaco de Hilbet e sera denotado por
W m,2 () = H m ().
15
Define-se o espaco W0m,p () como sendo o fecho de C0 () em W m,p (), em particular,

se p = 2 denotaremos W0m,p () = H0m (). O dual topologico de H0m () sera denotado por
H m ().
Dado H um espaco de Banach, se T > 0 e 1 p < , representa-se por Lp (0, T ; H)
o Espaco de Banach das funcoes u : (0, T ) H tais que u e mensuravel e ku(t)kH
Lp (0, T ), munido da norma
Z
kukLp (0,T ;H) =

0
1/p
ku(t)kpH dt
Se p = 2 e H e um Espaco de Hilbet, entao L2 (0, T ; H) e um Espaco de Hilbert com

produto interno
(u, v)L2 (0,T ;H) =
(u(t), v(t))H dt.

0
Quando p = tem-se o Espaco de Banach L (0, T ; H) formado pelas funcoes u :

(0, T ) H mensuraveis e essencialmente limitadas em H, isto e,
supess ku(t)kH <
munido da norma
kukL (0,T ;H) = supess ku(t)kH .
Representa-se por D0 (0, T ; H) o espaco das distribuicoes vetoriais sobre D(0, T ) com
valores em H, ou seja, o espaco das aplicacoes lineares e contnuas de D(0, T ) em H.
Se u Lp (0, T ; H), 1 p < , associa-se a u a distribuicao u
e, defina por
Z
he
u, i =
u(t)(t)dt, D(0, T ).
0
Como feito anteriomente, pode-se mostrar que u

e e univocamente definida por u, da,
identificamos u
e com u e podemos dizer que
Lp (0, T ; H) D0 (0, T ; H).
16
Seja T D0 (0, T ; H), define-se a derivada de ordem m de T , no sentido das distribuicoes, como sendo a distribuicao
h
m
T
tm
definida por
m
m
m
T,
i
=
(1)
hT,
i, D(0, T ).
tm
tm
Em particular, se u Lp (0, T ; H) entao a derivada de ordem m de u, no sentido das

distribuicoes, e a distribuicao
m
u
tm
definida por
m
h m u, i = (1)m
t
T
0
m
u(t) m (t)dt, D(0, T ).
t
1.2. Resultados Basicos
1.2
17
Resultados B
asicos
Proposic
ao 1.2 (Desigualdade de Poicare-Friedricks ) Seja um aberto, limitado
com fronteira bem regular de Rn . Entao existe C > 0 tal que
kvk2L2 () Ck 5 vk2L2 () , v H01 ()
Observa
c
ao 1.3 k 5 ()kL2 () define uma norma sobre H01 () que e equivalente a norma
k k2H 1 () .
0
Definic
ao 1.4 Uma func
ao u : [0, T ] R e dita absolutamente contnua quando
para cada > 0 existe > 0 tal que para toda colec
ao finita (s1 , t1 ), . . . , (sk , tk ) de subintervalos de [0, T ] dois a dois disjuntos satisfazendo
k
X
|tj sj | <
j=1
tem se, necessariamente,

k
X
|u(tj ) u(sj )| < .
j=1
Teorema 1.5 (Lebesgue) Se v e uma funcao absolutamente contnua em [0, T ], entao

Z
v(t) = v(0) +
v 0 (s)ds
Lema 1.6 (Desigualdade de Gronwall) Sejam L (0, T ) e L1 (0, T ) onde

> 0, 0 e C 0 uma constante. Se
Z
(t) C +
(s)(s)ds, t [0, T ].
0
Entao,
(t) Ce
Demonstrac
ao:
Rt
0
(s)ds
, t (0, T ).

Defina (t) = C +
18
Rt
0
(s)(s)ds. Note que L1 (0, T ) e portanto e abso-
lutamente contnua, da, 0 (t) = (t)(t) (t)(t) 0 (t) (t)(t) 0. MutliRt
plicando essa u
ltima desigualdade pelo fator integrante e 0 (s)ds e simplificando temos
h
i
R
d
0t (s)ds
que dt (t)e
0. Integrando de 0 a t como e absolutamente contnua, pelo
Teorema 1.5 temos
(t)e
Rt
0
(s)ds
(0),
dai,
(t) Ce
Rt
0
(s)ds
logo,
(t) (t) Ce
Rt
0
(s)ds
Teorema 1.7 (Bochner) Sejam E e F espacos de Banach.
Se T L(E, F ) e
f : E e Bochner integr
avel, entao T f : F e Bochner integr
avel e
Z
f (x)dx
Z
=
T f (x)dx.
Proposic
ao 1.8 Sejam E um espaco de Banach e u, g L1 (0, T ; E). Entao sao equivalentes:
(i) u e igual quase sempre a uma primitiva de g, isto e,
Z
u(t) = +
g(s)ds, q.s em [0, T ],

0
onde E.
(ii) Para cada D(0, T )
Z
u(t) (t)dt =
0
g(t)(t)dt.
0
19
(iii) Para cada E 0

d
hu(t), i = hg(t), i,
dt
no sentido das distribuic
oes.
Demonstrac
ao:
(i)(ii)
Seja D(0, T ), assim de (i)
RT
0
Defina f (t) =
i
RT h
Rt
+
g(s)ds
0 (t)dt
0
0
RT
RT Rt
= 0 0 (t)dt + 0 0 g(s)ds0 (t)dt
RT Rt
= (T ) (0) + 0 0 g(s)ds0 (t)dt
RT Rt
= 0 0 g(s)ds0 (t)dt.
u(t)0 (t)dt =
Rt
g(s)ds(t) e note que f e absolutamente contnua, da,

Rt
f (T ) f (0) = 0. Por outro lado, dtd f (t) = g(t)(t) + 0 g(s)ds0 (t), da,
0
0=
da,
RT
d
f (t)dt
0 dt
RT
0
g(t)(t)dt +
RT Rt
Portanto,
d
f (t)dt
0 dt
g(s)ds0 (t)dt,
g(s)ds (t)dt =
0
RT
g(t)(t)dt.
0
u(t) (t)dt =
0
g(t)(t)dt.
0
(ii)(iii)
RT
Dado E 0 defina f (t) = hu(t), i, entao f L1 (0, T ) pois 0 |f (t)|dt
RT
RT
|u(t)|E ||E 0 dt = ||E 0 0 |u(t)|E dt < , ja que u L1 (0, T ; E). Assim, f define uma
0
distribuicao dada por
Z
hf, i =
f (t)(t)dt, D(0, T ).
0
Entao,
d
hf, i
dt
=
=
=
=
RT
f (t)0 (t)dt
0
RT
0 hu(t), i0 (t)dt
RT
0 hu(t)0 (t), idt
RT
h 0 u(t)0 (t), dti
RT
h 0 g(t)(t), dti
RT
hg(t), i(t)dt
0
=
=
20
= hhg(t), i, i.
Com isso, dtd hu(t), i = hg(t), i em D0 (0, T ).
(ii)(i)
Facamos v(t) = u(t)
Rt
0
g(s)ds. Sabemos que
RT Rt
0
g(s)ds0 (t)dt =
RT
0
g(s)(s)ds,
D(0, T ), da,
Z
Z
v(t) (t)dt =
RT
0
Rt
0
u(t) (t)dt +
0
g(t)(t)dt = 0, D(0, T ).
0
Vejamos que v(t) = q.s em [0, T ]. Com efeito, tome algum 0 D(0, T ) tal que
RT
0 (t)dt = 1, assim dado D(0, T ) seja = 0 (t)dt. Defina (t) =
((s) 0 (s)) ds, assim 0 (t) = (t) 0 (t).
Como , 0 D(0, T ) entao supp , supp 0 (0, T ), assim, existe > 0 tal que
= 0 = 0 em (0, )(T , T ) e 0 em (0, )(T , T ). Com isso, supp [, T ]

e entao supp e compacto, e assim D(0, T ). Da,
Z
0=
v(t) (t)dt =
0
Tome =
RT
0
v(t)(t)dt
0
v(t)0 (t)dt.
0
v(t)0 (t)dt e assim,

Z
v(t)(t)dt = 0
0
v(t)(t)dt
0
(t)dt = 0
0
(v(t) )(t)dt = 0.
0
21
Como foi tomado arbitrario, temos, pelo Lema de Du Bois Raymond caso vetorial
v(t) = q.s em [0, T ].
Definic
ao 1.9 Sejam (V, k kV ) e (H, k kH ) espacos de Hilbert tais que V H. Dizemos
que I : V H , injec
ao can
onica de V em H, e o operador imers
ao. Dizemos
v 7 v
que V esta imerso em H quando I e contnua e denotaremos por V , H. A imersao
e compacta quando a imagem de conjuntos limitados de V por I sao conjuntos relativamente compactos de H, ou seja, conjuntos cujo fecho e compacto em H e denotaremos
c
por V , H.
Proposic
ao 1.10 Sejam V H dois espacos de Hilbert reais sendo a imersao de V em
H contnua. Se v Lp (0, T ; V ) tal que
d
v
dt
v(t) = v(0) +
0
Lp (0, T ; H) ent
ao, v C 0 ([0, T ]; H) e
d
v(s)ds, t [0, T ].
ds
Demonstrac
ao: De fato, como v Lp (0, T ; V ) , Lp (0, T ; H) e
d
v
dt
Lp (0, T ; H),
definem distribuicoes que satisfazem

d
d
hv(t), i = h v(t), i, H 0 ,
dt
dt
ou seja, satisfaz o item (iii) da proposicao anterior. Assim, do item (i) temos que
Z
v(t) = +
0
onde podemos tomar v(0) = .

Como
d
v
dt
C 0 ([0, T ]; H).
Lp (0, T ; H) entao
Rt
d
v(s)ds q.s em [0, T ],
dt
d
v(s)ds
0 dt
e absolutamente contnua e portanto v
22
Proposic
ao 1.11 Seja I um intervalo da reta. Entao
W 1,p , L (I), 1 p ,
ou seja, exite C > 0 (dependendo de somente de I) tal que kukL (I) CkukW 1,p (I) ,
u W 1,p (I). Alem disso, se I tem comprimento 1 ent
ao C = 1.
Demonstrac
ao: Ver Teorema VIII.7 de [2]
Teorema 1.12 (Rellich-Kondrachov) Seja um subconjunto aberto limitado do Rn ,
de classe C 1 e 1 p . Entao
c
(i) se p < n entao W 1,p () , Lq (), q [1, p ) donde
1
p
1
p
n1 ;
(ii) se p = n entao W 1,p () , Lq (), q [1, +);

c
(iii) se p > n entao W 1,p () , C().

c
Corol
ario 1.13 Seja um aberto limitado de Rn . Entao H02 () , H01 () .
Demonstrac
ao: Ver Corolario 10 de [10].
Definic
ao 1.14 Seja E um espaco de Banach. Dada uma func
ao f E 0 defina f :
E R tal que f (x) = f (x). A topologia fraca (E, E 0 ) sobre E e a topologia menos
fina sobre E que torna contnua todas as aplicac
oes f . Se (xn )nN e uma seq
uencia de
E a qual converge para a x em E na topologia fraca (E, E 0 ), denotaremos
xn * x em E.
Proposic
ao 1.15 Seja (xn )nN uma seq
uencia em E. Entao verifica-se
(i) xn * x em E se, e somente se, hf, xn i hf, xi f E 0 ;
(ii) Se xn x em E, entao xn * x;
(iii) Se xn * x em E, entao kxn kE e limitada e kxkE lim inf kxn kE ;
23
(iv) Se xn * x em E e fn f em E 0 , entao hfn , xn i hf, xi.

Definic
ao 1.16 Seja E um espaco de Banach. Dado x E considere a funcao x :
E 0 R tal que x (f ) = f (x). A topologia fraca estrela (E 0 , E) sobre E 0 e a
topologia menos fina sobre E 0 que torna contnua todas as aplicac
oes x . Se (fn )nN e uma
seq
uencia de E 0 que converge para f E 0 na topologia fraca estrela (E 0 , E) denotaremos
fn * f em E 0 .
Proposic
ao 1.17 Seja (fn )nN uma seq
uencia em E 0 . Entao verifica-se
(i) fn * f em E 0 se, e somente se, hfn , xi hf, xi x E;

(ii) Se fn f em E 0 , entao fn * f na topologia (E 0 , E 00 );
(iii) Se fn * f em (E 0 , E 00 ), entao fn * f em E 0 ;
(iv) Se fn * f em E 0 , entao kfn kE 0 e limitada e kf kE 0 lim inf kfn kE 0 ;
(v) Se fn * f em E 0 e xn x em E, entao hfn , xn i hf, xi.

Teorema 1.18 (Banach-Alaoglu-Bourbaki) O conjunto BE 0 = {f E 0 ; |f |E 0 1} e
compacto para a topologia fraca estrela (E 0 , E).
Demonstrac
ao: Ver Teorema III.15 de [2].
Proposic
ao 1.19 Seja E um espaco de Banach separ
avel. Entao BE 0 e metrizavel para
a topologia fraca estrela (E 0 , E), isto e, existe uma metrica definida sobre BE 0 tal que a
topologia associada coincide sobre BE 0 com (E 0 , E).
Demonstrac
ao: Ver Teorema III.25 de [2].
Proposic
ao 1.20 Seja E um espaco de Banach separ
avel. Dado uma seq
uencia (fn ) E 0
limitada, existe uma subseq
uencia (fnk ) (fn ) que converge na topologia fraca estrela
(E 0 , E).
24
Demonstrac
ao: De fato, como (fn )nN e limitada, entao exite M > 0 tal que fn M BE 0 .
Do Teorema de Banach-Alaoglu-Bourbaki 1.18 e da Proposicao 1.19 temos que M BE 0 e
metrizavel e compacta, assim (fn )nN e uma seq
uencia no espaco metrico compacto M BE 0 ,
portanto existe uma subseq
uencia (fnk ) convergente, como a metrica definida em M BE 0 e
equivalente à topologia (E 0 , E) temos que (fnk ) converge na topologia fraca estrela.
Proposic
ao 1.21 Seja (un )nN seq
uencia em Lp () tal que un u em Lp (). Entao
existe uma subseq
uencia (unk ) tal que
unk (x) u(x) para quase todo x .
Demonstrac
ao: Ver Teorema IV.9 de [2].
Proposic
ao 1.22 Seja H um espaco de Hilbert. Se 1 p < , entao podemos identificar
0
(Lp (0, T ; H))0 com Lp (0, T ; H 0 ), atraves da isometria
F : Lp (0, T ; H 0 ) (Lp (0, T ; H))0

u
dada por
hF (u), vi =
F (u)
hu(t), v(t)idt, v Lp (0, T ; H).
Demonstrac
ao: Ver Teoremas IV.10, IV.11 e IV.14 de [2]
Lema 1.23 (de Lions) Seja Q aberto de Rn R. Se (um )mN e uma seq
uencia em
Lp (Q), onde 1 < p < , tal que
(i) um u q.s em Q, u Lp (Q);
(ii) |um |Lp (Q) < ,
entao
um * u fraco em Lp (Q)
1.3. Base hilbertiana e Teoria Espectral
25
Demonstrac
ao: Ver Lema 1.3 do Captulo 1 de [7].
Teorema 1.24 (Teorema de Aubin-Lions) Sejam B0 , B, B1 espacos de Banach tais
que
(i) B0 , B , B1 , com B0 , B1 reflexivos;
(ii) B0 , B compacta.
Seja W = {v Lp0 (0, T ; B0 ); v 0 Lp1 (0, T ; B1 )} munido da norma |v|W = |v|Lp0 (0,T ;B0 ) +
|v 0 |Lp1 (0,T ;B1 ) , com 1 < p0 , p1 < . Entao a imersao W , Lp0 (0, T ; B) e compacta.
Demonstrac
ao: Ver Teorema 5.1 do Captulo 1 de [7].
1.3
Base hilbertiana e Teoria Espectral
Apresentaremos aqui um resultado, usando o Teorema de Lax-Milgram e o Teorema

Espectral, para obter uma base hilbertiana especial de um espaco de Hilbert. Para mais
detalhes veja Medeiros [9].
Definic
ao 1.25 Seja H um espaco de Hilbert, um operador T e dito autoadjunto quando
(T u, v) = (u, T v), u, v H.
Definic
ao 1.26 Uma base hilbertiana do espaco de Hilbert H e uma seq
uencia enumeravel (n )nN que satisfaz
(i) (i , j ) = ij para todo i, j N;
(ii) O conjunto de todas as combinac
oes lineares finitas de (n )nN e denso em H.
Teorema 1.27 (Espectral) Seja H um espaco de Hilbert separ
avel. Se T : H H e
um operador compacto e autoadjunto, entao existe uma base hilbertiana de H formada por
autovetores de T .
26
Demonstrac
ao: Ver Teorema VI.11 de Brezis [2].
Definic
ao 1.28 Sejam H um espaco de Hilbert e a : H H R uma forma bilinear.
(i) a e contnua se existe uma constante C > 0 tal que
|a(u, v)| Ckukkvk, u, v H.
(ii) a e coerciva se existe uma constante M > 0 tal que

a(u, u) M kuk2 , u H.
(iii) a e sim
etrica se
a(u, v) = a(v, u), u, v H.
Observa
c
ao 1.29 Uma forma bilinear a : H H R contnua, coerciva e simetrica
p
define um produto interno em H cuja norma kuk1 = a(u, u) e equivalente à norma de
H, pois
M kuk2 a(u, u) Ckuk2 .
Teorema 1.30 (Lax-Milgram) Seja a : H H R uma forma bilinear, contnua e
coerciva, entao para toda f H 0 existe um u
nico u H tla que
a(u, v) = f (v), v H.
Alem disso, se a e simetrica, entao u minimiza o funcional
1
J(v) = a(v, v) f (v), v H.
2
Demonstrac
ao: Ver Corolario V.8 Brezis [2].
c
Sejam V e H espacos de Hilbert, com H , V e H denso em V .

a : H H R uma forma bilinear, contnua, coerciva e simetrica.
Seja ainda
27
Dado v V temos que (v, )V H 0 , da, pelo Teorema 1.30 (Lax-Milgram) existe um
u
nico u H tal que
a(u, v) = (v, w)V , w H.
Com isso, defina a aplicacao G : V H da seguinte forma, dado v V temos que
Gv = u onde u e dado pelo Teorema de Lax-Milgram, assim
a(Gv, w) = (v, w)V , w H.
Note que G e linear e vejamos que satisfaz algumas propriedades.
(i) G e contnua.
De fato, dado v V , como a e coerciva e H , V temos que
M kGvk2H |a(Gv, Gv)| = |(v, Gv)V | kvkV kGvkV ckGvkH kvkV ,
da, kGvkH
c
kvkV ,
M
portanto G e contnua.
(ii) G : H H e compacto.
Com efeito, temos que G L(V, H) e a imersao I : H V e compacta, entao
G |H = G I : H H e compacta.
(iii) G : (H, a(, )) (H, a(, )) e autoadjunto, onde (H, a(, )) e o espaco de Hilbert
definido pelo produto interno dado pela forma bilinear a.
De fato, dados u, v H temos que
a(Gu, v) = (u, v)V = (v, u)V = a(Gv, u) = a(u, Gv).
Da Observacao 1.29 (H, a(, )) e um espaco de Hilbert cuja norma e equivalente à norma
definida pelo produto interno (, )H , assim, se H e separavel, entao (H, a(, )) e separavel e,
alem disso, G : (H, a(, )) (H, a(, )) e compacto e autoadjunto, entao, pelo Teorema
Espectral 1.27, existe uma base hilbertiana (vn )nN de autovetores de (H, a(, )), ou seja,
28
(i) a(vi , vj ) = ij para todo i, j N;

(ii) O conjunto de todas as combinacoes lineares finitas de (vn )nN e denso em H.
(iii) Gvn = n vn , n 6= 0, n N.
Defina wn =
1 vn ,
n
n N, assim temos que (wn )nN e uma base de H cujo conjunto
das combinacoes lineares finitas de (wn )nN e denso em H. Alem disso temos que
(i) (wn )nN e ortonormal em V .
De fato,
1
1
i
(wi , wj )V = (vi , wj )V = a(Gvi , wj ) = (vi , wj )V =
i
i
i
i
i
p a(vi , vj ) = p ij = ij
i j
i j
(ii) O conjunto das combinacoes lineares finitas de (wn )nN e denso em V .
Para provar isso usaremos o seguinte fato de analise funcional
Lema 1.31 Sejam E um espaco de Banach e F subespaco vetorial de E. Se {f
E 0 ; f (v) = 0, v F } = 0, entao F e denso em E.
Demonstrac
ao: Esta proposicao segue diretamente do Teorema de Hahn-Banach 2a
forma geometrica. Ver Corolario I.8 de Brezis [2].
P
Assim, voltando a demonstracao do item (ii), seja f V 0 tal que f ( kj=1 j wj ) = 0
para quaisquer k N e R, em particular, f (vj ) = 0, j N.
Dado v H, como o conjunto das combinacoes lineares finitas de (vn )nN e denso em
P
H, entao para todo > 0 existe v = kj=1 j vj tal que kv v kH , da,
|f (v)| |f (v v )| + |f (v )| kf kV 0 kv v kV kf kV 0 ckv v kH C1 .
Assim, f (v) = 0 e como v foi tomado arbitrario em H temos que f (v) = 0, v H. Do
mesmo modo, como H e denso em V temos que f (v) = 0, v V , entao f 0 e temos
o resultado.
1.4. Existencia de Solucoes para Equacoes Diferenciais Ordinarias
1.4
29
Exist
encia de Soluco
es para Equac
oes Diferenciais Ordin
arias
Seja um subconjunto aberto de Rn+1 cujos elementos sao denotados por (t, x), t R
e x Rn e seja f : Rn uma funcao. Considere o Problema de Cauchy
x0 (t) = f (t, x),

x(t ) = x .
0
0
(1.1)
Definic
ao 1.32 Uma solu
c
ao do Problema (1.1) e uma func
ao : I Rn absolutamente contnua que satisfaca
(i) (t, (t)) , t I;
(ii) 0 (t) = f (t, 0 (t)), q.s em I.
Definic
ao 1.33 Dizemos que uma func
ao f : Rn satisfaz as Condi
c
oes de
Carath
eodory sobre quando
(i) f (t, x) e mensuravel em t para cada x fixado;
(ii) f (t, x) e contnua em x para cada t fixado;
(iii) Para cada compacto K , existe uma func
ao real mK (t) integr
avel tal que
|f (t, x)|Rn mK (t), (t, x) K.
Teorema 1.34 (Teorema de Carath

eodory) Seja f : Rn satisfazendo as condic
oes de Caratheodory sobre . Entao existe uma soluc
ao x(t) do Problema de Cauchy
(1.1) sobre algum intervalo |t t0 | , com > 0.
Demonstrac
ao: Ver [3].
1.4. Existencia de Solucoes para Equacoes Diferenciais Ordinarias
30
Teorema 1.35 (Teorema de Prolongamento) Seja = [0, T ) B com T > 0 e B =

{x Rn ; |x| b}, b > 0 e seja f : Rn satisfazendo as duas primeiras condic
oes
de Caratheodory sobre . Suponhamos que x(t) e uma soluc
ao do Problema de Cauchy
(1.1) tal que |x0 | b e que em qualquer intervalo I, onde x(t) esta definida, se tenha
|x(t)| M , t I, onde M independe de I e M < b. Entao x possui um prolongamento
em [0, T ].
Demonstrac
ao: Ver [3].
Captulo 2
Problema Cilndrico
Neste Captulo, resolveremos o problema associado à Equacao de Boussinesq (2) em um
domnio cilndrico Q em R2 , onde = (0, 1) e Q = (0, ). Usaremos o metodo de
Faedo-Galerkin [9] que consiste em, para cada m N, resolver um problema em dimensao
finita m cuja solucao se aproxima da solucao desejada quando m . A partir de agora
denotaremos o produto interno e a norma de L2 () por (, ) e | | respectivamente.
Dados u0 , u1 : R considere o seguinte problema de valor inicial, dado pela
equacao (1) onde, por simpliciade, a = b = c = 1
tt
u(0, t) = u(1, t) = ux (0, t) = ux (1, t) = 0 para t 0;
u(x, 0) = u (x), u (x, 0) = u (x) em .

0
(2.1)
Definic
ao 2.1 Uma solu
c
ao fraca do Problema (2.1) e uma func
ao real u = u(x, t)
definida em Q tal que para todo T > 0 satisfaca
u L (0, T ; H02 ()) e ut L2 (0, T ; H01 ()) L (0, T ; L2 ()),
(2.2)
A identidade integral
RT R
0
ut (x, t)t (x, t)dxdt +

RT R
0
RT R
0
(u(x, t) + ut (x, t) + u2 (x, t))x x (x, t)dxdt+
uxx (x, t)xx (x, t)dxdt = 0

31
(2.3)
32
para todo L2 (0, T ; H02 ()) tal que t L2 (0, T ; L2 ()) e (0) = (T ) = 0.
E as condic
oes
u(x, 0) = u0 (x), ut (x, 0) = u1 (x).
(2.4)
Definic
ao 2.2 Dados u0 H02 () e u1 L2 () define-se
11
1
4
K0 = |u1 |2 + |u0x |2 + |u0xx |2
5
10
2
Teorema 2.3 Suponha que u0 H02 () e u1 L2 (). Se
6p
1
2K0 + 8K0 < ,
5
5
(2.5)
entao existe uma u

nica func
ao real u = u(x, t) definida em Q soluc
ao do Problema (2.1)
no sentido da Definic
ao 2.1.
Demonstrac
ao: Aplicaremos o metodo de Faedo-Galerkin. Sabemos que H 2 () e um
espaco de Hilbert com o seguinte produto interno
Z
(u, v)H 2 () =
u(x)v(x)dx +
u
v
(x) (x)dx +
x
x
2u
2v
(x)
(x)dx.
x2
x2
Como H02 () e o fecho de D() em H 2 () entao e tambem um espaco de Hilbert.

A aplicacao v H 2 () 7 (v, vx , vxx ) [L2 ()]3 e uma isometria sendo a norma em
[L2 ()]3 dada por |(v1 , v2 , v3 )|2[L2 ()]3 = |v1 |2 + |v2 |2 + |v3 |2 , v1 , v2 , v3 L2 (). Com isso,
como L2 () e separavel, temos que H 2 () e separavel e da, H02 () tambem e separavel.
c
Do Corolario 1.13 temos que H02 () , H01 () e como H01 () , L2 (), entao
c
H02 () , L2 (). Defina a : H02 () H02 () R como sendo a(u, v) = (uxx , vxx ),
assim, temos que a(, ) e uma forma bilinear contnua, coerciva e simetrica, entao, pelo
resultado apresentado na Secao 1.3, existe uma base (wn )nN de H02 () ortonormal em
L2 () tal que o conjunto das combinacoes lineares finitas de (wn )nN e denso em H02 () e
em L2 ().
2.1. Problema Aproximado
33
Defina Vm = [w1 , . . . , wm ] o subespaco vetorial de H02 () gerado por {w1 , . . . , wm },

assim
e denso em H02 () e em L2 ().
m=1 Vm
2.1
Problema Aproximado
Queremos encontrar um (x, t) =
Pm
j=1
gjm (t)j (x) em Vm solucao do problema
m
m
2
m
(um (t), j ) + (um

x (t), jx ) + (uxt (t), jx ) ([u (t) ]xx , j ) + (uxx (t), jxx ) = 0;
tt
2
um (x, 0) = um
0 (x) u0 (x) em H0 ();
um (x, 0) = um (x) u (x) em L2 (),

1
(2.6)
Com efeito, como u0 H02 () e u1 L2 (), pela densidade de

cos,
m=1 Vm nesses espa
Pm m
Pm m
m
m
2
m
existem um
0 =
j=1 j j e u1 =
j=1 j j tais que u0 u0 em H0 () e u1
u1 em L2 (). Assim, o Problema (2.6) e equivalente ao seguinte sistema de m equacoes,
m
m
m
X
X
X
m
m
m
[gkm (t)(kxx , jxx )]

[(gk (t) + gkt (t))(kx , jx )] +
[gktt (t)(k , j )] +
k=1
#
!#
" m k=1
k=1m "
X
X
glm (t)l kx , jx
= 0;
2gkm (t)
+
l=1
k=1
g m (0) = m e g m (0) = m , j {1, . . . , m}.

j
j
jt
j
Defina as seguintes matrizes,
W =
(1 , 1 )
..
...
.
(m , 1 )
(1 , m )
(1x , 1x ) (1x , mx )
..
..
..
...
, W1 =
.
.
.
(m , m )
(mx , 1x ) (mx , mx )
W2 =
(1xx , 1xx )
..
..
.
.
(mxx , 1xx )
g1m (t)
(1x , mxx )
..
.
, G(t) = ..
.
m
(t)
gm
(mxx , mxx )
..
,V = . ,
(2.7)
34
H(G(t)) =
(V G(t)1x , 1x )
..
...
.
(V G(t)1x , mx )
..
,
.
(V G(t)mx , mx )
(V G(t)mx , 1x )
1m
1m
.
..
X0 = . , X1 = ..
m
m
m
m
Com isso o sistema (2.7) na forma matricial e dado por
W G00 (t) + W1 [G(t) + G0 (t)] + W2 G(t) + 2H(G(t)) G(t) = 0;
G(0) = X0 ;
G0 (0) = X .
(2.8)
Observa
c
ao 2.4 Como (m )mN e ortonormal em L2 () temos que {1 , . . . , m } e l.i,
m N. Assim, vejamos que as colunas de W sao l.i.
De fato, sejam 1 , . . . , k R tais que
k=1
m
X
(1 , k )
..
= 0.
.
(m , k )
Assim, para cada i {1, . . . , m}, temos que

0=
m
X
k (i , k ) = (i ,
k=1
Denotando =
Pm
k=1
m
X
k k ).
k=1
k k temos que (i , ) = 0 i = 1, . . . , m, assim, somando esta
equacao com i variando de 1 ate m temos

0=
m
X
i=1
(i i , ) = (, ) = ||2 ,

da,
Pm
k=1
35
k k = = 0. Pela independencia linear dos k temos que k = 0, k =
1, . . . , m, portanto as colunas de W sao l.i como queramos mostrar.

Da observacao 2.4 temos que det W 6= 0 e conseq
uentemente W e invertvel, com isso
a equacao matricial do Problema (2.8) pode ser escrita como
G00 (t) = W 1 [W1 [G(t) + G0 (t)] + W2 G(t) + 2H(G(t)) G(t)].
(2.9)
Dessa forma, dado T > 0, defina F : [0, T ] R2m R2m por

F (t, X, Y ) = (Y, W 1 [W1 [X + Y ] + W2 X + 2H(X) X]).
(2.10)
Defina agora, Z(t) = (G(t), G0 (t)) e do sistema (2.8) temos o seguinte Problema de
Cauchy,
Z 0 (t) = F (t, Z(t)),

Z(0) = (X , X ).
0
(2.11)
o qual veremos que satisfaz as hipoteses do Teorema de Caratheodory (1.34).

De fato, observe que
(i) F e mensuravel em t para cada (X, Y ) fixo, pois independe de t;
(ii) F e contnua em (X,Y) pois as coordenadas sao produto e soma de funcoes contnuas;
(iii) Para cada compacto K R R2m , como F e contnua e independente de t, temos
que e limitada,
com isso F satisfaz as condicoes de Caratheodory sobre [0, T ] R2m , entao, pelo Teorema
de Caratheodory 1.34, existe : [0, tm ] R R2m solucao do Problema de Cauchy
uentemente existem as funcoes gjm , j = 1, . . . , m, sendo gjm
(2.11), com tm T . Conseq
m
absolutamente contnuas em [0, tm ] e portanto o sistema (2.6) possui solucao um em
e gjt
[0, tm ]. O prolongamento dessas solucoes ao intervalo [0, T ], bem como sua convergencia,
obteremos por meio das estimativas que faremos a seguir, mas antes faremos uma pequena
observacao.
2.2. Estimativas
36
Observa
c
ao 2.5
Defina
1
K (t) =
2
2
|um
t (t)|
6
8 m 2
m
m
2
+ (um
t (t), u (t)) + |ux (t)| + |uxx (t)|
5
5
4
11 m 2 1 m 2
2
K0m = |um
|u | + |u0xx |
1 | +
5
10 0x
2
(2.12)
(2.13)
2
m
2
e observe que do Problema (2.6), como um
ao
0 u0 em H0 () e u1 u1 em L () ent
m
m
m
|um
ao K0m
0x | |u0x |, |u0xx | |u0xx | e |u1 | |u1 | em R. Com isso, K0 K0 em R, ent
e limitado por uma constante K1 que depende somente de u0 e u1 . Tambem observe que
m
8 m
m
2
m
2
|ut (0)|2 + 65 (um
t (0), u (0)) + 5 |ux (0)| + |uxx (0)|
6 1 m 2
1 m 2
8 m 2
2
m 2
(
|u
|u
|u
|
+
|
+
|
)
+
|
+
|u
12 |um
|
1
0xx
5 2 1
2 0
5 0x
K m (0) =
1
2
4 m 2
|u |
5 1
3
|um |2
10 0
1 m 2
2
+ 45 |um
0x | + 2 |u0xx |
4 m 2
|u |
5 1
3
|um |2
10 0x
1 m 2
2
+ 45 |um
0x | + 2 |u0xx |
4 m 2
|u |
5 1
11 m 2
|u |
10 0x
2
+ 12 |um
0xx |
= K0m .
2.2
Estimativas
Comecemos multiplicando a equacao do Problema (2.6) por
d m
g (t)
dt j
e somando com
j = 1, . . . , m. Assim,
m
m
m
2
m
m
m
m
m
m
(um
tt (t), ut (t)) + (ux (t), utx (t)) + (uxt (t), utx (t)) ([u (t) ]xx , ut (t)) + (uxx (t), utxx (t)) = 0
Note que as derivadas em relacao a t sao derivadas no sentido usual, com isso temos
m
(um
tt (t), ut (t)) =
1d m 2
|u (t)| ;
2 dt t
m
(um
x (t), utx (t)) =
1d m 2
|u (t)| ;
2 dt x
2.2. Estimativas
37
m
(um
xx (t), utxx (t)) =
1d m
|uxx (t)|2 ;
2 dt
e portanto vale a igualdade
1d m 2
2
m
2
2
m
2
m
|ut (t)| + |um
+ |um
x (t)| + |uxx (t)|
tx | = ([u (t) ]xx , ut (t))
2 dt
(2.14)
Agora multiplicando a equacao do Problema (2.6) por gjm (t) e somando com j =
1, . . . , m temos
m
m
m
m
m
m
2
m
m
m
(um
tt (t), u (t)) + (ux (t), ux (t)) + (uxt (t), ux (t)) ([u (t) ]xx , u (t)) + (uxx (t), uxx (t)) = 0
Note que
m
(um
tt (t), u (t)) =
d m
m
(u (t), um (t)) (um
t (t), ut (t))
dt t
Com isso temos

d
dt
2
(ut (t), um (t)) + 21 |um
x (t)|
2
m
2
m
2
m
2
m
|um
t (t)| + |ux (t)| + |uxx (t)| = ([u (t) ]xx , u (t)).
(2.15)
Do segundo membro de (2.14) integrando por partes e observando que um (t) H02 ()
temos
([um (t)2 ]xx , um
t (t)) =
R1
[um (x, t)2 ]xx um

t (x, t)dx
1
R1
m
2
m
0 [um (x, t)2 ]x um
= [u (x, t) ]x ut (x, t)
tx (x, t)dx
x=0
{z
}
|
0
(2.16)
m
2
m
= ([um (t)2 ]x , um
tx (t)) |([u (t) ]x , utx (t))|
R1 m
m
m
m
= |(2um (t)um
x (t), utx (t))| 2 0 u (x, t)ux (x, t)utx (x, t)dx
m
2|um (t)|L (0,1) |um
x (t)utx (t)|L1 (0,1)
(2.17)
m
2|um (t)|L (0,1) |um
x (t)||utx (t)|
1 m
4
m
2 m
2
2|um
x (t)| |utx (t)| 4|ux (t)| + 4 |utx (t)|
onde a pen
ultima desigualdade e devida à desigualdade de Poincare-Friedricks e ao fato
2.2. Estimativas
38
de que H01 () , L (), da, |um (t)|L () |um (t)|H01 () |um

x |L2 () .
Analogamente, obtemos de (2.15) que
3
([um (t)2 ]xx , um (t)) 2|um
x (t)| .
(2.18)
De (2.16) e (2.18) em (2.14) e (2.15) respectivamente temos

3 m 2
1d m 2
2
2
m
4
+ |utx (t)| 4|um
|ut (t)| + |um
x (t)| + |uxx (t)|
x (t)|
2 dt
4
d
dt
1 m 2
m
m
2
m
2
m
2
m
3
(ut (t), u (t)) + |ux (t)| |um
t (t)| + |ux (t)| + |uxx (t)| 2|ux (t)|
2
Multiplicando (2.20) por
3
5
(2.19)
(2.20)
e somando a (2.19) e utilizando a desigualdade de Poicare-
2
m
2
Friedricks (|um
tx (t)| |ut (t)| ) temos
1 d
2 dt
6
5
8 m
m
2
m
2
m
2
(um
t (t), u (t)) + 5 |ux (t)| + |ut (t)| + |uxx (t)|
(2.21)
3 m
3 m
3
2
2
2
|um
+ 20
tx (t)| + 5 |uxx (t)| + 5 |ux (t)|
m
2
2 3 m
|u
(t)|
+
2|u
2|um
(t)|
(t)|
.
x
x
5 x
Assim, substituindo (2.12) em (2.21) temos
d m
3 m 2 3 m
3 m 2
2
m
2 3 m
m
2
K (t) + |utx (t)| + |uxx (t)| + |ux (t)| 2|ux (t)|
|u (t)| + 2|ux (t)| . (2.22)
dt
20
5
5
5 x
Queremos K m (t) 0. Para isso, utilizando a desigualdade de Poincare-Friedricks,
observe que
3
3 m 2
6 m
2
(ut (t), um (t)) |um
t (t)| |ux (t)| .
5
5
5
Da,
1
K (t)
2
m
2 m 2
2
2
m
|u (t)| + |um
x (t)| + |uxx (t)|
5 t
(2.23)
0.
(2.24)
2.2. Estimativas
39
Agora, definindo
(t) = 2
3 m
m
2
|u (t)| + 2|ux (t)| ,
5 x
(2.25)
e substituindo em (2.21) obtemos

d
K m (t)
dt
3
|um (t)|2
10 x
2
+ |um
x (t)|
3
10
m (t) +
3
|um (t)|2
20 tx
2
+ 35 |um
xx (t)| 0.
(2.26)
De (2.24) temos que

|um
x (t)|
2K m (t)
2
m
|um
x (t)| 2K (t).
(2.27)
Entao, de (2.25) e (2.27) obtemos
(t) 2
3p m
6p m
m
2K (t) + 4K (t) =
2K (t) + 8K m (t), t [0, tm ).
5
5
(2.28)
Vamos mostrar que K m (t) e limitado, para isso admita, a princpio, a seguinte afirmacao
Afirmac
ao 2.6 m (t)
3
, t [0, tm ).
10
2
Sendo assim, podemos eliminar a parcela |um
x (t)|
3
10
m (t) de (2.26) que ainda vale
a desigualdade, ou seja,
d
K m (t)
dt
3
|um (t)|2
10 x
3
|um (t)|2
20 tx
2
+ 35 |um
xx (t)| 0.
(2.29)
Integrando esta igualdade de 0 a t em [0, tm ) vemos que

K m (t) +
3
10
Rt
0
2
|um
x (t)| ds +
3
20
Rt
0
2
|um
sx (t)| ds +
3
5
Rt
0
2
m
|um
xx (t)| ds K (0).
(2.30)
Dessa forma, da Observacao 2.5 temos que

K m (t) K1 ,
para todo t 0 onde K m (t) esta definida.
(2.31)
2.2. Estimativas
40
Com isso, de (2.24) e de (2.31) temos que

2
m
2
m
2
|um
t (t)| + |ux (t)| + |uxx (t)| K2 ,
(2.32)
onde K2 tambem e uma constante que so depende de u0 e u1 . Pela desigualdade de

Poincare-Friedricks temos que
2
m
2
|um (t)|2H 2 () = |um (t)|2 + |um
x (t)| + |uxx (t)|
0
|um
(t)|2 + |um (t)|2 + |um
(t)|2
| x{z } | x
{z xx }
K2
(2.33)
K2
2K2 .
Assim, obtivemos a primeira limitacao. A segunda limitacao segue imediato de (2.32)
como sendo
2
|um
t (t)| K2 .
(2.34)
Dessas duas limitacoes, podemos aplicar o Teorema do Prolongamento 1.35 e estender

as solucoes do Problema Aproximado (2.6) ao intervalo [0, T ]. De fato, como vimos, pelo
Teorema de Caratheodory, existe uma funcao : [0, tm ) R2m solucao do Problema de
Cauchy (2.11), assim temos que (t) = (G(t), G0 (t)). Para aplica o Teorema do Prolongamento 1.35 basta mostrar que |(t)| M, t onde esta definida, assim, basta mostra
P
Pm
m
2
0
2
m
2
que |G(t)|2 = m
ao limitadas.
j=1 |gj (t)| e |G (t)| =
j=1 |gjt (t)| s
Note que, como (m )mN e ortonormal em L2 (),
|um (t)|2 =
=
=
Pm
m
m
j,k=1 (gj (t)j , gk (t)k )
Pm
2
2
m
j=1 [gj (t)] |j |
Pm
2
m
j=1 [gj (t)]
= |G(t)|2 ,
assim, da limitacao (2.32) e da desigualdade de Poincare-Friedricks, temos que
2
|G(t)|2 = |um (t)|2 |um
x (t)| K2
2.2. Estimativas
41
.
Do mesmo modo,
Pm
2
|um
=
t (t)|
m
m
j,k=1 (gjt (t)j , gkt (t)k )
Pm
m
2
2
j=1 [gjt (t)] |j |
Pm
m
2
j=1 [gjt (t)]
= |G0 (t)|2 ,
assim, da limitacao (2.34), temos que
2
|G0 (t)|2 = |um
t (t)| K2 .
Agora, estendida as solucoes ao intervalo [0, T ], de (2.33), podemos tomar o supremo

essencial e temos que
|um |2L (0,T ;H 2 ()) K2
(2.35)
Ainda, de (2.30) temos que
T
0
2
|um
xs (t)| ds K2 ,
(2.36)
assim, de (2.34) e de (2.36) obtemos a seguinte limitacao

2
|um
t |L2 (0,T ;H 1 ()) =
0
RT
0
2
|um
t (t)| dt +
RT
0
2
|um
xt (t)| dt
(2.37)
K2 T + K2
Portanto, de (2.35), (2.37) e (2.34)temos que
(um ) e limitada em L (0, T ; H02 ()),
(2.38)
(um
e limitada em L2 (0, T ; H01 ()) L (0, T ; L2 ()).
t )
(2.39)
Finalmente, provemos a Afirmacao 2.6.

Demonstrac
ao:
Com efeito, suponha por absurdo que exista t1 [0, tm ) onde m (t1 ) >
3
.
10
Da Ob-
2.2. Estimativas
42
R
servacao 2.5, como K0m K0 , dado > 0 existe m0 > 0 tal que |K0m K0 | < , m > m0 .
Assim, 0 K0m < K0 + , m > m0 .
Note que,
lim
6p
2(K0 + ) + 8(K0 + )
5
6p
1
2K0 + 8K0 ) < ,
5
5
sendo a u
ltima desigualdade devido a hipotese (2.5) do Teorema 2.3. Com isso, podemos
tomar tao pequeno de modo que
0
6p
1
6p m
2K0 + 8K0m <
2(K0 + ) + 8(K0 + ) < , m > m0 .
5
5
5
Assim, de (2.28) e da Observacao 2.5 temos que

m (0)
6p m
1
3
2K0 + 8K0m < < .
5
5
10
Como m e contnua, pelo Teorema do Valor Intermediario, existe t2 [0, tm ) tal que
m (t2 ) =
3
,
10
3
assim o conjunto ( m )1 ({ 10
}) nao e vazio, alem de fechado e limitado pois
3
}) = {t > 0; m (t) =
m e contnua. Sendo assim, existe t = min( m )1 ({ 10
temos que
m (t) < 3 , se 0 t < t ;

10
m (t ) = 3 .
3
}
10
e entao
(2.40)
10
De (2.40) e de (2.30) temos que K m (t ) K m (0). Assim de (2.28) e da Observacao 2.5

temos que
m (t )
6
5
<
6
5
<
6
5
<
1
5
p
p
p
2K m (t ) + 8K m (t )
2K m (0) + 8K m (0)
2K0m + 8K0m
3
,
10
o que contradiz (2.40) e conseq

uentemente temos o resultado.
2.3. Passagem ao Limite
2.3
43
Passagem ao Limite
Sabemos, da Proposicao 1.22, que L (0, T ; H02 ()) e o dual do espaco L1 (0, T ; H 2 ()),
onde se u L (0, T ; H02 ()) entao
Z
hu, vi =
hv(t), u(t)idt, v L1 (0, T ; H 2 ()).
uencia (um ) L (0, T ; H02 ()) e limitada, da, da ProSabemos, de (2.38), que a seq
posicao 1.20, existe uma subseq
uencia, que denotaremos da mesma forma, tal que
um * u em L (0, T ; H02 ()),
(2.41)
ou seja,
hum , vi hu, vi, v L1 (0, T ; H 2 ()),
portanto,
Z
hv(t), u (t)idt
0
hv(t), u(t)idt, v L1 (0, T ; H 2 ()).
(2.42)
Em particular, como H02 () , H 2 () temos que

Z
T
0
(u (t), v(t))H02 () dt
(u(t), v(t))H02 () dt, v L1 (0, T ; H02 ()).
(2.43)
Analogamente, como L2 (0, T ; H01 ()) e o dual de L2 (0, T ; H 1 ()) e de (2.39) temos
que existe uma subseq
uencia de (um
t ), denotada da mesma forma, tal que
um
e em L2 (0, T ; H01 ()).
t * u
Afirmac
ao 2.7 u
e = ut .
Demonstrac
ao: De fato, sabemos que L (0, T ; H02 ()) , L2 (0, T ; L2 ()) L2 (Q),
com isso, de (2.41) temos que um * u em L2 (Q), ou seja, (um , v)L2 (Q) (u, v)L2 (Q) ,
44
v L2 (Q), portanto
Z
Z
m
u(x, t)v(x, t)dxdt v L2 (Q).
u (x, t)v(x, t)dxdt

Q
(2.44)
Sabemos que L2 (Q) D0 (Q), ou seja, dado v L2 (Q) podemos definir uma distriR
buicao Tv da seguinte forma, hTv , i = Q v(x, t)(x, t)dxdt, D(Q). Assim, de
R
R
(2.44), hTum , i = Q um (x, t)(x, t)dxdt Q u(x, t)(x, t)dxdt hTu , i D(Q),
entao Tum Tu , como a derivacao e contnua em D0 (Q) temos que
modo analogo,
d
T m
dt u
d
T m
dt u
d
T .
dt u
De
Tue, entao, pela unicidade do limite, Tue = Tut , logo u

e = ut .
Com isso temos que
2
1
um
t * ut em L (0, T ; H0 ()),
(2.45)
ou seja,
2
1
hum
()),
t , vi hut , vi, v L (0, T ; H
portanto,
Z
T
0
Z
hv(t), um
t (t)idt
hv(t), ut (t)idt, v L2 (0, T ; H 1 ()).
(2.46)
Em particular, como H01 () , H 1 () temos que

Z
T
0
Z
(um
t (t), v(t))H01 () dt
Afirmac
ao 2.8
RT
0
(ut (t), v(t))H01 () dt, v L2 (0, T ; H01 ()).
(um
tx (t), vx (t))dt
RT
0
(utx (t), vx (t))dt, v L2 (0, T ; H01 ()).
Demonstrac
ao: Dado v L2 (0, T ; H01 ()) defina z(t) : H01 () R como
hz(t), wi = (wx , vx (t)), w H01 (). Claro que z(t) e linear e note que
(2.47)
45
|hz(t), wi|R
|(wx , vx (t))|
=
|w|H 1 ()
|w|H 1 ()
0
|wx ||vx (t)|

|w|H 1 ()
0
|w|H 1 () |v(t)|H 1 ()
0
|w|H 1 ()
0
= |v(t)|H 1 () L2 (0, T ).
0
Da, |z(t)|H 1 () |v(t)|H 1 () e portanto z L2 (0, T ; H 1 ()). Com isso, de (2.46) temos
0
que
T
0
Z
hz(t), um
t (t)idt
hz(t), ut (t)idt,
0
da, como v e arbitrario,

Z
T
0
Z
(um
tx (t), vx (t))dt
(utx , vx (t))dt, v L2 (0, T ; H01 ())
Afirmac
ao 2.9
RT m
RT m
RT
RT
(u
(t),
v
(t))dt
+
(u
(t),
v
(t))dt
(u
(t),
v
(t))dt
+
(uxx (t), vxx (t))dt,
x
xx
x
x
x
xx
0
0
0
0
v L2 (0, T ; H01 ()).
Demonstrac
ao: Procedendo de forma analoga à Afirmacao 2.8, dado v L1 (0, T ; H02 ())
defina z(t) : H02 () R como hz(t), wi = (wx , vx (t)) + (wxx , vxx (t)), w H02 ().
Claro que z(t) e linear e note que
46
|hz(t), wi|R
|(wx , vx (t)) + (wxx , vxx (t))|
=
|w|H02 ()
|w|H02 ()
|(w, v(t))|H02 ()
|w|H02 ()
|w|H02 () |v(t)|H02 ()
|w|H02 ()
= |v(t)|H02 () L1 (0, T ).
Da, |z(t)|H 2 () |v(t)|H 2 () e portanto z L1 (0, T ; H 2 ()). Com isso, de (2.42) temos
0
que
hz(t), u (t)idt
0
hz(t), u(t)idt,
0
da, como v e arbitrario,

Z
T
0
Z
(um
x (t), vx (t))
(um
xx (t), vxx (t))dt
(ux , vx (t)) + (uxx (t), vxx (t))dt,

0
v L1 (0, T ; H01 ())
Afirmac
ao 2.10
RT
0
([um (t)2 ]xx , v(t))dt
RT
0
([u(t)2 ]xx , v(t))dt, v L2 (0, T ; H01 ()).
2
Demonstrac
ao: De fato, basta mostrar que 2um um
x * 2uux fraco em L (Q), pois, isto
significa que,
2
(2um um
x , v)L2 (Q) (2uux , v)L2 (Q) , v L (Q).
E, como L2 (Q) L2 (0, T ; L2 ()), temos que

Z
(2u
(t)um
x (t), v(t))dt
(2u(t)ux (t), v(t))dt, v L2 (0, T ; L2 ()).
Em particular, se v L2 (0, T ; H01 ()) entao vx L2 (0, T ; L2 ()), da,

Z
(2u
0
(t)um
x (t), vx (t))dt
(2u(t)ux (t), vx (t))dt, v L2 (0, T ; H01 ()),
47
que e equivalente ao que queremos.

Assim, sabemos que u L (0, T ; H02 ()) , L2 (0, T ; H02 ()) e ut L2 (0, T ; H01 ),
entao, do Teorema 1.24 (Aubin-Lions), tomando B = H01 (), B0 = H02 (), B1 = L2 (),
p0 = p1 = 2 temos que a imersao W , L2 (0, T ; H01 ()) e compacta. Como um e limitada
em L (0, T ; H02 ()) e um e limitada em L2 (0, T ; H01 ()) , entao um e limitada em W , logo
podemos tomar uma subseq
uencia, denotada da mesma forma, tal que
um u forte em L2 (0, T ; H01 ()).
Conseq
uentemente,
um u forte em L2 (0, T ; L2 ()),
2
2
um
x ux forte em L (0, T ; L ()).
(2.48)
Aplicando a Proposicao 1.21 em (2.48) temos que

um u q.s em Q,
um
x ux q.s em Q,
entao
2um um
x 2uux q.s em Q.
Agora, basta mostrar que |2um um
x |L2 (Q) < . Com efeito,
RT
0
2
|2um (t)um
x (t)| dt = 2
RT R
0
RT
2 0
RT
2 0
2
|um (x, t)|2R |um
x (x, t)|R dt
2
|um (t)|2L () |um
x (t)| dt
2
|um (t)|2H 1 () |um
x (t)| dt
RT
2
2 m
C1 0 |um
x (t)| |ux (t)| dt
RT
4
C1 0 |um
x (t)| dt
4
C1 T |um
x |L (0,T ;L2 ()) < .
Logo, como |2um um

cao 1.23, temos que
x |L2 (Q) < e de (2.49), pela Proposi
2
2um um
x * 2uux fraco em L (Q),
(2.49)
48
como queramos.
Vejamos que com isso u satisfaz a equacao integral (2.3) do Problema Cilndrico. De
Pm m
m
fato, dado v Vm temos que existem m
1 , . . . , m em R tais que v =
j=1 j j . Multiplicando a equacao (2.6)1 por j e somando com j variando de 1 ate m temos a seguinte
equacao
m
m
m
2
m
(um
tt (t), v) + (ux (t), vx ) + (uxt (t), vx ) ([u (t) ]xx , v) + (uxx (t), vxx ) = 0.
Multiplicando essa equacao por L2 (0, T ) tal que t L2 (0, T ) e (0) = (T ) = 0 e

integrando de 0 a T obtemos
RT
0
RT m
RT m
(um
tt (t), v)(t)dt + 0 (ux (t), vx )(t)dt + 0 (uxt (t), vx )(t)dt
RT
RT
0 ([um (t)2 ]xx , v)(t)dt + 0 (um
xx (t), vxx )(t)dt = 0.
Integrando por partes temos
RT
0
RT m
RT m
0
(um
t (t), v) (t)dt + 0 (ux (t), vx )(t)dt + 0 (uxt (t), vx )(t)dt
RT
RT
0 ([um (t)2 ]xx , v)(t)dt + 0 (um
xx (t), vxx )(t)dt = 0.
(2.50)
Como v Vm entao v L2 (0, T ; H02 ()) e vt L2 (0, T ; H01 ()). Com isso, de (2.47) e
das Afirmacoes 2.8, 2.9 e 2.10 podemos passar o limite e obter
RT
0
RT
RT
(ut (t), v)0 (t)dt + 0 (ux (t), vx )(t)dt + 0 (uxt (t), vx )(t)dt
RT
RT
0 ([u(t)2 ]xx , v)(t)dt + 0 (uxx (t), vxx )(t)dt = 0,
(2.51)
v Vm ja que v foi tomado arbitrario.

A equacao (2.51) e valida para todo v H02 (). De fato, dado v H02 (), como o
uencia (vm ), com vm Vm tal que
e denso em H02 (), existe uma seq
conjunto
m=1 Vm
2.4. Condicoes Iniciais
49
|vm v|H02 () 0. Com isso podemos notar que

Z T
Z T
Z T
0
0
0
(ut (t), vm ) (t)dt

(ut (t), v) (t)dt =
(ut (t), vm v) (t)dt
0Z
0
0
T
0
|ut (t)||vm v|| (t)|dt

0
i1/2
hR
i1/2 hR
T
T
0
2
|
(t)|
dt
|vm v| 0 |ut (t)|2 dt
R
0
|vm v|kut kL2 (0,T ;L2 ()) k0 kL2 (0,T ;R) 0.
De modo analogo temos o mesmo para as outras parcelas lineares. Para a parcela nao
linear observe que |ux (t)|L2 () , |u(t)|L2 () |u(t)|H02 () L (0, T ) L2 (0, T ), da, pela
desigualdade de Holder, |u(t)ux (t)|L1 () |u(t)||ux (t)| |u(t)|2H 2 () , entao
0
Z T
Z T
Z T
(2u(t)u
(t),
v
)(t)dt
2|u(t)ux (t)||vmx vx ||(t)|dt
(2u(t)u
(t),
v
)(t)dt
x
x
x
mx
0
0
0
RT
2|vmx vx | 0 |u(t)ux (t)||(t)|R dt
RT
2|vmx vx | 0 C1 |ux (t)|2 |(t)|R dt
2|vmx vx |C1 |ux (t)|2L (0,T ) |ux |L2 (0,T ;L2 ()) ||L2 (0,T ;L2 ()) 0.
Para mostrar que a igualdade integral (2.3) e valida basta notar que o conjunto das
combinacoes lineares de funcoes da forma v(x)(t) com v H02 () e L2 (0, T ) tal que
t L2 (0, T ) e (0) = (T ) = 0 e denso no conjunto das funcoes L2 (0, T ; H02 ()) tais
que t L2 (0, T ; L2 ()).
Agora vejamos que u satisfaz as condicoes iniciais (2.4) do Problema Cilndrico .
2.4
Condico
es Iniciais
Para verificar as condicoes iniciais provemos algumas afirmacoes.

Afirmac
ao 2.11 utt L2 (0, T ; H 2 ()).
50
Demonstrac
ao: Como ut L2 (0, T ; H01 ()) entao podemos definir uma distribuicao da
seguinte forma. Dado D(0, T )
Z
he
ut , i =
0
ut (t)(t)dt H01 ().
Essa distribuicao e derivavel e temos que a derivada e dada por

Z
he
utt , i = he
ut , i =
ut (t)0 (t)dt.
Da, podemos definir a aplicacao u

ett : D(0, T ) H 2 () como sendo
Z
hhe
utt , i, vi = (he
utt , i, v) =
0
(ut (t), v)0 (t)dt, v H02 (),
(2.52)
onde a u
ltima igualdade e devido ao Teorema 1.7.
Assim, como u L (0, T ; H02 ()) , L2 (0, T ; H02 ()) entao uxx L2 (0, T ; L2 ()),
da, da mesma forma, podemos definir a aplicacao uxx : D(0, T ) H 2 () como sendo
Z
hhuxx , i, vi =
0
(uxx (t), v)(t)dt, v H02 ().
Note que
|uxx (t)|H 2 ()
(2.53)
|(uxx (t), v)|R

|v|H02 ()
|uxx (t)||v|
|v|H02 ()
|uxx (t)| L2 (0, T ),

da, uxx L2 (0, T ; H 2 ()).
Agora, veja que como (uxx (t), ) pertence a H 2 () entao define uma distribuicao
sobre D(), que e derivavel, entao temos que
huxxxx (t), i = (uxx (t), xx ), D().
51
Pela densidade de D() em H02 () e a continuidade do operador derivacao sobre D0 ()

temos que
huxxxx (t), vi = (uxx (t), vxx ), v H02 ().
Assim, podemos definir uma aplicacao uxxxx : D(0, T ) H 2 () da seguinte maneira
Z
hhuxxxx , i, vi =
0
(uxx (t), vxx )(t)dt, v H02 ().
(2.54)
E observe que
|uxxxx (t)|H 2 ()
|(uxx (t), vxx )|R

|uxx (t)| L2 (0, T ),
|v|H02 ()
da, uxxxx L2 (0, T ; H 2 ()).

Do mesmo modo, como ut L2 (0, T ; H01 ()) entao utxx L2 (0, T ; H 2 ()) e
Z
hhutxx , i, vi =
0
(utx (t), vx )(t)dt, v H02 ().
(2.55)
Agora, vejamos que [u2 ]xx L2 (0, T ; H 2 ()). De fato, temos que
[u2 ]xx = 2u2x + 2uuxx .
Sabemos que
ux L (0, T ; H01 ()) , L (0, T ; L ()),
neste caso, observe que
|u2x (x, t)|R |ux (x, t)|2R |ux (t)|2L () q.s em ,
entao
|u2x (t)|L () |ux (t)|2L () L (0, T )
(2.56)
52
e portanto
u2x L (0, T ; L ()) , L2 (0, T ; L2 ()) , L2 (0, T ; H 2 ()).
(2.57)
Tambem temos que

uxx L (0, T ; L2 ())
entao, do mesmo modo,
uuxx L (0, T ; L2 ()) , L2 (0, T ; L2 ()) , L2 (0, T ; H 2 ()).
(2.58)
Neste caso, de (2.56), (2.57) e (2.58) temos que

[u2 ]xx L2 (0, T ; H 2 ()).
(2.59)
Da, podemos definir uma aplicacao [u2 ]xx : D(0, T ) H 2 () da seguinte forma
Z
hh[u ]xx , i, vi =
0
h[u(t)2 ]xx , vi(t)dt, v H02 ().
(2.60)
Ja provamos que a equacao integral (2.3) e valida. Entao dados v H02 () e

D(0, T ) tomando = v temos que
RT
0
RT
RT
(ut (t), v)0 (t)dt + 0 (ux (t), vx )(t)dt + 0 (uxt (t), vx )(t)dt
RT
RT
0 ([u(t)2 ]xx , v)(t)dt + 0 (uxx (t), vxx )(t)dt = 0,
Da, de (2.52), (2.53), (2.54), (2.55) e (2.60),

hhe
utt , i, vi hhuxx , i, vi hhutxx , i, vi hh[u2 ]xx , i, vi + hhuxxxx , i, vi = 0,
portanto a distribuicao u
ett : D(0, T ) H 2 () e igual a distribuicao definida pela funcao
(uxx + utxx + [u2 ]xx uxxxx ) : D(0, T ) H 2 (),
53
que, como vimos, pertence a L2 (0, T ; H 2 ()). Logo, existe utt L2 (0, T ; H 2 ()) a qual
define u
ett .
Afirmac
ao 2.12 u(x, 0) = u0 (x), x .
Demonstrac
ao: Com efeito, podemos definir as aplicacoes
(um (0), ), (u0 , ) : H02 () R. Do Problema Aproximado (2.6) um (0) u0 em
H02 (), entao
(um (0), w) (u0 , w) w H02 ().
(2.61)
Por outro lado, tomando w H02 () e C 1 ([0, T ]; R) tal que (0) = 1 e (T ) = 0 e

integrando por partes temos que
Z
(u (0), w) =
0
Z
(um
t (t), w)(t)dt
(um (t), w)0 (t)dt.
(2.62)
Como u L2 (0, T ; H02 ()) e ut L2 (0, T ; H01 ()) entao, (u, w) L2 (0, T ; R) e
d
[(u, w)]
dt
L2 (0, T ; R), da, pela Proposicao 1.10 temos que (u, w) C 0 ([0, T ]; R) e
vale a igualdade
Z
T
0
d
[(u(t), w)(t)]dt = (u(T ), w)(T ) (u(0), w)(0).
dt
Com isso, temos que

(u(0), w) = (u(T ), w)(T ) (u(0), w)(0)
RT
= 0 dtd [(u(t), w)(t)]dt
RT
= 0 (ut (t), w)(t) + (u(t), w)0 (t)dt
RT
RT
= 0 (ut (t), w)(t)dt + 0 (u(t), w)0 (t)dt.
(2.63)
Assim, de (2.43) e (2.47), tomando v = w0 e v = w respectivamente, e aplicando limite

em (2.62), temos, de (2.63) que
(um (0), w) (u(0), w) w H02 ().
(2.64)
54
Dessa forma, note, de (2.61) e (2.64), que

(u(0) u0 , w) = (u(0) um (0), w) + (um (0) u0 , w) 0 w H02 ().
Assim, (u(0) u0 , w) = 0 w H02 (), em particular, para w = u(0) u0 , entao
|u(0) u0 |2 = 0 e logo
u(0) = u0 .
Afirmac
ao 2.13 ut (0) = u1 em L2 ()
2
Demonstrac
ao: Do Problema Aproximado (2.6) um
t (0) u1 em L (), com isso
2
2
(um
t (0), w) (u1 , w) w L (), em particular, w H0 ().
2
Assim, basta mostrar que (um
t (0), w) (ut (0), w) w H0 (), pois, neste caso,
(ut (0) u1 , w) = 0 w H02 (), em particular, D(), com isso,

Z
(ut (x, 0) u1 (x))(x)dx = 0 D().
Pelo Lema 1.1 ( de Du Bois Raymond ) temos que ut (x, 0) = u1 (x) q.s em , logo ut (0) = u1
em L2 ().
2
Vejamos entao que (um
cao 2.11
t (0), w) (ut (0), w) w H0 (). De fato, da Afirma
e da densidade de D(0, T ) em L2 (0, T ) temos que

RT
0
hutt (t), wi(t)dt = hhutt , i, wi

RT
= 0 (ut (t), w)0 (t)dt, w H02 () e L2 ().
De (2.47), tomando v = w0 temos que

RT
0
RT
0
m
(t),
w)
(t)dt
(ut (t), w)0 (t)dt

(u
t
0
0
RT
= hhutt , i, wi = 0 hutt (t), wi(t)dt
(um
tt (t), w)(t)dt =
RT
(2.65)
2.5. Unicidade
55
Procedendo com na Afirmacao 2.12 temos que (ut , w) e hutt , wi L2 (0, T ; R). Tomando
C 1 ([0, T ]; R) tal que (0) = 1 e (T ) = 0 temos que (ut , w) e
d
[(ut , w)]
dt
L2 (0, T ; R),
assim, pela Proposicao 1.10 temos que (ut , w) C 0 ([0, T ]; R) e vale a igualdade
Z
T
0
d
[(ut (t), w)(t)]dt = (ut (T ), w)(T ) (ut (0), w)(0).
dt
Com isso, temos que

(ut (0), w) = (ut (T ), w)(T ) (ut (0), w)(0)
RT
= 0 dtd [(ut (t), w)(t)]dt
RT
= 0 hutt (t), wi(t) + (ut (t), w)0 (t)dt
RT
RT
= 0 hutt (t), wi(t)dt + 0 (ut (t), w)0 (t)dt.
(2.66)
Da, como anteriormente, passando limite temos que

2
(um
t (0), w) (ut (0), w) w H0 ()
como queramos.
Dessa maneira conclumos a demonstracao da existencia de solucao para o Problema

Cilndrico (2.1), agora passemos à demonstracao da unicidade.
2.5
Unicidade
Sejam u e u
e solucoes do Problema (2.1) e defina w = u u
e. Com isso temos que
T > 0, w satisfaz
w L (0, T ; H02 ()), e w L2 (0, T ; H01 ()) L (0, T ; L2 ());
(2.67)
2.5. Unicidade
56
RT
(wt (t), t (t))dt + 0 (wx (t) + wtx (t), x (t))dt+
RT
RT
(wxx (t), xx (t))dt + 0 ([u(t)2 ]x [e
u(t)2 ]x , x (t))dt = 0
0
RT
0
(2.68)
para todo L2 (0, T ; H02 ()) tal que t L2 (0, T ; L2 ()) e (0) = (T ) = 0.
E as condicoes
w(x, 0) = 0, wt (x, 0) = 0.
(2.69)
Observa
c
ao 2.14 A identidade integral (2.68) continua valendo se (0) 6= 0.
De fato, suponha que (0) 6= 0 e note que
Z
T
0
d
[(wt (t), (t))]dt =
dt
hwtt (t), (t)idt +

0
(wt (t), t (t))dt.

0
Por outro lado, como wt (x, 0) = 0 e (x, T ) = 0 temos que

Z
T
0
d
[(wt (t), (t))]dt = (wt (T ), (T )) (wt (0), (0)) = 0.
dt
Com isso temos que

Z
hwtt (t), (t)idt =

0
Assim, defina
(wt (t), t (t))dt.
(2.70)
(x, t), se (x, t) (0, T ];

(x, t) =
0, se (x, t) {0}.
Como = q.s em Q, entao L2 (0, T ; H02 ()) e t L2 (0, T ; L2 ()) e ainda (0) =
(T ) = 0. Entao vale a identidade integral (2.68) para , alem disso temos que
RT
0
hwtt (t), (t)idt =

=
=
R
Q
wtt (x, t)(x, t)dxdt
wtt (x, t)(x, t)dxdt
hwtt (t), (t)idt.
RT
2.5. Unicidade
57
E pela mesma razao,

RT
RT
(w
(t)
+
w
(t),
(t))dt
=
(wx (t) + wtx (t), x (t))dt;
x
tx
x
0
0
RT
RT
(wxx (t), xx (t))dt = 0 (wxx (t), xx (t))dt;
0
RT
RT
([u(t)2 ]x [e
u(t)2 ]x , x (t))dt = 0 ([u(t)2 ]x [e
u(t)2 ]x , x (t))dt.
0
Dessa maneira,
RT
+
=
+
RT
hwtt (t), (t)idt + 0 (wx (t) + wtx (t), x (t))dt
0
RT
RT
(wxx (t), xx (t))dt + 0 ([u(t)2 ]x [e
u(t)2 ]x , x (t))dt
0
RT
RT
hw
(t),
(t)idt
+
(wx (t) + wtx (t), x (t))dt
tt
0
0
RT
RT
u(t)2 ]x , x (t))dt
(wxx (t), xx (t))dt + 0 ([u(t)2 ]x [e
0
= 0.
Finalmente de (2.70) temos que

RT
(wt (t), t (t))dt + 0 (wx (t) + wtx (t), x (t))dt+
RT
RT
(wxx (t), xx (t))dt + 0 ([u(t)2 ]x [e
u(t)2 ]x , x (t))dt = 0,
0
RT
0
o que conclui a observacao.

Note que, como wt L2 (0, T ; H01 ()) nao podemos fazer = wt na equacao anterior,
assim, para resolver o problema da unicidade, aplicaremos o metodo devido a Ladyzhenskaya [4]. Entao, para cada s [0, T ] fixo, definamos a seguinte funcao
R
s w(x, )d, se t [0, s];
t
z(x, t) =
0, se t [s, T ].
Observa
c
ao 2.15 Podemos ver que z satisfaz as seguintes propriedades:
(a) z(T ) = 0;
w(t), se t [0, s];

(b) zt (t) =
0, se t [s, T ];
(c) Defina z1 (t) =
Rt
0
w()d, com isso temos que z(t) = z1 (t) z1 (s) e z(0) = z1 (s);
2.5. Unicidade
58
(d) z L2 (0, T ; H02 ()) e zt L2 (0, T ; L2 ()).

Vamos agora demonstrar algumas Afirmacoes das quais decorrera a unicidade.
Afirmac
ao 2.16
RT
0
(wt (t), zt (t))dt = 12 |w(s)|2 .
Demonstrac
ao: De fato,
RT
RT
RT
(w
(t),
z
(t))dt
=
(w
(t),
w(t))dt
=
t
t
t
0
0
0
Afirmac
ao 2.17
RT
0
1 d
|w(t)|2 dt
2 dt
(wx (t), zx (t))dt 81 |z1xx (s)|2 + C
Rs
0
= 21 |w(s)|2 .
|w(t)|2 dt + 21
Rs
0
|z1xx (t)|2 dt, onde
C e a constante 8T + 21 .
Demonstrac
ao:
RT
Rs
(wx (t), zx (t))dt = 0 (w(t), zxx (t))dt
0
Rs
0 |w(t)||zxx (t)|dt
Rs
0 |w(t)||z1xx (t) z1xx (s)|dt
Rs
Rs
0 |w(t)||z1xx (s)|dt + 0 |w(t)||z1xx (t)|dt
i R
h
Rs
s
8 0 |w(t)|dt + 21 0 |w(t)|2 + |z1xx (t)|2 dt
2 18 |z1xx (s)|
R s
2
Rs
81 |z1xx (s)|2 + 8 0 |w(t)|dt + 12 0 |w(t)|2 + |z1xx (t)|2 dt
Rs
Rs
81 |z1xx (s)|2 + 8T 0 |w(t)|2 dt + 21 0 |w(t)|2 + |z1xx (t)|2 dt
Rs
Rs
81 |z1xx (s)|2 + 8T + 12 0 |w(t)|2 dt + 21 0 |z1xx (t)|2 dt
Afirmac
ao 2.18
RT
0
(wtx (t), zx (t))dt
Rs
0
|w(t)|2 dt.
Demonstrac
ao:
RT
0
(wtx (t), zx (t))dt =

=
(wx (t), ztx (t))dt
(wx (t), wx (t))dt
Rs
Rs
|wx (t)|2 dt
0
Rs
0 |wx (t)|2 dt
Rs
0 |w(t)|2 dt
Rs
|w(t)|2 dt,
0
=
=
Rs
2.5. Unicidade
59
onde a pen
ultima desigualdade e devida à desigualdade de Poincare-Friedricks.
Afirmac
ao 2.19
RT
0
(wxx (t), zxx (t))dt = 21 |z1xx (s)|2 .
Demonstrac
ao:
RT
RT
(wxx (t), zxx (t))dt = 0 (ztxx (t), zxx (t))dt
0
Rs
= 0 21 dtd |zxx (t)|2 dt
=
1
|z (s)|2
2 xx
21 |zxx (0)|2
= 12 |z1xx (s)|2 .
Afirmac
ao 2.20
RT
Rs
([u(t)2 ]x [e
u(t)2 ]x , zx (t))dt 18 |z1xx (s)|2 + C2 0 |w(t)|2 dt +
0
C1
2
Rs
0
|z1xx (t)|2 dt.
Demonstrac
ao: De fato, tome
Z
I1 =
(wx (t)(u(t) + u
e(t)), zx (t))dt,
0
I2 =
(w(t)(u(t) + u
e(t))x , zx (t))dt,
0
I3 =
(w(t), (u(t) + u
e(t))zxx (t))dt
0
E observe que,
Rs
I1 = 0 (wx (t), (u(t) + u
e(t))zx (t))dt
Rs
= 0 (w(t), [(u(t) + u
e(t))zx (t)]x )dt
Rs
Rs
= 0 (w(t), (u(t) + u
e(t))x zx (t))dt 0 (w(t), (u(t) + u
e(t))zxx (t))dt
= I2 I3 .
Da,
RT
=
=
([u(t)2 u
e(t)2 ]x , zx (t))dt =
0
Rs
([(u(t) u
e(t))(u(t) + u
e(t))]x , zx (t))dt
0
Rs
Rs
(wx (t)(u(t) + u
e(t)), zx (t))dt + 0 (w(t)(u(t)
0
= I1 + I2 = I3
+u
e(t))x , zx (t))dt
2.5. Unicidade
60
Rs
= 0 (w(t), (u(t) + u
e(t))zxx (t))dt
RsR1
0 0 |w(x, t)|R |u(x, t) + u
e(x, t)|R |zxx (x, t)|R dxdt
Rs
R1
0 |u(t) + u
e(t)|L () 0 |w(x, t)|R |zxx (x, t)|R dxdt
Rs
0 |u(t) + u
e(t)|H02 () |w(t)||zxx (t)|dt
Rs
C1 0 |w(t)||zxx (t)|dt
Rs
C1 0 |w(t)||z1xx (t) z1xx (s)|dt
Rs
Rs
C1 0 |w(t)||z1xx (s)|dt + C1 0 |w(t)||z1xx (t)|dt
h
i
Rs
Rs
2 18 |z1xx (s)|
8C1 0 |w(t)|dt + C21 0 |w(t)|2 + |z1xx (t)|2 dt
R s
2
Rs
81 |z1xx (s)|2 + 8C12 0 |w(t)|dt + C21 0 |w(t)|2 + |z1xx (t)|2 dt
Rs
Rs
81 |z1xx (s)|2 + 8T C1 0 |w(t)|2 dt + C21 0 |w(t)|2 + |z1xx (t)|2 dt
Rs
Rs
18 |z1xx (s)|2 + 8T C1 + 12 0 |w(t)|2 dt + 21 0 |z1xx (t)|2 dt
Rs
Rs
81 |z1xx (s)|2 + C2 0 |w(t)|2 dt + C21 0 |z1xx (t)|2 dt
Substituindo por z na identidade integral (2.68) decorre, das Afirmacoes (2.16)-(2.19),

que
1
1
0 |w(s)|2 |z1xx (s)|2 + C3
2
4
Entao,
1
1
|w(s)|2 + |z1xx (s)|2 C5
2
4
|w(t)| dt + C4
0
s
0
|z1xx (t)|2 dt.
1
1
|w(t)|2 + |z1xx (t)|2 dt,
2
4
e, pela desigualdade de Gronwall,

Rs
1
1
|w(s)|2 + |z1xx (s)|2 0 e 0 C5 dt = 0.
2
4
Portanto, w(s) = 0 e como s foi tomado arbitrario, temos que w 0, logo u = u

e o que
finaliza a demonstracao do Teorema 2.3.
2.6. Decaimento Exponencial
2.6
61
Decaimento Exponencial
Teorema 2.21 Assumindo as hipoteses do Teorema 2.3 temos que a energia

E(t) =
1
|ut (t)|2 + |ux (t)|2 + |uxx (t)|2
2
(2.71)
do sistema (2.1) satisfaz

E(t) 1 exp{0 t}, t 0.
(2.72)
Demonstrac
ao: Com efeito, na Secao 2.2 obtivemos a desigualdade (2.29), dada por
d
K m (t)
dt
2
+ 35 |um
xx (t)| 0.
(2.73)
2
m
2
m
2
{|um
x (t)| + |ut (t)| + |uxx (t)| } 0.
(2.74)
3
|um (t)|2
10 x
3
|um (t)|2
20 tx
Da desigualdade de Poincare-Friedricks temos que

d
K m (t)
dt
3
20
Por outro lado,

K m (t) =
1
2
m 2 6 m
2
m
2
|ut (t)| + 5 (ut (t), um (t)) + 85 |um
x (t)| + |uxx (t)|
4 m
|u (t)|2
5 t
6
5
11 m
|u (t)|2
10 x
2
+ 12 |um
xx (t)|
(2.75)
2
m
2
m
2
{|um
t (t)| + |ux (t)| + |uxx (t)| } .
Assim, tomando um 0 (0, 81 ], multiplicando por (2.75) e somando com (2.74) obtemos
d m
K (t) + 0 K m (t) 0.
dt
Entao, multiplicando (2.76) pelo fator integrante e0 t temos que
d m
K (t)e0 t 0,
dt
(2.76)
62
da, integrando de 0 a t e da Observacao 2.5 temos que

K m (t)e0 t K m (0) K1 .
Vimos tambem que
1
K (t)
2
m
2 m 2
m
2
m
2
|u (t)| + |ux (t)| + |uxx (t)| .
5 t
Com isso, tomando K3 (0, 52 ] temos que

K3
2
2
m
2
m
2
{|um
t (t)| + |ux (t)| + |uxx (t)| }
1
2
2
m
2
|um (t)|2 + |um
x (t)| + |uxx (t)|
5 t
K m (t) K1 e0 t .
Entao,
E m (t) K31 K1 e0 t = 1 e0 t ,
(2.77)
2
m
2
m
2
onde E m (t) = 12 {|um
t (t)| + |ux (t)| + |uxx (t)| }.
2
Afirmac
ao 2.22 um
t (T ) * ut (T ) em L ().
Demonstrac
ao: Com efeito, assim como feito na Afirmacao 2.5, tomando w H02 () e
C 1 ([0, T ]; R) tal que (0) = 0 e (T ) = 1 temos que
(um
t (T ), w) =
(ut (T ), w)
RT
RT m
0
(um
tt (t), w)(t)dt + 0 (ut (t), w) (t)dt,
0
RT
RT
hutt (t), wi(t)dt + 0 (ut (t), w)0 (t)dt.
0
Assim, passando limite na primeira equacao vemos que

2
(um
t (T ), w) (ut (T ), w), w H0 ().
uencia (wn )
Como H02 () e denso em L2 () entao, dado w L2 () existe uma seq
H02 () tal que wn w em L2 (). Sabemos, de (2.34), que |um
t (T )| K2 , com isso,
e uma constante. Da, dado > 0, tome wn0 tal que
|um
t (T ) ut (T )| C, onde C
|wn0 w| <
2C
e tome m0 tal que se m > m0 entao |(um

, se
t (T ) ut (T ), wn0 )| < 2 . Da
63
m > m0 entao
m
m
|(um
t (T ) ut (T ), w)| |ut (T ) ut (T )||w wn0 | + |(ut (T ) ut (T ), wn0 )| < .
2
Portanto um
t (T ) * ut (T ) em L ().
1
Afirmac
ao 2.23 um
x (T ) * ux (T ) em H0 ().
Demonstrac
ao: De fato, de (2.32) obtivemos que
(um
e limitada em L (0, T ; H01 ()).
x )
1
Com isso, um
x * ux em L (0, T ; H0 ()), ou seja,
T
0
Z
hum
x (t), v(t)idt
hux (t), v(t)idt, v L1 (0, T ; H 1 ()).
(2.78)
Sendo assim, tome w H01 (), da, dado L2 (0, T ) temos que ( , w)H01 ()
L1 (0, T ; H 1 ()), entao de (2.78)
Z
T
0
Z
(um
x (t), w)H01 () (t)dt
(ux (t), w)H01 () (t)dt.
(2.79)
Como e arbitrario temos que

2
(um
x , w)H01 () * (ux , w)H01 () em L (0, T ).
(2.80)
Como ux L (0, T ; H01 ()) , L2 (0, T ; H01 ()) entao

(ux , w)H01 () L2 (0, T ; R).
Assim, podemos definir a seguinte distribuicao
Z
h(ux , w)H01 () , i =
T
0
(ux (t), w)H01 () (t)dt,
(2.81)
64
cuja derivada, sabemos, e dada por

h dtd (ux , w)H01 () , i =
RT
(ux , w)H01 () 0 (t)dt

0
RT
RT
0 (ux , w)0 (t)dt 0 (uxx , wx )0 (t)dt.
(2.82)
Como ut L2 (0, T ; H01 ()) entao

Z
(ux (t), w) (t)dt =

0
(utx , w)(t)dt = h(utx , w), i.
(2.83)
Agora, como utx (t) L2 (), podemos definir uma distribuicao em D0 () dada por
hutx (t), i = (utx (t), ),
e sabemos que a derivada e a distribuicao dada por
hutxx (t), i = (utx (t), x ),
assim, aplicando x nessa distribuicao temos que
hutxx (t), x i = (utx (t), xx ), D().
Da,
RT
0
RT
hutxx (t), x i(t)dt = 0 (utx (t), xx )(t)dt
RT
= 0 (ux (t), xx )0 (t)dt
RT
= 0 (uxx (t), x )0 (t)dt
D() e D(0, T ).
Por densidade, temos que
hhutxx , wx i, i =
D(0, T ).
RT
0
hutxx (t), wx i(t)dt =
RT
0
(uxx (t), wx )0 (t)dt
(2.84)
65
Assim, substituindo (2.83) e (2.84) em (2.82) temos

h
d
(ux , w)H01 () , i = h(utx , w), i + hhutxx , wx i, i
dt
D(0, T ). Portanto,
hutx , wiH01 () =
d
(ux , w)H01 () L2 (0, T ; R).
dt
(2.85)
Finalmente, tomando C 1 ([0, T ]; R) tal que (0) = 0 e (T ) = 1, vemos, de (2.81)

(2.85), que (ux , w)H01 () e
d
[(ux , w)H01 () ]
dt
L2 (0, T ; R). Portanto, pela Proposicao 1.10,
(ux , w)H01 () e contnua e vale

Z
(ux (T ), w)
H01 ()
(T ) (ux (0), w)
H01 ()
(0) =
0
d
[(ux (t), w)H01 () (t)]dt,
dt
da,
(ux (T ), w)H01 () = (ux (T ), w)H01 () (T ) (ux (0), w)H01 () (0)
RT
= 0 dtd [(ux (t), w)H01 () (t)]dt
RT
RT
= 0 hutx (t), wiH01 () (t)dt + 0 (ux (t), w)H01 () 0 (t)dt.
Disso e passando limite na seguinte equacao
(um
x (T ), w)H01 () =
RT
0
(um
tx (t), w)H01 () (t)dt +
RT
0
0
(um
x (t), w)H01 () (t)dt,
temos que
(um
x (T ), w)H01 () (ux (T ), w)H01 () .
E como w H01 () foi tomado arbitrario temos que
1
um
x (T ) * ux (T ) em H0 ()
como queramos.
66
Dessa forma, podemos concluir a demonstracao do Teorema 2.21 observando, das

Afirmacoes 2.22 e 2.23 e do Teorema de Banach-Steinhaus, que
|ut (T )|
lim|um
t (T )|,
|ux (T )|H01 () lim|um

x (T )|H01 () ,
entao,
E(T ) limE m (T ) 1 e0 T .
Finalmente, como T > 0 foi tomado arbitrario no incio, temos que
E(t) 1 e0 t t 0.
Captulo 3
Problema N
ao-Cilndrico
Neste captulo provaremos a existencia de solucao para o problema nao-cilndrico. Para
isso aplicaremos o metodo de penalizacao [7]. Este metodo consiste basicamente de, para
cada > 0, resolver um problema em um domnio cilndrico contendo o domnio naocilndrico, de modo que a solucao convirja para a solucao desejada quando 0.
Considere o seguinte problema de valor inicial
tt
u(x, 0) = u (x), u (x, 0) = u (x), x [ , ],

0
(3.1)
b = {(x, t) R2 ; (t) < x < (t)} e um domnio nao cilndrico. Defina t = {x
Q
R; (t) < x < (t), t [0, +)} e dado T > 0, sejam = (a, b) tal que 0 e
b
Q = (0, T ). Suponha ainda as seguintes Hip
oteses de Regularidade sobre Q
0 (t) < 0 e 0 (t) > 0, t 0;
Se v H02 () e v(x, t) = vx (x, t) = 0 q.s em \ t , t (0, T ) entao
(3.2)
v H02 (t ) para quase todo t (0, T );
(3.3)
Se v H01 () e v(x, t) = 0 q.s em \ t , t (0, T ) entao

v H01 (t ) para quase todo t (0, T ).
67
(3.4)
68
Considere os seguintes espacos
LP (0, T ; L2 (t )) = {f LP (0, T ; L2 ()); f = 0 q.s em \ t q.s em t (0, T )};
LP (0, T ; H01 (t )) = {f LP (0, T ; H01 ()); f = 0 q.s em \ t q.s em t (0, T )};
LP (0, T ; H02 (t )) = {f LP (0, T ; H02 ()); f = 0 q.s em \ t q.s em t (0, T )}.
Verifica-se que estes espacos sao subespacos fechados de LP (0, T ; L2 ()),
LP (0, T ; H01 ()) e LP (0, T ; H02 ()) respectivamente.
Definic
ao 3.1 Uma solu
c
ao fraca do problema (3.1) e uma func
ao real u = u(x, t)
b tal que T > 0 satisfaca:
definida em Q
u L (0, T ; H02 (t )) e ut L2 (0, T ; H01 (t )) L (0, T ; L2 (t ));
(3.5)
R
b
Q
R
ut (x, t)t (x, t)dxdt + Qb (u(x, t) + ut (x, t) + u2 (x, t))x x (x, t)dxdt
R
+ Qb uxx (x, t)xx (x, t)dxdt = 0;
(3.6)
para todo L2 (0, T ; H02 (t )), t L2 (0, T ; L2 (t )) e (0) = (T ) = 0.

E as condic
oes iniciais
u(x, 0) = u0 (x), ut (x, 0) = u1 (x) em 0 .
(3.7)
Para aplicarmos o Metodo de Penalizacao definamos a seguinte funcao:
1 em Q \ Q
b {0 {0}};
M (x, t) =
0 em Q
b {0 {0}}.
Lema 3.2 Se u e ut pertencem a L2 (0, T ; L2 (a, b)), entao
Z
t
0
1
1
(M (s)u(s), us (s))ds |M (t)u(t)|2 |M (0)u(0)|2
2
2
Demonstrac
ao: De fato, utilizando o Teorema de Fubini e a definicao de M temos:
69
Rt
(M (s)u(s), us (s))ds =
0
RtRb
M (x, s)u(x, s)us (x, s)dxds
0 a
R
R
1 t b
M (x, s)[u2 (x, s)]s dxds
2 0 a
R R
1 b t
2 a 0
R
R
R Rt
1 (t) t
1 0
2
M
(x,
s)
[u
(x,
s)]
dxds
+
M (x, s)[u2 (x, s)]s dxds+
s
2 a
2 (t) 0
0 | {z }
1
R R
R (t) R t
1 0 t
M (x, s)[u2 (x, s)]s dxds + 12 0 0 M (x, s)[u2 (x, s)]s dxds+
2 0 0 | {z }
0
R Rt
1 b
2 (t) 0 | {z }
1
R
R
R 0 R 1 (x) 2
1 (t) t 2
[u (x, s)]s dxds + 12 (t)
[u (x, s)]s dxds+
2 a
0
0
R
R
R
R
1
b
t
1 (t) (x) 2
[u (x, s)]s dxds + 21 (t) 0 [u2 (x, s)]s dxds
2 0
0
R
R 0 2
1 (t) 2
u (x, t) u2 (x, 0)dx + 12 (t)
u (x, 1 (x)) u2 (x, 0)dx+
2 a
R
Rb
1 (t) 2
u (x, 1 (x)) u2 (x, 0)dx + 12 (t) u2 (x, t) u2 (x, 0)dx
2 0
R
R
R
1 (t) 2
1 b
1 (t) 2
2
u
(x,
t)dx
+
u
(x,
t)dx
u (x, 0)dx
2 a
2 (t)
2 a
R
R
R
0
(t)
b
u2 (x, 0)dx 12 0 u2 (x, 0)dx 12 (t) u2 (x, 0)dx
21 (t)
R
R
1 b
1 b
2
M
(x,
t)u
(x,
t)dx
M (x, 0)u2 (x, 0)dx

2 a
2 a
1
|M (t)u(t)|2
2
=
=
=
=
12 |M (0)u2 (0)|2
Uma demonstracao deste lema para o caso n-dimensional pode ser vista em Nakao [13].
Definic
ao 3.3 Dados u0 H02 (0 ), u1 L2 (0 ) defina
11
1
4
K0 = |u1 |2 + |u0x |2 + |u0xx |2 .
5
10
2
Teorema 3.4 Sejam u0 H02 (0 ), u1 L2 (0 ) . Se
1
6p
2K0 + 8K0 < ,
5
5
(3.8)
b soluc
entao existe uma func
ao real u = u(x, t) definida em Q
ao do problema (3.1) no
70
sentido da Definic
ao 3.1.
Demonstrac
ao: Denotando por u
e0 e u
e1 as respectivas extensoes de u0 e u1 em , definindo como sendo zero em \ 0 , temos que u
e0 H02 () e u
e1 L2 (). Com isso
definamos o Problema Penalizado
Dado > 0, procuramos u = u (x, t) tal que, T > 0 tenhamos:
u L (0, T ; H02 ()) e ut L2 (0, T ; H01 ()) L (0, T ; L2 ());
(3.9)
RT R
0
RT R
ut (x, t)t (x, t)dxdt + 0 (u (x, t) + ut (x, t) + u (x, t)2 )x x (x, t)dxdt
RT R
RT R
+ 0 uxx (x, t)xx (x, t)dxdt + 1 0 M (x, t)ut (x, t)(x, t)dxdt
R R
1 T
M (x, t)ux (x, t)x (x, t)dxdt = 0
0
(3.10)
para todo L2 (0, T ; H02 ()), t L2 (0, T ; L2 ()) e (0) = (T ) = 0;

E as condicoes iniciais
u (x, 0) = u
e0 (x), ut (x, 0) = u
e1 (x) em .
(3.11)
De modo analogo ao feito no captulo 2, vamos aplicar o metodo de Faedo-Galerkin

para encontrar tal u .
3.1
Problema Aproximado
Tomando 1 = ue0 e completando de modo a obter uma base hilbertiana (j )jN de
71
H02 () procuramos por um (x, t) =
Pm
j=1
gjm (t)j (x) Vm tal que
m
m
m
2
m
(um
tt (t), j ) + (ux (t), jx ) + (uxt (t), jx ) ([u (t) ]xx , j ) + (uxx (t), jxx )+
1
1
m
(M (t)um
t (t), j ) + (M (t)ux (t), jx ) = 0;
um (x, 0) = u
e0 (x);
um (x, 0) = um (x) u
e1 (x) em L2 (),
t
1
(3.12)
j Vm . Note que a existencia da seq
uencia (um
e garantida pela densidade de
1 )
m=1 Vm
P
m
m
em L2 () onde um
1 (x, t) =
j=1 j (t)j (x).
O Problema (3.12) tem solucao local um no intervalo [0, tm ) para cada fixo, garantida
pelo Teorema de Caratheodory (1.34). A extensao da solucao ao intervalo [0, T ), T > 0
depende das estimativas que faremos a seguir. Estas estimativas tambem serao suficientes
para passarmos o limite em m + e 0.
Assim, defina
1
(t) =
2
2
|um
t (t)|
6 m
8 m 2
m
m
2
+ (ut (t), u (t)) + |ux (t)| + |uxx (t)| ;
5
5
(3.13)
11
1
2
e 0m = 4 |um
K
|e
ux 0|2 + |e
u0xx |2
1 | +
5
10
2
(3.14)
Observa
c
ao 3.5 Observe que
6
8 m
2
2
m
2
m
m
|um
t (0)| + 5 (ut (0), u (0)) + 5 |ux (0)| + |uxx (0)|
1
6 1 m 2
8
2
2
2
2
12 |um
|
+
|
+
(
|u
|e
u
|
)
+
|e
u
|
+
|e
u
|
0
0x
0xx
1
5 2 1
2
5
K m (0) =
1
2
4 m 2
|u |
5 1
3
|e
u |2
10 0
4 m 2
|u |
5 1
3
|e
u |2
10 0x
+ 45 |e
u0x |2 + 12 |e
u0xx |2
4 m 2
|u |
5 1
11
|e
u |2
10 0x
+ 12 |e
u0xx |2
+ 45 |e
u0x |2 + 12 |e
u0xx |2
e 0m .
= K
e m K0 em R.
E de (3.12)3 temos que K
0
72
Multiplicando (3.12)1 por
d m
g (t)
dt j
e somando j = 1, . . . , m temos a seguinte igualdade:
m
m
m
m
m
m
2
m
m
m
(um
tt (t), ut (t))+(ux (t), utx (t))+(uxt (t), utx (t))([u (t) ]xx , ut (t))+(uxx (t), utxx (t))+
1
1
m
m
m
(M (t)um
t (t), ut (t)) + (M (t)ux (t), utx (t)) = 0.
Note que
m
(um
tt (t), ut (t)) =
1 d
|um (t)|2 ;
2 dt t
m
(um
x (t), utx (t)) =
1 d
|um (t)|2 ;
2 dt x
m
(um
txx (t), uxx (t)) =
1 d
|um (t)|2 ;
2 dt xx
1
m
(M (t)um
t (t), ut (t))
2
= 1 |M (t)um
t (t)| ,
substituindo na igualdade anterior obtemos:

1 d
2 dt
2
m
2
m
2
m
2
{|um
t (t)| + |ux (t)| + |uxx (t)| } + |utx (t)| +
1
2
|M (t)um
t (t)|
m
m
2
m
+ 1 (M (t)um
x (t), utx (t)) = ([u (t) ]xx , ut (t)).
(3.15)
Agora, multiplicando (3.12)1 por gjm (t) e somando j = 1, . . . , m temos a seguinte

igualdade:
m
m
m
m
m
m
2
m
m
m
(um
tt (t), u (t))+(ux (t), ux (t))+(uxt (t), ux (t))([u (t) ]xx , u (t))+(uxx (t), uxx (t))+
1
1
m
m
m
(M (t)um
t (t), u (t)) + (M (t)ux (t), ux (t)) = 0.
Procedendo com anteriormente obtemos a igualdade
d
dt
1 m
2
2
m
2
m
m
2
|um
(um
t (t)| + |ux (t)| + |uxx (t)|
t (t), u (t)) + 2 |ux (t)|
1
2
|M (t)um
x (t)|
m
m
2
m
+ 1 (M (t)um
t (t), u (t)) = ([u (t) ]xx , u (t)).
(3.16)
Exatamente como feito no Captulo 2, temos do segundo membro de (3.15) e (3.16),
73
respectivamente, que
1 m 2
m
4
([um (t)2 ]xx , um
t (t)) 4|ux (t)| + |utx (t)| ;
4
m
2
m
m
3
([u (t) ]xx , u (t)) 2|ux (t)| .
(3.17)
(3.18)
Assim, de (3.17) e (3.18) em (3.15) e (3.16) respectivamente, temos

1 d
2 dt
3 m
2
m
2
m
2
2
{|um
t (t)| + |ux (t)| + |uxx (t)| } + 4 |utx (t)| +
1
2
|M (t)um
t (t)|
d
dt
m
m
4
+ 1 (M (t)um
x (t), utx (t)) 4|ux (t)| .
1 m
m
2
2
m
2
m
2
(um
|um
t (t), u (t)) + 2 |ux (t)|
t (t)| + |ux (t)| + |uxx (t)|
1
2
|M (t)um
x (t)|
m
m
3
+ 1 (M (t)um
t (t), u (t)) 2|ux (t)| .
(3.19)
(3.20)
2
Aplicando a desigualdade de Poincare-Friedricks em |um
cao (3.20) temos
t (t)| na equa
que
d
dt
1 m
m
2
2
m
2
m
2
(um
|um
t (t), u (t)) + 2 |ux (t)|
tx (t)| + |ux (t)| + |uxx (t)|
1
2
|M (t)um
x (t)|
Multiplicando (3.21) por
1 d
2 dt
3
5
m
m
3
+ 1 (M (t)um
t (t), u (t)) 2|ux (t)| .
e somando a (3.19) temos
8 m
m
m
2
m
2
m
2
(u
|u
(t),
u
(t))
+
(t)|
+
|u
(t)|
+
|u
(t)|
+
t
x
t
xx
5
5
3
|um (t)|2
20 tx
1
2
|M (t)um
t (t)|
(3.21)
3 m
2
2
+ 35 |um
x (t)| + 5 |uxx (t)| +
3
m
m
m
+ 1 (M (t)um
x (t), utx (t)) + 5 (M (t)ut (t), u (t)) +
2 3 m
2
m
(t)|
.
2|um
(t)|
+
2|u
|u
x (t)|
x
x
5
3
2
|M (t)um
x (t)|
5
(3.22)
74
Dessa forma, substituindo (3.13) em (3.22) obtemos

d
K m (t)
dt
1
2
|M (t)um
t (t)|
2
+ 35 |um
x (t)| +
3
|um (t)|2
20 tx
2
+ 53 |um
xx (t)| +
3
m
m
m
+ 1 (M (t)um
x (t), utx (t)) + 5 (M (t)ut (t), u (t)) +
m
2
2 3 m
2|um
|u
(t)|
+
2|u
(t)|
.
x (t)|
x
x
5
3
2
|M (t)um
x (t)|
5
(3.23)
Queremos K m (t) 0. Para isso, utilizando a desigualdade de Poincare-Friedricks,
observe que
6 m
3
3 m 2
2
(ut (t), um (t)) |um
t (t)| |ux (t)|
5
5
5
(3.24)
Disso,
1
(t)
2
2 m 2
2
m
2
|u (t)| + |um
x (t)| + |uxx (t)|
5 t
Agora, definindo
(t) = 2
0.
3 m
m
2
|u (t)| + 2|ux (t)| ,
5 x
(3.25)
(3.26)
e substituindo em (3.23) obtemos

d
K m (t)
dt
3
|um (t)|2
10 x
2
+ |um
x (t)|
1
2
|M (t)um
t (t)|
3
10
m (t) +
3
|um (t)|2
20 tx
2
+ 53 |um
xx (t)| +
(3.27)
m
+ 1 (M (t)um
x (t), utx (t))
3
m
(M (t)um
+ 5
t (t), u (t)) +
3
2
|M (t)um
x (t)|
5
0.
3
Como visto na Afirmacao 2.6 do Captulo 2, temos que m (t) 10
, t [0, tm ). Com
2 3
isso podemos eliminar a parcela |um
m (t) de (3.27) e teremos
x (t)|
10
d
K m (t)
dt
3
|um (t)|2
10 x
1
2
|M (t)um
t (t)|
3
|um (t)|2
20 tx
2
+ 53 |um
xx (t)| +
m
+ 1 (M (t)um
x (t), utx (t))
3
m
+ 5
(M (t)um
t (t), u (t)) +
3
2
|M (t)um
x (t)|
5
0.
(3.28)
75
2
2
2
2
Como um (t) e um
t (t) L (0, T ; H0 ()) , L (0, T ; L ()), pelo Lema 3.2, temos
t
0
1
1
m
2
m
2
(M (s)um (s), um
s (s))ds |M (t)u (t)| |M (0)u (0)| ,
2
2
(3.29)
m
2
2
ainda, pelo mesmo Lema 3.2, sendo um
tx (t) e ux (t) L (0, T ; L ()), temos que
t
0
1
1
m
2
2
m
m
(M (s)um
x (s), uxs (s))ds |M (t)ux (t)| |M (0)ux (0)| .
2
2
(3.30)
Observando que
Z
m
|M (0)u (0)|
|M (x, 0)e
u0 (x)|2 dx = 0 e
=
Z
2
|M (0)um
=
x (0)|
|M (x, 0)e
u0x (x)|2 dx = 0,
e integrando (3.28) de 0 a t, vemos que
R t m
R m
3
3 t
m
2
2
|u
|u
|uxx (s)|2 ds+
(s)|
ds
+
(s)|
ds
+
x
sx
20 0
5 0
0
R
R
1 t
3
3
1 t
m
m
m
2
2
2
2
|M (t)um
s (t)| ds + 0 |M (t)ux (t)| ds + 10 |M (t)ux (t)| + 10 |M (t)u (t)|
0
K m (t) +
3
10
Rt
e 0m , t [0, tm ).
K m (0) K
(3.31)
e 0m e convergente, portanto limitada, ou seja, existe K4
Da Observacao 3.5 temos que K
constante que independe de e m tal que
e m K4 .
K
0
(3.32)
Com isso, o primeiro membro de (3.31) e limitado por essa constante e de (3.25) temos
2
2
m
2
m
e limitada e da desigualdade
e limitado, da, |um
que |um
t (t)|
t (t)| + |ux (t)| + |uxx (t)|
de Poincare-Friedricks temos que

2
2
m
|um (t)|2H 2 () 2|um
x (t)| + |uxx (t)|
0
76
portanto limitado.
Rt
2
De (3.31), 0 |um
e limitada, e da desigualdade de Poincare-Friedricks,
xs (s)| ds
Rt
2
m
2
2
|um
ao 0 |um
e limitada.
s (s)|H 1 () |uxs (s)| , ent
s (s)|H 1 () ds
0
Dessas tres limitacoes, temos que existe uma subseq

uencia de um , denotada da mesma
maneira, tal que
(3.33)
(3.34)
um * u em L (0, T ; H02 ()),

um
* ut em L2 (0, T ; H01 ()) L (0, T ; L2 ()).
t
Do Teorema 1.24 (Teorema de Aubin-Lions), tomando B = H01 (), B0 = H02 (), B1 =

L2 () e p0 = p1 = 2 temos que a imersao W , L2 (0, T ; H01 ()) e compacta. Com isso,
de (3.33) e (3.34) podemos tomar uma nova subseq
uencia, denotada da mesma forma, tal
que
um u forte em L2 (0, T ; H01 ()).
Conseq
uentemente,
um u forte em L2 (0, T ; L2 ()),
2
2
um
x ux forte em L (0, T ; L ()).
(3.35)
E aplicando a Proposicao 1.21 em (3.35) temos que

um u q.s em Q,
m
um
x ux q.s em Q,
entao

2um um
x 2u ux q.s em Q.
(3.36)
Ainda de (3.31) temos que
(3.37)
(3.38)
M um
* M ut em L2 (0, T ; L2 ()),
t
M um
* M ux em L (0, T ; L2 ()).
x
77
Das convergencias (3.33)-(3.38) temos, como no Captulo 2, uma solucao para o Problema Penalizado (3.9)-(3.11).
De (3.33), (3.34) e pelo Teorema de Banach-Steinhaus, temos que
|u |L (0,T ;H02 ()) lim|um |L (0,T ;H02 ()) ,
(3.39)
|ut |L2 (0,T ;H01 ()) lim|um

t |L2 (0,T ;H01 ()) ,
(3.40)
|ut |L (0,T ;L2 ()) lim|um

t |L (0,T ;L2 ()) .
(3.41)
Por essas limitacoes, existe um subseq

uencia (podemos tomar =
1
)
n
de (u )0<<1 ,
denotada da mesma forma, e : Q R tais que
u * em L (0, T ; H02 ()) com 0,
(3.42)
ut * t em L2 (0, T ; H01 ()) L (0, T ; L2 ()) com 0.
(3.43)
Novamente, pelo Teorema 1.24 (Teorema de Aubin-Lions), podemos tomar uma subseq
uencia tal que
u forte em L2 (0, T ; H01 ()) com 0.
(3.44)
Conseq
uentemente,
u w forte em L2 (0, T ; L2 ()),
ux
wx forte em L (0, T ; L ()).
E aplicando a Proposicao 1.21 em (3.45) temos que

u w q.s em Q,
ux wx q.s em Q,
(3.45)
78
entao
2u ux 2wwx q.s em Q.
(3.46)
Vejamos que satisfaz a equacao integral da Definicao 3.1.
3.2
Passagem ao Limite
Dado L2 (0, T ; H02 (t )) tal que t L2 (0, T ; L2 (t )) e (0) = (T ) = 0 observe

que de (3.43)
Z
T
0
Z
hut (t), v(t)idt
ht (t), v(t)idt, v L2 (0, T ; H 1 ()),
(3.47)
em particular, tomando v(t) = ( , t (t)) temos

Z
T
0
Z
(ut (t), t (t))dt
(t (t), t (t))dt.
(3.48)
Tambem de (3.47), tomando em particular v L2 (0, T ; H 1 ()) definido por

hu, v(t)i = (ux , x (t)) u H01 (), temos que
Z
T
0
Z
(utx (t), x (t))dt
(tx (t), x (t))dt.
(3.49)
De (3.42) temos que

Z
hu (t), v(t)idt
0
h(t), v(t)idt, v L1 (0, T ; H 2 ()),
(3.50)
em particular, tomando v de modo que hu, v(t)i = (ux , x (t)) + (uxx , xx (t)) u H02 ()
temos
Z
T
0
Z
(ux (t), x (t))
(uxx (t), xx (t))dt
(xx (t), xx (t)) + (xx (t), xx (t))dt.

0
(3.51)
79
Agora observe que

RT
0
|2u (t)ux (t)|2 dt = 2
RT R
0
RT
2 0
RT
2 0
2
|u (x, t)|2R |um
x (x, t)|R dt
|u (t)|2L () |ux (t)|2 dt

|u (t)|2H 1 () |ux (t)|2 dt
0
RT
C1 0 |ux (t)|2 |ux (t)|2 dt

RT
C1 0 |ux (t)|4 dt
C1 T |ux |4L (0,T ;L2 ()) < .

Assim, |2u ux |L2 (Q) < . Entao de (3.46), pela Proposicao 1.23, temos que
2u ux * 2wwx em L2 (Q),
ou seja,
Z
(2u
0
(t)ux (t), v(t))dt
(2w(t)wx (t), v(t))dt, v L2 (0, T ; L2 ()).
Em particular, x L2 (0, T ; H01 (t )) L2 (0, T ; H01 ()), da,

Z
(2u
0
que equivale a
(t)ux (t), x (t))dt
(2w(t)wx (t), x (t))dt,
([u (t) ]x , x (t))dt

0
([(t)2 ]x , x (t))dt.
(3.52)
b {0 {0}},
Ainda, como L2 (0, T ; H02 (t )) temos que = x = 0 q.s em Q \ Q
b {0 {0}} entao
tambem M = 0 em Q
Z
Z
M (x, t)ut (x, t)(x, t)dxdt = 0
(3.53)
M (x, t)ux (x, t)x (x, t)dxdt = 0
(3.54)
80
Com isso, de (3.48)-(3.54) na identidade integral (3.10) temos
RT R
0
RT R
(x,
t)
(x,
t)dxdt
+
((x, t) + t (x, t) + (x, t)2 )x x (x, t)dxdt
t
t
RT R
+ 0 xx (x, t)xx (x, t)dxdt = 0.
(3.55)
Alem disso, temos as condicoes iniciais

(x, 0) = u
e0 (x) e t (x, 0) = u
e1 (x) em Q.
(3.56)
b {0 {0}}
Afirmac
ao 3.6 t (x, t) = 0 q.s em Q \ Q
Demonstrac
ao: De fato, de (3.31) temos que
RT
0
2
|M (t)um
e um
t (t)| dt K4 , onde K4
constante real positiva independente de e m obtida em (3.32). Assim, de (3.37) e pelo

Teorema de Banach-Steinhaus |M ut |2L2 ((0,T );L2 ()) K4 , da,
Z
lim
|M (t)ut (t)|2 dt = 0.
(3.57)
Dado v L2 (0, T ; L2 ()) temos que a aplicacao t 7 (M (t)v(t), ) L2 (0, T ; H 1 ()),

de (3.47) temos que
Z
T
0
Z
(ut (t), M (t)v(t))dt
(t (t), M (t)v(t))dt, v L2 (0, T ; L2 ()),
conseq
uentemente,
Z
T
0
Z
(M (t)ut (t), v(t))dt
(M (t)t (t), v(t))dt, v L2 (0, T ; L2 ()),
portanto, M ut * M t em L2 (0, T ; L2 ()) entao, pelo Teorema de Banach-Steinhaus e de

(3.57) temos
|M t |2L2 (0,T ;L2 ()) lim|M ut |2L2 (0,T ;L2 ()) = 0,
ou seja,
T
0
Z
|M (t)t (t)|2 dt = 0.
81
Entao, M (x, t)t (x, t) = 0 q.s em Q e portanto,

b {0 {0}},
t (x, t) = 0 q.s em Q \ Q
o que prova a afirmacao.
b {0 {0}}
Afirmac
ao 3.7 x (x, t) = 0 q.s em Q \ Q
Demonstrac
ao: De fato, de (3.31) temos que
RT
0
2
|M (t)um
e
x (t)| dt K4 , onde K4
um constante real positiva independente de e m obtida em (3.32). Assim, de (3.38)
2
2
2
2
temos que M um
x * M ux em L (0, T ; L ()), pois dado v L (0, T ; L ()) temos que a
aplicacao f , definida por hu, f (t)i = (u, v(t)) u L2 (), pertence a L2 (0, T ; (L2 ())0 ) ,
L1 (0, T ; (L2 ())0 ), da, de (3.38) temos que
Z
T
0
Z
(M (t)um
x (t), v(t))dt
(M (t)ux (t), v(t))dt, v L2 (0, T ; L2 ()).
Pelo Teorema de Banach-Steinhaus |M ux |2L2 (0,T ;L2 ()) K4 , da,

Z
lim
|M (t)ux (t)|2 dt = 0.
(3.58)
Do mesmo modo, de (3.42), ux * x em L2 (0, T ; L2 ()), da, M ux * M x

em L2 (0, T ; L2 ()). Entao, pelo Teorema de Banach-Steinhaus e de (3.58) temos
|M x |2L2 (0,T ;L2 ()) lim|M ux |2L2 (0,T ;L2 ()) = 0,
ou seja,
T
0
Z
|M (t)x (t)|2 dt = 0.
Entao, M (x, t)x (x, t) = 0 q.s em Q e portanto,

b {0 {0}},
x (x, t) = 0 q.s em Q \ Q
82
o que prova a afirmacao.
Agora, observe que, fixado x \ 0 temos que ou x (a, 0 ) ou x (0 , b). Se

x (a, 0 ), como e decrescente, entao x < (t), t (0, 1 (x)), com isso (x, t) 6
b t (0, 1 (x)). Assim, da Afirmacao 3.6 t (x, t) = 0 q.s em {x} (0, 1 (x)), da,
Q,
Z
s (x, s)ds = 0, t (0, 1 (x)).
Do mesmo modo, por ser decrescente,

Z
s (x, s)ds = 0, t (0, 1 (x)) e x (0 , b).
Dessas duas integrais, temos que

Z
b {0 {0}}.
s (x, s)ds = 0, (x, t) Q \ Q
Da, como L2 (0, T ; H02 ()) e t L2 (0, T ; H01 ()) temos, pela Proposicao 1.10,
que e contnua e vale a identidade
Z
(x, t) (x, 0) =
s (x, s)ds = 0, t [0, T ] e q.s em \ t .
(3.59)
De (3.56), (x, 0) = 0 em \ 0 , entao, de (3.59) temos que

(x, t) = 0 t [0, T ] e q.s em \ t .
(3.60)
Assim, de (3.42) e (3.43), H02 () e t H01 (). De (3.60) e da Afirmacao 3.7

b e de Afirmacao 3.6 t satisfaz a Hipotese
satisfaz a Hipotese de Regularidade (3.3) sobre Q
de Regularidade (3.4). Portanto (t) H02 (t ) q.s em (0, T ) e t H01 (t ).
Com isso, de (3.42), fazendo u = |Qb temos que
u L (0, T ; H02 (t )).
(3.61)
83
e de (3.43) temos que

ut L (0, T ; L2 (t )) L2 (0, T ; H01 (t )).
(3.62)
Finalmente, de (3.55) e (3.56) u satisfaz:

R
b
Q
R
ut (x, t)t (x, t)dxdt + Qb (u(x, t) + ut (x, t) + u(x, t)2 )x x (x, t)dxdt
R
+ Qb uxx (x, t)xx (x, t)dxdt = 0.
(3.63)

E as condicoes iniciais
u(x, 0) = u0 (x), ut (x, 0) = u1 (x) em 0 .
(3.64)
Logo, u e solucao do Problema (3.1) no sentido da Definicao 3.1.
3.3
Decaimento Exponencial
Nesta parte do trabalho consideraremos o Problema Nao-Cilndrico como sendo dado

pela equacao (1) com c > 2, e por simplicidade, a = b = 1 e , ou seja,
u (x, t) (u(x, t) + c ut (x, t) + (u2 (x, t))xx + uxxxx = 0 em Q;
tt
u(x, 0) = u (x), u (x, 0) = u (x), x [ , ],

0
t
1
0
0
(3.65)
b = {(x, t) R2 ; (t) < x < (t)} e um domnio nao-cilndrico.
Q
Definic
ao 3.8 Uma solu
c
ao fraca do problema (3.65) e uma func
ao real u = u(x, t)
84
b tal que T > 0 satisfaca:

definida em Q
u L (0, T ; H02 (t )) e ut L2 (0, T ; H01 (t )) L (0, T ; L2 (t ));
(3.66)
R
b
Q
R
ut (x, t)t (x, t)dxdt + Qb (u(x, t) + c ut (x, t) + u2 (x, t))x x (x, t)dxdt
R
+ Qb uxx (x, t)xx (x, t)dxdt = 0;
(3.67)

E as condic
oes iniciais
u(x, 0) = u0 (x), ut (x, 0) = u1 (x) em 0 .
(3.68)
Teorema 3.9 Sejam u0 H02 (0 ), u1 L2 (0 ) . Se

p
2K0 +
1
1
K0 < ,
c2
6
(3.69)
b soluc
entao existe uma func
ao real u = u(x, t) definida em Q
ao do problema (3.65) no
sentido da Definic
ao 3.8. Alem disso, temos que a energia E(t) do Sistema (3.1)satisfaz
E(t) 1 exp{0 t}, t 0.
Demonstrac
ao: Procederemos como na demonstracao do Teorema 3.4.
(3.70)
Assim, na
equacao integral (3.10) do Problema Penalizado, acrescentaremos mais dois termos obtendo
RT R
ut (x, t)t (x, t)dxdt + 0 (u (x, t) + ut (x, t) + u (x, t)2 )x x (x, t)dxdt+
RT R
RT R
u (x, t)xx (x, t)dxdt + 1 0 M (x, t)ut (x, t)(x, t)dxdt+
0
xx
R R
R R
1 T
1 T
(x,
t)
(x,
t)dxdt
+
M
(x,
t)u
M (x, t)utx (x, t)x (x, t)dxdt+
x
x
0
0
R R
1 T
M (x, t)u (x, t)(x, t)dxdt = 0.
0
(3.71)
RT R
0
85
Com isso o Problema Aproximado (3.12) tem a seguinte equacao

m
m
m
2
m
(um
tt (t), j ) + (ux (t), jx ) + c(uxt (t), jx ) ([u (t) ]xx , j ) + (uxx (t), jxx )+
1
(M (t)um
t (t), j )
1
m
+ 1 (M (t)um
x (t), jx ) + (M (t)utx (t), jx )
(3.72)
+ 1 (M (t)um (t), j ) = 0;
com
um (x, 0) = u
e0 (x) em H02 ();
m
e1 (x) em L2 ().
um
t (x, 0) = u1 (x) u
Como anteriormente, multiplicando (3.72) por
d m
g (t)
dt j
e somando j = 1, . . . , m obtemos
m
m
m
m
m
m
2
m
(um
tt (t), ut (t)) + (ux (t), utx (t)) + c(uxt (t), utx (t)) ([u (t) ]xx , ut (t))
1
1
m
m
m
m
m
+(um
xx (t), utxx (t)) + (M (t)ut (t), ut (t)) + (M (t)ux (t), utx (t))
(3.73)
1
m
m
m
+ 1 (M (t)um
tx (t), utx (t)) + (M (t)u (t), ut (t)) = 0,
e multiplicando por gjm e somando temos

m
m
m
m
m
m
2
m
(um
tt (t), u (t)) + (ux (t), ux (t)) + c(uxt (t), ux (t)) ([u (t) ]xx , u (t))
1
1
m
m
m
m
m
+(um
xx (t), uxx (t)) + (M (t)ut (t), u (t)) + (M (t)ux (t), ux (t))
(3.74)
1
m
m
m
+ 1 (M (t)um
tx (t), ux (t)) + (M (t)u (t), u (t)) = 0.
Fazendo simplificacoes como antes temos

1 d
2 dt
2
m
2
m
2
m
2
{|um
t (t)| + |ux (t)| + |uxx (t)| } + c|utx (t)| +
1
2
|M (t)um
t (t)|
1
m
2
m
+ 1 (M (t)um
x (t), utx (t)) + |M (t)utx (t)|
(3.75)
m
2
m
+ 1 (M (t)um (t), um
t (t)) = ([u (t) ]xx , ut (t)).
e
d
dt
c m
2
2
m
2
m
m
2
|um
(t),
u
(t))
+
(t)|
(um
|u
t (t)| + |ux (t)| + |uxx (t)|
t
2 x
1
2
|M (t)um
x (t)|
1
m
m
m
+ 1 (M (t)um
t (t), u (t)) + (M (t)utx (t), ux (t))
+ 1 |M (t)um (t)|2 = ([um (t)2 ]xx , um (t)).
(3.76)
86
Como anteriomente, observe que

m
2 m
([um (t)2 ]xx , um
t (t)) 2|ux (t)| |utx (t)|
1
2
|um (t)|4 + (c 2)|um
tx (t)|
c2 x
3
([um (t)2 ]xx , um (t)) 2|um
x (t)| .
2
Assim, substituindo em (3.75) e (3.76) respectivamente, a desigualdade |um
tx (t)|
2
|um
coes temos
t (t)| em (3.76) e somando estas equa
1 d
2 dt
m
m
2
m
2
m
2
{2(um
t (t), u (t)) + (c + 1)|ux (t)| + |ut (t)| + |uxx (t)| } +
2
2
m
2
m
|um
tx (t)| + |ux (t)| + |uxx (t)| +
1
|M (t)(um
t (t)
m
2
+ um (t))|2 + 1 |M (t)(um
tx (t) + ux (t))|
h
i
1
m
2
2
2|um
|um
.
x (t)|
x (t)| + 2(c2) |ux (t)|
(3.77)
Agora, redefinindo K m (t) como sendo

K m (t) =
1 m
2
m
2
m
2
2(ut (t), um (t)) + (c + 1)|um
(t)|
+
|u
(t)|
+
|u
(t)|
x
t
xx
2
e
K0 = |u1 |2 +
c + 2 m
1
|u0x (0)|2 + |um
(0)|2 ,
2
2 0xx
observe que
K m (0) =
1
2
m
m
2
m
2
m
2
{2(um
t (0), u (0)) + (c + 1)|ux (0)| + |ut (0)| + |uxx (0)| }
1
2
2
m
2
m
2
m
2
m
2
{|um
t (0)| + |u (0)| + (c + 1)|ux (0)| + |ut (0)| + |uxx (0)| }
1
2
2
u0 |2 + (c + 1)|e
u0x |2 + |e
u0xx |2 }
{2|um
1 | + |e
1
2
2
u0x |2 + (c + 1)|e
u0x |2 + |e
u0xx |2 }
{2|um
1 | + |e
2
|um
1 | +
c+2
|e
u0x |2
2
(3.78)
e m.
+ 12 |e
u0xx |2 = K
0
e 0m K0 , portanto e limitado por uma constante K4 que so depende de u0

Sabemos que K
e u1 .
Vejamos que K m (t) e maior do que ou igual a zero.
87
Note que, pela desigualdade de Poincare-Friedricks,

1 m 2
m
m
2
2(um
t (t), u (t)) 2|ux (t)| |ut (t)| .
2
Da,
K
1
(t)
2
1 m 2
2
2
m
m
|u (t)| + (c 1)|ux (t)| + |uxx (t)| .
2 t
(3.79)
Com isso, defina
(t) = 2
|um
x (t)|
1
2
m
+
|u (t)| .
2(c 2) x
De (3.77) temos
d
K m (t)
dt
1 m
2
2
m
2
+ |um
tx (t)| + 2 |ux (t)| + |ux (t)|
1
|M (t)(um
t (t)
+ u (t))| +
1
2
2
m (t) + |um
xx (t)| +
1
|M (t)(um
tx (t)
2
+ um
x (t))| 0.
(3.80)
Assim, por reducao ao absurdo, como feito no Captulo 2, podemos mostrar que
m (t)
1
2
e com isso temos que

d
K m (t)
dt
1
|M (t)(um
t (t)
1 m
2
2
m
2
+ |um
tx (t)| + 2 |ux (t)| + |uxx (t)| +
m
2
+ um (t))|2 + 1 |M (t)(um
tx (t) + ux (t))| 0.
(3.81)
Dessa forma, podemos obter uma solucao para o Problema (3.65), basta observar que
integrando (3.81) de 0 a t temos
R t m
R t m
Rt
2
2
2
0 K m (t) + 12 0 |um
x (s)| ds + 0 |usx (s)| ds + 0 |uxx (s)| ds+
R
R
1 t
1 t
2
m
2
m
m
(s)
+
u
(s))|
ds
+
|M
(s)(u
|M (s)(um
s
sx (s) + ux (s))| ds
0
0
e m K4 ,
K m (0) K
0
da,
2
2
M (um
t + u ) * M (ut + u ) em L (0, T ; L ()),
2
2
M (um
tx + ux ) * M (utx + ux ) em L (0, T ; L ()).
(3.82)
88
Com isso, passando limite com m +, obtemos a equacao (3.71). Finalmente, se

L2 (0, T ; H02 (t )) tal que t L2 (0, T ; L2 (t )) e (0) = (T ) = 0 entao,
Z
Z
Q
M (x, t)ut (x, t)(x, t)dxdt
=
Q
M (x, t)ux (x, t)x (x, t)dxdt =
Z
Q
M (x, t)utx (x, t)x (x, t)dxdt
M (x, t)u (x, t)(x, t)dxdt = 0,
=
Q
da, aplicando limite quando 0 temos a identidade integral (3.67).

Agora podemos obter o Decaimento Exponencial.
Da desigualdade (3.81) temos que
d
K m (t)
dt
2
m
2
m
2
+ 12 |um
x (t)| + |utx (t)| + |uxx (t)| 0, t 0.
(3.83)
2
m
2
Da desigualdade de Poincare-Friedricks temos que |um
ao
t (t)| |utx (t)| , ent
2
m
2
m
2
+ 12 |um
x (t)| + |ut (t)| + |uxx (t)| 0, t 0.
(3.84)
2
m
2
m
2
+ 12 {|um
t (t)| + |ux (t)| + |uxx (t)| } 0, t 0.
(3.85)
d
K m (t)
dt
Da,
d
K m (t)
dt
Por outro lado, como em (3.78)

K m (t) =
1
2
m
m
2
m
2
m
2
{2(um
t (t), u (t)) + (c + 1)|ux (t)| + |ut (t)| + |uxx (t)| }
2
|um
t (t)| +
c+2 m
|ux (t)|2
2
2
+ 12 |um
xx (t)| .
(3.86)
Tome 0 < 0 41 . Multiplicando 0 por (3.86) e somando com (3.85) temos

d m
K (t) + 0 K m (t) < 0.
dt
Multiplicando (3.87) pelo fator integrante e0 t temos
d
dt
(3.87)
[K m (t)e0 t ] < 0. Assim, inte-
89
grando de 0 a t, de (3.31) e (3.32) temos que K m (t)e0 t K m (0) K0 . Da,

K m (t) K0 e0 t , t 0.
(3.88)
Tomando 0 < K1 12 , observe que, de (3.79), K1 E m (t) K m (t) K0 e0 t . Entao,

E m (t) 1 e0 t , t 0,
(3.89)
onde 1 = K11 K0 .
Como no Decaimento Exponencial do Captulo 2, utilizando o Teorema de BanachSteinhaus e as convergencias (3.33) e (3.34), temos que a energia associada ao Problema
Penalizado (3.9)-(3.11) satisfaz
E (t) 1 e0 t , t 0.
(3.90)
E(t) 1 e0 t , t 0.
(3.91)
E, pelo mesmo processo,
Logo, obtivemos o resultado.
Refer
encias
[1] Boussinesq, M. J. Theorie des ondes et des remous qui se propagent le long dun
canal rectangulaire horizontal, en communiquant au liquide contenu dans ce canal
des vitesses senciblement pareilles de la surface au fond. Journal de Mathematiques
Pures et Appliquees 17 (1872), 55108.
zis, H. An
[2] Bre
alisis Funcional, Teora y Aplicaciones. Masson, 1983.
[3] Coddington, A. E. Theory of Ordinary Differenctial Equations. McGraw-Hill,
1955.
[4] Ladyzhenskaya, O. A., and Visk, M. I. Boundary value problems for partial
differential equation and certain classes of operator equations. American Mathematical
Society Translations Series 10, 2 (1958), 223281.
[5] Lmaco, J., Clark, H. R., Cousin, A. T., and Frota, C. L. On the dissipative
boussinesq equation in a non cylindrical domain. Nonlinear Analysis 67 (2007), 2321
2334.
[6] Lions, J. L. Une remarque sur les problèmes devolution non linearies dans des
domaines non cylindriques. Rev. Roumaine Math. Pure Appl. 9 (1964), 1118.
[7] Lions, J. L. Quelques Methodes de Resolution des Problemes aux Limites non
Lineaires. Dunod, 1969.
[8] Medeiros, L. A. Nonlinear wave equations in domains with variable boundary.
Arch. Ration. Mech. Anal. 47 (1972), 4758.
[9] Medeiros, L. A. Equac

oes Diferenciais Parciais. IM-UFRJ, 1981.
[10] Medeiros, L. A. Espacos de Sobolev e Introduc
ao aos Problemas Elpticos nao
Homogeneos. IM-UFRJ, 2000.
[11] Medeiros, L. A., Lmaco, J., and Clark, H. R. On equations of benjaminbona-mahony type. Nonlinear Analysis 59 (2004), 12431265.
[12] Medeiros, L. A., Lmaco, J., and Menezes, S. B. Vibrations of elastic strings:
Mathematical aspects, part two. J. Comput. Anal. Appl. 4, 3 (2002), 211263.
[13] Nakao, M., and Narazaki, T. Existence and decay of solutions of some nonlinear
wave equations in noncylindrical domains. Math. Rep. XI - 2 (1978), 117125.
[14] Varlamov, V. V. On the initial boundary value problem for the damped boussinesq
equation. Discrete and Continuous Dynamical Systems 4, 3 (1998), 431444.
[15] Varlamov, V. V. Asymptotic behavior of solutions of the damped boussinesq
equation in two space dimensions. The International Journal of Mathematics and
Mathematical Sciences 22, 1 (1999), 131145.
[16] Varlamov, V. V. On the spatially two-demensional boussinesq equation in a circular domain. Nonlinear Analysis 46 (2001), 699725.

Equa - o de Boussinesq (Reginaldo)

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Equa - o de Boussinesq (Reginaldo)

Hochgeladen von

Copyright:

Verfügbare Formate

REGINALDO DEMARQUE DA ROCHA

Dissertacao apresentada por Reginaldo

Orientador: Juan Bautista Lmaco Ferrel

R672 Rocha, Reginaldo Demarque da

REGINALDO DEMARQUE DA ROCHA

Dissertacao apresentada por Reginaldo

Prof o . Juan Bautista Lmaco Ferrel - Orientador

Enfim, `a Coordenacao de Aperfeicoamento de Pessoal de Nvel Superior (CAPES) pelo

u (x, t) (u(x, t) + ut (x, t) + (u2 (x, t))xx + uxxxx = 0 em Q;

u(x, 0) = u (x), u (x, 0) = u (x), x [ , ],

u (x, t) (u(x, t) + ut (x, t) + (u2 (x, t))xx + uxxxx = 0 em Q;

u(x, 0) = u (x), u (x, 0) = u (x), x [ , ],

Next we prove the existence of the global solution in

Base hilbertiana e Teoria Espectral . . . . . . . . . . . . . . . . . . . . . .

Existencia de Solucoes para Equacoes Diferenciais Ordinarias . . . . . . . .

onde u = u(x, t) e a componente vertical da velocidade de uma superfcie livre de um fluido

Neste trabalho, estudamos o problema de valor inicial unidimensional associado `a

u (x, t) (u(x, t) + ut (x, t) + (u2 (x, t))xx + uxxxx = 0 em Q;

u(x, 0) = u (x), u (x, 0) = u (x), x [ , ],

Neste captulo serao apresentados os espacos funcionais envolvidos no problema em

Se p = , o conjunto das funcoes mensuraveis e essencialmente limitadas em e

1.1. Espacos Funcionais

Se p = 2 tem-se o Espaco de Hilbert L2 (), com produto interno dado por

o operador derivacao de ordem ||. Se = (0, 0, . . . , 0), define-se D0 u = u.

1.1. Espacos Funcionais

Define-se a derivada de ordem || da distribuicao T sobre como sendo o funcional

u(x)(x)dx. De fato, seja

K compacto tal que supp K, entao

Com efeito, seja (m )mN D() tal que m , ou seja,

|u(x)|dx, como (m ) converge uniformemente em K compacto entao

1.1. Espacos Funcionais

O espaco (W m,p (), k km,p ) e um Espaco de Bananch, denominado Espaco de Sobolev.

1.1. Espacos Funcionais

Define-se o espaco W0m,p () como sendo o fecho de C0 () em W m,p (), em particular,

kukLp (0,T ;H) =

Se p = 2 e H e um Espaco de Hilbet, entao L2 (0, T ; H) e um Espaco de Hilbert com

(u, v)L2 (0,T ;H) =

(u(t), v(t))H dt.

Quando p = tem-se o Espaco de Banach L (0, T ; H) formado pelas funcoes u :

Como feito anteriomente, pode-se mostrar que u

1.1. Espacos Funcionais

Em particular, se u Lp (0, T ; H) entao a derivada de ordem m de u, no sentido das

1.2. Resultados Basicos

tem se, necessariamente,

|u(tj ) u(sj )| < .

Teorema 1.5 (Lebesgue) Se v e uma funcao absolutamente contnua em [0, T ], entao

Lema 1.6 (Desigualdade de Gronwall) Sejam L (0, T ) e L1 (0, T ) onde

1.2. Resultados Basicos

(s)(s)ds. Note que L1 (0, T ) e portanto e abso-

lutamente contnua, da, 0 (t) = (t)(t) (t)(t) 0 (t) (t)(t) 0. MutliRt

Teorema 1.7 (Bochner) Sejam E e F espacos de Banach.

g(s)ds, q.s em [0, T ],

1.2. Resultados Basicos

(iii) Para cada E 0

g(s)ds(t) e note que f e absolutamente contnua, da,

1.2. Resultados Basicos

g(s)ds. Sabemos que

= 0 = 0 em (0, )(T , T ) e 0 em (0, )(T , T ). Com isso, supp [, T ]

v(t)0 (t)dt e assim,

1.2. Resultados Basicos

definem distribuicoes que satisfazem

onde podemos tomar v(0) = .

e absolutamente contnua e portanto v