XX Linares Final

XX ESCUELA VENEZOLANA DE MATEMÁTICAS
Felipe Linares
Ecuaciones dis persivas
Ecuaciones dispersivas no lineales . CASO PERIÓDICO

no lineales .
CASO PERIÓDICO
Felipe Linares
Ediciones IVIC
MÉRIDA, VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

XX ESCUELA VENEZOLANA DE MATEMÁTICAS
Ecuaciones dispersivas no lineales.

Caso periódico
Felipe Linares
MÉRIDA, VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

Ecuaciones dispersivas no lineales.

Caso periódico
Felipe Linares
Instituto de Matemática Pura e Aplicada
linares@impa.br
MÉRIDA, VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

La Escuela Venezolana de Matemáticas es una actividad de los postgra-
dos en matemáticas de las instituciones siguientes: Centro de Estudios
Avanzados del Instituto Venezolano de Investigaciones Cientı́ficas, Fa-
cultad de Ciencias de la Universidad Central de Venezuela, Facultad de
Ciencias de la Universidad de Los Andes, Universidad Simón Bolı́var,
Universidad Centroccidental Lisandro Alvarado y Universidad de Orien-
te, y se realiza bajo el auspicio de la Asociación Matemática Venezolana.
La XX ESCUELA VENEZOLANA DE MATEMÁTICAS recibió financiamien-
to de la Academia de Ciencias Fı́sicas, Matemáticas y Naturales, la
Corporación Andina de Fomento (CAF), el Fondo Nacional de Cien-
cia, Tecnologı́a e Innovación (FONACIT), la Fundación TALVEN, el
Instituto Venezolano de Investigaciones Cientı́ficas (Departamento de
Matemáticas y Ediciones IVIC), la Universidad de los Andes (CEP,
CDCHT, Facultad de Ciencias y Departamento de Matemáticas) y el
Rectorado de la Unversidad Centroccidental Lisandro Alvarado.
1991 Mathematics Subject Classification: 35Q53, (35B10, 35B65).
c
°Ediciones IVIC
Instituto Venezolano de Investigaciones Cientı́ficas
Ecuaciones Dispersivas no lineales. Caso periódico
Felipe Linares
Diseño y edición: Escuela Venezolana de Matemáticas
Preprensa e impresión: Editorial Texto
Depósito 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 dis-

persivas no lineales. Tratamos de dar una noción global de los modelos
fı́sicos considerados y presentar algunos los problemas de ı́nteres y méto-
dos que se han desarrollado recientemente en esta área de las ecuaciones
diferenciales parciales.
Escogimos estudiar el caso periódico por no ser encontrado usual-
mente en la literatura. Parte esencial de estas notas fueron tomadas del
articulo [3]. Usaremos como ejemplo el sistema acoplado de ecuaciones
de Schrödinger estudiado allı́ para ilustrar varias ideas utilizadas al re-
solver el problema de valor inicial de sistemas dispersivos no lineales en
el contexto periódico. Un tratamiento más detallado de las ecuaciones
dispersivas no lineales puede ser encontrado en [38].
Un conocimiento de análisis real y variable compleja serı́an los pre-
requı́sitos para este curso, aunque las notas son autocontenidas en la
medida de lo posible.
En el primer capı́tulo introducimos el concepto de ecuación de tipo
dispersivo. En el Capı́tulo 2, presentamos algunas nociones básicas de
la teorı́a de las Series de Fourier, distribuciones periódicas y espacios de
Sobolev. Una descripción más detallada puede verse en los textos [15],
[16], [27] y [45]. Una aplicación al problema de valor inicial es dada en
el Capı́tulo 3. Usamos las Series de Fourier para estudiar los problemas
lineales homogéneos y no homegéneos asociado a la ecuación lineal de
Korteweg-de Vries. Un recuento de várias propiedades de las ecuaciones
dispersivas no lineales es desarrollado en el Capı́tulo 4. Finalmente, en
el Capı́tulo 5 usamos un sistema acoplado de ecuaciones no lineales de
Schrödinger para aplicar las técnicas recientemente desarrolladas en el
estudio de problemas de valor inicial asociados a este tipo de sistemas.
Quiero agradecer a Luiz Gustavo Farah (IMPA), Aı́da González Nieva
V
VI PREFACIO
(IMPA) y Didier Pilod (IMPA-UFRJ) por haber leido cuidadosamente

una versión preliminar de estas notas y por las sugerencias y correcciones
hechas que sin duda dieron una mejora sustancial a la presentación final
de este texto. También me gustaria agradecer a Jaime Angulo (USP)
por insistir con el caso periódico y a Leonardo Mora (ULA-Venezuela)
quien me invito a participar en este proyecto.
Rio de Janeiro, Julio de 2007.

Índice general
Prefacio V
1. Ecuaciones Dispersivas Lineales 1
2. Series de Fourier 7
2.1. Definición y Propiedades . . . . . . . . . . . . . . . . . . . 7
2.1.1. Convergencia Puntual . . . . . . . . . . . . . . . . 11
2.1.2. Convergencia en Lp . . . . . . . . . . . . . . . . . 12
2.1.3. Métodos de Sumabilidad . . . . . . . . . . . . . . . 13
2.2. Distribuciones Periódicas . . . . . . . . . . . . . . . . . . 15
2.2.1. Series de Fourier en P 0 . . . . . . . . . . . . . . . . 17
2.3. Espacios de Sobolev . . . . . . . . . . . . . . . . . . . . . 18
3. Problemas de Valor Inicial para las Ecuaciones Disper-

sivas Lineales 23
3.1. Problema Lineal Homogéneo . . . . . . . . . . . . . . . . 24
3.2. Problema Lineal no Homogéneo . . . . . . . . . . . . . . . 28
4. Ecuaciones Dispersivas No Lineales 31

4.1. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.1.1. Estimaciones Lineales . . . . . . . . . . . . . . . . 33
4.1.2. Estimaciones No Lineales . . . . . . . . . . . . . . 35
4.2. Ondas Viajeras . . . . . . . . . . . . . . . . . . . . . . . . 36
4.2.1. Ondas Periódicas . . . . . . . . . . . . . . . . . . . 38
4.2.2. Leyes de Conservación . . . . . . . . . . . . . . . . 41
VII
VIII ÍNDICE GENERAL
5. Problemas de Valor Inicial para las Ecuaciones Disper-

sivas No Lineales 45
5.1. Modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.2. Problema de Valores Iniciales . . . . . . . . . . . . . . . . 49
5.3. Teorı́a Local de Buena Colocación . . . . . . . . . . . . . 51
5.4. Lemas Preliminares . . . . . . . . . . . . . . . . . . . . . . 53
5.5. Estimaciones Bilineales . . . . . . . . . . . . . . . . . . . . 58
5.6. Resultado Global . . . . . . . . . . . . . . . . . . . . . . . 65
5.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Bibliografı́a 66
Capı́tulo 1
Ecuaciones Dispersivas
Lineales
Para introducir la noción de dispersión consideraremos una ecuación

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(k·x−ωt) (1.2)
donde A es la amplitud de la onda, k = (k1 , k2 , k3 ) es el vector número
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 solución
del tipo (1.2) existe si y solamente si ω y k estan relacionados por la
ecuación
P (−iω, ik1 , ik2 , ik3 ) = 0. (1.3)
Esta ecuación es conocida como la relación de dispersión.
Observe que existe una correspondencia directa entre la ecuación (1.1)
y la relación de dispersión (1.3) atraves de
∂ ¡ ∂ ∂ ∂ ¢
↔ −iω, , , ↔ i(k1 , k2 , k3 ). (1.4)
∂t ∂x1 ∂x2 ∂x3
1
2 Felipe Linares
O sea la primera ecuación puede ser derivada de la segunda y recipro-

camente usando (1.4).
Ejemplo 1.0.1. Considere las siguientes ecuaciones lineales
Ecuación de la viga
vtt − γ 2 vxxxx = 0, x ∈ R, t ∈ R.
Ecuación lineal de Schrödinger
i∂t ϕ + ∆ϕ = 0, x ∈ R3 , t ∈ R.
Ecuación lineal de Korteweg-de Vries
∂t w + α∂x w + β∂x3 w = 0, x ∈ R, t ∈ R.
Las relaciones de dispersión para estas ecuaciones son respectiva-

mente,
ω 2 − γ 2 k 4 = 0,
ω − (k12 + k22 + k32 ) = 0
y
ω − αk − βk 3 = 0.
La relación de dispersión caracteriza la evolución de la onda plana. En

algunos problemas la relación de dispersión puede escribirse en forma
explı́cita
ω = W (k) = W (k1 , k2 , k3 ), (1.5)
es decir, en términos de las raı́ces reales de la ecuación (1.3). Hay un
número de soluciones de este tipo, en general con diferentes funciones
W (k) llamados modos.
Ejemplo 1.0.2. En el caso de la ecuación de la viga la relación de

dispersión 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 número de onda cuya dirección es normal a
Ecuaciones dispersivas no lineales 3
los planos y cuya magnitud κ es el número promedio de crestas por 2π

unidades de distancia. Similarmente, −∂t θ es la frecuencia ω, el número
promedio de crestas por 2π unidades de tiempo. La longitud de onda es
λ = 2π/κ y el perı́odo es τ = 2π/ω.
Cualquier superficie de fase se desplaza con velocidad normal ω/κ en
la dirección 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 número de onda diferente lleva a una velocidad
de fase diferente, esto caracteriza la dispersión.
Ejemplo 1.0.3. Para las ecuaciones del Ejemplo 1.0.1 tenemos que la
velocidad de fase es dada por
ω±
Cf ± (k) = = ±γk (ecuación de la viga)
k
Cf (k) = (k1 , k2 , k3 ) (ecuación lineal de Schrödinger)
Cf (k) = α + β k 2 . (ecuación lineal de Korteweg-de Vries)
Existe otra velocidad de propagación 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) = ±2γk (ecuación de la viga)
Cg (k) = 2(k1 , k2 , k3 ) (ecuación lineal de Schrödinger)

4 Felipe Linares
Cg (k) = α + 3β k 2 . (ecuación lineal de Korteweg-de Vries)
La situación fı́sica 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 número 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 número de onda local y frecuencia pero las crestas
se mantienen pasandolo.
En el caso unidimensional,
ω dω
ω = W (k), Cf (k) = , Cg (k) = .
k 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. Fı́sicamente,
cuando el tiempo evoluciona, las ondas diferentes se dispersan en el
medio teniendo como resultado que un perfil (single lump) se descom-
pone en un tren de ondas.
En general, la ecuación (1.1) es dispersiva si W (k) es real y el deter-
minante
¯ ∂ 2 W (k) ¯
¯ ¯
¯ ¯ 6= 0.
∂ki ∂kj
Por el principio de superposición para ecuaciones lineales, la solución

general puede obtenerse de (1.2) con la relación de dispersión (1.3). Para
el caso unidimensional, la solución general tiene la representación vı́a la
integral
Z∞
u(x, t) = F (k) ei(k·x−tω(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 fı́sicamente realistas
para poder definir la expresión (1.8) llamada, transformada de Fourier.
Ejercicios
1. Encuentre la relación de dispersión, velocidad de fase y velocidad
de grupo de las siguientes ecuaciones.
(i) Ecuación de Boussinesq lineal
∂t2 u − ∂x2 u + ∂x4 u = 0, x ∈ R, t ∈ R.
(ii) Ecuación de Klein-Gordon
vtt − α2 vxx + β 2 v = 0, x ∈ R, t ∈ R.
(iii) Ecuación de ondas
∂t2 w − c2 ∆w = 0, x ∈ R3 , t ∈ R.
(iv) Ecuación lineal Zakharov-Kusnetsov
∂t v + ∂x ∆v = 0, , (x, y) ∈ R2 , t ∈ R.
6 Felipe Linares
Capı́tulo 2
Series de Fourier
En este capı́tulo 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 perı́odico.
2.1. Definición y Propiedades

Definición 2.1.1. Sea f : [a, b] 7→ C una función integrable. Sea L la
longitud del intervalo [a, b], el k-ésimo coeficiente de Fourier de f es
definido por
Zb
1
fb(k) = f (x) e−2πikx/L dx, k ∈ Z. (2.1)
L
a
La serie de Fourier de f es dada (formalmente) por

∞
X
fb(k) e2πikx/L . (2.2)
k=−∞
Usaremos la notación
∞
X
f (x) ∼ fb(k) e2πikx/L
k=−∞
7
8 Felipe Linares
para referirnos a la serie de Fourier correspondiente a f y denotaremos

la N -ésima suma parcial por
X
SN (f ) = fb(k) e2πikx/L , N ∈ N.
|k|≤N
Para simplificar la notación de ahora en adelante usaremos [a, b] =

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

(A) En qué sentido SN (f ) converge a f cuando N → ∞?
(B) Cuándo X
SN (f ) = fb(k) e2πkx/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 periódica de perı́odo 2π si f (x + 2π) = f (x) para
todo x ∈ R.
La colección de todas las funciones periódicas de perı́odo 2π de clase
k
C será denotada por Cperk ([−π, π]), k = 0, 1, 2, . . . .
k ([−π, π]) junto con la norma
El espacio Cper
k
X
kf kk,∞ = 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)|
x∈R x∈J
donde J ⊂ R es un intervalo de longitud 2π.

Podemos identificar Cper ([−π, π]) con el conjunto {f ∈ C([−π, π]) :
f (−π) = f (π)}, de manera similar podemos identificar Cper k ([−π, π]) con
el conjunto {f ∈ C k ([−π, π]) : f (j) (−π) = f (j) (π), j = 1, 2, . . . , k}.

Definimos la seminorma
³ Zπ ´1/p
kf kLp = |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 función integrable en [−π, π]
con fb(k) = 0 para todo k ∈ Z. Entonces f (x0 ) = 0 siempre que f sea
contı́nua 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,
lı́m SN (f )(x) = f (x), uniformemente en x.

N →∞
Aquı́ tenemos que observar que existen funciones continuas cuyas se-
ries de Fourier son divergentes. (vea [27], [16]).
Qué condiciones en f garantizan la convergencia absoluta de la se-
rie de Fourier? Como veremos en el próximo resultado suavidad en f
implicará convergencia absoluta.
Corolario 2.1.3. Suponga que f es dos veces continuamente diferen-
ciable en [−π, π]. Entonces
¡ 1 ¢
fb(k) = O , cuando | k| → ∞,
| k|2
de manera que la serie de Fourier de f converge absoluta y uniforme-
mente para f .
10 Felipe Linares
Demostración. Suponga k 6= 0. Integrando por partes y usando la pe-

riodicidad de f tenemos que
Zπ
2π fb(k) = f (x) e−ikx dx
−π
Zπ
1
= f 0 (x) e−ikx dx
ik
−π
(2.3)
Zπ
1
= f 00 (x) e−ikx dx
(ik)2
−π
Zπ
1
=− f 00 (x) e−ikx dx.
k2
−π
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 pro-

piedades más importantes de la transformada de Fourier, esto es,
fb0 (k) = ik fb(k) para todo k ∈ Z. (2.4)
P
∞
Observe que si f es diferenciable y f ∼ ak eikx , entonces
k=−∞
∞
X
f0 ∼ ik ak eikx .
k=−∞
También, si f es dos veces diferenciable, entonces

∞
X
f 00 ∼ (ik)2 ak eikx .
k=−∞
Definición 2.1.2. Sean f, g ∈ Cper ([−π, π]). La convolución de f y g

denotada por f ∗ g es definida por
Zπ
1
f ∗ g(x) = f (x − y)g(y) dy. (2.5)
2π
−π
Ejemplo 2.1.1.
N
X
SN (f )(x) = fb(k) eikx
k=−N
N ³
X Zπ ´
1
= f (y) e−iky dy eikx
2π (2.6)
k=−N −π
Zπ ³ X
N ´
1
= f (y) eik(x−y) dy
2π
−π k=−N
= (f ∗ DN )(x).
DN es conocido como núcleo de Dirichlet.
Proposición 2.1.1 (Propiedades de la convolución). Sean f, g funcio-

nes 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
∗ g(k) = fb(k)b
v) f[ 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 función integrable en [−π, π] que es dife-

renciable en el punto x0 . Entonces
SN (f )(x0 ) → f (x0 ) cuando N → ∞.
Este resultado vale si f satisface una condición de Lipschitz en x0 ,

esto es,
|f (x) − f (x0 )| ≤ M |x − x0 |
para algun M ≥ 0 y todo x.
Todavı́a si f y f 0 fueran seccionalmente continuas vale que
f (x+ −
0 ) + f (x0 )
SN (f )(x0 ) → cuando N → ∞.
2
Teorema 2.1.3. Suponga f, g integrables, periódicas de perı́odo 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 → ∞.
Notación.
2.1.2. Convergencia en Lp
Comenzamos recordando la definición de los espacios Lp . Para 1 ≤
p < ∞.
Lp ([−π, π]) = {f : R → C, medibles tales que kf kLp < ∞}
y L∞ [−π, π]) denota las funciones periódicas 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)
−π
define un producto interno en Lp ([−π, π]), además
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 sufi-
cientes 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 biyección entre L2 ([−π, π]) y `2 (Z). Además, vale la identidad de
Parseval,
∞
X
kf k2L2 = 2π |fb(k)|2 = 2πkfbk2`2 , (2.9)
−∞
o equivalentemente,
∞
X
hf | gi = 2π fb(k) gb(k) = 2π hfb| gb i, f, g ∈ L2 ([−π, π]). (2.10)
−∞
2.1.3. Métodos de Sumabilidad
Otro método para recuperar la función f de sus coeficientes, es el

método de sumabilidad. Los más conocidos son los métodos de suma-
bilidad de Cesàro y de Poisson. aqui solo describiremos el primero. El
método de Poisson puede ser visto en [16],[27],[45].
El método de Cesàro usa la media aritmetica de las sumas parciales.
14 Felipe Linares
Más precisamente, seja

N
1 X
σN f (x) = Sk (f )(x)
N +1
k=0
Zπ N
1 X
= f (y) Dk (x − y)dy
N +1
−π k=0
Zπ
= 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
N +1 1
FN (y) = sen( 2 y)
N + 1 x = 2kπ, k ∈ Z
y que satisface las siguientes propiedades
(i) FN (y) ≥ 0,
(ii)
Zπ
1
FN (y) dy = 1,
2π
−π
(iii) Z
lı́m FN (y) dy = 0 δ > 0.
N →∞
δ<|y|<π
Teorema 2.1.5. Si f ∈ Lp , 1 ≤ p < ∞, o si f es continua y p = ∞,

entonces
lı́m kσN f − f kLp = 0. (2.11)
N →∞
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 identica-

mente cero.
2.2. Distribuciones Periódicas

El conjunto de todas las funciones periódicas φ : R → C de clase C ∞
con perı́odo 2π es denotado por P = Cper ∞ . El espacio vectorial P no
n introducidas anteriormente.
es completo en relación a las normas Cper
Podemos todavı́a definir una distancia natural en P dada por
∞
X kφ(j) − ψ (j) k∞
d(φ, ψ) = 2−j , φ, ψ ∈ P. (2.12)
j=0
1 + kφ(j) − ψ (j) k∞
Observación 2.2.1. La distancia d introduce una métrica en P. Ade-

P (j)
más, φn → φ si y sólo si kφn − φ(j) k∞ → 0 cuando n → ∞ para todo
j = 0, 1, 2, . . . .
Tenemos el siguiente resultado.
Teorema 2.2.1. (P, d) es un espacio métrico completo. Además, si con-

sideramos {φn } ⊂ P y φ ∈ P, entonces
d
φn → φ ⇔ kφ(j) (j)
n − φ k∞ → 0 para todo j ≥ 0.
Con relación a las series de Fourier tenemos el siguiente resultado.
Corolario 2.2.1. Para todo ϕ ∈ P, la N -ésima suma parcial de ϕ

converge a ϕ en P.
Definición 2.2.1. Denotaremos por S(Z) el espacio de las sucesiones

rapidamente decrecientes, esto es, el conjunto de las sucesiones comple-
jas {ak }k∈Z tales que
∞
X
|k|j |ak | < ∞ ∀j = 0, 1, 2, . . . (2.13)
k=−∞
16 Felipe Linares
Si S(Z) con la distancia

∞
X
˜ b) = ka − bk∞,j
d(a, 2−j , a, b ∈ S(Z). (2.14)
1 + ka − bk∞,j
j=0
con
kak∞,j = sup (|ak ||k|j )∞.
k∈Z
Definición 2.2.2. Sea a = {ak }k∈Z ∈ S(Z). La transformada inversa

de Fourier de a es la función
∞
X
∨
a(x) = (F −1 )(x) = ak eikx , x ∈ R (2.15)
k=−∞
Teorema 2.2.2. La transformada de Fourier es una aplicación biyectiva

linear entre S(Z) y P, esto es, un isomorfismo y un homeomorfismo.
Definición 2.2.3. Decimos que Ψ : P 7→ C es una distribución

periódica si
(1) Ψ es lineal.
P
(2) Ψ es continua, es decir, si ϕj → 0 cuando j → ∞, entonces la
sucesión numerica Ψ(ϕj ) → 0 cuando j → ∞.
Ejemplo 2.2.1. Es fácil ver que f ∈ Cper define una distribución pe-
riódica Ψf por la fórmula
Zπ
hΨf , ϕi = f (x)ϕ(x) dx, ϕ ∈ P. (2.16)
−π
Ejemplo 2.2.2. Un ejemplo de una distribución que no proviene de la

formula (2.16) es la conocida delta de Dirac δx definida por
hδx , ϕi = ϕ(x), ϕ ∈ P. (2.17)
Definición 2.2.4. Decimos que la sucesión {Ψj } ⊂ P 0 converge a Ψ en

P 0 si
hΨj , ϕi → hΨ, ϕi cuando j → ∞ ∀ϕ ∈ P.
La operación de diferenciación en las distribuciones es definida de tal

manera que ellas sean infinitamente diferenciables.
Definición 2.2.5. Sea f ∈ P 0 . Su derivada distribucional f 0 ∈ P 0 es
definida por la relación
hf 0 , ϕi = −hf, ϕ0 i, ϕ ∈ P.
2.2.1. Series de Fourier en P 0

Definición 2.2.6. La transformada de Fourier de f ∈ P 0 es la función
fb : Z → C defnida por la formula
1
fb(k) = hf, e−ik x i, k ∈ Z. (2.18)
2π
La N -ésima suma parcial de la serie de Fourier asociada a f es dada
por
XN
SN (f )(x) = fb(k)eikx .
k=−N
Note que SN (f ) se entiende como distribución 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,
∞
X
hf, ϕi = 2π fb(k)ϕ(−k).
b (2.19)
k=−∞
Definición 2.2.7. La sucesión de números complejos {an }n∈Z 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 }k∈Z ∈ S 0 (Z). Entonces existe una única
f ∈ P 0 tal que fb = a. Recı́procamente, si f ∈ P 0 entonces fb ∈ S 0 (Z).
18 Felipe Linares
2.3. Espacios de Sobolev

En esta sección introducimos los espacios de Sobolev periódicos.
s =
Definición 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
∞
X
kf k2s = 2π (1 + |k|2 )s |fb(k)|2 < ∞. (2.20)
k=−∞
En el siguiente teorema resumiremos algunas propiedades de los espa-

cios de Sobolev.
s
Teorema 2.3.1. (i) Para todo s ∈ R, Hper es un espacio de Hilbert
con relación al producto interno
∞
X
(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 está continua y densamente
r
inmerso en Hper y
s
kf kr ≤ kf ks , para todo f ∈ Hper . (2.22)
s )0 el dual topológico de H s
(iii) (Hper per es isométricamente isomorfo a
−s
Hper para todo s ∈ R. La dualidad es realizada via el par
∞
X
hf, gi = 2π (1 + |k|2 )s fb(k) gb(k), f ∈ Hper
s −s
, g ∈ Hper . (2.23)
k=−∞
Teorema 2.3.2. Si k es un entero positivo, entonces f ∈ Hper k coincide
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
P k
y kf (j) k son equivalentes.
j=0
El siguiente resultado conocido como el Lema de Sobolev nos permite

relacionar “derivadas débiles” con derivadas en el sentido clásico.
Teorema 2.3.3. Si s > 21 , entonces Hper

s está continua y densamente
inmerso en Cper y
kf k∞ ≤ kfbk`1 ≤ ckf ks , f ∈ Hper

s
(2.24)
Demostración. Usando la desigualdad de Cauchy-Schwarz y la hipótesis
s > 1/2 tenemos que
X X (1 + |k|2 )s/2 |fb(k)|
|fb(k)| =
k∈Z k∈Z
(1 + |k|2 )s/2
³X ´1/2 ³X 1 ´1/2
≤ (1 + |k|2 )s |fb(k)|2 (2.25)
(1 + |k|2 )s
k∈Z k∈Z
³X 1 ´1/2
= kf ks < ∞.
(1 + |k|2 )s
k∈Z
Por lo tanto {fb(k)}k∈Z ∈ `1 y ası́

∞
X
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π Zπ ³X
∞ ´
hg, ϕi = g(x)ϕ(x) dx = fb(k) eikx ϕ(x) dx
−π −π −∞
∞
X Z π ∞
X (2.26)
= f (k) ϕ(x)eikx dx = 2π fb(k)ϕ(−k)
b b
−∞ −π −∞
= 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
∞
X ³X
∞
1 ´1/2
|f (x)| ≤ |fb(k)| ≤ kf ks ∀x ∈ [−π, π]. (2.27)
−∞ −∞
(1 + |k|2 )s
20 Felipe Linares
s
La siguiente definición será utı́l para probar que Hper es un álgebra
de Banach para s > 1/2.
Definición 2.3.2. Sean a = {ak } y b = {bk } sucesiones de números
complejos. La convolución de a y b, a ∗ b se define como la sucesión
∞
X
(a ∗ b)k = aj bk−j (2.28)
j=−∞
siempre que el lado derecho de la igualdad tenga sentido.

Proposición 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)
Teorema 2.3.4. Si s > 12 , el espacio Hper s 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
Zπ
1 ¯ ¯
¯f (x) − SN (f )(x)¯2 dx → 0 cuando N → ∞.
2π
−π
y
∞
X
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|<δ
Pruebe que
lı́m SN (f )(x) = f (x).
N →∞
k ([−L, L]) con la norma Lp no es un

5. Pruebe que el espacio Cper
espacio completo.
6. Pruebe la Proposición 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 }k∈Z ∈ S(Z) si y sólo si
kak∞,j = sup (|ak ||k|j ).

k∈Z
13. Pruebe la Proposición 2.3.1.

22 Felipe Linares
Capı́tulo 3
Problemas de Valor Inicial

para las Ecuaciones
Dispersivas Lineales
Consideraremos una ecuación diferential parcial con coeficientes cons-

tantes de tipo dispersivo y estudiaremos la evolución de la solución cuan-
do 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 solu-
ciones para el problema (3.1). Una vez esto sea establecido la pregunta
natural que aparece es si la solución encontrada es única, nos referimos
a este punto como unicidad de la solución. En general los modelos consi-
derados en (3.1) provienen de modelos fı́sicos, como la teorı́a de ondas de
agua, optica, propagación de ondas en fı́sica 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 serı́a que pequeños cambios en el dato inicial la solución corre-
spondiente no sufra grandes cambios. Esos tres aspectos sobre soluciones
del problema (3.1) pueden resumirse en la siguiente definición.
Definición 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
sucesión 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 solución con dato inicial φ, sea
garantizado para el problema (3.1), diremos que el problema de valor
inicial está bien planteado. Si T es finito diremos que el problema
(3.1) está localmente bien planteado. Caso contrario diremos que
está globalmente bien planteado.
3.1. Problema Lineal Homogéneo

Comenzaremos definiendo el dominio del operador tres derivadas.
Dom(Dx3 ) = {f ∈ L2 ([−π, π]) : f (3) ∈ L2 ([−π, π])}

(3.2)
= {f ∈ L2 ([−π, π]) : {ik 3 fb(k)} ∈ `2 (Z)}
d3
Dx3 f = if, f ∈ Dom(Dx3 ) (3.3)
dx3
Usando la identidad de Parseval podemos definir el siguiente operdor
de multiplicación,
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
S(t)f (x) = fb(k)eik t eikx . (3.5)
k∈Z
A continuación estudiaremos el problema de valor inicial asociado a

la ecuación linealizada KdV, esto es,

 3
u(·, t) ∈ Cper ([−π, π]), t ≥ 0
∂t u + ∂x3 u = 0, em ([−π, π] × (0, ∞) (3.6)


u(x, 0) = f (x), x ∈ ([−π, π].
Usando transformada de Fourier obtenemos que

(
b(k, t) + (ik)3 u
∂t u b(k, t) = 0,
(3.7)
u b
b(k, 0) = f (k),
o 
du b(k, t) − ik 3 u
b(k, t) = 0,
dt (3.8)
ub(k, 0) = fb(k),
cuya solución para cada k y t > 0 es dada por
3
b(k, t) = fb(k) eik t .
u
Luego una solución formal para el problema (2.10) es dada por

∞
X 3
u(x, t) = fb(k) eik t eikx . (3.9)
k=−∞
Ası́ tenemos que

∞
X 3
∂t u(x, t) = ik 3 fb(k) eik t eikx
k=−∞
X∞
3 (3.10)
= −(ik)3 fb(k) eik t eikx
k=−∞
= −∂x3 u(x, t)
esto es,
∂t u + ∂x3 u = 0.
Además,
∞
X
u(x, 0) = f (x) = fb(k) eikx
k=−∞
3 ([−π, π]). Nuestro objetivo ahora es reinterpretar el proble-
pues f ∈ Cper
ma de valores iniciales (3.6) como un problema de valores iniciales para
una ecuación 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
∞
X 3
kv(t)k2L2 = kS(t)f k2L2 = 2π |fb(k) eik t |2
k=−∞
∞
X
= 2π |fb(k)|2 = kf k2L2 ,
k=−∞
y por lo tanto v : [0, ∞) 7→ L2 ([−π, π]).

Por otro lado,
3
f ∈ Cper ([−π, π]) ⊆ Dom(Dx3 )
P∞
ik 3 fb(k) eik t eikx converge en L2 ([−π, π]) en t = 0 y por
3
y w(t) =
k=−∞
lo tanto w : [0, ∞) 7→ L2 ([−π, π]). Deseamos demostrar que
° v(t + h) − v(t) °
° °
lı́m ° − w(t)° 2 = 0. (3.11)
h→∞ h L
Definición 3.1.1. Si J es un intervalo y ψ : J 7→ L2 ([−π, π]) es una

función, decimos que ψ es diferenciable en t0 ∈ J en el sentido de
L2 ([−π, π]) si existe el lı́mite
ψ(t) − ψ(t0 ) dψ
lı́m = (t0 )
t→t0 t − t0 dt
t∈J
en la norma L2 ([−π, π]).

Usando la identidad de Parseval (2.31) obtenemos
° v(t + h) − v(t) °2
° °
° − w(t)° 2
h L
X∞ ¯ n eik3 h − 1 o¯2
¯ ik3 t b ¯
= 2π ¯e f (k) − ik 3 ¯
h
k=−∞
∞ ¯
X ³ ik 3 Zh 3 ´¯2 (3.12)
¯b ¯
= 2π ¯f (k) eik τ dτ − ik 3 ¯
h
k=−∞ 0
∞
X ¯ Zh ¯2
b 3 2¯ 1 3 ¯
= 2π |f (k)k | ¯ (eik τ − 1) dτ ¯ .
h
k=−∞ 0
Como f ∈ Dom(Dx3 ) para cada t ≥ 0 y ² > 0 podemos escoger N² ∈ Z+

tal que
X ²2
2π |fb(k)k 3 |2 < (3.13)
2
|k|>N²
y δ > 0 tal que si δ < t/2 para t > 0 y |h| < δ
¡ X ¢ ¯ 1 Zh ¯2 ²2
¯ 3 ¯
2π |fb(k)k |
3 2
máx ¯ (eik τ − 1) dτ ¯ ≤ . (3.14)
|k|<N h 2
|k|≤N 0
Combinando (3.12), (3.13) y (3.14) tenemos que

° v(t + h) − v(t) °
° °
° − w(t)° 2 < ². (3.15)
h L
dv
es decir v es diferenciable con derivada en el sentido de L2 ([−π, π])
dt
para todo t ∈ [0, ∞). Por otro lado, de la expansión em series para w(t)
vemos que
∞
X
w(t) = \ )(k) eikx
ik 3 (S(t)f
k=−∞
∞
X
d (3.16)
=− (ik)3 v(t)(k) eikx
k=−∞
= iDx3 v(t).
Resumiendo hemos resuelto el problema de valores iniciales


 v(t) ∈ Dom(Dx3 ), para todo t ≥ 0

dv
= iDx3 v (3.17)

 dt

v(0) = f ∈ Dom(Dx3 )
3 ([−π, π]) implica que f ∈ Dom(D 3 ) sigue que dada
Como f ∈ Cper x
3
f ∈ Dom(Dx ) una función
3
v(t) = S(t)f (:= eit∂x f ), t≥0 (3.18)
es solución de (3.17). Además 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) está bien planteado en L2 ([−π, π]),

esto es, para cada f ∈ Dom(Dx3 ), existe una única solución v de (3.17),
además, la solución 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 solución de (3.17) con condición inicial fn .
Demostración. Como observamos antes la función (3.18) es solución de

(3.17). Veamos primero que la dependencia continua de los datos iniciales
se satisface. Usando la identidad de Parseval obtenemos
∞
X 3
kvn (t) − v(t)k2L2 = 2π |eik t (fc b
n (k) − f (k))|
2
k=−∞
X∞
(3.19)
= 2π |fc b 2
n (k) − f (k)|
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 solución de (3.17)
entonces aplicando la transformada de Fourier tenemos que


ub ∈ Dom(MS ), para todo t ≥ 0,

d
b(k, t) = ik 3 u
u b(k, t), para todo t ≥ 0, (3.20)

 dt

ub(k, 0) = fb(k)
para todo k ∈ Z. Pero para cada k ∈ Z el problema (3.20) tiene una

única solución, a saber,
3
b(k, t) = fb(k)eik t = vb(k, t),
u para todo t ≥ 0. (3.21)
Por la unicidad de la transformada de Fourier, u ≡ v.
3.2. Problema Lineal no Homogéneo

En esta sección usaremos la teorı́a desarrollada para estudiar el pro-
blema (3.6) en el siguiente caso llamado problema lineal no homogéneo

 3
u(·, t) ∈ Cper ([−π, π]), t ≥ 0
∂t u + ∂x3 u = F (x, t), en [−π, π] × (0, ∞) (3.22)


u(x, 0) = f (x), x ∈ [−π, π]
donde F es una función en C([−π, π], [0, ∞)).

Como en el caso lineal el problema sera reduzido a estudiar la ecuación
diferencial ordinaria en espacios Hilbert


 v(t) ∈ Dom(Dx3 ), para todo t ≥ 0,

dv
= iDx3 v + F̃ (x, t), (3.23)

 dt

v(0) = f ∈ Dom(Dx3 ).
Teorema 3.2.1. El problema (3.23) está bien planteado en L2 ([−π, π]),

esto es, para cada f ∈ Dom(Dx3 ), y F̃ ∈ C([−π, π], [0, ∞)) existe una
única solución v de (3.23), además, la solución 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 solución de
(3.23) con condición inicial fn .
La prueba de este resultado se dejara como ejercicio. El nuevo elemen-

to en la prueba es la fórmula de variación de parámetros o fórmula de
Duhamel, esto es, soluciones del problema (3.23) se pueden representar
formalmente por la fórmula
Zt
v(x, t) = S(t)f + S(t − t0 )F (x, t0 ) dt0 . (3.24)
0
Ejercicios
1. Pruebe que la solucion u(x, t) del problema
(
∂t u + ∂x3 u = F (x, t), x ∈ T, t ∈ R,
(3.25)
u(x, 0) = u0 (x),
30 Felipe Linares
con F ∈ C(R : P), es dada por la fórmula
Zt
u(x, t) = S(t)f + S(t − t0 )F (x, t0 ) dt0 (3.26)
0
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 Tt−1 = T−t .

(iii) T0 = 1.
(iv) Fijando f ∈ H, la función Φf : R 7→ H definida por Φf (t) =
Tt f es una función 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
Capı́tulo 4
Ecuaciones Dispersivas No
Lineales
En este capı́tulo haremos una breve introducción a los modelos dis-

persivos no lineales usando como ejemplos ecuaciones provenientes de
la teorı́a de ondas de agua. Luego describiremos algunas propiedades
intrı́nsecas en los modelos dispersivos y finalmente discutiremos sobre
soluciones de tipo ondas viajeras y cantidades conservadas.
El primer ejemplo es la ecuación de Korteweg-de Vries,
vt + vxxx + vvx = 0, x ∈ R, t ∈ R (4.1)
donde v es una función real. Esta ecuación modela la propagación de

ondas en un canal de aguas rasas. La situación fı́sica 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 incom-
presible e irrotacional, el movimiento es gobernado por las ecuaciones
de Euler con condiciones convenientes de frontera en la superficie rı́gida
y sobre la interface agua-aire. La función v representa la superficie libre.
Está ecuación fue deducida por Korteweg y de Vries [36].
La ecuación de Schrödinger cúbica es la ecuación diferencial parcial
iut + uxx + |u|2 u = 0, x ∈ R, t ∈ R, (4.2)
donde u es una función compleja. Este modelo aparece en várias situa-

ciones fı́sicas, como óptica, plasma fı́sica 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 dirección sobre un canal o sobre el oceano.
El tercer ejemplo es la ecuación 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 función real. Esta

ecuación aparece en el modelaje de fluidos estratificados y fue deducida
por Benjamin [5] y Ono [42]. La función 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
(
i∂t ω − φ(−i∇)ω = F (w), x ∈ Rn , t ∈ R
(4.4)
ω(x, 0) = ω0 (x) ∈ X.
donde φ es una función real medible y F una función no lineal de ω y

posiblemente sus derivadas.
En general, la no linealidad produce algunas obstrucciones como la
pérdida de derivadas para aplicar la teorı́a clásica desarrollada para es-
tudiar el problema de valor inicial, como estimaciones de energı́a, regu-
larización parabólica, teorı́a cuasi-lineal de Kato, etc.
Aunque estos métodos clásicos en algunas situaciones producen resul-
tados de buena colocación local los espacios donde son obtenidos estos
resultados se realizan exigen mucha regularidad que no nos permite usar
las llamadas leyes o cantidades conservadas (sección 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 ecuación integral equivalente. Siguiendo el argumento usado en el
capı́tulo anterior para estudiar la ecuacion lineal de Korteweg-de Vries no
homogénea, es decir, usando la fórmula de Duhamel nosotros podemos
escribir la solución de (4.4) como,
Zt
ω(x, t) = W (t)ω0 + W (t − t0 ) F (ω(t0 )) dt0 (4.5)
0
donde {W (t)} es el grupo unitario asociado al problema lineal.

En lo que sigue describiremos dos métodos que han sido desarrollados
recientemente y que han sido aplicados para obtener resultados óptimos
relacionados a la teorı́a local y global de buena colocación para sistemas
del tipo (4.4). Los distinguiremos como método de las estimaciones li-
neales y el método de las estimaciones no lineales.
4.1.1. Estimaciones Lineales

El método consiste en estudiar y explotar el caracter dispersivo de
soluciones del problema lineal asociado. Técnicas propias del Análisis
Armónico son usadas para esto.
Consideramos el problema lineal
(
i∂t ω − φ(−i∇)ω = 0, x ∈ Rn , t ∈ R
(4.6)
ω(x, 0) = ω0 (x) ∈ X
cuya solución 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 estima-
ciones Lp − Lq . En el caso particular de la ecuación de Schrödinger 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 solución está en un espacio

más 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 óptimas de este tipo de estimaciones sigue siendo parte activa
de investigación en el área.
El segundo grupo de estimaciones son los llamados efectos regulari-
zantes de tipo Kato. Como ejemplo tenemos la observación realizada
por T. Kato [30] ( vea también Kruzhkov y Faminskii [37]). En su es-
tudio de la buena colocación del problema de valor inicial asociada a la
ecuación de Korteweg-de Vries, Kato demostro que las soluciones satis-
facen
³ ZT ZR ´1/2
|∂x v(x, t)|2 dxdt ≤ C(T, R) kv0 kL2 .
−T −R
Esta desigualdad dice que localmente la solución de la ecuación KdV es

mas suave (una derivada) que su dato inicial. Esta propiedad es intrı́nsica
en las ecuaciones dispersivas y es fundamental para resolver el problema
de pérdida de derivadas en una ecuación no lineal. Extensiones de este
resultado fueron obtenidas por Constantin y Saut [11], Vega [49] y Sjölin
[44].
En particular, si φ(ξ) ∼ |ξ|α se tiene que
³ ZT Z ´1/2
|(−∆)(α−1)/4 ω(x, t)|2 dxdt ≤ C(T, R) kω0 kL2 .
−T |x|≤R
Resultados óptimos de este tipo de efectos fueron obtenidos por Kenig,

Ponce y Vega [34] para soluciones de problemas lineales homogéneos y
no homogéneos.
Para completar el grupo de estimaciones para establecer la existencia
de soluciones para la ecuación integral (4.5) necesitamos estimaciones
para las funciones maximales asociadas a la solución del problema
lineal. Más precisamente, estimaciones del tipo
³Z ´p/2
sup |ω(x, t)|p dx ≤ C(T ) kω0 kH s .
[−T,T ]
Rn
Este tipo de estimaciones son tema de investigación en Análisis Armó-

nico independiente del estudio de las ecuaciones diferenciales parciales.
Para ecuaciones de tipo dispersivo resultados importantes han sido es-

tablecidos por Kenig y Ruiz [35] y Kenig, Ponce y Vega [33] entre otros.
Una vez que este tipo de estimaciones han sido conseguidas se consi-
dera la forma integral equivalente del problema de valores iniciales (4.5)
y se le asocia un operador, digamos,
Zt
Φ(ω(t)) = W (t)ω0 + W (t − t0 )F (ω)(t0 ) dt0 . (4.7)
0
y se procede a mostrar la existencia de solución para esta ecuación in-

tegral vı́a el principio de contracción 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 ¯ ¯2 ´1
hξi2s hτ + φ(ξ)i2b ¯fb(ξ, τ )¯ dτ dξ
2
kf kXs,b =
donde h·i = 1 + | · |. Estos espacios son conocidos en la literatura como

espacios de Restricción 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 definición de los espacios Xs,b tenemos que considerar la

ecuación integral (4.5) cortada por una función 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
ecuación integral,
Zt
ω(t) = ψT W (t)ω0 + ψT W (t − t0 )F (ω)(t0 ) dt0 .
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
kψT W (t − t0 )F (ω)(t0 ) dt0 kXs,b ≤ cT θ(b) kF (ω)kXs,b−1 .
0
El problema se reduce a obtener estimaciones del tipo

0
kF (ω)kXs,b−1 ≤ cT α(b,b ) kωkpXs,b . (4.9)
Para establecer esta última desigualdad es importante que el sı́mbolo

posea una cierta simetrı́a, como veremos en el próximo capı́tulo.
Una herramienta muy útil para tratar de demostrar una desigualdad
del tipo (4.9) es la llamada Estimación Bilineal.
Kenig, Ponce y Vega [31] para la ecuación KdV obtuvieron una esti-
mación del tipo anterior, es decir,
0
k∂x (v 2 )kXs,b−1 ≤ cT α(b,b ) kvk2Xs,b
vı́a la forma bilineal
B(f, f, s, b) = hξis hτ − φ(ξ)i1−b |ξ|×

ZZ
f (ξ1 , τ1 )f (ξ − ξ1 , τ − τ1 ) dτ1 dξ1
s (hτ − φ(ξ )ib hξ − ξ is h(τ − τ ) − φ(ξ − ξ )ib
dτ1 dξ1 .
R2 hξ 1 i 1 1 1 1 1
No siempre es posible apenas usar los espacios de Bourgain y las esti-

maciones bilineales para establecer buena colocación local. El uso de las
estimaciones de Strichartz y los efectos regularizantes también entran
en juego cuando no es suficiente usar las herramientas anteriores.
La gran diferencia entre este caso que estamos describiendo y el caso
periódico es que en el segundo los efectos regularizantes no estan a dis-
posición y también es difı́cil establecer en varias situaciones estimaciones
de Strichartz. Sin embargo, los espacios introducidos por Bourgain en su
versión periódica son útiles para el estudio del problema de valor inicial
en el caso periódico.
4.2. Ondas Viajeras

Una propiedad muy interesante de las ecuaciones dispersivas no linea-
les es la de poseer soluciones especiales del tipo u(x, t) = φ(x − ct) (en
el caso unidimensional), donde c es la velocidad de propagación de la

“onda”. Estas soluciones son llamadas ondas viajeras o ondas solitarias.
La existencia de este tipo de soluciones mide de alguna manera el ba-
lance entre la no linealidad y la dispersión de la ecuación considerada.
A continuación demostraremos la existencia de ondas estacionarias para
la ecuación KdV.
Antes de hacer esto observamos que en la teorı́a de sistemas integrables
(“inverse scattering”) este tipo de soluciones son llamados de “solitons”
cuando la ecuación correspondiente es “completamente integrable”, el
cual es el caso de la ecuación KdV. Para el lector interesado en este
tópico referimos a [1]. Aunque este tópico esta fuera del objetivo de
las notas en la última sección de este capı́tulo comentaremos sobre una
propiedad que caracteriza a los sistemas completamente integrables.
Consideramos la ecuación KdV en su forma originalmente deduzida
(un cambio de variables transforma esta en la forma dada en (4.1)), es
decir,
3c0
vt + c0 vx + σvxxx + vvx = 0, (4.10)
2h0
y buscamos por soluciones de la forma
v(x, t) = h0 φ(X), X = x − ct, (4.11)
para alguna función φ y una velocidad de onda c constante. Deter-

minaremos φ y c substituyendo (4.11) en la ecuación (4.10) y usando
que σ = 16 c0 h20 obtendremos
1 2 00 3 2 ¡ c¢
h0 φ + φ + 1− φ+B =0 (4.12)
6 4c0 c0
donde B es una constante de integración. Multiplicando esta última
ecuación por φ0 y integrando una vez mas tenemos que
1 2 0 2 1 ¡ c¢ 2
h0 (φ ) + φ3 + 2 1 − φ + 4Bφ + D = 0 (4.13)
3 c0 c0
donde D es una constante.
Buscamos una solución tipo onda viajera (solitária) 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φ Zφ
dφ ³ h20 ´1/2 dφ
X= = p ,
φ0 3 φ (ρ − φ)
0 0
haciendo la substitución φ = ρ sech2 θ tenemos que

³ 4h2 ´1/2
0
X − X0 = θ
3ρ
para alguna constante de integración X0 . Por lo tanto la solución para

φ(X) es
h³ 3ρ ´1/2 i
φ(X) = ρ sech2 (X − X 0 .
) (4.14)
4h20
Observe que la solución φ(X) cresce desde φ = 0 cuando X → +∞ de
manera que alcanza su valor máximo φ = φmax = α en X = 0 e decresce
simétricamente a φ = 0 cuando X → −∞, esto implica que X0 ≡ 0.
Por lo tanto la solución final es
h³ 3α ´1/2 i
v(x, t) = η0 sech2 (x − ct) (4.15)
4h20
donde η0 = αh0 y la velocidad de onda es

³ α´ ³ 1 η0 ´
c = c0 1 + = c0 1 + .
2 2 h0
Para finalizar esta sección debemos mencionar que el estudio de exis-
tencia, unicidad, estabilidad (orbital) e inestabilidad de las ondas via-
jeras ha sido de gran interes en años recientes. En el próximo capı́tulo
comentaremos algunos resultados en esta dirección para el modelo con-
siderado allı́. El lector puede consultar [2], [3], [5], [6], [22], [24], [25],
[47], [50].
4.2.1. Ondas Periódicas

En el caso periódico también es posible obtener soluciones de tipo
onda viajera. Ası́como veremos abajo, soluciones explı́citas en general
aparecen en términos de las funciones elipticas de Jacobi. El estudio de

existencia y estabilidad de las ondas periódicas presenta una dificultad
mayor que el caso continuo (vea [2], [3]).
Consideramos la ecuación de Korteweg-de Vries en la forma (4.10).
Como en la sección 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 ). (4.16)
3 c0
Buscamos soluciones reales acotadas para f (X). Como (f 0 )2 ≥ 0 y
varia monotonamente hasta f 0 ser cero, los ceros de la cúbica F (f ) son
cruciales. Para obtener soluciones acotadas todos los tres ceros f1 , f2 , f3
deben ser reales. Sin pérdida de generalidad, escogemos f1 = 0 y f2 = α.
El tercer cero debe ser negativo ası́que ponemos f3 = α − β con 0 < α <
β. Luego la ecuación para f (X) es:
h20 ¡ df ¢2
= f (f − α)(f − α − β)
3 dX
o s
3 df
2 dX = − (4.17)
h0 [f (f − α)(f − α − β)]1/2
¡ ¢
donde c = c0 1 + 2α−β
2 . Colocando α − f = p2 en (4.16) obtenemos
s
3 dp
dX = . (4.18)
h20 [(α − p2 )(β − p2 )]1/2
√
Luego substituyendo p = αq obtenemos
Z q
³ 3β ´1/2 dq ¡ α ¢1/2
2 X= donde m = .
4h0 [(1 − q )(1 − m2 q 2 )]1/2
2 β
0
(4.19)
La integral en (4.19) es una integral elı́ptica de primer tipo, y por lo
tanto q puede ser expresada en términos de la función Jacobiana sn(·),
esto es,
h³ 3β ´1/2 i
q = sn X, m
4h20
40 Felipe Linares
donde m es el módulo de la función Jacobiana sn(z, m). En consecuencia,

£ ³ 3β ´1/2 ¤
f (X) = α 1 − sn2 X
4h20
h³ 3β ´1/2 i
= α cn2 X
4h20
donde cn(z, m) es también una función Jacobiana elı́ptica de módulo m
y cn2 (z) = 1 − sn2 (z).
De la identidad (4.19) deducimos que el perı́odo 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 elı́ptica completa de primer tipo definida por
Zπ/2
dθ
K(m) =
(1 − m sen2 θ)1/2
0
y λ denota la longitud de la onda cnoidal.

Observación 4.2.1. Dos casos lı́mites son de especial interes
(i) m → 1, es decir, α → β, en este caso cn(z) → sech(z). Entonces
la solución onda cnoidal se aproxima a la solución onda solitária
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
√
α£ ¡ 3β ¢ ¤
f (X) = 1 + cos X
2 h0
√
y haciendo k = √3β se sigue que
h0
α£ ¤
f (X) = 1 + cos(kx − ωt)
2
donde ω = U k = cos k(1 − 16 k 2 h20 ) recuperando la teorı́a lineal

clásica.
4.2.2. Leyes de Conservación

En esta sección describiremos otra propiedad compartida por solu-
ciones de sistemas dipersivos no lineales. El hecho de una ecuación tener
esta propiedad es importante para el estudio de la existencia global de
soluciones, como también el estudio de la estabilidad orbital de ondas
viajeras en caso que la ecuación las posea. Usaremos la ecuación KdV
como ejemplo.
Considere la ecuación
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
Z∞
d ¯∞
T dx = −X ¯−∞ = 0.
dt
−∞
Entonces
Z∞
T dx = constante
−∞
y la densidad es conservada.
Considere ahora la ecuación KdV en la forma canónica
ut − 6uux + uxxx = 0. (4.21)
Observe que la ecuación (4.21) puede ser escrita como
(u)t + (−3u2 + uxx )x = 0

42 Felipe Linares
entonces T = u y X = −3u2 + uxx . Por lo tanto si u es periódica o u

y sus derivadas decaen muy rápido para 0 cuando |x| → ∞, obtenemos
que
Z∞
d
u dx = 0.
dt
−∞
Conservación de la masa
Z∞
u dx = constante.
−∞
La segunda ley para la ecuación (4.21) puede ser obtenida multipli-

cando por u de manera que,
¡ 1 2¢ 1
u t + (−2u3 − uux − u2x )x = 0,
2 2
deducimos que
Z∞
1
u2 dx = constante
2
−∞
esto es, la conservación de energı́a.
La ecuación KdV posee un número infinito de leyes de conservación.
(vea [41] )
Ejercicios
1. Encuentre soluciones del tipo u(x, t) = eiγt ϕ(x) con ϕ una función
real, para la ecuación no lineal de Schrödinger,
i∂t u + ∂x2 u + uū = 0, x, t ∈ R. (4.22)
2. Muestre que el flujo generado por la ecuación no lineal de Schrö-

dinger,
(
i∂t u + ∆u + λ |u|α−1 u = 0, x ∈ Rn , t > 0,
(4.23)
u(x, 0) = u0 (x)
deja invariante las siguientes cantidades:
i) Z
|u(x, t)|2 dx,
Rn
ii) Z
2λ
|∇u(x, t)|2 − |u(x, t)|α+1 dx.
α+1
Rn
44 Felipe Linares
Capı́tulo 5
Problemas de Valor Inicial

para las Ecuaciones
Dispersivas No Lineales
En este capitulo aplicaremos las técnicas descritas brevemente en en

capı́tulo anterior para el estudio de la buena colocación local y global
del problema a valores iniciales asociado al sistema acoplado
(
iwt + rwxx − θw + w̄v = 0,
(5.1)
iσvt + svxx − αv + 12 w2 = 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 ópticos ha cresci-
do en años recientes entre fı́sicos e matemáticos. Ha sido sugerido que
explotando la respuesta no lineal del material, la capacidad bit-rate de
las fibras ópticas se puede incrementar substancialmente lo que permi-
tirı́a una gran mejorı́a en la velocidad y en la economia de manipulación
y transmisión de datos.
En materiales no centro simétricos, es decir, materiales que no poseen
inversión de simétria a nivel molecular, el orden menor de los efectos
45
46 Felipe Linares
no lineales se originan de la susceptibilidad de segundo orden χ(2) ; es-

to significa que la respuesta no lineal de la materia al campo eléctrico
es cuadrática (vea [13], [29]). No linealidades cuadráticas son conocidas
(por tiempo largo) por ser responsables por fenómenos tales como gen-
eración de las llamadas segundas armónicas (duplicación de frecuencia),
como por ejemplo la luz laser con frecuencia ω puede ser parcialmente
convertida a luz de frecuencia 2ω al pasar através de un cristal con
respuesta χ(2) (vea [40]). Por lo tanto, tales materiales son de importan-
cia en interaciones de ondas paramétricas, en procesamiento de señales
(ultra-fast all-optical), como también en comunicaciones de larga distan-
cia (vea [17], [40] para más información sobre χ(2) en fisı́ca e ingenierı́a).
El fenómeno de interes en dos dimensiones, espacio + tiempo, (propa-
gación de pulsos en fibras) es descrito por el siguiente sistema acoplado
de dos ecuaciones de Schrödinger no lineales
(
iwt + rwxx − θw + w̄v = 0,
(5.2)
iσvt + svxx − αv + 12 w2 = 0.
Este sistema es obtenido de las ecuaciones básicas χ(2) de la gen-

eración de segundas harmónicas (SHG) del tipo I (ver [40]). Las fun-
ciones complejas w = w(x, t) y v = v(x, t) representan los paquetes
de las amplitudes de la primera y segunda armónica de una onda opti-
ca, respectivamente. De esta manera, (5.2) describe la interacción entre
estas armónicas. Tenemos r, s = ±1. Los signos de r y s son determina-
dos por los signos de la dispersion /difracçion (casos temporal/espacial,
respectivamente). La constante σ mide las razones (relaciones) de la
dispersión/difracción. Los parámetros θ e α son constantes reales (sin
dimensión), con α incorporando el “wave-vector mismatch” entre las dos
armónicas ([4], [8]).
Un tema (issue) importante en comunicación óptica en un regimen no
lineal es entender las llamadas “ondas solitarias”: ondas paradas (stand-
ing) o ondas viajantes, que son soluciones localizadas para (5.2) de la
forma
w(x, t) = eiγt φ(x), v(x, t) = e2iγt ψ(x) (5.3)
donde φ, ψ : R 7→ R. Cuando especificamos las condiciones de frontera
φ, ψ → 0 cuando |x| → +∞, estas soluciones son llamadas “pulsos”. Es-
tamos interesados en “pulsos periódicos”, es decir, φ, ψ que satisfacen las
condiciones de frontera periódicas φ(n) (0) = φ(n) (L), ψ (n) (0) = ψ (n) (L),
para todo n ∈ N y un perı́odo fijo L.
En el caso r = s = 1 y θ, α > 0, el cual es el regimen más interesante
desde el punto de vista de la fı́sica 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,
3 ³x´ 3 ³x´
φ(x) = ± √ sech2 , ψ(x) = ± sech2 , (5.5)
2 2 2 2
(vea [8], [29]). En [10], usando métodos del cálculo de variaciones (el teo-
rema del paso de la montaña y argumentos del tipo concentración y com-
pacidad), fue probada la existencia de pulsos para todo valor de α0 > 0
y θ0 = 1. Con relación a la forma de las soluciones para (5.4), algunos
resultados numéricos ([14], [12], [10], [8]) y analı́ticos ([10], [47]) han sido
obtenidos. Una descripción del perfil de las soluciones para (5.4) fue da-
da en [47] usando la teorı́a de bifurcación homoclı́nica (framework). En
este estudio fue mostrada la existencia y unicidad excepto por reflección
((φ, ψ) 7→ (−φ, ψ)), de soluciones que poseen un número multiple de
“humps” (peaks or troughs), llamados “multipulsos” o “N -pulsos”, para
valores α0 < θ0 e α0 suficientemente próximos de θ0 . Estas soluciones
son generadas de una bifurcación homoclı́nica que aparece próximo a un
(escenario) de autovalor semi simple. Para α0 = θ0 y α0 próximo a θ0 ,
también fue demostrado que soluciones del tipo multipulsos no existen
(vea [14], [47] para simulaciones numéricas sobre la existencia de mul-
tipulsos). También observamos que en [47] fue establecida la existencia
de una rama C 1 de 1-pulsos para (5.4) parametrizada por α0 , para α0
próximo a 1, el cual contiene la solución explı́cita (5.5) para α0 = 1. En
[48], fue estudiada la estabilidad y la inestabilidad de la órbita genera-
da 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 teorı́a de Grillakis, Shatah y Strauss [24],[25] fueron

derivadas condiciones para mostrar la estabilidad no lineal o inestabili-
dad de los 1-pulsos. Además, aplicando un crı́terio de inestabilidad in-
troducido por Grillakis [23] (vea también 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 Schrödinger
(5.2).
En el caso periódico el estudio fue desarrollado en [3] por Angulo y
Linares. Además del resultado de buena colocación local que describire-
mos luego, los siguientes resultados relativos a las ondas solitarias fueron
obtenidos:
Existencia de una familia no trivial de soluciones periódicas para

(5.4) en el regimen θ0 = α0 . De manera más precisa, para θ > 0
fijo, bajo las siguientes condiciones:
4π 2
i) γ > − θ,
L2
ii) α, σ > 0 tal que α + 2σγ = θ + γ, (5.7)
√
iii) φ = 2 ψ,
se obtiene ψ = ψγ satisfaciendo la ecuación diferencial
ψ 00 (ξ) − (θ + γ)ψ(ξ) + ψ 2 (ξ) = 0, ξ ∈ R, (5.8)
tal que
³ 4π 2 ´
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
2 3 1
ψ(ξ) = ψ(ξ; β1 , β2 , β3 ) = β2 + (β3 − β2 )cn ξ; k , (5.9)
6
donde cn(·; k) representa una función 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
Esta familia de soluciones para (5.9) son pulsos periódicos posi-

tivos, que son pares y monotonamente decrecientes entre los máxi-
mos ψ(0) = β3 (humps) y los mı́nimos positivos ψ( L2 ) = β2 (trou-
ghs).
Con relación a la estabilidad no lineal de la órbita (5.6), se prueba

1 ([0, L])×H 1 ([0, L]) por el flujo periódi-
que esta es estable en Hper per
co de el sistema (5.2). Estos resultados son derivados de la teorı́a
de Grillakis, Shatah y Strauss ([24]) y la teorı́a de Floquet aplicada
al problema de autovalores periódicos para la forma Jacobiana de
la ecuación de Lamé
 2
d Λ
+ [ρ − 12k 2 sn2 (x; k)]Λ = 0
dx2 (5.10)
Λ(0) = Λ(2K), Λ0 (0) = Λ0 (2K),
donde sn(·; k) es una ecuación elı́ptica de Jacobi y K = K(k) la

integral elı́ptica completa de primer tipo.
También es provado que la órbita

√
S(φ,ψ) = {( 2eiγs ψγ (x), e2iγs ψγ (x))| s ∈ R}, (5.11)
1 ([0, 2L]) × H 1 ([0, 2L]).
es inestable en Hper per
5.2. Problema de Valores Iniciales

Con relación a la buena colocación del PVI asociado al sistema (5.2)
vamos a establecer la teorı́a local y global en los espaços H s ([0, L]) ×
H s ([0, L]) para s ≥ 0. Para demostrar la teorı́a local usaremos los espa-
cios Xs,b introduzidos por Bourgain en [7] y las estimaciones bilineales
introducidas por Kenig, Ponce y Vega [31] para estudiar el PVI asocia-
do a la ecuación de Korteweg-de Vries. Mas precisamente, usaremos el
método empleado por Kenig, Ponce y Vega [32] para estudiar las sigui-
entes ecuaciones de Schrödinger no lineales,
∂t u = i∂x2 u + Nj (u, u), x ∈ R (T), t ∈ R, (5.12)
donde la no linealidad Nj (u, u), j = 1, 2, 3, es un polinómio cuadrático,

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 definición.
Definición 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

relación 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)
y
B2 (F, F ) = F F . (5.15)
Kenig, Ponce y Vega en [31] demostraron que dado s ∈ (−1/2, 0] existe
b ∈ (1/2, 1) tal que
kB1 (F, F )kYs,b−1 ≤ ckF k2Ys,b (5.16)
y que para s < −1/2 y cualquier b ∈ R la estimación(5.16) falla.

Por otro lado, dado cualquier s < 0 e b ∈ R ellos probaron que la
estimación
kB2 (F, F )kYs,b−1 ≤ ckF k2Ys,b (5.17)
falla y es valida para s ≥ 0.
Estas estimaciones producen resultados de buena colocación optimos
para os problemas periódicos 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
son las estimaciones principales para obtener los resultados locales. Ob-
servemos 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́ sufi-
ciente usar la teorı́a local y la ley de conservación.
Z
£ ¤
F(t) := |w(x, t)|2 + 2σ|v(x, t)|2 dx = F(0) (5.18)
5.3. Teorı́a Local de Buena Colocación

En esta sección demostraremos el resultado local para el problema
periódico


iwt + wxx − θ w + wv = 0, x ∈ [0, L], t ∈ R,
1 2 (5.19)
iσvt + vxx − α̃ v + 2 w = 0,


w(x, 0) = w0 (x), v(x, 0) = v0 (x)
donde θ, α̃ ∈ R y σ > 0, en los espacios de Sobolev periódicos H s ([0, L])×

H s ([0, L]). Para simplificar el analisis usaremos L = 2π.
Primero escribimos el sistema (5.19) como


iwt + wxx − θ w + wv = 0, x ∈ [0, L], t ∈ R,
a 2 (5.20)
ivt + a vxx − α v + 2 w = 0,


w(x, 0) = w0 (x), v(x, 0) = v0 (x)
donde a = 1/σ y α = α̃/σ.

Luego consideramos el sistema equivalente de ecuaciones integrales
asociado a (5.20). Sea ψ una función C0∞ (R) con suporte supp ψ ⊂
(−2, 2) tal que ψ(t) = 1, para t ∈ [−1, 1]. Sea ψT (·) = ψ(·/T ).

 Rt
 0 0
w(t) = ψ1 W (t)w0 − i ψT W (t − t )w v(t ) dt
0
0 (5.21)

 ia Rt
v(t) = ψ1 V (t)v0 − ψT V (t − t0 )w2 (t0 ) dt0 ,
2 0
52 Felipe Linares
2 2
donde W (t) = eit(∂x −θ) y V (t) = eit(a∂x −α) son los generadores de
Schrödinger (grupos unitarios) correspondientes al problema lineal defi-
nidos como X 2
W (t)φ = b
e−it(k +θ) φ(k)eikx
(5.22)
k ∈Z
y X 2 +α)
V (t)φ = e−it(ak b
φ(k)e ikx
. (5.23)
k ∈Z
En este caso particular necesitamos de la siguiente definición similar

a la Definición 5.2.1
Definición 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 completación de A

en relación 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
completación de A en relación a la norma
s 2 bb
kf kXs,b
a = khni hτ + a n + αi f (n, τ )k`2n L2τ . (5.25)
Observación 5.3.1. Observe que la definición de los espacios Xs,b y

a es tal que
Xs,b
kwkXs,b = kW (−t)wkH b Hper
s (5.26)
t
y
kvkXs,b
a = kV (−t)vk b s .
H Hper (5.27)
t
La teorı́a 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,
y una única solución de problema (5.20) de la forma (ϕT w, ϕT v) con

a en el intervalo de tiempo [−T, T ] tal que
(w, v) ∈ Xs,b × Xs,b
(w, v) ∈ C([−T, T ] : H s ([0, L]) × H s ([0, L])). (5.28)
Mas, para cualquier T 0 ∈ (0, T ), la aplicación (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 ] :
H s ([0, L]) × H s ([0, L])) ∩ Xs,b × Xs,b
a .
Observación 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 vários lemas prelim-
inares. Comenzamos con el resultado siguiente.
Lema 5.4.1. Sea s ∈ R, b > 1/2, entonces
kψ1 W (t)w0 kXs,b ≤ c kw0 kH s , (5.29)
y
kψ1 V (t)v0 kXs,b
a ≤ c kv0 kH s , (5.30)
donde W (t) y V (t) fueron definidos en (5.22) y (5.23), respectivamente,
y γ > 0.
Demostración. De la definición de los espacios Xs,b podemos deducir

que
kψ1 W (t)u0 kXs,b = kψ1 u0 kHxs H b = kψ1 kH b ku0 kHxs , (5.31)

t t
esto prueba (5.29).

La prueba de la estimación (5.30) sigue el mismo argumento.
En lo que sigue usaremos la siguiente notación: Sea {W (t)} el grupo

unitario definido en (5.22)
Zt
−iW ∗R f := −iϕT W (t − t0 )f (t0 ) dt0 (5.32)
0
54 Felipe Linares
y
Zt
(Lf )(t) := ϕT f (t0 ) dt0 (5.33)
0
Observación 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 1−b+b kf kH b0 + T 1/2−b khτ i−1 1{|τ |T ≥1} fbkL1τ } (5.36)
t t
¡ √ 0
kϕT W ∗R f )kXs,b ≤ c 2 {T 1−b+b kf kXs,b0
(5.37)
+ T 1/2−b khni2s hτ + n2 + θi−1 fbk`2n L1τ }
con c igual en (5.36) y (5.37).
(ii) Suponiendo que b0 > −1/2. Entonces

0
kLf kH b ≤ c T 1−b+b kf kH b0 (5.38)
t t
¡ ¢ 0
kϕT W ∗R f kXs,b ≤ c T 1−b+b kf kXs,b0 (5.39)
con la misma constante c en (5.38) y (5.39).
Observación 5.4.2. Estimaciones similares son validas cuando substi-

a .
tuimos W (t) por el grupo unitario V (t) y Xs,b por Xs,b
Demostración. Defina J(t) = (Lf )(t), la transformada de Fourier de J

en relación a t es dada por (ver ejercicio 5.3)
Z
bT (τ − τ 0 ) − ϕ
ϕ bT (τ ) 0
J(τ ) = c fb(t0 )
b
0
dτ . (5.40)
τ
R
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
Jb− (τ ) = c fb− (τ 0 ) (ϕ
bT )0 (τ − λt0 ) dλ dt0 . (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

Z Z1
¡
kJ− kH b ≤c k ht0 ib fb− ϕ
b0T (τ − λt0 ) dλ dt0 kL2τ
t
R 0
Z Z1
+k |τ − λt0 |b fb− ϕ
b0T (τ − λt0 ) dλ dt0 kL2τ )
R 0
Z1
≤c λ−1 k(hλ−1 ·ib fb− (λ−1 ·)) ∗ ϕ
b0T kL2 dλ
0
Z1 (5.42)
+c λ−1 kfb− (λ−1 ·) ∗ (| · |b ϕ
b0T )kL2 dλ
0
Z1
≤c λ−1 khλ−1 ·ib fb− (λ−1 ·)kL1 kϕ
b0T kL2 dλ
0
Z1
+c λ−1 kfb− (λ−1 ·)kL1 k| · |b ϕ
b0T kL2 dλ
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.

56 Felipe Linares
Las propiedades del soporte de fb− y la homegeneidad implican

¡ 0 ¢
kJ− kH b ≤ c T 3/2−b kϕ b01 kL2τ kfb− kL1τ .
b1 kL2τ + k|τ |b ϕ (5.43)
t
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)
t
Combinando (5.43) y (5.44) tenemos

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

Ahora estimaremos J+ . Escribimos J+ = J1 + J2 donde
Jb+ (τ ) = Jb1 (τ ) + Jb2 (τ )

Z
¢ (5.46)
= c (τ −1 fb+ ∗ ϕ bT + c ϕ
bT τ −1 fb+ (τ ) dτ
Para estimar J1 usamos la desigualdad de Young, homogeneidad y las

propiedades del suporte de fb+ . Ası́ tenemos que,
¡ ¢
bT kL1τ khτ ib τ −1 fb+ kL2τ + kτ |b ϕ
kJ1 kH b ≤ c kϕ bT kL1τ kτ −1 fb+ kL2τ
t
¡ 0
b1 kL1τ sup |τ |−(1−b+b )
≤ c kϕ
|τ |≥T −1
0 ¢ (5.47)
+ k|τ |b ϕ
b1 kL1τ T −b sup |τ |−(1−b ) kf kH b0
t
|τ |≥T −1
0
≤ c T 1−b+b kf kH b0 .
t
para todo b0 ≥ b − 1.
Finalmente tenemos que
¯Z ¯
¯ ¯
kJ2 kH b = c kϕT kH b ¯ τ −1 fb+ (τ ) dτ ¯
t t
(5.48)
≤ cT 1/2−b
kϕ1 kH b kτ −1 fb+ kL1τ .
t
Reuniendo la informacion en (5.45), (5.47) y (5.48) tenemos (5.36).

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 . (5.49)
t
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 observación 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 + θi−1 fb(τ )k2`2n (L1τ ) . (5.50)
Lema 5.4.3. Sea f ∈ Xs , entonces W ∗R f ∈ C(R : H s ).

Demostración. Sin perdida de generalidad podemos suponer s = 0. Co-
mo 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 equiv-
Rt
alente a la continuidad en L2 de F (t) = f (t0 ) dt0 para hτ i−1 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(τ )(e−itτ − e−it τ )τ 0−1 fb(τ 0 ) dτ dτ 0
n∈Z
XZ
≤c mı́n(|t − t0 |, hτ i−1 ) mı́n(|t − t0 |, hτ 0 i−1 )|fb(τ 0 )fb(τ )| dτ dτ 0
n∈Z
≤ c khτ i−1 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 expresión 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
kψT f kXs,b0 ≤ cT b−b kf kXs,b . (5.53)
Demostración. 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
kψT gkH b0 ≤ c (kψT kLpt kgkH b0 ,p0 + kψT kH b0 ,q kgkLqt )
t t t
≤ c (kψT k Lpt + kψT kH b0 ,q )kgkH b (5.54)

t t
b−b0
≤ cT kgkH b .
t
Para f ∈ Xs,b y W (t) = exp(it(∂x2 − θ)) se sigue de (5.54),
kψT f kXs,b0 = kW (·)ψT f kH b0 (R,H s )

t x
= kψT W (·)f k 0
Htb (R,Hxs )
0 (5.55)
≤ c T b−b kW (·)f kH b (R,Hxs )
t
b−b0
= cT kW (·)f kXs,b
Intercambiando b y b0 el caso 0 ≥ b > b0 > −1/2 sigue usando duali-
dad.
5.5. Estimaciones Bilineales

Las estimaciones claves para tratar los términos no lineales son las
llamadas estimaciones bilineales. A continuación estableceremos las par-
ticulares en nuestro ejemplo.
Lema 5.5.1. Para s ≥ 0 y a > 0 tenemos
k w vkXs,−1/2 ≤ c kwkXs,1/2 kvkXs,1/2

a . (5.56)
y
kw2 kXs,−1/2
a ≤ c kwk2Xs,1/2 . (5.57)
Observación 5.5.1. Si a 6= 1 la estimación (5.56) es satisfecha para

s > −1/2. Para cualquier a > 0, la estimación (5.57) se satisface para
s > −1/2.
Como en [32] el próximo 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
k w vkXs,1−b ≤ c kwkXs,b0 kvkXs,b

a ,
0
(5.58)
y
kw2 kXs,1−b
a ≤ c kwk2Xs,b0 . (5.59)
El siguiente lema es útil en la prueba del Lema 5.5.1 ([32]).

Lema 5.5.2. Si γ > 1/2. Entonces
X 1
sup < ∞. (5.60)
n∈Z, τ ∈R n ∈Z (1 + |τ ± n1 (n − n1 )|)γ
1
Demostración. Escribimos la expresión (5.60) como

X 1 X 1
γ
=
(1 + |τ ± n1 (n − n1 )|) (1 + |(n1 − α )(n1 − β ± )|)γ
±
n1 ∈Z n1 ∈Z
(5.61)
donde α = α± (n, τ ) e β = β ± son las raices del polinomio
τ ± (n1 (n − n1 )) = 0. (5.62)
Existen a lo máximo 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 − β|). (5.63)
2
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 estimación bilineal

(5.56). La desigualdad (5.57) quedará como ejercicio para el lector.
Como
X Z
∞
c
wv(n, τ) = b (n − n1 , τ − τ1 )b
w v (n1 , τ1 ) dτ1 . (5.64)
n1 ∈Z−∞
Sea
f (n, τ ) = hnis hτ + an2 + αi1/2 |b
v (n, τ )|,
s 2 1/2 b
(5.65)
g(n, τ ) = hni hτ − n − θi |w(n, τ )|
tal que
Z∞
¯X g(n − n1 , τ − τ1 )
c
|wv(n, τ )|2 ≤ ¯
n1 ∈Z−∞
hn − n1 is hτ− τ1 − (n − n1 )2 − θi1/2
(5.66)
f (n1 , τ1 ) ¯2
× dτ1 ¯ .
hn1 is hτ1 + an21 + αi1/2
Entonces
³X Z∞
2s dτ
k w vkXs,−1/2 ≤ hni ×
hτ + n2 + θi
n∈Z −∞
¯ X Z∞ g(n − n1 , τ − τ1 )
¯
¯ ×
n1 ∈Z−∞
hn − n1 is hτ− τ1 − (n − n1 )2 − θi1/2
f (n1 , τ1 ) ¯2 ´1/2
¯
dτ1¯
hn1 is hτ1 + an21 + αi1/2
³X Z∞
2s dτ
≤ hni ×
hτ + n2 + θi
n∈Z −∞
¯ X ¡ Z∞ ´1/2
¯ 2
¯ |f (n ,
1 1τ )g(n − n 1 , τ − τ1 )| dτ 1 ×
n1 ∈Z −∞
Z∞
¡ dτ1 ¢1/2 ¯¯2 ´1/2
× ¯
hni2s hn − n1 i2s hτ1 + an21 + αihτ − τ1 − (n − n1 )2 − θi
−∞
(5.67)
³X Z∞
2s dτ
≤ hn1 i ×
hτ + n2 + θi
n∈Z −∞
Z∞
¡X¡ ¢
|f (n1 , τ1 )g(n − n1 , τ − τ1 )|2 dτ1 ×
n1 ∈Z −∞
Z∞
¡X dτ1 ¢´1/2
hn1 i2s hn − n1 i2s hτ1 + an21 + αihτ − τ1 − (n − n1 )2 − θi
n1 ∈Z−∞
≤ sup A(n, τ, a)kf k`2n L2τ kgk`2n L2τ

n∈Z, τ ∈R
≤ sup A(n, τ, a) kwkXs,1/2 kvkXs,1/2

a ,
n∈Z, τ ∈R
donde
hnis
A(n, τ, a) := ×
hτ + n2 + θi1/2
³ X Z∞ dτ1 ´1/2
.
hn1 i2s hn − n1 i2s hτ1 + an21 + αihτ − τ1 − (n − n1 )2 − θi
n1 ∈Z−∞
(5.68)
Por lo tanto es suficiente probar que
sup A(n, τ, a) ≤ c (5.69)

n∈Z, τ ∈R
para obtener la estimación (5.56).

Lema 5.5.3. Sea s ≥ 0, entonces
sup A(n, τ, a) ≤ c. (5.70)

n∈Z, τ ∈R
Primero consideramos a 6= 1.
Usando el hecho que s ≥ 0 tenemos
c
A(n, τ, a) ≤ ×
hτ + n2 + θi1/2
³ X Z∞ dτ1 ´1/2
.
hτ1 + an21 + αihτ − τ1 − (n − n1 )2 − θi
n1 ∈Z−∞
62 Felipe Linares
Haciendo el cambio de variables x = τ1 + an21 + α, obtenemos

Z∞
dτ1
2
hτ1 + an1 + αihτ − τ1 − (n − n1 )2 − θi
−∞
Z∞
dx (5.71)
=
hxihx − (τ − n2 + 2nn1 − (1 − a)n21 + α − θ)i
−∞
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)
n∈Z,τ ∈R
³ X ln(2 + |τ − n2 + n (2n − (1 − a)n ) + α − θ|) ´1/2
1 1
≤ sup 2 − n (2n − (1 − a)n ) + α − θ|
n∈Z,τ ∈R 1 + |τ − n 1 1
n1 ∈Z
³ X ln(2 + |τ − n2 + n (2n − (1 − a)n ) + α − θ|)
1 1
= sup 2 + n (2n − (1 − a)n ) + α − θ|)1−γ
n∈Z,τ ∈R n ∈Z (1 + |τ − n 1 1
1
1 ´1/2
×
(1 + |τ − n2 + n1 (2n − (1 − a)n1 ) + α − θ|)γ
³X 1 ´1/2
≤ c sup .
n∈Z,τ ∈R (1 + |τ − n2 + n1 (2n − (1 − a)n1 ) + α − θ|)γ
n1 ∈Z
Aplicando el Lema 5.5.2 se sigue (5.70) y en consecuencia la estimación

(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 estimación
(5.56) es equivalente a
X Z∞
s h(n, τ ) dτ
hni ×
hτ + n2 + θi
n∈Z −∞
³ X Z∞ g(n − n1 , τ − τ1 )f (n1 , τ1 )
dτ1
n1 ∈Z−∞
hn − n1 is hτ − τ1 − (n − n1 )2 − θi1/2 hn1 is hτ1 + n21 + αi1/2
≤ sup A1 (n1 , τ1 )kf k`2n L2τ kgk`2n L2τ khk`2n L2τ .

n1 ∈Z, τ1 ∈R
(5.72)
En consecuencia solo necesitamos probar que
sup A1 (n1 , τ1 ) ≤ c, (5.73)

n1 ∈Z, τ1 ∈R
donde
1
A1 (n1 , τ1 ) := ×
hn1 is hτ1 + n21 + αi1/2
³X Z∞ hni2s dτ ´1/2 (5.74)
.
hn − n1 i2s hτ + n2 + θihτ − τ1 − (n − n1 )2 − θi
n∈Z−∞
Como s ≥ 0 sigue que
1
A1 (n1 , τ1 ) = ×
hn1 is hτ1 + n21 + αi1/2
³X Z∞ hni2s dτ ´1/2
hn − n1 i2s hτ + n2 + θihτ − τ1 − (n − n1 )2 − θi
n∈Z−∞
c (5.75)
≤ ×
hτ1 + n21 + αi1/2
³X Z∞ dτ ´1/2
.
hτ + n2 + θihτ − τ1 − (n − n1 )2 − θi
n∈Z−∞
Cambiando variables z = τ + n2 + θ, tenemos que
Z∞
dτ
hτ + n2 + θihτ − τ1 − (n − n1 )2 − θi
−∞
Z∞
dz (5.76)
=
hzihz − (τ1 + 2n2 − 2nn1 + n21 + 2θ)i
−∞
ln(2 + |τ1 + n21 + 2n(n − n1 ) + 2θ|)
≤ .
1 + |τ1 + n21 + 2n(n − n1 ) + 2θ|
64 Felipe Linares
Por lo tanto para γ > 1/2, la desigualdad anterior implica
sup A1 (n1 , τ1 )
n1 ∈Z,τ1 ∈R
³ X ln(2 + |τ + n2 + 2n(n − n ) + 2θ|) ´1/2
1 1 1
≤ sup 2
n1 ∈Z,τ1 ∈R n ∈Z 1 + |τ1 + n1 + 2n(n − n1 ) + 2θ| (5.77)
1
³X 1 ´1/2
≤c sup .
n1 ∈Z,τ1 ∈R (1 + |τ1 + n21 + 2n(n − n1 ) + 2θ|)γ
n∈Z
El Lema 5.5.2 entonces produce el resultado. Esto termina la demostra-

ción del Lema 5.5.1.
A continuación realizaremos la prueba de la teoria local
Demostración del Teorema 5.3.1. Definimos el espacio métrico de fun-

ciones
a
XM := {(w, v) ∈ Xs,b × Xs,b : |||(w, v)||| = kwkXs,b + kvkXs,b a ≤ M }.
(5.78)
Para (w, v) ∈ XM definimos los operadores

 Rt
 Φ
 1 (w, v)(t) = ψ 1 W (t)w0 + i ψT W (t − t0 )w v(t0 ) dt0
0 (5.79)

 iσ
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
kΦ1 (w, v)kXs,b ≤ ckw0 kH s + c T γ kwkXs,b kvkXs,b

a
(5.80)
≤ ckw0 kH s + cT γ M 2
y
γ 2
kΦ2 (w, v)kXs,b
a ≤ ckv0 kH s + c T kwk
Xs,b
(5.81)
≤ ckv0 kH s + cT γ M 2 .
Escogiendo M ≥ 2c(kw0 kH s +kv0 kH s ) y T tal que cT γ M < 1/2 tenemos

que la aplicación (Φ1 (w, v), Φ2 (w, v)) : XM 7→ XM está bien definida.
Análogamente, se puede probar que (Φ1 (w, v), Φ2 (w, v)) es una contrac-
ción en el espacio XM . Del principio de contracción podemos deducir
la existencia de un unico punto fijo para (Φ1 (w, v), Φ2 (w, v)) lo cual re-
suelve el problema. Para finalizar la prueba usamos argumentos clásicos
que dejaremos como ejercicio.
5.6. Resultado Global

Debido a las leyes de conservación 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.
Demostración. 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 observación (5.3.1).
2. Pruebe la observación (5.4.1)
3. Pruebe la fórmula (5.40)
4. Pruebe la desigualdad
Z∞
dy ln(2 + |τ + a|)
≤ . (5.83)
hyihy − τ + ai 1 + |τ + a|
−∞
5. Pruebe la estimacion bilineal (5.57).

6. Pruebe que la aplicación (5.79) en la prueba del Teorema 5.3.1 es
una contracción en el espacio métrico correspondiente.
7. Pruebe la unicidad en el Teorema 5.3.1.
8. Pruebe que la aplicación dato–solución en Teorema 5.3.1 es Lip-
schitz.
66 Bibliografı́a
Bibliografı́a
[1] J. M. Ablowitz and P. A. Clarkson, Solitons, Nonlinear Evo-

lution Equations and Inverse Scattering, London Mathemat-
ical Society Lecture Note Series, 149. Cambridge University
Press, Cambridge, 1991.
[2] J. Angulo, Non-Linear stability of periodic travelling-wave

solutions to the Schrödinger and the modified Korteweg-de
Vries, Pre-print (2004).
[3] J. Angulo and F. Linares, Periodic pulses of Coupled Non-

linear Schrödinger Equations in Optics, Indiana University
Mathematical Journal, 56, no. 2 (2007), 847–877.
[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), 559–592.
[6] J. L. Bona, On the stability theory of solitary waves, Proc.

Roy. Soc. London Ser. A 344 (1975), no. 1638, 363–374.
[7] J. Bourgain, Fourier transform restriction phenomena for

certain lattice subsets and applications to nonlinear evolution
equations. I. Schrödinger equations, II. The KdV equation,
Geometric and Funct. Anal., 3 (1993), 107-156, 209–262.
[8] A. Buryak and Y. S. Kivshar, Solitons due to second harmon-

ic generation, Phys. Lett. A 78 (1997), 407-412.
67
68 Bibliografı́a
[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 quadrat-
ic media , J. Nonlinear Sci. 9 (1999), 33–52.
[11] P. Constantin and J-C. Saut, Local somoothing properties of
dispersive equations, J. Amaer. Math. Soc. 1 (1989), 413–446.
[12] L-C. Crasovan, F. Lederer, D. Mazilu and D. Mihalache
Multiple-humped bright solitary waves in second-order non-
linear media , Opt. Eng. 35 (1996), 1616–1623.
[13] R. De Salvo, D.J. Hagan, M. Sheik-Bahae, G. Stegeman, H.
Vanherzeele and E.W. Van Stryland Self-Focusing and Defo-
cusing by Cascaded Second Order Nonlinearity in KTP, Opt.
Lett. 17, 28 (1992), 28–30.
[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), 896–911.
[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 So-
ciety, 2001.
[17] P. Ferro and S. Trillo, Periodical waves, domain walls, and
modulations instability in dispersive quadratic nonlinear me-
dia, Phys. Rev. E. 51 (1995), 4994–4997.
[18] P. A. Franken, A. E. Hill, C. W. Peters and G. Weinreich,
Generation of optical harmonics, Phys. Rev. Lett. 7 (1961),
118–119.
[19] J. Ginibre, Y. Tsutsumi and G. Velo, On the Cauchy problem
for the Zakharov system, J. Funct. Anal. 151 (1997), no. 2,
384–436.
Bibliografı́a 69
[20] J. Ginibre and G. Velo, Scattering theory in the energy space

for the class of nonlinear Schrödinger equations, J. Math
Pures at Appl. 64 (1985), 363–401.
[21] J. Ginibre and G. Velo, On the class of nonlinear Schrödinger

equations, J. Funct. Anal. 32 (1979), 1–32, 33–72.
[22] M. Grillakis, Linearized instability for nonlinear Schrödinger

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), 47–63.
[27] R. Iório and V. Iório, Fourier analysis and partial differen-

tial equations, Cambridge. New York, Cambridge University
Press, 2001.
[28] C. K. R. T. Jones, instability of standing waves for nonlin-

ear Schrödinger 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 nolinear-
ity: mutual focusing of beams and limitation on the efficiency
of optical frequency converters, JETP Lett. 20, (1974), 339–
342.
70 Bibliografı́a
[30] T. Kato, On the Cauchy problem for the (generalized)

Korteweg-de Vries equation, Advance in Math. Supplemen-
tary Studies, Studies in Appl. Math. 8 (1983), 93–128.
[31] C. E. Kenig, G. Ponce and L. Vega, Quadratic forms for the
1-D semilinear Schrödinger equation, Transactions AMS 348
(1996), 3323–3353.
[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 non-
linear Schrödinger equations, Ann. Inst. Henri Poincaré 110
(1993), 255–288.
[34] C. E. Kenig, G. Ponce and L.Vega, Oscillatory integrals and
regularity of dispersive equations, Indiana Univ. Math. J. 40
(1991), 33–69.
[35] C. E. Kenig and A. Ruiz, A strong type (2,2) estimate for
the maximal function associated to the Schrödinger equation,
Trans. Amer. Math. Soc. 230 (1983), 239–246.
[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), 422–443.
[37] S. Kruzhkov and A. Faminskii, A generalized solutions for the
Cauchy problem for the Korteweg-de Vries equation, Math.
USRR, Sbornik 48 (1984), 93–138.
[38] F. Linares and G. Ponce, Introduction to nonlinear dispersive
equations, Publicações Matemáticas, Rio de Janeiro : IMPA,
2004.
[39] W. Magnus and S. Winkler, Hill’s 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.
Bibliografı́a 71
[41] R. M. Miura, The Korteweg-de Vries equation: a survey of

results, SIAM Rev. 18 (1976), no. 3, 412–459.
[42] H. Ono, Algebraic solitary waves in stratified fluids, J. Phys.

Soc. Japan 39 (1975), 1082–1091.
[43] S. Reed and B. Simon, Methods of Modern Mathematical

Physics: Analysis of Operator, v. IV, Academic Press, (1975).
[44] P. Sjölin, Regularity of solutions to the Schrödinger equations,

Duke Math. J. 55 (1987), 699–715.
[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 quadrat-

ic surfaces and decay of solutions of wave equations, Duke
Math. J. 44 (1977), 705–714.
[47] A. C. Yew, Multipulses of nonlinearly coupled Schrödinger

equations, J. Diff. Equations 173 (2001), 92–137.
[48] A. C. Yew, Stability analysis of multipulses in nonlinearly-

coupled Schrödinger equations, Indiana Univ. Math. J. 49
(2000), 1079–1124.
[49] L. Vega, The Schrödinger equation: pointwise convergence to

the initial data, Proc. Amer. Math. Soc 102 (1988), 874–878.
[50] M. I. Weinstein, Existence and dynamic stability of solitary

wave solutions of equations arising in long wave propaga-
tion, Comm. Partial Differential Equations 12 (1987), no. 10,
1133–1173.
Asociación Matemática Venezolana
Presidente
Carlos Di Prisco
Capı́tulos Regionales
CAPITAL CENTRO-OCCIDENTE
Carlos Di Prisco – IVIC Sergio Muñoz – UCLA
LOS ANDES ORIENTE
Oswaldo Araujo – ULA Said Kas-Danouche – UDO
ZULIA–FALCÓN
Fernando Sánchez – LUZ
La Asociación Matemática Venezolana fue fundada en 1990 como una

organización civil sin fines de lucro, cuya finalidad es trabajar por el
desarrollo de la matemática en Venezuela.
Asociación Matemática Venezolana
Apartado 47.898, Caracas 1041-A, Venezuela
http://amv.ivic.ve/
Consejo Directivo del IVIC
Director
Máximo Garcı́a Sucre
Subdirector
Ángel L. Viloria
Representantes del Ministerio del Poder Popular
para la Ciencia y Tecnologı́a
Raúl Padrón
Oscar Noya
Representante del Ministerio del Poder Popular
para la Educación Superior
Prudencio Chacón
Representantes Laborales
Jesús Acosta
Luis Burguillos
Gerencia General
Lira Parra
Comisión Editorial
Coordinador
Ángel L. Viloria
Eloy Sira
Rafael Gasson
Marian Ulrich
Marı́a Teresa Curcio
Katherine Farı́as
Pamela Navarro

XX Linares Final

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

XX Linares Final

Cargado por

Copyright:

Formatos disponibles

XX ESCUELA VENEZOLANA DE MATEMÁTICAS

Ecuaciones dispersivas no lineales . CASO PERIÓDICO

MÉRIDA, VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

Ecuaciones dispersivas no lineales.

MÉRIDA, VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

Ecuaciones dispersivas no lineales.

MÉRIDA, VENEZUELA, 2 AL 7 DE SEPTIEMBRE DE 2007

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

En memoria de Julieta Ramirez y Dolores (Lola) Linares

El objetivo de estas notas es describir brevemente las ecuaciones dis-

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

Rio de Janeiro, Julio de 2007.

1. Ecuaciones Dispersivas Lineales 1

3. Problemas de Valor Inicial para las Ecuaciones Disper-

4. Ecuaciones Dispersivas No Lineales 31

5. Problemas de Valor Inicial para las Ecuaciones Disper-

Para introducir la noción de dispersión consideraremos una ecuación

O sea la primera ecuación puede ser derivada de la segunda y recipro-

Ejemplo 1.0.1. Considere las siguientes ecuaciones lineales

Ecuación lineal de Schrödinger

Ecuación lineal de Korteweg-de Vries

Las relaciones de dispersión para estas ecuaciones son respectiva-

La relación de dispersión caracteriza la evolución de la onda plana. En

Ejemplo 1.0.2. En el caso de la ecuación de la viga la relación de

La cantidad θ = k · x − ωt es llamada fase. En soluciones tipo onda

los planos y cuya magnitud κ es el número promedio de crestas por 2π

Cf (k) = (k1 , k2 , k3 ) (ecuación lineal de Schrödinger)

Cf (k) = α + β k 2 . (ecuación lineal de Korteweg-de Vries)

Existe otra velocidad de propagación de ondas importante llamada

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

Cg± (k) = ±2γk (ecuación de la viga)

Cg (k) = 2(k1 , k2 , k3 ) (ecuación lineal de Schrödinger)

Cg (k) = α + 3β k 2 . (ecuación lineal de Korteweg-de Vries)

La situación fı́sica de esta diferencia entre la velocidad de fase y la

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

Por el principio de superposición para ecuaciones lineales, la solución

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

(i) Ecuación de Boussinesq lineal

∂t2 u − ∂x2 u + ∂x4 u = 0, x ∈ R, t ∈ R.

(ii) Ecuación de Klein-Gordon

(iii) Ecuación de ondas

(iv) Ecuación lineal Zakharov-Kusnetsov

En este capı́tulo estudiaremos la teoria de las series de Fourier que

2.1. Definición y Propiedades

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 notación 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,

donde J ⊂ R es un intervalo de longitud 2π.

el conjunto {f ∈ C k ([−π, π]) : f (j) (−π) = f (j) (π), j = 1, 2, . . . , k}.

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

lı́m SN (f )(x) = f (x), uniformemente en x.

Demostración. Suponga k 6= 0. Integrando por partes y usando la pe-

Durante la prueba del corolario anterior establecimos una de las pro-

fb0 (k) = ik fb(k) para todo k ∈ Z. (2.4)

También, si f es dos veces diferenciable, entonces

Definición 2.1.2. Sean f, g ∈ Cper ([−π, π]). La convolución de f y g

DN es conocido como núcleo de Dirichlet.

Proposición 2.1.1 (Propiedades de la convolución). Sean f, g funcio-

2.1.1. Convergencia Puntual

Teorema 2.1.2. Sea f una función integrable en [−π, π] que es dife-