Ecuaciones Dispersivas No Lineales

Ediciones IVIC
Ecuaciones dispersivas no lineales . CASO PERIDICO
Felipe Linares
XX ESCUELA VENEZOLANA DE MATEMTICAS
Ecuaciones dis persivas

no lineales .
CASO PERIDICO
Felipe Linares
MRIDA, VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

XX ESCUELA VENEZOLANA DE MATEMATICAS
Ecuaciones dispersivas no lineales.

dico
Caso perio
Felipe Linares
MERIDA,
VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

Ecuaciones dispersivas no lineales.

dico
Caso perio
Felipe Linares
Instituto de Matematica Pura e Aplicada
linares@impa.br
MERIDA,
VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

La Escuela Venezolana de Matematicas es una actividad de los postgrados en matematicas de las instituciones siguientes: Centro de Estudios
Avanzados del Instituto Venezolano de Investigaciones Cientficas, Facultad de Ciencias de la Universidad Central de Venezuela, Facultad de
Ciencias de la Universidad de Los Andes, Universidad Simon Bolvar,
Universidad Centroccidental Lisandro Alvarado y Universidad de Oriente, y se realiza bajo el auspicio de la Asociacion Matematica Venezolana.
La XX ESCUELA VENEZOLANA DE MATEMATICAS

recibi
o financiamiento de la Academia de Ciencias Fsicas, Matematicas y Naturales, la
Corporacion Andina de Fomento (CAF), el Fondo Nacional de Ciencia, Tecnologa e Innovaci
on (FONACIT), la Fundaci
on TALVEN, el
Instituto Venezolano de Investigaciones Cientficas (Departamento de
Matematicas y Ediciones IVIC), la Universidad de los Andes (CEP,
CDCHT, Facultad de Ciencias y Departamento de Matematicas) y el
Rectorado de la Unversidad Centroccidental Lisandro Alvarado.
1991 Mathematics Subject Classification: 35Q53, (35B10, 35B65).
c
Ediciones
IVIC
Instituto Venezolano de Investigaciones Cientficas
Ecuaciones Dispersivas no lineales. Caso peri
odico
Felipe Linares
Dise
no y edicion: Escuela Venezolana de Matematicas
Preprensa e impresion: Editorial Texto
Deposito legal lf66020076002492
ISBN 978-980-261-085-3
Caracas, Venezuela
2007
III
En memoria de Julieta Ramirez y Dolores (Lola) Linares
IV
Prefacio
El objetivo de estas notas es describir brevemente las ecuaciones dispersivas no lineales. Tratamos de dar una nocion global de los modelos
fsicos considerados y presentar algunos los problemas de nteres y metodos que se han desarrollado recientemente en esta area de las ecuaciones
diferenciales parciales.
Escogimos estudiar el caso periodico por no ser encontrado usualmente en la literatura. Parte esencial de estas notas fueron tomadas del
articulo [3]. Usaremos como ejemplo el sistema acoplado de ecuaciones
de Schrodinger estudiado all para ilustrar varias ideas utilizadas al resolver el problema de valor inicial de sistemas dispersivos no lineales en
el contexto periodico. Un tratamiento mas detallado de las ecuaciones
dispersivas no lineales puede ser encontrado en [38].
Un conocimiento de analisis real y variable compleja seran los prerequsitos para este curso, aunque las notas son autocontenidas en la
medida de lo posible.
En el primer captulo introducimos el concepto de ecuacion de tipo
dispersivo. En el Captulo 2, presentamos algunas nociones basicas de
la teora de las Series de Fourier, distribuciones periodicas y espacios de
Sobolev. Una descripcion mas detallada puede verse en los textos [15],
[16], [27] y [45]. Una aplicacion al problema de valor inicial es dada en
el Captulo 3. Usamos las Series de Fourier para estudiar los problemas
lineales homogeneos y no homegeneos asociado a la ecuacion lineal de
Korteweg-de Vries. Un recuento de varias propiedades de las ecuaciones
dispersivas no lineales es desarrollado en el Captulo 4. Finalmente, en
el Captulo 5 usamos un sistema acoplado de ecuaciones no lineales de
Schrodinger para aplicar las tecnicas recientemente desarrolladas en el
estudio de problemas de valor inicial asociados a este tipo de sistemas.
Quiero agradecer a Luiz Gustavo Farah (IMPA), Ada Gonzalez Nieva
V
VI
PREFACIO
(IMPA) y Didier Pilod (IMPA-UFRJ) por haber leido cuidadosamente

una version preliminar de estas notas y por las sugerencias y correcciones
hechas que sin duda dieron una mejora sustancial a la presentaci
on final
de este texto. Tambien me gustaria agradecer a Jaime Angulo (USP)
por insistir con el caso periodico y a Leonardo Mora (ULA-Venezuela)
quien me invito a participar en este proyecto.
Rio de Janeiro, Julio de 2007.
Indice general
Prefacio
1. Ecuaciones Dispersivas Lineales
2. Series de Fourier
2.1. Definicion y Propiedades . . . . .
2.1.1. Convergencia Puntual . .
2.1.2. Convergencia en Lp . . .
2.1.3. Metodos de Sumabilidad .
2.2. Distribuciones Periodicas . . . .
2.2.1. Series de Fourier en P 0 . .
2.3. Espacios de Sobolev . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
11
12
13
15
17
18
3. Problemas de Valor Inicial para las Ecuaciones Dispersivas Lineales

23
3.1. Problema Lineal Homogeneo . . . . . . . . . . . . . . . . 24
3.2. Problema Lineal no Homogeneo . . . . . . . . . . . . . . . 28
4. Ecuaciones Dispersivas No Lineales
4.1. Propiedades . . . . . . . . . . . . .
4.1.1. Estimaciones Lineales . . .
4.1.2. Estimaciones No Lineales .
4.2. Ondas Viajeras . . . . . . . . . . .
4.2.1. Ondas Periodicas . . . . . .
4.2.2. Leyes de Conservaci
on . . .
VII
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
31
32
33
35
36
38
41
VIII
INDICE GENERAL
5. Problemas de Valor Inicial para las Ecuaciones

sivas No Lineales
5.1. Modelo . . . . . . . . . . . . . . . . . . . . . . .
5.2. Problema de Valores Iniciales . . . . . . . . . . .
5.3. Teora Local de Buena Colocacion . . . . . . . .
5.4. Lemas Preliminares . . . . . . . . . . . . . . . . .
5.5. Estimaciones Bilineales . . . . . . . . . . . . . . .
5.6. Resultado Global . . . . . . . . . . . . . . . . . .
5.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . .
Bibliografa
Disper.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
45
49
51
53
58
65
65
66
Captulo 1
Ecuaciones Dispersivas
Lineales
Para introducir la nocion de dispersion consideraremos una ecuacion
diferencial parcial con coeficientes constantes en la forma
P t , x1 , x2 , x3 u(x, t) = 0
(1.1)
donde P es un polinomio en las derivadas parciales t , x1 , x2 , x3 y
x = (x1 , x2 , x3 ).
Buscamos soluciones elementales del tipo onda plana para (1.1) en la
forma
u(x, t) = A ei(kxt)
(1.2)
donde A es la amplitud de la onda, k = (k1 , k2 , k3 ) es el vector n
umero
de onda, es la frecuencia, k x = k1 x1 + k2 x2 + k3 x3 con A, k y
constantes.
Cuando esta onda plana es substituida en (1.1) t

, x 1 , x 2 y x 3
producen factores i, ik1 , ik2 e ik3 respectivamente, y una solucion
del tipo (1.2) existe si y solamente si y k estan relacionados por la
ecuacion
P (i, ik1 , ik2 , ik3 ) = 0.
(1.3)
Esta ecuacion es conocida como la relaci
on de dispersi
on.
Observe que existe una correspondencia directa entre la ecuacion (1.1)
y la relacion de dispersion (1.3) atraves de

i,
,
,
i(k1 , k2 , k3 ).
(1.4)
t
x1 x2 x3
1
Felipe Linares
O sea la primera ecuacion puede ser derivada de la segunda y reciprocamente usando (1.4).
Ejemplo 1.0.1. Considere las siguientes ecuaciones lineales
Ecuacion de la viga
vtt 2 vxxxx = 0,
x R, t R.
Ecuacion lineal de Schr

odinger
it + = 0,
x R3 , t R.
Ecuacion lineal de Korteweg-de Vries

t w + x w + x3 w = 0,
x R, t R.
Las relaciones de dispersion para estas ecuaciones son respectivamente,

2 2 k 4 = 0,
(k12 + k22 + k32 ) = 0
y
k k 3 = 0.
La relacion de dispersion caracteriza la evoluci
on de la onda plana. En
algunos problemas la relacion de dispersion puede escribirse en forma
explcita
= W (k) = W (k1 , k2 , k3 ),
(1.5)
es decir, en terminos de las races reales de la ecuacion (1.3). Hay un
n
umero de soluciones de este tipo, en general con diferentes funciones
W (k) llamados modos.
Ejemplo 1.0.2. En el caso de la ecuacion de la viga la relacion de
dispersion tiene dos modos + = k 2 , = k 2 .
La cantidad = k x t es llamada fase. En soluciones tipo onda
plana, las superficies de fase = constante son planos paralelos. El
gradiente de es el vector n
umero de onda cuya direccion es normal a
Ecuaciones dispersivas no lineales
los planos y cuya magnitud es el n

umero promedio de crestas por 2
unidades de distancia. Similarmente, t es la frecuencia , el n
umero
promedio de crestas por 2 unidades de tiempo. La longitud de onda es
= 2/ y el perodo es = 2/.
Cualquier superficie de fase se desplaza con velocidad normal / en
la direccion de k. La velocidad de fase se define como
Cf (k) = k, donde k es el vector unitario k = 1 k.

(1.6)
Observe que un vector n

umero de onda diferente lleva a una velocidad
de fase diferente, esto caracteriza la dispersion.
Ejemplo 1.0.3. Para las ecuaciones del Ejemplo 1.0.1 tenemos que la
velocidad de fase es dada por
Cf (k) =
= k
k
(ecuacion de la viga)
Cf (k) = (k1 , k2 , k3 ) (ecuacion lineal de Schr

odinger)
Cf (k) = + k 2 . (ecuaci
on lineal de Korteweg-de Vries)
Existe otra velocidad de propagacion de ondas importante llamada
velocidad de grupo la cual es definida por
Cg (k) = k .
(1.7)
La velocidad de grupo difiere de la velocidad de fase como vemos en

el siguiente ejemplo.
Ejemplo 1.0.4. Para las ecuaciones del Ejemplo 1.0.1 tenemos que la
velocidad de grupo es dada por
Cg (k) = 2k
(ecuacion de la viga)
Cg (k) = 2(k1 , k2 , k3 ) (ecuacion lineal de Schr

odinger)
Felipe Linares
Cg (k) = + 3 k 2 . (ecuacion lineal de Korteweg-de Vries)

La situacion fsica de esta diferencia entre la velocidad de fase y la
velocidad de grupo es ilustrada a seguir. Un observador siguiendo una
cresta de una onda particular se mueve con la velocidad local de fase
pero ve que el n
umero de onda local y la frecuencia cambian, es decir,
crestas vecinas se apartan. Un observador que se mueve con la velocidad
de grupo ve el mismo n
umero de onda local y frecuencia pero las crestas
se mantienen pasandolo.
En el caso unidimensional,
= W (k),
Cf (k) =
,
k
Cg (k) =
d
.
dk
Las soluciones (1.2) son dispersivas si la velocidad de grupo no es

constante (Cg (k) = 0 (k) 6= constante), esto es 00 (k) 6= 0. Fsicamente,
cuando el tiempo evoluciona, las ondas diferentes se dispersan en el
medio teniendo como resultado que un perfil (single lump) se descompone en un tren de ondas.
En general, la ecuacion (1.1) es dispersiva si W (k) es real y el determinante
2 W (k)
6= 0.
ki kj
Por el principio de superposicion para ecuaciones lineales, la solucion
general puede obtenerse de (1.2) con la relacion de dispersion (1.3). Para
el caso unidimensional, la solucion general tiene la representaci
on va la
integral
Z
u(x, t) =
F (k) ei(kxt(k)) dk
(1.8)
donde F (k) es escogida de manera que las condiciones iniciales o de

frontera sean satisfechas, siempre que los datos sean fsicamente realistas
para poder definir la expresion (1.8) llamada, transformada de Fourier.
Ejercicios
1. Encuentre la relacion de dispersion, velocidad de fase y velocidad
de grupo de las siguientes ecuaciones.
(i) Ecuacion de Boussinesq lineal
t2 u x2 u + x4 u = 0,
x R, t R.
(ii) Ecuacion de Klein-Gordon

vtt 2 vxx + 2 v = 0,
x R, t R.
(iii) Ecuacion de ondas

t2 w c2 w = 0,
x R3 , t R.
(iv) Ecuacion lineal Zakharov-Kusnetsov

t v + x v = 0,
, (x, y) R2 , t R.
Felipe Linares
Captulo 2
Series de Fourier
En este captulo estudiaremos la teoria de las series de Fourier que
es una de las herramientas fundamentales para desarrollar el estudio de
problemas de valores iniciales para las ecuaciones de tipo dispersivo en
el caso perodico.
2.1.
Definici
on y Propiedades
Definici
on 2.1.1. Sea f : [a, b] 7 C una funci
on integrable. Sea L la
longitud del intervalo [a, b], el k-esimo coeficiente de Fourier de f es
definido por
1
fb(k) =
L
Zb
f (x) e2ikx/L dx,
k Z.
(2.1)
La serie de Fourier de f es dada (formalmente) por
fb(k) e2ikx/L .
k=
Usaremos la notacion
f (x)
fb(k) e2ikx/L
k=
(2.2)
Felipe Linares
para referirnos a la serie de Fourier correspondiente a f y denotaremos

la N -esima suma parcial por
X
SN (f ) =
fb(k) e2ikx/L , N N.
|k|N
Para simplificar la notacion de ahora en adelante usaremos [a, b] =

[, ] y por lo tanto L = 2. Entonces
1
fb(k) =
2
Z
f (x) eikx dx,
k Z.
y la serie de Fourier de f
fb(k) eikx .
k=
Las preguntas naturales que aparecen son:

(A) En que sentido SN (f ) converge a f cuando N ?
(B) Cuando
SN (f ) =
fb(k) e2kx/L ,
N N?
|k|N
Antes de responder a estas preguntas introduciremos a seguir algunas

notaciones que seran u
tiles en el resto de estas notas.
Sea f : R 7 C, f es periodica de perodo 2 si f (x + 2) = f (x) para
todo x R.
La coleccion de todas las funciones periodicas de perodo 2 de clase
k
k ([, ]), k = 0, 1, 2, . . . .
C sera denotada por Cper
k ([, ]) junto con la norma
El espacio Cper
kf kk, =
k
X
kf (j) k
j=0
es un espacio de Banach donde k k es la norma del sup en la recta,

esto es,
kgk = sup |g(x)| = sup |g(x)|
xR
xJ
donde J R es un intervalo de longitud 2.

Podemos identificar Cper ([, ]) con el conjunto {f C([, ]) :
k ([, ]) con
f () = f ()}, de manera similar podemos identificar Cper
el conjunto {f C k ([, ]) : f (j) () = f (j) (), j = 1, 2, . . . , k}.
Definimos la seminorma
Z
kf kLp =
1/p
|f (x)|p dx
,
p 1.
k ([`, `]) con la norma Lp no es un espacio completo.

El espacio Cper
Comenzaremos con el siguiente resultado que nos dara una respuesta
parcial a las preguntas (A) y (B).
Teorema 2.1.1. Suponga que f es una funci

on integrable en [, ]
b
con f (k) = 0 para todo k Z. Entonces f (x0 ) = 0 siempre que f sea
contnua en el punto x0 [, ].
Corolario 2.1.1. Si f es continua en [, ] y fb(k) = 0 para todo
k Z entonces f 0.
Corolario 2.1.2. Suponga f continua en [, ] y que su serie de Fou
P
rier converge absolutamente, i.e.
|fb(k)| < . Entonces la serie de
k=
Fourier de f converge uniformemente a f , es decir,

lm SN (f )(x) = f (x),
uniformemente en x.
Aqu tenemos que observar que existen funciones continuas cuyas series de Fourier son divergentes. (vea [27], [16]).
Que condiciones en f garantizan la convergencia absoluta de la serie de Fourier? Como veremos en el proximo resultado suavidad en f
implicara convergencia absoluta.
Corolario 2.1.3. Suponga que f es dos veces continuamente diferenciable en [, ]. Entonces
fb(k) = O
1
,
| k|2
cuando | k| ,
de manera que la serie de Fourier de f converge absoluta y uniformemente para f .
10
Felipe Linares
Demostraci
on. Suponga k 6= 0. Integrando por partes y usando la periodicidad de f tenemos que
Z
2 fb(k) =
f (x) eikx dx
1
=
ik
Z
f 0 (x) eikx dx
1
=
(ik)2
=
1
k2
(2.3)
Z
f 00 (x) eikx dx
Z
f 00 (x) eikx dx.
Por lo tanto,
1
fb(k) = 2 fc00 (k).
k
El caso k = 0 es un ejercicio para el lector.
Durante la prueba del corolario anterior establecimos una de las propiedades mas importantes de la transformada de Fourier, esto es,
fb0 (k) = ik fb(k)
para todo k Z.
Observe que si f es diferenciable y f
P
k=
f0
ak eikx , entonces
ik ak eikx .
k=
Tambien, si f es dos veces diferenciable, entonces

f 00
(ik)2 ak eikx .
k=
(2.4)
11
Definici
on 2.1.2. Sean f, g Cper ([, ]). La convoluci
on de f y g
denotada por f g es definida por
1
f g(x) =
2
Z
f (x y)g(y) dy.
(2.5)
Ejemplo 2.1.1.
SN (f )(x) =
N
X
fb(k) eikx
k=N
Z
N
X
1
=
f (y) eiky dy eikx
2
k=N
1
=
2
Z
f (y)
N
X
(2.6)
eik(xy) dy
k=N
= (f DN )(x).
DN es conocido como n
ucleo de Dirichlet.
Proposici
on 2.1.1 (Propiedades de la convoluci
on). Sean f, g funciones en Cper (, ).
i) f g e continua
ii) f g = g f
iii) f (g + h) = f g + f h
iv) f (g h) = (f g) h
v) f[
g(k) = fb(k)b
g (k).
2.1.1.
Convergencia Puntual
Ahora discutiremos algunos resultados que garantizan la convergencia

puntual de las series de Fourier.
12
Felipe Linares
Teorema 2.1.2. Sea f una funci

on integrable en [, ] que es diferenciable en el punto x0 . Entonces
SN (f )(x0 ) f (x0 )
cuando N .
Este resultado vale si f satisface una condicion de Lipschitz en x0 ,

esto es,
|f (x) f (x0 )| M |x x0 |
para algun M 0 y todo x.
Todava si f y f 0 fueran seccionalmente continuas vale que
SN (f )(x0 )
f (x+
0 ) + f (x0 )
2
cuando N .
Teorema 2.1.3. Suponga f, g integrables, peri

odicas de perodo 2 y
para algun x0 existe un intervalo abierto I conteniendo x0 tal que
f (x) = g(x)
para todo x I.
Entonces
SN (f )(x0 ) SN (g)(x0 ) 0
cuando N .
Notaci
on.
2.1.2.
Convergencia en Lp
Comenzamos recordando la definicion de los espacios Lp . Para 1

p < .
Lp ([, ]) = {f : R C, medibles tales que kf kLp < }
y L [, ]) denota las funciones periodicas f esencialmente acotadas
con norma kf kL el supremos esencial de |f (x)|.
En el caso particular p = 2,
Z
hf | gi =
f (x)g(x) dx
(2.7)
13
define un producto interno en Lp ([, ]), ademas

kf kL2 = hf | f i1/2
Con ese producto interno L2 ([, ]) es un espacio de Hilbert.
Tenemos el siguiente resultado que da condiciones necesarias y suficientes para que las series de Fourier converjan en Lp .
Lema 2.1.1. SN (f ) converge a f en la norma Lp , 1 p < , si y
solamente si existe cp independiente de N tal que
kSN (f )kLp cp kf kLp
(2.8)
En el caso 1 p < la desigualdad (2.8) vale. El caso p = 1 no es

verdadero.
Teorema 2.1.4. La transformada de Fourier restringida a L2 ([, ])
es una biyecci
on entre L2 ([, ]) y `2 (Z). Adem
as, vale la identidad de
Parseval,
kf k2L2
= 2
|fb(k)|2 = 2kfbk2`2 ,
(2.9)
o equivalentemente,
hf | gi = 2
fb(k) gb(k) = 2 hfb| gb i,
f, g L2 ([, ]).
(2.10)
2.1.3.
M
etodos de Sumabilidad
Otro metodo para recuperar la funcion f de sus coeficientes, es el

metodo de sumabilidad. Los mas conocidos son los metodos de sumabilidad de Ces`aro y de Poisson. aqui solo describiremos el primero. El
metodo de Poisson puede ser visto en [16],[27],[45].
El metodo de Ces`aro usa la media aritmetica de las sumas parciales.
14
Felipe Linares
Mas precisamente, seja

N
1 X
N f (x) =
Sk (f )(x)
N +1
k=0
1 X
f (y)
Dk (x y)dy
N +1
k=0
f (y)FN (x y) dy,
donde FN (y) es el nucleo de Fejer, que es dado por

N
1 X
FN (y) =
Dk (y).
N +1
k=0
Observe que FN (y) puede escribirse como
1 sen( N2+1 y) x 6= 2k, k Z

1
N +1
sen( 2 y)
FN (y) =
N + 1
x = 2k, k Z
y que satisface las siguientes propiedades
(i) FN (y) 0,
(ii)
1
2
(iii)
Z
FN (y) dy = 1,
Z
lm
N
<|y|<
FN (y) dy = 0
> 0.
Teorema 2.1.5. Si f Lp , 1 p < , o si f es continua y p = ,

entonces
lm kN f f kLp = 0.
(2.11)
N
15
Corolario 2.1.4.
(i) Los polinomios trigonometricos son densos en Lp , 1 p < .
(ii) Si f es integrable y fb(k) = 0 para todo k, entonces f es identicamente cero.
2.2.
Distribuciones Peri
odicas
El conjunto de todas las funciones periodicas : R C de clase C

. El espacio vectorial P no
con perodo 2 es denotado por P = Cper
n introducidas anteriormente.
es completo en relacion a las normas Cper
Podemos todava definir una distancia natural en P dada por
d(, ) =
X
j=0
2j
k(j) (j) k
, , P.
1 + k(j) (j) k
(2.12)
Observaci
on 2.2.1. La distancia d introduce una metrica en P. AdeP
(j)
m
as, n si y s
olo si kn (j) k 0 cuando n para todo
j = 0, 1, 2, . . . .
Tenemos el siguiente resultado.
Teorema 2.2.1. (P, d) es un espacio metrico completo. Adem
as, si consideramos {n } P y P, entonces
d
(j)
n k(j)
n k 0 para todo j 0.
Con relacion a las series de Fourier tenemos el siguiente resultado.

Corolario 2.2.1. Para todo P, la N -esima suma parcial de
converge a en P.
Definici
on 2.2.1. Denotaremos por S(Z) el espacio de las sucesiones
rapidamente decrecientes, esto es, el conjunto de las sucesiones complejas {ak }kZ tales que
X
k=
|k|j |ak | < j = 0, 1, 2, . . .
(2.13)
16
Felipe Linares
Si S(Z) con la distancia
b) =
d(a,
2j
j=0
ka bk,j
, a, b S(Z).
1 + ka bk,j
(2.14)
con
kak,j = sup (|ak ||k|j ).
kZ
Definici
on 2.2.2. Sea a = {ak }kZ S(Z). La transformada inversa
de Fourier de a es la funci
on
a(x) = (F 1 )(x) =
ak eikx , x R
(2.15)
k=
Teorema 2.2.2. La transformada de Fourier es una aplicaci

on biyectiva
linear entre S(Z) y P, esto es, un isomorfismo y un homeomorfismo.
Definici
on 2.2.3. Decimos que : P 7 C es una distribuci
on
peri
odica si
(1) es lineal.
P
(2) es continua, es decir, si j 0 cuando j , entonces la

sucesi
on numerica (j ) 0 cuando j .
Ejemplo 2.2.1. Es f
acil ver que f Cper define una distribuci
on peri
odica f por la f
ormula
Z
hf , i =
f (x)(x) dx,
P.
(2.16)
Ejemplo 2.2.2. Un ejemplo de una distribuci

on que no proviene de la
formula (2.16) es la conocida delta de Dirac x definida por
hx , i = (x), P.
(2.17)
Definici
on 2.2.4. Decimos que la sucesi
on {j } P 0 converge a en
P 0 si
hj , i h, i cuando j P.
17
La operacion de diferenciacion en las distribuciones es definida de tal

manera que ellas sean infinitamente diferenciables.
Definici
on 2.2.5. Sea f P 0 . Su derivada distribucional f 0 P 0 es
definida por la relaci
on
hf 0 , i = hf, 0 i, P.
Series de Fourier en P 0
2.2.1.
Definici
on 2.2.6. La transformada de Fourier de f P 0 es la funci
on
b
f : Z C defnida por la formula
1
fb(k) =
hf, eik x i,
2
k Z.
(2.18)
La N -esima suma parcial de la serie de Fourier asociada a f es dada

por
N
X
fb(k)eikx .
SN (f )(x) =
k=N
Note que SN (f ) se entiende como distribucion en el sentido de la

formula (2.16).
Teorema 2.2.3. Sea f P 0 . Entonces SN (f ) P para todo N N y
P0
SN (f ) f .
Corolario 2.2.2. Sea P y f P 0 . Entonces,
hf, i = 2
fb(k)(k).
b
(2.19)
k=
Definici
on 2.2.7. La sucesi
on de n
umeros complejos {an }nZ se dice
de crecimiento lento si existe c > 0 y N N tal que
|ak | c|k|N
k Z {0}.
El conjunto de todas las sucesiones de crecimiento lento es denotado por

S 0 (Z).
Teorema 2.2.4. Sea a = {ak }kZ S 0 (Z). Entonces existe una u
nica
f P 0 tal que fb = a. Recprocamente, si f P 0 entonces fb S 0 (Z).
18
Felipe Linares
2.3.
Espacios de Sobolev
En esta seccion introducimos los espacios de Sobolev periodicos.

s =
Definici
on 2.3.1. Sea s R, el espacio de Sobolev denotado por Hper
s
0
Hper ([, ]) es el conjunto de todos los elementos f P tal que
kf k2s = 2
(1 + |k|2 )s |fb(k)|2 < .
(2.20)
k=
En el siguiente teorema resumiremos algunas propiedades de los espacios de Sobolev.

s
Teorema 2.3.1. (i) Para todo s R, Hper
es un espacio de Hilbert
con relaci
on al producto interno
(f |g)s = 2
(1 + |k|2 )s fb(k)b
g (k).
(2.21)
k=
s
(ii) Sean r, s R, s r. Entonces Hper
est
a continua y densamente
r
inmerso en Hper y
s
kf kr kf ks , para todo f Hper
.
(2.22)
s )0 el dual topol
s
(iii) (Hper
ogico de Hper
es isometricamente isomorfo a
s
Hper para todo s R. La dualidad es realizada via el par
hf, gi = 2
s
s
(1 + |k|2 )s fb(k) gb(k), f Hper
, g Hper
. (2.23)
k=
k coincide
Teorema 2.3.2. Si k es un entero positivo, entonces f Hper
con el espacio de funciones f L2per cuyas derivadas (en el sentido de
P 0 ), f (j) , j = 1, . . . , k, pertenecen a L2per . En este caso las normas kf kk
k
P
y
kf (j) k son equivalentes.
j=0
El siguiente resultado conocido como el Lema de Sobolev nos permite

relacionar derivadas debiles con derivadas en el sentido clasico.
19
s
Teorema 2.3.3. Si s > 21 , entonces Hper
est
a continua y densamente
inmerso en Cper y
s
kf k kfbk`1 ckf ks , f Hper
(2.24)
Demostraci
on. Usando la desigualdad de Cauchy-Schwarz y la hipotesis
s > 1/2 tenemos que
X
X (1 + |k|2 )s/2 |fb(k)|
|fb(k)| =
(1 + |k|2 )s/2
kZ
kZ
X
1/2 X
(1 + |k|2 )s |fb(k)|2
kZ
X
kZ
kZ
1/2
1
(1 + |k|2 )s
(2.25)
1/2
1
kf ks < .
(1 + |k|2 )s
Por lo tanto {fb(k)}kZ `1 y as

g(x) =
fb(k) eikx
converge absolutamente y uniformemente en [, ]. Por lo tanto g

Cper . Ahora probaremos que f y g coinciden como distribuciones. Usando
el Corolario 2.2.2 y la convergencia uniforme de la serie, tenemos
Z
hg, i =
Z X
g(x)(x) dx =
fb(k) eikx (x) dx
X
X
b
=
f (k) (x)eikx dx = 2 fb(k)(k)
b
(2.26)
= hf, i P,
as que f = g en el sentido de las distribuciones. La desigualdad (2.24)
sigue de la desigualdad (2.25) ya que
|f (x)|
|fb(k)|
1/2
1
kf ks
(1 + |k|2 )s
x [, ].
(2.27)
20
Felipe Linares
s
La siguiente definicion sera utl para probar que Hper
es un algebra
de Banach para s > 1/2.
Definici
on 2.3.2. Sean a = {ak } y b = {bk } sucesiones de n
umeros
complejos. La convoluci
on de a y b, a b se define como la sucesi
on
(a b)k =
aj bkj
(2.28)
j=
siempre que el lado derecho de la igualdad tenga sentido.

Proposici
on 2.3.1. Sea a = {ak } `1 (Z) y b `2 (Z). Entonces a b
2
` (Z) y
ka bk`2 kak`1 kbk`2 .
(2.29)
s
Teorema 2.3.4. Si s > 12 , el espacio Hper
es un algebra de Banach
s , entonces
con respecto al producto de funciones. Esto es, si f, g Hper
s
f g Hper y vale
kf gks cs kf ks kgks .
(2.30)
Ejercicios
1. Pruebe el Teorema 2.1.1 y Corolarios 2.1.1y 2.1.2.
2. Suponga que f es integrable en [, ] pruebe que
1
2
f (x) SN (f )(x)2 dx 0 cuando N .
y
2
|fb(k)|2 = kf k2L2 .
(2.31)
k=
3. (Riemann-Lebesgue) Si f es integrable en [, ], pruebe fb(k) 0

cuando |k| .
4. (Criterio de Dini) Si para algun x existe > 0 tal que
Z
f (x + t) f (x)
dt < .
t
|t|<
21
Pruebe que
lm SN (f )(x) = f (x).
k ([L, L]) con la norma Lp no es un

5. Pruebe que el espacio Cper
espacio completo.
6. Pruebe la Proposicion 2.1.1.

7. Pruebe el Lema 2.1.1.
8. Pruebe el Teorema 2.1.5.
9. Pruebe el Corolario 2.1.4.
10. Muestre que {ak }kZ S(Z) si y solo si
kak,j = sup (|ak ||k|j ).
kZ

13. Pruebe la Proposicion 2.3.1.
22
Felipe Linares
Captulo 3
Problemas de Valor Inicial

para las Ecuaciones
Dispersivas Lineales
Consideraremos una ecuacion diferential parcial con coeficientes constantes de tipo dispersivo y estudiaremos la evoluci
on de la solucion cuando un dato inicial sea dado, esto es,
(
P (t , x )u = 0,
x R (x T), t R,
(3.1)
u(x, 0) = (x).
Este problema es llamado problema de valores iniciales o problema
de Cauchy. Estamos interesados en demostrar la existencia de soluciones para el problema (3.1). Una vez esto sea establecido la pregunta
natural que aparece es si la solucion encontrada es u
nica, nos referimos
a este punto como unicidad de la solucion. En general los modelos considerados en (3.1) provienen de modelos fsicos, como la teora de ondas de
agua, optica, propagacion de ondas en fsica del plasma, etc. Entonces
tenemos que estudiar lo que ocurre cuando hay cambios en los datos
iniciales y el efecto que se produce en las soluciones correspondientes.
Lo ideal sera que peque
nos cambios en el dato inicial la solucion correspondiente no sufra grandes cambios. Esos tres aspectos sobre soluciones
del problema (3.1) pueden resumirse en la siguiente definicion.
Definici
on 3.0.3. Si existe T > 0 para el cual la existencia, unicidad
23
24
Felipe Linares
y continua dependencia de los datos iniciales, esto es, sea {n } una

X
sucesi
on de funciones en el espacio funcional X y X tal que n
, entonces las soluciones un del problema (3.1) con dato inicial n
X
satisfazen un (t) u(t), donde u es la soluci

on con dato inicial , sea
garantizado para el problema (3.1), diremos que el problema de valor
inicial est
a bien planteado. Si T es finito diremos que el problema
(3.1) est
a localmente bien planteado. Caso contrario diremos que
est
a globalmente bien planteado.
3.1.
Problema Lineal Homog

eneo
Comenzaremos definiendo el dominio del operador tres derivadas.

Dom(Dx3 ) = {f L2 ([, ]) : f (3) L2 ([, ])}
= {f L2 ([, ]) : {ik 3 fb(k)} `2 (Z)}
(3.2)
d3
f, f Dom(Dx3 )
(3.3)
dx3
Usando la identidad de Parseval podemos definir el siguiente operdor
de multiplicacion,
Dx3 f = i
3
Dom(MS ) = { `2 (Z) : {eik t fb(k)} `2 (Z)}
3
(MS )k = eik t k ,
=
k Z, Dom(MS )
(3.4)
Ft (Dx3 )f
donde Ft (k) = etk .

Para f Dom(Dx3 ) definimos el operador
X
3
fb(k)eik t eikx .
S(t)f (x) =
(3.5)
kZ
A continuacion estudiaremos el problema de valor inicial asociado a

la ecuacion linealizada KdV, esto es,
u(, t) Cper ([, ]), t 0

(3.6)
t u + x3 u = 0, em ([, ] (0, )
u(x, 0) = f (x), x ([, ].
25
Usando transformada de Fourier obtenemos que

(
t u
b(k, t) + (ik)3 u
b(k, t) = 0,
b
u
b(k, 0) = f (k),
o
du
b(k, t) ik 3 u
b(k, t) = 0,
dt
u
b(k, 0) = fb(k),
(3.7)
(3.8)
cuya solucion para cada k y t > 0 es dada por

3
u
b(k, t) = fb(k) eik t .
Luego una solucion formal para el problema (2.10) es dada por
u(x, t) =
3
fb(k) eik t eikx .
(3.9)
k=
As tenemos que
t u(x, t) =
=
=
X
k=
ik 3 fb(k) eik t eikx

3
(ik)3 fb(k) eik t eikx
(3.10)
k=
x3 u(x, t)
esto es,
t u + x3 u = 0.
Ademas,
u(x, 0) = f (x) =
fb(k) eikx
k=
3 ([, ]). Nuestro objetivo ahora es reinterpretar el problepues f Cper
ma de valores iniciales (3.6) como un problema de valores iniciales para
una ecuacion diferencial ordinaria en el espacio de Hilbert L2 ([, ]).
Sean entonces v(t) = u(, t) = S(t)f y w(t) = t u(, t). Observe que
26
Felipe Linares
v(t) L2 ([, ]). De hecho, usando la identidad de Parseval (2.9),

tenemos que
kv(t)k2L2
kS(t)f k2L2
= 2
|fb(k) eik t |2
k=
= 2
|fb(k)|2 = kf k2L2 ,
k=
y por lo tanto v : [0, ) 7 L2 ([, ]).

Por otro lado,
3
f Cper
([, ]) Dom(Dx3 )
P
3
ik 3 fb(k) eik t eikx converge en L2 ([, ]) en t = 0 y por
y w(t) =
k=
lo tanto w : [0, ) 7 L2 ([, ]). Deseamos demostrar que

v(t + h) v(t)
lm
w(t) 2 = 0.
h
h
L
(3.11)
Definici
on 3.1.1. Si J es un intervalo y : J 7 L2 ([, ]) es una
funci
on, decimos que es diferenciable en t0 J en el sentido de
L2 ([, ]) si existe el lmite
lm
tt0
tJ
d
(t) (t0 )
=
(t0 )
t t0
dt
en la norma L2 ([, ]).

Usando la identidad de Parseval (2.31) obtenemos
v(t + h) v(t)
2
w(t) 2
h
L

n eik3 h 1
o2
X
ik3 t b
= 2
ik 3
e f (k)
h
k=

ik 3 Zh 3
2
X
b
= 2
eik d ik 3
f (k)
h
k=
= 2
X
k=
Zh
2
3
3 2 1
b
|f (k)k |
(eik 1) d .
h
0
(3.12)
27
Como f Dom(Dx3 ) para cada t 0 y > 0 podemos escoger N Z+

tal que
X
2
(3.13)
2
|fb(k)k 3 |2 <
2
|k|>N
y > 0 tal que si < t/2 para t > 0 y |h| <

2
X
|k|N
|fb(k)k |
3 2
1 Zh
2 2
3
max
(eik 1) d .
2
|k|<N h
(3.14)
Combinando (3.12), (3.13) y (3.14) tenemos que

v(t + h) v(t)
w(t) 2 < .
h
L
(3.15)
dv
en el sentido de L2 ([, ])
dt
para todo t [0, ). Por otro lado, de la expansion em series para w(t)
vemos que
es decir v es diferenciable con derivada
w(t) =
\ )(k) eikx
ik 3 (S(t)f
k=
d
(ik)3 v(t)(k)
eikx
(3.16)
k=
= iDx3 v(t).
Resumiendo hemos resuelto el problema de valores iniciales
v(t) Dom(Dx3 ), para todo t 0
dv
= iDx3 v
dt
v(0) = f Dom(Dx3 )
(3.17)
3 ([, ]) implica que f Dom(D 3 ) sigue que dada

Como f Cper
x
3
f Dom(Dx ) una funcion
3
v(t) = S(t)f (:= eitx f ),
t0
(3.18)
es solucion de (3.17). Ademas el problema (3.17) esta bien planteado en

L2 ([, ]). De hecho, tenemos el resultado siguinte.
28
Felipe Linares
Teorema 3.1.1. El problema (3.17) est

a bien planteado en L2 ([, ]),
esto es, para cada f Dom(Dx3 ), existe una u
nica soluci
on v de (3.17),
adem
as, la soluci
on depende continuamente del dato inicial en el sentido
L2
L2
L2 , i.e. si {fn } Dom(Dx3 ) y fn f , entonces vn (t) v(t) para todo

t 0, donde vn (t) es la soluci
on de (3.17) con condici
on inicial fn .
Demostraci
on. Como observamos antes la funcion (3.18) es solucion de
(3.17). Veamos primero que la dependencia continua de los datos iniciales
se satisface. Usando la identidad de Parseval obtenemos
kvn (t) v(t)k2L2 = 2
= 2
X
k=
2
b
|eik t (fc
n (k) f (k))|
b 2
|fc
n (k) f (k)|
(3.19)
k=
= kfn f k2L2 .
L2
L2
Por lo tanto si fn f entonces vn (t) v(t). Para finalizar probaremos

la unicidad. Suponga que u : [0, ) 7 L2 ([, ]) es solucion de (3.17)
entonces aplicando la transformada de Fourier tenemos que
u
b Dom(MS ), para todo t 0,
d
u
b(k, t) = ik 3 u
b(k, t), para todo t 0,
dt
u
b(k, 0) = fb(k)
(3.20)
para todo k Z. Pero para cada k Z el problema (3.20) tiene una

u
nica solucion, a saber,
3
u
b(k, t) = fb(k)eik t = vb(k, t),
para todo t 0.
(3.21)
Por la unicidad de la transformada de Fourier, u v.
3.2.
Problema Lineal no Homog

eneo
En esta seccion usaremos la teora desarrollada para estudiar el problema (3.6) en el siguiente caso llamado problema lineal no homogeneo
29
u(, t) Cper ([, ]), t 0

t u + x3 u = F (x, t), en [, ] (0, )
u(x, 0) = f (x), x [, ]
(3.22)
donde F es una funcion en C([, ], [0, )).

Como en el caso lineal el problema sera reduzido a estudiar la ecuacion
diferencial ordinaria en espacios Hilbert
v(t) Dom(Dx3 ), para todo t 0,
dv
= iDx3 v + F (x, t),
dt
v(0) = f Dom(Dx3 ).
(3.23)
Teorema 3.2.1. El problema (3.23) est

a bien planteado en L2 ([, ]),
3
esto es, para cada f Dom(Dx ), y F C([, ], [0, )) existe una
u
nica soluci
on v de (3.23), adem
as, la soluci
on depende continuamente
L2
del dato inicial en el sentido L2 , es decir, si {fn } Dom(Dx3 ) y fn f ,

L2
entonces vn (t) v(t) para todo t 0, donde vn (t) es la soluci

on de
(3.23) con condici
on inicial fn .
La prueba de este resultado se dejara como ejercicio. El nuevo elemento en la prueba es la formula de variaci
on de parametros o formula de
Duhamel, esto es, soluciones del problema (3.23) se pueden representar
formalmente por la formula
Zt
S(t t0 )F (x, t0 ) dt0 .
v(x, t) = S(t)f +
(3.24)
Ejercicios
1. Pruebe que la solucion u(x, t) del problema
(
t u + x3 u = F (x, t), x T, t R,
u(x, 0) = u0 (x),
(3.25)
30
Felipe Linares
con F C(R : P), es dada por la formula
Zt
S(t t0 )F (x, t0 ) dt0
u(x, t) = S(t)f +
(3.26)
donde S(t) fue definido en (3.5).

3. Una familia de operadores {Tt }
t= definido en un espacio de
Hilbert H es llamado un grupo unitario de operadores si
(i) Para todo t R, Tt : H 7 H es una isometria; lo que implica
que
kTt f kH = kf kH .
(ii) Tt Tt0 = Tt+t0 con Tt1 = Tt .
(iii) T0 = 1.
(iv) Fijando f H, la funcion f : R 7 H definida por f (t) =
Tt f es una funcion continua, es decir, describe una curva en
H.
Pruebe que {S(t)}
t= es un grupo unitario de operadores en
s .
Hper
4. Use los ejercicios 3.1 y 3.3 para probar que el problema (3.25)
s .
esta bien colocado para datos en Hper
Captulo 4
Ecuaciones Dispersivas No
Lineales
En este captulo haremos una breve introduccion a los modelos dispersivos no lineales usando como ejemplos ecuaciones provenientes de
la teora de ondas de agua. Luego describiremos algunas propiedades
intrnsecas en los modelos dispersivos y finalmente discutiremos sobre
soluciones de tipo ondas viajeras y cantidades conservadas.
El primer ejemplo es la ecuacion de Korteweg-de Vries,
vt + vxxx + vvx = 0,
x R, t R
(4.1)
donde v es una funcion real. Esta ecuacion modela la propagacion de

ondas en un canal de aguas rasas. La situacion fsica es la siguiente:
se considera un cuerpo de agua de profundidad finita bajo la influencia
de la gravedad, acotada inferiormente por una superficie impermeable.
Ignorando los efectos de viscosidad y suponiendo que el fluido es incompresible e irrotacional, el movimiento es gobernado por las ecuaciones
de Euler con condiciones convenientes de frontera en la superficie rgida
y sobre la interface agua-aire. La funcion v representa la superficie libre.
Esta ecuacion fue deducida por Korteweg y de Vries [36].
La ecuacion de Schrodinger c
ubica es la ecuacion diferencial parcial
iut + uxx + |u|2 u = 0,
x R, t R,
(4.2)
donde u es una funcion compleja. Este modelo aparece en varias situaciones fsicas, como optica, plasma fsica y ondas de agua. En este u
ltimo
31
32
Felipe Linares
contexto, u representa la amplitud del paquete de ondas que se propaga

en una direccion sobre un canal o sobre el oceano.
El tercer ejemplo es la ecuacion de Benjamin-Ono, esto es,
wt + Hwxx + wwx = 0,
x R, t R,
(4.3)
donde H denota la transformada de Hilbert y w es una funcion real. Esta

ecuacion aparece en el modelaje de fluidos estratificados y fue deducida
por Benjamin [5] y Ono [42]. La funcion w representa la interface de dos
fluidos con densidades 1 y 2 , respectivamente. El primero esta limitado
superiormente por una superficie fija con profundidad finita, el segundo
fluido tiene profundidad infinita.
4.1.
Propiedades
Consideramos el problema de valores iniciales

(
it (i) = F (w),
x Rn , t R
(x, 0) = 0 (x) X.
(4.4)
donde es una funcion real medible y F una funcion no lineal de y

posiblemente sus derivadas.
En general, la no linealidad produce algunas obstrucciones como la
perdida de derivadas para aplicar la teora clasica desarrollada para estudiar el problema de valor inicial, como estimaciones de energa, regularizacion parabolica, teora cuasi-lineal de Kato, etc.
Aunque estos metodos clasicos en algunas situaciones producen resultados de buena colocacion local los espacios donde son obtenidos estos
resultados se realizan exigen mucha regularidad que no nos permite usar
las llamadas leyes o cantidades conservadas (seccion 4.2.2 abajo). Estas
cantidades son importantes para establecer estimaciones a priori pero
en general se satisfacen en espacios con poca regularidad (L2 , H 1 , . . . ).
Para resolver el problema (4.4), en lugar de considerar el sistema de
ecuaciones diferenciales parciales el procedimiento padron es estudiar
la ecuacion integral equivalente. Siguiendo el argumento usado en el
captulo anterior para estudiar la ecuacion lineal de Korteweg-de Vries no
homogenea, es decir, usando la formula de Duhamel nosotros podemos
33
escribir la solucion de (4.4) como,

Zt
W (t t0 ) F ((t0 )) dt0
(x, t) = W (t)0 +
(4.5)
donde {W (t)} es el grupo unitario asociado al problema lineal.

En lo que sigue describiremos dos metodos que han sido desarrollados
recientemente y que han sido aplicados para obtener resultados optimos
relacionados a la teora local y global de buena colocacion para sistemas
del tipo (4.4). Los distinguiremos como metodo de las estimaciones lineales y el metodo de las estimaciones no lineales.
4.1.1.
Estimaciones Lineales
El metodo consiste en estudiar y explotar el caracter dispersivo de

soluciones del problema lineal asociado. Tecnicas propias del Analisis
Armonico son usadas para esto.
Consideramos el problema lineal
(
it (i) = 0,
x Rn , t R
(4.6)
(x, 0) = 0 (x) X
cuya solucion es dada por
(t) = W (t)0 = eit()

b0 () .
El primer tipo de regularidad que obtenemos para las soluciones de
(4.6) proviene de las llamadas estimaciones de Strichartz o estimaciones Lp Lq . En el caso particular de la ecuacion de Schr
odinger fue
establecida la siguiente desigualdad por Strichartz [46],
Z Z
n/2(n+2)
|eit f (x, t)|2(n+2)/n dxdt
ckf kL2 .
Rn
Lo cual implica que localmente en el tiempo la solucion esta en un espacio

mas regular que el espacio del dato inicial. Generalizaciones de este tipo
de estimaciones han sido desarrolladas por varios autores como Ginibre
34
Felipe Linares
y Velo ([20], [21]) y Kenig, Ponce y Vega [34], entre otros. Establecer
versiones optimas de este tipo de estimaciones sigue siendo parte activa
de investigacion en el area.
El segundo grupo de estimaciones son los llamados efectos regularizantes de tipo Kato. Como ejemplo tenemos la observaci
on realizada
por T. Kato [30] ( vea tambien Kruzhkov y Faminskii [37]). En su estudio de la buena colocacion del problema de valor inicial asociada a la
ecuacion de Korteweg-de Vries, Kato demostro que las soluciones satisfacen
ZT ZR
1/2
|x v(x, t)|2 dxdt
C(T, R) kv0 kL2 .
T R
Esta desigualdad dice que localmente la solucion de la ecuacion KdV es

mas suave (una derivada) que su dato inicial. Esta propiedad es intrnsica
en las ecuaciones dispersivas y es fundamental para resolver el problema
de perdida de derivadas en una ecuacion no lineal. Extensiones de este
resultado fueron obtenidas por Constantin y Saut [11], Vega [49] y Sjolin
[44].
En particular, si () || se tiene que
ZT Z
1/2
|()(1)/4 (x, t)|2 dxdt
C(T, R) k0 kL2 .
T |x|R
Resultados optimos de este tipo de efectos fueron obtenidos por Kenig,

Ponce y Vega [34] para soluciones de problemas lineales homogeneos y
no homogeneos.
Para completar el grupo de estimaciones para establecer la existencia
de soluciones para la ecuacion integral (4.5) necesitamos estimaciones
para las funciones maximales asociadas a la solucion del problema
lineal. Mas precisamente, estimaciones del tipo
Z
p/2
sup |(x, t)|p dx
C(T ) k0 kH s .
Rn
[T,T ]
Este tipo de estimaciones son tema de investigaci

on en Analisis Armonico independiente del estudio de las ecuaciones diferenciales parciales.
35
Para ecuaciones de tipo dispersivo resultados importantes han sido establecidos por Kenig y Ruiz [35] y Kenig, Ponce y Vega [33] entre otros.
Una vez que este tipo de estimaciones han sido conseguidas se considera la forma integral equivalente del problema de valores iniciales (4.5)
y se le asocia un operador, digamos,
Zt
W (t t0 )F ()(t0 ) dt0 .
((t)) = W (t)0 +
(4.7)
y se procede a mostrar la existencia de solucion para esta ecuacion integral va el principio de contracci
on en un espacio determinado por las
estimaciones anteriores junto con el espacio natural para estudiar las
ecuaciones dispersivas, los espacios de Sobolev.
4.1.2.
Estimaciones No Lineales
En 1993 Bourgain [7] introdujo el siguiente espacio para estudiar las

ecuaciones NLS y KdV,
ZZ
1
2
2
hi2s h + ()i2b fb(, ) d d
kf kXs,b =
donde hi = 1 + | |. Estos espacios son conocidos en la literatura como
espacios de Restricci
on de la Transformada de Fourier o espacios
de Bourgain.
Note que
kf kXs,b = kW (t)f kH b (R,Hxs ) .
(4.8)
t
Debido a la definicion de los espacios Xs,b tenemos que considerar la

ecuacion integral (4.5) cortada por una funcion suave (t) con soporte
compacto. Digamos, (t) Co (R) tal que 1 para |t| 1 y (t) 0
para |t| > 2. Definiendo T (t) = (t/T ), para T > 0, queda entonces la
ecuacion integral,
Zt
W (t t0 )F ()(t0 ) dt0 .
(t) = T W (t)0 + T
0
El argumento de prueba es similar al caso lineal y debido a (4.8)

solo necesitamos estimar la parte no lineal. En este paso aparece la
desigualdad
36
Felipe Linares
Zt
W (t t0 )F ()(t0 ) dt0 kXs,b cT (b) kF ()kXs,b1 .
kT
0
El problema se reduce a obtener estimaciones del tipo

0
kF ()kXs,b1 cT (b,b ) kkpXs,b .
(4.9)
Para establecer esta u

ltima desigualdad es importante que el smbolo
posea una cierta simetra, como veremos en el proximo captulo.
Una herramienta muy u
til para tratar de demostrar una desigualdad
del tipo (4.9) es la llamada Estimaci
on Bilineal.
Kenig, Ponce y Vega [31] para la ecuacion KdV obtuvieron una estimacion del tipo anterior, es decir,
0
kx (v 2 )kXs,b1 cT (b,b ) kvk2Xs,b

va la forma bilineal
B(f, f, s, b) = his h ()i1b ||
ZZ
f (1 , 1 )f ( 1 , 1 ) d1 d1
d1 d1 .
s (h ( )ib h is h( ) ( )ib
h
i
2
1
1
1
1
1
1
R
No siempre es posible apenas usar los espacios de Bourgain y las estimaciones bilineales para establecer buena colocacion local. El uso de las
estimaciones de Strichartz y los efectos regularizantes tambien entran
en juego cuando no es suficiente usar las herramientas anteriores.
La gran diferencia entre este caso que estamos describiendo y el caso
periodico es que en el segundo los efectos regularizantes no estan a disposicion y tambien es difcil establecer en varias situaciones estimaciones
de Strichartz. Sin embargo, los espacios introducidos por Bourgain en su
version periodica son u
tiles para el estudio del problema de valor inicial
en el caso periodico.
4.2.
Ondas Viajeras
Una propiedad muy interesante de las ecuaciones dispersivas no lineales es la de poseer soluciones especiales del tipo u(x, t) = (x ct) (en
37
el caso unidimensional), donde c es la velocidad de propagacion de la

onda. Estas soluciones son llamadas ondas viajeras o ondas solitarias.
La existencia de este tipo de soluciones mide de alguna manera el balance entre la no linealidad y la dispersion de la ecuacion considerada.
A continuacion demostraremos la existencia de ondas estacionarias para
la ecuacion KdV.
Antes de hacer esto observamos que en la teora de sistemas integrables
(inverse scattering) este tipo de soluciones son llamados de solitons
cuando la ecuacion correspondiente es completamente integrable, el
cual es el caso de la ecuacion KdV. Para el lector interesado en este
topico referimos a [1]. Aunque este topico esta fuera del objetivo de
las notas en la u
ltima seccion de este captulo comentaremos sobre una
propiedad que caracteriza a los sistemas completamente integrables.
Consideramos la ecuacion KdV en su forma originalmente deduzida
(un cambio de variables transforma esta en la forma dada en (4.1)), es
decir,
3c0
vvx = 0,
(4.10)
vt + c0 vx + vxxx +
2h0
y buscamos por soluciones de la forma
v(x, t) = h0 (X),
X = x ct,
(4.11)
para alguna funcion y una velocidad de onda c constante. Determinaremos y c substituyendo (4.11) en la ecuacion (4.10) y usando
que = 16 c0 h20 obtendremos
1 2 00
3 2
c
h0 +
+ 1
+B =0
6
4c0
c0
(4.12)
donde B es una constante de integraci

on. Multiplicando esta u
ltima
ecuacion por 0 y integrando una vez mas tenemos que
1 2 0 2
1
c 2
h0 ( ) + 3 + 2 1
+ 4B + D = 0
3
c0
c0
(4.13)
donde D es una constante.

Buscamos una solucion tipo onda viajera (solitaria) con condiciones
de frontera , 0 , 00 0 cuando |X| . Por lo tanto B, D = 0 y
(4.13) se vuelve
1 2 0 2
h ( ) + 2 ( ) = 0
3 0
38
Felipe Linares
donde = 2( cc0 1).

Finalmente, tenemos que
Z
X=
0
d h20 1/2
=
0
3
Z
0
d
p
,
( )
haciendo la substitucion = sech2 tenemos que

X X0 =
4h2 1/2
0
para alguna constante de integraci

on X0 . Por lo tanto la solucion para
(X) es
h 3 1/2
i
(X
X
)
(4.14)
(X) = sech2
0 .
4h20
Observe que la solucion (X) cresce desde = 0 cuando X + de
manera que alcanza su valor maximo = max = en X = 0 e decresce
simetricamente a = 0 cuando X , esto implica que X0 0.
Por lo tanto la solucion final es
i
h 3 1/2
(x
ct)
(4.15)
v(x, t) = 0 sech2
4h20
donde 0 = h0 y la velocidad de onda es
1 0
.
c = c0 1 +
= c0 1 +
2
2 h0
Para finalizar esta seccion debemos mencionar que el estudio de existencia, unicidad, estabilidad (orbital) e inestabilidad de las ondas viajeras ha sido de gran interes en a
nos recientes. En el proximo captulo
comentaremos algunos resultados en esta direccion para el modelo considerado all. El lector puede consultar [2], [3], [5], [6], [22], [24], [25],
[47], [50].
4.2.1.
Ondas Peri
odicas
En el caso periodico tambien es posible obtener soluciones de tipo

onda viajera. Ascomo veremos abajo, soluciones explcitas en general
39
aparecen en terminos de las funciones elipticas de Jacobi. El estudio de

existencia y estabilidad de las ondas periodicas presenta una dificultad
mayor que el caso continuo (vea [2], [3]).
Consideramos la ecuacion de Korteweg-de Vries en la forma (4.10).
Como en la seccion anterior hacemos v(x, t) = h0 f (X), con X = x ct,
y substituimos en (4.10), lo cual produce
h20 0 2
1
(f ) = f 3 + f 2 4Bf D = F (f ).
3
c0
(4.16)
Buscamos soluciones reales acotadas para f (X). Como (f 0 )2 0 y

varia monotonamente hasta f 0 ser cero, los ceros de la c
ubica F (f ) son
cruciales. Para obtener soluciones acotadas todos los tres ceros f1 , f2 , f3
deben ser reales. Sin perdida de generalidad, escogemos f1 = 0 y f2 = .
El tercer cero debe ser negativo asque ponemos f3 = con 0 < <
. Luego la ecuacion para f (X) es:
h20 df 2
= f (f )(f )
3 dX
o
3
df
(4.17)
dX =
2
h0
[f (f )(f )]1/2
donde c = c0 1 + 2
. Colocando f = p2 en (4.16) obtenemos
2
s
3
dp
dX =
.
h20
[( p2 )( p2 )]1/2
Luego substituyendo p =
q obtenemos
Z
3 1/2
dq
X=
2
2
4h0
[(1 q )(1 m2 q 2 )]1/2
0
(4.18)
donde m =
1/2
.
(4.19)
La integral en (4.19) es una integral elptica de primer tipo, y por lo
tanto q puede ser expresada en terminos de la funcion Jacobiana sn(),
esto es,
h 3 1/2
i
q = sn
X,
m
4h20
40
Felipe Linares
donde m es el modulo de la funcion Jacobiana sn(z, m). En consecuencia,

3 1/2
X
f (X) = 1 sn2
4h20
h 3 1/2 i
= cn2
X
4h20
donde cn(z, m) es tambien una funcion Jacobiana elptica de modulo m
y cn2 (z) = 1 sn2 (z).
De la identidad (4.19) deducimos que el perodo P es dado por
4h2 1/2 Z1
dq
0
P =2
3
[(1 q 2 )(1 m2 q 2 )]1/2
0
4h0
= K(m) :=
3
donde K(m) es la integral elptica completa de primer tipo definida por
Z/2
K(m) =
0
d
(1 m sen2 )1/2
y denota la longitud de la onda cnoidal.

Observaci
on 4.2.1. Dos casos lmites son de especial interes
(i) m 1, es decir, , en este caso cn(z) sech(z). Entonces
la soluci
on onda cnoidal se aproxima a la soluci
on onda solit
aria
obtenida anteriormente.
(ii) m 0 ( 0), en este caso sn(z) sen z y cn(z) cos z. Por
lo tanto
h 3 1/2 i
f (X) = cos2
X
4h20
y
U = c0 (1 )
2
2
Usando cos(2) = 2 cos 1 tenemos
f (X) =
1 + cos
X
2
h0

y haciendo k =
3
h0
41
se sigue que
f (X) =
1 + cos(kx t)
2
donde = U k = cos k(1 16 k 2 h20 ) recuperando la teora lineal

cl
asica.
4.2.2.
Leyes de Conservaci
on
En esta seccion describiremos otra propiedad compartida por soluciones de sistemas dipersivos no lineales. El hecho de una ecuacion tener
esta propiedad es importante para el estudio de la existencia global de
soluciones, como tambien el estudio de la estabilidad orbital de ondas
viajeras en caso que la ecuacion las posea. Usaremos la ecuacion KdV
como ejemplo.
Considere la ecuacion
Tt + Xx = 0
(4.20)
donde T denota la densidad y X el flujo.
Si T y X son integrables en < x < y X 0 cuando |x|
podemos integrar (4.20) y obtener
d
dt
Entonces
T dx = X = 0.
Z
T dx = constante
y la densidad es conservada.
Considere ahora la ecuacion KdV en la forma canonica
ut 6uux + uxxx = 0.
Observe que la ecuacion (4.21) puede ser escrita como
(u)t + (3u2 + uxx )x = 0
(4.21)
42
Felipe Linares
entonces T = u y X = 3u2 + uxx . Por lo tanto si u es periodica o u

y sus derivadas decaen muy rapido para 0 cuando |x| , obtenemos
que
Z
d
u dx = 0.
dt
Conservacion de la masa
Z
u dx = constante.
La segunda ley para la ecuacion (4.21) puede ser obtenida multiplicando por u de manera que,
1 2
1
u t + (2u3 uux u2x )x = 0,
2
2
deducimos que
1
2
Z
u2 dx = constante
esto es, la conservacion de energa.

La ecuacion KdV posee un n
umero infinito de leyes de conservaci
on.
(vea [41] )
Ejercicios
1. Encuentre soluciones del tipo u(x, t) = eit (x) con una funcion
real, para la ecuacion no lineal de Schr
odinger,
it u + x2 u + u
u = 0, x, t R.
(4.22)
2. Muestre que el flujo generado por la ecuacion no lineal de Schr

odinger,
(
it u + u + |u|1 u = 0, x Rn , t > 0,
(4.23)
u(x, 0) = u0 (x)
deja invariante las siguientes cantidades:

i)
43
Z
|u(x, t)|2 dx,
Rn
ii)
Z
|u(x, t)|2
Rn
2
|u(x, t)|+1 dx.
+1
44
Felipe Linares
Captulo 5
Problemas de Valor Inicial

para las Ecuaciones
Dispersivas No Lineales
En este capitulo aplicaremos las tecnicas descritas brevemente en en
captulo anterior para el estudio de la buena colocacion local y global
del problema a valores iniciales asociado al sistema acoplado
(
iwt + rwxx w + wv
= 0,
(5.1)
1 2
ivt + svxx v + 2 w = 0.
5.1.
Modelo
Para motivar el estudio de este sistema vamos en seguida a describir

el modelo dado por el sistema de ecuaciones diferenciales parciales en
(5.1).
El interes por propiedades no lineales de materiales opticos ha crescido en a
nos recientes entre fsicos e matematicos. Ha sido sugerido que
explotando la respuesta no lineal del material, la capacidad bit-rate de
las fibras opticas se puede incrementar substancialmente lo que permitira una gran mejora en la velocidad y en la economia de manipulacion
y transmision de datos.
En materiales no centro simetricos, es decir, materiales que no poseen
inversion de simetria a nivel molecular, el orden menor de los efectos
45
46
Felipe Linares
no lineales se originan de la susceptibilidad de segundo orden (2) ; esto significa que la respuesta no lineal de la materia al campo electrico
es cuadratica (vea [13], [29]). No linealidades cuadraticas son conocidas
(por tiempo largo) por ser responsables por fenomenos tales como generacion de las llamadas segundas armonicas (duplicacion de frecuencia),
como por ejemplo la luz laser con frecuencia puede ser parcialmente
convertida a luz de frecuencia 2 al pasar atraves de un cristal con
respuesta (2) (vea [40]). Por lo tanto, tales materiales son de importancia en interaciones de ondas parametricas, en procesamiento de se
nales
(ultra-fast all-optical), como tambien en comunicaciones de larga distancia (vea [17], [40] para mas informacion sobre (2) en fisca e ingeniera).
El fenomeno de interes en dos dimensiones, espacio + tiempo, (propagacion de pulsos en fibras) es descrito por el siguiente sistema acoplado
de dos ecuaciones de Schr
odinger no lineales
(
iwt + rwxx w + wv
= 0,
(5.2)
1 2
ivt + svxx v + 2 w = 0.
Este sistema es obtenido de las ecuaciones basicas (2) de la generacion de segundas harmonicas (SHG) del tipo I (ver [40]). Las funciones complejas w = w(x, t) y v = v(x, t) representan los paquetes
de las amplitudes de la primera y segunda armonica de una onda optica, respectivamente. De esta manera, (5.2) describe la interacci
on entre
estas armonicas. Tenemos r, s = 1. Los signos de r y s son determinados por los signos de la dispersion /difraccion (casos temporal/espacial,
respectivamente). La constante mide las razones (relaciones) de la
dispersion/difraccion. Los parametros e son constantes reales (sin
dimension), con incorporando el wave-vector mismatch entre las dos
armonicas ([4], [8]).
Un tema (issue) importante en comunicaci
on optica en un regimen no
lineal es entender las llamadas ondas solitarias: ondas paradas (standing) o ondas viajantes, que son soluciones localizadas para (5.2) de la
forma
w(x, t) = eit (x),
v(x, t) = e2it (x)
(5.3)
donde , : R 7 R. Cuando especificamos las condiciones de frontera
, 0 cuando |x| +, estas soluciones son llamadas pulsos. Estamos interesados en pulsos peri
odicos, es decir, , que satisfacen las
47
condiciones de frontera periodicas (n) (0) = (n) (L), (n) (0) = (n) (L),
para todo n N y un perodo fijo L.
En el caso r = s = 1 y , > 0, el cual es el regimen mas interesante
desde el punto de vista de la fsica y la ingenieria, los pulsos satisfacen
las equaciones diferenciales ordinarias
(
00 + 0 = 0,
(5.4)
00 + 0 12 2 = 0.
con
0 = + , y 0 = + 2.
Un hecho conocido es que para los valores 0 = 0 = 1 y = 2,

el sistema (5.4) posee soluciones exatas reales de tipo pulso, esto es,
x
x
3
3
(x) = sech2
,
(x) = sech2
,
(5.5)
2
2
2
2
(vea [8], [29]). En [10], usando metodos del calculo de variaciones (el teorema del paso de la monta
na y argumentos del tipo concentraci
on y compacidad), fue probada la existencia de pulsos para todo valor de 0 > 0
y 0 = 1. Con relacion a la forma de las soluciones para (5.4), algunos
resultados numericos ([14], [12], [10], [8]) y analticos ([10], [47]) han sido
obtenidos. Una descripcion del perfil de las soluciones para (5.4) fue dada en [47] usando la teora de bifurcacion homoclnica (framework). En
este estudio fue mostrada la existencia y unicidad excepto por refleccion
((, ) 7 (, )), de soluciones que poseen un n
umero multiple de
humps (peaks or troughs), llamados multipulsos o N -pulsos, para
valores 0 < 0 e 0 suficientemente proximos de 0 . Estas soluciones
son generadas de una bifurcacion homoclnica que aparece proximo a un
(escenario) de autovalor semi simple. Para 0 = 0 y 0 pr
oximo a 0 ,
tambien fue demostrado que soluciones del tipo multipulsos no existen
(vea [14], [47] para simulaciones numericas sobre la existencia de multipulsos). Tambien observamos que en [47] fue establecida la existencia
de una rama C 1 de 1-pulsos para (5.4) parametrizada por 0 , para 0
proximo a 1, el cual contiene la solucion explcita (5.5) para 0 = 1. En
[48], fue estudiada la estabilidad y la inestabilidad de la orbita generada por los 1-pulsos o multipulsos (, ) de (5.4) (encontrados en [47]),
digamos,
O(,) = {(eis (x + x0 ), e2is (x + x0 ))| x0 , s R}.
(5.6)
48
Felipe Linares
Haciendo uso de la teora de Grillakis, Shatah y Strauss [24],[25] fueron

derivadas condiciones para mostrar la estabilidad no lineal o inestabilidad de los 1-pulsos. Ademas, aplicando un crterio de inestabilidad introducido por Grillakis [23] (vea tambien Grillakis [22] y Jones [28]), fue
demostrado el hecho notable que soluciones N -pulsos son inestables para
el flujo del sistema acoplado de ecuaciones no lineales de Schr
odinger
(5.2).
En el caso periodico el estudio fue desarrollado en [3] por Angulo y
Linares. Ademas del resultado de buena colocacion local que describiremos luego, los siguientes resultados relativos a las ondas solitarias fueron
obtenidos:
Existencia de una familia no trivial de soluciones periodicas para
(5.4) en el regimen 0 = 0 . De manera mas precisa, para > 0
fijo, bajo las siguientes condiciones:
4 2
,
L2
ii) , > 0 tal que + 2 = + ,
iii) = 2 ,
i) >
(5.7)
se obtiene = satisfaciendo la ecuacion diferencial

00 () ( + )() + 2 () = 0, R,
tal que
4 2
(5.8)
1
, + 7 Hper
([0, L])
L2
es una rama suave de soluciones. Mas, el perfil de cada es una
onda cnoidal, esto es,
hr
i
3
1
2
() = (; 1 , 2 , 3 ) = 2 + (3 2 )cn
; k , (5.9)
6
donde cn(; k) representa una funcion eliptica de Jacobi de modulo
k, los i s son funciones suaves de con 1 < 0 < 2 < 3 ,
i = 3( + )/2 y
3 2
k2 =
.
3 1
49
Esta familia de soluciones para (5.9) son pulsos periodicos positivos, que son pares y monotonamente decrecientes entre los maximos (0) = 3 (humps) y los mnimos positivos ( L2 ) = 2 (troughs).
Con relacion a la estabilidad no lineal de la orbita (5.6), se prueba
1 ([0, L])H 1 ([0, L]) por el flujo peri
que esta es estable en Hper
odiper
co de el sistema (5.2). Estos resultados son derivados de la teora
de Grillakis, Shatah y Strauss ([24]) y la teora de Floquet aplicada
al problema de autovalores periodicos para la forma Jacobiana de
la ecuacion de Lame
2
d
+ [ 12k 2 sn2 (x; k)] = 0
(5.10)
dx2
(0) = (2K), 0 (0) = 0 (2K),
donde sn(; k) es una ecuacion elptica de Jacobi y K = K(k) la
integral elptica completa de primer tipo.
Tambien es provado que la orbita
S(,) = {( 2eis (x), e2is (x))| s R},
(5.11)
1 ([0, 2L]) H 1 ([0, 2L]).

es inestable en Hper
per
5.2.
Problema de Valores Iniciales
Con relacion a la buena colocacion del PVI asociado al sistema (5.2)

vamos a establecer la teora local y global en los espacos H s ([0, L])
H s ([0, L]) para s 0. Para demostrar la teora local usaremos los espacios Xs,b introduzidos por Bourgain en [7] y las estimaciones bilineales
introducidas por Kenig, Ponce y Vega [31] para estudiar el PVI asociado a la ecuacion de Korteweg-de Vries. Mas precisamente, usaremos el
metodo empleado por Kenig, Ponce y Vega [32] para estudiar las siguientes ecuaciones de Schrodinger no lineales,
t u = ix2 u + Nj (u, u),
x R (T), t R,
(5.12)
donde la no linealidad Nj (u, u), j = 1, 2, 3, es un polinomio cuadratico,

es decir, N1 (u, u) = u2 , N2 (u, u) = uu, e N3 (u, u) = u2 .
50
Felipe Linares
En estas notas estamos interesados en las nolinealidades N1 y N2 .

Para explicar os resultados em [32] relacionados a estas nolinealidades
necesitamos de la siguiente definicion.
Definici
on 5.2.1. Sea A el espacio de funciones f tal que
(i) f : T R C.
(ii) f (x, ) S para cada x T.
(iii) f (, t) C (T) para cada t R.
Para s, b R definimos el espacio Ys,b como o completamiento de A con
relaci
on a la norma
kF kYs,b = khnis h n2 ib Fb(n, )k`2n L2 .
(5.13)
Para F Ys,b considere los operadores bilineares

B1 (F, F ) = F 2
(5.14)
B2 (F, F ) = F F .
(5.15)
y
Kenig, Ponce y Vega en [31] demostraron que dado s (1/2, 0] existe
b (1/2, 1) tal que
kB1 (F, F )kYs,b1 ckF k2Ys,b
(5.16)
y que para s < 1/2 y cualquier b R la estimacion(5.16) falla.

Por otro lado, dado cualquier s < 0 e b R ellos probaron que la
estimacion
(5.17)
kB2 (F, F )kYs,b1 ckF k2Ys,b
falla y es valida para s 0.
Estas estimaciones producen resultados de buena colocacion optimos
para os problemas periodicos asociados a (5.12) para datos iniciales en
H s (T), s > 1/2 cuando la naolinealidad es N1 y en H s (T), s = 0, para
la nolinealidad N2 .
Cuando = 1, podemos reproduzir las estimaciones (5.16) y (5.17)
para cualquier s 0 y algun b (1/2, 1) para el sistema (5.2). Estas
51
son las estimaciones principales para obtener los resultados locales. Observemos que para 6= 1 puede probarse las estimaciones (5.16) y (5.17)
para s > 1/2 y algun b (1/2, 1). Este hecho no sera demostrado en
estas notas.
Para probar los resultados globales H s (T) H s (T), s 0 sera suficiente usar la teora local y la ley de conservaci
on.
Z
F(t) :=
5.3.
|w(x, t)|2 + 2|v(x, t)|2 dx = F(0)
(5.18)
Teora Local de Buena Colocaci

on
En esta seccion demostraremos el resultado local para el problema

periodico
x [0, L], t R,
iwt + wxx w + wv = 0,
1 2
ivt + vxx
v + 2 w = 0,
w(x, 0) = w0 (x), v(x, 0) = v0 (x)
(5.19)
donde ,
R y > 0, en los espacios de Sobolev periodicos H s ([0, L])
s
H ([0, L]). Para simplificar el analisis usaremos L = 2.
Primero escribimos el sistema (5.19) como
x [0, L], t R,
iwt + wxx w + wv = 0,
a 2
ivt + a vxx v + 2 w = 0,
w(x, 0) = w0 (x), v(x, 0) = v0 (x)
(5.20)
donde a = 1/ y =
/.
Luego consideramos el sistema equivalente de ecuaciones integrales
asociado a (5.20). Sea una funcion C0 (R) con suporte supp
(2, 2) tal que (t) = 1, para t [1, 1]. Sea T () = (/T ).
Rt
0
0
0
w(t) = 1 W (t)w0 i T W (t t )w v(t ) dt

0
Rt
ia
v(t) = 1 V (t)v0 T V (t t0 )w2 (t0 ) dt0 ,

2
0
(5.21)
52
Felipe Linares
2
donde W (t) = eit(x ) y V (t) = eit(ax ) son los generadores de

Schrodinger (grupos unitarios) correspondientes al problema lineal definidos como
X
2
ikx
b
W (t) =
eit(k +) (k)e
(5.22)
k Z
y
V (t) =
eit(ak
2 +)
ikx
b
(k)e
.
(5.23)
k Z
En este caso particular necesitamos de la siguiente definicion similar

a la Definicion 5.2.1
Definici
on 5.3.1. Sea A el espacio de las funciones f tales que
(i) f : [0, L] R 7 C.
(ii) f (x, ) S para cada x [0, L].
(iii) f (, t) C ([0, L]) para cada t R.
Para s R se define el espacio Xs,b como siendo la completaci
on de A
en relaci
on a la norma
kf kXs,b = khnis h + n2 + ib fb(n, )k`2n L2 .
(5.24)
a como la
Similarmente, para s R e a > 0 definimos el espacio Xs,b
completaci
on de A en relaci
on a la norma
s
2
bb
a = khni h + a n + i f
kf kXs,b
(n, )k`2n L2 .
(5.25)
Observaci
on 5.3.1. Observe que la definici
on de los espacios Xs,b y
a es tal que
Xs,b
kwkXs,b = kW (t)wkH b Hper
(5.26)
s
t
y
a = kV (t)vk b s .
kvkXs,b
H Hper
t
(5.27)
La teora local esta contenida en el siguiente teorema.

Teorema 5.3.1. Sea s 0, a > 0 y b > 1/2. Para cualquier par
(w0 , v0 ) H s ([0, L]) H s ([0, L]), existe T = T (k(w0 , v0 )kH s H s ) > 0,
53
y una u
nica soluci
on de problema (5.20) de la forma (T w, T v) con
a
(w, v) Xs,b Xs,b en el intervalo de tiempo [T, T ] tal que
(w, v) C([T, T ] : H s ([0, L]) H s ([0, L])).
(5.28)
Mas, para cualquier T 0 (0, T ), la aplicaci

on (w0 , v0 ) 7 (w(t), v(t))
es Lipschitz de una vecindad W de H s ([0, L])H s ([0, L]) en C([T, T ] :
a .
H s ([0, L]) H s ([0, L])) Xs,b Xs,b
Observaci
on 5.3.2. Si a 6= 1 el resultado en Teorema 5.3.1 vale para
s > 1/2.
5.4.
Lemas Preliminares
Para establecer el Teorema 5.3.1 precisaremos de varios lemas preliminares. Comenzamos con el resultado siguiente.
Lema 5.4.1. Sea s R, b > 1/2, entonces
k1 W (t)w0 kXs,b c kw0 kH s ,
(5.29)
a c kv0 kH s ,
k1 V (t)v0 kXs,b
(5.30)
y
donde W (t) y V (t) fueron definidos en (5.22) y (5.23), respectivamente,
y > 0.
Demostraci
on. De la definicion de los espacios Xs,b podemos deducir
que
k1 W (t)u0 kXs,b = k1 u0 kHxs H b = k1 kH b ku0 kHxs ,
t
(5.31)
esto prueba (5.29).

La prueba de la estimacion (5.30) sigue el mismo argumento.
En lo que sigue usaremos la siguiente notacion: Sea {W (t)} el grupo
unitario definido en (5.22)
Zt
W (t t0 )f (t0 ) dt0
iW R f := iT
0
(5.32)
54
Felipe Linares
y
Zt
f (t0 ) dt0
(Lf )(t) := T
(5.33)
Observaci
on 5.4.1. Sean X y H espacios de funciones y X 0 and H 0
sus espacios duales respectivamente. Note que si kf kX = kW (t)f kH ,
entonces
k iW R f kX c kf kX 0
(5.34)
es equivalente a
k(Lf )(t)kH c kf kH 0 .
(5.35)
Lema 5.4.2.
(i) Sea b0 0 b b0 + 1, T 1. Entonces
0
kLf kH b c {T 1b+b kf kH b0 + T 1/2b kh i1 1{| |T 1} fbkL1 } (5.36)

t
0
kT W R f )kXs,b c 2 {T 1b+b kf kXs,b0
+ T 1/2b khni2s h + n2 + i1 fbk`2n L1 }
(5.37)
con c igual en (5.36) y (5.37).

(ii) Suponiendo que b0 > 1/2. Entonces
0
kLf kH b c T 1b+b kf kH b0
(5.38)
0
kT W R f kXs,b c T 1b+b kf kXs,b0
(5.39)
con la misma constante c en (5.38) y (5.39).

Observaci
on 5.4.2. Estimaciones similares son validas cuando substia .
tuimos W (t) por el grupo unitario V (t) y Xs,b por Xs,b
Demostraci
on. Defina J(t) = (Lf )(t), la transformada de Fourier de J
en relacion a t es dada por (ver ejercicio 5.3)
Z
bT ( 0 )
bT ( ) 0
b
d .
(5.40)
J( ) = c fb(t0 )
0
55
Escribimos f = f+ + f con
fb+ ( ) = fb( ) 1{| |T >1} y fb ( ) = fb( ) 1{| |T <1}
y respectivamente J = J+ + J .
Reescribimos J como
Z Z1
fb ( 0 ) (
bT )0 ( t0 ) d dt0 .
Jb ( ) = c
(5.41)
R 0
Multiplicando (5.41) por h ib , usando que
h ib c ht0 ib + | t0 |b ,
y tomando la norma L2 obtenemos
kJ kH b
t
c k
Z Z1
ht0 ib fb
b0T ( t0 ) d dt0 kL2
R 0
Z Z1
| t0 |b fb
b0T ( t0 ) d dt0 kL2 )
+k
R 0
Z1
1 k(h1 ib fb (1 ))
b0T kL2 d
c
0
Z1
1 kfb (1 ) (| |b
b0T )kL2 d
+c
0
Z1
1 kh1 ib fb (1 )kL1 k
b0T kL2 d
c
0
Z1
1 kfb (1 )kL1 k| |b
b0T kL2 d
+c
0
c kht0 ib fb kL1 k
b0T kL2 + kfb kL1 |k| |b
b0T ( t0 )kL2 ),
donde hemos usado las desigualdades de Minkowskii y Young.
(5.42)
56
Felipe Linares
Las propiedades del soporte de fb y la homegeneidad implican
0
kJ kH b c T 3/2b k
b1 kL2 + k| |b
b01 kL2 kfb kL1 .
t
(5.43)
Aplicando la desigualdad de Cauchy-Schwarz y usando las propiedades

del suporte de fb , sigue que
0
kfb kL1 cT b 1/2 kf kH b0 .
(5.44)
Combinando (5.43) y (5.44) tenemos

0
kJ kH b c T 1b+b kf kH b0 .
t
(5.45)
para cualquier b0 < 1/2 y en particular para cualquier b0 0.

Ahora estimaremos J+ . Escribimos J+ = J1 + J2 donde
Jb+ ( ) = Jb1 ( ) + Jb2 ( )
Z
1 fb+ ( ) d
bT + c
bT
= c ( 1 fb+
(5.46)
Para estimar J1 usamos la desigualdad de Young, homogeneidad y las

propiedades del suporte de fb+ . As tenemos que,
kJ1 kH b c k
bT kL1 kh ib 1 fb+ kL2 + k |b
bT kL1 k 1 fb+ kL2
t
0
c k
b1 kL1 sup | |(1b+b )
| |T 1
0
+ k| |b
b1 kL1 T b sup | |(1b ) kf kH b0
(5.47)
| |T 1
c T 1b+b kf kH b0 .
t
para todo b0 b 1.
Finalmente tenemos que
Z
kJ2 kH b = c kT kH b 1 fb+ ( ) d
t
cT
1/2b
k1 kH b k 1 fb+ kL1 .
(5.48)
Reuniendo la informacion en (5.45), (5.47) y (5.48) tenemos (5.36).
57
Para probar (5.38) observamos que para b0 > 1/2, la desigualdad de

Cauchy-Schwarz y propiedades del soporte de fb+ implican que
0
k 1 fb+ kL1 c T 1/2+b kf kH b0 .

t
(5.49)
Esta u
ltima desigualdad junto con (5.48), (5.45) y (5.47) producen la
desigualdad (5.38).
Las desigualdades (5.37) y (5.39) se obtienen aplicando (5.36) , (5.38)
y la observacion 5.4.1 para n fijo, multiplicando por hni2s y tomando la
norma `2n .
Como comentamos anteriormente cuando b > 1/2 es claro que Xs,b
C(R : H s ) (por la identidad (5.26) y el lema de Sobolev. Si b 1/2 esto
no es cierto y tenemos que encontrar un substituto para este resultado.
Aqui aparece el espacio Xs definido en via
kf kXs = k = khnis h + n2 + i1 fb( )k2`2n (L1 ) .
(5.50)
Lema 5.4.3. Sea f Xs , entonces W R f C(R : H s ).

Demostraci
on. Sin perdida de generalidad podemos suponer s = 0. Como W () es un grupo unitario fuertemente continuo en `2 , es suficiente
probar la continudad en `2 de W 1 W R f para f X0 . Que es equivRt
alente a la continuidad en L2 de F (t) = f (t0 ) dt0 para h i1 fb( )
0
`2n (L1 ).
Usando a transformada de Fourier podemos escribir
Z
F (t) = (eit 1) 1 fb( ) d.
(5.51)
Por lo tanto,
kF (t) F (t0 )k2`2n
XZ
0
0
0 0
= 2
(eit eit ) 1 fb( )(eit eit ) 01 fb( 0 ) d d 0
nZ
XZ
mn(|t t0 |, h i1 ) mn(|t t0 |, h 0 i1 )|fb( 0 )fb( )| d d 0
nZ
c kh i1 fb( )k2`2n (L1 ) .

(5.52)
58
Felipe Linares
El integrando en la penultima desigualdad en (5.52) tiende a cero

puntualmente en , , 0 cuando |t t0 | 0 y es acotado uniformemente
en t t0 por la expresion obtenida despues de retirar |t t0 | en los
minimos, la cual es integrable como muestra la u
ltima desigualdad en
(5.52). Por tanto, del teorema de la convergencia dominada se sigue que
kF (t) F (t0 )k2`2 tiende a cero cuando |t t0 | 0.
n
El siguiente lema nos permite extraer regularidad adicional.

Lema 5.4.4. Sea C0 (R) como en (5.20) y T (t) := ( Tt ) para
0 < T 1. Entonces, si 1/2 > b > b0 0 o 0 b > b0 > 1/2, la
siguiente desigualdad se satisface:
0
kT f kXs,b0 cT bb kf kXs,b .
(5.53)
Demostraci
on. Primero suponemos 1/2 > b > b0 0. Entonces para
g Htb usamos la regla de Leibniz generalizada y el lema de Sobolev
con b b0 = 1/p y b = 1/q y 1/p + 1/p0 = 1/q + 1/q 0 = 1/2 para obtener
kT gkH b0 c (kT kLpt kgkH b0 ,p0 + kT kH b0 ,q kgkLqt )
t
c (kT k
Lpt
cT
bb0
+ kT kH b0 ,q )kgkH b
(5.54)
kgkH b .
t
Para f Xs,b y W (t) = exp(it(x2 )) se sigue de (5.54),

kT f kXs,b0 = kW ()T f kH b0 (R,H s )
x
= kT W ()f k
0
Htb (R,Hxs )
c T bb kW ()f kH b (R,Hxs )
(5.55)
= cT
bb0
kW ()f kXs,b
Intercambiando b y b0 el caso 0 b > b0 > 1/2 sigue usando dualidad.
5.5.
Estimaciones Bilineales
Las estimaciones claves para tratar los terminos no lineales son las
llamadas estimaciones bilineales. A continuaci
on estableceremos las particulares en nuestro ejemplo.
59
Lema 5.5.1. Para s 0 y a > 0 tenemos

a
k w vkXs,1/2 c kwkXs,1/2 kvkXs,1/2
.
(5.56)
a
c kwk2Xs,1/2 .
kw2 kXs,1/2
(5.57)
y
Observaci
on 5.5.1. Si a 6= 1 la estimaci
on (5.56) es satisfecha para
s > 1/2. Para cualquier a > 0, la estimaci
on (5.57) se satisface para
s > 1/2.
Como en [32] el proximo corolario sigue de la prueba del Lema 5.5.1.
Corolario 5.5.1. Sea b > 1/2 con 1 b, b0 > 3/8, entonces
a ,
k w vkXs,1b c kwkXs,b0 kvkXs,b
0
(5.58)
a
kw2 kXs,1b
c kwk2Xs,b0 .
(5.59)
y
El siguiente lema es u
til en la prueba del Lema 5.5.1 ([32]).
Lema 5.5.2. Si > 1/2. Entonces
sup
nZ, R n Z
1
1
< .
(1 + | n1 (n n1 )|)
(5.60)
Demostraci
on. Escribimos la expresion (5.60) como
X
n1 Z
X
1
1
=
(1 + | n1 (n n1 )|)
(1 + |(n1 )(n1 )|)
n1 Z
(5.61)
donde = (n, ) e = son las raices del polinomio

(n1 (n n1 )) = 0.
(5.62)
Existen a lo maximo 10 n1 s tales que |n1 | 2 o |n1 | 2. El

resto de los n1 s satisfacen
1
(1 + |(n1 )(n1 )|) (1 + |n1 |)(1 + |n1 |).
2
(5.63)
Por lo tanto aplicando la desigualdad de Cauchy-Schwarz en (5.60)

obtenemos el resultado.
60
Felipe Linares
Prueba del Lema 5.5.1. A seguir demostraremos la estimacion bilineal

(5.56). La desigualdad (5.57) quedara como ejercicio para el lector.
Como
X Z
c
b (n n1 , 1 )b
wv(n,
) =
w
v (n1 , 1 ) d1 .
(5.64)
n1 Z
Sea
f (n, ) = hnis h + an2 + i1/2 |b
v (n, )|,
s
2
1/2 b
g(n, ) = hni h n i |w(n, )|
(5.65)
tal que
X
c
|wv(n,
)|2
n1 Z
hn n1
g(n n1 , 1 )
1 (n n1 )2 i1/2
is h
f (n1 , 1 )
hn1 is h1 + an21 + i1/2
(5.66)
2
d1 .
Entonces
k w vkXs,1/2
Z
hni
nZ
X Z
n1 Z
hn n1
2s
h + n2 + i
g(n n1 , 1 )
1 (n n1 )2 i1/2
is h
2 1/2
f (n1 , 1 )
d
1
hn1 is h1 + an21 + i1/2
Z
X
d
2s
hni
h + n2 + i
nZ
X Z
1/2
2
|f
(n
,
)g(n
n
,
)|
d
1 1
1
1
1
n1 Z
Z
1/2 2 1/2
d1
hni2s hn n1 i2s h1 + an21 + ih 1 (n n1 )2 i

(5.67)
Z
hn1 i
nZ
n1 Z
n1 Z
Z
h + n2 + i
|f (n1 , 1 )g(n n1 , 1 )|2 d1
1/2
d1
hn1 i2s hn n1 i2s h1 + an21 + ih 1 (n n1 )2 i
sup
nZ, R
2s
61
sup
nZ, R
A(n, , a)kf k`2n L2 kgk`2n L2

a
,
A(n, , a) kwkXs,1/2 kvkXs,1/2
donde
A(n, , a) :=
X Z
n1 Z
hnis
h + n2 + i1/2
1/2
d1
.
hn1 i2s hn n1 i2s h1 + an21 + ih 1 (n n1 )2 i
(5.68)
Por lo tanto es suficiente probar que

sup
A(n, , a) c
(5.69)
nZ, R
para obtener la estimacion (5.56).

Lema 5.5.3. Sea s 0, entonces
sup
A(n, , a) c.
(5.70)
nZ, R
Primero consideramos a 6= 1.
Usando el hecho que s 0 tenemos
A(n, , a)
+ i1/2
n2
h +
X Z
n1 Z
1/2
d1
.
h1 + an21 + ih 1 (n n1 )2 i
62
Felipe Linares
Haciendo el cambio de variables x = 1 + an21 + , obtenemos
Z
d1
2
h1 + an1 + ih 1 (n n1 )2 i
Z
=
hxihx (
n2
dx
+ 2nn1 (1 a)n21 + )i
(5.71)
ln(2 + | n2 + n1 (2n (1 a)n1 ) + |)

.
1 + | n2 + n1 (2n (1 a)n1 ) + |
Tomando > 1/2, la desigualdad anterior implica que

sup A(n, , a)
nZ, R
X ln(2 + | n2 + n (2n (1 a)n ) + |) 1/2

1
1
2 n (2n (1 a)n ) + |
1
+
|
n
1
1
nZ, R
sup
n1 Z
X ln(2 + | n2 + n (2n (1 a)n ) + |)

1
1
= sup
2 + n (2n (1 a)n ) + |)1
(1
+
|
n
1
1
nZ, R n Z
1
1/2
1
(1 + | n2 + n1 (2n (1 a)n1 ) + |)
X
1/2
1
c sup
.
(1 + | n2 + n1 (2n (1 a)n1 ) + |)
nZ, R
n1 Z
Aplicando el Lema 5.5.2 se sigue (5.70) y en consecuencia la estimacion

(5.56).
Ahora consideramos el caso a = 1. En este caso usamos un argumento
de dualidad para obtener (5.56). Haciendo uso de (5.65), la estimacion
(5.56) es equivalente a
Z
X
h(n, ) d
s
hni
h + n2 + i
nZ
X Z
n1 Z
hn n1
is h
sup
n1 Z, 1 R
g(n n1 , 1 )f (n1 , 1 )
d1
1 (n n1 )2 i1/2 hn1 is h1 + n21 + i1/2
A1 (n1 , 1 )kf k`2n L2 kgk`2n L2 khk`2n L2 .
(5.72)
63
En consecuencia solo necesitamos probar que

sup
n1 Z, 1 R
A1 (n1 , 1 ) c,
(5.73)
donde
A1 (n1 , 1 ) :=
X Z
nZ
hn1 is h1
+ n21 + i1/2
1/2
hni2s d
.
hn n1 i2s h + n2 + ih 1 (n n1 )2 i
(5.74)
Como s 0 sigue que

A1 (n1 , 1 ) =
X Z
nZ
hn1 is h1 + n21 + i1/2
1/2
hni2s d
hn n1 i2s h + n2 + ih 1 (n n1 )2 i
(5.75)
h1 + n21 + i1/2
X Z
nZ
1/2
d
.
h + n2 + ih 1 (n n1 )2 i
Cambiando variables z = + n2 + , tenemos que

Z
h +
n2
d
+ ih 1 (n n1 )2 i
Z
=
hzihz (1 +
2n2
dz
2nn1 + n21 + 2)i
ln(2 + |1 + n21 + 2n(n n1 ) + 2|)

.
1 + |1 + n21 + 2n(n n1 ) + 2|
(5.76)
64
Felipe Linares
Por lo tanto para > 1/2, la desigualdad anterior implica
sup
n1 Z,1 R
A1 (n1 , 1 )
X ln(2 + | + n2 + 2n(n n ) + 2|) 1/2

1
1
1
2
n1 Z,1 R n Z 1 + |1 + n1 + 2n(n n1 ) + 2|
1
1/2
X
1
c
sup
.
(1 + |1 + n21 + 2n(n n1 ) + 2|)
n1 Z,1 R
sup
(5.77)
nZ
El Lema 5.5.2 entonces produce el resultado. Esto termina la demostracion del Lema 5.5.1.
A continuacion realizaremos la prueba de la teoria local
Demostraci
on del Teorema 5.3.1. Definimos el espacio metrico de funciones
a
a M }.
XM := {(w, v) Xs,b Xs,b
: |||(w, v)||| = kwkXs,b + kvkXs,b
(5.78)
Para (w, v) XM definimos los operadores
Rt
(w,
v)(t)
=
W
(t)w
+
i
W (t t0 )w v(t0 ) dt0
1
1
0
T
0
(5.79)
Rt
2 (w, v)(t) = 1 V (t)v0 + 2 T V (t t0 )u2 (t0 ) dt0 .

0
Aplicando los Lemas 5.4.1, 5.4.2 y el Corolario 5.5.1 tenemos

a
k1 (w, v)kXs,b ckw0 kH s + c T kwkXs,b kvkXs,b
ckw0 kH s + cT M 2
(5.80)
2
a ckv0 kH s + c T kwk
k2 (w, v)kXs,b
Xs,b
ckv0 kH s + cT M 2 .
(5.81)
Escogiendo M 2c(kw0 kH s +kv0 kH s ) y T tal que cT M < 1/2 tenemos

que la aplicacion (1 (w, v), 2 (w, v)) : XM 7 XM esta bien definida.
Analogamente, se puede probar que (1 (w, v), 2 (w, v)) es una contraccion en el espacio XM . Del principio de contracci
on podemos deducir
65
la existencia de un unico punto fijo para (1 (w, v), 2 (w, v)) lo cual resuelve el problema. Para finalizar la prueba usamos argumentos clasicos
que dejaremos como ejercicio.
5.6.
Resultado Global
Debido a las leyes de conservaci

on junto con el resultado del Teorema
5.3.1 podemos probar el siguiente resultado global.
Teorema 5.6.1. Sea (w0 , v0 ) H s ([0, L]) H s ([0, L]), s 0. Entonces
las soluciones (w(t), v(t)) dadas en el Teorema 5.3.1 se pueden extender
a cualquier intervalo de tiempo.
Demostraci
on. El resultado es deducido usando la cantidad conservada
Z
Z
2
2
|w(x, t)| + 2|v(x, t)| dx =
|w0 (x)|2 + 2|v0 (x)|2 dx. (5.82)
y el Teorema 5.3.1.
5.7.
Ejercicios
1. Pruebe la observacion (5.3.1).

2. Pruebe la observacion (5.4.1)
3. Pruebe la formula (5.40)
4. Pruebe la desigualdad
Z
dy
ln(2 + | + a|)
.
hyihy + ai
1 + | + a|
(5.83)
5. Pruebe la estimacion bilineal (5.57).

6. Pruebe que la aplicacion (5.79) en la prueba del Teorema 5.3.1 es
una contraccion en el espacio metrico correspondiente.
7. Pruebe la unicidad en el Teorema 5.3.1.
8. Pruebe que la aplicacion datosolucion en Teorema 5.3.1 es Lipschitz.
66
Bibliografa
Bibliografa
[1] J. M. Ablowitz and P. A. Clarkson, Solitons, Nonlinear Evolution Equations and Inverse Scattering, London Mathematical Society Lecture Note Series, 149. Cambridge University
Press, Cambridge, 1991.
[2] J. Angulo, Non-Linear stability of periodic travelling-wave
solutions to the Schr
odinger and the modified Korteweg-de
Vries, Pre-print (2004).
[3] J. Angulo and F. Linares, Periodic pulses of Coupled Nonlinear Schr
odinger Equations in Optics, Indiana University
Mathematical Journal, 56, no. 2 (2007), 847877.
[4] O. Bang, C. B. Claussen and Y. S. Kivshar, Spatial solitons
and induced Kerr effects in quase-phase-matched quadratic
media, Phys. Rev. Lett. 197 (1995), 4749-4752.
[5] T. B. Benjamin, Internal waves of permanent form in fluids
of great depth, J. Fluid Mech. 29 (1967), 559592.
[6] J. L. Bona, On the stability theory of solitary waves, Proc.
Roy. Soc. London Ser. A 344 (1975), no. 1638, 363374.
[7] J. Bourgain, Fourier transform restriction phenomena for
certain lattice subsets and applications to nonlinear evolution
equations. I. Schr
odinger equations, II. The KdV equation,
Geometric and Funct. Anal., 3 (1993), 107-156, 209262.
[8] A. Buryak and Y. S. Kivshar, Solitons due to second harmonic generation, Phys. Lett. A 78 (1997), 407-412.
67
68
Bibliografa
[9] P. F. Byrd and M. D. Friedman, Handbook of Elliptic Integrals
for Engineers and Scientists, 2nd ed., Springer-Verlag: New
York and Heidelberg, (1971).
[10] A. R. Champneys, P. J. McKenna and A. C. Yew, Multiple
solitary-waves due to second harmonic generation in quadratic media , J. Nonlinear Sci. 9 (1999), 3352.
[11] P. Constantin and J-C. Saut, Local somoothing properties of
dispersive equations, J. Amaer. Math. Soc. 1 (1989), 413446.
[12] L-C. Crasovan, F. Lederer, D. Mazilu and D. Mihalache
Multiple-humped bright solitary waves in second-order nonlinear media , Opt. Eng. 35 (1996), 16161623.
[13] R. De Salvo, D.J. Hagan, M. Sheik-Bahae, G. Stegeman, H.
Vanherzeele and E.W. Van Stryland Self-Focusing and Defocusing by Cascaded Second Order Nonlinearity in KTP, Opt.
Lett. 17, 28 (1992), 2830.
[14] P. D. Drummond, H. He and M. J. Werner, Simultaneus
solitary-wave solutions in a non-linear parametric waveguide,
Phys. Rev. E 54 (1996), 896911.
[15] H. Dym and H. P. McKean, Fourier series and integrals, New
York : Academic Press, 1972.
[16] J. Duoandikoetxea, Fourier analysis, Graduate studies in
Mathematics, Providence, R.I. American Mathematical Society, 2001.
[17] P. Ferro and S. Trillo, Periodical waves, domain walls, and
modulations instability in dispersive quadratic nonlinear media, Phys. Rev. E. 51 (1995), 49944997.
[18] P. A. Franken, A. E. Hill, C. W. Peters and G. Weinreich,
Generation of optical harmonics, Phys. Rev. Lett. 7 (1961),
118119.
[19] J. Ginibre, Y. Tsutsumi and G. Velo, On the Cauchy problem
for the Zakharov system, J. Funct. Anal. 151 (1997), no. 2,
384436.
Bibliografa
69
[20] J. Ginibre and G. Velo, Scattering theory in the energy space

for the class of nonlinear Schr
odinger equations, J. Math
Pures at Appl. 64 (1985), 363401.
[21] J. Ginibre and G. Velo, On the class of nonlinear Schr
odinger
equations, J. Funct. Anal. 32 (1979), 132, 3372.
[22] M. Grillakis, Linearized instability for nonlinear Schr
odinger
and Klein-Gordon equations, Comm. Pure Appl. Math. 41
(1988), 747-774.
[23] M. Grillakis, Analysis of the linearization around a critical
point of an infinite-dimensional Hamiltonian system, Comm.
Pure Appl. Math. 43 (1990), 299-333.
[24] M. Grillakis, J. Shatah and W. Strauss, Stability theory of
solitary waves in the presence of symmetry I, J. Funct. Anal.
74 (1987), 160-197.
[25] M. Grillakis, J. Shatah and W. Strauss, Stability theory of
solitary waves in the presence of symmetry II, J. Funct. Anal.
94 (1990), 308-348.
[26] E. L. Ince, The periodic Lame functions. Proc. Royal Soc.
Edinburgh 60 (1940), 4763.
[27] R. Iorio and V. Iorio, Fourier analysis and partial differential equations, Cambridge. New York, Cambridge University
Press, 2001.
[28] C. K. R. T. Jones, instability of standing waves for nonlinear Schr
odinger type equations, Ergod. Th.& Dynam. Sys. 8
(1998), 119-138.
[29] Y. N. Karamzin and A. P. Sukhorukov, Nonlinear interaction
of diffracted light beams in a medium with quadratic nolinearity: mutual focusing of beams and limitation on the efficiency
of optical frequency converters, JETP Lett. 20, (1974), 339
342.
70
Bibliografa
[30] T. Kato, On the Cauchy problem for the (generalized)
Korteweg-de Vries equation, Advance in Math. Supplementary Studies, Studies in Appl. Math. 8 (1983), 93128.
[31] C. E. Kenig, G. Ponce and L. Vega, Quadratic forms for the
1-D semilinear Schr
odinger equation, Transactions AMS 348
(1996), 33233353.
[32] C. E. Kenig, G. Ponce and L. Vega, The Cauchy problem for
the Korteweg-de Vries equation in Sobolev spaces of negative
indices, Duke Math. J., 71 (1993), 1-21.
[33] C. E. Kenig, G. Ponce and L. Vega, Small solutions to nonlinear Schr
odinger equations, Ann. Inst. Henri Poincare 110
(1993), 255288.
[34] C. E. Kenig, G. Ponce and L.Vega, Oscillatory integrals and
regularity of dispersive equations, Indiana Univ. Math. J. 40
(1991), 3369.
[35] C. E. Kenig and A. Ruiz, A strong type (2,2) estimate for
the maximal function associated to the Schr
odinger equation,
Trans. Amer. Math. Soc. 230 (1983), 239246.
[36] D. J. Korteweg and G. de Vries, On the change of form of long
waves advancing in a rectangular canal, and on a new type
of long stationary waves, Philos. Mag. 39 (1895), 422443.
[37] S. Kruzhkov and A. Faminskii, A generalized solutions for the
Cauchy problem for the Korteweg-de Vries equation, Math.
USRR, Sbornik 48 (1984), 93138.
[38] F. Linares and G. Ponce, Introduction to nonlinear dispersive
equations, Publicac
oes Matematicas, Rio de Janeiro : IMPA,
2004.
[39] W. Magnus and S. Winkler, Hills Equation. Interscience,
Tracts in Pure and Appl. Math. 20, Wiley: NY. (1976).
[40] C. R. Menyuk, R. Schiek and L. Torner, Solitary waves due to
(2) : (2) cascading, J. Opt. Soc. Amer. B 11 (1994), 2434
2443.
Bibliografa
71
[41] R. M. Miura, The Korteweg-de Vries equation: a survey of

results, SIAM Rev. 18 (1976), no. 3, 412459.
[42] H. Ono, Algebraic solitary waves in stratified fluids, J. Phys.
Soc. Japan 39 (1975), 10821091.
[43] S. Reed and B. Simon, Methods of Modern Mathematical
Physics: Analysis of Operator, v. IV, Academic Press, (1975).
[44] P. Sjolin, Regularity of solutions to the Schr
odinger equations,
Duke Math. J. 55 (1987), 699715.
[45] E. Stein and R. Shakarchi, Fourier analysis: an introduction,
Princeton, N.J. Princeton University Press, 2003.
[46] R. S. Strichartz, Restriction of Fourier transforms to quadratic surfaces and decay of solutions of wave equations, Duke
Math. J. 44 (1977), 705714.
[47] A. C. Yew, Multipulses of nonlinearly coupled Schr
odinger
equations, J. Diff. Equations 173 (2001), 92137.
[48] A. C. Yew, Stability analysis of multipulses in nonlinearlycoupled Schr
odinger equations, Indiana Univ. Math. J. 49
(2000), 10791124.
[49] L. Vega, The Schr
odinger equation: pointwise convergence to
the initial data, Proc. Amer. Math. Soc 102 (1988), 874878.
[50] M. I. Weinstein, Existence and dynamic stability of solitary
wave solutions of equations arising in long wave propagation, Comm. Partial Differential Equations 12 (1987), no. 10,
11331173.
Asociacion Matematica Venezolana

Presidente
Carlos Di Prisco
Captulos Regionales
CAPITAL
CENTRO-OCCIDENTE
Carlos Di Prisco IVIC
Sergio Mu
noz UCLA
LOS ANDES
ORIENTE
Oswaldo Araujo ULA
Said Kas-Danouche UDO
ZULIAFALCON
Fernando S
anchez LUZ
La Asociacion Matematica Venezolana fue fundada en 1990 como una

organizacion civil sin fines de lucro, cuya finalidad es trabajar por el
desarrollo de la matematica en Venezuela.
Asociacion Matematica Venezolana
Apartado 47.898, Caracas 1041-A, Venezuela
http://amv.ivic.ve/
Consejo Directivo del IVIC

Director
Maximo Garca Sucre
Subdirector
Angel
L. Viloria
Representantes del Ministerio del Poder Popular
para la Ciencia y Tecnologa
Ra
ul Padron
Oscar Noya
Representante del Ministerio del Poder Popular
para la Educaci
on Superior
Prudencio Chacon
Representantes Laborales
Jes
us Acosta
Luis Burguillos
Gerencia General
Lira Parra
Comisi
on Editorial
Coordinador
Angel
L. Viloria
Eloy Sira
Rafael Gasson
Marian Ulrich
Mara Teresa Curcio
Katherine Faras
Pamela Navarro

Ecuaciones Dispersivas No Lineales

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Ecuaciones Dispersivas No Lineales

Încărcat de

Drepturi de autor:

Formate disponibile

Ediciones IVIC

Ecuaciones dispersivas no lineales . CASO PERIDICO

XX ESCUELA VENEZOLANA DE MATEMTICAS

Ecuaciones dis persivas

MRIDA, VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

Ecuaciones dispersivas no lineales.

Ecuaciones dispersivas no lineales.

La XX ESCUELA VENEZOLANA DE MATEMATICAS

1991 Mathematics Subject Classification: 35Q53, (35B10, 35B65).

En memoria de Julieta Ramirez y Dolores (Lola) Linares

(IMPA) y Didier Pilod (IMPA-UFRJ) por haber leido cuidadosamente

Rio de Janeiro, Julio de 2007.

1. Ecuaciones Dispersivas Lineales

3. Problemas de Valor Inicial para las Ecuaciones Dispersivas Lineales

5. Problemas de Valor Inicial para las Ecuaciones

Cuando esta onda plana es substituida en (1.1) t

Ecuacion lineal de Schr

Ecuacion lineal de Korteweg-de Vries

Las relaciones de dispersion para estas ecuaciones son respectivamente,

Ecuaciones dispersivas no lineales

los planos y cuya magnitud es el n

Cf (k) = k, donde k es el vector unitario k = 1 k.

Observe que un vector n

Cf (k) = (k1 , k2 , k3 ) (ecuacion lineal de Schr

La velocidad de grupo difiere de la velocidad de fase como vemos en

Cg (k) = 2(k1 , k2 , k3 ) (ecuacion lineal de Schr

Cg (k) = + 3 k 2 . (ecuacion lineal de Korteweg-de Vries)

Las soluciones (1.2) son dispersivas si la velocidad de grupo no es

donde F (k) es escogida de manera que las condiciones iniciales o de

Ecuaciones dispersivas no lineales

(ii) Ecuacion de Klein-Gordon

(iii) Ecuacion de ondas

(iv) Ecuacion lineal Zakharov-Kusnetsov

La serie de Fourier de f es dada (formalmente) por

para referirnos a la serie de Fourier correspondiente a f y denotaremos

Para simplificar la notacion de ahora en adelante usaremos [a, b] =

Las preguntas naturales que aparecen son:

Antes de responder a estas preguntas introduciremos a seguir algunas

es un espacio de Banach donde k k es la norma del sup en la recta,

Ecuaciones dispersivas no lineales

donde J R es un intervalo de longitud 2.

k ([`, `]) con la norma Lp no es un espacio completo.

Teorema 2.1.1. Suponga que f es una funci

Fourier de f converge uniformemente a f , es decir,

de manera que la serie de Fourier de f converge absoluta y uniformemente para f .

Observe que si f es diferenciable y f

Tambien, si f es dos veces diferenciable, entonces

Ecuaciones dispersivas no lineales

Ahora discutiremos algunos resultados que garantizan la convergencia

Teorema 2.1.2. Sea f una funci

Este resultado vale si f satisface una condicion de Lipschitz en x0 ,

Teorema 2.1.3. Suponga f, g integrables, peri

Comenzamos recordando la definicion de los espacios Lp . Para 1

Ecuaciones dispersivas no lineales

define un producto interno en Lp ([, ]), ademas

En el caso 1 p < la desigualdad (2.8) vale. El caso p = 1 no es

fb(k) gb(k) = 2 hfb| gb i,

Otro metodo para recuperar la funcion f de sus coeficientes, es el

Mas precisamente, seja

donde FN (y) es el nucleo de Fejer, que es dado por

Observe que FN (y) puede escribirse como

1 sen( N2+1 y) x 6= 2k, k Z

Teorema 2.1.5. Si f Lp , 1 p < , o si f es continua y p = ,