Memorias de la XVII Semana Regional de Nivel Superior

Investigacion y Docencia en Matematicas.

Departamento de Matematicas, Universidad de Sonora, Mexico,
Mosaicos Matematicos, No. 20, Agosto, 2007, pp. 2329.
APLICACI

ON DEL TEOREMA FUNDAMENTAL DE SUPERFICIES EN R

3
EN LA ECUACI

ON DE SINEGORDON
Misael Avenda no Camacho
Departamento de Matematicas
Universidad de Sonora
Resumen
La ecuacion de sine-Gordon aparece como modelo de varios fenomenos en el campo de la
fsica-matematica, tales como La Teora Relativista, la Fsica del estado S olido, y

Optica No
lineal entre otras. Dicha ecuacion solitonica tiene una estrecha relacion con las ecuaciones
de Gauss-Mainardi-Codazzi para supercies hiperbolicas que aparecen en Geometra Diferen-
cial. El proposito de este trabajo es obtener una interpretacion geometrica de la ecuacion de
sine-Gordon, aplicando el Teorema Fundamental de Supercies para construir supercies de
soliton.
1 Ecuaci on de sine-Gordon
La ecuaci on de sine-Gordon es una ecuaci on diferencial parcial que aparece en geometra
diferencial y en el campo de la teora relativista. La ecuaci on, como varias de sus tecnicas de
soluci on, son conocidas desde el siglo XIX, pero el interes por esta ecuaci on aumento cuando
que se descubri o que posee soluciones de tipo solit on. La ecuaci on de sine-Gordon tambien
aparece en un buen n umero de aplicaciones fsicas, incluyendo el movimiento de una cadena
de pendulos jos acoplados, dislocaciones en cristales, entre otros. Es posible encontrar mas
aplicaciones de la ecuaci on de sine-Gordon, ademas de otras ecuaciones, y su relaci on con la
teora de solitones en [2] y [3].
La ecuacion de sine-Gordon es

xx

tt
= sen , (1)
donde
xx
y
tt
indican derivadas parciales con respecto a los par ametros x y t.

Esta ecuaci on
puede ser transformada bajo el siguiente cambio de coordenadas:
=
x t
2
, =
x + t
2
, (2)
en la ecuaci on

= sen o

= sen . (3)
Notemos que la igualar a cero el lado derecho de (1), esta se convierte en la ecuacion de
onda, por lo que se puede considerar que la ecuaci on de sine-Gordon es la ecuaci on onda no
lineal
Una familia de soluciones de la ecuaci on de sine-Gordon tiene la forma
23
(x, t) = 4 arctan
_
C exp
_
x t
(1
2
)
1
2
__
, (4)
donde C y [[ < 1 son constantes arbitrarias.
2 Representaci on de Lax
Denici on 2.1. Sean U R
2
(x,t)
un abierto y L, M : U gl(n) funciones matriciales
suaves. Se dene La Ecuacion de Curvatura Cero para L, M por

L
x
+
M
t
= [L, M] := LMML, (5)
donde , son constantes reales. La pareja L, M es un par de Lax, si satisface la
ecuacion (5).
Observaci on 2.2. Al tomar = = 1 y las funciones L, M : U gl(3), dadas por
L =
_
_
0
t
sen

t
0 0
sen 0 0
_
_
, M =
_
_
0
x
0

x
0 cos
0 cos 0
_
_
, (6)
donde u : R
2
(x,t)
R es una solucion de la ecuacion de sine-Gordon (1), resulta entonces
que L, M forman un par de Lax.
Observaci on 2.3. En el contexto de las ecuaciones diferenciales parciales (EDF), al sustituir
= = 1 en la ecuacion (5), esta resulta ser la condicion de compatibilidad del sistema
(EDP)
G
x
= GM,
G
t
= GL.
3 Ecuaciones de compatibilidad y Teorema Fundamental de Supercies en R
3
En esta parte se hace un breve repaso del estudio de las supercies en R
3
y de sus propiedades
y ecuaciones mas importantes, lo que facilitara el seguimiento en el estudio de la supercies
de soliton; para un estudio m as profundo de estos temas, remitimos a las fuentes [1] y [5].
Supongamos que x = x(u, v) es una parametrizaci on que describe una vecindad de un
punto p de una supercie / en R
3
. Recordemos que los vectores x
u
y x
v
son linealmente
independientes y tangentes a / en el punto p, ademas el vector
N =
x
u
x
v
|x
u
x
v
|
, (7)
24
determina un vector unitario normal a /. La primera y segunda forma fundamental son
denidas por
I = dx, dx) = Edu
2
+ Fdudv + Fdv
2
, (8)
II = dx, dN) = edu
2
+ fdudv + gdv
2
, (9)
donde
E = x
u
, x
u
) , F = x
u
, x
v
) , G = x
v
, x
v
) , (10)
e = N
u
, x
u
) = N, x
uu
) ,
f = N
v
, x
u
) = N, x
uv
) = N, x
vu
) = N
u
, x
v
) ,
g = N
v
, x
v
) = N, x
vv
) .
El sistema lineal de Gauss-Weingarten asociado a la supercie / es
_
x
u
x
v
N

u
=
_
x
u
x
v
N

P,
_
x
u
x
v
N

v
=
_
x
u
x
v
N

Q, (11)
donde P y Q son matrices de 3 3 denidas por
P =
_
_

1
11

2
11
e

1
21

2
21
f
a
11
a
21
0
_
_
, Q =
_
_

1
12

2
12
f

1
22

2
22
g
a
12
a
22
0
_
_
. (12)
Los coecientes
i
jk
que aparecen en las ecuaciones (12), son los usuales smbolos de Christo-
el dados por la f ormula

i
jk
=
g
il
2
(g
jl,k
+ g
kl,j
g
jk,l
),
donde, al tomar x
1
= u, x
2
= v,
I = g
jk
dx
j
dx
k
y g
jk
g
kl
=
j
l
;
mientras que los coecientes a
ij
est an dados por
_
a
11
a
21
a
12
a
22
_
=
1
EGF
2
_
fF eG eF fE
gF fG fF gE
_
. (13)
Las condiciones de compatibilidad (x
uu
)
v
= (x
uv
)
u
, (x
uv
)
v
= (x
vv
)
u
y N
uv
= N
vu
aplica-
dos al sistema lineal de Gauss (11) dan como resultado la expresion
P
v
Q
u
= [P, Q] . (14)
25
La ecuacion matricial (14) es equivalente a las ecuaciones no lineales de Peterson-Mainardi-
Codazzi
e
v
f
u
= e
1
12
+ f
_

2
12

1
11
_
g
2
11
, (15)
f
v
g
u
= e
1
22
+ f
_

2
22

1
21
_
g
2
21
, (16)
y a la ecuacion desarrollada por Gauss en su Teorema Egregio, en donde expresa la curvatura
Gaussiana por
/ =
1

EGF
2
__

EGF
2
E

2
11
_
v

EGF
2
E

2
12
_
u
_
, (17)
Las ecuaciones (15),(16) y (17) son conocidas como las ecuaciones cl asicas de compatibilidad
de la teora de supercies. El siguiente resultado, de los m as importante en Geometra Dife-
rencial, establece que si un conjunto de funciones E, F, G, e, f, g satisfacen las ecuaciones
de compatibilidad, entonces determinan localmente una supercie / en R
3
, la cual es unica
salvo su posici on en el espacio.
Teorema 3.1 (Teorema Fundamental de Supercies). Sean E, F, G, e, f, g funciones reales
suaves denidas sobre un conjunto abierto U R
2
, tales que E > 0, G > 0 y EGF
2
> 0.
Denamos las funciones matriciales P, Q :U GL(3) por (12). Supongamos que P y Q
satisfacen la ecuacion de compatibilidad (14). Entonces para cada par de puntos (u
0
, v
0
) U
y p R
3
existe una vecindad U
0
(u
0
, v
0
) y una unica funcion suave x : U
0
R
3
tal que:
a) x(u
0
, v
0
) = p.
b) El conjunto / = x(U
0
) es una supercie en R
3
.
c) Los coecientes de las formas fundamentales asociados a la parametrizacion x = x(u, v)
son las funciones E, F, G, e, f, g.
Ver este resultado completo y su demostracion en [4] y en [6].
4 Supercies hiperb olicas y la ecuacion de sine-Gordon
En esta parte vamos a obtener la supercie de Soliton asociada a la ecuacion de sine-Gordon,
debemos aclarar que dichas supercies son llamadas as ya que la ecuacion de sine-Gordon,
con la que relacionaremos a estas supercies, posee soluciones tipo soliton. Para esto veremos
la relacion que hay entre esta ecuaci on y las supercies hiperb olicas.
Si la curvatura total de una supercie / es negativa, es decir, si / es una supercie
hiperbolica, entonces la curvas asintoticas (curvas en las que II se anula) de / pueden ser
tomadas como curvas parametricas. Entonces e = g = 0 y las ecuaciones de Mainardi-
Codazzi (15),(16) se reducen a
_
f

EGF
2
_
u
+ 2
2
12
f

EGF
2
= 0,
_
f

EGF
2
_
v
+ 2
1
12
f

EGF
2
= 0, (18)
26
y la curvatura gaussiana
/ =
f
2
EGF
2
=:
1

2
. (19)
El angulo entre las curvas parametricas es tal que satisface
cos =
F

EG
, sen =

EGF
2

EG
, (20)
podemos tomar, sin perdida de generalidad, E =
2
a
2
y G =
2
b
2
, con lo cual las formas
fundamentales (9), nos quedan de la forma
I =
2
(a
2
du
2
+ 2ab cos dudv + b
2
dv
2
), (21)
II = 2ab sen dudv. (22)
Las ecuaciones de Mainardi Codazzi (15),(16) en este caso son
a
v
+
1
2

a
1
2

b cos = 0, (23)
b
u
+
1
2

b
1
2

a cos = 0. (24)
mientras que la curvatura gaussiana queda expresada por

uv
+
1
2
_

b
a
sen
_
u
+
1
2
_

v
b
sen
_
v
ab sen = 0 (25)
En el caso particular cuando / = 1/
2
< 0, es contante, la supercie / es conocida como
supercie Pseudoesferica. De las ecuaciones de Mainardi-Codazzi se obtiene que a = a(u) y
b = b(v). Si la supercie / es parametrizada usando las coordenadas de lneas asintoticas,
entonces las formas fundamentales toman la forma
I = du
2
+ 2 cos dudv + dv
2
, II =
2

sen dudv, (26)

mientras que la ecuaci on de Gauss para la curvatura total (25) se reduce a la ecuacion de
sine-Gordon

uv
=
1

2
sen (27)
Debemos notar que en el caso de las supercies hiperb olicas de curvatura total gaussiana
constante y negativa, la ecuaci on del Teorema Egregio es precisamente la ecuacion de sine-
Gordon y recordemos que la ecuacion de Gauss es una de las ecuaciones de compatibilidad
que se requieren para la existencia local de una supercie (Teorema 3.1). En este momento
estamos en condiciones de presentar el resultado central de este trabajo: la ecuacion de
sine-Gordon es una condicion que garantiza la existencia de una supercie en R
3
a la que
llamaremos supercie de soliton
27
Teorema 4.1. Sea una solucion de la ecuacion de sine-Gordon ( 1). Entonces existe un
supercie / en R
3
cuya curvatura total constante y negativa, tal que

uv
= /sen , (28)
para alguna parametrizacion x(u, v) de /. Ademas, el angulo entre las dos direcciones
asintoticas es 2.
Demostracion: Sea (u, v) una solucion de la ecuaci on de sine-Gordon (1). Como se vio en
la observaci on (2.2), la ecuaci on de sine-Gordon es equivalente a que la pareja de Lax
P =
_
_
0
t
sen

t
0 0
sen 0 0
_
_
, Q =
_
_
0
x
0

x
0 cos
0 cos 0
_
_
, (29)
satisfaga la ecuaci on de curvatura cero (5), la cual coincide con la condicion de compatibilidad
(14). Como est ultima ecuaci on es la condici on de compatibilidad del Teorema Fundamental
(Teorema 3.1), de dicho teorema se sigue la existencia de una supercie /inR
3
; un esquema
de construcci on de dicha supercie puede encontrarse en la construcci on del teorema funda-
mental dada en [6]. Hasta aqu se ha probado que cada soluci on de sine-Gordon implica la
existencia de una supercie, y por unicidad, podemos asociar a cada solucion una supercie
de soliton.
La ecuacion (28) se sigue de la equivalencia entre la ecuaci on de sine-Gordon y la ecuaci on
(17), la cual fue establecida anteriormente, en esta misma secci on.
Solo nos resta calcular el angulo que forman las direcciones asint oticas. En este caso es
conveniente parametrizar la supercie /, x(u, v) en terminos de coordenadas especiales de
lneas de curvatura
x = u + v, t = u v. (30)
Si tomamos = 2 (20), entonces la primera y segunda forma fundamental (9) se convierten
en
I = cos
2
dx
2
+ sen
2
dt
2
, (31)
II =
1

sen cos (dx

2
dt
2
). (32)
(33)
y la ecuaci on de compatibilidad del Teorema (3.1) es

xx

tt
=
1

2
sen cos =
1

2
sen 2. (34)
De la segunda forma fundamental (32) se sigue que x
x
+ x
t
y x
x
x
t
son las direcciones
asint oticas, y calculando el producto interior euclidiano de estos dos vectores tenemos
28
x
x
+x
t
, x
x
x
t
) = cos
2
sen
2
= cos 2, (35)
por lo tanto, el angulo que forman estos vectores es 2
Debemos hacer notar que para cada solucion existe una supercie intrnseca, que de-
pende de , la cual llamaremos supercie de solit on.
Ejemplo 4.2. Considere la ecuacion de sine-Gordon

uv
= sen . (36)
De la ecuacion (28) es facil ver que la supercie de asociada a esta ecuacion tiene curvatura
gaussiana / = 1. Cabe mencionar que la pseudoesfera es una supercie de soliton que se
obtiene de la ecuacion ( 4), tomando x = t.
Bibliografa
[1] do Carmo, M. P. : (1976), Dierential Geometry of Curves and Surfaces, Prentice-Hall, Inc.
[2] Dranzin P.G. ; Johnson R.S. : (1990), Solitons: an introduction, Cambrige University Press,
Cambrige
[3] Rogers C. ; Schief W. K. : (2002), Backlund and Darboux Transformations, Cambrige Uni-
versity Press.
[4] Spivak A M : (1979), A comprehensive introduction to Dierential geometry, Vol. Three,
Publishor Perish, Berkeley California.
[5] Struik D. J, Geometra Diferencial Clasica, Editorial Aguilar, Madrid.
[6] Avenda no C. M: (2006), Teorema Fundamental de Supercies y el Criterio de Frobenius,
Tesis de Licenciatura, Universidad de Sonora.
29