EDP

UNIVERSIDADE ESTADUAL DE MARINGA
CENTRO DE CIENCIAS
EXATAS
DEPARTAMENTO DE MATEMATICA
EM MATEMATICA
PROGRAMA DE POS-GRADUAC
AO
(Mestrado)
ADEMIR BENTEUS PAMPU
ncia e na
o Existe
ncia de Soluc
o Global
Existe
a
es de Ondas na
o
para uma Classe de Equac
o
Lineares de Sexta Ordem
Maringa-PR
2014

UNIVERSIDADE ESTADUAL DE MARINGA
CENTRO DE CIENCIAS
EXATAS
DEPARTAMENTO DE MATEMATICA
EM MATEMATICA
PROGRAMA DE POS-GRADUAC
AO
ncia e na
o existe
ncia de
Existe
o global para uma classe de
soluc
a
es de ondas na
o lineares de
equac
o
sexta ordem
Ademir Benteus Pampu
Dissertacao apresentada ao Programa de PosGraduacao em Matematica do Departamento de Matematica, Centro de Ciencias Exatas da Universidade
Estadual de Maringa, como requisito para obtencao
do ttulo de Mestre em Matematica.
Area
de concentracao: Analise.
Orientador: Prof. Dr. Juan Amadeo Soriano Palomino.

Maringa-PR, 26 de outubro de 2014
RESUMO
Neste trabalho estudaremos o problema de existencia e unicidade de solucao local e global
do seguinte problema de Cauchy para uma classe de equacoes de onda nao lineares de
sexta ordem
utt auxx + uxxxx + uxxxxtt = |ux |px
u(0) = u0 ,
ut (0) = u1
onde consideramos os dados iniciais em espacos de Sobolev de ordem fracionaria. Determinamos a existencia e unicidade de solucao local aplicando o metodo do ponto fixo.
Alem disso, estudamos o problema de existencia e nao existencia de solucao global fazendo
uso do metodo do poco potencial.
PALAVRAS-CHAVE: Equacao da onda nao linear de sexta ordem, Existencia de
solucao global, Poco potencial.
ABSTRACT
In this work we study the problem of existence and uniqueness of local and global solution
of the following Cauchy problem for a class of nonlinear wave equations of sixth order
u(0) = u0 ,
ut (0) = u1
where we take the initial data in Sobolev spaces of fractional order. We stipulate the
existence and uniqueness of local solution by applying the contraction mapping principle.
Moreover, we study the problem of existence and nonexistence of global solutions making
use of the pottential well method.
KEYWORDS: Nonlinear wave equation of sixth order, Existence of global solution,
Pottential well.
rio
Suma
Introduc
ao
1 RESULTADOS PRELIMINARES
1.1
Espacos de funcoes Lebesgue integraveis . . . . . . . . . . . . . . . . . . .
1.2
Distribuicoes e derivada distribucional . . . . . . . . . . . . . . . . . . . . 12
1.3
Transformada de Fourier e Espaco de Schwartz . . . . . . . . . . . . . . . . 15
1.4
Distribuicoes temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5
Espacos de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.6
Espacos de Sobolev de ordem fracionaria . . . . . . . . . . . . . . . . . . . 21
1.7
Os Espacos Lp (0, T ; X) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.8
O problema de Cauchy abstrato . . . . . . . . . . . . . . . . . . . . . . . . 29
LOCAL
2 EXISTENCIA
DE SOLUC
AO
33
2.1
O problema linear associado . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.2
Estimativas para o termo nao linear . . . . . . . . . . . . . . . . . . . . . . 39
2.3
Existencia de solucao local . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
EXISTENCIA
GLOBAL
3 EXISTENCIA
E NAO
DE SOLUC
AO
51
3.1
Funcional de energia e o poco potencial . . . . . . . . . . . . . . . . . . . . 52
3.2
O caso E(0) d
3.3
O caso E(0) > 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

SUMARIO
A APENDICE
81
A.1 Espacos de Sobolev e Algebras

de Banach . . . . . . . . . . . . . . . . . . 81

INTRODUC
AO
Neste trabalho apresentaremos os resultados de [30] e [27] acerca do problema de existencia
e unicidade de solucao local e global do seguinte problema de Cauchy:

u(0) = u0 ,
ut (0) = u1
()
()
cujo os dados iniciais em (**) tomamos nos espacos de Sobolev de ordem fracionaria
H s (R).
A equacao (*) foi introduzida por P. Rosenau em [22] e possui muitas propriedades
semelhantes a equacao de Boussinesq que pode ser apresentadas, em duas formas basicas,
como
utt + uxxxx uxx = (u2 )xx
e
utt uxxtt uxx = (u2 )xx .
Como referencias ao estudo das equacoes de Boussinesq podemos citar, por exemplo, [31],
[21], [16] e [24]. Os trabalhos [28] e [32] estudaram a seguinte variacao da equacao (*)
utt auxx + uxxxx + uxxxxtt = (f (u))xx
sendo, em [28], f (u) = |u|p , para > 0. Em [32] prova-se a existencia e nao existencia
de solucao global para f (u) = |u|p u, > 0.
Abordamos o problema de existencia e unicidade de solucao local fazendo uso do
metodo do ponto fixo, tal abordagem e inspirada no trabalho [18].
A existencia e nao existencia de solucao global e abordada por meio do metodo do poco
potencial (potential wells), que foi introduzido por Sattinger em [25] e Payne-Sattinger em
[26]. Este problema foi estudado em [30] no caso em que a energia inicial E(0) associado
ao problema e suficientemente pequeno. No caso em que garante-se que nao existe solucao
global u do problema (*) e (**) prova-se, ainda, que existe T1 > 0, tal que,
lim ku(t)kH s =
tT1
dizemos assim que a solucao do problema de Cauchy (*) e (**) explode (tem blows-up) em
tempo finito. A contribuicao ao estudo do problema (*) e (**), dada em [27], consiste em
introduzir um novo conjunto estavel (um novo poco potencial) o que possibilita estipular
um resultado que garante, sob as hipoteses adequadas, a existencia e unicidade de solucao
global para este problema de Cauchy quando E(0) > 0.
Esta dissertacao esta organizada da seguinte maneira: No captulo 1 apresentamos
os principais resultados e notacoes a serem utilizados no estudo de nosso problema. No
captulo 2 estudamos o problema de existencia e unicidade de solucao local para o problema de Cauchy (*) e (**), provando neste captulo as estimativas necessarias para a
aplicacao do metodo do ponto fixo e que tambem apresentam grande utilidade no estudo do problema de existencia de solucao global. No captulo 3 introduzimos o poco
potencial e fazemos o estudo do problema de existencia e nao existencia de solucao global. Por fim, no apendice, apresentamos a demonstracao de que H s (R) L (R), s > 0
e uma algebra, provando ainda uma u
til estimativa para a norma do produto uv, para
u, v H s (R) L (R).
Captulo 1
RESULTADOS PRELIMINARES
Com o intuito de tornar o texto o mais autossuficiente possvel apresentaremos neste

captulo os principais resultados e notacoes a serem utilizadas ao longo deste trabalho.
1.1
Espacos de funco
es Lebesgue integr
aveis
Seja Rn um conjunto aberto, denotamos por Lp (), 1 p < , o conjunto das

funcoes mensuraveis de em K (onde K denota o corpo dos n
umeros reais ou complexos)
tais que,
Z
p1
|f (x)| dx
kf kp :=
<
sendo, a integral acima, entendida no sentido de Lebesgue.

Proposic
ao 1.1.1 (Desigualdade de Holder). Sejam 1 < p, q < ,
1
p
1
q
= 1, tais que
f Lp () e g Lq (), entao f.g L1 () e

kf gk1 kf kp kgkq
Demonstrac
ao: Ver [4].
Proposic
ao 1.1.2 (Desigualdade de Minkowski). Suponha que 1 p < , se
f, g Lp (), entao f + g Lp () e
kf + gkp kf kp + kgkp
Demonstrac
ao: Ver [4].
1.1 Espacos de funcoes Lebesgue integraveis
10
Em geral, k.kp nao define uma norma em Lp () pois pode-se ter kf kp = 0 com f 6= 0.
Introduzimos, assim, uma relacao de equivalencia dizendo que duas funcoes f, g : K
sao equivalentes se f = g quase sempre, denotando por [f ] tal classe de equivalencia
obtemos o espaco quociente
Lp () = {[f ]; f Lp ()} .
Alem disso, definindo
k[f ]kLp := kf kp
temos que (Lp (), k.kLp ) e um espaco normado. Do mesmo modo, definimos L () como
o espaco vetorial das (classes de) funcoes limitadas quase sempre e munimos tal espaco
com a norma
k[f ]kL = supess{|f (x)|; x }.
Note que, neste caso, a desigualdade de Holder 1.1.1 pode ser reescrita dizendo que, dados
f L () e g L1 (), f g L1 () e
Z
kf gkL1 =
|f (x)g(x)|dx
Z
|g(x)|dx = kf kL kgkL1 .
kf kL
Por simplicidade de notacao, denotaremos as classes de funcoes [f ] dos espacos Lp (),

1 p , simplesmente por f .
Teorema 1.1.3. Dados 1 p e Rn um conjunto aberto, os espacos (Lp (), k.kLp )
sao espacos de Banach, em particular, L2 () e um espaco de Hilbert, onde, dados
u, v L2 (),
Z
(u, v)L2 =
u(x)v(x)dx.
Alem disso,
(i) Se 1 < p < os espacos Lp () sao reflexivos e separaveis com (Lp ())0 = Lq (),
onde
1
p
1
q
= 1 e, dado (Lp ())0 , existe um u

nico f Lq () tal que, para todo
1.1 Espacos de funcoes Lebesgue integraveis
11
g Lp (),
Z
(g) =
f (x)g(x)dx
e kk(Lp ())0 = kf kLq .

(ii) O espaco L1 () e separavel, no entanto nao e reflexivo e L () nao e reflexivo
nem separavel. Temos ainda que (L1 ())0 = L () e, dado (L1 ())0 , existe
um u
nico f L () tal que, para todo g L1 (),
Z
f (x)g(x)dx.
(g) =
e kk(L1 ())0 = kf kL .
Demonstrac
ao: Ver [2], captulo 4.
Sejam f L1 (Rn ) e g Lp (Rn ) com 1 p , definimos a convolucao de f por g
como f g : Rn R onde
Z
f (x y)g(y)dy.
(f g)(x) =
Rn
Proposic
ao 1.1.4 (Desigualdade de Young). Sejam f L1 (Rn ) e g Lp (Rn ) com
1 p , entao f g Lp (Rn ) e
kf gkLp kf kL1 kgkLp .
Demonstrac
ao: Ver [2].
Proposic
ao 1.1.5 (Lema de Lions). Seja (um ) uma sequencia em Lq (), Rn um
conjunto aberto, com 1 < q < . Se,
(i) um u quase sempre em ;
(ii) kum kLq C, para todo m N;
entao, um converge fraco à u em Lq ().
Demonstrac
ao: Ver [15].
1.2 Distribuicoes e derivada distribucional
12
Proposic
ao 1.1.6 (Desigualdade de Gronwall). Sejam z L (0, T ) e f L1 (0, T ) tais
que z(t) 0, f (t) 0 e seja c uma constante nao negativa. Se
Z
f (t) c +
z(s)f (s)ds,
0
para todo t [0, T ], entao,

Rt
f (t) ce
z(s)ds
para todo t [0, T ].

Demonstrac
ao: Ver [3].
Denotaremos por Lploc (), 1 p < , o espaco das (classes de) funcoes f : K
tais que |f |p e integravel no sentido de Lebesgue sobre cada compacto K . Dado uma
sequencia (fn )nN em Lploc () e f Lploc () diremos que
fn f
em
Lploc ()
se, e somente se, para cada compacto K , tem-se

Z
pK (fn f ) =
|fn (x) f (x)| dx
p1
0.
1.2
Distribuico
es e derivada distribucional
A Teoria das Distribuicoes, formulada rigorosamente por L. Schwartz por volta de 1945,
nos fornece uma teoria geral e simples para tratarmos de problemas que envolvem equacoes
diferenciais parciais. Apresentaremos, a seguir, uma breve introducao a tal teoria, com
enfase no conceito de derivada distribucional.
Dado = (1 , ..., n ) N vamos denotar por || = 1 + ... + n , assim a derivada
parcial de ordem || sera denotada por
||
D =
.
x1 1 ...xnn
Note que D0 , onde 0 = (0, 0, ..., 0), representa o operador identidade.
13
Considerando Rn um conjunto aberto, denotamos por C0 () o conjunto das

funcoes u : K infinitamente diferenciaveis, tais que o suporte de u, definido por
supp(u) = {x ; u(x) 6= 0}
e um conjunto compacto de Rn . Diremos que, dado uma sequencia (m )mN tem-se

m 0
em C0 ()
(1.2.1)
se, e somente se,

Existe um conjunto compacto K tal que, para todo m N, supp(m ) K.
Para todo = (1 , ..., n ) Nn , D m 0 uniformemente sobre K.
Definimos o espaco de funcoes teste D() como o conjunto C0 () munido da nocao
de convergencia dada em (1.2.1).
Proposic
ao 1.2.1. C0 () e denso em Lp (), para 1 p < .
Demonstrac
ao: Ver [5].
Definic
ao 1.2.2. Dado Rn um conjunto aberto, definimos uma distribuicao sobre
como toda forma linear sequencialmente contnua sobre D(). Denotaremos por D0 () o
espaco vetorial das distribuicoes sobre .
importante observar que dizemos que uma aplicacao T : D() K e sequencialE
mente contnua quando, dado (m ) uma sequencia em D(),
T (m ) 0 em K sempre que
m 0 em D().
Dados uma sequencia (Tm ) em D0 () e T D0 (), diremos que (Tm )mN converge a`
T , em D0 (), se, e somente se, para toda D()
hTm , i = Tm () hT, i .
14
Considere a distribuicao T sobre Rn e Nn . A derivada de ordem || de T e

definida por:
hD T, i = (1)|| hT, D i .
0
Temos que D T D (), alem disso a aplicacao

0
D : D () D ()
T 7 D T
e linear e sequencialmente contnua.
Exemplo 1.2.3.
(i) Vamos considerar Rn um conjunto aberto e u L1loc ().
Definindo Tu : D() K tal que, para cada D(),

Z
hTu , i =
u(x)(x)dx
temos que Tu e uma distribuicao sobre .
Mais precisamente, prova-se que
L1loc () , D0 (), onde , denota que L1loc () tem imersao contnua em D0 ().
(ii) Defina, para cada x0 , x0 : D() K tal que, para cada D(),
hx0 , i = (x0 ).
Prova-se que x0 e uma distribuicao sobre e, alem disso, nao existe u L1loc ()
tal que x0 = Tu .
(iii) Dado u C k (Rn ) temos que as derivadas distribucionais e derivadas no sentido
classico coincidem, isto e, D Tu = TD u , para todo || k. Por outro lado,
considerando a funcao de Heaviside u : R R tal que,
1 ,
u(x) =
0 ,
se x 0.
se x < 0.
apesar de u nao ser derivavel, no sentido classico, em x = 0 prova-se que u admite

derivada distribucional e
d
T
dx u
= Tv .
d
T
dx u
= 0 . Observe que nao existe v L1loc (R) tal que
1.3 Transformada de Fourier e Espaco de Schwartz
1.3
15
Transformada de Fourier e Espa

co de Schwartz
Dado f L1 (Rn ) definimos a transformada de Fourier de f como

n
2
ei<,y> f (y)dy
F[f ]() = (2)
Rn
onde, dados = (1 , ..., n ), y = (y1 , ..., yn ) R , < , y >=
n
X
yi i .
i=1
1
n
Teorema 1.3.1. A transformada de Fourier de f L (R ) e uma funcao contnua,

limitada e satisfaz a desigualdade
n
kF[f ]kL (2) 2 kf kL1 .
(1.3.2)
Em particular, a aplicacao f 7 F[f ] e um operador linear e contnuo de L1 (Rn ) em

L (Rn ). Mais ainda,
lim F[f ]() = 0.
kk
(1.3.3)
Demonstrac
ao: Ver [13].
Proposic
ao 1.3.2. Sejam f, g L1 (Rn ), entao F[f g] L1 (Rn ) e, para todo Rn ,
n
F[f g]() = (2) 2 F[f ]()F[g]()
(1.3.4)
Prova: Ver [13].

O Espaco de Schwartz, ou espaco das funcoes rapidamente decrescentes, que denotamos por S(Rn ) e o subespaco vetorial de C (Rn ) formado pelas funcoes C (Rn ) tais
que
lim kxkk D (x) = 0
kxk
quaisquer que sejam k N0 e Nn0 , onde N0 = N {0}.

Note que C0 (Rn ) S(Rn ), isto e, toda funcao teste e uma funcao de decrescimento
rapido.
Proposic
ao 1.3.3. Uma funcao C (Rn ) pertence a S(Rn ) se, e somente se, kxkk D
16
e limitado em Rn , quaisquer que sejam k N0 e Nn0 .

Prova: Ver [5].
Proposic
ao 1.3.4. Seja S(Rn ) e q = (q1 , ..., qn ) Nn , entao xq S(Rn ), onde
dado x = (x1 , ..., xn ) Rn denotamos xq = xq11 xq22 ...xqnn .
Prova: Ver [5].
Uma seminorma em um espaco vetorial X e uma aplicacao p : X R que satisfaz as
propriedades:
(i) p(x) 0, para todo x X;
(ii) p(x) = ||p(x), para todo K e todo x X;
(iii) p(x + y) p(x) + p(y) para quaisquer x, y X.
Note que uma seminorma difere de uma norma por p(x) = 0 nao necessariamente ser
equivalente a x = 0.
Vamos considerar P uma famlia de seminormas no espaco vetorial X. Dados x0 X,
n N, > 0 e p1 , p2 , ..., pn P defina
V (x0 , p1 , ..., pn ; ) = {x X; pi (x x0 ) < , i = 1, 2..., n.}.
Para cada x X chamamos de Vx a colecao de todos os subconjuntos de X da forma
V (x, p1 , ..., pn ; ), com n N, p1 , ..., pn P e > 0.
Teorema 1.3.5. Seja P uma famlia de seminormas no espaco vetorial X. Entao:
(i) Existe uma topologia P que, cada x X, admite Vx como base de vizinhancas, isto
e,
P = {G X; para cada x G existe U Vx tal que U G}.
(ii) (E, P ) e um espaco vetorial topologico localmente convexo, ou seja, toda vizinhanca
da origem contem um aberto convexo contendo a origem.
17
(iii) (E, P ) e um espaco de Hausdorff se, e somente se, para cada 0 6= x X existir
uma seminorma p P tal que p(x) 6= 0.
Demonstrac
ao: Ver [4].
Introduzimos, em S(Rn ), a topologia P dando a seguinte famlia enumeravel de seminormas
P = {pm,k : S(Rn ) R; pm,k () = sup sup (1 + kxk2 )k |D (x)|}.
||m xRn
Proposic
ao 1.3.6.
(i) S(Rn ) tem imersao contnua em Lp (Rn ), 1 p , sendo tal
imersao densa se 1 p < .

(ii) C0 (Rn ) e denso em S(Rn ).
Demonstrac
ao: Veja [5].
Uma das principais vantagens de trabalharmos com o espaco de Schwartz e que, restrito a este espaco, a transformada de Fourier e rica em propriedades, o que nos fornece
muitas ferramentas para estudarmos equacoes diferenciais. Listamos abaixo algumas destas propriedades.
Proposic
ao 1.3.7. Se S(Rn ), entao F[] S(Rn ) e, alem disso,
(i) (i)|| F[D f ] = F[f ].
(ii) (i)|| F[x f ] = D F[f ].
Prova: Ver [13].
Teorema 1.3.8 (Identidade de Parseval). Sejam f, g S(Rn ). Entao,
(f, g)L2 = (F[f ], F[g])L2
equivalentemente,
kf kL2 = kF[f ]kL2 ,
para toda f, g S(Rn ).
1.4 Distribuicoes temperadas
18
Demonstrac
ao: Ver [13].
Teorema 1.3.9. Seja f S(Rn ). Entao,
n
2
eih,xi F[f ]()d.
f (x) = (2)
Rn
Demonstrac
ao: Ver [13].
Pelo Teorema 1.3.9, podemos introduzir a Transformada de Fourier Inversa pela formula,
F
[f ](x) = (2)
n
2
f ()eih,xi d
Rn
para toda f S(Rn ).

Proposic
ao 1.3.10. Para , S(Rn ), tem-se
n
(2) 2 F[] = F[] F[].
Prova: Ver [17].

Teorema 1.3.11. A transformada de Fourier
F : L2 (Rn ) L2 (Rn )
definida como a u
nica extensao da transformada de Fourier F de S(Rn ) a L2 (Rn ) e um
operador unitario.
Demonstrac
ao: Ver [13].
1.4
Distribuico
es temperadas
Definic
ao 1.4.1. Definimos como uma distribuicao temperada todo funcional linear contnuo
T S 0 (Rn ), onde S 0 (Rn ) e o dual topologico de S(Rn ).
A proposicao 1.3.6-(ii) nos permite identificar S 0 (Rn ) com um subespaco de D0 (Rn ).
1.4 Distribuicoes temperadas
19
Dada T S 0 (Rn ), podemos definir a transformada de Fourier F[T ] como

hF[T ], i = hT, F[]i para toda S(Rn ).
Do mesmo modo, a transformada de Fourier inversa de uma distribuicao temperada
T S 0 (Rn ) e dada por

F 1 [T ], = T, F 1 [] para toda S(Rn ).
Tanto a transformada de Fourier, quanto a transformada de Fourier inversa, de uma

distribuicao temperada T sao distribuicoes temperadas e
F[F 1 [T ]] = F 1 [F[T ]] = T.
Dizemos que uma funcao C (Rn ) e de crescimento lento se, para todo Nn ,
existirem > 0, C() > 0 e um inteiro N () > 0 tais que
|D (x)| C()(1 + kxk2 )N ()
para todo x Rn com kxk > . Denotamos o conjunto das funcoes de crescimento lento
como Q(Rn ).
Proposic
ao 1.4.2. Seja T S 0 (Rn ), Q(Rn ) e Nn ,
(i) O funcional linear T definido por
hT, i = hT, i
e um elemento de S 0 (Rn ), chamado produto da distribuicao temperada T com a
funcao .
(ii) (i)|| F[D T ] = F[T ], onde o produto F[T ] e definido como no item (i).
(iii) D F[T ] = (i)|| F[x T ].
Demonstrac
ao: Ver [13].
1.5 Espacos de Sobolev
1.5
20
Espacos de Sobolev
Assim como vimos no exemplo (1.2.3)(iii) nem sempre a derivada distribucional de uma
funcao u L1loc (), Rn aberto, e ainda uma distribuicao definida por uma funcao
localmente integravel, tal fato nos motiva introduzir o conceito de Espaco de Sobolev.
Definic
ao 1.5.1. Seja Rn um conjunto aberto, 1 p e m N definimos o Espaco de Sobolev W m,p () como o espaco vetorial de toda u Lp (), tal que
D u Lp (), para todo || m, e munimos tal espaco com a norma
p1
kukW m,p =
kD ukpLp , se 1 p < ;
||m
kukW m, =
kD ukL .
||m
Proposic
ao 1.5.2. O espaco de Sobolev W m,p () e um espaco de Banach, para m N
e 1 p . Se 1 < p < , W m,p () e um espaco reflexivo.
Demonstrac
ao: Ver [5].
Observac
ao 1.5.3. No caso em que p = 2, representamos W m,2 () por H m (), devido
ao fato de sua norma provir do produto interno
(u, v)H m =
(D u, D v)L2 , u, v H m ()
||m
sendo assim, H m () e um espaco de Hilbert.

W m,p ()
Definimos o espaco W0m,p () = C0 ()
Teorema 1.5.4. D(Rn ) e denso em W m,p (Rn ), para m N e 1 p < , em outras

palavras, W0m,p (Rn ) = W m,p (Rn ).
Demonstrac
ao: Ver [5].
Suponha 1 p < e q > 1 tais que
1
p
1
q
= 1. Representa-se por W m,q () o dual
topologico de W0m,p (). Deste modo, (H0m ())0 = H m ().
1.6 Espacos de Sobolev de ordem fracionaria
21
Teorema 1.5.5. Seja T uma distribuicao sobre , entao T W m,p () se, e somente
se, existem funcoes g Lq (), || m, tais que
T =
D u.
||m
Demonstrac
ao: Ver [5].
1.6
Espacos de Sobolev de ordem fracion

aria
Proposic
ao 1.6.1. Para todo m N temos
m
H m (Rn ) = {u S 0 (Rn ); (1 + kk2 ) 2 F[u] L2 (Rn )}.

Alem disso,
Z
2 m
12
(1 + kk ) |F[u]()| d
kuk =
Rn
define uma norma em H m (Rn ), que e equivalente a k.kH m .

Demonstrac
ao: Ver [5].
Motivados pela proposicao acima definiremos os espacos de Sobolev de ordem fracionaria H s (Rn ).
Definic
ao 1.6.2. Seja s R, definimos os espacos de Sobolev de ordem fracionaria
H s (Rn ) como o espaco vetorial
s
H s (Rn ) = {u S 0 (Rn ); (1 + kk2 ) 2 F[u] L2 (Rn )}

e consideramos este espaco munido do produto interno
Z
(f, g)H s =
(1 + kk2 )s F[f ]()F[g]()d
Rn
para todo f, g H s (Rn ).

Prova-se que, munido de tal produto interno, os espacos H s (Rn ), s R, sao espacos
22
de Hilbert.
Proposic
ao 1.6.3. Dados s, s0 R,
0
(i) H s (Rn ) H s (Rn ) se s s0 . Alem disso, esta inclusao e contnua e densa.

(ii) O dual topologio de H s (Rn ) e isometricamente isomorfo a H s (Rn ).
Demonstrac
ao: Ver [13], pagina 304.
Observac
ao 1.6.4. Segue da proposicao (1.6.3) que, se s 0, H s (Rn ) esta imerso
continuamente em L2 (Rn ), note que isto e falso, em geral, se s < 0. Por exemplo,
0 H s (Rn ) para todo s > n2 .
Proposic
ao 1.6.5. Dado s R, s 0, segue que,
(i) S(Rn ) tem imersao contnua e densa em H s (Rn ).
(ii) D(Rn ) tem imersao contnua e densa em H s (Rn ).
Demonstrac
ao: Ver [5].
Teorema 1.6.6. Sejam k N e s R. Se s >
n
2
+ k, entao H s (Rn ) esta continuamente
imerso em C k (Rn ) L (Rn ), assim,

X
kD ukL CkukH s .
(1.6.5)
||k
Demonstrac
ao: Ver [14].
Corol
ario 1.6.7. Para todo s >
1
2
e p > 1, H s (R) esta continuamente imerso em
Lp+1 (R).
Prova: Veja que, por p > 1, podemos escrever p + 1 = q + 2, com q > 0, e como s >
1
2
temos pelo teorema 1.6.6 que H s (R) , L (R) alem disso H s (R) , L2 (R), pois s > 0,
sendo assim, para todo u H s (R),
Z
p+1
|u(x)|
R
|u(x)|q+2 dx
R
Z
q
kukL |u(x)|2 dx
dx =
CkukqH 2 kuk2H s = Ckukp+1

Hs
23
Provando que H s (R) esta continuamente imerso em Lp+1 (R).

n
2
Proposic
ao 1.6.8. Considere s >
e f H s (Rn ), entao F[f ] L1 (Rn ) com
kF[f ]kL1 Ckf kH s .
Prova: Observe que,

Z
Rn
(1 + kk2 ) 2 (1 + kk2 ) 2 |F[f ]()|d
|F[f ]()|d =
Rn
Z
(1 + kk2 )s d
Rn
12 Z
(1 + kk2 )s |F[f ]()|2 d
12
Rn
onde, nesta u
ltima desigualdade, usamos a desigualdade de Holder pois, sendo s > n2 ,
Z
c=
(1 + kk2 )s d < .
Rn
Do exposto acima podemos concluir que F[f ] L1 (Rn ) e

kF[f ]kL1 ckf kH s .

Antes de enunciarmos a proxima proposicao vamos relembrar um resultado classico
de Analise Funcional.
Lema 1.6.9 (Teorema de Aplicacao Aberta). Sejam X, Y espacos de Banach e
T : X Y linear, contnuo e sobrejetor. Entao T e uma aplicacao aberta, isto e,
T (A) e aberto em Y , sempre que A e aberto em X. Em particular, todo operador linear
contnuo e bijetor entre espacos de Banach e um isomorfismo.
Demonstrac
ao: Ver [4].
Proposic
ao 1.6.10. Temos que,

2

u
2u
2
n
2
n n
H (R ) = u L (R ); u =
, ..., 2 (L (R )) .
x21
xn
2
24
Alem disso, existe C > 0 tal que
kuk2L2
kukH 2 C
! 21
n 2 2
X
u

+
.
x2 2
i=1
(1.6.6)
Prova: Denotando por

2

u
2u
2
n
2
n n
X = u L (R ); u =
, ..., 2 (L (R ))
x21
xn
da definicao dos Espacos de Sobolev, H 2 (Rn ) X, devemos entao provar que
X H 2 (Rn ). Como L2 (Rn ) , S 0 (Rn ), dado u X, pela proposicao 1.4.2,

2u
F
= i2 F[u]
x2i

assim, do Teorema 1.3.11 segue que,

2
2

u
= F u = ki2 F[u]kL2 .

2
x2 2
xi L2
i L
Dado Nn , caso || = 1 temos que = (0, ..., 1, 0, ..., 0), neste caso, pelo Teorema
1.3.11, se provarmos que ii F[u] = F[D u] L2 (Rn ) teremos que D u L2 (Rn ).
Temos que,
Z
(1 + i2 ) |F[u]()|2 d
Rn | {z }
|i F[u]()| d
Rn
(1+i2 )2
(|F[u]()| + i2 |F[u]()|)2 d
{z
}
Rn |
(a+b)2 2a2 +2b2 ,a,bR
Z
2
|F[u]()| d + 2
Rn
Rn
(i2 |F[u]()|)2 d <
deste modo D u L2 (Rn ), se || = 1. Caso || = 2 e = (0, ..., 1, 0, ..., 1, 0, ...0),

novamente pelo Teorema 1.3.11, se i j F[u] = F[D u] L2 (Rn ) entao D u L2 (Rn ).
25
Observando que, por hipotese, u (L2 (Rn ))n temos que,

Z
((i2 + j2 )|F[u]()|)2 d
Z
Z
2
2
2
|i F[u]()| d + 2
|j2 F[u]()|2 d <
|i j F[u]()| d
Rn
Rn
Rn
Donde segue que D u L2 (Rn ).
Rn
Nos demais casos onde || 2, por hipotese,
D u L2 (Rn ), sendo assim, u H 2 (Rn ), isto e, X H 2 (Rn ). Donde X = H 2 (R).

Vamos provar agora a desigualdade (1.6.6). Observe, em primeiro lugar que,
kuk =
kuk2L2
! 21
n 2 2
X
u

+
x2 2
i=1
define uma norma em X e a aplicacao identidade

I : (H 2 (Rn ), k.kH 2 ) (X, k.k)
e linear, contnua e bijetora. Em face do Teorema da Aplicacao Aberta, caso (X, k.k)
seja um Espaco de Banach, I 1 : (X, k.k) (H 2 (Rn ), k.kH 2 ) e linear e contnua, ou seja,
(1.6.6) e verificado para todo u H 2 (Rn ). Vamos mostrar, entao, que (X, k.k) e um
espaco de Banach, para isto considere (um )mN uma sequencia de Cauchy em X, assim,
2
(um ), xu2m , i = 1, ..., n, sao sequencias de Cauchy no espaco de Banach L2 (Rn ), donde
i
existem u, u1 , ..., un L2 (Rn ) tais que

um u
em
L2 (Rn )
2 um
u i
x2i
em
L2 (Rn )
um u
em
D0 (Rn )
2 um
ui
x2i
em
D0 (Rn )
como L2 (Rn ) , D0 (Rn ),
26
porem, sendo o operador derivacao contnuo em D0 (Rn ),

2 um
2u
x2i
x2i
pela unicidade do limite em D0 (Rn ),
2u
x2i
D0 (Rn )
em
= ui para todo i = 1, ..., n. Portanto u X e
un u
em
logo X e um Espaco de Banach. Assim, como ja observamos, pelo Teorema da Aplicacao

Aberta existe C > 0 tal que, para todo u H 2 (Rn ),
kukH 2 C
kuk2L2
! 21
n 2 2
X
u

+
.
x2 2
i=1

De modo alternativo a definicao 1.6.2, podemos definir, para s (0, 1) e 1 p < ,
os espacos de Sobolev de ordem fracionaria W s,p (Rn ) como
W
s,p

Z
p
n
(R ) = u L (R );

|u(x) u(y)|p
dxdy <
|x y|n+sp
Rn
Rn
(1.6.7)
tais espacos sao tambem conhecidos como espacos de Aronszajn, Gagliardo ou Slobodeckij.
Os espacos de Sobolev W s,p (Rn ) sao espacos de Banach quando munidos da norma
Z
|u(x)| dx +
kukW s,p =
Rn
Rn
Rn
|u(x) u(y)|p
dxdy
|x y|n+sp
p1
.
(1.6.8)
Proposic
ao 1.6.11. Para s (0, 1), C0 (Rn ) e denso em W s,p (Rn ).
Demonstrac
ao: Ver [1].
Teorema 1.6.12. Seja s (0, 1). O espaco de Sobolev de ordem fracionaria H s (Rn ),
dado na Definicao 1.6.2 coincide com o espaco de Sobolev W s,2 (Rn ) definido em (1.6.7).
Alem disso tais espacos tem normas equivalentes.
Demonstrac
ao: Ver [19], Proposition 3.4, pg. 532.
1.7 Os Espacos Lp (0, T ; X)
27
Os Espacos Lp(0, T ; X)
1.7
Definiremos, nesta secao, os espacos Lp (0, T ; X), a construcao de tais espacos esta baseada na teoria de integracao vetorial, a qual e tratada, de forma resumida em [4]. Um
tratamento mais detalhado das propriedades dos espacos Lp (0, T ; X) pode ser encontrado
em [29].
Teorema 1.7.1. Seja X um espaco de Banach. Uma funcao f : [0, T ] X fortemente
mensuravel e integravel (à Bochner) se, e somente se, t kf (t)kX e Lebesgue-integravel.
Neste caso,
Z

Z

f (t)dt
kf (t)kX dt
e,
Z
,
0

f (t)dt
h, f (t)iX 0 ,X dt
X 0 ,X
para cada X 0 .
Demonstrac
ao: Ver [4].
Definic
ao 1.7.2. Seja X um espaco de Banach e 0 T < .
(i) O espaco C m ([0, T ]; X), com m = 0, 1, ..., consiste de todas as funcoes contnuas
u : [0, T ] X que tem derivadas contnuas ate a ordem m. Munimos tal espaco
com a norma
m
X
kukC m ([0,T ];X) =
i=1
max kui (t)kX .
0tT
(1.7.9)
(ii) O espaco Lp (0, T ; X), com 1 p < consiste de todas as (classes de) funcoes
fortemente mensuraveis u :]0, T [ X com
Z
kukLp (0,T ;X) :=
p1
ku(t)kpX dt
<
e a expressao acima define uma norma em Lp (0, T ; X).
(1.7.10)
1.7 Os Espacos Lp (0, T ; X)
28
(iii) O espaco L (0, T ; X) consiste de todas as (classes de) funcoes fortemente mensuraveis u :]0, T [ X essencialmente limitadas em ]0, T [, isto e, funcoes tais que
existe um n
umero real B > 0 e tem-se
ku(t)kX B quase sempre em ]0, T [.
Munimos este espaco com a norma
kukL (0,T ;X) = inf{B; ku(t)kX B, quase sempre em
=
sup essku(t)kX .
]0, T [}
(1.7.11)
0tT
Proposic
ao 1.7.3. Dado X um espaco de Banach, m N e 1 p temos que,
(i) Os espacos C m ([0, T ]; X) e Lp (0, T ; X) munidos das normas k.kC m ([0,T ];X) e k.kLp (0,T ;X) ,
respectivamente, sao espacos de Banach.
(ii) Se 1 p < , C([0, T ]; X) e denso em Lp (0, T ; X) e a imersao
C([0, T ]; X) Lp (0, T ; X).
e contnua.
(iii) Se 1 p < e X e separavel entao Lp (0, T ; X) e separavel.
Demonstrac
ao: Ver [29].
Prova-se (veja [29]) que, dado um espaco de Banach reflexivo e separavel e 1 < p < ,
entao Lp (0, T ; X) e reflexivo e separavel, alem disso e valida a seguinte identificacao
(Lp (0, T ; X))0 = Lq (0, T ; X 0 )
onde
1
p
1
q
= 1. No caso em que p = 1 temos a seguinte identificacao

(L1 (0, T ; X))0 = L (0, T ; X 0 )
mais precisamente, existe uma aplicacao linear bijetora que associa a cada v (L1 (0, T ; X))0
1.8 O problema de Cauchy abstrato
29
um u
nico v L (0, T ; X 0 ) tal que
Z
hv, ui =
hv(t), u(t)iX 0 ,X dt,

0
para todo u L1 (0, T ; X) e kvk(L1 (0,T ;X))0 = kvkL (0,T ;X 0 ) .

Veja
que,
da
discussao
acima,
dada
uma
sequencia
limitada
(un )
em
L (0, T ; X 0 ) = (L1 (0, T ; X))0 , por L1 (0, T ; X) ser separavel, temos que existe uma subsequencia (uni ) que converge fraco-*, isto e, para todo u L1 (0, T ; X),
Z
Z
hvni (t), u(t)idt
1.8
hv(t), u(t)idt, quando ni .

0
O problema de Cauchy abstrato
Nesta secao abordaremos o problema de determinar a existencia e unicidade de solucao

u : [0, T ] X, X um espaco de Banach, para o problema de Cauchy
u0 (t) = Au(t) + f (t)
(1.8.12)
u(0) = u0
(1.8.13)
u0 X, A : D(A) X X, onde D(A) e o domnio do operador linear A, e

f : [0, T [ X. Note que, quando X = Rn e A : Rn Rn o problema (1.8.12)-(1.8.13) e
um sistema de equacoes diferenciais ordinarias e o teorema de existencia e unicidade de
solucao e bem conhecido.
Definic
ao 1.8.1. Seja X um espaco de Banach e L(X) a algebra dos operadores lineares contnuos de X. Dizemos que uma aplicacao S : R+ L(X) e um semigrupo de
operadores lineares contnuos de X se:
(i) S(0) = I, onde I e o operador identidade de L(X);
(ii) S(t + s) = S(t)S(s), para todo t, s R+ .
Dizemos que o semigrupo S e de classe C0 se
(iii)
lim k(S(t) I)ukX = 0, para todo u X.
t0+
Denominamos o gerador infinitesimal do semigrupo S
30
como o operador
A : D(A) X X, onde

S(h) I
D(A) =
x X; lim+
x existe
h0
h
S(h) I
Ax = lim+
x, para todo x D(A).
h0
h
Pode-se provar (veja [8]) que, D(A) e um subespaco vetorial de X e A e um operador
linear.
Proposic
ao 1.8.2. (i) O gerador infinitesimal de um semigrupo de classe C0 e um
operador linear fechado e seu domnio e denso em X.
(ii) Um operador linear A, fechado e com domnio denso em X, e o gerador infinitesimal
de, no maximo, um semigrupo de classe C0 .
Demonstrac
ao: Ver [8].
Dado um semigrupo de operadores lineares S : R+ L(X), dizemos que S e uniformemente contnuo se, alem de serem validos os itens (i) e (ii) da definicao (1.8.1) for
valido que
lim kS(t) IkL(x) = 0.
t0+
(1.8.14)
Note que como a condicao (1.8.14) implica que a condicao (iii) da definicao 1.8.1 seja
valida, todo semigrupo uniformemente contnuo e de classe C0 .
Teorema 1.8.3. Dado X um espaco de Banach, um operador A : X X e o gerador
infinitesimal de um semigrupo uniformemente contnuo se, e somente se, A e um operador
linear contnuo.
Demonstrac
ao: Ver [20].
Dado um espaco de Banach X, x X e A um operador linear de X entendemos por
31
solucao do problema de Cauchy abstrato homogeneo

du
(t) = Au(t), t > 0
dt
u(0) = x
(1.8.15)
(1.8.16)
toda funcao u : R+ X, contnua para t 0, continuamente diferenciavel para t > 0,

tal que, para todo t 0 satisfaz a equacao (1.8.15) e verifica a condicao inicial (1.8.16).
Teorema 1.8.4. Se A e o gerador infinitesimal de um semigrupo de classe C0 entao,
para cada x D(A), o problema de Cauchy (1.8.15), (1.8.16) tem uma u
nica solucao,
continuamente diferenciavel em todo t 0.
Demonstrac
ao: Ver [8].
Vamos considerar o problema de Cauchy nao homogeneo
du
(t) = Au(t) + f (t)
dt
u(0) = x
(1.8.17)
(1.8.18)
onde f : [0, T [ X e A e o gerador infinitesimal de um semigrupo de classe C0 , S.

Definic
ao 1.8.5. Uma funcao u : [0, T [ X e dita solucao (classica) do problema de
Cauchy (1.8.17), (1.8.18) sobre [0, T [ se u e contnua sobre [0, T [, continuamente diferenciavel sobre ]0, T [, u(t) D(A) para 0 < t < T e (1.8.17), (1.8.18) e satisfeito sobre
[0, T [.
Definic
ao 1.8.6. Seja A o gerador infinitesimal de um semigrupo de classe C0 , S. Dado
x X e f L1 (0, T ; X). A funcao u C([0, T ]; X) dada por
Z
S(t s)f (s)ds, 0 t T
u(t) = S(t)x +
(1.8.19)
e denominada solucao generalizada (solucao mild) do problema (1.8.17) e (1.8.18).

Proposic
ao 1.8.7. Dado X um espaco de Banach se f L1 (0, T ; X) entao, para todo
x X, o problema de Cauchy (1.8.17), (1.8.18) tem, no maximo, uma solucao (classica).
Se tem solucao, esta solucao e dada por (1.8.19).
32
Demonstrac
ao: Ver [20].
Em oposicao a proposicao 1.8.7 nem toda solucao mild e uma solucao no sentido
classico do problema de Cauchy (1.8.17) e (1.8.18), no entanto, temos o seguinte Teorema.
Teorema 1.8.8. Seja f L1 (0, T ; X), X um espaco de Banach. Se u e a solucao mild
do problema de Cauchy (1.8.17) e (1.8.18) sobre [0, T ], entao, para todo T 0 < T , u e o
limite uniforme, sobre [0, T 0 ], de solucoes (classicas) de (1.8.17) e (1.8.18).
Demonstrac
ao: Ver [20].
Captulo 2
EXISTENCIA
DE SOLUC
AO
LOCAL
Neste captulo vamos investigar a existencia e unicidade de solucao local para o seguinte
problema de Cauchy,
utt auxx + uxxxx + uxxxxtt = (ux )x
(2.0.1)
u(0) = u0 ,
(2.0.2)
ut (0) = u1
onde consideramos a > 0, (x) = |x|p com 6= 0 e p > 1 inteiro. Alem disso consideramos os dados iniciais pertencentes aos espacos de Sobolev de ordem fracionaria H s (R).
Procederemos da seguinte maneira, associado ao problema de Cauchy (2.0.1) e (2.0.2)
consideraremos o seguinte problema linear
utt auxx + uxxxx + uxxxxtt = f
u(0) = u0 ,
ut (0) = u1
ao qual provaremos a existencia e unicidade de solucao aplicando resultados da teoria

de semigrupos. Uma vez obtida a solucao do problema linear associado, aplicaremos o
metodo do ponto fixo para obtermos a existencia e unicidade de solucao para o problema
de Cauchy (2.0.1) e (2.0.2) sobre um intervalo de tempo maximal.
2.1 O problema linear associado
2.1
34
O problema linear associado
Lema 2.1.1. Os operadores L = (I + x4 )1 : H s2 (R) H s (R) e A1 = (I + x4 )1 (ax2

x4 ) : H s (R) H s (R), onde

L(u) = F 1 (1 + 4 )1 F[u] , u H s2 (R)

a 2 4
1
A1 (v) = F
F[v] , v H s (R)
1 + 4
sao lineares e contnuos.
Demonstrac
ao: Defina g : R R tal que,
g(x) =
(1 + x2 )2
1 + 2x2 + x4
=
(1 + x4 )2
1 + 2x4 + x8
temos que g e contnua e

lim g(x) = lim g(x) = 0
sendo assim g e limitada. Deste modo, para todo u H s2 (R),

Z
2 s
(1 + || ) |F[Lu]()| d =
(1 + 2 )s2
(1 + 2 )2
|F[u]()|2 d
(1 + 4 )2
sup g()kuk2H s2
(2.1.3)
ou seja, L esta bem definido, e linear, pelo fato dos operadores F e F 1 serem lineares, e
por (2.1.3) existe C > 0 tal que,
kL(u)kH s CkukH s2 .
Do mesmo modo, considerando h : R R tal que,
(ax2 + x4 )2
a2 x4 + 2ax6 + x8
h(x) =
=
(1 + x4 )2
1 + 2x4 + x8
temos que h e contnua, limitada, pois
lim h(x) = lim h(x) = 1
35
e assim, para todo u H s (R),

Z
2 s
(1 + || ) |F[A1 (u)]()| d =
2 s
(1 + || )
a 2 + 4
1 + 4
2
|F[u]()|2 d
sup h()kuk2H s
(2.1.4)
ou seja, A1 esta bem definido, por F e F 1 serem lineares, A1 e linear e por (2.1.4) A1 e
contnuo.

Lema 2.1.2. Seja s R.
Para qualquer T > 0, suponha u0 , u1 H s (R) e
f L1 ([0, T ]; H s2 (R)). Entao o problema de Cauchy

utt auxx + uxxxx + uxxxxtt = f em L1 (0, T ; H s4 (R))
(2.1.5)
u(0) = u0 ,
(2.1.6)
ut (0) = u1 ,
possui uma u
nica solucao mild u C 1 ([0, T ]; H s (R)). Alem disso, a solucao u satisfaz a
estimativa:

kL(f )( )kH s d
ku(t)kH s + kut (t)kH s C2 (1 + T ) ku0 kH s + ku1 kH s +
. (2.1.7)
Demonstrac
ao:
Provaremos que existe uma u

nica solucao mild u C 1 ([0, T ]; H s (R))
do problema de Cauchy:
utt = A1 u + Lf
u(0) = u0 ,
em
L1 (0, T ; H s (R))
(2.1.8)
ut (0) = u1
onde A1 e L sao definidos como no lema 2.1.1. Assim aplicando o operador linear
I + x4 : H s (R) H s4 (R), onde, dado u H s (R),
(I + x4 )(u) = u + x4 u = F 1 [(1 + 4 )F[u]],
36
teremos que
(I + x4 )utt = (I + x4 )A1 u + (I + x4 )Lf em L1 (0, T ; H s4 (R))
entretanto,
(I + x4 )(A1 u) = F 1 [(1 + 4 )F[A1 u]]
= F 1 [(a 2 4 )F[u]] = auxx uxxxx
e
(I + x4 )(Lf ) = F 1 [(1 + 4 )F[Lf ]] = f
obtemos assim que existe u C 1 ([0, T ]; H s (R)) tal que
utt auxx + uxxxx + uxxxxtt = f em L1 (0, T ; H s4 (R))
e u satisfazendo as condicoes iniciais (2.1.6) resolvendo assim o problema de Cauchy
(2.1.5), (2.1.6). Vamos entao resolver o problema (2.1.8), para isso denotando por v = ut
temos,
vt = A1 u + Lf
assim fazendo U =
u
v
podemos reescrever o problema (2.1.8) como,
d
U
dt
= AU + F
U (0) = U0
onde A : H s (R) H s (R) H s (R) H s (R) e dado por
AU =
A1 0
u
v
= (v, A1 u)
(2.1.9)
37
e considerando sobre H s (R) H s (R) a norma

k(u, v)kH s H s = kuk2H s + kvk2H s
12
temos que
K2 =
21
kAU kH s H s =
kvk2H s + kA1 uk2H s
kvk2H s + K12 kuk2H s
12
K2 kU kH s H s
p
max{1, K12 }, isto e, A e um operador linear e contnuo definido em H s (R)H s (R).
Temos, portanto, que A e o gerador infinitesimal de um semigrupo de classe C0 , S, sobre

H s (R) H s (R). Alem disso,
F (x, t) =
Lf (x, t)
e, pelo Lema 2.1.1, temos que F L1 ([0, T ]; H s (R)H s (R)), posto que f L1 ([0, T ]; H s2 (R)).
Do exposto acima segue que, existe uma u
nica solucao mild U C([0, T ]; H s (R)
H s (R)) do problema (2.1.9) na forma
U (t) =
u(t)
ut (t)
S(t s)F (s)ds
= S(t)U0 +
0
donde segue que o problema de Cauchy (2.1.8) tem uma u

nica solucao u C 1 ([0, T ], H s (R)).
Vamos provar agora a seguinte estimativa:

ku(t)kH s + kut (t)kH s C2 (1 + T ) ku0 kH s + ku1 kH s +

kL(f )( )kH s d
Considerando, entao, u C 1 ([0, T ]; H s (R)) e tomando a transformada de Fourier em

(2.1.5) e (2.1.6) temos,
F[u]tt + a 2 F[u] + 4 F[u]tt + 4 F[u] = F[f ](t)
F[u](0) = F[u0 ],
F[u]t (0) = F[u1 ]
38
resolvendo a equacao acima, em relacao a t, obtemos

sen(()t)
F[u](, t) = cos(()t)F[u0 ]() +
F[u1 ]() +
()
onde () =
a 2 + 4
.
1+ 4
Z
0
sen(()(t )) F[f ](, )

d
()
1 + 4
Assim, aplicando a desigualdade de Minkowski e a expressao acima,

Z
ku(t)kH s
2 s
12
(1 + ) |cos(()t)| |F[u0 ]()| d

12
sen(()t)
2
(1 + )
|F[u1 ]()| d
+
()
R

Z t

F[f
](.,
)
sen((.)(t
))
2
s/2

(1
+
.
)
d
2

(.)
1 + .4
0
L
Z
2 s
Note que, para todo R e todo t [0, T ],

sen(()t)
()t
=t
()
()
| cos(()t)| 1
assim, para todo t [0, T ],

Z
(t )kLf ( )kH s d
Z t
kL(f )( )kH s d.
+T
ku(t)kH s ku0 kH s + tku1 kH s +
ku0 kH s + T ku1 kH s
Uma vez que,

F[u]t (, t) = ()sen(()t)F[u0 ]() + cos(()t)F[u1 ]() +
Z t
F[f ](, t)
cos(()(t ))
+
d
1 + 4
0
obtemos, de modo analogo ao que fizemos acima, que
Z
kut (t)kH s Cku0 kH s + ku1 kH s + C
kL(f )( )kH s d
0
assim, tomando C2 suficientemente grande,
2.2 Estimativas para o termo nao linear
ku(t)kH s + kut (t)kH s
39

Z t
kL(f )( )kH s d .
C2 (1 + T ) ku0 kH s + ku1 kH s +
0
2.2
Estimativas para o termo n

ao linear
Lema 2.2.1. Dado s > 0 temos que

Se 0 < s < 1 , H s (R) L (R) e uma algebra com
kuvkH s C(kukL kvkH s + kukH s kvkL ).
Se
1
2
< s < , H s (R) e uma algebra de Banach generalizada, isto e,

kuvkH s CkukH s kvkH s .
Demonstrac
ao: Ver apendice A.1.
Lema 2.2.2. Assuma que p > 1, 0 < s 0 tal que
k|u|p kH s Ckukp1
L kukH s .
(2.2.10)
Demonstrac
Lema 2.2.3. Sejam p N, p > 1 e s R onde
3
2
< s 0 fixo, entao temos

k|ux |p |vx |p kH s2 CpRp1 ku vkH s .
Demonstrac
ao: Denotando por f (z) = |z|p , temos
p
|ux | |vx | =
0
f 0 ((1 )ux vx )(ux vx )d
(2.2.11)
40
onde,
pz p1
p|z|p1
,z 0
,z 0
f 0 (z) =
=
p(z)p1 , z < 0
p|z|p1 , z < 0
ou seja,
p
pk|(1 )ux vx |p1 (ux vx )kH s2 d.
k|ux | |vx | kH s2
(2.2.12)
Como
3
2
< s < p + 1, temos 12 < s 2 < p 1.
Caso 12 < s 2 0.
Da imersao L2 (R) , H s2 (R),
k|(1 )ux + vx |p1 (ux vx )k2H s2 Ck|(1 )ux + vx |p1 (ux vx )k2L2
Z
= C ||(1 )ux (x) vx (x)|p1 (ux (x) vx (x))|2 dx
R
como u, v H s (R) segue que ux , vx H s1 (R) e por s 1 >
1
,
2
do Lema 1.6.6,
H s1 (R) , L (R), assim,

|vx (x) + (1 )ux (x)|2(p1) |(1 )kux kL + kvx kL |2(p1)
C|(1 )kux kH s1 + kvx kH s1 |2(p1) CR2(p1)
observe que, esta u
ltima desigualdade segue pois kux kH s1 kukH s R, por hipotese.
Do mesmo modo, kvx kH s1 R. Do exposto acima,
k|(1 )ux vx |p1 (ux vx )kH s2 CRp1 kux vx kL2
CRp1 ku vkH s .
Caso 0 < s 2 < 1.
41
Suponha p = 2, assim 0 < s 2 < 1 = p 1 e

||(1 )ux vx |(x) |(1 )ux vx |(y)|2
dxdy
|x y|1+2(s2)
R R
Z Z
|(1 )ux (x) vx (x) (1 )ux (y) + vx (y)|2
dxdy
|x y|1+2(s2)
R R
Z Z
|(1 )(ux (x) ux (y)) (vx (y) vx (x))|2
=
dxdy
|x y|1+2(s2)
R R
Z Z
(1 )2 |ux (x) ux (y)|2 + 2 |vx (x) vx (y))|2
2
dxdy <
|x y|1+2(s2)
R R
Z Z
onde, nesta u
ltima desigualdade, fizemos uso do Teorema 1.6.12 e do fato de
ux , vx H s1 (R) , H s2 (R). Concluimos assim que |(1 )ux vx | H s2 (R)
e
k|(1 )ux vx |kH s2 C k|(1 )ux vx |k2L2
21
Z Z
||(1 )ux vx |(x) |(1 )ux vx |(y)|2
dxdy
+
|x y|1+2(s2)
R R

12
Z Z
|ux (x) ux (y)|2
2
C kux kL2 +
dxdy
1+2(s2)
R R |x y|

21
Z Z
|vx (x) vx (y)|2
2
+ C kvx kL2 +
dxdy
1+2(s2)
R R |x y|
= C(kux kH s2 + kvx kH s2 ) C(kux kH s1 + kvx kH s1 )
deste modo,
k|(1 )ux vx |kH s2 C(kukH s + kvx kH s )
2CR.
(2.2.13)
Agora se p > 2 entao p 1 > 1 e s 2 < p 1, pelo Lema 2.2.2 temos que
|(1 )ux vx |p1 H s2 e
k|(1 )ux vx |p1 kH s2 Ck(1 )ux vx kp2
L k(1 )ux vx kH s2
42
observe que,
kux kH s2 kux kH s1 kukH s R
do mesmo modo kvx kH s2 R, alem disso, aplicando (1.6.5) obtemos que,
k(1 )ux vx kp2
Ck(1 )ux vx kp2
L
H s1
((1 )kux kH s1 + kvx kH s1 )p2
CRp2
donde segue que,
k|(1 )ux vx |p1 kH s2 CRp1
(2.2.14)
em qualquer caso, |(1 )ux vx |p1 H s2 (R), para qualquer p > 1 inteiro e vale
(2.2.14). Aplicando, entao, o Lema 2.2.1,
k|(1 )ux vx |p1 (ux vx )kH s2 C k|(1 )ux vx |p1 kL kux vx kH s2

+ k|(1 )ux vx |p1 kH s2 kux vx kL .
Note que, sendo s 1 > 21 ,
kux vx kL Ckux vx kH s1
Cku vkH s
(2.2.15)
e
k|(1 )ux vx |p1 kL kux vx kH s2 CRp1 ku vkH s
sendo assim, por (2.2.14), (2.2.15) e (2.2.16) obtemos que,
k|(1 )ux vx |p1 (ux vx )kH s2 CRp1 ku vkH s
(2.2.16)
2.3 Existencia de solucao local
43
Caso s 2 1.
Note que, por 1 s 2 < p 1 e ux , vx H s2 (R) , L (R) temos, pelo Lema 2.2.2,
|(1 )ux + vx |p1 H s2 (R) e
k|(1 )ux + vx |p1 kH s2 Ck(1 )ux + vx kp2
L k(1 )ux + vx kH s2
CRp2 k(1 )ux + vx kH s1 CRp1
assim, aplicando o Lema 2.2.1,
k|(1 )ux + vx |p1 (ux vx )kH s2 Ck|(1 )ux + vx |p1 kH s2 kux vx kH s2
CRp1 ku vkH s .
Em qualquer caso, obtemos de (2.2.12),
k|ux |p |vx |p kH s2 CpRp1 ku vkH s .
2.3
Exist
encia de solu
c
ao local
Uma vez provada a existencia e unicidade de solucao para o problema linear associado,
passamos agora ao problema de provar a existencia e unicidade de solucao local para o
problema (2.0.1), (2.0.2) para isto faremos uso do seguinte Teorema de Ponto Fixo.
Lema 2.3.1 (Teorema de ponto fixo de Banach). Seja (M, d) um espaco metrico completo
e : M M uma contracao, isto e, existe 0 c < 1 tal que, para todo x, y M tem-se
d((x), (y)) cd(x, y).
Entao existe um u
nico ponto x0 M tal que (x0 ) = x0 .
Demonstrac
44
Teorema 2.3.2. Suponha que
3
2
< s 0 e p > 1 e inteiro, admite uma u

nica solucao local u = u(x, t) definida
sobre um intervalo de tempo maximal [0, T0 ) com u C 1 ([0, T0 ); H s (R)).
Demonstrac
ao: Considere

B(R, T ) = u C 1 ([0, T ]; H s (R)); kukC 1 ([0,T ];H s (R)) R
onde R, T serao convenientemente definidos, munido da metrica d induzida quando considerado como subconjunto do espaco de Banach C 1 ([0, T ]; H s (R)), sendo assim, como
B(R, T ) e fechado em C 1 ([0, T ]; H s (R)), (B(R, T ), d) e um espaco metrico completo.
Dado u
B(R, T ) temos que |ux |px
ux H s1 (R) , L (R), pois, por hipotese,
1
2
L1 (0, T ; H s2 (R)).
Com efeito,
< s 1 < p e assim, do lema 2.2.2,
|ux |p (t) H s1 (R), donde segue que |ux |px (t) H s2 (R). Alem disso,
Z
k|ux |px (t)k2H s2
(1 + ||2 )s2 |F[|ux |px ](, t)|2 d
ZR
2
(1 + ||2 )s1
|F[|ux |p ](, t)|2 d
2
1
+
RZ
C (1 + ||2 )s1 |F[|ux |p ](, t)|2 d = Ck|ux |p (t)k2H s1
R
2(p1)
C1 kux (t)kL
kux (t)k2H s1
onde na u
ltima desigualdade fizemos uso do lema 2.2.2.
Note que, do lema 1.6.6,
kux kL CkukH s , e
kux (t)k2H s1
Z
=
ZR
=
R
(1 + ||2 )s1 |F[ux ](, t)|2 d

(1 + ||2 )s
2
|F[u](, t)|2 d Cku(t)k2H s CR2
2
1+
45
obtemos assim que,

k|ux |px (t)kH s Cku(t)kpH s CRp
(2.3.18)
portanto |ux |px L1 (0, T ; H s2 (R)), para todo T < fixo.

Considere agora,
R > (ku0 kH s + ku1 kH s )C2 + 1,
(2.3.19)
onde C2 e a constante dada no lema 2.1.2. Assim vamos definir o operador

S : B(R, T ) B(R, T )
tal que, para cada u B(R, T ), associamos S(u) = v solucao do problema linear
vtt avxx + vxxxx + vxxxxtt = |ux |px em
v(0) = u0 ,
L1 (0, T ; H s4 (R))
vt (0) = u1 .
nica
Por |ux |px L1 (0, T ; H s2 (R)) do lema 2.1.2, para todo u B(R, T ), existe uma u
v = S(u) solucao do problema linear acima. Alem disso, para todo t [0, T ], do lema
2.1.2 e por (2.1.7), (2.3.18),
kv(t)kH s + kvt (t)kH s

Z t
p
C2 (1 + T ) ku0 kH s + ku1 kH s + ||
kL(|ux |x )( )kH s d
0

Z t
p
C2 (1 + T ) ku0 kH s + ku1 kH s + ||C
k|ux |x ( )kH s2 d
0
C2 (1 + T ) (ku0 kH s + ku1 kH s + ||CRp T ) .

Definindo f : [0, ) R tal que, f (t) = C2 (1 + t)(ku0 kH s + ku1 kH s + C||Rp t) temos
f (0) = C2 (ku0 kH s + ku1 kH s ) e
f 0 (t) = C2 (1 + t)(C||Rp ) + C2 (ku0 kH s + ku1 kH s + C||Rp t)
> 0
46
logo f e estritamente crescente. Como R > f (0), existe T1 [0, ) tal que
f (T1 ) = C2 (1 + T1 )(ku0 kH s + ku1 kH s + C||Rp T1 ) = R
(2.3.20)
0
alem disso, como f e estritamente crescente, para todo T1
T1 temos que
0 ];H s ) =
kvkC 1 ([0,T1
sup {kv(t)kH s + kvt (t)kH s } R.
0 ]
t[0,T1
Vamos provar agora que, escolhendo R, T adequadamente S e uma contracao. Para isto,
considere u, u B(R, T ) e v1 = S(u), v = S(
u) assim, denotando por v = v1 v, v e
solucao do problema de Cauchy,
vtt avxx + vxxxx + vxxxxtt = |ux |px |
ux |px
v(0) = 0
vt (0) = 0.
por (2.1.7),
Z
kv(t)kH s + kvt (t)kH s ||C
kL(|ux |px |
ux |px )( )kH s d.
(2.3.21)
como,
kL(|ux |px
|
ux |px )( )k2H s
Z
=
ZR
(1 + 2 )s |F[L(|ux |px |
ux |px )](, )|2 d
(1 + 2 )2 4
|F[|ux |p |
ux |p ](, )|2 d
4
2
(1 + )
R
p
Ck|ux | ( ) |
ux |p ( )k2H s2
=
(1 + 2 )s2
assim por (2.2.11),

kL(|ux |px |
ux |px )( )k2H s CRp1 ku ukH s
47
deste modo, podemos reescrever (2.3.21) como

kS(u)(t) S(
u)(t)kH s + kS(u)t (t) S(
u)t (t)kH s = kv(t)kH s + kvt (t)kH s
Z t
||C(1 + T )T
Rp1 ku( ) u( )kH s d
0
||C(1 + T )T Rp1 d(u, u)

donde segue que,
d(S(u), S(
u)) ||C(1 + T )T Rp1 d(u, u)
definindo g : [0, ) R tal que g(t) = C(1 + t)tRp1 temos que g e crescente e g(0) = 0,
como lim g(t) = , existe T2 tal que,
t
g(T2 ) = C(1 + T2 )T2 Rp1 = k
(2.3.22)
onde 0 < k < 1. Assim, tomando T = min{T1 , T2 } > 0 e R > (ku0 kH s + ku1 kH s )C2 + 1
temos que S esta bem definido e e uma contracao. Portanto, pelo Teorema do Ponto
Fixo de Banach, S admite um u
nico ponto fixo em B(R, T ), ou seja, existe um u
nico
u B(R, T ) C 1 ([0, T ]; H s (R)) tal que
u(0) = u0 ,
em
L1 (0, T ; H s4 (R))
ut (0) = u1 .
O Teorema do Ponto Fixo de Banach nos garante a unicidade de solucao em B(R, T ),

no entanto almejamos provar a existencia de uma u
nica solucao em C 1 ([0, T ]; H s (R)).
Para isto considere u, v1 C 1 ([0, T ]; H s (R)) solucoes do problema de Cauchy (2.3.17),
assim v = u v1 satisfaz
vtt avxx + vxxxx + vxxxxtt = |ux |px |v1x |px
v(0) = 0,
vt (0) = 0
48
logo, por (2.1.7),

t
Z
kL(|ux |px
ku(t) v1 (t)kH s + kut (t) v1t (t)kH s C2 (1 + T )
|v1x |px )( )kH s d
C(1 + T )||
k|ux |p ( ) |v1x |p ( )kH s2 d
Z0 t
ku( ) v1 ( )kH s d
C(1 + T )||
0
sendo assim, pela Desigualdade de Gronwall, u = v1 , provando assim a unicidade de

solucao.
Obtemos ate aqui que existe uma u
nica solucao u C 1 ([0, T ]; H s (R)) para o problema
de Cauchy (2.3.17), agora nosso objetivo sera estender a solucao a um intervalo de tempo
maximal [0, T0 ). Uma vez que u C 1 ([0, T ]; H s (R)) temos u(T ), ut (T ) H s (R), assim
ao considerarmos o problema de Cauchy
vtt avxx + vxxxx + vxxxxtt = |vx |px
(2.3.23)
v(0) = u(T )
(2.3.24)
vt (0) = ut (T )
provamos, via metodo do ponto fixo, que existe T1 > 0 e v C 1 ([0, T1 ]; H s (R)) solucao
do problema (2.3.23) e (2.3.24), assim definindo
u(x, t);
0 t T
u(x, t) =
v(x, t T ); T t T + T
1
obtemos u C 1 ([0, T + T1 ]; H s (R)) e u e solucao do problema (2.3.17) sobre o intervalo
[0, T + T1 ]. Aplicando o mesmo raciocnio usado para provar a unicidade de solucao em
C 1 ([0, T ]; H s (R)) provamos a unicidade de solucao em C 1 ([0, T + T1 ]; H s (R)). Podemos
assim encontrar uma famlia de intervalos [0, Ti ], i I, I um conjunto de ndices arbitrario,
e solucoes ui C 1 ([0, Ti ]; H s (R)) que estendem a solucao u do problema de Cauchy
(2.3.17), donde segue que, existe T0 > 0 maximo tal que
[0, T0 ) =
[
[0, Ti ]
iI
49
e u C 1 ([0, T0 ); H s (R)) e solucao do problema de Cauchy (2.3.17).

Corol
ario 2.3.3. Sob as hipoteses do Teorema 2.3.2 temos que se
sup (ku(t)kH s + kut (t)kH s ) <
t[0,T0 )
entao T0 = .
Demonstrac
ao: Temos, pelo Teorema 2.3.2, que o problema (2.3.17) admite uma u
nica
solucao u C 1 ([0, T0 ); H s (R)), onde [0, T0 ) e o intervalo maximal de existencia da solucao.
Suponha que
(2.3.25)
t[0,T0 )
e T0 < . Dado 0 T 0 < T0 considere o problema de Cauchy

v(0) = u(T 0 )
vt (0) = ut (T 0 )
(2.3.26)
de maneira analoga ao que fizemos no Teorema 2.3.2 podemos encontrar, via metodo do
ponto fixo, uma u
nica solucao, v, para (2.3.27) tal que v B(R, T 0 ) C 1 ([0, T 0 ]; H s (R)),
onde

B(R, T 0 ) = v C 1 ([0, T 0 ]; H s (R); kvkC 1 ([0,T 0 ];H s ) R)
e, de acordo com (2.3.19), (2.3.20) e (2.3.22), devemos ter que R, T 0 sejam tais que,
R > (ku(T 0 )kH s + kut (T 0 )kH s )C2 + 1
R = C2 (1 + T 0 )(ku(T 0 )kH s + kut (T 0 )kH s + C||Rp T 0 )
k = C(1 + T 0 )T 0 Rp1
50
para algum 0 < k < 1. Deste modo, por (2.3.25) podemos tomar R, T10 que verifiquem,
R > ( sup (ku(t)kH s + kut (t)kH s ))C2 + 1
t[0,T0 )
R = C2 (1 + T10 )( sup (ku(t)kH s + kut (t)kH s ) + C||Rp T10 )

t[0,T0 )
k = C(1 +
T10 )T10 Rp1
assim, considerando este T10 , para qualquer T [0, T0 ) o problema de Cauchy (2.3.27)
tem solucao v B(R, T10 ) C 1 ([0, T10 ]; H s (R)). Em particular, para T20 = T0
T10
2
vamos
considerar v a solucao do problema de Cauchy

v(0) = u(T20 )
h
definindo, entao, u : 0, T0 +
T10
2
vt (0) = ut (T20 )
R por
u(x, t);
0 t T20
u(x, t) =
v(x, t T 0 ); T 0 t T +
0
2
2
T10
2
teremos que u e solucao do problema de Cauchy (2.3.17) e u C 1
h
0, T0 +
T10
2

; H s (R) ,
contrariando a maximalidade de T0 . Portanto T0 = .

Captulo 3
EXISTENCIA
E NAO
EXISTENCIA
DE SOLUC
AO
GLOBAL
Assim como vimos no Teorema 2.3.2, o problema de Cauchy

utt auxx + uxxxx + uxxxxtt = (ux )x
u(0) = u0 ,
ut (0) = u1
(2.0.1)
(2.0.2)
onde (z) = |z|p , 6= 0 e p > 1 inteiro, admite uma u

nica solucao u C 1 ([0, T0 ); H s (R))
quando consideramos u0 , u1 H s (R) e
3
2
< s < p + 1. Neste captulo abordaremos
o problema de existencia e nao existencia de solucao global, ou seja, estudaremos os

casos onde se pode garantir que existe solucao u C 1 ([0, ); H s (R)) ou nao. Para tal
proposito faremos uso do metodo do poco potencial, seguindo as ideias de [30] na secao
interessante observar que, na secao 3.2, obtemos, sob as hipoteses adequadas, que
3.2. E
a solucao u C 1 ([0, T0 ); H s (R)) explode (tem blows-up) em tempo finito, isto e, existe
T1 < tal que
lim ku(t)kH s = .
tT1
Na secao 3.3 expomos os resultados de [27], introduzindo um novo conjunto estavel (ou,
dito de outra forma, um novo poco potencial ), o que nos permite abordar o problema no
caso em que E(0) > 0.
3.1 Funcional de energia e o poco potencial
3.1
52
Funcional de energia e o po
co potencial
Teorema 3.1.1. Suponha que 2 s < p + 1, u0 , u1 H s (R) e [0, T0 ) o intervalo maximal

de existencia da solucao u C 1 ([0, T0 ); H s (R)) do problema de Cauchy (2.0.1) e (2.0.2).
Defina

1
E(t) =
kut (t)k2L2 + akux (t)k2L2 + kuxx (t)k2L2 + kuxxt (t)k2L2 +
2
p+1
|ux (t)|p ux (t)dx
entao, vale que E(t) = E(0), para todo t (0, T0 ), onde,

1
ku1 k2L2 + aku0x k2L2 + ku0xx k2L2 + ku1xx k2L2 +
E(0) =
2
p+1
Demonstrac
ao:
|u0x |p u0x dx.
Temos que, dado u H s (R), s 2, u H 2 , pois H s (R) , H 2 (R).
Alem disso,
d
E(t) = (ut (t), utt (t))L2 + a(ux (t), uxt (t))L2 + (uxx (t), uxxt (t))L2 +
dt
Z
|ux (t)|p uxt (t)dx
+(uxxt (t), uxxtt (t))L2 +

R
= (ut (t), utt (t))L2 + (aux (t), uxt (t))L2 + (uxx (t), uxxt (t))L2 +
+(uxxt (t), uxxtt (t))L2 + ((ux (t)), uxt (t))L2
onde (ux (t)) = |ux (t)|p observe que,
uxxxx
d2
= 2
dx

2

d2
d2
d
u
e
utt
dx2
dx2 dx2
onde uxx , uxxtt L2 (R), pois u H 2 (R) e

utt = A1 u + Lf H 2 (R)
sendo assim, por ut H 2 (R),
d2 u d2 u t
dx = (uxx , uxxt )L2
2
2
R dx dx
Z 2
d utt d2 ut
=
dx = (uxxtt , uxxt )L2
2 dx2
R dx
Z
huxxxx , ut iH 2 ,H 2 =
huxxxxtt , ut iH 2 ,H 2
53
do mesmo modo, como utt , ux , (ux ) L2 (R),

hutt , ut iH 2 ,H 2 = (utt , ut )L2
h(ux )x , ut iH 2 ,H 2 = ((ux ), uxt )L2
hauxx , ut iH 2 ,H 2 = a(ux , uxt )L2
logo,
d
E(t) = h(utt auxx + uxxxx + uxxxxtt (ux )x )(t), ut (t)iH 2 ,H 2
dt
e, por (2.0.1),
d
E(t) = 0
dt
portanto, integrando a expressao acima de 0 a t, t (0, T0 ),
E(t) = E(0).

No que segue, vamos considerar o funcional J (energia potencial) definido por,

1
J(u(t)) =
akux (t)k2L2 + kuxx (t)k2L2 +
2
p+1
|ux (t)|p ux (t)dx.
Deste modo, para todo t [0, T0 ),

J(u(t)) E(t) = E(0),
alem disso, como p > 1, o corolario 1.6.7 garante que, para todo u H 2 (R),
kux (t)kLp+1 K kux (t)k2L2 + kuxx (t)k2L2
21
K1 akux (t)k2L2 + kuxx (t)k2L2
21
54
vamos, entao, denotar por

C0 =
kux (t)kLp+1
sup
06=uH 2 (R)
akux (t)k2L2 + kuxx (t)k2L2
12
onde C0 e uma constante que independe de t.

Afirmamos que,

p+1
|| p+1
1
C0
akux (t)k2L2 + kuxx (t)k2L2 2 J(u(t)).
2
p+1
Com efeito,
p+1
Z
||
|ux (t)| ux (t)dx
|ux (t)|p+1 dx
p
+
1
R
R
p+1
|| p+1
C0
akux (t)k2L2 + kuxx (t)k2L2 2
p+1
assim,
p+1
|| p+1
C0
p+1
p+1
|ux (t)|p ux (t)dx
logo,
p+1

1
|| p+1
C0
2
p+1
Z

1
2
2
akux (t)kL2 + kuxx (t)kL2 +

|ux (t)|p ux (t)dx = J(u(t)).
2
p+1 R
Defina a funcao g : [0, ) R
1
|| p+1 p+1
g(y) = y
C y 2
2
p+1 0
e note que
1 ||C0p+1 p1
g (y) =
y 2
2
2
0
assim g 0 (y) = 0 se, e so se,

2
2(p+1)
p1
y = y0 = || p1 C0
55
alem disso, g 0 (y) > 0 se y [0, y0 ) e g 0 (y) < 0 se y (y0 , ) , donde segue que g e
estritamente crescente em [0, y0 ) e g e estritamente decrescente em (y0 , ). Portanto,
d = max g(y) = g(y0 )
y[0,)
onde,
g(y0 ) =
2(p+1)
2
p1
|| p1 C0 p1
2(p + 1)
observe tambem que,

y0 =
2(p + 1)
d.
p1
Para uma melhor compreensao do comportamento da funcao g, apresentamos abaixo o

seu grafico quando p = 4 e =
35
.
C05
Figura 3.1: Grafico da funcao g

Definimos os conjuntos estavel (poco potencial) e instavel como

u(t) H
W =

V
(R); akux (t)k2L2
kuxx (t)k2L2
u(t) H 2 (R); akux (t)k2L2 + kuxx (t)k2L2

2(p + 1)
<
d
p1

2(p + 1)
d .
>
p1
Lema 3.1.2. Suponha que u0 , u1 H 2 (R) e u C 1 ([0, T0 ); H 2 (R)) e a u

nica soluc
ao
do problema de Cauchy (2.0.1) e (2.0.2), onde T0 e o tempo maximo de existencia da
solucao. Assuma que E(0) < d. Entao, para todo t [0, T0 ),
(i) u(t) W , se u0 = u(0) W .
(ii) u(t) V , se u0 = u(0) V .
56
Prova: Em primeiro lugar observe que, para todo t [0, T0 ),

J(u(t)) E(t) = E(0) < d
isto e, J(u(t)) < d. Suponha entao que u0 = u(0) W , deste modo,
akux (0)k2L2 + kuxx (0)k2L2 <
2(p + 1)
d,
p1
e que exista t (0, T0 ) tal que u(t)

/ W , assim,
2(p + 1)
d,
p1
logo, pela continuidade da aplicacao t 7 akux (t)k2L2 + kuxx (t)k2L2 , existe t0 (0, T0 )
tal que,
akux (t0 )k2L2 + kuxx (t0 )k2L2 =
uma vez que d =
p1
y,
2(p+1) 0
2(p + 1)
d
p1
temos,
akux (t0 )k2L2 + kuxx (t0 )k2L2 = y0
sendo assim,
Z

1
2
2
J(u(t0 )) =
akux (t0 )kL2 + kuxx (t0 )kL2 +
|ux (t0 )|p ux (t0 )dx
2
p+1 R

p+1
1
|| p+1
akux (t0 )k2L2 + kuxx (t0 )k2L2

C0
akux (t0 )k2L2 + kuxx (t0 )k2L2 2
2
p+1
p+1
1
|| p+1 2
=
y0
C y
= g(y0 ) = d
2
p+1 0 0
ou seja, d J(u(t0 )), no entanto, assim como observamos acima, por hipotese
J(u(t0 )) < d, temos assim um absurdo!
Por outro lado, suponha que u(0) V e que exista t [0, T0 ) tal que u(t)
/ V , assim,
2(p + 1)
d,
p1
57
deste modo, existe t0 [0, T0 ) tal que,

2(p + 1)
d = y0
p1
pelos mesmos argumentos expostos acima,

J(u(t0 )) d
absurdo, pois J(u(t0 )) < d.

Lema 3.1.3. Assuma que u0 , u1 H 2 (R) e u C 1 ([0, T0 ); H 2 (R)) e a u
nica soluc
ao
do problema de Cauchy (2.0.1) e (2.0.2), onde T0 e o tempo maximo de existencia da
solucao. Suponha que E(0) = d e (u0 , u1 )L2 + (u0xx , u1xx )L2 0. Entao, para todo
t [0, T0 ), u(t) V se u(0) V .
Prova:
Suponha que u(0) V e que exista t [0, T0 ) tal que u(t)

/ V . Assim, existe
t0 (0, T0 ) tal que,

aku(t0 )k2L2 + kuxx (t0 )k2L2 =
2(p + 1)
d.
p1
Assim como provamos no lema anterior, J(u(t0 )) d, donde por

J(u(t0 )) E(t0 ) = E(0) = d
conclumos que J(u(t0 )) = d e

1
kut (t0 )k2L2 + kuxxt (t0 )k2L2 = E(t0 ) J(u(t0 )) = 0
2
temos, portanto, que ut (t0 ) = uxxt (t0 ) = 0. Defina : [0, T0 ) R tal que
(t) = ku(t)k2L2 + kuxx (t)k2L2
assim,
0 (t) = 2(u(t), ut (t))L2 + 2(uxx (t), uxxt (t))L2
58
e 0 (t0 ) = 0. Por outro lado,

00 (t) = 2(u(t), utt (t))L2 + 2(uxx (t), uxxtt (t))L2 + 2kut (t)k2L2 + 2kuxxt (t)k2L2
= 2 h(utt + uxxxxtt )(t), u(t)iH 2 ,H 2 + 2kut (t)k2L2 + 2kuxxt (t)k2L2
por (2.0.1),
00 (t) = 2 h(auxx uxxxx + (ux )x )(t), u(t)iH 2 ,H 2 + 2kut (t)k2L2 + 2kuxxt (t)k2L2
= 2akux (t)k2L2 2kuxx (t)k2L2 + 2kut (t)k2L2 + 2kuxxt (t)k2L2
Z
2 |ux |p (t)ux (t)dx
R
observando que,
2(p + 1)E(0) = 2(p + 1)E(t)
= (p + 1) kut (t)k2L2 + akux (t)k2L2 + kuxx (t)k2L2 + kuxxt (t)k2L2
Z
+2 |ux |p (t)ux (t)dx
temos,

00 (t) = 2 akux (t)k2L2 + kuxx (t)k2L2 + 2 kut (t)k2L2 + kuxxt (t)k2L2
Z
2 |ux |p (t)ux (t)dx
R

= (p 1) akux (t)k2L2 + kuxx (t)k2L2 + (p + 3) kut (t)k2L2 + kuxxt (t)k2L2
2(p + 1)E(0).
Alem disso, considerando t0 [0, T0 ) o primeiro ponto onde
2(p + 1)
d
p1
n
isto e, t0 = min t [0, T0 ); akux (t0 )k2L2 + kuxx (t0 )k2L2 =
2(p+1)
d
p1
t [0, t0 ),
aku(t0 )k2L2 + kuxx (t0 )k2L2 >
2(p + 1)
d
p1
o
, teremos que, para todo
3.2 O caso E(0) d
59
segue entao que,

2(p + 1)
d + (p + 3) kut (t)k2L2 + kuxxt (t)k2L2 2(p + 1)d
p1

= (p + 3) kut (t)k2L2 + kuxxt (t)k2L2 0
00 (t) > (p 1)
portanto, 00 (t) > 0, para todo t [0, t0 ). Assim, 0 e estritamente crescente em [0, t0 ) e,
uma vez que,
0 (0) = 2(u0 , u1 )L2 + (u0xx , u1xx )L2 0
temos que 0 (t0 ) > 0, absurdo!
3.2
O caso E(0) d
Teorema 3.2.1. Suponha que
3
2
< s 0 e uma constante, entao T0 = .

Demonstrac
ao: Vamos supor T0 < . Podemos reescrever (2.0.1) como
F[(I + x4 )(utt + u)] = F[u + ax2 u + x (ux )]
assim,
F[utt + u] =

1
2
F[u]
a
F[u]
+
F[
(u
)]
.
x
x
1 + 4
(3.2.2)
3.2 O caso E(0) d
60
Por outro lado, observe que,

s
s
d
d
ku(t)k2H s + kut (t)k2H s = 2((I x2 ) 2 u(t), (I x2 ) 2 ut (t))L2
dt
dt
s
s
+ 2((I x2 ) 2 utt (t), (I x2 ) 2 ut (t))L2
2ku(t) + utt (t)kH s kut (t)kH s
(3.2.3)
onde, por (3.2.2)

ku(t) +
utt (t)k2H s
Z
=
(1 + 2 )s |F[u + utt ](, t)|2 d
ZR
2
(1 + 2 )s
|F[u](, t)| + |a 2 F[u](, t)| + |F[(ux )x ](, t)| d
4
2
R (1 + )

Z
s
2
(1 + 2 ) 2
2
=
|F[u](, t)| + |a F[u](, t)| + |F[x (ux )](, t)|
d
1 + 4
R
assim, pela desigualdade triangular em L2 (R),

Z
ku(t) + ut (t)kH s
R
Z
+
R
1
(1 + 2 )s |F[u](, t)|2 d
4
2
(1 + )
12
a2 4
(1 + 2 )s |F[u](, t)|2 d
(1 + 4 )2
12
21
2 (1 + 2 )
2 s1
p
2
+
(1 + ) |F[|ux | ](, t)| d
4 2
R (1 + )
K (ku(t)kH s + aku(t)kH s + ||k|ux |p (t)kH s1 )
Z
para algum K > max{K1 , K2 , K3 }, onde

K1
K2
K3

1
<
= sup
(1 + 4 )2
R

4
= sup
<
(1 + 4 )2
R
2

(1 + 2 )
= sup
<
(1 + 4 )2
R
onde K1 e finito pois, definindo k1 : R R tal que,

k1 () =
1
(1 + 4 )2
(3.2.4)
3.2 O caso E(0) d
61
k1 e contnua com lim k1 () =
lim k1 () = 0, logo k1 e uma funcao limitada e
K1 = sup k1 (). Por argumento analogo justifica-se que K2 , K3 < . Aplicando o

R
Lema 2.2.2 em (3.2.4),

ku(t) + ut (t)kH s K ku(t)kH s + aku(t)kH s + C||kux (t)kp1
L kux (t)kH s1

K 1 + a + ||M1p1 C ku(t)kH s
substituindo esta u
ltima desigualdade em (3.2.3) e denotando K = K 1 + a + ||M1p1 C
obtemos,
d
d
ku(t)k2H s + kut (t)k2H s K 2ku(t)kH s kut (t)kH s
|
{z
}
dt
dt
2aba2 +b2 ,a,bR
K ku(t)k2H s + kut (t)k2H s
assim, pela desigualdade de Gronwall, temos

ku(t)k2H s + kut (t)k2H s (ku0 k2H s + ku1 k2H s )eK t (ku0 k2H s + ku1 k2H s )eK T0 <
para todo t [0, T0 ), logo
t[0,T0 )
mas, deste modo, o Corolario 2.3.3 asseguraria que T0 = , o que e um absurdo, pois
supomos T0 < . Portanto T0 = .

Teorema 3.2.2. Assuma que 2 s < p + 1 e u0 , u1 H s (R). Se E(0) < d e
aku0x k2L2 + ku0xx k2L2 <
2(p+1)d
,
p1
entao o problema de Cauchy (2.0.1) e (2.0.2) admite
uma u
nica solucao global u C 1 ([0, ); H s (R)) e u(t) W para todo t [0, ).
Demonstrac
ao: Sabemos do Teorema 2.3.2 que o problema de Cauchy (2.0.1) e (2.0.2)
admite uma u
nica solucao u C 1 ([0, T0 ); H s (R)), onde T0 e o tempo maximo de existencia
3.2 O caso E(0) d
62
da solucao. Segue do Lema 3.1.2 que, para todo t (0, T0 ), u(t) W , isto e,
akux (t)k2L2 + kuxx (t)k2L2 <
2(p + 1)d
p1
temos, pelo Teorema 1.6.6,

kux (t)kL C kux (t)k2L2 + kuxx (t)k2L2
12
s
C akux (t)k2L2 + kuxx (t)k2L2
12
2(p + 1)d
.
p1
Deste modo,
s
sup kux (t)kL C
t[0,T0 )
2(p + 1)d
< .
p1
Assim do Teorema 3.2.1, T0 = . Portanto o problema de Cauchy admite uma u

nica
solucao global u C 1 ([0, ); H s (R)).

Teorema 3.2.3. Suponha que 2 s < p + 1 e u0 , u1 H s (R). Se E(0) d e aku0x k2L2 +
ku0xx k2L2
2(p+1)d
,
p1
entao o problema de Cauchy (2.0.1) e (2.0.2) admite uma u

nica
solucao global u C 1 ([0, ); H s (R)) e u(t) W W para todo t [0, ).

Demonstrac
ao:
Segue, do Teorema 2.3.2, que o problema de Cauchy (2.0.1),(2.0.2)
admite uma u
nica solucao u C 1 ([0, T0 ); H s (R)), onde [0, T0 ) e o intervalo de tempo
maximal de existencia da solucao u. No que segue, provaremos que T0 = , suponha
entao que T0 < . Note que, para qualquer > 0,
p+1
2
2
2
J(u) =
2
p+1
Z
R
|ux |p ux (t)dx
3.2 O caso E(0) d
63
e, por H 1 (R) , Lp+1 (R),

ku0x kp+1
Lp+1
Z
=
|u0x |p+1 (x)dx
C0p+1 aku0x k2L2 + ku0xx k2L2
p+1
2
p1

= C0p+1 aku0x k2L2 + ku0xx k2L2 2 aku0x k2L2 + ku0xx k2L2

p1
2

2(p + 1)
p+1
C0
d
aku0x k2L2 + ku0xx k2L2
p1
(3.2.5)
observando que,
d=
2(p+1)
2
p1
|| p1 C0 p1
2(p + 1)
podemos concluir que,

1
ku0x kp+1
aku0x k2L2 + ku0xx k2L2 .
Lp+1 ||
Donde segue que,
Z

d
2
2
p
J(u0 ) = aku0x kL2 + ku0xx kL2 +
|u0x |p u0x dx
d
R

aku0x k2L2 + ku0xx k2L2 ||p ku0x kp+1
Lp+1

(1 p1 ) aku0x k2L2 + ku0xx k2L2

(1 ) aku0x k2L2 + ku0xx k2L2 0 sempre que [0, 1]. (3.2.6)
Tome a sequencia (m )mN tal que 0 < m < 1, para todo m N, e m 1, quando
m
m . Seja um
0 = m u0 , u1 = m u1 e considere o problema de Cauchy,
m
m
m
m p
um
tt auxx + uxxxx + uxxxxtt = |ux |x
(3.2.7)
um (0) = um
0
(3.2.8)
m
um
t (0) = u1
3.2 O caso E(0) d
64
Temos assim que,

2
m
2
2
2
2
akum
0x kL2 + ku0xx kL2 = m (aku0 kL2 + ku0xx kL2 )

2(p + 1)d
2m
p1
2(p + 1)d
<
p1
e
1
2
m
2
m
2
m 2
E (0) =
kum
1 kL2 + aku0x kL2 + ku0xx kL2 + ku1xx kL2 +
2
p+1

1
2
m
2
=
kum
1 kL2 + ku1xx kL2 + J(m u0 )
2
m
p m
|um
0x | u0x dx
Se u0 = 0 e u1 = 0, entao E m (0) = 0 < d. Se u0 6= 0 ou u1 6= 0, entao, por (3.2.6) e por

0 < m < 1 temos
J(m u0 ) J(u0 )
assim,

2m
ku1 k2L2 + ku1xx k2L2 + J(m u0 )
2

1
ku1 k2L2 + ku1xx k2L2 + J(u0 )
<
2
= E(0) d
E m (0) =
isto e, E m (0) < d. Segue do Teorema 3.2.2 que, para cada m N, o problema de Cauchy
(3.2.7) e (3.2.8) possui uma u
nica solucao global um C 1 ([0, ); H s (R)) satisfazendo
m
m
m
m
h(um
tt auxx + uxxxx + uxxxxtt (ux )x )(t), viH 2 ,H 2 = 0
(3.2.9)
para todo v H 2 (R) e todo t (0, ), alem disso, E m (t) = E m (0), para todo t [0, )
m
e, por um
0 W , temos que u (t) W para todo t [0, ), ou seja,

1
2
m
2
m
kum
t (t)kL2 + kuxxt (t)kL2 + J(u (t)) < d
2
2(p + 1)d
2
+ kum
.
xx (t)kL2 <
p1
E m (0) = E m (t) =
(3.2.10)
2
akum
x (t)kL2
(3.2.11)
3.2 O caso E(0) d
65
Deste modo, por (3.2.11) e por raciocnio analogo a (3.2.5),

p+1
p+1
2
m
2
akum
kum
x (t)kL2 + kuxx (t)kL2
x (t)kLp+1 C0
2
(t)k2L2 + kum
||1 akum
xx (t)kL2
x

2(p + 1)d
< ||1
p1
p+1
2
(3.2.12)
sendo assim, por (3.2.12),

Z

1
m
2
m
2
J(u (t)) =
|um |p um
x (t)dx
2
p+1 R x

||
1
2
2
m
akum
kum (t)kp+1
Lp+1
2
p+1 x

1
1
2
m
2
akum
2 p+1

p1
2
m
2
=
akum
x (t)kL2 + kuxx (t)kL2 0
2(p + 1)
m
donde segue que,

2
m
2
m
kum
t (t)kL2 + kuxxt (t)kL2 < 2(d J(u (t)))
2d
obtemos, da discussao acima, que
2(p + 1)d
p1
2d
2(p + 1)d
||1
.
p1
2
m
2
akum
x (t)kL2 + kuxx (t)kL2 <
2
m
2
kum
t (t)kL2 + kuxxt (t)kL2
p+1
kum
x (t)kLp+1
(3.2.13)
(3.2.14)
(3.2.15)
Veja que, de (3.2.9) e por um C 1 ([0, ); H 2 (R)), podemos escrever, para todo t [0, ),
m
n
m
n
n
h((um
tt utt ) a(uxx uxx ) + (uxxxx uxxxx )
n
m
n
m
n
+ (um
xxxxtt uxxxxtt ) ((ux )x (ux )x ))(t), ut (t) ut (t)iH 2 ,H 2 = 0
3.2 O caso E(0) d
66
deste modo,
1d
n
2
kum
t (t) ut (t)kL2
2 dt
n
2
+ akum
x (t) ux (t)kL2
n
2
m
n
2
+ kum
xx (t) uxx (t)kL2 + kuxxt (t) uxxt (t)kL2
p
m
n
= ((|unx |p |um
x | )(t), uxt (t) uxt (t))L2
p
n p
m
n
||k|um
x | (t) |ux | (t)kL2 kuxt (t) uxt (t)kL2 (3.2.16)
no entanto temos que, por (1.6.6)

n 2
m
n 2
kum
xt uxt kL2 kut ut kH 2
2
n
m
n 2
C(kum
t ut kL2 + kuxxt uxxt kL2 )
(3.2.17)
Alem disso, por H 1 (R) , L (R) e por (3.2.13),

1
m
2
m
2 2
kum
x (t)kL C(akux (t)kL2 + kuxx (t)kL2 )

1
2(p + 1)d 2
C
para todo t [0, )
p1
(3.2.18)
sendo assim, por uma aplicacao do Teorema do Valor Medio, para todo x R e t [0, ),
2(p1)
p
n
p 2
||um
C sup (kum
x (x, t)| |ux (x, t)| |
x (t)kL
n
2
)|um
x (x, t) ux (x, t)|
t[0,)

C
deste modo, fazendo C = C
p
k|um
x (t)|
2(p+1)d
p1
p1
|unx (t)|p k2L2
2(p + 1)d
p1
p1
n
2
|um
x (x, t) ux (x, t)|
,
Z
p
n
p 2
||um
x (x, t)| |ux (x, t)| | dx
R
n
2
m
Cku
x (t) ux (t)kL2
(3.2.19)
substituindo (3.2.17) e (3.2.19) em (3.2.16) obtemos, para algum C > 0 suficientemente
3.2 O caso E(0) d
67
grande,
p
n p
m
n
||k|um
x | (t) |ux | (t)kL2 kuxt (t) uxt (t)kL2
p
n p
2
m
n
2
C||(ak|um
x | (t) |ux | (t)kL2 + kuxt (t) uxt (t)kL2 )
n
2
m
n
2
m
n
C||(akum
x (t) ux (t)kL2 + kuxx (t) uxx (t)kL2 + kut (t) ut (t)kL2
n
+ kum
xxt (t) uxxt (t)kL2 ).
Agora observe que,

1d
n
kum (t) un (t)k2L2 = (um (t) un (t), um
t (t) ut (t))L2
2 dt
n
kum (t) un (t)kL2 kum
t (t) ut (t)kL2
n
2
kum (t) un (t)k2L2 + kum
t (t) ut (t)kL2
do exposto acima,
1d
n
2
m
n
2
t (t) ut (t)kL2 + akux (t) ux (t)kL2
2 dt

n
2
m
n
2
+ kum
n
2
m
n
2
m
n
2
t (t) ut (t)kL2 + C||(akux (t) ux (t)kL2 + kuxx (t) uxx (t)kL2
n
m
n
+ kum
t (t) ut (t)kL2 + kuxxt (t) uxxt (t)kL2 )
n
2
m
n
2
C kum (t) un (t)k2L2 + kum

n
2
m
n
2
+ kum
onde a desigualdade acima e valida para todo t [0, ) e para todo m, n N,

um C 1 ([0, ); H 2 (R) podemos assim integrar a expressao acima de 0 a t, 0 t T0 ,
obtendo,
n
2
m
n
2

2
2
m
n
n
+ kum
Z t
2mn (0) +
2Cmn ( )d
mn (t) =
3.2 O caso E(0) d
68
onde,
n 2
m
n 2
m
n 2
mn (0) = kum
0 u0 kL2 + ku1 u1 kL2 + aku0x u0x kL2
n
2
m
n
2
+ kum
0xx u0xx kL2 + ku1xx u1xx kL2
aplicando a desigualdade de Gronwall,

n
2
m
n
2
n
2
m
n
2
+kum
mn (0)e
Rt
0
Cds
mn (0)eCT0
assim,
n
2
kum (t) un (t)k2H 2 C(kum (t) un (t)k2L2 + kum
xx (t) uxx (t)kL2 )
mn (0)eCT0
para todo t [0, T0 ), logo,
kum un k2L (0,T0 ;H 2 (R)) mn (0)eCT0
m
lembrando que um
0 = m u0 e u1 = m u1 , com m 1, assim,
um
0 u0
forte em H 2 (R)
(3.2.20)
um
1 u1
forte em H 2 (R)
(3.2.21)
sendo assim,
kum un k2L (0,T0 ;H 2 (R)) Cmn (0)eCT0
0
isto e, (um ) e uma sequencia de Cauchy no espaco de Banach L (0, T0 ; H 2 (R)), donde
3.2 O caso E(0) d
69
existe u L (0, T0 ; H 2 (R)) tal que

forte em L (0, T0 ; H 2 (R))
um u
(3.2.22)
segue assim que,
um *
u
L (0, T0 ; H 2 (R))
fraco-* em
um
*
ux
x
fraco-* em
L (0, T0 ; H 1 (R))
(3.2.23)
(3.2.24)
segue de (3.2.14) que existe uma subsequencia de (um ), ainda denotada por (um ), tal que,
um
t *
fraco-* em
L (0, T0 ; H 2 (R)).
Agora observe que L (0, T0 ; H 2 (R)) , L2 (0, T0 ; L2 (R)) , D0 ((0, T0 ) R) deste modo
(3.2.23)
um *
u
fraco-* em
D0 ((0, T0 ) R)
sendo o operador derivacao contnuo em D0 ((0, T0 ) R),
um
t
t * u
fraco-* em
D0 ((0, T0 ) R)
um *
fraco-* em
D0 ((0, T0 ) R)
do mesmo modo,
donde, pela unicidade do limite em D0 ((0, T0 ) R), = ut . Logo,
um
*
ut
t
fraco-* em
L (0, T0 ; H 2 (R)).
Observe agora que, em decorrencia de (3.2.22)

um
ux
x
forte em
L (0, T0 ; H 1 (R))
(3.2.25)
3.2 O caso E(0) d
70
podemos assim tomar uma subsequencia de (um ), ainda denotada por (um ), tal que,
um
x
x u
[0, T0 ] R
quase sempre em
logo,
p
|um
ux |p
x | |
[0, T0 ] R.
quase sempre em
Alem disso, por (3.2.15),

p
k|ux | (t)k
p+1
p
p+1
L p ([0,T
T0
Z
=
0 ]R)
p+1
kum
x (t)kLp+1 (R) dt
p+1
T0 sup kum
x (t)kLp+1 C
(3.2.26)
t[0,T0 )
para alguma constante C suficientemente grande. Logo, do Lema de Lions,

p
|um
ux |p
x | * |
fraco em
p+1
p
(0, T0 ; L
p+1
p
(R))
o que implica que,

p+1
p
p
ux |p
|um
x | * |
fraco-* em
p
|um
x | * 1
fraco-* em
L (0, T0 ; L
(0, T0 ; L
p+1
p
(R))
por (3.2.26)
como L (0, T0 ; L
p+1
p
(R)) , L
p+1
p
p
|um
x | * 1
(0, T0 ; L
p+1
p
p
|um
ux |p
x | * |
(R))
(R)) temos,
fraco-* em
logo, pela unicidade do limite fraco-* em L
p+1
p
L
p+1
p
fraco-* em
p+1
p
(0, T0 ; L
(0, T0 ; L
p+1
p
p+1
p
(R))
(R)), 1 = |
ux |p , assim,
L (0, T0 ; L
p+1
p
(R))
(3.2.27)
3.2 O caso E(0) d
71
Em suma, obtemos ate aqui em (3.2.24), (3.2.25) e (3.2.27) as seguintes convergencias,
um
x
x * u
fraco-* em
L (0, T0 ; H 1 (R))
(3.2.24)
um
t
t * u
fraco-* em
L (0, T0 ; H 2 (R))
(3.2.25)
p
ux |p
|um
x | * |
fraco-* em
L (0, T0 ; L
p+1
p
(R))
(3.2.27)
e, de (3.2.9), temos, para todo t (0, T0 ) e todo v H 2 (R),

m
m
m
(um
1 , v)L2 + (u1xx , vxx )L2 = (ut (t), v)L2 + (uxxt (t), vxx )L2
Z t
m p
m
(a(um
+
x ( ), vx )L2 + (uxx ( ), vxx )L2 + (|ut | ( ), vx )L2 )d
0
entao, fazendo m ,
(u1 , v)L2 + (u1xx , v)L2 = (
ut (t), v)L2 + (
uxxt (t), vxx )L2
Z t
+
(a(
ux ( ), vx )L2 + (
uxx ( ), vxx )L2 + (|
ut |p ( ), vx )L2 )d (3.2.28)
0
ou seja, u verifica a equacao (2.0.1) e, pelas convergencias (3.2.20) e (3.2.21),

u(0) = u0
ut (0) = u1
logo u e uma solucao do problema de Cauchy (2.0.1), (2.0.2) e, pela unicidade de solucao,
u = u em R [0, T0 ), deste modo,
kux (t)kL = k
ux (t)kL
1
C(ak
ux (t)k2L2 + k
uxx (t)k2L2 ) 2
2
m
2 2
C lim (akum
x (t)kL2 + kuxx (t)kL2 )
m

1
2(p + 1)d 2
C
p1
(3.2.29)
para todo t [0, T0 ), assim, pelo Teorema 3.2.1, deveriamos ter que T0 = , uma
3.2 O caso E(0) d
72
contradicao, pois supomos T0 < . Logo,

u C 1 ([0, ); H s (R))
e u(t) W W , para todo t [0, ). Com efeito, dado t1 [0, ), basta notar
que podemos repetir a construcao acima aproximando u por uma sequencia (um )mN de
solucoes do problema (3.2.7), (3.2.8), de modo que, para qualquer m N,
um C 1 ([0, T1 ]; H s (R)), onde T1 > t1 . Assim, analogamente a (3.2.29), obtemos
2
2
m
lim (akum
x (t1 )kL2 + kuxx (t1 )kL2 )
2(p + 1)d
p1
portanto u(t1 ) W W e pela arbitrariedade de t1 [0, ) temos o desejado.

Teorema 3.2.4. Assuma que 2 s 
2(p+1)d
p1
Se E(0) d,
e (u0 , u1 )L2 + (u0xx , u1xx )L2 0, quando E(0) = d, ent

ao
a solucao do problema de Cauchy (2.0.1) e (2.0.2) deixa de existir em tempo finito, mais
precisamente, existe T1 < tal que
lim ku(t)kH s = .
tT1
Demonstrac
ao: Sabemos do Teorema 2.3.2 que o problema de Cauchy (2.0.1) e (2.0.2)
admite uma u
nica solucao u C 1 ([0, T0 ); H s (R)), onde [0, T0 ) e o intervalo maximal de
existencia de solucao. Vamos provar que T0 < . Suponhamos, entao, que T0 = . Seja
: [0, ) R tal que,
e
0 (t) = 2(u(t), ut (t))L2 + 2(uxx (t), uxxt (t))L2 .
(3.2.30)
3.2 O caso E(0) d
73
Deste modo, aplicando a desigualdade de Cauchy-Schwarz temos que,

(0 (t))2 = 4 (u(t), ut (t))2L2 + 2(u(t), ut (t))L2 (uxx (t), uxxt (t))L2 + (uxx (t), uxxt (t))2L2
4 ku(t)k2L2 kut (t)k2L2 + 2ku(t)kL2 kuxxt (t)kL2 kuxx (t)kL2 kut (t)k2L2
|
{z
}
2aba2 +b2 ,
kuxx (t)k2L2 kuxxt (t)k2L2
a,bR
4 ku(t)k2L2 kut (t)k2L2 + kuxx (t)k2L2 kut (t)k2L2 + ku(t)k2L2 kuxxt (t)k2L2

+ kuxx (t)k2L2 kuxxt (t)k2L2

4(t) kuxxt (t)k2L2 + kut (t)k2L2
em suma,

(0 (t))2 4(t) kut (t)k2L2 + kuxxt (t)k2L2 .
(3.2.31)
Temos ainda que, por u(0) V , dos lemas 3.1.2 e 3.1.3, u(t) V para todo t [0, T0 ),
assim,

00 (t) = (p 1) akux (t)k2L2 + kuxx (t)k2L2 + (p + 3) kut (t)k2L2 + kuxxt (t)k2L2
2(p + 1)E(0)

> 2(p + 1)d + (p + 3) kut (t)k2L2 + kuxxt (t)k2L2 2(p + 1)E(0)
(3.2.32)
2(p + 1)(d E(0)) 0, para todo t [0, )
(3.2.33)
integrando (3.2.33) sobre (0, t),

Z
2(p + 1)(d E(0))ds = 2(p + 1)(d E(0))t < 0 (t) 0 (0)
sendo assim,
0 (t) > 0 (0) + 2(p + 1)(d E(0))t
da desigualdade acima e do fato de que 0 (0) 0 quando E(0) = d, temos que existe t1 > 0
tal que para qualquer t [t1 , ), 0 (t) > 0, portanto (t) nunca se anula sobre [t1 , ). No
3.2 O caso E(0) d
74
caso E(0) < d, temos que, para t1 suficientemente grande, 0 (0) + 2(p + 1)(d E(0))t > 0,
para t [t1 , ), pois d E(0) > 0. Por outro lado, de (3.2.30) e (3.2.32) temos

p1
2
(t) (t) 1 +
(0 (t)) > (t) 2(p + 1)d + (p + 3)(kut (t)k2L2 + kuxxt (t)k2L2 )
4

2(p + 1)E(0) (p + 3)(kut (t)k2L2 + kuxxt (t)k2L2 )
00
= (t)2(p + 1)(d E(0)) 0

ou seja, para todo t [t1 , ),

p1
(t) (t) 1 +
(0 (t))2 > 0.
4
00
Considere (t) = ((t))
p1
4
(3.2.34)
. Entao,

p+3
p1
(t) =
((t)) 4 0 (t)
4

p1
p1
p+7
0
2
00
00
(t) =
((t)) 4 (t) (t) 1 +
( (t)) < 0
4
4
0
para todo t [t1 , ), alem disso (t1 ) > 0 e 0 (t1 ) < 0. Assim, definindo,
(t) = (t) (t1 ) (t t1 ) 0 (t1 )
temos 0 (t) = 0 (t) 0 (t1 ) e 00 (t) = 00 (t) < 0, para todo t [t1 , ). Uma vez que
0 (t1 ) = 0, 0 (t) 0 para todo t [t1 , ), do mesmo modo, por (t1 ) = 0, (t) 0 para
todo t [t1 , ) deste modo, para todo t [t1 , )
(t) (t1 ) + (t t1 ) 0 (t1 )
geometricamente a desigualdade acima nos diz que o traco do grafico da funcao esta
sempre abaixo de uma reta com inclinacao (coeficiente angular) negativo, uma vez que,
para t = t1 +
4(t1 )
(p1)0 (t1 )
[t1 , ),
(t1 ) + (t1 +
4(t1 )
t1 ) 0 (t1 ) = 0
(p 1)0 (t1 )
3.3 O caso E(0) > 0

segue que existe T1 t1 , t1 +
75
4(t1 )
(p1)0 (t1 )
tal que
lim (t) = 0
tT1
assim, pela definicao de ,

lim (t) =
(3.2.35)
tT1
o que contradiz T0 = . Observe que, pelo Teorema 1.6.10, podemos reescrever (3.2.35)
como
lim ku(t)kH 2 = .
tT1
Por esta razao, dizemos que u explode (tem blows up) em tempo finito.
3.3
O caso E(0) > 0
Assuma que 2 s < p + 1 e vamos introduzir o seguinte funcional (de Nehari)

I : H 2 (R) R tal que,
I(t) = I(u(t)) =
akux (t)k2L2
kuxx (t)k2L2
Z
+
|ux |p ux (t)dx.
Sendo assim podemos definir um novo conjunto estavel,

W = u(t) H 2 (R); I(u(t)) > kut (t)k2L2 + kuxxt (t)k2L2 .
(3.3.36)
Lema 3.3.1. Sejam u0 , u1 H 2 (R) e u C 1 ([0, T0 ); H s (R)) a solucao do problema de

Cauchy (2.0.1) e (2.0.2). Assuma que E(0) > 0 e
ku0 k2L2 + ku0xx k2L2 + 2(u0 , u1 )L2 + 2(u0xx , u1xx )L2 +
2(p + 1)
E(0) < 0.
p+3
(3.3.37)
Entao a aplicacao t 7 ku(t)k2L2 + kuxx (t)k2L2 e estritamente decrescente quando u(t) W.
3.3 O caso E(0) > 0
Demonstrac
ao:
76
Em primeiro lugar observe que, o conjunto A dos pontos t [0, T0 )
tais que u(t) W e aberto em [0, T0 ), isto e, A e um intervalo, ou a uniao de intervalos

na reta. Com efeito, definindo I1 : H 2 (R) R tal que
I1 (u(t)) = I(u(t)) kut (t)k2L2 kuxxt (t)k2L2
pela continuidade da aplicacao norma, I1 e uma aplicacao contnua e como
W = I11 ((0, ))
W e aberto em H 2 (R) e, por u C 1 ([0, T0 ); H 2 (R)), a aplicacao
I2 : [0, T0 ) H 2 (R)
t 7 u(t)
e contnua, logo A = I21 (W) e aberto em [0, T0 ), ou seja, A [0, T0 ) e aberto em R.
Definindo : A R por
teremos,
0 (t) = 2(u(t), ut (t))L2 + 2(uxx (t), uxxt (t))L2
e
00 (t) = 2(u(t), utt (t))L2 + 2(uxx (t), uxxtt (t))L2 + 2kut (t)k2L2 + 2kuxxt (t)k2L2
(3.3.38)
Compondo a equacao (2.0.1) com u obtemos que,

(utt (t), u(t))L2 + huxxxxtt (t), u(t)iH 2 ,H 2 + akux (t)k2L2 + kuxx (t)k2L2 = (|ux |p (t), ux (t))L2
3.3 O caso E(0) > 0
77
para todo t A, isto e,

(utt (t), u(t))L2 + (uxx (t), uxxtt (t))L2 =
akux (t)k2L2
kuxx (t)k2L2
|ux |p (t)ux (t)dx
= I(t)
entao, (3.3.38) pode ser reescrito como
00 (t) = 2kut (t)k2L2 + 2kuxxt (t)k2L2 2I(t)
< 0
sempre que u(t) W
assim 0 e decrescente em A, por (3.3.37) e sendo E(0) > 0, por hipotese,

2(u0 , u1 )L2 + 2(u0xx , u1xx )L2 < ku0 k2L2 ku0xx k2L2
2(p + 1)
E(0)
p+3
< 0
isto e,
0 (0) = 2(u0 , u1 )L2 + 2(u0xx , u1xx )L2 < 0
logo e estritamente decrescente quando u(t) W.

Lema 3.3.2. Seja u0 , u1 H 2 (R) e u C 1 ([0, T0 ); H s (R)) a solucao do problema
de Cauchy (2.0.1) e (2.0.2) com intervalo de existencia maximal [0, T0 ). Suponha que
E(0) > 0 e
2(p + 1)
E(0) < 0.
p+3
(3.3.37)
Entao, se u(0) = u0 W temos que u(t) W para todo t [0, T0 ).

Demonstrac
ao: Supondo o resultado falso, existiria t1 (0, T0 ) tal que u(t1 )
/ W, isto
e,
I(t1 ) kut (t1 )k2L2 + kuxxt (t1 )k2L2
3.3 O caso E(0) > 0
78
entao, considere o primeiro t0 (0, T0 ) tal que,

I(t0 ) = kut (t0 )k2L2 + kuxxt (t0 )k2L2
(3.3.39)
mais especificadamente, para todo t [0, t0 )

I(t) > kut (t)k2L2 + kuxxt (t)k2L2 .
Vamos considerar : [0, t0 ) R, definida por,
pelo lema 3.3.1 e 0 sao funcoes estritamente decrescente em [0, t0 ), assim,
(t0 ) = lim (t) < (0) = ku0 k2L2 + ku0xx k2L2
tt0
e, por (3.3.37),
(t0 ) < ku0 k2L2 + ku0xx k2L2
< 2(u0 , u1 )L2 2(u0xx , u1xx )L2
2(p + 1)
E(0).
p+3
(3.3.40)
Por outro lado,

E(0) = E(t0 ) =
+
=
+
1

1
kut (t0 )k2L2 + kuxxt (t0 )k2L2 +
2
2
Z

1
|ux |p (t0 )ux (t0 )dx +

p+1 R
p+1

1
p+1

1
1
I(t0 )
2
p+1

1
1

2 p+1
3.3 O caso E(0) > 0
79
no entanto, por (3.3.39),

p1
1
1
E(0) >
+
2 p+1
2(p + 1)

p+3
(3.3.41)
kut (t0 )k2L2 + kuxxt (t0 )k2L2 .
2(p + 1)
Note que,
kut (t0 )k2L2 = (ut (t0 ) + u(t0 ) u(t0 ), ut (t0 ) + u(t0 ) u(t0 ))L2
= kut (t0 ) + u(t0 )k2L2 ku(t0 )k2L2 2(u(t0 ), ut (t0 ))L2
do mesmo modo,
kuxxt (t0 )k2L2 = kuxxt (t0 ) + uxx (t0 )k2L2 kuxx (t0 )k2L2 2(uxx (t0 ), uxxt (t0 ))L2
assim, podemos escrever (3.3.41) como,
p+3
kut (t0 ) + u(t0 )k2L2 ku(t0 )k2L2
2(p + 1)

2(u(t0 ), ut (t0 ))L2 + kuxxt (t0 ) + uxx (t0 )k2L2 kuxx (t0 )k2L2 2(uxx (t0 ), uxxt (t0 ))L2

p+3

ku(t0 )k2L2 kuxx (t0 )k2L2
2(p + 1) |
{z
}
E(0)
=(t0 )
p+3
((u(t0 ), ut (t0 ))L2 + 2(uxx (t0 ), uxxt (t0 ))L2 ) .
p+1
Sendo assim,
(t0 ) = ku(t0 )k2L2 + kuxx (t0 )k2L2
2(p + 1)
E(0) 2(u(t0 ), ut (t0 ))L2 2(uxx (t0 ), uxxt (t0 ))L2

p+3
uma contradicao com (3.3.40).

Teorema 3.3.3. Seja 2 s 0
80
Entao o intervalo de tempo maximal de existencia da solucao u C 1 ([0, T0 ); H s (R)) do

problema de Cauchy (2.0.1) e (2.0.2) e infinito.
Demonstrac
ao:
Ja sabemos, pelo Teorema 2.3.2, que o problema de Cauchy (2.0.1)
e (2.0.2) admite uma u

nica solucao u C 1 ([0, T0 ); H s (R)). Pelo Lema 3.3.2, u(t) W
para todo t [0, T0 ), isto e, para todo t [0, T0 )
I(t) > kut (t)k2L2 + kuxxt (t)k2L2
portanto,
E(0) = E(t) =
+
>
+
=

1
kut (t)k2L2 + kuxxt (t)k2L2
2

p1
1
akux (t)k2L2 + kuxx (t)k2L2 +
I(t)
2(p + 1)
p+1

1
p1
kut (t)k2L2 + kuxxt (t)k2L2 +
akux (t)k2L2
2
2(p + 1)

1
kuxx (t)k2L2 +
kut (t)k2L2 + kuxxt (t)k2L2
p+1

p+3
p1
kut (t)k2L2 + kuxxt (t)k2L2 +
akux (t)k2L2 + kuxx (t)k2L2 .
2(p + 1)
2(p + 1)
Desta forma, como H 1 (R) , L (R),

kux (t)kL Ckux (t)kH 1 C kux (t)k2L2 + kuxx (t)k2L2
1
C akux (t)k2L2 + kuxx (t)k2L2 2

12
2(p + 1)
< C
E(0)
p1
12
logo,

sup kux (t)kL C
t[0,T0 )
21
2(p + 1)
E(0)
p1
e, do Teorema 3.2.1, temos que T0 = .

ndice A
Ape
APENDICE
A.1
Espacos de Sobolev e Algebras

de Banach
Uma algebra A sobre um corpo K e um espaco vetorial, sobre K, tal que para cada
par ordenado x, y A podemos definir um u
nico produto xy A com as seguintes
propriedades:
(i) (xy)z = x(yz),
(ii) x(y + z) = xy + xz,
(iii) (x + y)z = xz + yz,
(iv) (xy) = (x)y = x(y).
para todo x, y, z A e para todo escalar K.
Uma algebra normada e um espaco normado A que e uma algebra tal que para todo
x, y A,
kxyk kxkkyk.
(1.1.1)
Uma algebra de Banach e uma algebra normada que e completa, quando considerada
como espaco normado. Uma algebra que e completa, quando considerada como espaco
normado e que verifica
kxyk Ckxkkyk
para alguma constante C > 0, e dita uma algebra de Banach generalizada.

de Banach
82
Lema A.1.1. Dado s > 0 temos que

Se 0 < s < 1 , H s (R) L (R) e uma algebra com
kuvkH s C(kukL kvkH s + kukH s kvkL )
(1.1.2)
para todo u, v H s (R) L (R).

Se
1
2
< s < , H s (R) e uma algebra de Banach generalizada, isto e,

(1.1.3)
para todo u, v H s (R).

Demonstrac
ao: Em primeiro lugar observe que, sendo s > 0, temos H s (R) , L2 (R),
assim dados u, v H s (R), definiremos u.v como o produto correspondente ao produto
em L2 (R). Provemos que uv H s (R), deste modo, uma vez que os itens (i), (ii), (iii) e
(iv) decorrem das propriedades do produto entre duas funcoes, H s (R) L (R) sera uma
algebra, para qualquer s > 0, e, em particular para s > 21 , sera uma algebra de Banach
generalizada.
Supondo que 0 < s < 1, pelo Teorema 1.6.12, temos, para qualquer w H s (R),
kwkH s

21
Z Z
|w(x) w(y)|2
2
C kwkL2 +
dxdy
|x y|1+2s
R R
e, como para quaisquer u, v H s (R) L (R)

kuvk2L2
Z
=
|u(x)v(x)|2 dx

1
kuk2L kvk2L2 + kuk2L2 kvk2L

2
e, para quaisquer x, y R,
|u(x)v(x) u(y)v(y)|2 = |u(x)v(x) u(x)v(y) + u(x)v(y) u(y)v(y)|2
2|u(x)|2 |v(x) v(y)|2 + 2|v(y)|2 |u(x) u(y)|2
(1.1.4)

de Banach
83
logo,
Z Z
R
|uv(x) uv(y)|2
dxdy 2
|x y|1+2s
|v(y)|2 |u(x) u(y)|2

dxdy
|x y|1+2s
R R
Z Z
|u(x)|2 |v(x) v(y)|2
+ 2
dxdy
|x y|1+2s
R R

Z Z
|u(x) u(y)|2
2
2 kvkL
dxdy
|x y|1+2s
R R

Z Z
|v(x) v(y)|2
2
+ kukL
dxdy < (1.1.5)
1+2s
R R |x y|
Z Z
assim uv H s (R) e, por (1.1.4), (1.1.5)

|uv(x) uv(y)|2
C
+
dxdy
|x y|1+2s
R R
C (kukH s kvkL + kukL kvkH s ) .

kuvkH s
kuvk2L2
Z Z
12
No caso de s > 21 , temos, pela Proposicao (1.6.5)-(ii), que C0 (R) tem imersao contnua
e densa em H s (R), assim dados u, v H s (R) existem (n ), (n ) sequencias em C0 (R)
tais que
n u
em
H s (R)
(1.1.6)
n v
em
H s (R).
(1.1.7)
Para cada n N segue que n n H s (R) e

kn n kH s Ckn kH s kn kH s .
Com efeito, dados n , n C0 (R) S(R) temos, pela Proposicao 1.3.10, que
2
s
2
1
2
|(1 + x ) F[n n ](x)| (2)

(1 + x2 ) 2 |F[n ](x y)F[n ](y)|dy
R
Z
s
s
C
(1 + |x y|2 ) 2 + (1 + y 2 ) 2 |F[n ](x y)F[](y)|dy
R

s
= C (1 + |.|2 ) 2 F[n ]) |F[n ] (x)

s
+ C |F[n ]| (1 + |.|2 ) 2 |F[n ] (x)

de Banach
84
donde segue que,

Z
(1 + x2 )s |F[n n ]|2 (x)dx C k(1 + |.|2 ) 2 |F[n ]| |F[n ]|kL2

R

+ k|F[n ]| (1 + |.|2 )|F[n ]|kL2
s
C k(1 + |.|2 ) 2 F[n ]k2L2 kF[n ]k2L1

s
+ kF[n ]k2L1 k(1 + |.|2 ) 2 |F[n ]k2L2
onde, nesta u
ltima desigualdade, aplicamos a Proposicao 1.1.4. Pela proposicao 1.6.8
segue que,
kF[n ]kL1 Ckn kH s
kF[n ]kL1 Ckn kH s
donde,
kn n kH s Ckn kH s kn kH s
para todo n N.
Resta entao provar que n n uv em H s (R). Para isto, observe primeiro que
kn n m m kH s kn (n m )kH s + km (n m )kH s
C(kn kH s kn m kH s + km kH s kn m kH s )
e o lado direito da desigualdade acima tende a zero, posto que (kn kH s ), (kn kH s ) sao
limitadas em R. Assim (n n ) e uma sequencia de Cauchy no espaco de Banach H s (R),
portanto existe w H s (R) tal que
n n w
em
H s (R).
Afirmamos que w = u.v. De fato, como H s (R) , L2 (R),

n n w
em
L2 (R).
(1.1.8)

de Banach
85
Alem disso, note que, dado n N,

Z
|n (x)n (x) u(x)v(x)| dx

R
ZR
|n (x)n (x) n (x)v(x) + n (x)v(x) uv(x)|2 dx

2 |n (x)|2 |n (x) v(x)|2 + |v(x)|2 |n (x) u(x)|2 dx
Uma vez que s > 21 , H s (R) , L (R), deste modo, v L (R) e

kn k2L Ckn k2H s C
para todo n N. Assim,
Z
|n (x)n (x) u(x)v(x)|2 dx 2C kn vk2L2 + 2kvk2L kn uk2L2 <
provamos assim que uv L2 (R), e

n n uv
em
L2 (R).
Segue da unicidade do limite em L2 (R) que w = uv H s (R). Por fim, para todo n N,
kn n kH s Ckn kH s kn kH s
e das convergencias (1.1.6), (1.1.7) e (1.1.8), segue que,
kuvkH s kukH s kvkH s
para todo u, v H s (R).

O Teorema 2.2.1 nos diz que, no caso
1
2
< s < 1 sao validas as seguintes desigualdades,


de Banach
86
No entanto, note que uv verificando a primeira destas duas desigualdades, pela imersao
H s (R) , L (R) temos que a segunda desigualdade e verificada.
De fato, dados
u, v H s (R) temos,
kukL < CkukH s
kvkL < CkvkH s
deste modo,
C(kukH s kvkH s + kukH s kvkH s ) CkukH s kvkH s .
No caso onde n > 1 podemos facilmente adaptar as demonstracoes acima para provar
que H s (Rn )L (Rn ) e uma algebra se s (0, 1) ou se s > n2 , nos demais casos o resultado
continua valido, assim como mostra o proximo teorema.
Teorema A.1.2. Seja u, v H s (Rn ) L (Rn ), onde s > 0, entao H s (Rn ) L (Rn ) e
uma algebra, com
kuvkH s C(kukL kvkH s + kvkL kukH s ).
Demonstrac
ncias Bibliogra
ficas
Refere
[1] ADAMS, R. - Sobolev Spaces - Academic Press, 1975.
[2] BREZIS, H. - Functional Analysis Sobolev Spaces and Partial Differential Equations
- Springer, 2011.
[3] BREZIS,
H. - Operateurs Maximaux Monotones et Semigroups de Contractions dans
les Spaces de Hilbert - Amsterdam: North Holland Publishing Co., 1973.
[4] BOTELHO, G., PELLEGRINO, D., TEIXEIRA, E. - Fundamentos de Analise Funcional - Rio de Janeiro: SBM 2012.
[5] CAVALCANTI, M.M., CAVALCANTI, V.N.D. - Introducao à Teoria das Distribuicoes e aos Espacos de Sobolev.Eduem, 2009.
[6] DUISTERMAAT, J. J., KOLK, J.A.C - Distributions - Theory and Applications,
Birkhauser, 2010.
[7] GAGLIARDO, E. - Proprietà di alcune classi di funzioni in pi`
u variabili. Ricerche
Mat. (1958), 102-137.
[8] GOMES, A.M. - Semigrupos de Operadores Lineares e Aplicacao às Equacoes de
Evolucao - 2Ed Rio de Janeiro Instituto de Matematica Universidade Federal do Rio
de Janeiro, 2000.
[9] HORVATH,
J., - Topological vector spaces ans distribuitions, Addison Wesley publishing company, 1966.
[10] HOUNIE, J. G., - Teoria Elementar das Distribuicoes, IMPA, 1979.
REFERENCIAS
BIBLIOGRAFICAS
88
[11] KATO, T., PONCE,G. - Commutator estimates and the Euler and Navier-Stokes
equations. Communications on Pure and Applied Mathematics 41 (1988) 891-907.
[12] KESAVAN, S. - Functional Analysis, Hindustan Book Agency, 2009.
[13] IORIO
JR., R. , IORIO,
V.M. - Equacoes Diferenciais Parciais: Uma Introducao Projeto Euclides, Rio de Janeiro: IMPA 2010.
[14] LINARES, F. , PONCE, G. - Introduction to nonlinear Dispersive Equations - NY:
Springer, 2008.
[15] LIONS, J.L. - Quelques Methodes de Resolution des Problèmes Aux Limites Non
Lineaires. Dunod, Gauthier-Villars, 1969.
[16] LIU, Y. - Instability an Blow-up of Solutions to a Generalized Boussinesq Equation
- SIAM J. Math Anal., vol.26, no 6, (1995) pp. 1527- 1546.
[17] MEDEIROS, L.A., MIRANDA, M.M. - Introducao aos Espacos de Sobolev e `
as
Equacoes Diferenciais Parciais; Rio de Janeiro, 1993. Textos de Metodos Matematicos
N. 25. Instituto de Matematica Universidade Federal do Rio de Janeiro.
[18] Milla Miranda, M., San Gil Jutuca, L. P. - Existence and boundary stabilization of
solutions for the kirchhoff equation - Communications in Partial Differential Equations,
(1999)24:9-10, 1759-1800
[19] DI NEZZA, E., PALATUCCI, G., VALDINOCI, E. - Hitchhikers guide to the fractional Sobolev spaces - Boulletin des Sciences Matematiques 136 (2012) 521 - 573.
[20] PAZY, A. - Semigroups of Linear Operators and Applications to Partial Differential
Equations - Vol. 44 of Applied Mathematical Sciences. Springer-Verlag, NY,1983.
[21] POLAT, N., ERTAS, A. - Existence and Blow-up of Solution of Cauchy Problem
for the Generalized Damped Multidimensional Boussinesq Equation - J. Math. Anal.
Appl., 349 (2009) 10-20.
[22] ROSENAU, P. - Dynamics of dense lattices, Phys. Rev. B 36 (11), (1987) 5868-5876.
[23] RUNST, T., SICKEL, W. - Sobolev Spaces of Fractional Order, Nemytskij Operators,
and Nonlinear Partial Differential Equations - Walter de Gruyter, 1996.
REFERENCIAS
BIBLIOGRAFICAS
89
[24] RUNZHANG, X. - Cauchy Problem of Generalized Boussinesq Equation with Combined Power-Type Nonlinearities - Math. Meth. Appl. Sci. 2011, 34 23182328.
[25] SATTINGER, D.H. - On global solution of nonlinear hyperbolic equations, Arch.
Ration. Mech. Anal. 30 (1968) 148-172.
[26] PAYNE, L.E., SATTINGER, D.H. - Saddle points and instability of nonlinear hyperbolic equations - Israel J. Math. 22 (1975) 273-303.
[27] SHEN, J., WANG, Y. XU, R. - Global existence of Solutions for 1-D Nonlinear Wave
Equation of Sixth Order at High Initial Energy Level - Boundary Value Problems
(2014), 2014:31.
[28] TASKESEN, H., POLAT, N, ERTAS, A. - On Global Solutions for the Cauchy Problem of a Boussinesq-Type Equation - Abstract and Applied Analysis, Volume 2012,
Article ID 535031, 10 pages.
[29] ZEIDLER, E. - Nonlinear Functional Analysis and its Aplications - V. 2A: Linear
Monotone Operators. Springer-Verlag, 1990.
[30] WANG, Y.Z., WANG, Y.X - Existence and Nonexistence of Global Solutions for a
Class of Nonlinear Wave Equations of Higher Order - Nonlinear Analysis 72, (2010)
4500-4507.
[31] WANG, S., XUE, H. - Global Solution for a Generalized Boussinesq Equation - Applied Mathematics an Computation, 204 (2008) 130-136.
[32] WANG, S., XU, G. - The Cauchy problem for the Rosenau equation - Nonlinear
Analysis 71 (2009) 456 - 466.
[33] WANG, Y., Mu, C. - Blow-up and scattering of solution for a generalized Boussinesq
equation - Applied Mathematics and Computation 188 (2007) 11311141.

EDP

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

EDP

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDADE ESTADUAL DE MARINGA

ADEMIR BENTEUS PAMPU

Orientador: Prof. Dr. Juan Amadeo Soriano Palomino.

Espacos de funcoes Lebesgue integraveis . . . . . . . . . . . . . . . . . . .

Distribuicoes e derivada distribucional . . . . . . . . . . . . . . . . . . . . 12

Transformada de Fourier e Espaco de Schwartz . . . . . . . . . . . . . . . . 15

Espacos de Sobolev de ordem fracionaria . . . . . . . . . . . . . . . . . . . 21

O problema de Cauchy abstrato . . . . . . . . . . . . . . . . . . . . . . . . 29

O problema linear associado . . . . . . . . . . . . . . . . . . . . . . . . . . 34

Estimativas para o termo nao linear . . . . . . . . . . . . . . . . . . . . . . 39

Existencia de solucao local . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

Funcional de energia e o poco potencial . . . . . . . . . . . . . . . . . . . . 52

O caso E(0) > 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75

A.1 Espacos de Sobolev e Algebras

utt auxx + uxxxx + uxxxxtt = |ux |px

Com o intuito de tornar o texto o mais autossuficiente possvel apresentaremos neste

Seja Rn um conjunto aberto, denotamos por Lp (), 1 p < , o conjunto das

sendo, a integral acima, entendida no sentido de Lebesgue.

f Lp () e g Lq (), entao f.g L1 () e

1.1 Espacos de funcoes Lebesgue integraveis

Por simplicidade de notacao, denotaremos as classes de funcoes [f ] dos espacos Lp (),

= 1 e, dado (Lp ())0 , existe um u

1.1 Espacos de funcoes Lebesgue integraveis

e kk(Lp ())0 = kf kLq .

1.2 Distribuicoes e derivada distribucional

para todo t [0, T ], entao,

para todo t [0, T ].

se, e somente se, para cada compacto K , tem-se

|fn (x) f (x)| dx

Note que D0 , onde 0 = (0, 0, ..., 0), representa o operador identidade.

1.2 Distribuicoes e derivada distribucional

Considerando Rn um conjunto aberto, denotamos por C0 () o conjunto das

e um conjunto compacto de Rn . Diremos que, dado uma sequencia (m )mN tem-se

se, e somente se,

1.2 Distribuicoes e derivada distribucional

Considere a distribuicao T sobre Rn e Nn . A derivada de ordem || de T e

Temos que D T D (), alem disso a aplicacao

(i) Vamos considerar Rn um conjunto aberto e u L1loc ().

Definindo Tu : D() K tal que, para cada D(),

temos que Tu e uma distribuicao sobre .

Mais precisamente, prova-se que

apesar de u nao ser derivavel, no sentido classico, em x = 0 prova-se que u admite

= 0 . Observe que nao existe v L1loc (R) tal que

1.3 Transformada de Fourier e Espaco de Schwartz

Transformada de Fourier e Espa

Dado f L1 (Rn ) definimos a transformada de Fourier de f como

F[f ]() = (2)

onde, dados = (1 , ..., n ), y = (y1 , ..., yn ) R , < , y >=

Teorema 1.3.1. A transformada de Fourier de f L (R ) e uma funcao contnua,

kF[f ]kL (2) 2 kf kL1 .

Em particular, a aplicacao f 7 F[f ] e um operador linear e contnuo de L1 (Rn ) em

F[f g]() = (2) 2 F[f ]()F[g]()

Prova: Ver [13].

quaisquer que sejam k N0 e Nn0 , onde N0 = N {0}.

1.3 Transformada de Fourier e Espaco de Schwartz

e limitado em Rn , quaisquer que sejam k N0 e Nn0 .

1.3 Transformada de Fourier e Espaco de Schwartz

(i) S(Rn ) tem imersao contnua em Lp (Rn ), 1 p , sendo tal

imersao densa se 1 p < .

1.4 Distribuicoes temperadas

eih,xi F[f ]()d.

para toda f S(Rn ).

(2) 2 F[] = F[] F[].

Prova: Ver [17].