Revista Colombiana de Fsica, Vol. 43, No. 2 de 2011.

Ecuaci on De Gross-Pitaevskii Usando El Esquema Crank-Nicholson

Gross-Pitaevskii Equation Using The Crank-Nicholson Scheme
F. Fonseca
* a
, R. Martnez
a
, P. Teher an
a
a
Departamento de Fsica, Universidad Nacional de Colombia, Sede Bogot a.
Recibido 15.03.11; Aceptado 14.04.11; Publicado en lnea 04.09.11.
Resumen
Se presenta la aplicaci on del m etodo de diferencias nitas a la soluci on de la ecuaci on de Gross-Pitaevskii en una dimensi on
y dependiente del tiempo. El m etodo de soluci on usado es el llamado de Crank-Nicholson, el cual es intrnsecamente estable,
y adem as explcitamente unitario. Exploramos la din amica de la ecuaci on s olo teniendo en cuenta el t ermino no-lineal.
Palabras Clave: Gross-Pitaevskii; Crank-Nicholson.
Abstract
We present the application of nite difference method to solve the Gross-Pitaevskii equation in one dimension and time-
dependent. The solution method used is called Crank-Nicholson, which is inherently stable, and also explicitly unitary. It is
Explore the dynamics of the equation only taking into account the nonlinear term.
Keywords: Gross-Pitaevskii, Crank-Nicholson.
PACS: 02.70.Bf.
c 2011. Revista Colombiana de Fsica. Todos los derechos reservados.
1. Introducci on
Albert Einstein en (1925) postul o que un gas, lo su-
cientemente fro y denso, experimentara una transici on de
fase, en la cual una fracci on macrosc opica de los atomos
ocupara el estado base del sistema [1]-[2]. Este estado de
energa mnimo es conocido como el estado de condensa-
ci on de Bose-Einstein.
Normalmente asociamos los efectos cu anticos unica-
mente en escalas micro y nanosc opicasc opicas, por tal
raz on, uno de los resultados m as interesantes en la con-
densaci on de Bose-Einstein es que es un efecto mec anico
cu antico de interferencia a gran escala, (al menos en n umero
10
9
y longitudes espaciales de 100, escala mesosc opica),
[3]. Esto merece una explicaci on m as amplia. En mec ani-
ca cu antica, las partculas elementales de la misma clase se
consideran id enticas. Por ejemplo, un electr on en un atomo
podra ser sustituido por otro electr on y el atomo se com-
portan exactamente de la misma manera. En la naturaleza
se permite s olo dos tipos de las partculas elementales: los
bosones y fermiones. Ellos dieren fundamentalmente en la
forma en que interact uan cuando est an agrupados. Los fer-
miones id enticos no pueden ocupar el mismo estado cu anti-
co (s olo se puede tener un fermi on por cada estado!). Pero
en el caso de los bosones, ellos pueden ocupar todos, el mis-
mo estado cu antico, [4].
Estas dos clases de estadsticas tienen efectos profun-
dos en nuestra comprensi on de la naturaleza. Por ejemplo,
la estructura rica y compleja de la tabla peri odica se plantea
desde el principio de que s olo un electr on puede ocupar un
estado cu antico, conocido como principio de exclusi on de
Pauli, [5].
*
frfonsecaf@unal.edu.co
F. Fonseca, R. Martnez, P. Teher an: Ecuaci on De Gross-Pitaevskii Usando El Esquema Crank-Nicholson
Las partculas compuestas, tales como atomos, tambi en
se comportan como bosones o fermiones. Dependiendo del
n umero de electrones, protones y neutrones, un atomo pue-
de tener un n umero de espn entero o espn total semientero
y, por lo tanto, ser un bos on o un fermi on, [5].
En este trabajo se presenta la soluci on de la ecuaci on
de Gross-Pitaevskii, la cual describe el estado base de un
sistema cu antico de bosones id enticos, usando el esquema
de discretizaci on de Crank-Nicholson. En la secci on (2), se
presenta la ecuaci on de Gross-Pitaevskii. En la secci on (3)
se ense na el m etodo de discretizaci on en diferencias nitas
y la estrategia para tratar el t ermino no-lineal. En la secci on
(4), damos los resultados. En la secci on (5), se discuten las
conclusiones. En la secci on (6), se presentan los agradeci-
mientos.
2. La ecuaci on de Gross-Pitaevskii
La ecuaci on de Gross-Pitaevskii, [6] y [7], es:
_

2m

2
+ V
ext
(r) + g |(r)|
2
_
(r) = i
(r)
t
, (1)
donde V
ext
es el potencial de connamiento externo, y g
es una constante de acoplamiento la cual es proporcional a
una longitud de dispersi on para un potencial efectivo inter-
partcula. El t ermino no lineal que hace tan interesante la
ecuaci on es |(r)|
2
, [8], [9].
La versi on independiente del tiempo resulta de suponer
= (r)exp(it/), logrando:
_

2m

2
+ V
ext
(r) + g |(r)|
2
_
(r) = (r), (2)
donde es el potencial qumico. En este trabajo se estudia
la ecuaci on dependiente del tiempo, ec. (1).
3. La discretizaci on en diferencias nitas
El proceso de discretizaci on se lleva a cabo sobre las
coordenadas espaciales, el tiempo y la funci on de onda, de
forma an aloga a la ecuaci on de difusi on, [10]. Por lo tanto,
se establecen dos escalas en el sistema, la primera asociada
al paso de tiempo , y la segunda, h, asociada a la discretiza-
ci on espacial, la cual es asumida igual en ambas direcciones
x y y. Entonces, las derivadas quedan denidas como:

t
=

n+1
i

n
i

, (3)

x
=

n
i+1

n
i
h
. (4)
El superndice habla de la discretizaci on temporal y los
subndices de la discretizaci on espacial. Y la segunda de-
rivada en ambas direcciones,

x
2
=

n
i+1
2
n
i
+
n
i1
h
2
. (5)
Reemplazando las ecuaciones (3), (4) y 5) en la ecuaci on
(1), tenemos:
i

n+1
i

n
i

=

2
2m
_

n
i+1
+
n
i1
2
n
i
h
2
_
(6)
+
_
g |
i
|
2
+ V
i
_

n
i
.
Despejando
n+1
i
, tenemos:

n+1
i
=
n
i

i

(

2
2m
(

n
i+1
+
n
i1
2
n
i
h
2
) (7)
+ (g |
i
|
2
+ V
i
)
n
i
)
o

n+1
i
= (1
i

(

2
2m
(

n
i+1
+
n
i1
2
n
i
h
2

n
i
) (8)
+(
g

n
i
|
i
|
2
+
V
i

n
i
)))
n
i
).
Ahora denimos el operador Hamiltoniano discretizado
H =

2
2m
_

n
i+1
+
n
i1
2
n
i
h
2

n
i
_
(9)
+
_
g

n
i
|
i
|
2
+
V
i

n
i
_
.
Por lo tanto, obtenemos la ecuaci on de evoluci on temporal
para la funci on de onda discretizada es:

n+1
i
=
_
I i

H
_

n
i
, (10)
donde I es el operador unitario.
Ahora usamos la aproximaci on de diferencia central en
el espacio, el cual es llamado m etodo de Crank-Nicholson
[11], sobre la funci on de onda a evolucionar:

n+1
i
=
n
i
i

H
n
i
. (11)
Haciendo un promedio temporal de
n
i
(
n+1
i
+
n
i
)/2,
encontramos:

n+1
i
=
n
i
i
H
2
(
n+1
i
+
n
i
). (12)
Entonces,
(1 + i
H
2
)
n+1
i
= (1 i
H
2
)
n
i
. (13)
265
Rev.Col.Fs., Vol. 43, No. 2 de 2011.
Despejando la funci on de onda para
n+1
i
, tenemos:

n+1
i
=
(1 i
H
2
)
(1 + i
H
2
)

n
i
. (14)
Por lo tanto el esquema es unitario:

n+1
i
=
_
(1 i
H
2
)
(1 + i
H
2
)
_
n

1
i
(15)
y conserva exactamente la probabilidad
|
n+1
i
| = |
1
i
|. (16)
De una forma m as simple, podemos redenirla como:
(1 i
H
2
)(1 + i
H
2
)
1
= Q
1
1. (17)
Deniendo a Q como:
Q =
1
2
_
1 +
i
2
H
_
, (18)
la ecuaci on (17) es:

n+1
i
=
_
Q
1
1
_

n
i
. (19)
Por lo tanto primero:
Q =
n
i
= Q
1

n
i
, (20)
donde es una funci on auxiliar. Y luego se calcula:

n+1
i
=
n
i
. (21)
Una vez la matriz Q es desplegada, se genera una es-
tructura tridiagonal, la cual exhibe condiciones peri odicas
de frontera, y es dada por:
Q =
_
_
_
_
_
_
_
_
_
_

1

1
0 ... 0 0
N

1

2

2
... 0 0 0
. . . ... . . .
. . . ... . . .
. . . ... . . .
0 0 0 ...
N2

N1

N1

N
0 0 ... 0
N1

N
_
_
_
_
_
_
_
_
_
_
,
con
i
,
i
y
i
, denidos por:

i
=
1
2
+
i
4mh
2
+
iV
i
4
+
ig|
n
i
|
2
4
, (22)

i
=
i
=
i
8mh
2
. (23)
4. Resultados
El sistema es inicializado con un tama no de L = 50, pa-
ra 100 puntos internos. La simulaci on es ejecutada en una
sistema de unidades naturales = 1, m = 1, = 1. La fun-
ci on de onda que se usa para inicializar el sistema en t = 0
es una Gaussiana ubicada en el centro del sistema, L/2, con

0
= L/10.
Fig. 1: g=0.005.
Fig. 2: g=0.005.
Fig. 3: g=0.005.
266
F. Fonseca, R. Martnez, P. Teher an: Ecuaci on De Gross-Pitaevskii Usando El Esquema Crank-Nicholson
Fig. 4: g=2.005.
Fig. 5: g=2.005.
Fig. 6: g=2.005.
El n umero m aximo de iteraciones del sistema es denido
por iter
max
= L/(vel ), donde vel es la velocidad pro-
medio del paquete. En las guras (1)-(6) presentamos los re-
sultados asumiendo para todas las simulaciones un potencial
(V = 0), buscando explorar solamente el efecto del t ermino
no-lineal (x, t)|(x, t)|
2
, en la ecuaci on (1).
En las guras (1)-(3), se muestran los resultados para
un valor de constante g = 0,005, ecuaci on (1). En la gura
(1) se muestra la evoluci on espacio-temporal de la parte real
de la funci on de onda, sometida a condiciones peri odicas
de frontera. El resultado es fundamentalmente la evoluci on
de una partcula libre con el t ermino (x, t)|(x, t)|
2
como
perturbaci on. En las guras (2) se ense na la parte imagina-
ria y la gura (3), presenta el resultado para la amplitud de
probabilidad |(x, t)|
2
.
En las guras (4)-(6), se presentan los resultados para un
valor de constante g = 2,005, ecuaci on (1); el t ermino no-
lineal se hace importante. En la gura (5) se muestra la evo-
luci on espacio-temporal de la componente real de la funci on
de onda, sometida a condiciones peri odicas de frontera. El
resultado muestra el enorme cambio que sufre por la presen-
cia del t ermino no-lineal, en comparaci on con el resultado
de la gura (1). En la gura (5), se presenta la componen-
te imaginaria y en la gura (6), la amplitud de probabilidad
(x, t)|
2
.
5. Conclusiones
En este trabajo se ha presentado la soluci on de la ecua-
ci on de Gross-Pitaevskii en el espacio-tiempo aplicando el
m etodo de discretizaci on en diferencias nitas de Crank-
Nicholson. Los resultados que se presentan muestran el
enorme impacto que se produce al aumentar le valor de
la constante g, (guras (4)-(6)), la cual regula el peso del
t ermino no-lineal en la ecuaci on de Gross-Pitaevskii.
En un futuro trabajo se debe explorar la extensi on del
m etodo a (2) dimensiones, con geometras en dominios no
triviales, tales como elipses y estadios, y con t erminos de
energa potencial distinto a cero, tales como los parab olicos.
6. Agradecimientos
F. Fonseca agradece la nanciaci on de este trabajo por
parte de la Universidad Nacional de Colombia, en su Divi-
si on de Investigaci on sede Bogot a, con n umero de proyecto
(DIB-8003355).
Referencias
[1] A. Einstein, Sitzungber. K. Preuss. Akad. Wiss. 1924,
261, 1924.
[2] A. Einstein, Sitzungber. K. Preuss. Akad. Wiss. 1925, 3,
1925.
[3] M.H. Anderson, J.R. Ensher, M.R. Matthews, C.E. Wie-
man, and E.A. Cornell, Science 269, 198 (1995).
[4] W. Greiner, Ludwig Neise, Horst St ocker, Thermodyna-
mics and Statistical Mechanics, Springer-Verlag, New
York, Berlin, Heidelberg, (1995).
267
Rev.Col.Fs., Vol. 43, No. 2 de 2011.
[5] F. Dalfovo, S. Giorgini, L. P. Pitaevskii, y S. Stringari,
Rev. Mod. Phys. 71, 463 (1999).
[6] E. Gross. Structure of a quantized vortex in boson sys-
tems. Il Nuovo Cimento (1955-1965), 20(3):454-477,
1961.
[7] L.P. Pitaevskii, Vortex lines in an imperfect bose gas.
Soviet Physics JETP-USSR, 13(2):451-454, 1961.
[8] Bose-Einstein Condensation, edited by A. Grifn, D.
Snoke, and S. Stringari (Cambridge University Press,
New York, 1995).
[9] C. Pethick y H. Smith. Bose-Einstein condensation in
dilute gases. Cambridge University Press, New York,
(2002),
[10] William H. Press, Saul A. Teukolsky, William T. Vet-
terling y Brian P. Flannery, Numerical Recipes in C:
The Art of Scientic Computing. Cambridge University
Press, Cambridge, New York, New Rochelle, Melbour-
ne, Sydney, 1986. http://www.nrbook.com/a/bookcpdf/.
[11] Crank, J., Nicolson, P. (1947). A practical method for
numerical evaluation of solutions of partial differential
equations of the heat conduction type. Proc. Camb. Phil.
Soc. 43: 50.
268