El Problema De Cauchy Asociado A Una Ecuaci on Del Tipo ZK-BBM en Espacios Anisotr opicos H s1,s2 T2

Javier Mauricio Sierra

Universidad Nacional de Colombia Facultad De Ciencias Departamento De Matem aticas Bogot a D.C. 2012

El Problema De Cauchy Asociado A Una Ecuaci on Del s1 ,s2 Tipo ZK-BBM en Espacios Anisotr opicos H T2 .

Javier Mauricio Sierra

Trabajo nal presentado como requisito parcial para optar al t tulo de;

Magister en Ciencias Matem aticas

Director:

Guillermo Rodr guez Blanco

Universidad Nacional de Colombia Facultad De Ciencias Departamento De Matem aticas Bogot a D.C. 2012

Resumen
El objetivo de este trabajo es tratar el buen planteamiento local y global del problema de Cauchy u C ([0, T ] , X ) 1 (0.1) x (up ) = 0, p = 2, 3, . . . ut uxxt + uxyy + p s 2 u (0) = H (T ) , Con X = H s (T2 ) o X = H s1 ,s2 (T2 ). La ecuaci on (0.1), conocida como ZK-BBM (Zakharov-Kuznetsov- BenjaminBona-Mahony) modela fen omenos f sicos que ocurren en propagaci on de ondas de peque na amplitud, ver [4], [6] y [17] para mayor informaci on. En el estudio del buen planteamiento local usaremos el teorema punto jo de Banach en un espacio adecuado aplicado a la ecuaci on integral equivalente. Para la obtenci on de resultados del buen planteamiento global encontraremos estimativas a priori.

Palabras clave: Benjamin-Bona-Mahony, BM, ecuaci on, ZakharovKuznetsov, ZK, Espacios anisotr opicos, buen planteamiento local y global

Abstract
The aim of this work is to deal with the proper local and global approach of Cauchys problem u C ([0, T ] , X ) 1 (0.1) x (up ) = 0, p = 2, 3, . . . ut uxxt + uxyy + p s 2 u (0) = H (T ) , For X = H s (T2 ) or X = H s1 ,s2 (T2 ). The equation (0.1), known as ZK-BBM (Zakharov-Kuznetsov-Benjamin Bona-Mahony) shapes physical phenomena that happen in wave spread of small extent, for further information, see [4], [6] and [17]. In the study of the proper local approach it will be used the Banach xed point theorem in a suitable space applied to the integral equivalent equation. In order to obtain the results of the proper global approach it will be found some a priori approximates.

Keywords: Benjamin-Bona-Mahony, BM, equation, Zakharov-Kuznetsov, ZK, Anisotropic spaces, local and global well-posedness

 Indice General

Resumen Abstract Indice General Introducci on 1 Preliminares

III IV V VI 1

2 El Problema Local 7 2.1 Existencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.2 Dependencia continua . . . . . . . . . . . . . . . . . . . . . . 14 2.3 Unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3 El Problema Global 4 El Problema ZK-BBM en espacios 4.1 El Problema Local . . . . . . . . 4.1.1 Existencia . . . . . . . . . 4.2 Buen planteamiento Global . . . Bibliograf a 17 anisotr opicos 26 . . . . . . . . . . . . . . . . 28 . . . . . . . . . . . . . . . . 31 . . . . . . . . . . . . . . . . 33 36

Introducci on

La ecuaci on (Korteweg de Vries) KdV ut = uxxx + uux , (x, t) R2 (1) surgi o como un modelo para la longitud de ondas unidimensionales superciales que se propagan d ebilmente en medios dispersivos no lineales. Existen algunas versiones bidimensionales de la ecuaci on (), una de ellas es la ecuaci on (Zakharov-Kuznetsov) ZK: ut = (uxx + uyy )x + uux (2) la cual aparece en el estudio de la din amica de uidos ver [17]. La forma general de la ecuaci on (1) es la ecuaci on ut = (uxx + uyy )x + f (u)x . La ecuaci on generalizada de Benjam n-Bona-Mahony (gBBM) ut uxxt + ux + f (u)x = 0 aparece como una alternativa a la gKdV, en tanto que ut (uxt + uyy )x + ux + f (u)x = 0 es su versi on bidimensional del tipo ZK. En este trabajo estudiaremos el buen planteamiento local y global del problema (0.1) Los problemas de buen planteamiento en casos bidimensional y peri odico son de creciente inter es ver [5] y [14], por tal raz on en este trabajo trataremos s 2 s1 ,s2 tal cuesti on en los espacios H (T ) y H (T2 ) que hasta donde sabemos no ha sido tratada, en [16] se trata el buen planteamiento en H s (R2 ). VI

CHAPTER

Preliminares

En esta secci on se da a conocer la notaci on que sera usada en este documento, esta notaci on es est andar en ecuaciones diferenciales y an alisis funcional. Se incluyen tambi en aqu algunos resultados necesarios para el desarrollo de este trabajo. B (X, Y ) denota el espacio de todos los operadores lineales acotados de un espacio de Banach X a un espacio de Banach Y . B (X )=B (X, X ) . C ([0, T ], X ) es el espacio de Banach de las funciones continuas de [0, T ] en el espacio de Banach X , dotado de la norma u X, = sup[0,T ] u(t) X = (1 , 2 , . . . , n ) Nn es un multi ndice Si es un multi ndice y x = (x1 , x2 , . . . , xn ) Rn , entonces (a) || = (b) x = (c) = s = (1
n j =1 j = 1 n 1 2 x 1 x 2 xn 1

+ 2 + + n .
2

x1
s

x2

xn

)2 1

Cap tulo 1. Preliminares

p n s p n Lp s = Ls (R ) = L (R )

Denici on 1.1. La transformada de Fourier de una funci on f L1 (Tn ) es la funci on F f = f denida por n (F f ) ( ) = f ( ) = (2 ) f (x)eix dx
Tn

donde x = (x1 , x2 , . . . , xn ) Tn , = (1 , 2 , . . . , n ) Zn y
n

x =
j =1

xj j

es un producto interno. Denici on 1.2. El espacio de las sucesiones r apidamente decrecientes, denotado por S (Zn ) es el conjunto de todas las sucesiones = (k )kZn , k C tal que |k |j |k | <
kZn

para todo j N Proposici on 1.1. = (k )kZn P si y s olo si

,j

= sup |k | |k |j < , j N
k Z

Proof. Ver [12] proposici on 3.4 Proposici on 1.2. El espacio P = C (Tn ), con la m etrica

d(, ) =
j =0

(j ) (j ) 1 2j 1+ (j ) (j )

es un espacio m etrico completo. Teorema 1.1. Un funcional lineal T en P pertenece a P si y solo si existen constantes C 0 y un conjunto nito de enteros positivos {j1 , . . . , jn } l N, tales que
n

| T, | C
=1

,j

para todo P .

Cap tulo 1. Preliminares Proof. V ease [12] Teorema 3.140.

Teorema 1.2. Sean a, b [0, ) y s 0, existen enteros positivo ms y Ms dependientes solamente de s tal que ms (as + bs ) (a + b)s Ms (as + bs ) Proof. Ver teorema 3.197 en [12]. Observaci on 1.1. Sea f Cper , la formula f (x) (x) dx, Tf , =
Tn

P , dene una distribuci on peri odica Tf . La funci on f Cper Tf P es lineal, uno a uno y continua. Denici on 1.3. La transformada de Fourier de una distribuci on peri odica f P es denida por f (k ) = f, k donde

k (x) = eikx , k = (k1 , . . . , kn ) Zn

Teorema 1.3. La transformada de Fourier F : P S (Zn ) es un isomorsmo y un homeomorsmo. En otras palabras, (P ) = S (Zn ). Proof. V ease [12] Teorema 3.172.
s = H s (T2 ) es el Denici on 1.4. Sea s R. El espacio de Sobolev Hper conjunto de las distribuciones peri odicas f P tales que

2 s

= 2
k,mZ

1 + k 2 + m2

f (k, m)

<

Teorema 1.4. Sea s R, H s (T2 ) es un espacio de Hilbert con respecto al producto interno f | g = 2
kZ2

1 + |k |2

f (k ) g (k )

Adem as, se cumplen las siguientes armaciones

Cap tulo 1. Preliminares

i) H s (T2 ) H r (T2 ) para todo s r,donde denota contenencia continua y densa. Adem as, f r f s para todo f H s (T2 ) ii) H s (Tn ) , es el dual topol ogico de H s (Tn ) isom etricamente isomorfo a H s (Tn ) para todo s R. Teorema 1.5. Sea m N, f H m (T2 ), si y solo si f L2 (Tn ) para todos los multi- ndices tales que || m. En este caso, las normas
1/2

y |f |
2 s

1/2
2 f0 |||m|

= 2
kZ2

1 + |k |2

f (k )

son equivalentes. , H s (Tn ) Cper y Teorema 1.6. Para todo s > n 2 f

C f

para f H s (Tn ) , C constante.

Proof. Para la demostraci on de los ltimos tres teoremas ve ase [12] Teoremas 3.193, 3.194 y 3.195 respectivamente. Teorema 1.7. Para s > n , H s (Tn ) es un algebra de Banach. En particular, 2 existe una constante cs 0 tal que fg
s

cs f

para f, g H s (Tn ).

Proof. V ease [12] Teorema 3.200. Denici on 1.5. Sea H un espacio de Hilbert. Un grupo unitario fuertemente continuo a un par ametro en H es una aplicaci on t R U (t) B (H ) tal que: a) U es unitario para todo t R, b) U (t + t ) = U (t)U (t ), para todo t, t R, c) lim U (t) U (t )
tt H

= 0, para todo t, t R, y H .

Cap tulo 1. Preliminares

Denici on 1.6. Sea (X, d) un espacio m etrico. Una Contracci on es una aplicaci on T : X X tal que: d(T (x), T (y )) d(x, y ) para todo x, y X y (0, 1]. Si < 1 se dice que T es una contracci on estricta. Teorema 1.8 (Teorema del punto jo de Banach). Sea X un espacio m etrico completo y T : X X una contracci on estricta, entonces T tiene un nico punto jo, es decir; existe un nico x0 X tal que T (x0 ) = x0 . Teorema 1.9. [Desigualdad de Gronwall] Sea k L1 ([a, b]) con k 0 y f, g C ([0, T ], R) tales que t k (s)f (s)ds, a t b f (t) g (t) +
a

por lo tanto f (t) g (t) +

a t

k (s)e

s
a

k(r)dr

g (s)ds,

a t b.

En particular, si g es constante, se tiene: f (t) g (t)e

t
a

k(s)ds

a t b.

Teorema 1.10 (Desigualdad de Young). Sean a, b 0 y p, q > 1 tales 1 1 que + = 1, se tiene que p q ab ap b q + . p q

Teorema 1.11 (Desigualdad de Gagliardo-Nirenberg). Si f H m (Rn ), entonces existe K > 0 tal que u donde
Lp+1

L2

u 1 q

1 L2

1 j 1 m = + p n r n

+ (1 )

j 1. m

Proof. V ease [2] Teorema 370. Nota 1.1. En el caso peri odico la desigualdad en el teorema 1.11 es a n n valida siempre que f (0) = 0, 0 Z .

Cap tulo 1. Preliminares

Teorema 1.12 (Kato-Ponce). Sean s > 0 y 1 < p < , entonces Lp s L es un algebra de Banach. Adem as

|f g |s,p c f

L |g |s,p

+ |f |s,p g

Observaci on 1.2. Dado que s un 0 = s un1 u 0 = |un1 u|0,2 , haciendo n1 f =u y g = u en el teorema anterior, y lo aplicamos sucesivas veces se tiene n1 s un1 u 0 c u L s u 0 . (1.1)

CHAPTER

El Problema Local

En este cap tulo se tratar a el buen planteamiento local del problema de Cauchy asociado a la ecuaci on s 2 u C ([0, T ] , H (T )) 1 (2.1) ut uxxt + uxyy + p x (up ) = 0, p = 2, 3, . . . s 2 u (0) = H (T ) para este n ser an necesarios los siguientes resultados, los cu ales nos dar an las condiciones necesarias para el buen planteamiento local de la ecuaci on. N otese que la ecuaci on (2.1) es equivalente a 1 2 t 1 x u = uxyy x (up ) p 1 = x yy u x (up ) p entonces
2 t u = 1 x 1

1 2 x yy u x 1 x p

(up ) .

(2.2)

1 2 1 2 1 Sean A = (1 x ) x yy y B = p x (1 x ) 1 2 1 Proposici on 2.1. El operador B = p x (1 x ) B (H s (T2 )), adem as p s 2 s 2 B (u ) H (T ) para todo u H (T ), p = 2, 3, . . . , s > 1

Cap tulo 2. El Problema Local Proof. Sea H s (T2 ), entonces B

2 s

1 2 1 = x 1 x p s 2 = 1 + k 2 + m2 p k,mZ = 2 1 + k 2 + m2 p k,mZ 1 p
2 s

k2 (k, m) (1 + k 2 )2
2

(k, m)

Como H s (T2 ) es un a lgebra de Banach s s > 1, up H s (T2 ) y B (up ) .

2 s

<

Denimos la funci on f : H s (T2 ) H s (T2 ) como f (u) = B (up ), para u H s (T2 ), f (u) H s T2 . (2.3) Proposici on 2.2. La funci on denida en (2.3) satisface la condici on de Lipschitz local Proof. Para realizar la demostraci on debemos tener en cuenta dos hechos importantes: (i) Si s > 1, el teorema 1.6 implica que f

c f s,

f H s.

(ii) Si s > 1, el teorema 1.7 implica que existe cs 0 constante tal que fg
s

cs f

f y g H s.

Entonces si u, v H s y t [0, T ] un v n
s

= (u v ) un1 + un2 v + + uv n2 + v n1 uv
2 +cn s

uv

0 s cs n2

n1

s 2 cn s

c1 s v

n2

n1 s

Cap tulo 2. El Problema Local Por (ii) un1i v i Sea K = un v n

i=0,...,p1 s

di s u

n1i s

i s

, i = 0, . . . , n 1.

i max {di s cs } ,

uv uv

s s

un1
s

+ un2 v
1/2

+ + uv n2

+ v n1

(L ( u

, v s ))

Donde (L ( u
s

, v s )) /2 = K sup
1

un1 (t)
s

t[0,T ]

+ un2 (t) v (t)

s

+ +

+ u (t) v n2 (t) Por lo tanto f (u) f (v )

s

+ v n1 (t)

1 2 x 1 x p

(un v n )
s

1 n = u v n s , proposici on 2.1 p 1 L ( u s , v s) u v s . p

(2.4)

Observemos que L ( | ) es no decreciente respecto a cada uno de sus argumentos, por lo tanto (2.4) implica la condici on de Lipschitz local para f
2 ) Proposici on 2.3. Sea A = (1 x 1

x yy , entonces la aplicaci on

U (t) : R H s T2 t eAt es un grupo unitario fuertemente continuo a un par ametro en H s (T2 ). Proof. La aplicaci on U (t) tambi en puede expresarse como U (t) = etA = exp ik m2 t 2 1+k

, H s T2 , t R.

U (t) cumple con las siguientes condiciones:

Cap tulo 2. El Problema Local 1. U (t) es unitario para todo t R e

tA s

10

exp

ik m2 t 2 1+k

=
s

(2.5)

2. U (t + t ) = U (t)U (t ). 3. Dado > 0 la aplicaci on t [ , +) U (t) es uniformemente continua con respecto a la norma H s2 , [0, 1]. U (t) U (t ) =
k,mZ

s2

1+k +m 1+k +m
k,mZ 2

2 s2

e e

tA

tA

||2 ||2 (2.6)

2 s2

(tt )A

Por el teorema del valor medio tenemos e(tt )A 1

Ae A

|t t | =

ikm2 |t t | m2 |t t | 1 + k2

Por otro lado exp e(tt )A 1

ik m2 t 1+k2 2

1 2, entonces e(tt )A 1
2 2(1)

e(tt )A 1 .

22(1) m2 En vista de que

m2 1+k2 +m2 2

|t t |

1, de (2.6) se obtiene
k,mZ

U (t) U (t )

s2

1 + k 2 + m2
2

22(1) |t t |

||2 (2.7)

4 |t t | haciendo t t , U (t) U (t )
tt

s2

0. En particular
s

lim

U (t) U (t )

=0

Cap tulo 2. El Problema Local

11

Por comodidad escribiremos el problema de Cauchy (2.1) de la siguiente forma t u = Au + f (u) u(0) = H s (2.8)

Usando el m etodo de variaci on de par ametros se puede identicar una posible soluci on para s > 1 dada por t tA u(t) = e + e(t )A f (u ( )) d, (2.9)
0

en la cual por (2.3) y (2.5) se tiene que u C ([0, T ], H s (T2 )). Proposici on 2.4. Sea u C ([0, T ], H s (T2 )) con s > 1, una soluci on de s 2 (2.8), u satisface (2.9). Rec procamente, si u C ([0, T ], H (T )) es una 1 soluci on de (2.9), u C [0, T ], H s2 (T2 ) y satisface (2.8) con derivada
h0

lim

u (t + h) u(t) Au f (u) h

=0
s2

(2.10)

Proof. Si u satisface (2.8), por el m etodo de variaci on de par ametros u satisface (2.9). Rec procamente, si u satisface (2.9), derivando en ambos lados de la igualdad con respecto al tiempo se tiene t tA t u(t) = Ae + t e(t )A f (u( ))d. (2.11)
0

ahora bien t t e(t )A f (u( ))d = lim

0

h0

1 h

t+h

e(t+h )A f (u( ))d

t

e(t )A f (u( ))d = lim 1 h

0 t

h0

e(t+h )A e(t )A f (u( ))d

0 t+h

+ (2.12)

e(t+h )A f (u( ))d .

0

Cap tulo 2. El Problema Local

12

Uno de los t erminos de la expresi on anterior es el valor principal de una funci on continua, es decir t+h lim e(t+h )A f (u( ))d f (u(t)) = 0. (2.13)
h0 0 s 2

Por otro lado 1 t (t+h )A (t )A lim e e f (u( ))d h0 h 0 t 1 (t+h )A e e(t )A f (u( ))d = lim h 0 h0 t t e(t )A f (u( ))d = 0 t e(t )A f (u( ))d. =A
0

Si de la ecuaci on (2.9) despejamos la integral, obtenemos 1 t (t+h )A lim e e(t )A f (u( ))d = A u(t) etA . h0 h 0 De las ecuaciones (2.12), (2.13) y (2.14), la ecuaci on (2.11) queda t u(t) = AetA + A u(t) etA + f (u( )) t u(t) = Au(t) + f (u(t)). Haciendo t = 0 en (2.9), se tiene que u(0) = , as u satisface (2.8).

(2.14)

(2.15)

2.1

Existencia

Proposici on 2.5. Dado el conjunto Xs (T, M, ) = u C [0, T ] , H s T2 y la m etrica ds,T (u, v ) = sup u (t) v (t)
[0,T ] s

u (t) etA .

M , M 0

El espacio (Xs , ds,T ) es un espacio m etrico completo.

Cap tulo 2. El Problema Local

13

Proof. El espacio Xs (T, M, ) es un subconjunto cerrado de C ([0, T ] , H s (T2 )), el cual es completo con la m etrica ds,T , que a su vez es inducida por s, , de manera que (Xs , ds,T ) es un espacio m etrico completo. Teorema 2.1. La funci on denida por t tA e(t )A f (u ( )) d, (u) = e +
0

(2.16)

es una contracci on, adem as existe al menos una soluci on al problema (2.8). Proof. En aras de usar el teorema del punto jo de Banach veamos que satisface las hip otesis de este teorema. a) Xs (T, M, ). Dados M 0, (Xs , ds,T ), se tiene t tA (u) (t) e s e(t )A f (u ( )) s d 0 t f (u) s d 0 t 1 L( u s , 0) u( ) s d, 0 p Para u Xs (T, M ), por (2.5) u( ) Si t [0, T ] (u) (t) etA
s s

por (2.4)

u( ) e A

+ e A

M+

1 L( u p 1 L( u p

, 0) (M + s ) t , 0) (M + s ) T
1

1 L (M + Sea (M, s ) = p (M, s ), entonces

s , 0) (M + s )

M. Si 0 < T <

(u) (t) etA por lo tanto (u) (t) Xs (T, M, ) .

(2.17)

Cap tulo 2. El Problema Local b) es una contracci on. Para u y v elementos de Xs tenemos: t e(t ) (f (u) f (v )) s d (u) (t) (v ) (t) s 0 t f (u) f (v ) s d 0 t 1 u ( ) v ( ) s d L ( u s , v s) p 0 1 L (M + s , M + s ) ds,T (u, v ) T p
1 Denimos (M, s ) = [ p L(M + posibilidades: s

14

, M + s ) ]1 . Existen dos

0 < T < (M, s ) < (M, s ) o 0 < T < (M, s ) < (M, s ) en cualquier caso 1 0 < L(M + p
1 L (M + S = p s s

, M + s ) T < 1.

, M + s ) T y T = T (M, s ) = min (, ) 0 < < 1.

ds,T ( (u)(t), (v )(t)) ds,T (u, v ), Por lo tanto es una contracci on.

Aplicando el teorema del punto jo de Banach 1.8, existe u Xs tal como se indica en la ecuaci on (2.9), es decir t tA u(t) = e + e(t )A f (u( ))d
0

2.2

Dependencia continua

Teorema 2.2. La funci on u asociada al problema (2.1) es continua.

Cap tulo 2. El Problema Local

15

on inicial del problema Proof. Sean (n ) n=1 tal que cada n es una condici H s (T2 ) on de Cauchy (2.8), adem as n , un C 0, Tn , H s (T2 ) la soluci correspondiente a n , donde Tn = T (M, n s ) y T = T (M, s ) de modo que 0 < T < T . Sabemos que T depende de y y estas a su vez de L(|), la cual es continua, por lo tanto T lo es tambi en entonces, si n Tn T existe N N tal que 0 < T < Tn , para todo n N . Esto implica que un C ([0, T ] , H s (T2 )), para todo n N adem as por (2.17) un Xs (T, M, ), cumpli endose que un ( ) M + n s M + K K = sup n s , 0 < < T.
s nN

Sea u la soluci on correspondiente a , se tiene que t f (un ( )) f (u ( )) s d un (t) u (t) s n s + 0 t un u s d n s + L( un s , u s ) 0 t un u s d n s + L(Ms (un , u ), Ms (un , u ))
0

donde Ms (un , u ) = max sup un (t)

[0,T ] s

, sup u (t)
[0,T ]

M +K

por lo tanto un (t) u (t)

s

+ L(M + K, M + K )
0

un u s d

aplicando la desigualdad de Gronwall un (t) u (t) entonces sup un (t) u (t)

nN n nN s s

n s eL(M + K, M + K )t n s eL(M + K, M + K )T n eL(M + K, M + K )T

s

lim sup un (t) u (t)

=0

(2.18)

teni endose la dependencia continua.

Cap tulo 2. El Problema Local

16

2.3

Unicidad

Teorema 2.3. La funci on denida en (2.9) es la nica soluci on al problema (2.8). Proof. Sup ongase que u y v son soluciones del problema de Cauchy (2.8) con condiciones iniciales y respectivamente, entonces, t f (u( )) f (v ( )) s d u(t) v (t) s s + 0 t 1 u( ) v ( ) s d s + L( u s , v s ) p 0 por la desigualdad de Gronwall u(t) v (t)
s

s e p L(

s,

s )t

(2.19)

Entonces, si = se tiene que u = v y por tanto la unicidad. Corolario 2.1. Para s > 1, el problema de Cauchy (2.8) est a localmente bien planteado en H s (T2 ). Demostraci on: Por lo desarrollado en los teoremas 2.1, 2.2 y 2.3 se tiene el resultado.

CHAPTER

El Problema Global

En este cap tulo se analiza el buen planteamiento global de la ecuaci on (2.1), para esto estimaremos u 1 . De la ecuaci on (2.2) el problema queda de la siguiente forma
2 ut = 1 x 1

1 x uyy + up p

(3.1)

El siguiente lema ser a de mucha utilidad en nuestro objetivo de hallar la estimativa de u 1 . Lema 3.1. Las siguientes cantidades 2 2 I1 (u) = u + ux dxdy = 2 + 2 x dxdy 2 2 T T u2 2 1 p+1 1 up+1 y y dxdy = I2 (u) = p p+1 2 p p+1 2 T2 T2 asociadas al ujo (2.1) son conservadas

dxdy

17

Cap tulo 3. El Problema Global Proof. Calculemos primero la derivada direccional de I2 . 1 (u + v )p+1 (uy + vy )2 I2 (u + v ) = dxdy p p+1 2 T2 d 1 I2 (u + v ) = (u + v )p v (uy + vy ) vy dxdy d p T2 1 p d I2 (u + v ) = u v uy vy dxdy d p T2 =0 Integrando por partes en el segundo miembro obtenemos 1 p d I2 (u + v ) = u v + uyy v dxdy d p T2 =0 1 p = u + uyy vdxdy p T2 obteni endose el siguiente par entesis de dualidad. d I2 (u + v ) d por lo tanto 1 I2 (u) = uyy + up . p Con base en lo anterior d I2 (u) = I2 (u) , ut dt 2 = I2 (u) , 1 x
2 dado que (1 x ) 1

18

= I2 (u) , v =
=0

1 p u + uyy , v p

x I2 (u)

x es un operador antisim etrico

1

d 2 I2 (u) = I2 (u) , 1 x dt

x I2 (u) = 0

de manera que I2 es una cantidad conservada. Observemos que el problema (2.1) puede escribirse como: 1 t (u uxx ) = x uyy + up . p (3.2)

Cap tulo 3. El Problema Global Calculemos ahora la derivada de I1 . I1 (u + v ) = (u + v )2 + (ux + vx )2 dxdy 2 T d I1 (u + v ) = 2 (u + v ) v + 2 (ux + vx ) vx dxdy d T2 d 2 (uv + ux vx ) dxdy I1 (u + v ) = d T2 =0 integrando por partes el segundo termino d = 2 (uv uxx v ) dxdy I1 (u + v ) d T2 =0 2 (u uxx ) vdxdy =
T2

19

Entonces I1 (u) = 2 (u uxx ) . Usando la identidad (3.2) se tiene que d I1 (u) = I1 (u) , ut dt = = as , I1 es conservada. Proposici on 3.1. Sean H s , s > 1 y u C ([0, T ] , H s (T2 )) la soluci on s de (2.1), existe K en H tal que u
2 1 2 I1 (u) , 1 x 1

1 x uyy + up p

1 2 I1 (u) , 1 x 2

t I1 (u) = 0

K () +

2 I1 () u p (p + 1)

p1 1

(3.3)

Proof. Del Lema 3.1, 2up+1 2 I1 2I2 = u2 + u2 + u dxdy x y p (p + 1) T2 2 2 2 2 = + x + y dxdy p+1 dxdy p ( p + 1) 2 2 T T 2 2 = 1 p+1 dxdy p (p + 1) T2

Cap tulo 3. El Problema Global Adem as,

20

2 u = I1 2I2 + up+1 dxdy p (p + 1) T2 2 2 2 p+1 dxdy + up+1 dxdy 1 p (p + 1) T2 p (p + 1) T2 2 p+1 dxdy , entonces Si K () = 2 1 p(p+1) T2 2 2 u 1 K () + up+1 dxdy (3.4) p (p + 1) T2
2 1

Observemos que |u (0)|

0 2
1 p+1

dx

= (2 ) (2 )

1 p+1

1 2

u(x)dx (u(x)) dx
2
1/2

p+1 2(p+1)

C ( ) u C ( ) u

0 1

C ( )

por lo tanto, aplicando la desigualdad de Gagliardo-Nirenberg, teorema 1.11, u

Lp+1

u u(0) u
L2

Lp+1 u 1 L2

+ u(0)

Lp+1 1

(3.5)

+ C ( )

donde

1 p+1

1 , 2

entonces Mp+1 u
p1 L2

p+1 Lp+1

2 L2

+1 + C ( ) p . 1 ver teorema 1.2

En vista de que u
2 L2

= T =
T2 T2
2

u2 dxdy u2 + u2 x dxdy 2 + 2 x dxdy = I1 ()

Cap tulo 3. El Problema Global y u

L2

21

u 1 , se tiene que u
2 1

K () +

2 I1 () u p (p + 1)

p1 1

+ C ( )

T engase en cuenta que K es acotado ya que H s (T2 ) En los siguientes tres casos obtendremos estimaciones a priori de u 1 . Teorema 3.1. Sea s > 1, H s (T2 ) , p = 2 y u C ([0, T ] , H s (T2 )) soluci on de (2.1), entonces u
1

< C, donde C > 0

I1 ,

Proof. Aplicando la desigualdad de Young a la desigualdad (3.3) con a = b = u 1, > 0 u Sea 2 = 2, entonces u
2 1 2 1

K () +

2 3

2 2 1

2 () I1 22

K () +

u 3

2 1

2 () I1 12

Haciendo I1 () sucientemente peque no u

2 1

3 K () , es decir u 2

2 1

C ()

(3.6)

Teorema 3.2. Sean s > 1, H s (T2 ) y p = 3. Si peque no entonces u 1 < C () , C > 0 Proof. S p = 3, de (3.3) se tiene que u por lo tanto u
2 1 2 1

es sucientemente

K () +

1 u 6

2 1

I1 ()

K () < C () 1 1 I () 6 1

Cap tulo 3. El Problema Global tomando a I1 () cercano a cero, se tiene que u

1

22

K () < .

(3.7)

Teorema 3.3. Sean s > 1, H s (T2 ) y p > 3. Si peque no, existe una constante M > 0 tal que u (t)
1

es sucientemente

< M, t [0, T ] .

Proof. La desigualdad (3.3) es equivalente a u

2 1

K () +

2 I1 () u p (p + 1)

2+ 1

con > 0. Haciendo I1 () y convenientemente peque nos, K () > 0 por lo que existe M > 0 tal que u 1 < M para todo t [0, T ] .

Como consecuencia de los teoremas 3.1, 3.2 y 3.3 se tiene el siguiente corolario. Corolario 3.1. Sean s > 1, H s y p 2. Si peque no, u 1 < .
1

es sucientemente

A partir de ahora trataremos el planteamiento global del problema de Cauchy para s > 1, en pro de ese objetivo presentamos los siguientes resultados. Lema 3.2. Sea u H s (T2 ), s 2 entonces existe > 0 tal que d u dt
2 s

{1 + K log (1 + u s )}p1 s u

2 0

Proof. De la ecuaci on (3.1)

2 s ut = 1 x 1

x yy s u

1 2 1 x p

x s up

Cap tulo 3. El Problema Global

2 Observemos que (1 x ) 1

23

x yy s u, s u

= 0, por lo tanto
0

1 d u 2 dt

2 s

1 2 1 x s up , s u 1 x p 0 1 2 1 x s up s u 0 1 x p 0 1 s up1 u 0 s u 0 , B 0 p =

Aplicando la desigualdad de Kato-Ponce 1.12 1 d u 2 dt

2 s

u p

p1 L

s u

2 0

(3.8)

Por el Lema 3.2 de [1], existe c = c(s) > 0 tal que

p1

p1 L (T2 )

c 1+ u

log (1 + u s )

(3.9)

por el corolario 3.1 existe K > 0 tal que

p1

p1 L (T2 )

c 1+K

log (1 + u s )

(3.10)

de (3.8), (3.9) y (3.10) d u dt

2 s

2c p

p1

1+K

log (1 + u s )

s u

2 0

(3.11)

Sea = (c, , p, K ) > 0 tenemos que d u dt

2 s

{1 + log (1 + u s )}p1 s u

2 0

(3.12)

Teorema 3.4. Sean s 2 y H s (T2 ) sucientemente peque no. Si p = 2 el problema de Cauchy (2.1) es globalmente bien planteado en H s para s > 1.

Cap tulo 3. El Problema Global Proof. Haciendo p = 2 en (3.2) tenemos d u dt

2 s

24

{1 + log (1 + u s )} s u = {1 + log (1 + u s )} u 1 + log 1 + u

2 s 2 s

2 0

(3.13)
2 s

1+ u

Por lo tanto

d dt

2 s 2 s

1+ u (t) = log 1 + u Sea f

2 s

1 + log 1 + u

2 s

(3.14)

en (3.14) tenemos que , reemplazando f (t) + f (t). f

Integrando a ambos lados (t) log 1 + f log 1 + k Aplicando el teorema 1.9 (t) k f es decir log 1 + u u por lo tanto u
s 2 s 2 s 2 s 2 s t

+ t +
0

( )d f
t

( )d + T + f 0 t 2 ( )d s ,T + f
0

2 s

, T eT ,

k eP (

, T eT = P 2 s ,T ) 1

2 s

2 s

,T

<

Teorema 3.5. Sea H s (T2 ) sucientemente peque no. Si p = 3 el problema de Cauchy es globalmente bien planteado en H s (T2 ), para s > 1.

Cap tulo 3. El Problema Global Proof. Haciendo p = 3 en (3.11) se tiene d u dt

2 s

25

2c p 2c p

1+K 1 + 2K

log (1 + u s )

s u

2 0

log (1 + u s ) + K 2 log (1 + u s )

s u

2 0

Sea = (c, , K ) tal que d s u 2 u 2 0, s 1 + log (1+ u s ) dt teni endose una desigualdad como (3.13), procediendo como en el caso p = 2, se concluye que u s < .

CHAPTER

El Problema ZK-BBM en espacios anisotr opicos

En este cap tulo se estudiara el problema s1 ,s2 (T2 )) u C ([0, T ] , H 1 ut uxxt + uxyy + p x (up ) = 0, p = 2, 3, . . . u (0) = H s1 ,s2 (T2 ) ,

(4.1)

donde H s1 ,s2 (T2 ) es el espacio de Sobolev anisotr opico tal que f H s1 ,s2 (T2 ) si f P y
2 s1 ,s2 2 1 + k1 k1 ,k2 Z s1 2 1 + k2 s2

f Ver [8]

= 2

(k1 , k2 ) f

<

Proposici on 4.1. Si 1 < s s1 + s2 , las siguientes contenencias son continuas H s1 +s2 T2 H s1 ,s2 T2 H s T2 Lp T2 Proof. i) H s1 ,s2 (T2 ) H s (T2 )

26

Cap tulo 4. El Problema ZK-BBM en espacios anisotr opicos Sea f H s1 ,s2 (T2 ) entonces f
2 s1 ,s2

27

= 2
k1 ,k2 Z

2 1 + k1

s1

2 1 + k2 s

s2

(k1 , k2 ) f
2

2
k1 ,k2 Z

2 2 1 + k1 + k2

(k1 , k2 ) f

As , f H s (T2 ) ii) H s1 +s2 (T2 ) H s1 ,s2 (T2 ). Para f H s1 +s2 (T2 ) f

s1 +s2 2

= 2
k1 ,k2 Z

2 2 1 + k1 + k2

s1 + s2

(k1 , k2 ) f

2
k1 ,k2 Z

cs1 ,s2

2 1 + k1

s1

2 s1 + k2

2 1 + k2

s2

2s2 + k1

(k1 , k2 ) f

teorema 1.2 cs1 ,s2 2

k1 ,k2 Z 2 1 + k1 s1 2 1 + k2 s2

(k1 , k2 ) f

= f

2 s1 ,s2

Por lo tanto f H s1 ,s2 (T2 ). Teorema 4.1. Si s1 + s2 > 1 el espacio H s1 ,s2 (T2 ) es un algebra de Banach. Proof. Sean f y g en H s1 ,s2 (T2 ), tenemos que fg por otro lado 1 f g (v ) = (2 )2 1 = (2 )2 =
wZ2 2 s1 ,s2

= 2
k1 ,k2 Z

2 1 + k1

s1

2 1 + k2

s2

f g (k1 , k2 )

(f g ) (x) eixv dx, x T2

T2

f (w) eiwx g (x) eixv dx

T2 wZ2

f (w) g (v w)

Cap tulo 4. El Problema ZK-BBM en espacios anisotr opicos de manera que

2

28

fg

2 s1 ,s2

= 2
k1 ,k2 Z

1+

2 s1 k1

1+

2 s2 k2 wZ2

f (w) g (v w)

w = ( , m)
2

Cs1 ,s2
k1 ,k2 Z

1+

2s1 k1

1+

2s2 k2 wZ2

f (w) g (v w)
2

teorema 1.2

Cs ,s 1 2 2 Ks1 ,s2

2+
k1 ,k2 Z

2s1 k1

2s2 2 k2 wZ2

f (w) g (v w)
2s1

2 + (k1 )2s1 + (k2 m)2s2 +

k1 ,k2 Z 2 2 s2 2

+m

f (w) g (v w)

Ks1 ,s2 f entonces f g H s1 ,s2

wZ2 2 2 s1 ,s2 g s1 ,s2

4.1

El Problema Local

Se trata en esta secci on el buen planteamiento local del problema (4.1), para esto estudiamos algunas propiedades de los operadores
2 A = 1 x 1

1 2 x yy y B = x 1 x p

asociados a (4.1) denidos tambi en en el cap tulo 2. A partir de A y B (4.1) se puede ver de manera mas simple como: t u = Au + f (u) u(0) = H s1 ,s2 Donde f : H s1 ,s2 T2 H s1 ,s2 T2 f (u) = B (u) (4.2)

(4.3)

Cap tulo 4. El Problema ZK-BBM en espacios anisotr opicos

1

29

1 2 as Proposici on 4.2. El operador B = p ) B (H s1 ,s2 (T2 )), adem x (1 x p s1 ,s2 2 s1 ,s2 2 B (u ) H (T ) para todo u H (T ), s1 + s2 > 1

Proof. Sea H s1 ,s2 (T2 ), entonces B

2 s1 ,s2

1 2 x 1 x p

s1 ,s2

2 = p

1+
k1 ,k2 Z 2 s1 ,s2

2 s1 k1

1+

2 s2 k2

k1 2 1 + k1

(k1 , k2 )

1 p

el teorema 4.1 nos garantiza que up H s1 ,s2 (T2 ) para u H s1 ,s2 (T2 ) Proposici on 4.3. La funci on denida en (4.3) satisface la condici on de Lipschitz local. Proof. La vericaci on de esta proposici on se basa en el uso de los siguientes resultados. i) Para s1 + s2 > 1, f H s1 ,s2 (T2 ) H s (T2 ), por el teorema 1.6 se tiene que f

c f

s1 ,s2

ii) Si f y g est an en H s1 ,s2 (Tn ) existe una constante cs1 ,s2 tal que fg Entonces: un v n
2 s1 ,s2 s1 ,s2

cs1 ,s2 f

2 s1 ,s2

2 s1 ,s2

= (u v ) un1 + un2 v + + uv n2 + v n1 uv
s1 ,s2

s1 ,s2 s1 ,s2

c0 s1 ,s2

n1 s1 ,s2

c1 s1 ,s2

n2

2 n2 + cn s1 ,s2 uv

s1 ,s2

n2 + cs v n1 1 ,s2

s1 ,s2

Por (ii) un1i v i

s1 ,s2

di s1 ,s2 u

n1i s1 ,s2

i s1 ,s2

, i = 0, . . . , n 1

Cap tulo 4. El Problema ZK-BBM en espacios anisotr opicos Sea K = max

i di s1 ,s2 cs1 ,s2 ,

30

i=0,...,n1

un v n

s1 ,s2

uv

s1 ,s2

un1

s1 ,s2

+ un2 v
s1 ,s2
1/2

s1 ,s2

+ uv n2 uv Aqu
1/2

s1 ,s2

+ v n1 u

s1 ,s2

s1 ,s2 , v

s1 ,s2

s1 ,s2 , v

s1 ,s2

= K sup
t[0,T ]

un1 (t)

s1 ,s2

+ un2 (t) v (t)

s1 ,s2

s1 ,s2

+ u (t) v n2 (t) Por lo tanto f (u) f (v )

s1 ,s2

s1 ,s2

+ v n1 (t)

= =

1 2 x 1 x p

(un v n )
s1 ,s2

1 n u vn 2 s1 ,s2 p 1 L u s1 ,s2 , v p

s1 ,s2

uv

s1 ,s2

L ( | ) es no decreciente respecto a cada uno de sus argumentos por lo que se tiene la condici on de Lipschitz local para f .
2 ) Proposici on 4.4. Sea A = (1 x 1

x yy , la aplicaci on

U (t) : R H s1 ,s2 T2 , s1 + s2 > 1 t etA es un grupo unitario fuertemente continuo a un par ametro en H s1 ,s2 (T2 ). Proof. En la proposici on 2.3 se vio que en el espacio H s (T2 ) se cumple est e resultado, dado que H s1 ,s2 (T2 ) H s (T2 ) se verica tambi en est a proposici on para H s1 ,s2 (T2 ).

Cap tulo 4. El Problema ZK-BBM en espacios anisotr opicos

31

4.1.1

Existencia

De manera similar a como se hizo en H s (T2 ) denimos un espacio m etrico adecuado para la utilizaci on del teorema del punto jo de Banach. Proposici on 4.5. Para s1 + s2 > 1, sea Xs1 .s2 (T, M, ) = u C [0, T ] , H s1 ,s2 T2 y la m etrica ds1 ,s2 ,T (u, v ) = sup u(t) v (t)
[0,T ] s1 ,s2

u (t) etA

s1 ,s2

El espacio (Xs1 ,s2 , ds1 ,s2 ,T ) es un espacio m etrico completo. Proof. El espacio (Xs1 ,s2 , ds1 ,s2 ,T ) es un subconjunto cerrado de C ([0, T ] , H s1 ,s2 (T2 )), el cual es completo (H s1 ,s2 (T2 ) H s (T2 )), con la m etrica ds1 ,s2 ,T , que a su vez es inducida por s1 ,s2 , . Teorema 4.2. La funci on denida por t tA e(t )A f (u ( )) d (u) (t) = e +
0

es una contracci on, adem as existe por lo menos una soluci on al problema (4.1). Proof. En la demostraci on de este teorema se hace uso del teorema del punto jo de Banach, por lo tanto vericaremos el cumplimiento de las hip otesis de este. a) Para Xs1 .s2 (T, M, ) tenemos: t tA (u)(t) e s1 ,s2 e(t )A f (u ( )) s1 ,s2 d 0 t 1 L u s1 ,s2 , 0 u s1 ,s2 d 0 p Sea u Xs1 .s2 (T, M, ) u ( )
s1 .s2

u( ) etA M+
s1 .s2

s1 .s2

+ etA

s1 .s2

Cap tulo 4. El Problema ZK-BBM en espacios anisotr opicos As , para t [0, T ] (u)(t) etA Deniendo M, 0 < T < M,
s1 ,s2

32

1 L p
1 L p

u u

s1 ,s2

,0

M+ M+

s1 .s2 1

s1 .s2

s1 ,s2 , 0

s1 .s2

M y

s1 .s2

se tiene que; (u)(t) etA

s1 ,s2

entonces, (u)(t) Xs1 .s2 (T, M, ) b) es una contracci on. Sean u, v Xs1 .s2 (T, M, ), se tiene que t (u)(t) (v )(t) s1 ,s2 f (u) f (v )
0

s1 ,s2

t 1 L u s1 ,s2 , v s1 ,s2 u v s1 ,s2 d p 0 T L M + s1 .s2 , M + s1 .s2 ds1 ,s2 ,T (u, v ) p

Sea M, Por lo tanto

s1 .s2

1 L p

M+

s1 .s2 , M +

s1 .s2

0 < T < M, 0 < T < M,

s1 .s2 s1 .s2

< M, < M,
T L p

s1 .s2 s1 .s2

De cualquier forma se tiene que s = y T = T M,

s1 .s2

M+

s1 .s2

,M +

s1 .s2

= min {, }, ds1 ,s2 ,T (u, v ) 1

Por lo que se concluye que es una contracci on. El teorema del punto jo de Banach garantiza la existencia de u Xs1 .s2 (T, M, ), t tA u (t) = e + e(t )A f (u ( )) d.
0

Cap tulo 4. El Problema ZK-BBM en espacios anisotr opicos

33

Teorema 4.3. (Dependencia Continua) la funci on u asociada al problema (4.1) es continua Teorema 4.4. (Unicidad) La funci on u denida en (4.2) es soluci on nica del problema (4.1) La demostraci on de los dos teoremas anteriores es an aloga a la realizada para el caso de H s (T2 ) debido a que H s1 ,s2 (T2 ) H s (T2 ), H s1 ,s2 (T2 ) es un subespacio de H s (T2 ). Corolario 4.1. Para 1 < s1 + s2 el problema de Cauchy (4.1) esta localmente bien planteado Proof. Este corolario se demuestra aplicando los teoremas 4.2, 4.3 y 4.4

4.2

Buen planteamiento Global

Para la vericaci on del buen planteamiento global del problema (4.1) se tienen en cuenta los siguientes casos: 1) s1 > 1 y s2 = 0 2) s1 + s2 > 1 con s1 y s2 distintos de cero. Caso 1) Si s1 > 1 y s2 = 0 u
s 1 ,0

= 2
k1 ,k2 Z

2 1 + k1

s1

|u (k1 , k2 )|
s1

2
k1 ,k2 Z

2 2 1 + k1 + k2

|u (k1 , k2 )|

= u

s1

Por lo tanto podemos aplicar los teoremas 3.1, 3.2, 3.3 y el lema 3.2 vistos en el cap tulo 3, obteni endose as el buen planteamiento global en este caso. Caso 2) Si s1 + s2 > 1, s1 y s2 distintos de cero, por la proposici on 4.1 s1 +s2 2 s1 ,s2 2 sabemos que H (T ) H (T ) de donde; u
s1 ,s2

s1 + s2

(4.4)

Si s = s1 + s2 > 1, la desigualdad (4.4) nos garantiza que los resultados usados en el cap tulo anterior para u s son validos para acotar u s1 ,s2 .

Nota 4.1. Obs ervese que para usar los teoremas 3.1, 3.2, 3.3 y el lema 3.2 y la proposici on 4.1 es necesario que 1 sea sucientemente peque na.

34

Bibliograf a

[1] J. Angulo, M. Scialom, C. Banquet The Regularized Benjamin-Ono and BBM equations: Well posedness and nonlinear stability, Journal of Differential Equations, vol. 250, no. 11, pp. 4011-4036, 2011. [2] T. Aubin, Nonlinear analysis on manifolds. Monge-Ampere equations, Springer-Verlag, 1982. [3] A. A. Alazmani, J. P. Albert, J. L. Bona, M. Chen and J. Wu, Comparisons between the BBM equation and a boussinesq system. Adv. Dierential Equations 11 (2006), no. 2, 121-166. [4] J.L. Bona, Hongqiu Chen, Local and global well-posedness results for generalized BBM-type equations. Lecture Notes in Pure and Appl. Math., 234, Dekker, New York, 2003. [5] A. Gr unrock, M. Panthe, and J. Silva. On KP-II Type Equations on Cylinders. Ann. Inst. H Poincar e Anal. Non Linae aire (2009), 2335-2358. [6] M.A. Johnson The Transverse Instability of Periodic Waves in Zakharov-Kuznetsov Type Equations. Stud. Appl. Math. 124 (2010), no. 4, 323345 [7] A. Estefahani High Dimensional Nonlinear Dispersive Models, IMPA, PhD Thesis, Rio de Janeiro 2008 [8] A. Estefahani, and A. Pastor Stability and Decay Properties of Solitary Wave Solutions for the generalized BO-ZK Equation, IMPA, Jardim Botanico 22460-320, Rio de Janeiro, RJ, Brazil

35

[9] A. D. Ionescu and C. E. Kenig, Local and global wellposedness of periodic KP-I equations, Ann. of Math. Stud. 163 (2007), 181-211. [10] R. J. I orio, Jr., V. de Magalh aes I orio, Equacaoses diferenciais parciais: Uma introducaoo, Projeto Euclides, IMPA/CNPq, (1988) [11] R. J. I orio, W. V. L. Nunes Introducaoo s equacaoses de Evolucaoo n o Lineares. 18A Col oquio Brasileiro de Matem atica, IMPA. [12] R. J. I orio, Jr., Val eria de Magalh aes I orio, Fourier Analysis and Partial Dierential Equations, Cambridge studies in avanced mathematics, 70, (2001). [13] J. M. Laverde, Equivalencia de los problemas Integral y de Cauchy para la ecuaci on de Kadomtsev-Petviashvili (KP-II) en espacios de baja regularidad, Universidad Nacional de Colombia, Sede Medell n 2001. [14] F. Linares, A. Pastor, and J.C. Saut, Well-Posedness for the ZK Equation in a Cylinder and on the Background of a KdV Soliton, Comm.PDE 35 (2010), 1674-1689. [15] F. Linares. G. Ponce, Introduction to nonlinear dispersive equations, Springer-Verlag, 2009. [16] I. D. Vega, El problema de Cauchy asociado a una ecuaci on del tipo ZK-BBM, Universidad Nacional de Colombia, 2011. [17] A.-M. Wazwaz, Compact and noncompact physical structures for the ZK-BBM equation Appl. Math. Comput. 169 (2005) 713-725

36