Ensayo Mecnica Clsica Martes 12 de Agosto del 2014

SOLITONES
Rafael Bravo
Departamento de Fsica, Universidad de Santiago de Chile (USACH), Av. Ecuador 3493, Santiago, Chile
rafael.bravog@usach.cl
Resumen
En el siguiente ensayo, se recopilan diversos aspectos de la teora de solitones, partiendo con una resea histrica acerca de
su descubrimiento y su posterior descripcin matemtica que lleva a la ecuacion de Korteweg-de Vries (KdV) y sus propiedades.
Luego se relacionan aspectos matemticos y fsicos, a travs del mtodo de scattering inverso, en el contexto de mecnica
cuntica, pudiendo establecer una relacin entre estas ondas solitarias con un potencial transparente.
I. INTRODUCCIN
[1, 3]En el ao 1834, cerca de Edimburgo, Escocia,
el cientco e ingeniero naval, John Scott Russell, mien-
tras se realizaban experimentos para determinar el dis-
eo ms eciente para los canales de botes, observ un
fenmeno compltamente singular, mientras un bote
cruzaba el canal, tirado por caballos, se detuvo abrpta-
mente, se gener en la proa de ste una onda de agua
que comenz a deslizarse por la supercie, lo que llam
la atencion de Russell fue que esta onda, en vez de disi-
parse, continu viajando, por un par de kilmetros, sin
alterar su forma. En las propias palabras de Russell el
descubrimento se describe as
Yo estaba observando el movimiento de un barco que era
tirado rpidamente a lo largo de un estrecho canal por un par
de caballos, cuando el barco se detuvo de repente, la masa de
agua que se haba puesto en movimiento en el canal, se acu-
mul en la proa de la embarcacin en un estado de agitacin
violento, derrepente lo dej atrs con gran velocidad, tomando
gran elevacin, este montn de agua redondeado y bien liso
continu su curso a lo largo del canal, aparentemente sin
cambi de forma o disminucin de velocidad, lo segu a cabal-
lo y lo adelant, cabalgando a una velocidad aproximada de
14[Km/h], conservando su gura original, unos 9[m] de largo
y unos 45[cm] de altura. Su altura disminuy gradualmente,
despus de una persecucin de unos 2.3[Km] lo perd en las
curvas del canal, est ocurri en el mes de agosto de 1834, en
el cual fue mi primer encuentro con este fenmeno singular y
hermoso que he llamado onda de traslacin
Como ingeniero naval, Russell saba que el fenmeno
que observ era realmente intrigante y se interes en
investigarlo ms a fondo, dise en su casa, con la
ayuda de estanques un modelo que reproduca esta
onda. En la literatura cientca de la poca no encontr
ninguna referencia con respecto a este fenmeno.
Por lo tanto se dedic a conocer y estudiar las
propiedades de estas singulares ondas solitarias, su
objetivo era encontrar la "ecuacin de onda" o alguna
descripcin matemtica que las describiera, lamentable-
mente el no pudo llegar a esta descripcin, sin embargo
hizo importantes observaciones
Figura 1: Diseos originales de Russell
Las ondas son estables, y pueden viajar distan-
cias muy grandes (las ondas ordinarias tienden a
aplanarse y a caerse rpidamente).
La velocidad depende del tamao de la onda y su
anchura en la profundidad del agua.
A diferencia de las ondas normales, estas ondas
no se combinarn para formar otra, por lo que
una onda pequea se ve superada por una grande
(no linealidad de estas ondas)
Si una onda es demasiado grande para la profun-
didad del agua, esta se divide en dos, una grande
y una pequea.
Finalmente Russell pudo recopilar datos sucientes co-
mo para redactar un trabajo coherente, el cual envi a la
Royal Society de Edimburgo, su publicacin impresion
a diversos investigadores en el mundo, los cuales tam-
bin intentaron observar estas misteriosas ondas para
1
poder desvelar los mecanismos de su formacin. Varios
cientcos de su poca argumentaron que las ondas de
forma permanente no podran existir, en particular Airy
y Stokes decan que la disminucin de la onda era una
una indicacin de que aquellas no eran permantes, ellos
sin embargo dedicaron parte de su tiempo a entender el
fenmeno. En el ao 1870 J. Boussinesq y Lord Rayleigh
encontraron que la amplitud de esta onda deba ser
una onda viajera proporcional a sech
2
(x), poseyendo
as una localizacin exponencial. Boussinesq encontr
ecuaciones en derivadas parciales que aproximan las
observaciones de Russell, sin embargo no fue hasta el
ao 1895 cuando los cientcos alemanes Diederick Jo-
hannes Korteweg y su estudiante de doctorado Gustav
de Vries, presentaron en un trabajo, la ecuacin no lineal
que describe analticamente este fenmeno
u
t
+6u
u
x
+

3
u
x
3
= 0 (1)
Esta es la llamada ecuacion de Korteweg-de Vries o
KdV, cuya solucin[2], si se asume u(x, t) = u(x ct)
es
u(x, t) =
c
2
sech
2

c
2
(x ct)

(2)
El primer trmino de la ecuacin (1) representa la
evolucin temporal, el segundo trmino es el de no
linealidad y el tercero es de dispersin, esta ecuacin
muestra un balance entre no linealidad y dispersin.
Posteriormente, en el ao 1965 los fsicos matemti-
cos Norman Zabusky y Martin Kruskal retomaron un
famoso problema numrico, FPU[8], que Fermi, Pasta y
Ulam formularon en 1955 con la computadora MANI-
AC en Los Alamos, para una red anarmnica (conjunto
de osciladores no lineales). El modelo del problema FPU
era muy similar a una discretizacin de la ecuacin de
KdV. Zabusky y Kruskal encontraron un tipo de on-
da muy especial que aparentemente mostraba un com-
portamiento como partcula, en especial, cuando dos
de estas ondas interactuaban entre s en una colision,
poniendo una onda con mayor amplitud atras de una
de menor amplitud, como se sabe la de mayor amplitud
tendr mayor velocidad y al alcanzar la onda pequea,
stas interactan de manera no lineal, pero salen de esta
colisin con su identidad intacta y solamente con un
cambio de fase, llamaron a estas ondas solitrones, pero
por problemas con una patente debieron rebautizarlas
como solitones, el trmino fue elegido para estar en
concordancia con el nombre de partculas elementales
(electrn, protn, fotn, fermin, bosn, etc.). La rareza
de encontrar comportamiento de partcula en una on-
da no lineal, llevo posteriormente a estudiar a fondo
a los solitones, como fruto de esto Zabusky, Kruskal y
otros investigadores encontraron un mtodo para re-
solver la ecuacion de KdV que explicaba la dinmica
del solitn. Posteriormente con respecto a la teora de
sistemas integrables, fue importantsimo encontrar la
integracin de la ecuacin de KdV; los cientcos Gard-
ner, Greene, Kruskal y Miura encontraron una relacin
entre la ecuacin de Schrdinger y la ecuacin de Kdv.
Si se considera un potencial u(x) para la ecuacin esta-
cionaria de Schrdinger

H(x) = E(x) (3)

H =
p
2
2m
+ u(x) p = i h
d
dx
Los correspondientes datos de scattering (coe-
cientes de transmisin, reexin, etc.), se transforman
de una manera extremadamente sencilla cuando el pote-
nial u(x) cambia a u(x, t) (este parmetro temporal es-
t solamente asociado a la ecuacin de Kdv, no tiene
relacin alguna con la ecuacin de Schrdinger no esta-
cionaria), siempre que u(x, t) satisfaga la ecuacin de
KdV. Por lo tanto dada una condicin inicial u(x) para
(1) se pueden hallar los datos de scattering asociados
y determinar la su evolucin de manera inmediata, so-
lo resta encontrar que potencial u(x, t) tiene aqullos
datos de scattering, es decir es un probema de scatter-
ing inverso, para ello se necesita resolver una ecuacin
integral, la ecuacin de Gelfand-Levitan-Marchenko
(GLM), la solucin de esta ecuacin lleva a la resolu-
cin del problema inverso y por lo tanto al problema de
condiciones iniciales para la ecuacin de KdV. Este es el
llamado mtodo de Scattering inverso. En el contexto
de fsica matemtica, el ao 1971 los investigadores de
la Academia de Ciencias de la URSS Vladimir Zakharov
y Aleksei Shabat, descubrieron otra ecuacin muy im-
portante que involucra solitones, la llamada ecuacin
no lineal de Schrdinger (NLSE)
i
t
=
1
2

2
x
+ ||
2
(4)
la cual ellos resolvieron utilizando el mtodo de scat-
tering inverso, esta ecuacin tambin corresponde a un
modelo de sistema integrable.
Con el pasar del tiempo se fueron encontrando di-
versas ecuaciones no lineales, en las que sus soluciones
aparecan solitones, y as mismo abrindose sus reas
de aplicacin, por nombrar algunas, ptica, plasmas,
bras de vidrio, redes nerviosas, cadenas moleculares,
superconductividad, biologa, etc.
2
II. PROPIEDADES DE LA KDV
Acontinuacin se mencionan algunas de las muchas
propiedades que posee la ecuacin de Korteweg-de
Vries.[6, 4]
La ecuacin (1) a travs de ciertas manipulaciones
(t at , x bx , u cu) siempre es posible reducir
a la forma
u
t
6uu
x
+ u
xxx
= 0 (5)
Se dice que la ecuacin de Kdv tiene ciertas leyes de
conservacin. La ecuacin (1) puede ser representada
en forma de una ley de conservacin.

t
u +
x
(3u
2
+ u
xx
) = 0 (6)
en efecto, la ecuacin (6) implica la conservacin de
la integral (7) llamada "masa"
d
dt
+

u(x, t)dx (7)

Siempre que la funcin u(x, t) y sus derivadas desa-
parescan cuando x . Con un poco de lgebra es
posible obtener una ecuacin (8) de conservacin para
el llamado "momentum"

t
u
2
2
+
x

2u
3
+ uu
xx

1
2
u
2
x

= 0 (8)
Y tambin para la llamada "energa"

u
3

1
2
u
2
x

+
x

9
2
u
4
+3u
2
u
xx
+ u
t
u
x
+
1
2
u
2
xx

= 0
(9)
Si se introduce la siguiente susticin diferencial lla-
mada transformacin de Gardner
u = w + iw
x
+
2
w
2
(10)
siendo un parmetro arbitrario, intruduciendo (10)
en (1), se produce
u
t
+6uu
x
+ u
xxx
= (1 +2
2
w + i
x
)(w
t
+ (3w
2
+2
2
w
3
+ w
xx
)
x
) = 0
ahora, si w(x, t) satisface la ecuacion de conserva-
cion de Gardner
w
t
+ (3w
2
+2
2
w
3
+ w
xx
)
x
= 0 (11)
entonces u(x, t) es solucin de (1). Si se represen-
ta w en forma de una serie innita de potencias de ,
w =

n=1

n
w
n
, a continuacin resolviendo (10) por
iteraciones para 1, subsecuentemente, se tiene:
w
0
= u , w
1
= iu
x
, w
2
= u
2
u
xx
, ....
Ahora, ajustando la expansin obtenida w =

n=1

n
w
n
, en la ecuacin (11), se tienen series in-
nitas para las leyes de conservacin de la KdV co-
mo coecientes pares de potencias de . Los valores
I
n
=
+

w
2n
dx son llamados, integrales de Kruskal,
como caso particular, las integrales de movimiento (7),
(8) y (9), corresponden a los valores n = 1, 2 y 3 de las
integrales de Kruskal respectivamente. Por lo tanto se
dice que la ecuacin de KdV posee innitas integrales
de movimiento, es decir es compltamente integrable.
La ecuacin de KdV como aparece en (5) cor-
responde a las ecuaciones de Euler-Lagrange de
movimiento, construidas a partir de la densidad la-
grangiana
L =
1
2

t
+ (
x
) 3
1
2

2
x

2
(12)
en donde se dene u(x, t) =
x

Tambin la KdV en su forma (5) tiene una repre-

sentacin a travs de pares de Lax (L, A), en particular
puede ser formulada como la ecuacin de Lax
d
dt
L = [L, A] LA AL (13)
En donde L =
2
x
+ u y el operador de Lax A =
4
3
x
3 [2u
x
+ (
x
u)]. Esto explica que la ecuacin de
KdV tenga innitas integrales de movimiento.
La ecuacin de KdV posee estructura Hamiltoniana.
Si se representa (1) en la forma
u
t
=

x
F
u
(14)
En donde F [u] = I
3
corresponde a la tercera inte-
gral de Kruskal, correspondiente a la conservacin de
la energa, y la derivada variacional para el funcional
F [u] =
x
2

x
1
f (x, u, u
x
) dx, es dado por
F
u
=
f
u

d
dx

f
x

(15)
La ecuacin (14) es realmente una representacin
Hamiltoniana de la KdV con I
3
como Hamiltoniano,
este resultado fue encontrado por Gardner.
Esta representacin puede ser reemplazada por el
corchete de Poisson
{F, G} =
+

F
u

G
u

dx (16)
3
La conexin de las representaciones (14) y (16) con
la forma tradicional de las ecuaciones de Hamilton para
sistemas dinmicos de dimensin nita, es mostrada
considerando las series de Fourier para u(x, t) peridi-
co, u(x, t) =

k=
u
k
e
ikx
. A continuacin para
q
k
=
u
k
k
, p
k
= u
k
, H =
i
2
F (17)
Se recuperan las ecuaciones de Hamilton en su for-
ma ms comun
dq
k
dt
=
H
p
k
,
dp
k
dt
=
H
q
k
(18)
Con el corchete de Poisson denido por
{F, G} =
i
2

k=
k
F
u
k
G
u
k
(19)
Con esto se puede mostrar que las integrales de
Kruskal, se encuentran en involucin
{I
k
, I
m
} = 0 , k, m (20)
Denuevo se puede ver que la ecuacin de KdV rep-
resenta un sistema Hamiltoniano integrable.
III. SOLITONES EN FSICA
A continuacin se presenta de manera resumida,
una de las aplicaciones que los solitones pueden tener
en fsica, en particular el caso de un tipo especial de po-
tencial que aparece en el contexto de mecnica cuntica,
llamado reectionless o transparente, su particularidad
es que el coeciente de reexin es 0.
[5]Utilizando el mtodo de scattering inverso, para
un potencial transparente, se tiene que este es posible
construirlo utilizando lo siguiente
u(x) = 2
d
2
dx
2
ln

1 +

2
2
e 2x

(21)
Donde el parmetro corresponde a la energa de
los estados ligados E =
2
y el parmetro est
asociado con constantes de normalizacin. Es posible
mostrar que el parmetro introduce el parmetro tem-
poral en el potencial u(x), en la forma (t) = (0)e
4t
.
Con esto la solucin de (21) tiene la forma
u(x) =
2
2
cosh
2
(x + )
(22)
Donde =

2
Se puede probar que (22) es solucin de (5), por lo
tanto se ha obtenido una solucin solitnica, el potencial
que muestra la ecuacin (22) corresponde al potencial
de Pschl-Teller
Figura 2: Forma del potencial de Pschl-Teller
La ecuacin de Schrdinger es analticamente solu-
ble con este potencial, reduciendo sta a una ecuacin
hipergeomtrica.
la forma general de este potencial es
u(x) =

2

2
cosh
2
(x)
(23)
[7]Resumiendo un poco los clculos, al resolver la
ecuacin de Schrdinger, se tiene que la funcin de
onda debe ser de la forma
= A
e
+ B
o
(24)
Para x > 0
=
A
2
C
e

e
i
e
e
ikx
+ e

e
e
ikx

+
B
2
C
o

e
i
o
e
ikx
+ e

o
e
ikx

Para x < 0
=
A
2
C
e

e
i
e
e
ikx
+ e

e
e
ikx

B
2
C
o

e
i
o
e
ikx
+ e

o
e
ikx

Se busca una solucin asinttica de la forma

=

e
ikx
+ Re
ikx
, x < 0
T
eikx
, x > 0
(25)
Con esto se tiene que
T =
1
2

e
2i
e
e
2i
o

; R =
1
2

e
2i
e
+ e
2i
o

(26)
La intensidad para el coeciente de transmisin es
|T|
2
= sin
2
(
e

o
) (27)
y para el coeciente de reexin
|R|
2
= cos
2
(
e

o
) (28)
4
estos satisfacen la ley de conservacin
|T|
2
+|R|
2
= 1
en la forma (23), el potencial ser reectionless, si y
solo si el parmetro tiene la forma

2
= n(n +1) , n N
ya que con esto es posible llegar a la condicin

e

o
= arctan

sinh(k/)
sin(n)

(29)
Como n N, la expresin (29) tomar el valor

e

o
=

2
, con esto, de acuerdo a (27) y (28), se
tendr que |T|
2
= 1 y |R|
2
= 0, as de esta forma el
potencial es trasparente. Es posible ver que (22) corre-
sponde al caso donde n = 1.
Existen otras maneras de construir este tipo de po-
tencial, como es el caso de la transformacin de Dar-
boux, que utilizando ciertos operadores, es posible con-
struir (22) a partir del Hamiltoniano para una partcula
libre. Esto solo se menciona como otra aparicin de
Solitones en este contexto.
IV. CONCLUSIN
El desarrollo de la matemtica est intimamente
ligado al desarrollo de la fsica, y es en este caso, con los
solitones, que las dos ciencias se complementan, en par-
ticular en el rea de ecuaciones diferenciales. Ha sido
posible ver que no solo matemticos, sino tambin fsi-
cos han estado involucrados en el desarrollo de la teora
de solitones, a modo de ejemplo el caso del mtodo
de scattering inverso que emplea resultados obtenibles
a partir de una ecuacin fsica como la ecuacin de
Schrdinger, para poder encontrar una solucin a una
ecuacin no lineal como la ecuacin de KdV.
Cabe destacar que el desarrollo de esta teora ha
abierto las posibilidades de avance en tecnologa, como
por ejemplo el caso de comunicacines, en donde han
sido enviadas seales en forma de solitones pticos,
aprovechando su tiempo mayor de vida, que el de una
onda ordinaria (laboratorios Bell).
Como conclusin, se puede decir que el descubrim-
iento hecho por Russel en el ao 1834, adems de atraer
el inters de investigadores de diversas reas, ha po-
dido ayudar al estudio de fenmenos no lineales y al
desarrollo de la teora de sistemas integrables, como
tambin a varios campos de la fsica, incluso en tiempos
actuales, los solitones han interesado a los fsicos de
partculas, tratando de encontrar relaciones entre estas
peculiares ondas con las ms elementales partculas que
conforman nuestro universo.
REFERENCIAS
[1] Juan E. Npoles Valdes, Solitones, una no-linealidad
no tan solitaria, (Universidad de la Cuenca del Plata,
2005) I
[2] Klaus Brauer, the Kortewedg-de Vries equation: History,
exact solutions, and graphical representation, (Universi-
ty of Osnabrck, 2000) I
[3] Wikipedia, John Scott Russell
http://en.wikipedia.org/wiki/John_Scott_Russell
I
[4] Wikipedia, Kortewegde Vries equation
http://en.wikipedia.org/wiki/Korteweg-
de_Vries_equation II
[5] Adrian Arancibia, Juan Mateos Guilarte, Mikhail S.
Plyushchay (2013), 4, arXiv:1210.3666 III
[6] Roger Grimshaw, Gennady El, Karima Khusnutdi-
nova, Nonlinear Waves II
[7] Siegfried Flgge, Practical Quantum Mechanics,
(Springer 1994), 94, Problem 39. Potential hole of
modied Pschl-Teller type III
[8] Mason A. Porter, Norman J. Zabusky, Bambi Hu
and David K. Campbell, Fermi, Pasta, Ulam and the
Birth of Experimental Mathematics, (American Scien-
tist, 2009) I
5