Bar Rosa Mauri Dasilva

INSTI1TTO DE
de Campinas
E Cl\IPUTAAO
Departamento de Matemtica
Tese de Doutorado
O PROBLEMA DE CAUCHY PARA A
EQUAAO SUPER KORTEWEG-DE
VRIES
Amauri da Silva Barros
Orientador: Prof. Dr. Jaime Angulo Pava
O PROBLEMA DE CAUCHY PARA A EQUAAO
Banca examinadora:
Pro f. Dr. Jaime Angulo Fava
Pro f. Dr. Orlando Francisco Lopes
Pro f. Dr. Mrcia A. Guimares Scialom
Pro f. Dr. Jos Felipe L in ares Ramirez
Pro f. Dr. wagner Vieira Leite Nunes
Este exemplar corresponde redao
da tese devidamente corrigida e defendida
por Amauri da Silva Barros e aprovada
pela comisso julgadora.
Dr .. Jajfue ~ g u l o Pava
. '
Orientador
Tese apresentada ao Instituto de Ma-
temtica, Estatstica e Computao Ci-
entfica, UKICAMP, como requisito parcial
para obteno do Ttulo de Doutor em
Matemtica.
B278p
FICHA CATALOGRFICA ELABORADA PELA
BIBLIOTECA DO IMECC DA UNICAMP
Barros. Amauri da Silva
O problema de Cauchy para a equao super Korteweg-de Vries !
Amauri da Silva Barros --Campinas, [S.P. :s.n.], 2004.
Orientador :Jaime Angulo Pava
Tese (doutorado)- Universidade Estadual de Campinas, Instituto
de Matemtica, Estatstica e Computao Cientfica.
l. Cauchy, Problemas de. 2. Equaes de evoluo no-lineares. 3.
Sobolev, Espaos de. !. Pava, Jaime Angu!o. !!. Universidade Estadual
de Campinas. Instituto de Matemtica, Estatstica e Computao
Cientfica. !li. Ttulo.
Tese de Doutorado defendida em 31 de maio de 2004 e aprovada
Pela Banca Exanlin:ad[)l
Prof. (a),(a). MARCIA ASSUMPO GUIMARES SCIALOM
Prof. (a). Dr (a). JOS FELIPE LINARES RAMIREZ
AGRADECIMENTOS
A Deus, pela vida e por mais esta conquista to especial.
A I\ ossa Senhora Aparecida, minha referncia de f, conforto, equilbrio e proteo em
todos os momentos.
Ao meu orientador, Professor Dr. Jaime Angulo Pava, pela amizade e pela excelente
orientao.
Aos professores Orlando Lopes, Mrcia A. Guimares Scialom, Jos Felipe Lnares Ra-
mires, Wagner Vieira Leite :\unes (membros da comisso julgadora), pelo apoio constante e
pelas sugestes que tornaram a presente verso deste trabalho mais completa que a anterior.
Aos funcionrios desta Universidade, pela eficincia e presteza, especialmente a Cidinha,
Tnia e Ednaldo (Secretaria de Ps-Graduao do IMECC).
Ao corpo docente do IMECC-UI\ICAMP, pelos ensinamentos proporcionados e pelo am-
biente cientfico favorveL
Aos amigos e colegas do Departamento de Matemtica da Universidade Federal de Ala-
goas (UFAL), pelo apoio constante e por assumirem pelo nus do meu afastamento.
A CAPES - Coordenao de Aperfeioamento de Pessoal de Nvel Superior, que junta-
mente com a Universidade Federal de Alagoas (atravs do PICDT) me proporcionaram o
indispensvel auxlio financeiro.
Ao Departamento de Matemtica da Universidade Federal do Cear (UFC), onde tive o
privilgio de fazer meu Mestrado em Matemtica.
Aos amigos-irmos: Givaldo Oliveira dos Santos, Vnia Fragoso de Melo, Joo de Deus
ii
Lma e suas respectivas famlias, por todo apoio e companheirismo ao longo de toda jornada
graduao e ps-graduao,
Aos meus colegas e amigos da ps-graduao e ps-doutorado E\IECC com quem
tive o prazer de con\-i-ver ao longo destes quatro anos - especialmente os da rninha turn1a.
sintam-se todos mencionados aqui,
Ao amigo Lindomberg pela assistncia computacional qualificada em os momentos.
A minha esposa Regina Telma e aos meus filhos queridos Lucas, Larissa e Juninho por
todo carinho, incentivo e compreenso em todos os momentos desta jornada, principalmente
quando estive ausente,
Aos meus pais Vieira de Barros e Josefa da Silva Barros. pela vida e por todo
passos, mesmo nao acesso a escola.
n1eus innos. cunhado( a)s. sobrinho( a)s e den1ais familiares pelo constante incentivo,
carinho, respeito e companheirismo, qualidades essenciais ao conceito de famiia,
A minha madrinha Antonia Vieira e famlia, a D, Sebastiana Germano e famlia, a O,
Zefinha, SL Lourival Barros e famlia, por todo apoio, carinho e acolhida durante o perodo
de ensino mdio e graduao,
Ao Seu Eni, D. Edilsa (meus sogros) e famlia, tambm pelo apoio e carinho,
Agradeo (em memria) aos meus amigos-irmos que j partiram Osmrio Dias. Jos
:\ery, Genival Gomes e tambm ao meu padrinho Jess Romo, que tanto me apmou e
incentivou para a vida acadmica.
Por fim, minha gratido a todos os amigos que tive a felicidade de conquistar ao longo
destes anos, desde minha querida terra natal Mar Vermelho (Alagoas) at a progressista
Campinas (So Paulo).
iii
Dedico este trabalho (em
memria) a professora Hebe
de Azevedo Biagioni.
RESUM
Discutimos boa colocao local e algumas propriedades qualitativas. para o problema
valor inicial associado equao {L-super Korteweg-de Vries
{
3 u + 3
3
u + l3 u
2
+ l3
2
t'
2
+ u3
4
u = O
t
1
X''2X' '2X' f-A'X
3,v + ~ v ~ . : 3x (uv) +11. a;;v = .. 0 (p 2 0) (J.L-SUper-KdV)
u(x.O)=:p(x) ev(x,O)=v(x)
onde u = u (x, t) e v= v (x, t) so funes de valor reaL
Quando {L > O, mostramos existncia e unicidade de soluo para o problema regularizado
(com efeito dissipativo pJJ;;) nos espaos de Sobolev xs := H
5
('JJ:) x H
5
(R) para s > ~ s E R
Para JL = O (o caso interessante) a equao acima chamada super-KdV. !\este caso.
mostramos boa colocao local nos espaos de Sobolev com peso :%
5
_
3
:= H
5
(R)nH
3
(x
2
dx) x
H' (iR) n H
3
(x
2
dx) para s 2 5 inteiro, desde que o dado inicial seja pequeno. Retirando
esta restrio, sobre o dado inicial, mostramos boa colocao local em Xs,ll := H
5
(R) n
H
11
(x
2
dx) X H
5
(R) n H
11
(x
2
dx) paras 2 15 inteiro.
Encerramos nosso estudo mostrando que a equao super-KdV no bem posta nos
espaos de Sobolev xs := H
5
(R) x H
5
(R) paras < -i (s E iR), se exigirmos C
2
regularidade
da aplicao dado-fluxo.
Palavras-chave: boa colocao locaL efeitos regularizantes, equaes KdV e super-KdV.
lV
ABSTRACT
Our aim in this is the study of local well-posedness and some qualitathe properties
of real solutions u = u (x, t) and v = v t) of the initial problem value associated to the
p-super Korteweg-de Vries equation (p-super-KdV)
1
3,u + +
2
+

+ 11.3 ;u =O
3,v + 3';v + 3x (uv) + p3;v =O. fJ?: O
u(x,O) = :p(x) e v(x.O) = li:(x).
(p-super-KdV)
\Ve show, for fJ > O, the existence and uniqueness of solution for the regularized problem
(wth dssipative effect Jl.3;) in the Sobolev spaces xs :=H' (JR) x H' (R) for s > R
For p. = O, the equation above is called the super Korteweg-de Vries. In this case we
prove the local well-posedness in the weigthed Sobolev spaces X,,
3
:= H
5
(R) n H
3
(x
2
dx) x
H' (R) n H
3
(x
2
dx) for s?: 5 integer, whenever the norm of the initial datais small.
For Jl = O and arbitrary initial data we show also local well-posedness in X,.
11
H' (R) n H
11
(x
2
dx) X H' (R) n H
11
(x
2
dx)' with s?: 15 integer.
We conclude our study of local well-posedness identifying the spaces where the super-
KdV equation is ill-posed, if one asks that the map data-solution to be C
2
Frchet-differentiable
of X' in X
8
. We show that if s < (sE IR) the super-KdV is ill-posed in xs.
Keywords: local well-posedness, smoothing effects , KdV and super-KdV equations.
v
SUMRIO
AGRADECIMENTOS
RESUMO
ABSTRACT
O INTRODUAO
LISTA DE SMBOLOS
1 PRELIMINARES
L 1 Espaos de Sobolev e Propriedades
1.2 Espaos de Banach Mistos e Propriedades
1.3 Efeitos Regularizantes para a KdV
1.4 Resultados Tcnicos
2 O PROBLEMA LOCAL REGULARIZADO PARA A EQUAO SUPER-
KdV
2.1 O Problema Linear
2.2 A Equao Integral
3 BOA COLOCAO LOCAL COM DADO INICIAL PEQUENO PARA
A EQUAAO SUPER-KdV
1
IV
v
3
9
11
11
14
15
19
21
22
26
39
3.1 Estimativas Lineares
3.2 Estimaticas I\o-Lineares.
Dernonstra.o Teorema 3.0.1
4
4.1 Resultados Auxiliares - Estimativas Lineares
4.2 Equao Integral
4.3 Demonstrao do Teorema 4.0.1
5.1 Dernonstra.o Teoren1a 1
2
41
45
70
71
104
108
1
120
"'
CAPITULO O
INTRODUAO
;\osso objetivo neste trabalho estudar a boa colocao local (no tempo) e algumas propri-
edades qualitativas das solues reais u (x, t) e v (x, t), do problema de Cauchy
{
ou+ J3u -'-l" u2 -'-1"'2,,2 =O
t X '
2
Ux ,
2
UX v
x.tEIR.
u(x.O) = :p(x) e v(x,O) = w(x),
(0.1)
nos espaos de Sobolev usuais e com peso. Deixamos claro que nosso conceito de boa
colocao compreende: existncia, unicidade, persistncia (a soluo descreve uma curva
contnua no mesmo espao do dado inicial) e dependncia contnua da soluo com relao
ao dado inicial.
A equao (0.1) pode ser vista como um caso particular da famlia de sistemas de equaes
(0.2)
a a , _
onde a,= a,. Dx = Ox' k = 1, 2, ... , n. Uk (x, t) e uma funao de valor real ou complexo e
um polinmio que no possui termos lineares ou constantes, isto ,
3
4
;\"
= ) a'oo p 2: 2
"-- o ~ .
i.a::::::_p
)
sisten1a (0.2) generaliza vrios rnodelos presentes tanTo
na Fsica como na Matemtica. Em particular. c:ontn1 toda a hierarquia da equao
Korteweg-de Vries , modelos de ordem superior em problemas onda de gua e
n1dia elstica e lnttos outros. veja
indicadas.
[OR]. [KPV4]- e dCinais referncias
A primeira motivao fsica para problemas do tipo (0.1 J surgiu da necessidade de se estu-
dar o comportamento de partculas (particle-like) em campos no-lineares. Tal estudo foi ori-
ginaln1ente iniciado Einstein. co111 o deduzir sistematicamente as equaes que
regem o n1ovimento e uma partcula nurn campo externo. Esta deduo foi feita obseP/ando-
se a evoluo de singularidades simples deste campo (ver [DC]) e teve grande impulso em
1967 com a descoberta do comportamento das solues tipo soliton para a equao KdV (ver
[GGK'vi] e [HS]). As propriedades tipo soliton (comportamento de solues com partculas)
podem ser vistas numa grande variedade de sistemas fsicos no-lineares e a contrapartida
matemtica deste estudo conhecida atualmente como a teoria dos sistemas integrveis, que
j fornece um bom nmero de resultados, ver [DC]. [CR.Gj, [Kp2] e as demais referncias ci-
tadas. A existncia de soltons em todos os sistemas integrveis traduzida de uma maneira
muito simples: se dois campos evolutivos comutam, ento os pontos estacionrios de um dos
campos so invariantes com relao ao outro campo. :\este sentido, alguns ramos da Fsica
desenvolveram um importante conceito de super-simetria, cuja idia principal consiste em
tratar de maneira semelhante bosons e fermions (partculas) ver [CRGJ, [Kp2] e [P]. Mate-
maticamente, esta teoria importante porque permite incorporar variveis anti-comutativas
do tipo Grassman juntamente com as variveis comutativas usuais. Uma pergunta natural
nesta teoria consiste em saber se o problema do comportamento de partculas-semelhantes
em campos super-simtricos leva teoria dos sistemas super-integrveis.
Em [Kp2] temos a seguinte variante da equao (0.1)
{
Otu .. = Ox (3u
2
- o;u + 3v8xcp),
Otv = 30xU'P + UOx'P- 4 8 ~ c p
que para v O torna-se a KdV usual
X, t E R
(0.4)
(0.5)
o 5
J o sistema super modificada KdV (super-mKdV), que tambm aparece em [Kp2], dado
por
Observe que para u = O este sistema torna-se a mKdV usual
(0.
e a aplicao
transforma solues do sistema super-mKdV em solues do sistema super-KdV, Alm
disso, para ;: = u: = O (0.8) torna-se justamente a aplicao de :VIiura usuaL conectando
solues da mKdV e da KdV, ver [Kp2].
Levando em conta que a equao super-KdV uma extenso da KdV, natural perguntar
quais propriedades desta ltima equao podem ser estabelecidas para a, super-KdV. Como
bem sabemos, para a KdV existe uma grande quantidade de resultados na literatura, a
saber: resultados de boa colocao local e global (no tempo), existncia e estabilidade de
solues especiais do tipo ondas solitrias, blow-up dispersivo, m colocao. propriedade de
continuao nica, analiticidade espacial, etc (veja [Bl]-[B3], [12], [I\Y], [Kl]-[K2], [KPV1]-
[KPV8], [KMJ, [MST1J-[?IIST2], [SSJ, [Tz] e [Z]).
No tocante boa colocao global, at o presente no temos resposta. A grande dificul-
dade nesta direo deve-se sobretudo falta de boas leis de conservao para (0.1). como
tambm ao desconhecimento da estabilidade de ondas solitrias. Vale destacar que a nica
soluo da forma (u, (x, t), v, (x, t)) = (;; (x- ct), '1/; (x- ct)), que conhecemos para (0.1),
o par (;;, (x), '1/;, (x)) = ( h ( ~ "') , o) e a nica lei de conservao que conseguimos
cos -
2
vc/x
identificar foi
Q(u,v)= j(u+v)dx, (0.9)
a, qual no ajuda muito na tentativa de mostrar existncia global e estabilidade de ondas
solitrias.
Com relao s questes de blow-up dispersivo, propriedade de continuao nica e ana-
liticidade espacial (para a super-KdV) tambm no tivemos sucesso, devido s dificuldades
6
impostas pelo termo no linear a;v
2
ver [ABS], [SS], [Bl]. [Z]. [KPV8], [B3] e [Ktv!] To-
davia, como consequncia da existencia e unicidade de soluo se considerarmos o PVI
con1 dado inicial O). r
)=
ento a nica soluo 1) o par
t). O), ou seja. recamos na soluo da KdV.
Com relao aos resultados obtidos para (0.1 ). nossa primeira contribuio ser prmar
que o PVI regularizado do efeito dissipativo
possui soluo
1
8tu + +

+

+ 118;u = 0
8,r + a;v + 8x (uv) + =O, 11 > O
u(x. = ;p(x) e v(x.O) = (x)
nos espaos de :=H'
10)
paras > sE
Para
obter este resultado: seguilnos os primeiros passos mtodo de regularizao parablica
Tsio Kato, ver os trabalhos de R. Irio ( e e J. Angulo ( ). onde utilizamos a
regularizao 110;. pois 110; no funciona para a parte no linear de (0.10). O passo natural
seguinte seria fazer 11 1 O e assim obter a soluo do problema original (0.1), como limite
do problema regularizado (0.5). Contudo, no ti\'emos sucesso com esta tcnica pois no
conseguimos provar a existncia de um intervalo [0, T]. independente de p, onde todas as
solues U:, (t) = (u, (t), v" (t)) podem ser definidas. Tal dificuldade deve-se ao fato de no
obtermos uma estimativa do tipo
(0.11)
com o auxlio de comutadores, e por conta disso no temos tambm a dependncia contnua
da soluo com relao aos dados iniciais.
usando as idias de Kenig, Ponce e Vega (ver [KPV1]-[KPV4]) e fazendo uma restrio
sobre o dado inicial, conseguimos nosso melhor resultado de boa colocao locaL :VIais
precisamente, mostramos que o PVI (0.1) localmente bem posto nos espaos de Sobolev
com peso x,,3 := H
8
(JR) n H
3
(x
2
dx) X H
8
(JR) n H
3
(x
2
dx)' paras ;:o: 5 inteiro, desde que
a norma do dado inical nestes espaos seja pequena. Para obter tal resultado, combina-
mos os efeitos regularizantes associados ao grupo da KdV e o Teorema do Ponto Fixo de
Banach (ver [KPV4] e [Ar]). "\este ponto utilizamos os espaos de Banach mistos
(1 :5: p, q:; oc ex, t E JR), definidos nos preliminares.
Em seguida, conseguimos estabelecer boa colocao local sem qualquer restrio sobre o
dado iniciaL seguindo as idias apresentadas em [KS]. "\este trabalho, os autores fazem uso
o INTRODUO 7
de urna mudana de varivel adequada (denominada transformada de Gauge ), para sistemas
abstratos tipo A idia central envolvida nesta tcnica consiste em linearizar a
equaao 1) de urna maneira adequada e reduzir a ordem da segunda derivada no problema
linear, De posse disso, estabelecemos boa colocao local e efeitos regularizantes, semelhantes
aos grupo da KdV, para a soluc deste novo problema linear, o que permite estudar a
equao integral associada a (0,
Tomando como referncia este trabalho, mostramos que o PVI 1) localmente bem
posto nos espaos de Sobolev com peso Xs,:r := Hs (iR) n H
11
(x
2
dx) x H
5
(R) n H
11
(x
2
dx),
paras ~ 15 inteiro, Vale destacar que o nosso valor de s bem mais preciso que o apresentado
na teoria geral em [KS], onde o valor de s simplesmente considerado arbitrariamente grande,
Completamos nosso estudo colocao identificando os espaos de SoboleY
a equao super-KdV no bem posta, se exigirmos na definio boa colocao local
que a aplicao dado inicial-fluxo seja C
2
-Frchet diferenciveL Para tanto, tomamos como
referncia os trabalhos [Tz], [B2], [:VISTl] e [liiST2] para mostrar que o PVI 1) mal
posto em xs := H
5
(R) x H' (R), paras< - ~ Tal resultado amplia a regio onde a priori
no temos boa colocao para (O, 1), pois um argumento tipo scaling sugere que para r ::; - ~
e s ::; -1 a equao super-KdV no bem posta em xr,s := Hr (iR) x H' (JR), ver captulo
5,
Organizamos este trabalho da seguinte forma:
No captulo L apresentamos os principais resultados que sero teis ao longo do texto,
A saber: algumas definies, desigualdades, Teoremas e os efeitos regularizantes para a
KdV, Na maioria dos casos, apresentamos apenas as referncias necessrias para ver as
demonstraes,
No captulo 2, discutimos o PVI regularizado (0,6), onde estabelecemos a existncia e
unicidade de soluo para este problema nos espaos de Sobolev usuais xs = H
5
(iR) x H
3
(iR),
3
paras>
2
,
No captulo 3, apresentamos nosso principal resultado de boa colocao local, onde prova-
mos que o PVI (0,1) localmente bem posto nos espaos de Sobolev com peso X
5
,
3
(s ~ 5),
desde que o dado inicial nestes espaos seja pequeno,
No captulo 4, conclumos o estudo de boa colocao local para o PVI (O, 1), desta feita
retirando a restrio sobre o dado iniciaL Via uma mudana de varivel adequada mostramos
que (0,1) localmente bem posto em Xs,ll (s ~ 15),
Finalmente, no captulo 5, conclumos nosso estudo de boa colocao dando uma resposta
8
sobre a m colocao para a equao super-KdV. Mais precisamente, se na definio de boa
colocao local exigirmos que a aplicao dado inicial-fluxo seja classe C
2
mostramos que
1) no bem posto em x H' para todos< -1.
'
LISTA DE SIMBO OS
e ax = e - derivadas parciais em x e t, respectivamente
o f ( ) = c i e- f dx - transformada de Fourier
.. r ( ) = c i eix f (X) dx - transformada inversa de Fourier
" (IR) - espao de Schwartz
e
1
(IR) - espao das distribuies temperadas
1
e JS = (1 - ai;)
2
- potencial de Bessel de ordem s
" D
8
= - potencial de Riesz de ordem s
e Hs (IR) - espao de Sobolev de ordem s
" fi (IR) - espao de Sobolev homogneo de ordem s
"Hk (x
2
dx)- espao de Sobolev com peso de ordem k
"[{L{ (1::; p, q::; oc)- espao de Banach misto
I I L Lq
e L - norn1a em t
11 - llk_
2
- norma em Hk (x
2
dx)
"(, )s = ( 1 )H'(R)- produto interno em H
8
(IR)
e 11 iis = 11 IIH'(R) - norma em H' (IR)
" (
1
) = ( I -)
0
- produto interno deU (IR)
"li li = li llo - norma em L
2
(IR)
.. )(
1
8
:= H
1
(R) X H
5
(R) -produto cartesiano entre os espaos de Sobolev
de ordem r e s
- produto interno em H
1
(IR) x H
8
(IR)
9
li
I - (" 11
2
I'
Lw(lli')xH'(R) - .11 o r + I
1!
2
) ~ - norma de
"S
-li
Hr RI X H
5
\'"""'"}
- espao das funes f : lR ___, de classe
que satisfazem Hlllxl--x EP '
xJ
= O V J = O, L 20. k
"B
"B
- espao dos operadores lineares limitados de
=B
U = jS
-uJSv
em Y
o) ou c - denota as vrias constantes positivas que
aparecem, cujo valor exato irrelevante em nossas consideraes
" a ;S b ==? 3 c > O tal que a ::; cb
" a 2; b ==? 3 c > O que a 2: cb
.. a ~ b = > a b e a > b
'' /"'V ' ,....._.,
10
CAPTULO 1
PRELIMINARES
:\este captulo, apresentamos alguns resultados bsicos que sero utilizados ao longo deste
texto. As demonstraes quase sempre sero omitidas, por se tratar de fatos bem conheci-
dos na literatura. Quando no apresentarmos as demonstraes, indicaremos as referncias
necessrias para a demonstrao dos mesmos.
1.1 Espaos de Sobolev e Propriedades
Sejam (iR) o espao de Schwartz e' (IR) o espao das distribuies temperadas. Paras E lR
definimos
cuja norma
(11)
:\o caso s E N temos que
'
= 2:
(12)
i=O
onde 11 llo denota a norma em L
2
(IR).
11
SEAO Ll ESPAOS DE E PROPRIEDADES 12
Tambm utilizaremos os espaos de Sobolev homogneos, definidos paras E R por
D'f E
C0111
onde r;;{ ( = 1' f . t fcil ver que H'
c ''""' ..,, '-'
: para todo s E
J o espao de Sobole\ com peso H' (x
2
dx) . para s E N. definido por
con1 nonna
8
iif
2
=li =L 2
(1
i=O
Relembramos agora algumas propriedades bsicas destes espaos que tratam das imerses e
suas consequncms.
Proposio 1.1.1
(i) Se s > ento Hs (R) uma lgebra de Banach com relao multiplicao de funes.
Alm disso. para F g E H
5
(R) vale
llfgffs::;c(s)
s f[gffs'
1
(ii) Sejam sE R e k E N com s >
2
+ k, ento Hs (R) (R).
Demonstrao: A demonstrao encontra-se em vrias referncias, entre as quais po-
demos citar [A] e o Teorema 4.1 de [S].
Lema 1.1.2 H
1
(R) V (R). Alm disso, se g E L
2
(R) n L
2
(x
2
dx) vale a desigualdade
., .. < ('r 1 I'
1
, )
1:91IL'(rr<) -c \I 911L'(R) -r- dX9,iL'(R)
1
Demonstrao: Temos de imediato que H
1
(IR) c;: V (lR) pois para f E H
1
(IR:) vale
I
I d =
< '
- CU (IR) '
onde c =
< x.
(1 +
', i '::-(f) I dC
' f ' I '
(1 ' 2 2
\ l. i s,
dE \
1 +e)
Denotando agora g := (gv) temos que
llunrl :<::c CFJ)
:<::c + I!Dxgvllu(x))
(1
1 ' i!( c/!1 )
:<::c ,g di'(:?.) -r 11 xgy I rx(x)
=c (119llu(a) + llxgllmx)) '
onde utilizamos o Teorema de PlanchereL
Uma consequncia imediata deste Lema o seguinte resultado.
13
111
Corolrio 1.1.3 Paras, r E Z com r> O temos que H
5
(lR) nHr (x
2
dx) c;: H' (lR) nL
1
(IR:).
Demonstrao: Basta ver que Hr (x
2
dx) L
1
(IR:), para r 2: L que imediato pelo
Lema acima. 111
O prximo resultado a conhecida desigualdade de Kato.
Proposio 1.1.4 Sejam s > t 2: 1 eu, v E (IR:). Ento, existe c= c (s, t) tal que,
Demonstrao: Ver Lema A5 de [K2]. 111
SEO 1.2 ESPAOS DE MISTOS E 14
1.2 Espaos de Banach l\1istos e ropriedades
Para 1 ::; p, q < oc, o espao de Banach misto definido por
fi'Lq = { f . ? X
T J ""'" - l <+X}.
onde
E \ -:;;
( x t) iq dt) q dx) , ,
Quando p = oc ou q = oc usaremos uma definio similar, envolvendo a norma do supremo
essencial. O espao definido como acima, imertendo-se apenas a ordem de integrao,
1neucionar tarnbm que se escrevennos y = t na norma significa
= (;* r;r+X lf (x, t)l dt) dx \)
-oo \ -oo j
(1
Um resultado que ser utilizado com muita frequncia a desigualdade:
Lema 1.2.1 Se;am f E e g E L':' L}. ento fg E e vale
Demonstrao: Pela desigualdade de Hiilder, temos
o que prova o Lema,
Para estimar comutadores temos o seguinte resultado de Kato e Ponce,
Proposio 1.2.2 SeJam s 2: O, 1 O tal
que valem,'
(i)
< (lln I' 1/Js-1 /' + !'JS jl 11 " \
LP -c,,, v'U_iLPl
1
i u.iLP3 i v]iLP4J:
(ii)
1
li
\'I f
Jiiv,.::;c\
I f
V'l li
I,
1 - 2. . 1 l 1 1 - 1 ,
.1 ; < :x- sao que .;::. = - + - = -r ...:::.... ern caaa caso a.c,ma
P P1 P2 PJ p.;,_
apndice de
15
J na prxima seo, utilizaremos a desigualdade generalizada de :\Iinkowski que dada
pelo Lema:
Lema 1.2,3 (Desigualdade de Minkowski) SeJam 1 < p < x e F
X
{
IF
Demonstrao: Veja o apndice de [St],
1.3 Efeitos Regularizantes para a KdV
Como bem sabemos a soluo do PVI linear homogneo
dada por
{
J,u + =o
u(x,O) = ;p(x),
u (x, t) := W (t) ;p (x) = (S, * :;) (x)
onde {W (t)},eR o grupo unitrio,
W (t) = exp ( -toD
e S, a integral oscilatria
S, (x) =c 1: exp (ix) exp (itJ) d,
mensurvel no
11
Inicialmente, temos as estimativ-as lineares homogneas, que so dadas pelo Lema,
SE-O L3 EFEITOS
Lema 1.3.1 Se cp E L; (IR:), ento valem:
1:
li
(t)
Pam T >O.
::; c (1 +
<r
PARA A KDV
sE
3
para r.p > -.
4
16
Demonstrao: Para a demonstrao da segunda parte veja o Corolrio 2.9 do Teorema
2.7 em [KPVl] pginas 332-334. faremos apenas a demonstrao da primeira parte (veja
3.5 en1 ). Para consierando :;: E L
2
e a n: (t).;
obte1nos
X
OxH (t);: (x) =c L"' exp {i (tJ + x)} ;() d
=c;_: exp {i (try 5 (ryi) ry-tdry,
onde utilizamos a mudana de varivel e = ry. Usando agora o Teorema de Plancherel. na
varivel t. temos que para cada x E IR vale
Finalmente. como [ox lY ( t) ;p ( x)] = Ox [W (t) ( x)] usando o que acabamos de proYar
temos o resultado.
As estimativas lineares no homogneas so dadas pelo Lema:
Lema 1.3.2 Se g E e > O. ento valem:
1
(i)
De
I
cP
X
PRELIMINARES
(t- g
w (t- g
;[
<
'I" -c i 911
, T) dr!! :::; c
iiLJ'Ll
Para o iten1 (i) \rejamos inidaln1ente que
d
'
1
1 'I I'
t; ::;ci.9luu
X I
I
t'dt'
'
(-t')g(x,t')dt') f(x)dx;'i f E r; com
I
''f'' - 1} il 1!0-
Integrando por partes, usando a desigualdade de Cauchy-Schwartz e o item (i) do Lema
anterior obtemos
li: ( Ox I: lV ( -t') g (x, t') dt') f (x) dx = 1- I: I: g (x, t') &xF,i ( -t') f (x) dt'dx
e assim temos a afirmao feita.
::; I: I: 1.9 (x, t') OxW ( -t') f (x)l dt' dx
::; I: IIYIIr; ll&xW ( -t') f (x)!lr; dx
::=: II.Yiivu ll&xw (-()f li L= L'
X t X t
::; cii.YIIuu llfllo
X I
Repetindo os argumentos acima e usando a desigualdade de Cauchy-Schwartz, temos que
para tE [0, T] (T > O) vale
'
( t
" ( +'' dt'! < ,, 'I
- ) g X,') "I -c 11.91 L' L' .
x T
L='" T ;...x_
SEO L3 AKDV 18
Desta ltma desigualdade e do fato que o grupo W ( t) conserva a norma L
2
~ ) , segue-se o
item (i) do Lema
Para provar o ite1n inicialmente relembramos que f t
\ "' ; ~
escre\-'er f t) =
e
afirn1an1os que
) f; . com k E Cf para z = L 2.
=L[ ~ . para p. q E [1 x), veja [KPV3].
(t- t')g
n dt'll ::; c liYii
liLxJ2
X y
De fato, para f E lJJ,z (lft
2
) com llfllr'L? = 1 temos que
X
H
li
. (t- g
,.
1! q
ar :i
'I
= SUP fi
{l
x lx ( 1""'
- -CC -00 \ X -OC
(t - t') g (x f (x. t) dxdt:
li
quando podemos
. Alm disso.
Integrando por partes. usando o Teorema de FubinL a propriedade do grupo e a desigualdade
de Cauchy-Schwartz obtemos
onde nesta ltima desigualdade utilizamos tambm o item (i). Portanto, temos a afirmao
feita.
Para completar a demonstrao, faremos uso de um argumento de densidade e tambm
das Proposies 3.2 e 3.3 e do Lema 3.4 em [KPV3]. que tratam do ncleo
1 PRELIMINARES
19
o qual define uma funo limitada de :: independente de T, isto , K E L x (R
2
) . De posse
destes fatos. basta mostrar que
11 rx exp
liJ -<)C
") i'
I
ay dr!i ..
!i
i
Se
para g E ) e K como acima. usando o Teorema de Plancherel
desigualdade integral de l\Iinkowski e o fato que K E L x
desigualdades:
temos a seguinte cadeia
''jx (j"'c
'_il exp (tT)
I, -oo -ex
(x- y. cjt) (y, x) dy l dxli
I ,I
(j
x!
::; sup i
X ~ o ; I
::; sup lx (jx /K
X -X\ -X
1
::; 1: (1: /f
0
(y, x)/
2
dx)
2
dy
=c 1
00
IIYIIL' dx =c IIYIILl ., ,
t XJ...,t
-x
que completa a demonstrao do Lema.
1.4 Resultados Tcnicos
!\esta seo, apresentamos alguns resultados clssicos que sero mencionados ao longo deste
texto. O primeiro deles o Teorema da Funo Implcita.
Teorema 1.4.1 Sejam U C E, V C F abertos (E e F espaos de Banach) e f: U x -+ G
uma aplicao de classe Ck Considere (a, b) E U x V e assuma que D
2
f (a, b) : F-+ G um
isomorfismo. Se f (a, b) = O, ento existe uma aplicao contnua g : U
0
-+ , onde U
0
C U
uma vizinhana aberta de a tal que g (a)= b e f (x,g (x)) =O, para todo x E U
0
. Alm
disso, se U
0
uma bola suficientemente pequena, ento g determinada de maneira nica e
de classe
(i)
(i i)
Demonstrao: A demonstrao pode ser vista em [La].
Tarnbn1 utilizarernos o
' '
resu1taao
uma matriz
{
DxY (x) =
(0) = Y
I
!Yii < c
11
, I,L-:x:- 11
Alm disso, Y (x)-
1
existe e satisfaz
oniem n e
(iii)
'I}T-l!J < id }' - l l ' } ' l n
Ir i, L= -c' et o I I L=-
20
Demonstrao: A prma da primeira parte deste Teorema pode ser encontrada no
Teorema 6.2 em [V]. A segunda parte uma consequncia dos resultados apresentados no
captulo 2, sees 2.1 e 2.2 em [PSV]. 111
Finalizamos este captulo com o seguinte resultado de Clculo.
Lema 1.4.3 SeJa f : !R" _,!R:. uma funo contnua e A JRn um conJunto de medida finita.
Se lf (x)J 2: c
0
>O para todo x E A ento
li f (x) dxi::O: co JA\.
CAPTULO 2
O PROBLEMA LOCAL REGULARIZADO
PARA A E UAAO SUP KdV
Conforme mencionamos na introduo, neste e nos dois prximos captulos discutiremos a
boa colocao local no tempo do problema de valor inicial (PVI)
1
" -'- c:\3 -L l"' 2 ' l c.2 ,2 - o
U{U 1 uxu 1
2
vxU -r
2
u:rG -
+Dx(uv) =O, x e tE R
u(x,O) = :p(x) ev(x,O) =w(x),
(2.1)
onde u = u (x, t) e v= v (x, t) so funes de valor reaL Neste captulo, por exemplo, vamos
estudar o PVI regularizado
{
EJ,u + +

+

+ J.Laiu =O, J.L > O
a, v+ + Ox (uv.) + =.. o, j.L > o e X, t E R
u(x,O) cp(x) et(x,O)=w(x).
(2.2)
Vale destacar aqui que a regularizao que se mostrou eficiente para nossos propsitos foi
J.LO'; (fJ > O), veja Lema 2.2.1. Observe que (2.2) pode ser reescrito na forma vetorial como
{
= + F Cu)
U: !0'1 = o
\ . .
21
(2.3)
SEAO 2.1 o LINEAR 22
onde u = (u. = (:p.
F
e
= (
o
:\ossa primeira contribuio ser mostrar existncia e unicidade de soluo para o PVI
regularizado (2.2) nos espaos de Sobolev xs := H' iR) x H' (IS\:
1
1 paras> ~ s E IR.
' ' . 2
A demonstrao que apresentaremos a seguir faz uso da propriedade regularizadora do
grupo gerado por e do Teorema do Fixo de
os primeiros passos do mtodo de regularizao parablica. cujas idias esto bastante
difundidas na literatura, ,eja por exemplo os trabalhos [Il]. e Infelizmente. no
conseguimos as estimativas necessrias (veja observao final) para fazer 111 O e assim obter a
soluo do problema original (2.1). Contudo, conseguimos o seguinte resultado de existncia
e unicidade para o PVI (2.2).
-+ 1
Teorema 2.0.1 Se;am f.1 >O, o =(:;,?I) E xs = H
5
(IR) x H
5
(R) e s >
2
. Ento existem
Tp = Tp (f.l. 1171L(J >o e um nico elemento Up E c ([o.Tp] :X
5
) n C
1
([o.rp] :xs-
4
)
que satisfaz (2.2). Alm disso, iip E c([o.fp] :xs+c) nC
1
((o.Tp]:Xs+r-
4
). para todo
T 2: O.
A demonstrao deste Teorema se tornar imediata a partir dos resultados que serao
estabelecidos nas duas prximas sees. Inicialmente, estudamos o problema linear associado
a (2.2) e em seguida, na ltima seo, estudamos a equao integral associada a (2.2).
2.1 O Problema Linear
Consideremos o PVI linear
{
a,u + ~ u + po;u = o
a, v + ~ v + j.l;v = o
u(x,O)=.p(x) ev(x,O)=?;:!(x).
(2.5)
2
SUPER-KDV
O PROBLEMA
ou equivalentemente.
{
PARA A
23
("'
UJ = O
com as notaes estabelecidas anteriormente. Tomando a transformada de Fourier. na
:r, em cada uma das equaes de resulta que
{
-
( t) = .. (i(l- 11() (u) (C t)
o rr:'
u J ) = o \"-:,}.
Resolvendo este sistema de equaes diferenciais ordinrias, para fixo, obtemos
(.t) = expt
Definio 2.1.1 Para = = H
5
(R) x H
5
(R) definimos
w lt) =
p \
onde S" ( t) o operador dado por
-
(Sp (t) cp) () = ip() exp (ite- 11te). (2.7)
Desta definio, vamos denotar a soluo de (2.2) por
11 (t) = w;, (t) . (2.8)
Considerando agora o espao de Hilbert xs = H
5
(JR) x H
5
(JR), com produto interno e
norma dados por
temos o seguinte Teorema.
Teorema 2.1.2 SeJam s E JR e 2: O. Ento valem:
(i) Para IL tE (0, x). wp (t) E B (X
5
; xs+-") e existe K = K (,\)>o tal que
(2.9)
SEO 2.1 O PROBLEMA LINEAR 24
(ii) (1)},
20
um C
0
-semgrupo de contraes em ){
5
com gerador nfinteszmal.
= (
\
o
)
o
para 11 2: O. se 11 = O ento { " pode ser esrtcnawo a v.rn grupo
unitrio (t)} t:>o. com gerador mrmzreszmw
(iii) Para cada tE
Dado 11 > O, il
C
1
((0,oc)
oc) a funo t W" contnua na topologia de
o a
Demonstrao: prova segue as idias apresentadas no Teorema 2.1 e Corolrio 2.2
em [Il] ou Teorema 2.1 em [An]. Trataremos inicialmente da desigualdade (2.9).
para = (, E X
5
, 2: O e 11. tE (O,oc) vale
l
i _,,2 . 2 . ?
(t) <t>ilx-\ = liSM (t) l!s+ + IIS" (t) vil;+.\
= 1 (1 + e)s

(1 + er\ exp (

+ 1 (1 + er jtT

(1 + er" exp (

:S K () sup [1 +e), exp (
(II'PII; + 111);11;)

= K () [1 + supe.>. exp (
l/
1
1l
1
1
2
j I X'
[
(-) -J
11
_"2
:SK() l+Xexp
2
(4111)2 .9\[x,
:S K () [1 + (4111) -./lllll
2
,
... ( lxs
:\ote que
(2.10)
onde usamos que (1 + eJ'
1
< c (1 +e!.) (c> O) e lvh := exp (
2
) (4pi) -2.\ o va-
lor mximo da funo := e" exp (-2pte). verdade, para checar esta ltima
afirmao basta mostrar que a funo par := loge- 2fJte possui valor mximo
2
SUPER-KDV

25
(
)
:= log 4!1t
2
, que ocorre no ponto
0
: = Em seguida. calculamos cxp
) para obtern1os Portanro. a desigualdade
ProYeinos agora. o iten1
2
= dE, 1
= 1 +-2)'exp(-2!1t;
4
) I\?()I
2
d
<l (1 + -2)"1;? 2 d=
-
Portanto, para OE vaie
.,
w" (t) = 115" (t) ;:li;+ !15" (t) vil;
11 ,') ,') ii ..... 11
2
:5 II'PI!; + llvl!; = '11o1.1
' X'
e consequentemente
(2.12)
Agora vamos supor, sem perda de generalidades. t > T para obtermos:
(t),:::- (r) (2.13)
= l (1 + er+ 1 [exp (itJ- 11tE,
4
)- exp (ire- we)J f(JI
2
d
= r)
4
)-1]}
2
lf()l
2
d_,o,
quando t--+ r, por (2.12) e pelo Teorema da Convergncia Dominada de Lebesgue.
Para o item (ii), j temos por (2.12) que W" (t) de contrao e usando a definio
(2.7) segue-se que W" (O) =I e VV" (t
1
+ t
2
) = W" (t
1
) (t
2
). A continuidade de W" (t) na
norma de X' uma consequncia imediata de (2.13) com = O.
Resta provar que para 11 =O o operador A gera um grupo unitrio, TV (t) : xs -+X'.
Pelo Teorema de Stone (ver [Pa]) basta ver que A um operador anti-simtrico com D (A)=
xs..-
3
= H
5
+
3
(IR) X w+
3
(IR). De fato, para f= (f. g)' = (p, q) E D (A) temos que
SEAO 2.2 A EQUAO INTEGRAL 26
-(
3
Logo A= e o grupo unitrio := exp (t E por
(
S(t)p)
s (t) v
(2.15)
para o= /..))E
Finalrnente. para o 1 con1o j saben1os que 'U E resta --;,cer que
E C( ex;): X'-
4
). Para tanto basta considerar t. r
2: O. e estimar
ll8
1
u (t)- o,u (o-) Isto pode ser feito usando (2.5), os resultados j estabelecidos e do Te-
orema da Convergncia Dominada de Lebesgue. unicidade decorre do uso da tranformada
de Fourier em (2.5) c, portanto. est completa a demonstrao do Teorema.!ll
Conforme mencionamos anteriormente, construiremos agora as ferramentas necessrias para
demonstrar o Teorema 2.0. L Consideremos ento o PVI
{
8 u + 8
3
u + lfJ u
2
+ lfJ
2
v
2
' u"'
4
u O " >O
t ' X 2 X I 2 X T rUx J ,_-.
O(V + ~ v + Bx. ( uu.) +. f.10;v .. O, t > O e x E ffi:
u(x,O)=ip(x), v(x.0)=1t(x)
ou, equivalentemente, sua forma vetorial
onde i1 = (u,
{
8,il =A" (u.=) +F (il)
il(x,O)=o(x)
F( -)=- (l(}n 2 ra2 2" f l)
\ U \2 x U + 2 x V , Ux \ UV .
(2.16)
(2 .17)
2 PARA A
SUPER-KDV 27
:'-Josso primeiro objetivo ser garantir a existncia e unicidade de soluo para a equao
integral associada a 16). Para consideremos 11 > O (fixado) e suponhamos que
=
satisfaz (2.16). Pelo Princpio de Duhamel satisfaz a equao integraL
= w (tl -
fL - /
) ) .
19)
'
:\lostremos agora que a equao integral (2.18) possui soluo em algum espao de funes
conveniente. Assim, vamos considerar o espao mtrico completo (fls (T), d,) onde
o ry: -= f c;;: c. C ifu>-
\ j l LG '-- \L ,
lx, 11
!
I
. tE
X'
e
ds(P, ') =sup!l (t)-'(t)!lx,-
:o.T]
1 -
Para s >
2
, cp E xs e ' E fls (T) definimos a aplicao W por
W (') (t) = (t) -ll/P (t- -;-) (-;-) dT
onde tE [O,T],'= (w,z) e
Com as notaes acima, temos o seguinte Lema:
}
(2.20)
(2.21)
(2.22)
(2. 23)
Lema 2.2.1
- 1
SeJam 11 >O, cjJ E xs e s >
2
. Se ' E fls (T), ento W (') E C ([O, T]: X')_
Demonstrao: Vejamos inicialmente que (2.22) est bem definida. De fato. como
s > e Hr (JR) uma lgebra de Banach para r > ento para cada t E [O, T] vale
(j E C ([0, t); H'-
2
(IR) x H'-
1
(JR)) C C ([0, t]; X'-
2
).
Portanto, pelo item (i) do Teorema 2.1.2 temos que W" (t- -)()E C ( tj: xs-
2
) _Logo
(2.22) est bem definida.
2.2 A INTEGRAL 28
Escolhendo agora = 2 em (2.9) temos que l"Vp (t- T) g (T) E xs e vale
li
'i'' <
!ix, 3"-2!""-::
l '!-
J 119
onde fizemos a mudana de varivel r= 4/1 (t- . Portanto. W E
Provemos agora a continuidade de W. Sem perda de generalidades. podemos supor t < t
0
,
para tE (0, T]. Assim. temos
-w
li
!i ):,
d ------7 ,, ----;..11
s; 1,/ " o - lro) o ilx
+ (
1
[[[1-Fp(t-
Jo !
to
di+ t 11
s; /jw" (t)-;;;- vV" (to) -;pllx,
+ [ [f[lVP (t- T)- vV, (to- 7)] g(T)ffx, dT + ffVVP (to-) g(-)ffx, [t- to f .
. o
Observe que a primeira parcela do lado direito de (2.25) converge a zero quando t T t
0
. pelo
item (ii) do Teorema 2.1.2. O mesmo ocorre com a segunda integral quando t T t
0
, pelo item
(ii) deste Teorema e pelo Teorema da Convergncia Dominada de Lebesgue. Finalmente, o
ltimo termo converge trivialmente a zero, quando t T t
0
, e portanto temos a continuidade
de W esquerda de t
0
. De forma semelhante, prova-se a continuidade direita e com isso
temos a concluso do Lema.
Neste Lema, mais precisamente em 2.24, fica claro porque usar a regularizao f.lJ; e no
j.liJ;.
Proposio 2.2.2 Seyam f.1 >O, E xs e s > Ento existe T, = T (f.l.[[-;ptJ >O e
uma nica soluo real11, E C ([o,T"]; xs) para (2.18).
Demonstrao: A demonstrao anloga do Teorema (3.1.2) em [An] e consiste es-
sencialmente em mostrar que W uma contrao em (11, (T), d,) . para um T suficientemente
pequeno. Pelo Lema anterior, basta mostrar o seguinte:
2
SUPER-KDV
o
(I) Existe T
1
> O tal que se ' E fl, (T
1
) , ento
!w
) :S ad, para '.
I r _ l
A soluo '" nica na casse C \? Tv j :
29
para tE [O,
E e o< L
Para o item (I), escolhendo em (2.9) = 1 (na parcela que temos a norma em H ~
1
) e
= 2 (na parcela que temos a norma em H
5
~
2
) abaixo obtemos
-+
o
li
=ri
"
Como s > ~ e W E fls (T), ento pelo Teorema 2.L2 temos que
i]u:
2
ilw :S c (llw- w" (t) 9 L+ llw" (t) 1llxJ
2
:S c I
112
i '
I xs,
1
1-+112
li u;ziiH' :S c ,i 9 1
1
1 ,
il i xs
ll
'z
2
]IH, :S c 11111
2
.
. 11 i xs
De (2,28), segue-se que
c 14yt
I
'*' (wJ (tJ- w" (tJ 911 :::- ( 1 +
IX' 11 O \
1 2
+ r-
1
)
2
dr 111
IX'
(2,29)
SEAO 2.2 A EQUAAO INTEGRAL
e como
dr -+O. quando t-+ O.
ten1os que existe T
1
= T
1
---'? I! "
o iixJ > O satisfazendo
\ li---+
1 dr il o
J '
<1.
Logo, de (2.31)
e assn est provado
Para provar considere = )
_ 11
8
2 ,
- \::; xP ;
..
e tE Usando novamente . com .\ = 1 e .\ = 2 obtemos
IIIJ! CP') (t) -w (V') (tlllx
::; l (t- T) (p
2
- w
2
)-,- (q
2
- z
2
), ax (pq- 1rz)] (T)
::.:
{o' 11 (t (p2 ,.2) 1-)'11
Jo f.-l -,,2 -u. \1 ,Hs+l .,
::_: 1'11 (t-T)(pq-wz)(T)fiH+ldT
::_: fo'11W
11
(t- T) t (q
2
- z
2
) (7JiiHH
2
dT
::.: f{ l [ 1 + ( 4,u (t - T + ( 411 (t- T) )-
1
]
1
11 (p
2
- w
2
) (T) I IH' dT
['r . ,,l
+I< Jo ll + (4,u (t- T)p + (411 (t- T))-'j' ll(pq- wz)(T)/'iH dT
+ f{ l [ 1+ ( 4,U ( t - T W + ( 4,u (i - T)) -I] li ( q
2
- z
2
) (T) li H, dT
Agora, como
\IP
2
-w
2
\ls::.: c(IIPIIx + llwllxl IIP- w[[p::.: c\j11ix, IIP- wllx.
llq
2
- z
2
\ls::.: c(fl-p + liwilxl 11 - v:liix::.: c 1!!'111 IIP- IIX'.
i:Xs
- wzlls = lfpq- wz + pw- pwfls :S C 11 llx. IIP- llx
30
1)
(2.33)
2
SUPER-KDV
o
retornando a (2.33). temos que
llx
<c o
r
i 1 .L
L .
't ')-l, .
1 -Ti ---r-
. .
por existe =T
PARA A
(t-
( t) - ( t)
que,
c 1'-->11 ( . ) l
a: := I o 1 + r-
1
2
dr < 1.
f.l' :x o
Portanto, para t E [O, T,] vale
!lw (]1) (t)- w (u:t) (tlllx:::; asup IIJJ (t)- uJ (t)
[O,t]
31
donde segue-se (2.27). Usando agora o Teorema do Ponto Fixo de Banach, temos que existe
uma nica 11" E !l
5
( TP) tal que \]) (11 ,) = 11 "' isto , 11" a soluo de (2.18) e com isso
temos (II).
Finalmente, para checar (IH) precisamos provar que esta soluo realmente nica na
classe C ( [O, f"] ; xs) . Para tanto, utilizaremos um argumento clssico de Tsio Kato e
H. Fujita, ver [KF]. Neste sentido, consideremos p = (p, q) , W = ( w, z) E C ( [O, f"] : X s)
solues de (2.18). Ento, para
e tE [o, T" J usando novamente (2.9), com = 1 e = 2, obtemos
ou de
2.2
li
<
<-
11
< :<rt' sup ]'
v\ J I
:o.(
A
rl + _;_ r-'1
. "
(t)- (t)
+ lf)2
' 2 .r
I!
M
i\ := max 11 P t llxs,
i.t]
sup
[0/
32
Observe que /3 (t) contnua e crescente em [0, oo), .6 (O)= O e .3 (t)--+ +x, quando t--+ +x.
1
Assim, existe r tal que /3 (T*) = -:1 por exemplo.
"
Seja T
1
:= min {:f"' T*}. Como .3 (t)::; /3 (T
1
) ::; /3 (T'), ento para tE [O, T
1
] temos que
sup ]]p (t)- W (t)llx ::0: sup ]]p (t)- (t)llx-
[O.T1] 4 [O,T
1
]
Portanto, p = W em [0, T,] . Se T
1
= T" temos a unicidade e a demonstrao est encerrada.
Caso contrrio, T
1
= r. Definindo ento := min { Tp,, 2T*} segue-se que para t E [O,
(T2 > TI) temos
2
SUPER-KDV
r
(t-
1 + r-
1
) dr sup li
ro.T2]
<--
11
l,u (T2- Tt) +
'li (t)-
(ti
' '
Como T
2
::; 2T* temos que 11 (T
2
- T
1
) ::; 11 (2T*- T
1
) = pT*. Portanto.

::; --i
fi L
1 'I
= sup 1
4 [O.T2J
li
(t) -li
33
lix
I! V c
''/l,.
Logo, p = em [O, T2] . Se T
2
= Tu temos a unicidade. Caso contrrio, reaplicamos o
processo para T
3
:= min {Tu, 3T'}. Como [o, Tu J limitado, ento existe n E N tal que
nT* ?: Tw Com isso, p = em [O, Tu] e desta forma temos (IH) e consequentemente
nosso resultado.
Nosso prximo passo consiste em mostrar que a soluo u P obtida anteriormente
mais regular que o dado iniciaL !VI ais precisamente, se r ?: O e t > O, ento u u ( t) E
xs+r. Tal propriedade uma consequncia da propriedade regularizadora do C
0
-semigrupo
{W" (t)}t:>O. Alm disso, o Teorema a seguir nos d uma idia do motivo pelo qual nossa
soluo no pode ser estendida a um intervalo [O, T] independente de ,u, conforme veremos
no final deste captulo.
1 --:'
Proposio 2.2.3 Sejam 11 > O, s >
2
e 9 E X
5
Ento a funo u" obtida na Proposio
anterior satisfaz uM E c ( [O, r"] ; xs+r) . para r ?: o.
Demonstrao: Sejam u" = (uu, vu), f:= (up)
2
(v")
2
, Ox (uuvu)) e tE
r -]
lo. T'" .
Consideremos a equao integral,
SEAO 2.2
o-
A EQUAO INTEGRAL
. . l'' 't' -
)dT:= -J!J.(-)0+
34
Pela desigualdade (2.9). temos de imediato que v(.) E: C ([o. :fv]: ) . Considerando
r E: [0.1), para mostremos que E E C ([o. T
11
] : Para tanto. veremos inicialmente
que E E x HHr (R). De fato. escolhendo )q = r
1
+ 1 (r:= .\
1
- 1) e
= r2 + 2
. por obtemos
I ,, r' 'I
! E (t) X* ::; c illo vv/J (t- r) Ox (u")
2
(r) dri!Xi'-l)+A,
(2.35)
+c 11 (t- r) 3, (u
11
v") (r) drl[
11Jo 1 x(.s-l)+\1
+C l nwi' (f- r) 0; (vl')
2
(rll!x(r-2)+Xx dr
::; K snp f' [1 + (4Jt(t -r))-' + (4fl(t
r -] Jo
t.Tf-'
. .\2 r
Da hrpotese sobre r segue-se que
4
< 1 e
2
< L Portanto esta ltima integral finita, o
que assegura a afirmao feita.
Para a continuidade, consideremos tE (0, T"] e h> O de sorte que t +h E (0, T"). Assim,
1-
!i
li
i!
o
l'(t+h-
)dT-,
PARA A
fl,(t-T) (T)dT
" (+ ' h _, ',j"/ ('t f- 1-'d-
jJ\LT -,/- ,U i
+ lil
I
"
'i
!lx---+r
35
onde na ltima desigualdade utilizamos e uma mudana variveL :\ovamcnte. como
o l l d l ' d 10 36' d ' O
-= < 1 e - < 1 a pnme1ra mtegra o aao mre1to e
1
:0. ) converge a zero quan o 11 -+ .
4 2 .
Usando os itens (i) e (ii) do Teorema 2.1.2 c o fato que j (r
1
, r
2
) := (1 +r!"''+ E
L
1
((O. 4,ut]: R) segue-se do Teorema da Convergncia Dominada de Lebesgue que a segunda
-+
integral em (2.36) vai a zero quando h tende a zero. Isto mostra que E (t) contnua
direita de t.
De forma anloga mostra-se a continuidade esquerda. Assim provamos que E
c ( [o, TI' l : xs+r) ' se o :s: r < 1. Fazendo uso do que acabamos de provar, fcil ver
que E (t) E c ( [O, TI' l ; xs+
2
r) . Com isso, p E c ( [O, TI' l ; xs+
2
r) . Usando um argu-
mento indutivo mostra-se que E (t) E C ([o, TI'] ; xs+nr) para todo n E N e portanto est
completa a demonstrao. 111
Finalmente, resta-nos mostrar que a soluo p obtida anteriormente de fato a soluo
do problema regularizado (2.2), em relao topologia natural de xs-
4
Conforme veremos.
isto uma consequncia da continuidade de w
Proposio 2.2.4 A soluo obtida na Proposio 2.2.2 a nica soluo do PVI (2.2).
Demonstrao: A prova segue as idias apresentadas nos Teoremas 3.2 e 3.3 em [Il]
e Teorema 3.3.1 em [An]. Comeamos mostrando a existncia de uma souo para (2.2).
Usando o item (iv) do Teorema 2.1.2 temos que
2.2 A
para t >O na
oi.
; .
36
para t E
+
. Assim. para O S: t < Tv c
h > O tal que i +h E (O. T) temos que
1
-IE(t+
h l
. l 1 r'
-E(t) =h(H'v(h)-1)}
0

l
h
Corno a pril11eira integral do lado direito
h _,. O esta conYerge para
dT.
est en1 D
13 3Rl
\ .. u /
ento quando
em xs-
4
J\lostremos agora que o segundo termo de (2.38) converge a (t) em xs-
4
quando

Para tanto, observe que
j'+h [w" (t +h-,) (tJ1 d'll

I t ...1 ! xs-4
:':: 11 [H'p (t +h- T) f: (T)- (t),j' li dT
t 1 ilx"-4
= jjw,, (t +h- ih) f: (Oh)- f: (tJjjx-' h
= jjw" (t +h- 8h) f: (Oh)- f: (t)llx-',
onde utilizamos o Teorema do Valor Mdio para Integrais, com 8h E [t. t +h].
(2.39)
Usando agora o item (iii) Teorema 2.1.2 e a continuidade de (T) seguese que (2.39)
converge a zero quando h O, o que comprova a afirmao feita. Portanto, est provado
que
8( (t) (E (tJ) +f: (t),
onde 8( representa a derivada direita de t. Analogamente, provase que vale a identidade
acima, em xs-
4
' para a derivada esquerda de t. Ento, para t E [O, Tp l temos que
8, (t) =A" (E (tJ) +f: (t).
O PROBLEMA LOCAL REGULARIZADO PARA A
Como A" E B (X:
como
.u +
. I
segue-se c esta ltna afirmao que
EC'(
e pon.anto (2.2) tem soluo.
'v'eren1os agora que
tambm soluo de ). Portanto
'
(p(t))+g
) corn
-L f
' J fJ
37
(
v'-4 d (le> 2, le>2 2 e> ( l) A 1 d 1\' lt ) O< <" (?40'
em-"' . on e g - - , 2uxP , ?Yxq . ux ,Pq, . -'"'P 1can o '" \.- T . _ T _ c. em .:... )
obtemos
yj!p (t- T) (8x p (T)) = 0
1
[Wp (t- T) p (T)]
= -Ap.\'
1
p (t- T) p (T) +!VI' (t- T) 0
1
g (T)
=-A, H', (t- T) p (T) + APWP (t- T) p (T) +H', (t- T) 0
1
g (T).
Portanto,
-7
Integrando esta ltima identidade de O t e levando em conta que (O) = 9, obtemos
1' Ox [W, (t- T) (7)] dT = 1' wp (t- T) g (T) dT,
isto .
(2.41)
em X'-
4
Assim, da Proposio 2.2.2 temos que o lado direito de (2.41) est em X
5
. Logo,
p E C ( [O. T"] : xs) e satisfaz (2.18). Devido a unicidade, j estabelecida na Proposio
2.2.2, temos que p = il,. A ltima afirmao segue tambm da Proposio 2.2.2. 111
SEO 2.2 A EQUAO INTEGRAL 38
Conforme avisamos, na introduo deste captulo. colecionando os resultados estabeleci-
do Teorema 2.0.1.
:'\ossa pretenso seria prosseguir con1 o n1todo de regularizao parablica
para obter a soluo do problema original 1). Dai precisarian1os garantir a existncia de
un1 inteP..-alo independente de fL onde todas as solues llP pudessen1 ser definidas.
Observe que na Fn)pclsc;o
resultado n.o foi possYel
pode ocorrer que T,, 1 O quando f-1 l O. A exrsten:w de tal
n.o conseguin1os mostrar uma desigualdade
(2.42)
onde
E!,
=2
s
= -2
Tal dificuldade deve-se principalmente ao termo ( n, E!x ( vE!xv)) s, pois os outros dois termos
podem ser majorados por c /liZP (t) 1 ~ . Para o primeiro termo, por exemplo, utilizamos a
desigualdade de Kato, com t = s (ver Proposio 1.1.4) e as Imerses de Sobolev para obter
/(u U0xU)
5
/ :S.: c (//Du//
5
_
1
1/n//; + //Du//s-1 /In//;)
::; c 1 / n / 1 ~ :S.: c /liZP (t) I ~ .
(2.44)
Para o penltimo termo em (2.43) utilizamos estimativas com comutadores (ver Proposio
1.3.2 dos Prelimininares) mas no conseguimos chegar a uma estimativa do tipo (2.42).
Tambm fizemos tentativas, sem sucesso, nos espaos de Sobolev ys := H
5
(iR:) x Hs+
2
(IR)
e zs := H
5
(iR:) x Hs-
1
(iR:), para valores adequados de s.
"
CAPITULO 3
BOA COLOCAAO LOCAL COM DADO
INICIAL PEQ
SUPER-KdV
PARA A EQUA A
:'\este captulo, discutiremos a boa colocao local (no tempo) com dado inicial pequeno,
para o problema de valor inicial (PVI)
ou equivalentemente,
{
8,u + 8;u + u8xu + 8x (c. 8xv). =o
x,tElR
u(x.O) = p(x) e v(x.O) = 1!J(x).
{
8,11 + +F (11) =O
11(x.O) = 7 (x),
onde = (u, v), 1 = (p,1/J) e
(3.1)
(3.2)
(3.3)
Trabalhando nos espaos de Sobolev com peso e considerando o dado inicial suficientemente
pequeno estabelecemos nosso melhor resultado de boa colocao local (Teorema 3.0.1, a
seguir). Deixamos claro, que nossa primeira tentativa (sem sucesso) foi tentar establecer
39
40
boa colocao local nos espaos de Sobolev cissicos. Utilizamos os efeitos regularizantes do
grupo da e estilnativas com con1utadores n1as no chega.n1os as estin1atiYas necessrias.
:\o que fare1nos a seguir \ra1nos explorar diretan1ente o carter dispersivo da equao
Kato e
e nuvas estilnativas lineares decmTemE's
do uso do espao com peso. Como bem sabemos. o grupo mencionado acima aparece na
do linear homt)gimE;o
{
a, + a;11 = o
-7
u (:r. O)= rp
(3.4)
Tal dada por
t) o
onde
(t) = exp (3.6)
e S, a integral oscilatria
S, (x) =c 1: exp (ix) exp (ite) d.
(3.7)
O principal resultado deste captulo o seguinte Teorema:
-7
Teorema 3.0.1 Seja rp = ('P. w) E Xs.s = Hs (JR) n H
3
(x
2
dx). com s 2:5 inteiro. Ento.
existe TJ > O tal que se
o PVI (3.1) possui uma nica soluo (-) (u (). v()) definida no intervalo [O, TL onde
T = T (111llx.J >O
(T (B)--+ oo quando e_____, O) e 11 satisfaz:
(i) 11 E C ([0, Tj; Xs,3);
(
"")
:n sup
1
<s
1
Vx' u dL=Lz < oc;
- " T
SUPER-KDV 41
(i v) li
disso, para qualquer T
1
E . existe un1a de o E que
a aplicao o r-7 u (classe definida de ) ) Lipschitz.
?\ ossa estratgia para proYar este Teore1na segue
e
onde faremos estimativas sobre a integral oscilatria e. em seguida. aplicamos o
Teorema do Ponto Fixo de Banach para um espao mtrico adequado.
3.1 Estimativas Lineares
:\'osso objeth-'O nesta seo estabelecer novas estimat.ivas lineares, a saber: van1os estirnar
l
i (t)-;;; e li (t) [I . Tais normas decorrem do uso dos espaos de Sobolev
i ii 1L]?J13(x2dx)
com peso.
Demonstraremos o Teorema 3.0.1 apenas para o casos= 5, que corresponde ao ndice de
Sobolev mais baixo. A demonstrao do caso geral ( s ::0: 6, s E N) anloga, veja observao
no final deste captulo. Para tanto, consideremos um intervalo [O, T] e uma funo
vt : IFt X [O, T] ___, lR X R
Com o objetivo de simplificar as notaes definamos as normas:
'T '--T\ - li-Til .
"/\r \ U J- : U L'f'H
5
(?.)'
AT Cu))= max T (w)
l::Sf'S5 J
Consideremos tambm os espaos mtricos completos
" XT {w E C ([0, T]: X
5
); AT (w) < oo},
.. xr(a) - {wEXr; Ar(w)=::;a}
(3.8)
(3.9)
(3.10)
3.1 ESTIMATIVAS LINEARES 42
com a mtrica
d ) =
i 0 . Para tanto, preosan1os dois prxin1os
1.1 Dado E H
5
I H
3
li , o'li
,, !I
:Sc(l+
Demonstrao: Observe que pelo Teorema do Valor ]\!dio para integrais de Bochner
existe t
0
E (O. , tal que
IY
1
0=-
T
o
Usando agora o Teorema Fundamental do Clculo podemos escrever.
. f' c
= W (to) + O r I W
io l
) o] dT.
Portanto,
I
-+I 1 1T
sup H/ (t) o ::; -: )
JO.TJ T o
-+i t [ _,,I
(t)odt+lo la,W(t)oj
1
dt
(3.11)
Integrando em x. usando o Teorema de Fubini e o fato que \F (t) a soluo do PVI lnear
(3.4) obtemos
( t)
I l1T1x I
1
dx::;- 1
1 T
0
-x 1
(t) (t) e;;'l dxdt (3.12)
Para estimar cada termo do lado direito de (3.12) usamos a desigualdade
para obtermos:
(3.13)
3 BOA '-'"'"''"'v LOCAL
PARA A EQUAAO SUPER-KDV 43
Agora fcil obsenar que o operador L= at +a; comuta com r (x, t) = X- 3ta;; ao longo
t) =
L (r
(r
\
e, consequentemente.
"'
. c)
o , que a soluo
t)
"
Portanto.
.........;. '\
O) = 0. \f X. t E
t) (t) o =O. Da. r .t) 6 a soluo do
o= \t) 7) +3tH' (t) a; c
(ti EiC: =
" X
(xa;O')
Finalmente, substituindo (3.14) em (3.13) resulta que
11
\v lt) O' I
' L
1
L=
x T
o que conclu a demonstrao do Lema.
linear
(3.15)
Observao: Este Lema deixa claro porque trabalhar em Hs (IR) n H
3
(x
2
dx), com s 2: 5.
Alm disso, temos que .\r (w(t) 1) < oo.
Corolrio 3.1.2 Com as hipteses do Lema acima vale:
11
_,1 ('1--+1' !I-+
W (t) q; :S: c !I 9
1
1
+ T 119
LT IJ3(x2dx) 3,2 i
3.1 ESTIMATIVAS 44
Demonstrao: Csando a definio da I! \1
3
_
2
e a identidade
o=W o Q .V j E N,
segue-se que
il
:I
li
--+i! 2:::
O li
IIH'(x'dx) =
j=O
o
3
::;ci::(/
j=O
(i) xarz) 1 + 3 r'm (t) at
2
o 1.)
\ . o ' ! u
::; c (li o li +Til
',I_ ,\ :3.2 :',
li,
Portanto temos o Corolrio e claro [ -;:;') <X.
I
111
Observe agora que pelo item (i) do Lema 1.3.l(Preliminares) vale
e assim r (w(t) 9) <X
Pelo item (ii) deste mesmo Lema, com p = 2 e r = L temos que
1/w (t)
11 '71'
'i <c (1 + Tt
1
IIL2L= - I
T ,
1_/ e /
1
1
axW(t)1/l ::;c(1+Tl
2
l
1
1
I 1 ~ T I
e com isso r (w (t) 1) < oo.
Alm disso, como W (t) um grupo unitrio sobre L
2
(JR)
1111
1
(t) 9'rl . = sup l',w (t) "9'111 . =c 11/"i/
L?f? H
0
(1R) [O,T] i H"(R) I 5
e consequentemente f (w (t) 9) < oo.
Logo xr no vazio, pois a solua do PVI linear (t) = W (t) 9 E xr.
O prximo passo ser discutir a parte no-linear de (3.1). Neste sentido, fixando d:>
( :p, 'lj;) E H
5
(JR) n H
3
(x
2
dx) e considerando w = ( w, z) E xr vamos denotar por 11 =
i!f-; (w) :=\li (w) a verso integral para (3.1), isto ,
\li ( w) (t) = Hl (t) 9 (3.17)
SUPER-KDV 45
onde
=
I'\ osso primeiro ser n1ostrar que W definida.
estabeleceren1os un1a sequncia de Len1as. fornece as estin1ativa.s para a parte n.o-
de em termos
todos estes Lemas nossas hiJ)t.es,es sao
e avisamos que o smbolo ( ) significa r ( ) . para i = L 2 ..... o.
3.2 Estimativas No-Lineares
1
' I
L <
li-+
c 119 + cT[
+c (1 + T/
4
+ (1 + T)
2
3
+ (1 + T)
2
e E
Demonstrao: A demonstrao deste Lema decorre da anlise sobre a equao integral
(3.17) e dos resultados j estabelecidos. seguir, faremos uso da norma
111!1 ils = llfllo +
(3.19)
que equivalente a norma 11!11,. Temos ento,
r (w (w)) llw (t) ;+ij + r' liW (t- T) (w)IILXH'(,, dT
'I I LJ? H5 (?:.) J o . 'T ... ,
(3.20)
jj1jj
5
+ fo'iiW (t- T) F (w)ilqeH'(RJ dT,
pois W (t) conserva a norma H
8
(R).
Observe que como (wz)x = WxZ + wzx e a norma de qualquer coordenada do vetor
w = (w, z) controla-se pela norma do vetor W, ento o termo wwx j representa (wz)x.
Usando (3.18), a linearidade do grupo VV (t) e (3.19) resta-nos estimar os termos:
(t-T)(wwx)dTII ,
I
(t- T) (a;z
2
) dTI
0
.
(3.21)
46
Fazendo uso das desigualdades de :VlinkowskL Holder e do Lema de imerso de Sobolev.
obtemos:
(t

( U'1L':c) <
o
<
<
Analogamente.
Para o prximo termo. temos:
'I
1:
' ( t
-
-:
::
li ui
2
I, ' 1
[): l
/;\12
\ u jj .
::=; cTsup 11
[O.T]
<
I lo
l vV (t- r) (wwx) drllo ::=; [IIW (t- T) (wwxlllo dT
::=; (lT 1: (wwx))
2
dxdt)
::=;

(for J:

dxdt)
(3. 24)
onde utilizamos a regra de Leibniz na ltima linha acrma. Observe agora que o termo
envolvendo a maior derivada de w, na desigualdade acima, e este pode ser estimado
como
(3.25)
LOCAL DADO INICIAL
SUPER-KDV 47
Vale observar ainda que os termos envolvendo derivadas de 11: de ordem mais baixa podem
ser estimados facilmente usando-se o Lema de w1e1 ''"v de
u_u controla-se da seguinte fonna
2
e obternos
(t-
6
< '\:'c
-L.,J
J=
2
sup
X
Por exen1plo. o tern1o
2
o
l
2
Lei.bniz em
Observe que para j = 2, 3, 4 podemos aplicar as desigualdades de Holder e :\linkowski jun-
tamente com o Lema de imerso de Sobolev, em (3.27), para obter
(3.28)
veja (3.25)-(3.26).
O termo associado a j = O e 6 pode ser estimado utilizando-se o efeito regularizante dado
pelo item (i) do Lema 1.3.2. De fato,
(3.29)
1
::; cjoo sup lzl ( {T

dt)
2
dx
-ex [O.T] Jo
:5o c (Joo sup lzl dx) sup ( {T (
2
dt)
-CC !O,T; X J 0
ESTIMATIVAS
48
Usando agora a desigualdade de HOldeL o Teorema de Fubini e os resultados citados acima,
chegamos seguinte cadeia de desigualdades:
:Se
=c
li' (t -
18 .. 2
sup \ x2)
[O.Tj
l
2
1
T
<)
l
2
:S (1""
sup (lx
-x [O.T] [,T] -x
:S (1 + T)
2
3
(U)
1
(U).
Colecionando as estimativas (3.20)-(3.30) temos o Lema.
Lema 3.2.2
3 (w (w)) :S c ![-;t[i_ + cT [
1
(w)]
2
.
, lo
111
Demonstrao: Basta analisar o caso k = 1, na definio de .\f (w (w)), que consiste
em estimar l!8x W (w) IILiLT' . Por (3.18) resta-nos estimar os termos:
(3.31)
Cada termo acima pode ser estimado atravs do uso da identidade
(3.32)
do item (ii) do Lema 1.3.1 com r= 1 e p = 2 e do Lema de Imerso de Sobolev. De fato,
3
PARA A EQUAAO SUPER-KDV
EJ
X
(f- T)
H' (t-
Logo, de (3.31)-(3.34), segue-se o Lema.
<c 1 + H(
< (1+T)
2
supll
ro.T]
< T 11 ' T'
2
_C \ I )
:s c (1 +
I
_,.,]?
\ w} -:
rT
< c (1 + Ti
2
j '1iEJ
3
u
2
ll dt
- ' " I X lil
o
:S cT(1 + T)
2
sup

[O.T]
:S cT (1 + T)
2
sup
[O.T]
:S cT (1 + T)
2
[
1
(w)]
2
.
49
i l
Vale observar que todas as estimativas feitas at agora valem em H' (JR:.) paras E R Nos
dois prximos Lemas precisamos usar a norma no espao com peso H
3
(x
2
dx), que dada
em funo da norma Hs (JR:.) paras E N. Fica claro portanto a necessidade de trabalharmos
com sE N.
Lema 3.2.3
4 (w (w)) :S c (11111. + 11'111 ) + cT [.\1 (w)]
2
+ (1 + T)
2
.\ 1 (111) .:\ 3 (111)
I o . ,13.2
+ (1 + T)
2
1
(111) 3 (111) + cT.\
1
(w) .\
2
(w) + cT
2
(
1
(w))
2
+ (1 + T)
2
3 (w) s (w) +c (1 + T)
2
.\4 (111) s (111)
ESTIMATIVAS
50
Demonstrao: Pela equao integral ( 3.1 7) temos que
.
(W( ):S(l+
!i
li
+
(t- F
e o
e 11
:jrt
11 o
(3.36)
Usando a estimativa linear, dada pelo Lema 3.1.1. e a identidade (3. obtemos:
driJI
3.2"
Agora,
I
r' !i
Jo W(-r)(wwx)dr\j_
o ' ;)
(3.38)
111' . 11 li -1'
:SI, W(-r)(wwx)drj W(
11 o o I o
(wwx) dr[[
1
!O
:S lll W(
(wwx) drJ1
1
+ t CJ l W (-r) dr
O ;=O O
') Jl - 1' ( -) 11
:ScT[JIJ(uiJr+c W(t)3x (-r)
I o lo
+I> lj
1
3x l W (-r) (3?cw) drll
j=l i o o
Usando o efeito regularizante dado pelo Lema 1.3.2 e o Teorema de FubinL estimamos o
3 LOCAL COM DADO INICIAL
penltimo termo acima como:
(t-
1
< juu;uf dt)
2
lu i
- (1"" sup
, -X [OJ]
So (1x sup
-00 IO.T:
' ' '
Portanto,
1
2
dt) dx
l
l
'
o \ 2
d d'
I X t l
, I
/
/100 2 1 2
I dx I
lO.TJ \ -:x:
l
2
li r' vv ( -T) (wwx) dTII So cT p,l (w)]
2
+ (1 + T)
2
)'1 (w) ,\3 (w)'
1 lo 115
51
(3.40)
Para o segundo termo de (3.37), combinamos a definio da norma li
(3.16) para obter
11
3 2
com a identidade
(3.42)
3 :: f'
=L lo
j=O li O
( -T) (wwx) dTilo
So t (wwxlllo dT + 3111' TW ( -T)

(wwx) dTII ] .
J= o o 10
Aplicando as desigualdades de Hiilder e Minkowski e o Lema de Imerso de Sobolev, podemos
estimar todos os termos de (3.42), exceto este ltimo para j = 3, da seguinte forma:
ESTIMATIVAS
52
Observe que este ltimo termo j foi essencialmente estimado em (3.38)-(3.40). Com isso,
li
" li
) dri <
(1 + )q
para o ltimo termo em (3.36) utilizamos a estimatha
:3.2 1 c a identidade (3.32) para obtermos
lll W(t-
n ( (a;z
2
) d,-1 + a;
lo
+c (1 + T)
2
1\l vF
Passemos a estimar agora cada termo de (3.44). J sabemos que
J11'w
L
,.
(a
o ") d 11 T ., ~ ) 2
. :;z- T I -:: c [A! ui J .
o
Para o prximo termo aplicando a regra de Leibniz resulta que
dada pelo
(3.44)
3
,}
..
li
(3.45)
Para j = 2, 3, 4, usamos as desigualdades de Holder e Minkowski e o Lema de Imerso de
Sobolev para obtermos
(3.46)
Quando j =O, 1 (analogamente j = 5, 6) usamos o efeito regularizante dado pelo Lema 1.2.2
3
PARA A EQUAO SUPER-KDV
para obtermos
Obserw que. se j =O vale
(t-
<c 11
- '
()
=c (1 + T/ .\
4
(
53
li
'" +,
)- dx.
I
'
X
2 dt) 2
sup
Para J = 1, usando a desigualdade de Holder e o Teorema de Fubin em (3.47) obtemos
(:349)
Resta estimax agora o ltimo termo de (3.44 ). Comeamos empregando a definio da
normal! 11
3
.
2
juntamente com (3.16) para obtermos
Usando as desigualdades de Ho!der e Minkowski e o Lema de Imerso de Sobolev, obtemos
a sequncia de estimativas para cada termo de (3.50):
ll
e
I
i i
<
<

'
{
,.,.p 11
1.1 1
[o .r:
+ sup
[o.r:
a;zll,
I
li
!!o
(1
T;ov
\ O
l
" 7j
2
dxdt).
:"::4Tsupllz
:":: 4T
il3sur!i I!L2'
[O.Tj
1
1 r' I'
I
Jn rVV (-r) (8!z
2
) dr I :":: cT
2
:":: cT
2
sup li
o I o :O.Tj [O,T]
Alm disso, usando a regra de Leibniz para

obtemos
sup li
[,T]
li 12.
54
51)
(3.52)
(3.53)
( 3 . .54)
(3.56)
3 BoA '-A/'-' 'U '-'""' ,, ""'
PARA A EQUAO
e
o
Vale observar que. para obter
o Lema de Imerso de Sobolev.
item (i) do Lema 1.3.2.
55
<
I
+c[
( -1) ( ,!
;IQ
'(-,-)a,.
i O
SUPx
o
i
2
dt)
< supcoT: llzli; + (IoT 1,-
(1 + T/ 3 (w) s (w)
< cT
2
[
1
( + cT (1 + T)
2
3 ( u;) s (w)
(1+T)
2
).
. utilizamos as desigualdades de Minkowski e Holder e
(3.57) usa.n1os tan1bn1 o efeito regularizante dado pelo
Finalmente, pelas desigualdades de Holder e pelo Lema de Imerso de Sobole\
obtemos
lll W (-7)
d7 (3.58)
::; f'w(-7) [xS(Bxz. ,a;z)]d71
1
l
1
+1
1
1
1
['H'
I lo 1 o Jo I o
::; (1T I: jxS (lxz .. ,a;zW dxdt) + ([I:

dxdt)
::; cT)'l (w) .\2 (w) + (1T I: ja;zl
2
dxdt)
::; cT.\
1
(w).\
2
(w) + cTsup (izl
12
+ jzj
0
) .\1 (w)
[O,Tj
::; cT.\1 (w) .\
2
(w) + cT [.\
1
(w)J
2
,
onde utilizamos tambm a desigualdade
[jxzlloo :S [jxzjj, :S llxzilo + lllx (xz)llo :S llxzllo + [jxlxzlio + llzllo = llzllu + llzlio
e a notao
4
S (lxz . .. ,a;z) = :2:>
1
(o;-iz).
j=l
ESTIMATIVAS
56
Colecionando as estimativas (3.44)-(3.58), temos a estimativa para o timo termo em (3.36)
e con1 isso
_,
(1]1 ( I I
< IIW
~ il
o (t ~ T) F
r
t ~ F(u)dTI'I .
I L]'N-J
3
(x
2
dx)
De (3.43), temos que
e
11 f' W (t ~ T) (w3xw) dr\1. ::; cD1 (w)
2
(w) + cT
2
[
1
(w)]
2
liJo !3,2
l1ll W (t ~ r ) 3x (wz) dr\\
3
.
2
::; cDI(wp2 (w) + cT
2
[I(w)]
2
+ c T ~ (1 + T)
2
1
(w) 3 (w).
Finalmente, colecionando as estimativas (3.50)-(3.58), temos que
::; cT1 (w) 2 (w) + cT
2
[l (w)f + cT [
1
(w)]
2
+ c T ~ (1 + T)
2
3
(w)
5
(w) + cT (1 + T)
2
3
(w)
5
(w).
De (3.59)-(3.62), segue-se o Lema.
resta apenas
(3 59)
. .
(3.60)
(3.61)
(3.62)
3 BOA v'-''-''Pva
PARA A EQUAO SUPER-KDV 57
Lema 3.2.4
.
< c i o 1. -r cT
' I:]
+
+c (1 +
+
(1 +
equao integral (3.1 e o tem (i) do Lema 1.3.1 s =
te111os que
.x5 (w (U'JJ :s:: lia;1r (t) o t=-' +I a; t lF (t-
' X Ly Jo
I -+ii 11
:S:: c 1 o li + ;,axw (t)
j, li,S !i
F (u) dTI
i
1.3.1 e as desigualdades de Hlder e c\llnKowSKl
I
' t
ja,w (t) 1 ( -Tl (uxul d,ll
L:L}
:S:: lll W ( -T) (w
7
w) dTIIo
:S::
< (1T 1: (waxw)]
2
dxdt)
(1T 1:[S(xw.

1
+ (1T 1: w
2

dxdt)
2
:S:: cT [.X
1
(w)]
2
+ (1 + T)
2
.X
3
(w) s (w),
onde utilizamos tambm a notao
4
S(xw, ,a
5
w)

j=l
Para o termo restante, usamos inicialmente a identidade
6
;z
2
= :Lc
1
(a;-iz)
j=O
(3.63)
obtemos
(3.64)
3.3 TEOREMA 3.0.1 58
para obter
(t-
(t- (
+ ila,
I,
Usando agora os efeitos regularizantes dados pelos Lemas L3.1 e 1.3.2 e o Lema de Imerso
Sobole,- obtemos
i i
" 1' \1
li
(t- 1)
::; 21/zo;z/lvL' + 2//o,zo;z/luu
:r T X T
+ 1T /ioxS (U';z, o;z. 8
4
z) I lo dt
::; 2 (1 + T)
2
.\4 (v:t) .\s (u) + T ~ (1 + T)
2
.\, (u) .\3 (w)
+ cT [.\
1
)]
2
.
De (3.63)-(3.66). segue a demonstrao do Lema.
A seqncia de Lemas, acima. permite-nos concluir que a aplicao I!J : xr ""' xr dada
por
. 1t
W-; Clii) = W (t) -;j; + W (t- T) F (w, z) (T) dT
. o
est bem definida, isto , .\f (I!J (w)) < oo para todo O ::; i ::; 5.
De posse dos Lemas anteriores, faremos agora a demonstrao do Teorema 3.0.1. Nosso
principal objetivo ser mostrar que existem 71 > O, a > O e T = (11 llx,.J > O, tais
que se 19
< 71 ento W (XT (a)) XT (a) e W : (a) _, xr (a) uma contrao.
SUPER-KDV 59
uma vez provado isto segue-se, do Teorema do Ponto Fixo de Banach, que existe um nico
E que W (U) = e 1! a soluo da equao integra! 1
onde
,, < C:lJo (1 + T)
+c{T+
(1 +
< CT)o (1 +
> 1 un1a constante numrica que
nado a seguir.
Inicialmente. fixamos r; de sorte que
Agora, escolhemos a e T > O tal que
. segue-se que
+
1 f
) -
+c (1 + T)
4
<ry
a= 2c(l +T)ry
0
,
com T satisfazendo
2
e r; ser detenni-
(3.69)
(3.70)
? - 1
4c- (1 + TJ"7Jo <
2
(3.71)
Vale observar que, fixando 7J e a como em (3.69)-(3.70), justifica-se a escolha de T como
acima. De fato, como
? - 1 - 1
4c- (1 + T)" 7Jo <- = (1 + T)" < -
8
" ,
2 c-7Jo
ento precisamos escolher T > O tal que
Para tanto, basta ver que
DEMONSTRAAO DO 3.0.1 60
o que imediato pois,
<
c ? l 1
< bc--- =-<L
16c
2
2
De nossas escolhas em 71) resulta que
a
= 2 + 2e
e a 3
<-+-=-a.
- 2 4 4
Portanto, \V ( w) = w
6
(w) E XT (a), desde que
l\Iostremos que \V: XT (a)-+ XT (a) uma contrao. Observe que, para w =(te, z),
p = (p, q) E XT (a) vale
w (w)- w (vJ = fo' w (t- T) [F (vl- F (w)J dT, (3. 73)
onde
(P'J- (wJ (3.74)
= (ax (p
2
- w
2
) +a; (l- z
2
) .ax (pq- wz +qw- qw))
( ax [ (p + w) (p - w)] + a; [ (p + w) (p - w)] . ax [ (p + w) (p - w)]) .
Agora, calculamos >-f (\V (w)- \V (p)), para i 1, 2, , 5 e, em seguida, tomamos o
mximo sobre cada um destes >,f (\V (w)- W (p)). Por exemplo, para
r (\V (w)- w (p)) = (1 + Tf
2
max l a ~ (\V (w) - w (p)) I I L' L=
k=O.l li ' X T
temos no caso k = 1 :
3 '-''-'"'"'''-''"'<"'-v LOCAL COM DADO INICIAL
i!
i i
:1
i u ~ z
!! X
:S cT (1 + T)
2
sup i o ~ [(p + u:) (p-
[,Tj
:S cT (1 + T)
2
sup (IIP + u:
fOJj
< cT 11,
- '
r ( 1 i
L \1!
_;_ . T
' l
li
111
!I -P
61
As justificativas para obter a sequncia de desigualdades acima j so familiares, portanto
no mencionamos. Claramente, os outros dois termos em (3.74) ficam controlados pelo que
fizemos acima. Assim.
(3.76)
De forma anloga, ao que fizemos anteriormente, podemos estimar os demais [ (w (uJ)- w ('p))
e, em seguida, tomar o mximo sobre cada um deles para obter:
AT (w ( u:)- w CP)) :s: c (1+ T)
4
[AT (uJ) + AT CP)] AT (uJ- P'l
:S 2ac (1 + T)
4
li. T (uJ - p)
:S: 4c
2
1Jo (1 + T)
5
(w- p)
1 T . --+
:S :zA (w- P l,
(3.77)
por (3.70)-(3.71). Logo, para valores de como em (3.71) w : XT (a) --+ XT (a) uma
contrao e com isso existe um nico uJ E XT (a) tal que W (uJ) = W-; (uJ) = uJ.
Para ver que que a aplicao dado inicial-fluxo Lipschitz, consideramos T
0
E (0, T) e
. --+ -+
p E XT (a)' com p (O)= e. Assim,
(t)(o-e)-[ (t-T)[FCp) dT.
SEAO 3.3 DEMONSTRAO TEOREMA 3.0.1
Procedendo agora como em (3.73)-(3.77), obtemos
l)
i --i'
+ I o-
i
Como consequncia de (3.73), temos que
c(l +T)
4
[
+ < TJo < 1
8, C0111 ISSO.
ou seJa,
y; ___, [
11
--+ I' 1'--" --"1' ] li.
0
( uJ - p) :-:; c
0
(1 +To) 11 o 1
1
_ + I o - B I
L o I 113.2
= K [li-;-
8
1 + 111 113J
62
(3
(3.80)
onde K > O. Assim, a aplicao <:/;
-:::}
c--+ u, de v__, em X
7
, Lipschitz onde V-:;: uma
"' y
vizinhana de dependente de T
0
.
prxima etapa consiste em mostrar que E C ([O, T]; H
3
(x
2
dx)), pois j temos a
continuidade de 71 na norma de H
5
(R). Para tanto, basta ver que 71 contnua em t =O.
Mostrado isto discutimos as duas situaes abaixo que decorrem deste caso.
(i) contnua direita de 7 em (0, T] .
Para ver isto, definimos W (x, t) := 71 (x, t + 7), com t E (0, T] e observamos que w
satisfaz o PVI
{
x,tER
w(o)= (7),
(3.81)
LOCAL COM DADO INICIAL
63
que equivalente a (3.1). Como V: contnua direita de O. ento W contnua direita
T.
contnua esquerda de T en1
tanto. definamos p t) = T- t) com t E Ti. Observe que est na
n1esn1a classe de est na mesma classe de e satisfaz (3.81). Como p contnna
direita O. ento contnua esqnerda de T.
Retornando ao nosso objetivo inicial. mostremos agora que V: E C (
Considerando a equao integral . temos que
"
I
I
(t)- ol
1
1 ~ 1.1
13.2
Empregando a identidade
temos
(t) - I) I +I 11 1
1
1'
b.2 li o
e as propriedades do
(t- T) F
11\V (t) - 6[[
32
~ t [(w (t)- I) x a ~ 6 ) li o+ ct [6[1
5
.
J=
(3.82)
(3.83)
De (3.83) e do Lema 3.2.4 segue-se, a partir de (3.82), a continuidade de V: na norma de
H
3
(x
2
dx), quando t __, o+
Finalmente, para provar que V: nica em xx vamos ntilizar um argumento iterativo
semelhante ao apresentado no Teorema 4.1 em [KPV4].
Consideremos W outra soluo de (3.1), definida no intervalo [O. TI]. onde T
1
< T com
AT
1
(w) < oo. Suponhamos que w E xx (ai) para algum a
1
> a = 2c (1 + T) ?)o. com
w E C ([O, T
1
]; H
5
(IR) n H
3
(x
2
dx)). Como
por continuidade, existe T
2
< T
1
tal que
sup. (llw (t)]]
5
+ 11111 (t)il
3
2
) ~ a .
tE[O,T2)
(3.84)
Pelo fato que W satisfaz a equao integral (3.17), usando (3.84) e substituindo a estimativa
para .\ (w) resulta que,
(3.85)
com T
3
< T
2
suficientemente pequeno.
3.3 DO 3.0.1 64
Recorrendo tambm as estimativas de ; (li') :S a, (j = 4. 5) , obtemos T
4
< T
3
suficien-
temente pequeno tal que
em seguida T
5
< T
4
suficientemente pequeno tal que
::; a, t E
Portanto. provado que E , para
<
< T e consequentemente U! =
em R x [O, Ts].
segunda etapa, consideramos um novo problema de ponto fixo para o PVI (3.1) na
bola )(Ts (a
1
). com dado inicial11 (T
5
), e repetimos todas as estimativas feitas para chegar a
urna contrao. Em seguida, argu1nentarnos con1o ttcmJ.a para obter a unicidade en1
com
>
Reaplicando este processo, um nmero finito de vezes. estendemos a unicidade
nossa soluo ao intervalo [O. T].
Vale observar que nas iteraes feitas acima a sequencra = 71 ollx. }\ . Tw =
0.3
T10 (li (Ts)l\x
5
,), .Tsk = Tsk (\\11 (Ts(k-r))\lxs,) (k:?: 1) nao acumula num tempo
T' < T, pois se isto ocorresse no teramos T (O) -+ oo, quando () -+ O. De fato, conforme
(3.70)-(3.71) os valores de T que realizam uma contrao dependem inversamente da norma
do dado inicial. Assim. se a sequncia acima acumulasse antes de T. teramos
(
li
li
ollx,, .1111 (Ts)lix
5
,,, .1111 (Ts(HJ) llxJ -+ oc,
que um absudo. Portanto, est provado o Teorema 3,0.1 paras= 5.
A demonstrao para o caso geral, s 2 6 inteiro, feita de maneira semelhante ao que
acabamos de fazer. Basta, para tanto, redefinir as normas f (uT) e g ( w) como
f ) := sup ll'i'Z ils
tE[O,TJ
1
I (uT) := sup ( fT (x. t)l
2
dt)
2
xEIR Jo
e reproduzir as estimativas necessrias. Portanto, est completa a demonstrao do Teorema
3.0.1.
Avisamos ainda que nosso problema (3.1) reversvel no tempo, isto , vale o Teorema
3.0.1 no intervalo [-T, T].
3
Corolrio 3.3.1 Com as hipteses do Teorema 3. 0.1. temos que existe uma vizinhana V

de E H
5
n H
3
> tal que a aplicao o --+ . de em xx. suave.
Consideremos F
= +
e definamos H : X xT -+ por
H (-:t: Ui) (t) = (t)- o-
d
' --+
on e u = V) e w Observe que H est bem definida e pelo Teorema 3.0.1
H (6. u) =O. Alm disso.
( t))
+
(t-

F Z)
z) +
! \ ca
\}-TJL X
'UZ +
De semelhante. podemos calcular a derivada de ordem k de H. com relao a
11 = ( u. v) . o que permite concluir que H suave.
Para ver que Dv: H (6. 11 ( t)) : xx --+ )(T invertvel primeiro escrevemos
(I- Dv:H) w (t) = -l (t- r) Dv:F (u. v) (w. z) (r) d,-
= -1' VV (t- r) [Dx (uw + z8xv + VOxz. uz + vw)] (r) dr,
onde I : = I d xr e Dv: H : = Dv: H (;;'. 11) ( t) . Em seguida. procedendo como nos Lemas
(3.2.1)-(3.2.5) obtemos estimativas para z ((I- Dv:H) w (t)) (i= L. 5). semelhantes a
todas aquelas obtidas na seo anterior. sendo que agora em funo de >..f (17) e z (w) .
Por exemplo, vamos estimar alguns termos de
. r ((I- D-,;H) w (t)) = (1 + T)-
2
max ((I Dv:H) w (tlliiL2LOO.
k=O,l X T
(i) Para k = 1. o termo com derivada mais alta em >..f ((I- Dv:H) (t)) controla-se da
seguinte forma:
3.3 DO TEOREMA 3.0.1
+
:S:c(l+
::; cT (1 + T)
2
sup !i(2vxxZ + 4VxxZx + 2VxZxx)ll;r
[o. Tj
< crr ( 1 -k-
- ,J._ \..!. '
[O.
::; cT (1 + T)
2
sup (li
[0. T]
::; cT (1 + T)
2
sup llu
[O, T]
66
onde utilizamos o efeito regu!arizante dado pelo item (ii) do Lema L3.L com p = 2 e r= L
(ii) Para ..\r ((I- D-uH) w (t)), vamos estimar apenas o termo vV (t- r)(uzx) dr\j .
I L'iLT
Usando o Lema 1.3.1 temos que
I[ t I'
L r W(t-r)(uzx)dr,l
)1}0
(3.86)
::; c (1 + T)
2
[li [' (-r) (uzx) drj
1
/ +
1
\[ [' W (-r) (uzx) drl/ ] .
1;0 15 1Jo 13,2
Agora,
3 BoA v'-'"-"-' V1H< N-V r'LD ""' '-' "'""
A EQUAAO
,,
il
I,
"
li
li
< il
-li
li
+
3
j=1
I
\a',..!
I . !
i 5
dT + a;
o
j=O
c
J
rt
(t) 8x lo
HT (
+c\
i
(
85-y
, X
(t- dT
+ tc
1
i1T

dxdT) l
J=l l 0 -X .J
Usando o efeito regularizante, dado pelo Lema 1.3.2, e o Teorema de Fubini, estimamos o
penltimo termo acima como:
(3.88)
1
:5 (1
00
sup lul
2
dx)
2
su. p (loc

dx)
1
[.T] [O.Tj -oc
:::: r1 (1 + T)
2
Af Cu) Ai (w).
Portanto,
3.3 3.0.1 68
(
+
(1 + T)
2
)
Para o segundo termo
para
. combinamos a definio da norma !i com a identidade
li
il
.I
( _,)
I
(3.90)
3
=I:
(-'C)
]=0
<
li
i i
+3
o
Aplicando as desigualdades de Holder e Minkowski e o Lema de Imerso de Sobolev, podemos
estimar todos os termos de (3.90). exceto este ltimo quando j = 3, da seguinte forma:
Observe que este ltimo termo j foi praticamente estimado em (3.87)-(3.89). Com isso,
1/ (' W ( -,-) d,-Jj :::: cnr Cu) >-2 (w) + cT
2
>-r Cu) >-r (w)
11)0 li3,2
(3.91)
+ (1 + T)
2
>-I (11) >-f (w)
e, portanto, de (3.86), (3.89) e (3.91) segue-se que
li r' }V (t- ,-) (uzx) d,-l'l . ::; cnf (11) >-f (w) + cTJ (1 + T)
2
>-I (11) >-f (w) + cnf (11) (W)
1 lo iL.i,LT
demais estimativas so anlogas e portanto no vamos repetir.
3
PARA A EQUAAO 69
Aps calcularmos todos os >.f ((I- D-uH) vJ (t)) (i = 1, , .s) e tomarmos o m.ximo
sobre cada um deles, conclumos que para qualquer
:s;Z:(1+
:s; 212 (1 + T)
5
1
<
2
pelas escolhas feitas para a e T em (3.67)-(:3. 72) e o fato que 17 E X
7
(a) . '\Jovamente. c> 1
uma constante que s depende das estimativas lineares. Assim,
e consequentemente ) = Dv:H E B inverti vel.
Assim, pelo Teorema da Funo Implcita (Teorema 1.4.1). existe C V -vizinhana
de 6 E H' (JR:.) n H
3
(x
2
dx)) e uma aplicao h , V X
7
tal que H (u
0
. h (wo)) = O, ou
seJa,
(t- r) F (h (w
0
)) (r) dr (t)
a soluo de (3.1) com dado inicial 11'
0
E V e h suave.
,
CAPITULO 4
BOA COLOCAAO LOCAL COM DADO
INICIAL QUALQUER PARA EQUA AO
SUPER-KdV
Nosso objetivo neste captulo provar um Teorema que fornece boa colocao local (no
tempo) para o PVI
{
8,u + 8;u + u8xu + ~ 8 ~ v

=o
8,v+8;v +8x(uv)=O, x,tEIR
u(x,O)=uo(x) ec;(x,O) vo(x),
( 4.1)
desta feita com dado inicial arbitrrio. lV1ostraremos, a seguir, que o PVI (4.1) localmente
bem posto no espao de Sobolev com peso Xs.ll H
5
(R) n Hll (x
2
dx) paras ;::: 15 ( s E N) ,
para um dado inicial arbitrrio. Fica claro portanto o preo pago ao retirarmos a hiptese
de pequenez sobre o dado inicial.
]'\ ossa demonstrao baseia-se nas idias apresentadas no trabalho "Local Well- Posedness
for Higher Order Nonlinear Dispersive Systems" de C. E. Kenig and Gigliola Staffilani (ver
[KS]). Neste trabalho, os autores fazem uma combinao entre os efeitos regularizantes do
operador 8, + ~ e uma mudana de varivel adequada para sistemas lineares abstratos. Tal
mudana de varivel permite considerar o PVI acima com dado inicial arbitrrio.
Os sistemas considerados em [KS] possuem a forma geral estabelecida em (0.2) e os
70
4
A EQUAAO SUPER-KDV 71
valores especficos para r e s, nos espaos de Sobolev Xs.r := H
5
(R) n Hr (x
2
dx), no so
determinados. nosso caso, para o 1). determinamos o melhor expoente inteiro no
resultado de boa colocao a seguli,
Corn as notaes estabelecdas nos preliininares provaremos o seguinte Teoren1a:
E ento
'
existem T > O ( T = T
'")com T
qucma.o a_ ---+ e uma
u) do P (4. definido no 1nJ'PrJJn.!'n co-m. satisfazendo:
(i) i1 E C ([0,
(v) Para qualquer To E (0, T) existe [;'
0
C ( U
0
- vizinhana de
0
E Xs.ll) tal que a
aplicao
0
r-+ if ( t) , de U
0
em yx (classe definida de (i)- (i v)) Lipschtz.
Faremos a demonstrao deste Teorema na ltima seo. De imediato, na prxima seo,
vamos estabelecer alguns resultados auxiliares. Em seguida, na terceira seo, estudaremos
a equao integral associada a (4.1) e construiremos as estimativas necessrias para provar
o Teorema 4.0.1.
4.1 Resultados Auxiliares - Estimativas Lineares
Com o objetivo de adequar as notaes vamos escrever o sistema (4.1) como
{
8,11 + ~ + B (x) a;11 + __ [A (11)- B (x)] a;11 +C ( u, 8x 11) =O
11(x,O) 11
0
(x), x,tER,
(4.2)
onde
(4.3)
4.1 RESULTADOS 72
A parte linear de (4.2) dada por
+ +B =0
O)=
o
X, i E
Os resultados a seguir praticamente encontram-se em [KS]. Contudo. faremos as demons-
traes para o nosso caso a importncia destes para estabelecer o Teorema 4.0.1. A
Proposico a seguir estabelece a existncia de uma nica soluo t) = u
o
para o problema linear Alm disso. tal soluo tem propriedades semelhantes as do
problema linear clssico associado a KdV. conhecidas como: a conservao da norma Hs (lR),
os efeitos suavizantes do tipo Koto e uma estimativa para a funo maximal sup, lU (t) oi,
veja Lema l em
Por reiembramos que afirmar
E
signfica dizer que u E z E e
\iU'Ux = 1\wllx + llx onde
um espao de Banach qualquer.
Proposio 4.1.1 SeJa
0
E Hs (IF!?.)nV (R) (s 2: 3. sE N). Ento, em qualquer intervalo
de tempo [O, T] existe uma nica soluo 11 (x,t) = U (t) u
0
(:r) para o PVJ linear
que satisfaz para 1 a s :
(i) (conservao da energia)
(ii) (efeito suavizante)
( iii) (verso dual)
1/aa 1' , ( ) _,, , ] lj 'I h-+l'
su_PI x l8x u t-T, g \ ,T)dT 1. luL'.
[O,T]i O IILi x T
(iv) (efeito suavizante no homogneo)
l
i r 1' _, li I ( 11 _,I. I' _,I, )
,a; U(t-T) f(. ,T)dT \ sup j,
2
+sup I,,
2
;
,I L O J liLgoL} h'5:_CJ I LxLT h:;_a ILTLx
(v) (estimativa para a funo maximal)
(t) 11 oi 1111 oiiHa+l
I [O,TJ Li
onde c= c (liBiiH' , llvoi\L' , T)
SUPER-KDV 73
Demonstrao: A demonstrao desta Proposio ser concluida a partir dos trs
prximos Lemas. Inicialmente. faremos uso de uma mudana de varivel adequada para
e Portanto, Ya1nos em B
duas vezes
reduzir a ordem da nP'""'""
diferenciar O "'""c'"a
veJa
respeito a e em seguida denotar por
Ox
ser detern1inada posteriormente.
Obtemos assim o novo sistema
Ot 1 + 1 + B3x 2 =
3,
3=0
[23xB8xM-
1
+ Ba;M-
1
+ a;BM-
1
+ a;M-
1
] w
3
+
3+
+
Agora escolhe1nos a matriz
tanto basta tomar
de sorte que o coeficiente do termo
1
8xAr
1
= _:::_BJ'vr
1
3
Usando (4.6) e a representao de B (x) obtemos
= (

kr
:= ( f(x) g(x)).
h(x) i(x)
3
se anule. Para
(4.6)
(4.7)
onde k
1
, k
2
, k
3
e k
4
so constantes, sendo que k
1
e k2 no podem ser ambos nulos. Como
se k
1
= O devemos ter k
2
e k
3
no nulos e se k
2
= O devemos ter k
1
e k
4
no nulos. imediato
que
.. __ 1---.,.(-i(x) h(x) )
A1lx) =
det g(x) -f(x)
(4.8)
para f, g, h e i como em (4.7). Retornando agora ao sistema (4.5) e substituindo (4.6)-(4.8)
obtemos
4.1 AUXILIARES - LINEARES
l
8,
l + 1
+B8r
2
- o
8, 2+ 2+ 37
a,
3+ ll T
T
3 =o
3"+
e como =( l.
2 3
) poden1os representar por
{
8,
I a3w ..L
a 4- (x) =0 T X t X
(x, O) = X, tE
onde
o o o o o o
o o o o o o
o o o o kl Ox Vo k28xt'o
D -
o o o o o o
o o o o
b
1 (kl + 1) a;vo det7,.
1
_, (k2 + l)o;vo
det Ivf
o o o o (k1+l)o;vo
k
,(k
2
+l)o;vo
der. Af
e
o o o
V o o o
o o o o o o
H (x) :=
o o o o k1vo kzvo
o o o o o o
o o o o
1
1
k1k28xvo
1
, k8xvo
det Af detM
o o o o -
l
, kf8xvo
l
1
k1k28xvo
det .1\1 det Af
O Lema abaixo garante uma nica soluo para a equao ( 4.10)
74
(4.10)
(4 1 1\
\ ..!. J
( 4.12)
Lema 4.1.2 Sejam s 2: 3 e as matrizes H e D verificando IIHis < oo, l l l ~ I I o o < oo para
Os; i s; s, onde I!HIIs := max1:0:ifS61[hi,JIIs e [ [ l ~ I I o o := maxlSi,J:0:611diJIIoo. Assim, para
qualquer intervalo de tempo [0, T] temos que se
ento existe uma nica soluo (t) := U (t) vt
0
(x) de (4.10) tal que vi E C ([O. T], (H
5
(JR))
6
)
e satisfaz:
4 COM DADO INICIAL
(l') maxo::;1::;s SUP[o.T] ;:_
!l
li
<x.
definan1os as normas
" Pi
1
1 .
.
..
(?i = ma.x (V)
f
e o espao con1pleto
= {v E C ([O r
1
< x}.
com mtrica d, ( p, q) = F CP - q) . Consideremos ainda o operador sobre para
E (H
5
(R))
6
, dado por
<'Pv;;o (v)=
!'
(t)w
0
+ lo W(t-t')P(V'(t'),8x (t')) dt' (tE [O. T]). (4.1:3)
onde {W (t)}tEx o grupo associado a KdV linear 8,-vJ + = 0 e
P(v(t),8x (t))=H(x)8x (t)+D(x) (t).
Provemos agora que existe n; (O) := {v E Y': d, (v' ) :':: T} c Y' tal que
<l'>;;:;o : B; (O) --+ B; (O)
uma contrao nesta bola, para T pequeno.
Inicialmente, vamos mostrar que Y' f 0. Considerando (t) := W (t) W
0
temos que
W (t) uT
0
IIo
(t)

e, portanto, Y' f 0.
- ==;.. Pr (W (t) v;;o) :'::c IJ-violls,
< (t) woliL:;oL} :':: ==? (VV (t) wo) :'::c jjwo!ls
Agora, consideremos v E Y' e vamos mostrar que <l'>wo : Y' --+ Y' est bem definida.
Como
(H (x) ax v+ D (x) vJIIo dt
LINEARES
temos que:
(a) Para i= O,
IIH !io ::; !iH
sup ! dt
T
<
(b) Para i= 1
[ llax(H
< + !I
i!
:S \jH \b
Portanto, para O ::; i ::; s

!I dt< "!'H")!!
i'o o - CTX I (x !is max i,ux : u l!rocL2 <
I Os;r.::;s
1
' X '
Para a outra parcela temos:
(a) Quando i= O,
(b) Quando i= 1,
I lo dt::; c IID (xJIIL?' ir li !lo dt
: o
::; CT IID (x)llr= sup I!
" [D.r)
= CT IID (x)/IL:;o IIIillwri.
[ ll3x (D (x) U) [/
0
dt ::; [ ll3xD (x) U//
0
dt + [ [[D (x) Ox 11[[
0
dt
Portanto, para O ::; i ::; s
::; CT [[oxD (x)\b li v llri"Li + CT 1/D (x )llv;c llox Iilbri
llr=H'
t=,l I x 7 x
76
( 4 14)
4 BOA vu'LV'-'""'"''"'v LOCAL COM DADO INICIAL
?) dt < cT max llo:D
- 0::;1:S:s- '
. ten1os que
! s; c
!s +
I'
+ cT max
O:S;i:Ss
Passemos agora a estimativa de
Temos que
I' CJi+l- I_,' I'
liux <flwo \c) I
< I ai+'H' lt) v;roll
- X \ ! L'' L;
+
llv;'L'dt'
s; c I v;rollo +c [ (Bx 'l!) li Li dt
:S c !l'w
0
ll
1
+ C1
7
(ox U, tx dt
X
e, com isso, pelo que fizemos acima vale
I 1'"
1
D( )" 1'--*11
T CT ID?-X iVx \X JILoo I V L=Hs
O$t:Ss
1
x "" x
Assim.

I I
( 4.16)
4.1
Conseq uentemente,
<c\\
--r:
Agora escolhemos a
e escolhamos
nossas escolhas: se
H
, 11
0
iD
cT max i! x
o:s;i:s;s "
B; Seja T E [O, tal que
. , 'I 1
CT max ii8;D i'Loc :'S -,
O<i<;; '' 'o: 4
[[H (x)lls :'S
r= I'
li
li ,
I i 5
E B; ento
') r , r , r
! < - -r - -r - = r.
- 2 4 4
mostrando assim que W-wo : B; --+ B;.
78
1
<x.
Para ver que W-wo : B; --+ B; urna contrao, basta considerar
1
, v
2
E B; e ut!zar
as escolhas acima para obtermos
+ cr rnax (x)IIL=
o::;z:s;s '
1
X
(
--+ --+ )
-vl- 1./2
1 rr (--" --+ '
s; 2 v 1 - v 2) '
Com consequnca, existe um nico w E B; tal que <l>-wo (w) - w. Conforme [KPV3]
podemos mostrar que w a nica soluo na classe C ([0, ; (H
8
(R) )
6
) , com w satisfazendo
(i)-(ii) (ver demonstrao do Teorema 3.0.1).
Mostremos agora que W pode ser estendida ao intervalo [0, T]. Seja w (r)= p
1
(O) E
(H' (R))
6
. Considerando outro problema de ponto fixo em B;,, com r
1
= 2c /1 (r)/!H' e
sabendo que r s depende de li H (x)ils e (x)IIL:;:o conclumos que existe urna nica
soluo p
1
E C([O,r];H
8
(R))
6
para (4.10) satisfazendo ()-(ii). Portanto colando estas
solues temos que para t E [O, 2r]
(t), tE [O,r]
pr(t-r), tE[r,2r]
SUPER-KDV 79
soluo de (4,10) em [0, 2T], Aps um nmero finito de passos conclumos que existe
un1a soluo em T] satisfazendo '\ovamente, usando um argumento
semelhante ao utilizado em iKPV3!
L J
na
c > e satisfaz 111
Vale < :x:;, ento quando i = O fica claro
que devemos ter s ?: 3, Portanto, pelo Lema que acabamos de provar concuir a
primeira parte da Proposio 4,LL Ou seja, como o PVI (4,10) bem posto em (H
5
(R))
6
paras ?: 3, ento o (4A) bem posto em H
5
(R) n L
1
(R) paras ?: 3, Como a
soluo forte de , que dada pela tripla
t) =
t) o
2 3
t)) =
ento a soluo de (x, t) = U
0
, a primeira coordenada de
tanto basta ver que da primeira linha da equao 10) obtemos
{
3, Wr + + vo3xz2 = O
l,zr + = O
= { 3,u + .. + v
0
!';v = O
3.v + 3
3
v =O
' X
EPu
T .
{3
---+ 3
3
-" -'- B I ) 3
2
---+ 0
{:=::} t '/.1. + X U 1 \X X 1..1 =
1
onde wl = (wl,zi) e w2 = (w2:z2)
Para
Para provar os efeitos regularizantes (i)-(v), da Proposio 4,L L para u (x, t) = U (t) u
0
(x)
precisamos de mais dois Lemas, O primeiro deles estabelece o seguinte:
Lema 4.1.3 SeJa (x. t) = U (t) u
0
(x) a nica soluo do PVI (4,4), dada pelo Lema
anterior, Ento, para cada h E NU {O} valem:
(i)
onde Uh (t) v
0
a soluo do PVI
)33cv+A(x)lxu+A0 (x)
v (x, O)= v
0
(x), x, tE lR
e os Ai (x) (i= O, 1, 2) so combinaes lineares de 3IB (x) para j
=0
O, L , h:
(li)
(iii)
4.1
onde c= c (
'
I
llsup [C
li
o
- ESTIMATIVAS LINEARES
o )
IILx. T), para j = 0,1, .... h
r li c:; c I: l!xia;;
il L1 i=O.l
j=0 .... ,5
oi I
onde c= c (l[x'a;.B (x)liL=. T), para i= O, 1 e j =O. L ... , 5.
80
Demonstrao: Para o item , basta diferenciar o sistema
a. x e utilizar o fato que
o
a nica soluo de
h vezes com respeito
O caso h= O
bvio, com ."b = B
Quando h = 1 derivando com respeito a x e denotando por
ou seja,
{
8, (a, 11) +a; (ax 11) + axB ax (ax
ax (x,O)=ax11o , x,tE
{
a, v+ a1v +Ar (x) ax 1J +ih (x) a;11 =o
ax u (x, O) =v (x, O), x, t E IH:
onde Ar (x) = axB (x) e A2 (x) B (x).
Quando h = 2 denotando por
C))-+ b
:= u; u o temos
:=a,. obtemos
=0
{
a, (a;11) a ~ W;11) + a;B (x) a;11 + 2axB (x) ax (o;u) + B (x) a; (a;11) =O
o;u (x,O) = a;'11
0
(x) = x,t E lR,
isto ,
{
a, + ~ ? J +Ao (x) 71+ Ar (x) ax 11 + A
2
(x)8;11 =O
a,;'11 (x, 0) = (x, 0), x, t E 1Ft
onde Ao (x) = a;B (x), Ar (x) = 28xB (x) e A
2
(x) = B (x). Por induo, temos a concluso
do item (i).
Para o item (ii), vamos supor primeiro que h= O. Definindo 11 (x, t) = xU (t)
0
(x) e
usando o PVI ( 4.4) temos que 71 ( x, t) resolve o PVI
{
a,
-+(I-+('
v ,x,0
1
=xu
0
X), x,tER.
+ ~ 1 1 = [-xB (x) + 3] a;u (t) 11 o (x)
SUPER-KDV 81
Considerando agora h= 1 e definindo
1
(x, t) := xoxU (t)
0
(x) = xU
1
(t) Ox u
0
(x) (pelo
iten1 anterior) te1nos que t) resolve o
Por induo.
que h
t)
Portanto.
h
. O)=
) + 31
X. tE
h E l\l. definindo h , t) := u
o
o
"3 -:-1 _ : B
hTUxCh-L-X
, 31 "2r- ( ) e>h.,-"
T JUxUh t Ux U.o
{
o,
1J h (x. 0) = (x), x. tE
_,(x)) -l
..
\L- + 3] a;r.Jn
o
ten1os
o (x))
onde W (t) t: (x) a soluo da KdV linear com data inicial
da energia para o grupo {VF ( t)} obtemos
Usando agora a conservao
llv\ (x, t)ilvpL;' :s; 11 (t) (xl)ilqn;'
+ fT IIW (t- n [-xB (x) + 3]o;uh (t') u o (x)) t=u dt'
lo T x
:s; c]]xa;uo(xJIIL' +c ( 11-xB(x) +3llv;" ]]o;uh(t') dt'
- Jo
:s; c (x)]]Li + cT 11-xB (x) + 3IIL-;c
(x)]]Li
:S c (xJ]IL; + 11 no (x)IIHh+').
onde c= c (T, lixE (x)IILi').
Para o item (iii), procedemos como na primeira parte do Lema 3.Ll, do captulo anterior.
Observe que pelo Teorema do Valor '\Idio para integrais de Bochner existe t
0
E (0, T) , tal
que
U(to)uo= 1x U(t)uodt.
Usando o Teorema Fundamental do Clculo podemos escrever,
U (t) o = U (to)
4.1
Portanto,
lU
oi + {T
lo
o] I
Integrando em x. usando o Teorema de e o que U
0
a .soluo
obtenos
iU oi < lU o!
+c J'x iJ3U
-x x
Oj
+cfr{ Lxx IB
8
2
U (t)
0
1, dxdt .
. T \ '
Agora, para estimar cada termo do segundo membro acima usamos a desigualdade
e o item deste Lema para obtermos
:S c (IIU (t) + ilxU
+c (t) u + (t)
82
+c (IIB (x)llqc Jj8;u (t) 11oj/Lf'L + llxB (x)llu;" //o;u (t) oi/Lf'Ll.)
:S c(j[11ollw + llx11ollul +c (ll11ollw +
+c (IIB +lixE iluoiiH'
:S c (1111 oi[H, + o//L,)
<c '\:""""' lilx'oi
- L...t I X
i=O,l
j=0, ... ,5
onde c= c ( T.jjxi8IB (x) li , (i = O, 1 e j = O, L . , 5).
Vale observar que a penltima desigualdade acima mais fina, contudo precisamos uti-
lizar esta ltima, veja (4.56)-(4.59). Avisamos tambm que na demonstrao anterior j
utilizamos a conservao da norma H
5
para U (t) 11
0
, que ser provada no prximo Lema.
Conforme veremos, tal propriedade s depende dos itens (i)-(ii) do Lema anterior (que j
foram provados) e das propriedades do grupo da KdV. Destacamos ainda que este ltimo
Lema tambm vlido para a soluo w (x, t) = U (t) w
0
(x) de (4.10) onde
4 LOCAL COM u.,.,.vv INICIAL
.U
o
U(t)Dx o
Para completar a demonstrao da Proposio 4.1. L provaremos agora os efeitos regu-
larizantes (i)-(v) para a soluo
seguinte Lema:
t) = u (t) (x) de (4.10). Neste sentido. temos o
Lema 4.1.4 Seya t) = U(t) ) uma soluo de 1 O), dada pelo Lema 4
Ento valem as propriedades (v) da Proposio 4.1.1 para tal soluo.
Demonstrao: ::\as demonstraes a seguir, faremos uso com naturalidade dos efeitos
regularizantes do grupo da KdV e dos lemas anteriores. Para o item (ii), com a= O, temos
]\oxU (t) v:;o :S \\8xW (t) v:;o
( 4.18)
+ 1\ax [ n (t- t') H (x) DxU (t) w
0
(x)
+ [\ax lt. W (t- t') D (x) U (t) w
0
(x) dt'li
o
::; c l\w
0
(x)\\Li +c [\\H (x) 8xU (t) w
0
(x)\\L;, dt
+ cj
7
1\D (x) U (t) W
0
(x)I\E dt
o
:S c \\w
0
(x)\\u + IIH (x)llo \\DxU (t) W
0
(x)\\LxL'
X X T
+ cr IID (x)IILi" \\U (t) W
0

4.1 -ESTIMATIVAS LINEARES
Agora,
Escolhendo r pequeno. T
obtemos
<
w
!:
T
W(t -
H
d(l!
li L?=
+
..
'"
D )
G" a,
\I
-
dt'
:Sei! IE+c rijH(x)BxU(t)
Jo
+c [ jjD(x)U(t)w
0
i[qdt
:s; c n
+ ll
p
( t)
+cT
T
(x)[\
0
, '1!D \\Lo), e substituindo
j[BxU (t) v:;o :S c (1/H (xJilo iiD (x)IILgc) [[w
0
(xJIIo
Levando este resultado em (4.19) temos que
I lU (tJ
dt
19) em
84
19)
(4.20)
( 4.21)
Portanto, est provado (i) e (ii) para u = O. Tomando agora u = 1 e usando o item (i) do
lema anterior obtemos
j]8x (8xU (t) W
0
(x)) /[LgcL; = jJ8xU, (t) Bx W
0
(4.22)
:S [/Bxw
0
(x)j[
0
:S: c (xJIIo (x)[[Lgc) [jwo (xlllr
para i =O, l.
Analogamente,
(4.23)
para i =O, 1. Uma prova por induo fornece (i) e (ii) para todo u 2: 1.
4
PARA A EQUAO SUPER-KDV 85
Para o item (iii) tomando inicialmente a = O e procedendo como no Teorema 3.5 em
[KPV3] L3.2 - Preliminares) precisamos mostrar apenas que
::; c !I
'
!'
que exatamente a verso dual de (4.21). Considerando a= 1 e usando o item (i) do Lema
anterior podemos escrever
i
[)"i[)
.L I X
L
l'sando agora o passo inicial (a= O) temos que
Por induo. para um a E N, qualquer prova-se que
d(
lr Ox 1' U (t- t') g (-, t') dt'] I' I ::; csup .

O 'L=L2 h<ry T
,I T x -
Para o item (iv) utilizaremos novamente os argumentos utilizados acima. Quando a= O
temos
4.1 86
r
(t-t' -s) \H(x)oxU(s-
'
~
f
(t-t'- [D U
(()li\
L goL}
r I ......-;.
3xf.; (s - t) f I
I L1L}
(t')l'l . dt'
I LiL}
:S clj7jl.,.
2
+c\IH(x)ll
Lxj_,T
1r jjoxU (s) U ( -t') f (t') j
I
'D(.)jl lrl,.!)'"( , , ~ f . ) l l
+C i X ,L' \V ,s u -t} (t 1.1
X o i i,L,iL}
11--+11 -+I I'
:Scllf
1
"+cT\\H(x)\lu f . +cTjjD(x)llu I
i LlLy X L_i,Ly X i
11 11
<c! ' .
- I I'L'L
2
X T
onde c= c (r, \\H (x)\\L, \\D (x)IIL;,). Conclumos a demonstrao para a E N qualquer
usando um argumento de induo e os resultados j estabelecidos.
Por fim, para estimar a funo maximal fazemos uso do Lema (3.29) em [KPV3] para
obter
[]U <
<
SUPER-KDV
li
!i
( t)
\ \
I "T
+
l}o
(t
c
j i l
+c ri[H
lo
'i
!
-
[H
0 T'
Oxv
'lt dt +c
"
:S c [[w
0
(x)[[
1
IIH (x) ilxU (t)
+cT[ID(x)U
:Se
+ CT li
11 '
ill --:-
iiL;c' U (t)

'' l
INICIAL QU
D
r r
!i d"
i i 1 -L
87
onde c= c (T. (x)IIL;co li L:?) . A demonstrao para o caso u 2: L segue-se
por induo com o uso do item (i) do Lema 4.1.2. 1111
Finalmente, para conciuir a demonstrao da Proposio 4. 1.1 resta estabelecer os efeitos
regularizantes para a soluo U: (x, t) = U (t) U:
0
(x) de (4.4). Isto imediato pois, como
bem sabemos, U: (x, t) a primeira coordenada da tripla
w (x, t) = (U (t) (x), U (t) (x), U (t) wg (x))
= (U(t) o(x), U(t)ox o(x), U(t)M(x)o;U:
0
(x)),
que soluo de (4.10). Portanto est completa a demonstrao da Proposio 4.1.1. 1111
Com o auxlio dos resultados anteriores, estabeleceremos agora as estimativas necessrias
para provar o Teorema 4.0.1.
Conforme j vimos, o sistema (4.1) pode ser reescrito corno
4.2 A 88
{
+ +B
+
o
X, tE
+C =
e sua vers.o integral
t) = u
o+
c (t-
{
) - B
Provaremos o Teorema 4.0.1 apenas o caso paras= 15, que corresponde ao ndice de Sobolev
mais baixo. demonstrao para o caso geral (s 2: 16 inteiro) anloga. veja observao
finaL
onde =
e seJa
. Definamos as nonnas:
T I ~ 1'--0'1
* f-ll \ u = !I u; I:L'pH;s:
.. f l ~ (w) = sup llu;+l
h:S:15
e un1a
!!
li .
IIL=L
2
'
x T
" Ax (w) = max_ fli (w) .
t=l, .. .,;)
Consideremos tambm os espaos de Banach
yx = {w E C ([O,T]; X
15
); Ax(w) < oo},
X
e YT(a) = {w E yx Ax(W) :S: a com W(x,O) = 11o(x)}
e o operador ao sobre yx dado por
4 BOA

o-r
F f {
r;\t-T) -B
Conforme o Corolrio 1.1.3 se
0
E H
15
ento
0
E H
15
) i't L
1
Proposio 4. L L conclumos que t) = u
os efeitos regularizantes Consequentemente yr i 0.
estimativas a seguir fica claro a necessidade de trabalharmos nos espaos de Sobolev
com peso, onde utilizaremos o Lema 4. 1.3. Isto ocorre justamente quando precisamos estimar
a norma L
1
(IR) da funo maximal supio.r] ]8,U (t) 11 oi- Nos prximos Lemas, vamos estimar
( \jJ ( u)) . (i = L 2 .... , 5) . em funo de Ar . tais estimativas praticamente provam o
nossas hipteses so
o E e
EYT
A exemplo do que fizemos no captulo anterior trabalharemos com a norma
+
que equivalente a norma usual e controlaremos a norma de qualquer coordenada do vetor
vJ = (u.z) pela norma do vetor vJ. Por fim, relembramos que afirmar vJ = (w,z) E X
significa dizer que w E X, z E X e 111ifllx = llwllx + l!zllx, onde X um espao de Banach
qualquer.
Lema 4.2.1
.ui (\li (vJ))
:S:: c 1/11 oiiH'' + cT,uf (vJ) ,uf (vJ) + cT1 [.uT (1if)]
2
+ (.uT (vJ) + 1111 o\IH15) .uT (vJ)
+ cT! (,ui (1if) + il11o\lws) ,uf (vJ) + cT (llvoi\H; +.ui ( wl) ,u"[ (vJ) + cT [,ui (1if)]
2
:S:: c li u oi IH''+ c ( T + y!) [(Ar Ci)) + 1111 ollwsl Ar (ui).
Demonstrao: Neste Lema faremos uso da desigualdade de Hi:ilder e dos itens (i) e
(iii) da Proposio 4.1.1. Como
ento, por ( 4.28) temos para a derivada mais alta:
4.2
\i,
i!
<
o\\
+ u (t- c
<c li
- .
,
1
, 11
0
]4
o i HlS T c li :r
<I'
- d l
i J;:'
.
m+n=l4
A
ur,t-T\{
. \
-B
L'
T
:=c 11 oiiH15 +c L Imn +c L lm.n +c L Kmn
m+n=14 m+n=l4 m+n=l4
90
Vamos analisar separadamente os trs ltimos termos da desigualdade acima. Na verdade,
o ltimo termo controla-se da mesma forma que o terceiro. Para cada um destes. vamos
considerar trs casos. Temos para o primeiro termo:
IQ Caso: Se O::::; m::::; 3 e n > lL ento
Im.n =[[;' (z- vo)

( 4.30)
::::; c max ll;' (z- v0 )JIL'L= max [J;+
2
zjJL=L'
m=D,L2,3 x T ll<n:s;l4 'x T
Vale observar que para estimar I! ;' (z-
primeiro usamos o Teorema Fundamental

do Clculo para escrever
;' (z- vo) =[ar [J;' (z- v
0
) (T)] dT. ( 4.31)
4 BOA '-''-'.lc'JviH<l''-'-' COM DADO INICIAL
Em seguida, a desigualdade de Holder para obter
!l8m
il X
2Q Caso: Se 1 :S m :S 13 e O < n :S 11. ento
l
:S cT2 max
l:Sm:Sl3
3Q Caso: Sem= 14 e n =O, ento
(z-
114 o =

(z- vo) (3;z) !IL
1
L}
l
< T" li Cl4 I - , )\1 I' Cl2,'
-C - ilux \
2 0
0 :LOLT l[u:r--IILiLT
l
:S cT2 (ILT (cu:T) + 1111 o li JL{ (w).
dT dx
Das desigualdades (4.30), (4.33) e (4.34) segue-se que, V m + n = 14 vale
l
Im.n :S cTJLT(W) JL[ (cu:T) + cT2(JLf (w) + il ollws) /L f(
l
+cT2 (JLT ( w) + 11 ol1H1s) JL[ (w).
Para o termo Jm.n temos:
lQ Caso: Se m = 13, 14 e n =O. 1 ou m =O. 1 e n = 13, 14 temos
J - '\ ("m+l-t) ("n+l-t) \I
m,n .- i ux u; ux 'U.i iLlL2
x T
< cT max \'3 3m+l
- m=O,l I t- x
91
(4.34)
(4.3.5)
( 4.36)
4.2 A
2 Caso: Se O :S m. n :S 12 temos
I'
='I
<
-+)
u .
\ X
max li
0:S:m:Sl2'
De (4.36)-( 4.37) temos que V m + n = 14 vale
iten1
:S IIU(t)uo\',L=L' + f'IIU(t-T){ (uT)-B(x)]o;w +C}(TJIIL=udT
T x }
0
T X
S c liuoiiLg + c [11 {[A (w)- B (x)] o;w +C} (T)j\Lg dT
:Scil ollr;+ cTjj{[A(w)-B(x)]o;w+C}(TJIIr;prg
:' c (ju oliri + cT lj (z- vo) o;zjjL=L' + cT l1' (3x W)
2
11'
I T X !
:S c iiu oi lu + cT (li
X
Colecionando agora as estimativas (4.29), (4.35), (4.38) e (4.39) temos o Lema.
Lema 4.2.2
/Lr ('i' (w)) < c li oiiH'' + (11I (W) + ii oiiH") 11r (w)
(!Lr (w) + !lu oi IH'') 11I (w) + 11r (w) 11I (w)
92
( 4.39)
< c iluo!IH'' + (AT + il o!IHls) AT (w) + (w)]
2
.
4
Demonstrao: Para estimar
= sup 11
h::;l5
vamos considerar apenas o caso h = 15, que corresponde a derivada mais alta, Temos
''a16r' ( ) 11
::; li X L' t
. x T
+ 1Ja;
6
[ U(t -T) {
'i
""11
li
{
2
a, u (t-
{ -B a
2c-+ , C}
,TV) I '
oiiH15+cJJa;" B )a;u
+c JJa;" [(.4 (w)- B (x)) a;w (t) +c (t)] llv}Li
lllioiiHl5 +c 11a;
4
[(A (w) B (x)) a;w (t) +c (t)] IILbL}
+ 1Jo;
4
[(A ( w)- B (x)) a;w (t) +c
L IJa;(z-vo)B;"'
2
zllvL' +cJJa;"c(t)Jiuu
x T T
m+n=14
l
+cT2
(z- vo) a;+
2
zi1L;L} + L li C (t)IIL;L}
m+n=14 m+n=l4
11 "'m ( , \ "'n+2 _ il -" Ji CJ14C rt) 11
llux z- Vo; ux "'"":iLlL:L I c lux \ livL2r.
X X X
m+n=14
l
+ cT2
m+n=14 m+n=l4
93
onde utilizamos as estimativas (iii) e (v) da Proposio 4,Ll e a desigualdade de HiildeL
Observe agora que na desigualdade acima precisamos estimar apenas os dois ltimos termos,
pois na estimativa de 11f (\li (w)) j apareceram os demais, Estimaremos portanto
J
,_!'Iam(- Oi) (an+2-) 11 e K ._ 11 (am+lc;;t) (an+lc;;T\ 11
m,n .- i x
4
- '-'0 x ,:. i I Li L} m,n .- ! x u..- x u.:) I LiL}
Para cada termo acima vamos considerar dois casos, Ternos para o primeiro termo:
I' Caso: Se m 13 e O< n 14, ento
4.2
De e
<c max
- o:s;m:Sl3
A
li
-r i! o
Se m_. = 14 e n =O. ento
)
. segue-se que 7 m + n = 14 te1nos
INTEGRAL
+ 11 o
Para o termo Km.n temos:
12 Caso: Se O :5 m :5 12 e 1 < n :5 14. ento
K
< ma- llJm+l.,.-! li llJn+l
m.n - c X I X u; IL2LOC max X
O::::;m.s;_12 x T l<nS:l4 '!
2Q Caso: Se m = 13, 14 e n = O, 1. ento
De (4.44) e (4.45) temos que V m + n = 14 vale
A demonstrao do Lema segue-se das estimativas (4.40), (4.43) e (4.46).
94
( 4 4 ?'
\ - -)
( 4.44)
( 4.45)
(4.46)
Lema 4.2.3
) < cl
- I
+ ii o
Lll
+cT
Para estimar
DADO INICIAL
+
+ cT ( (1J:!) + 11 ol!x, .
11
)\

T
1
vamos tratar inicialmente o caso i= 1 e h= O, que corresponde a analisar JJsup
10
.
11
Observe que
l'J .T. (---!)I'
ii ~ 1L IL1LT
I' t I
::; I[8,U (t) oliL1Ly + 1118,1 u (t- T) [A (w)- B (x)] a;w (T) dT
i O LlL::'?
1
1
1 1' I'
+18
1
U(t-r)C(r)drjl .
I o !LlLJ?
Usando o Teorema Fundamental do Clculo, podemos escrever
a,[u (t- r) [A (w)- B (x)J a;w (r) dr = (w)- B (x)] a;:u:t (t)
95
2
I
( 4.47)
( 4.48)
+ [a,u(t-r)[A(w)-B(x)]a;w(r)dr
e
8, lU (t- r) C (w, 8x w) (r) dr = C (w, 8x w) (t) + l a,U (t- r) C (w, 8x w) (r) dr.
( 4.49)
Do problema linear ( 4.4) temos que
a,u (t) uo =- (a;u (t) ua + B (x) a;u (t) o). ( 4.50)
Portanto, levando (4.50) em (4.48) e (4.49), obtemos
4.2 A INTEGRAL 96
(t- <) -B
t-
..
) - B
B
c (t-
-B
e
C
r-:-+ a ' 't'
\W, X ji
1
)
a;u (t- c )
a;u (t- c
Substituindo (4.50), (4.51) e (4.-52) em (4.47) obtemos
l
a w r-:-+, 'I
i t \ U') I LLT
( 4.53)
:"::c (Jja;u (t) li o+ B (x) a;u (t) v
+c li [A. (w) - B (x )la; uJ li Ll L= +c li C ( 1L'' ax w) IILlL=
' J I X T ' ' X T
+c 11 (t- <)[A (w)- B (x)J a;-w (<) d'li'
d}O i Li:L'f
+c [I' f'B (x) (t- <)[A ( w)- B (x)]fJ;w (t) d,!/
lo liuL=
x T
+c/'ll f' {a;u(t-<)C(w.axw)(<)+B(x)fJ;u(t-<)C(zr,axw)(<)}d<[l_ .
lo LiLf'
Fazendo uso dos itens (i) e (iii) do Lema 4.1.3 temos que
lla
3rr (t)--+ ij -'I" (t) "
3
--" jl
xv UoiL}Ly-LG3 uxuoL}LT
<c '""' li'xiJ1.+317 '1.
- L....t x 01 Li
i=O.l
j=0, ... ,5
=c L
i=.l
j=0 ... .,8
( 4.54)
4 BOA DADO INICIAL
e
Assim.
j=O,l, .. ,8
<_ cT '\""'
1
j Ti
LA I ..v ux
:S cT
i=O.l
J=O,l .... 8
i=O,l
... 8
i=O,l
j=O, ,,c
=co L D!
=O.l
j=O. '
dT
(t) !Ir; dt
l
t (t- T) C (T)vL= dT :S clT
Q x T
i=O.l
j=O,l. ... 7
:s; cT
i=O.l
m+n=j=O . ... 7
O,
Para o termo
ij'4 (-+) B ( )]
0
2-+j1 1jr , "
I
u: - ,X x 1.D i -lLoc = ! lz- Voj uxZI!L'L='
ILx T I ,I x T
97
( 4.57)
em (4.53), utilizamos a desigualdade de Holder, o Lema de Imerso de Sobolev e (4.32) com
m = O para obter:
4.2 A
sup
[o .r;
INTEGRAL
< sup lz- vol sup zl dx
:S supsup I
fO,T: X
:S cT
< cTWW
- !i
[O.T]
, .I
sup JZ- v
0
98
posse das estin1ativas acin1a retornemos agora a desigualdade
( 4.56)-( 4.58) obtemos
Aps substituir
"3 T
li t'i: W)IL1LT
i=O.l
j=0.1.. ... 8
i=O.l
]=0.1.. .. ,8
' T '1_,1' 1
1
8 _,,1
' c i, 1)) ,I L= 1f3 \ tu: I L1 L?5'
T :z: x 1
i=O.l
j=O.l. ... 7
:S c ll1follx,, + cT11f (W) 11f (W) + cT (llf (w) + ll1foiiHs) 11f (W)
dt
+ cT (11J (w) + 1117 oiiH'(x'dx)) 11f (w) + cT [11f (w) r+ cT 11J (W) 11f (li').
( 4.59)
Os termos com derivadas superiores so estimados de forma semelhante ao que fizemos acima.
Por exemplo: para h 3 temos
3
3
r a u (t)
X [ t
Com isso,
o]=
=-
[B(x)B;U(t)U'o])
= (t) U'o- c I: (o;;'B (x))
(t) Li o).
m+n=3
(4.60)
li
(
'\
J;
oi I
LOCAL COM DADO INICIAL
= 11
<c
=C
i=O.l
)=0 .... 11
< cji
- '
o]
pelo itens (i) e (iii) do Lema 1.1.3,
a escolha do espao con1 peso H
11
Para o segundo tenno en1 ) quando m = 3 e n = O, por exemplo, temos
'' "3B [IUx (o;u (t) no) :S c i!a;B Jt;co i(Uz (t) a;uo!ILlL'f
:S c L oi I
i=O.l
j=0 .... ,5
=c L ll,x
1
aiu ollu
X
i=O.l
j=O, .. 7
'I_, I'
:S c I no lx,,,, '
onde utilizamos mais uma vez os itens (i) e (iii) do Lema 4,1.3, Portanto,
e
:S cT
[(z- va) a;zJ (tJIIu dt
X
i=O.l

i=O.l
m+n=j=O ... ,11
11
iCJm ( ) (,)li 'l'o:>n+2 (t)"
X ux Z- Vo ,t I L=L2 .lux Z iiL=L=
T X ' I T x
< T
(
T r->) , li_, I' ) T ,_,) , T ( T (__,) , I'-+ ,, ) T 1---+)
_c p
1
\ W ,- U o \Hll p
1
( w -r- c p
5
W I i U- oliHll(x2dx) /-1
1
\ W
99
( 4,62)
( 4,63)
4.2 A
(t- c <
< cT
<
Consequentemente.
i=0-1
j=O.l .... ll
r,r
I t-N'
' '
I!
100
li
li li
(4.65)
+
o
Finalmente. as estimativas do caso i = O para
11f (w (uT)) = max sup ( u')l
1.2.3 o Ti
i=O,l l ' '
\ T
) !1 i
L'
X
so facilmente controladas pelo que acabamos de fazer. Portanto. temos o Lema.
Lema 4.2.4
11I ('lf (uJ)):::; C l\1f o[\Hl4 + (uJ) 11r (uJ) + (w) +I lu oiiH14) 11I (w)
+ (11I (w) + il1i ollw,) (w)
:::; c 1117 o li H'' + [Ar (w)f + (Ar (w) + 111i oiiH14) Ar (w).
!lr (w (w)) = sup l[sup (w)rl
1
1
h:s;1311[0,T] IL2
X
basta ver o caso h = 13, que corresponde a analisar 11a;
3
w (w) Temos ento.
111
4 BOA Y\..JUU\__,ft'y.f'V
::; c li
<c!!
- li
L: li
m+n=l4
-B
-B
'I
I,
i= cil
'
L lm.n + ~
m+n=l4
+
+
m.+n=l4
onde utilizamos a desigualdade de Holder e os itens (i) e
101
}
i i
]I L: L= dT
'' x T
J))
da Proposio 4.1.1. Para
estimar os termos acima procedemos como nos casos anteriores, onde dividimos a estimativa
de cada termo em dois casos. Para o termo lm.n temos1
1- Caso: Se O :S m :S 13 e O< n :S 14, ento
J
l
'm( '("n-'-2)1'
m,n := I x Z- Vo) ux Z iL2L2
' x T
pelo Lema 1.2.1 do captulo L
2- Caso: Sem= 14 e n =O, ento
De (4.67) e (4.68) temos que V m + n = 14 vale
J < (
T (_,) . '1--;. 'I ) T (--;.' ' ( T ,--,) . I'
m,n _ C 114 , W -r 1 U o i H'' 11
2
W) -r C 112 \ W. + I
Para o termo Km,n temos:
( 4.67)
( 4.68)
( 4.69)
4.2 A 102
lQ Caso: Se O :S: m :S: 12 e O :S: n :S: 12, ento
,.
:=I!
li
"
<c max liam+!
- O:S:m:S:l2 '
1
x
T T
:' Cf2 f4
2Q Caso: Sem= 13. 14 e n =O. 1 (ou m =O, 1 e n = 13, 14) ento
rnax llF
171
1iJII
n; ! X I
n=v,l
( 4 lll
, ,
<
De 70) e 71), segue-se que v m + n = 14 vale
F < T (_.' T -+)
I'!..m,n _ Cfl2 , W} f-1'4 \?.L'
( 4. 72)
Colecionando as estimativas (4.66), (4.69) e (4.72) temos o Lema. 111
Lema 4.2.5
PT (w (w)) :':: cil17ollx,,u + cT (f.JI (w) + ll17oiiH''(x'dxJ) pf (w)
+ cT (pf (w) + li u oiiHn) pf (W) + cT i'f (w) p{ (W) + cT [pf (W) ]
2
:':: c 1117 ollxl3ll + cT (Ar (w) + 1117 ollx,,
11
) Ar (w).
p{ (w (w)) = ma..x sup (w) li u
h::;::::Q,l, ... ,ll [,T] I X
vamos considerar apenas o caso h = 11 e analisar
(w)IIL', os demais casos so

X
semelhantes. Temos ento.
!i
i!
o
+
o
. 'I
i[
-B
+c lx { jjxa;
1
[(z- vo) a;z]ll
::_: c o , + cT jjxo;
1
+
I!
+cT
:=:; c !I oi ,+cT L
m+n=ll
+cT L
m+n=ll
i!
j
(
1
C!tijl_
\ i I +IIC
r 11 r
I li L= r:.+ c 11 L
'' T -x
zi_IL=L=
' T x
,2
i!vpH14
::.:c ll'iiollx
1311
+ cT (11I (w) +
11i (w)
il Ul3) dt
''
+ cT (11i ( w) + li 'li o llws) 11f (li') + cT 11i (w) 11I (w) + cT [pf (w) ]
2
,_, 11 . "T ( T ,_,) I'_, 'I ) T (_,)
::.: c li u o xl3.ll -r c Ps \11."' + "u oi Hll(x'dx) PJ 11."
+ cT (Pi (w) +li Li oliHl3) lli (w) + cT!Ji (w) PI (w) + cT [tli ( 11." )]
2
.
Observao: Na linha 9, da cadeia de desigualdades acima, fica claro porque trabalhar em
Hos (R).
Destacamos ainda que para estimar o termo
m+n=ll m+n=ll
dividimos em dois casos:
12 Caso: Se O ::_: m. n ::_: 10 temos
4.3
2Q Caso: Se m = O e n = 11 ou m = 11 e n = O. temos
<
Portanto.
m-+-n=ll
Logo, est provado o Lema.
i i
i!
li
!i T
11 < Cfl'
- v
4.0.1
\ _T
J flr
Lemas acrma permite-nos concluir que a aplicao W :
por
w"Jw) = u (t) o+ lu (t- {
est bem definida.
-B
104
111
dada
}
?\osso primeiro objetivo provar que existem T > O (dependendo da !iliollx,
5
.
11
de uma
maneira apropriada) e a= a (11 ollx,,
11
) > O tais que se w = (w,z) E yT (a), ento
Wcu
0
(w) := W (w) E yT (a) e W: yT (a) --+ yT (a) uma contrao. De posse dos Lemas
anteriores segue-se que
l\.y (w Cw))::; c llliollx,,n +c (r+ r1) l\.y (w) (Ay (w) + llliolix,,n)
::; cllliollx,
511
[AT(w)]
2
,
onde a constante c s depende das estimativas lineares.
Tomando
e escolhendo T verificando
:_,I'
a= 2c Lu
0
lx
" ' 15.11
(4.75)
( 4. 76)
4
4c (T + ) a< 1
segue-se que (W
Portanto w ) E ) o quando ) o
tim argumento semelhante mostra que para E yT (a), vale
(w (w)- w (?)]
(VJ-
'
por ( 4.7n Portanto o w Y' (a) --+ yr (a) uma contrao e com isso existe um nico
71 E yr tal que Wuo (11) (t) := W (u) (t) = u (t), ou seja,
ll(t)=U(t)
0
+ [u(t-r){[A(ll)-B(x)]a';ll+C(llaxn)}(r)dro
Alm disso, para T
0
E (O,T) e p E yr (a), com p (x, O)=
0
(x), vale
Aro (wuo (w)- W-p
0
C"P)) (479)
A (--+ -+
= ny
0
W- p)
< 1'-t -t 11
- C I U O - p O Xls,u
+c (To + T
0
~ (Aro (w) +Aro (p) + li
- --+ 11 )
O p Oi!Xls.u
:S cllllo- Pollxl51l + 4ac (To +Tn Aro (w- p)
e usando ( 4, 77) temos que
-+ ----7
(
-t -t,
w- p)
mostrando assim que a aplicao u
0
~ - - - + u, de U
0
em yT Lipschitz onde U
0
C X
15
,
11

uma vizinhana de
0
dependente de
4.3 4.0.1 106
Precisamos mostrar ainda que nossa soluo 11 = (u, v) nica na classe yT Come
j temes continuidade na classe C ( ) . resta ver na norma H
11
tanto. basta provar a continuidade em t = O, para a derivada alta. Temos ento.
(t\-
' '
0
,,, <
/!10 -
o-
U (t-
o)
{ +C
Para
Usando agora o 5 e tomando o UU.cl0e quando t 1 o+ temos o resultado. Conse-
quentememe a soluo forte de ( 4.1). A unicidade de soluo na classe C
prova-se de maneira semelhante ao que fizemos no captulo anterior.
Observao: A demonstrao do caso geral i1 E C ([O, T]: Hs (JR) n H
11
(x
2
dx)) (s 2: 16, sE
segue as dias utilizadas acima.
s no lugar de 15. : n1anter a terceira e quinta normas e redefinir
Logo, est provado c Teorema 4.0.1. 111
Deixamos claro que o Teorema 4.0.1 vale para o intervalo de tempo [-T, T] e, no con-
seguimos trabalhar nos espaos de Sobolev com ndice real por conta da definio da norma
em Hk (x
2
dx).
Corolrio 4.3.1 Com as hipteses do Teorema 4.0.1 temos que existe uma vizinhana V
---+ ---+ -....
de c/J E H
5
(IR) nH
11
(x
2
dx) (s 2: 15) tal que a aplicao 9 ,___, 11 (t), de V em yT suave.
Demonstrao: A demonstrao anloga a do Corolrio 3.3.1, basta considerar
e definir H:
F(11) =[A (11)- B (x)] o;11 + C(11, 8x11)
=((v- vo) fi;v + UOxU + (8xv)
2
, UOxV + vaxu)
X yT __, yT por
H (11
0
, V) (t) = Z
\ ( ~ d ~ )
} ' ) ' ,
COM INICIAL
SUPER-KDV 107
onde = (u,v). = ( w, z) e F como acima. Em seguida, verificamos que H Cu'
0
. u) = O.
H sua\e c Deu H : yT -+ yT invertYel para concluir o result2.do usando o Teorema da
Funo Impicita. 111
CAP ULO 5
M COLOCAAO PARA A EQUAAO
SUP
Nosso objetivo neste captulo mostrar que o PVI associado a equao super-KdV,
{
EJ,u + a';u + UOx u + a';v
2
= o
3
1
v + + Ox (uv) =O, x, tE lR:
u(x,O) = 'f(x), v(x,O) = 1/J(x).
(5.1)
mal posto nos espaos de Sobolev, X'= H' (!R:.) x H
5
(!R:.) se exigirmos que a
aplicao dado inicial-fluxo seja C
2
Frchet diferencivel, de xs para X
5
.\'ossa demonstrao
baseia-se nos trabalhos de Tzvetkov [Tz] e l\Iolinet, Saut and Tzvetkov [MST1]-[l\IST2].
onde esse tipo de estudo feito para as equaes KdV, BO e KP. A essncia destes trabalhos
consiste em produzir um contra-exemplo (escolher um dado inicial especial) onde falha a C
2
regularidade da aplicao dado-fluxo, veja tambm [B2]. Vale observar que a exigncia de
suavidade da aplicao dado-fluxo faz sentido, ver Corolrio 3.3.1.
Provaremos o seguinte Teorema.
Teorema 5.0.1 Suponha que s < Ento, no existe T > O tal que (5.1) admite uma
nica soluo local definida no intervalo [0, T] de modo que a aplicao
S, ('f, ?./;)-+ (u (t), v (t))
para (5.1). (tE [0, T]). seja de classe C
2
(Frchet diferencivel) na origem, de xs para xs.
108
5 PARA A SUPER-KDV 109
Um argumento tipo scaling, sugere que (S.l) no bem posto em X''= H' (IR:) x H
5
(IR:)
para todo r < e s < -1. com r. s E Portanto. nosso resultado acima amplia a regio
de m co.loc:ao para 1 ).
afirn1ao:
resolve 1) corn inicial
(5.2)
t) = com t::\
tambm resolve.
De fato, pelas caractersticas da parte linear em (5.1) e nosso resultado de boa colocao
local devemos ter
{
U;, (x, t) = X'u (x,
3
t).
v (x, t) = ilv (x,
3
t),
( > O),
( > O) .
Substituindo u (x, t) e v (x, t) em (5.1) e explorando a homogeneidade, chegamos que a e
3 devem satisfazer as relaes
ou seja, a= 2 e .3 se 11 = (u, v) resolve (5.1) ento 11 >. (x, t) = (u (x, t), V>. (x, t))
como em (5.2) tambm resolve, o que prova a afirmao.
Agora queremos saber quantas derivadas so permitidas para IIDr u (x, O) I lo e i!D
5
v.\ (x, O)
tornarem-se invariantes. Tomando a derivada homognea de ordem r e s em L
2
(IR:) . respec-
tivamente, para U)l e v obtemos:
5.1 5.0.1 110
r I' Dr
=A ' ! Uo
transforn1ada
Fourier) para escrever fi;\ = .\ U). Portanto, liDru.\ llo invariante
se 2r + 3 = O. ou seja, r = - Repetindo os clculos acima, para a coordenada L'.\. temos
que [[D
5
v.\ (x, 0)[1
0
invariante se s =-L
Observe ainda que a relao entre r e s dada por r- s = pois se exigirmos
1.\(D'u.dx.O), Dsv.\(x,O) 11 D'v.\(x,O)
= \Wuo + 11 Dsvo
l
'fDT r ) Ds (
= 1\ Uo\X. Vo ,X, IO
devemos ter 2r + .3 = 2s + 2, ou seja, r- s =
Passemos agora a demonstrao do Teorema 5.0.1.
!\ ossa demonstrao ser por contradio. De maneira semelhante ao que foi feito em [B2]
vamos considerar o problema de Cauchy
{
o u + o
3
u ' uEJ u + EJ
2
v
2
= O
t X T X X
EJ,v + + Ox (uv) =O. x, tE R
u(x,O)=r'P(x), v(x,O)=r'P(x),
--+ . .
onde r E R e 9 = ('P, p) E xs
(5.3)
Suponhamos que (u , L x), v h, t, x)) resolve (5,3) e que a aplicao
de en1 Frechet diferencivel na origem, Ternos que
'U , t. VF(t-T)
v , t, (.t
1
1
-e (x)- [' W (t- T) ,',
' \ / ' ' .-_,
J
( -
1
.- x'] d-
' ~ -) I ,
Com isso.
(t-
+
+ dT
e
(5.6)
Usando (5.5)-(5.6) e o fato que a aplicao S ~ y C
2
- Frchet diferencivel na origem obtemos
(5.7)
e
ou(O.t,x) "'() , ) ( )
O-( = vV t y \X := Ur t, X ,
(5.8)
De maneira similar, podemos definir
5.1 5.0.1 112
okr(O.Lx)
e uk
Levando em conta que u t. =c (0. t. = O podemos escrever formalmente a expanso
Taylor para u . t. e v . t, . em torno de '; = O. a saber:
u .t. := ;
1
H
1
(t.x) + + -lij
. 31 .
V . t .. X;\ :=
1
1
1
v
1
(t. ' 1' ('' + -"
3
('f + .
, I
2
! --2 _ >
31
V, , 1 1
u t.
-
--yul
+
-r o
t.
+
7
+
't' .- "'(Vl
;---v2
o
A hiptese de C
2
regularidade para a aplicao dado-fluxo produz
1
1
( l ( .211 .
1
.
1
12
jli2 t, '/), 'P) ,lir :SCI'PiI
/!vdt, ) (;:. ;:)
2
//J[. :S c
( 10'
j0. )
Vamos mostrar que estas desigualdades falham para uma escolha apropriada de ;:. Para
tanto escolhamos
'P (x) 1-,
1
N-s { exp ( -iNx) l' exp (ix) d + exp (iNx)

exp (ixE) d}, (5.11)
com arbitrariamente grande, 1 arbitrariamente pequeno e a relao entre e 1 estabe-
lecida a seguir. De (5.11) temos que
ip () =r -,
1
N-s {XI () + XJ ()}, (5.12)
onde I= [-N, e J = [N + 1, N + 21]. Portanto,
(5.13)
Para provar que (5.10) falha precisamos calcular n
2
(t.x) e v
2
(t, x). Temos o seguinte Lema
tcnico.
Lema 5.1.1 Com as notaes estabelecidas acima valem as identidades:
(i)
1 r'
=?j
- o
)y dT
=c exp
+
) j
,, }
Pro-varemos apenas o iten1
imediata deste. Usando as definies bsicas
Convoluo obtemos
pms o uma corJSetTJE!ncla
= [' [exp (i (i- T) e) (ox (H' (T) p)
2
(r dT
-lo
=c t exp (ix +i (t- T) e) [(W (T) '?/' * (W (T) :pn () ddT
lo f:a
=c l1 exp [ix +i (t- T) e] { [exp (iT (.)
3
) \)O] [exp (iT (/)\)C)] ()} ddT
- t -
=c r exp(ix+ite)\3(6)\)(-EJ)I r expiT[(-J)
3
+{-e]dTjdEJd
LJO
t l
=c r exp(ix+ite);J(EJ)p(-6) l r exp[-3iTJ(-!)]dTI dd
J
- r " (' -L t3) l ) [exp [-3it6 (- 6)] -1] dCdf'
-c I:rt exp zx, , z, sv cr ,, s1 _
3
EJ ( _ ) "'
onde utilizamos tambm a identidade
Portanto, est provado o item (i) e consequentemente temos o Lema.
De posse da representao de 0 () temos ento
1111
5.1 5.0.1
=c; -1
e
eLJ exp(ixE,+itJ) (E,+e) L,;)dE,d
1
JL;J
Consequentemente.
e
onde

) = exp (itJ) f . t, E,, E,.) dE,.
1 E!UJ

= C{-! JV-
2
s exp (itJ) { r <j) (x, t, . .) dE,.
JA;()
+r (x t,E,,E,.)dE,. +r (x,t,,i;J)dl}
J Az() JA,()
= 91 (t,x) + 92 (t,x) + 93 (t,x)
( (t, ) = C-l N-
2
s exp (itJ) ( + -2) j I':EIUJ (x. t, E,. J) d1
E,-f.llUJ
=q-
1
N-
23
exp(itJ)(E,+2){ r (x,tE,,6)dE,.
}AI ()
+r (x,t,E,,E,.)dE,l r (x,t,E,,6)d6}
J.4,() J .43(1',)
= 91 (t,x) + 92 (t,x) + 93 (t,x),
A1 () ={E,;; 6 E I e E,- 6 E I},
A2 () := {6; 6 E 1 e - 6 E J}.
A3 (E,):= {E,1; 6 Ele - 6 E J on 6 E J e - 6 E/}.
114
(5.15)
16)
(5.17)
(5.18)
5 PARA A
Denotando por f; := (gJ e f
1
:= (9; (j = L 2, 3), obtemos
+
e COD10 O sao a resulta que
i!v2(t,JliH' lih(t.
lln2(t )llii,
).1ostrcmos agora que a oeg,u11.ua desigualdade en1
!I
\ I i
")!i - f,
li ifs "_,
un1a cota inferior para e un1a cota superior para li
respecthamente.
115
19)
(5.20)
li
li i-JS .
Para estimar li.fr )IJii, observe que se (r E I e E
1
E I, ento ',j i- l
,Y. De fato. como +r ento
Portanto.
(5.21)
1
::; c (1-S-c-y IEI
23
(l'r-
1
N-
2
SE exp (ite) r _:'!> (t, X, E. u dEr
2
) dE)
2
-h ,
1
::; c IEI
2
' (

(L(o I dEr)
2
) d)
2
1
N-6!2) dE) 2
onde usamos os seguintes fatos:
lexp[-it8(.r)J-l
i 8(E,r)
5.1 DO TEOREMA 5.0.1
Analogamente, se 6 E J e - E J ento lt;rl j- l II e com isso
(
+ \ <
' ') i-1-
116
Agora. ,amos mostrar que para uma escolha apropriada de e ;- a principal contribuio
para a norma
Hs
1:2 por
e
c
-
.c
E !. ento
i

j- r

e

'-,l
"'r. De fato: para o caso (o outro
+ f e + "'Y :::; -
1
:::; + , ento

'-S-
Com isso. . Agora escolhendo e 1 verificando ;
= o ) ) te1nos que
i<l?
jtj jexp [-itB (, 6)]- lj
-
!t;3 (U1JI
(ti O)
1
iti [(sin tp (Ur))
2
+ (costp (t;.
1
)- 1)
2
]'
it<l (, 6)1
lti sin t8 (, ;r)
> ;:: cte,
jt6(,t;r)l
paratE(O,l]

> (13' 11 r 'q, (t, X, , 6) d!;r 2) d) i
1
1
;:: C (/3r [!2s ('!-2 N-4s_,/) l] d) 2
5 SUPER-KDV 117
onde utilizamos tambm o Lema 1.4.3 do Captulo L Da escolha '1. ~ resulta que
Portanto, de (5.13). (5.20) e (5.24) segue-se que
ou seja,
>
2: llh Jlifl' ~ 11!1
> \
c-4s-3 ~ -\--s-3
~ c c, '
Vamos dividir a anlise desta desigualdade em dois casos:
(5.26)
Caso 1: Se ~ 3 ::; s ::; ~ ~ ento ~ s ~ 3 < O e ~ 4 s ~ 3 > O. Consequentemente,
N-
4
s-
3
::; c, que um absurdo para > > L
Caso 2: Se s < ~ 3 ento ~ s ~ 3 > O e N-s-
3
> L Da, N-
4
s-
3
:0:: c (N-s-
3
), ou seja,
l\'-
35
::; c, que novamente um absurdo para
>> 1.
(II) Vejamos agora que a primeira desigualdade em (5.10) tambm falsa para nossas
escolhas.
De posse da representao de u
2
( t, x) e u
2
( t, ) e utilizando os argumentos acima vamos
analisar a segunda desigualdade em (5.20). Inicialmente, vamos fornecer uma cota superior
para 1
1
l
1
h (t )j
1
l e []; (t, )J .. Temos ento,
IH
5
I H
3
5.1
)
if
Se
- 12
D
5
(t. J! d}
I /
Se
2s -]
Se
onde utilizamos o fato que I .+ (1
2
S
Analogamente,
2\
)
exp ( it3)
1
1
1' h (t. l/1. S cr1 !V-s-I
IW
Uma cota inferior para \/h (t, l\/if. dada por
5.0.1
. pois l.l
l
2
118
>> l.
(5.28)
/
Ih (t, )1'1 (5.29)
i 1-1 s

- ,2
?: c
1
Ds3 (t, )j d
1
?: c (['it.l
28
(l-] N-Zs (.+ 1) exp (it3) L c o <f> (t, X, , 6) df.J n d)
2
?: c([' 112s (t,x,.E.J)df.Jr) d)
(1
3-y ) i
?: c . 12s ( '1-2 N-4sr2) d
?: C ['!2s ( -2 N-4s/) '12] d)
5 M SUPER-KDV 119
onde usamos IEIIE +li 2: lEI (1 -lEI) 2: c lEI (veja que lEI com O<-:<< 1) e o Lema
1 captulo 1.
Usando novan1ente a escolha ,_,- '-""' _ obtemos

i! J 1
)
1!;
!ii-
<

<
h
)
li
11i-
< 

>
o) li
il lii-
Portanto, de (5-13), (,5,20) e (5,30) resulta que

>
2: i ih (t li I o o- li]';
li IIH' il
2: cs-4s-3-
ou seja,
( 5,32)
A exemplo do que fizemos antes, dividimos a anlise desta desigualdade em dois casos:
Caso 1: Se -2 ::; s ::; ento -s - 2 ::; O e -4s - 3 > O, Consequentemente,
::; c, que um absurdo para
>> 1.
Caso 2: Se s < -2, ento -s- 2 > O e N-s-z > L Da, N-
4
'-
3
< cN-s-
2
, ou seJa,
N-3s-l::; N-
3
s::; c, que novamente um absurdo para N >> 1.
Observao: Se em (,5,29) usarmos a estimativa IEIIE +li 2: c IEI
2
obtemos em (5,30)
(5.33)
Consequentemente temos
rv-4s-5 < (1 rv-s-2)
- _c +- ,
(5.34)
que indica m colocao paras< ento nosso resultado no altera.
Logo, paras < a aplicao
_, .
s, : C/J r-+ v: (t)'
de ie em j(S. no C
2
- Frchet diferencivel na origem e est provado o Teorema 5.0.1. 1111

REFERENCIAS B GRFICAS
R. Adams, Sobolev Spaces, York - San Francisco - London< (1975)<
[ ABS] J< P Albert< J< L< Bona and C< Saut, ?llodel equations for waves in stratified
fiuids, Proc R Soe< Lond< A, voL 453, (1967), pp< 1233-1260<
[ An] J< P< Angulo, O problema de Cauchy para um sitema dispersivo de ondas longas, Tese
de Doutorado apresentada no Impa, Srie F-076- Dezembro, (1994)<
[Ar] C. R Argento, O problema de Cauchy para a equao Kuramoto-Velarde generalizada
com disperso, Tese de Doutorado apresentada no Impa, Srie F-100-Fevereiro, (1998)<
[ B1] J< Bourgain, Fourier transform restriction phenomena for certain lattice subsets and
application to nonlinear evolution equations IL The KdV equation, Geom< Funct. AnaL,
voL 3, (1993), pp< 209-262<
[ B2] J < Bourgain, Periodic Korteweg de Vries equation with mensures as initial data, Selecta
Math< New< Ser. voL3, (1997), pp. 115-159<
[ B3] J < Bourgain, On the compactness o f the support o f solutions o f dispersivo equations,
IMRN International Mathematics Research Notices, voL 9, (1997), pp< 437-447<
[ CRGj A. S< Carstea, A. Ramani and B. Grammaticos, Constructing the soliton solutions
for the N = 1 supersymmetric KdV hierarchy, Nonlinearity, voL 14, (2001), pp< 1419-
1423<
120
121
[ DC] l\L Dresden and S. Chen, Solitons. Gauge Theories and the "Great Einstein The-
orem". Physica 83A (1976). pp. 01-17
G. B. Folland. Real
Interscience Publication. (1984).
J.
Techniques and
t.he equation. Physical Rewiew Letters.
Applications. A
. pp. 1095-1097.
[ HO] I\. Hayashi and Ozawa, On the derivativa nonlinear Schrodinger equation. Phys.
D, vol. 55, (1992), pp. 14-36.
R. Hirota and J. Satsuma, Soliton solutions o f coupled Korteweg-de Vries equation,
n 9 i
15. \ . pp.
[ Il] R. J. Irio. On the Cauchv problem for the Benjamin-Ono equation, Comm. P.D.E
voLlL (1986), pp. 1031-1081.
[ 12] R. J. Irio, KdV, BO and friends in weighted Sobolev spaces, Functional Analytic
:\Iethods for P.D.E, Lecture l\otes in Math.1450, (1990), pp. 104-121.
R. J. Irio e W. V. L. :\unes, Introduo s Equaes de Evoluo l\o Lineares, 18Q
Colquio Brasileiro de Matemtica, I?IIPA/CNPq, (1991).
[ Kl] T. Kato, On the Korteweg-de Vries equations, :\1anuscripta :VIath. vol. 28, (1979), pp.
89-99
[ K2] T. Kato, On the Cauchy Problem for the (generalized) Korteweg-de Vries Equation,
Advances in Mathematics Supplementary Studies, Studies in Applied Math., vol. 8,
(1983), pp. 93-128
[ KF] T. Kato e H. Fujita, On the non-stationay I\avier-Stokes system, Red. Sem. Math.
Uni. Padova, vol. 32, (1962). pp. 243-260.
[ KM] Kato and Y. Masuda, l\ onlinear evolution equations and analyticity I, Ann. Inst.
Henri Poincar, vol. 3, N. 6, (1986), pp. 455-467.
[ KO] S. Kichenassamy and P. J. Olver, Existence and non-existence of solitary waves so-
lutions to higher order model evolution equations, Siam J. Math. Anal. vol.23, N. 5,
(1992), pp. 1141-1166.
122
[ Kpl] B. Kupershmidt, On the nature of Gardner transformation, J. Math. Phys. voL22,
I\. 3. (1981), pp. 449-451.
' IT ?' B
l \_P-1
Kupershmidt. A Super Korteweg-de
Physics Letters, voL l02A, I\. 5 .. 6, (1984), pp.
Kato e G. Ponce. Commutator estimates and
equation: An integrable system,
Comm. Pure AppL .vwcuL voL 41. (
' pp. 891-907
[ KPVl] C. Kenig, Ponce e Vega, Well-posedness of the initial value problem for
the Korteweg-de Vries equation, J. Amer.Math. Soe. voL 4, (1991), pp. 323-347.
C. Kenig, G. Ponce e Vega, Oscillatory integrais and regularity dispersivo
J.. voL (1991), pp. 33-69.
[ KPV3] C Kenig. G. Ponce e L. Well-Posedness and scattering results for
generalized Korteweg-de Vres equation via Contraction Principie, Comm. Pure AppL
Math., voL 46, (1993), pp. 527-620.
[ KPV4] C. E. Kenig, G. Ponce e L. Vega, Small solutions to nonlinear Schrodinger equati-
ons. Ann. inst. Henri Poncar, analyse non linares, voL 10, (1993), pp. 255-288.
[ KPV5] C. E. Kenig, G. Ponce e Vega, Higher order non-linear dispersivo equations,
Proc. Amer. Math. Soe. voL122, (1994), pp. 157-166.
[ KPV6] C. E. Kenig, Ponce G. and Vega L, A bilinear estimate with applications to the
KdV equatons, J. Amer. Math. Soe., voL 9, (1996), pp. 573-603.
[ KPV7] C. E. Kenig , G. Ponce and L. Vega, On the ill-posedness of some canonical dis-
persive equations, Duke Mathematical Journal, voL 106, N. 3, (2000), pp. 617-633.
[ KPV8] C. E. Kenig, G. Ponce and L Vega, On the support of solutions to the generalized
KdV equation, Ann. L H. Poincare, voL 19, N. 2, (2002), pp. 191-208.
[ KS] C. Kenig e G. Staffilani, Local well-posedness for higher order nonlinear dispersive
systems, The Journal of Fourier Analysis and Applcations, voL 3, N. 4, (1997),
P. D. Lax, Integrais of nonlinear equations of evolution and solitary waves, Comm. Pure
Appl. Math. voL 21, (1965), pp. 467-490.
123
[La] S. Lang, Analisvs IL Columbia University, (1969).
::.Iolinet. J. Saut :\. Tzvetkov, Weli-Posedeness and ill-posedness
KadomtseY-PetYiashvi-I equation. Duke ::.Iathematical JournaL vol. 1 :\. 2 .
. pp. 353-385.
'Vlolinet. J. C. Saut :-\. Tzvetkm. Ill-Posedness issues Benjamin-Ono
and reated equations, Siam. J. :\. 4. . pp. 982-988 .
fORl
L J
Oeve and Z. Rapowicz. The bi-Hamiltonian structnre of fully supersymmetric
Korteweg-de Vries systems, Comm. :VIath. Phys. voLl39. (1991). pp. 441-460.
Pa! Pazy, Semigroups of Linear Operators and Applications to P.D.E, Springer Verlag.
(1983).
f Pal] B. Falais, Blowup for nonlinear equations using a comparison principie m Fonrier
space. Comm. Pure AppL Math. voL 41, (1988), pp. 165-196.
[ PSV] L. C. Piccinini, G. Stampacchia and G. Vidossich, Ordinary Differential Equations
in lR". AppL 'Vlath. Sei. 39, Springer-Verlag, :-\ew York, (1984).
[ S] TIL M. Santos, A verso de Kato-Lai do mtodo de Galerkin e a equation de Korteweg-de
Vries, Dissertao de :\!estrado apresentada no Impa, (1988).
[ Sa] R L. Sachs, On the integrable variam of the Boussinesq system: Painlev property,
rational solutions, a related :Vlany-Body system, and equivalence whith the AKNS hie-
rarchy, Physica D, vol. 30, (1988), pp. 01-27.
[ SS] J. C. Saut and B. Scheurer, Unique continuation for some evolutions, J. Differential
Equations, voL 66, (1987), pp. 118-139.
[ St] E. :\L Stein, Singular Integrais and Differentiability Properties of Functions, Princeton
University Press, (1970).
[ T] L. Tartar, Interpolation non linaire et rgularit, J. Functional Analysis, vol. 9, (1972),
pp. 469-489
124
[ Tz] N. Tzvetkov, Remark on the local ll-posedness for KdV eqnation, C. R. Acad. Sei.
Paris Math , vo!329. (1999), pp. 1043-1047.
:\onlinear Differental Equatons and Dvnamcal Systems, Springer Verlag,
(1990).
Yosda, Functional
B. Zhang. Unque cont.nuation the Korteweg-de Vres equation, Siam J.
Anal. voL 23, (1992), pp. 55-71.

Bar Rosa Mauri Dasilva

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

Bar Rosa Mauri Dasilva

Enviado por

Direitos autorais:

Formatos disponíveis

INSTI1TTO DE

j'+h [w" (t +h-,) (tJ1 d'll

lr Ox 1' U (t- t') g (-, t') dt'] I' I ::; csup .

primeiro usamos o Teorema Fundamental

(w)IIL', os demais casos so

Você também pode gostar