v,_
Resumen
El propsito es probar que el problema de valor inicial
asociado a la ecuacin de K orteweg - de Vries tiene
solucin nica local cuando el dato inicial <p pertenece
a Hs (R) paras>
~-
>
Introduccin
En este trabajo estudiaremos el problema de Cauchy (o de valor inicial)
para la ecuacin de Korteweg-de Vries
8tU (x, t)
{ u(x,O)
0
(1)
= cp(x),
uE
e ([O,T) ,H
(R))
>
~ existe T
> Oy
una
iiu(t)JI; ~ p(t) , O~ t ~ T,
donde p
{ u(O)=cp(x),
introduciremos una viscosidad artificial 11de valor inicial
8tUp. (t)
106
el semigrupo asociado con el problema lineal en los casos J.L =O y J.L > O.
En la tercera seccin mostraremos que la ecuacin integral asociada
al problema (KdV .) tiene solucin nica para todo J.L > O, y a continuacin, en la cuarta seccin, probaremos que la solucin de la ecuacin
integral es la solucin del problema (KdV .) en
(]0, T.], H 8 (R)) n
([0, T.] , Hs-J (R)). El paso siguiente y fundamental, consiste en probar que T. no depende de J.L si O < J.L :::; J.Lo. Despus se probar que
podemos pasar al lmite en la solucin de (KdV.),cuando J.L--+ o+ para
obtener la nica solucin del problema (KdV).
El Problema Lineal
Consideremos el problema lineal determinado por (KdV .) donde
J.L ?:.
o,
8tU (t)
+ 8~u (t) -
J.L8;u (t)
= 0, t > 0
(2)
{ u(O) =<p.
Para cada J.L ?:. O definimos el operador A. en H 8 + 3 (R), s ?:. O, por
(3)
8tu (t)
+ A.u (t)
=O, t>O
{ u (O)= <p.
(4)
Para el desarrollo de esta seccin, primero consideramos al problema de valor inicial lineal asociado a (KdV .) y estudiamos el semigrupo
asociado al problema de valor inicial lineal asociado a (KdV.) en los
casos J.L = O y J.L > O.
Cuando J.L = O, (4) se transforma en un problema de valor inicial
asociado con la ecuacin de Ayri; es decir
8tU (t)
{ u (O) =<p.
(5)
107
(6)
para todo <p E H 8 (R). Adems, {Uo (t)}t>o puede ser extendido a un
grupo de operadores unitarios en H 8 (R) y~ cualquiera sea <p E H 8 (R)
la funcin
Uo (-) <p :
--+ H 8 (R)
Rci
= pa;u,
BJ-Lu
u E Hs+ 3 (R).
v(~)
u (~) = 1 + p~2 -
satisface (I
108
+ AJ-L) u= v.
i~3 ,
(u--;(t)p) w =
et(ie-JLe)p(~)
(8)
y p E H
1 + -->.. II~PIIs
UJL () p:
Rt --+ H
(9)
(2J.Lt)
ip
E H 8 (R) la
(R)
pero
Luego
y tomando
se obtiene (9).
109
La Ecuacin Integral
Notemos que si u es solucin de (KdV ,), entonces
(10)
parav,wEf(T).
21 lot
(11)
(II'PIIs, s, J.L)
>
Teorema 2.1. Sean J.L >O y r.p E H 8 (R) con s > ~- Entonces, existen
T, = T,(II'PJI 8 ,S,J.L) >O y una funcin U, E C([O,T,],H 8 (R)) nica
solucin de la ecuacin integral
Prueba. Como <I> es una contraccin, por el teorema del punto fijo
de Banach, existe una nica u, E [ (T,) tal que <I>u, =u,, es decir,
(<I>u,) (t) =U, (t) r.p110
2 lo
Para mostrar la unicidad, sean u, V E ([0, TI"] j H 8 (R)) dos soluciones de la ecuacin integral (IO). Consideremos para T1 > O
cll<tJIIs
1
0
T,~
y I + 2Jffdr =A< I
1t
Entonces, si
O~
JI
+ 2~r dr
---+
o+
cuando t
---t
o+.
entonces
llu (t)- V
(t)lls <
<
1
e ll<tJIIs lr,
t JI+ 2IJ.Lr llu (r)[ell<tJIIs
1T'
JI+
(r)lls dr
2~rdr] d(u,v)
Ad(u,v)
La Ecuacin Regularizada
e (JO, T
11 ] ,
H 8 (R))
> O , consideramos
v (t) = fot U11 (t- r)
(12)
Entonces
Por lo tanto,
OtUJJ, (t)
~V (t))
-20xU 11 (t)
-A 11 u 11 (t) - u 11 (t) Oxu 11 (t).
Luego, u 11 satisface (KdV 11 ).
Para la unicidad, sea
v E
e ([0, T
11 ] ,
H 8 (R))
v(t)=U11 (t)cp-
1 t
2 Jo U11 (t-r)8xu~(r)dr,
O~t~T11
en Hs- 3 (R). Como v (t) EL (H 8 (R), Hs+A (R)), para todo A, se sigue
que v E H 8 (R). Luego ves solucin de la ecuacin integral (10) y por el
teorema 2.1 se tiene que v = u 11 en [O, T 11 ] completando la demostracin
del teorema.
112
(13)
[O,T]
donde p satisface
8tp (t) ~ c8 p! (t), t > O
{ P (O) = ll<tJII; .
Ms an, T puede ser elegido independiente des.
Prueba. Sea uJJ. = uJJ. (t) solucin de (KdVJJ.), entonces
8t lluJJ.II~
Cs
llul'll! = (
(llul'll~),
(14)
[O, T[ donde T =
2,
Cs
inicial
2-
11~'1sll
<p
C8
, definida en el intervalo
ll<tJIIs
>o
(15)
As, para 11 >O, uJJ. se puede extender (si fuera necesario) a un intervalo
[0, T]. Esto prueba (13).
Sea <p E H' (R) para s' = s + r, r ~ O. Entonces de la primera
parte del teorema, sigue que existe T = T (ll<tJIIs, s) > O y u~' E
(]0, T~'], H (R)) solucin de (KdV ~'). Luego u~' satisface la ecuacin
113
integral (10) en H 8 (R). Del teorema 3.1 cambiando TI-' por T, obtenemos que u~-' E C (JO, TI-'], Hs+r (R)) satisface (10) en Hs+r (R), y por
lo tanto ul-' satisface (KdV1-'). Esto muestra que T es independiente de
S.
Uo
.t-+O+
at Jlul-' -
Uf311~2
- A.t) Uf3) L2
2 u 2) )p;
+2(ul-'- u13, - 1 ax (ul-'13
<
O~t~T
8x (U - V) 2 = 2 (U - V) 8x (U - V)
en H 8 (R) y la desigualdad
ax (u+ v)
obtenemos
114
Por tanto
~ K IIAJL- Af3ll.c(H3,L2)
1t ~M
(1T ~
dr)
K IIAJL- Af3ll.c(H3,L2).
Por otro lado, AJLu
Teorema 3.4. Sean s > ~ y uJL solucin de la (KdVJL). Entonces wlim uJL (t) = u 0 (t) en H 8 (R) uniformemente en t E (0, T].
JL--+0+
Prueba. Sea <pE H 8 (R) y <pJL E H 8 +3 (R) tales que
(16)
Entonces
donde hemos usado la desigualdad triangular, la desigualdad de CauchySchwarz, la continuidad de (, ), (16), L 2 (R) Y Hs (R) y ll<pJLIIs ~
p112 (t) ~ sup p! (t) = M. Luego, del teorema 3.3 se concluye la
tE(O,T]
demostracin.
Teorema 3.5. Si uo satisface la hiptesis del teorema
u 0 = u 0 (t) satisface (KdV) en casi todo punto de [O, T].
3.4, entonces
115
Prueba. Definimos
(17)
y,
Jl.-40 +
(R)
as,
e integrando de
a t , obtenemos
(19)
116
Como la aplicacin
tE (0, T] t-+ Go (uo (t)) E Hs- 3 (R)
es fuertemente medible, se sigue que es integrable Bochner; as, del teorema de la convergencia dominada de Lebesgue, obtenemos
w- lim
_t--+o+
le
(u 0 (t)) dr en H 8 -
J.L
(R)
---+ o+ en (19)
uo (t)- Uo
(~) =
lim
_t--+o+
le
e ((O, T] , H
(R)) y satisface
_t--+0+
_t--+0+
1 2
/
(t) = II'PIIs;
entonces
uo E
>
~, existe T
e ((0, T], H
>Oy
de (KdV) satisfaciendo
lluo (t)ll~
:S p (t) , O :S t :S T,
117
f (t)
O~ t ~T.
Entonces
pero
donde
M = max {
sup
llull., sup
O::;t:ST+
llvll.} ,
O:St:ST+
(u-v,8~(u-v))p =0.
(22)
dt(t)~Mf(t), O~t~T,
luego integrando de O a t, obtenemos
f(t)
~ f(O) +
1t
Mf(r)dr,
O~ t ~T.
f(t)
~ f(O)exp
(1t
Mdr),
O~ t ~T.
(23)
+ ~),
O :::; t
~ E
+ ~ :::; T.
u satisface
8tu (t)
{ u (O)
O< t
= uo (~),
en casi todo punto de [0, T+], pues, teniendo en cuenta que u 0 satisface
(KdV) tenemos
8tuo (t + ~)
-Aouo (t + ~)- uo (t + ~) 8tuo (t
-Aou (t)- u (t) 8xu (t)
+ ~)
u (O) = uo
(O+~) =
uo
(~).
Referencias
[1] IORIO JR., R.J. (1990) KdV, BO and friends in weighted Sobolev
spaces. Functional Analytical Methods for PDE. Lect. Notes in
Math., 1450.
[2] IORIO JR., R.J.; IORIO, V. (2001). Fourier analysis and partial
differential equations. Cambridge University Press, New York.
[3] IORIO, R.; LINARES, F.; SCIALOM, M. (1998). KdV and BO
equations with bore-like data. Differential and Integral Equations, 11,
895-915.
[4] MENDOZA, A.; MONTEALEGRE, J. (2000). Existencia y unicidad
local para la ecuacin de Korteweg - De Vries. Reporte de investigacin, N10 Serie B, PUCP.
119
[5]
[6]
[7]
PETROZZI, S.
[8]
Dos SANTOS, M.
MoNTEALEGRE,
120