Apuntes Abiertos

de Ciencias Fsicas
Introduccion a la ecuacion
de Gross-Pitaevskii y a la
condensacion de Bose-Einstein
Este apunte es parte de una serie de apuntes abiertos de distintas areas de
la Fsica, compartidos para el bien de la comunidad cientca y de todos los
estudiantes. La idea es ir depurandolos y ordenando nuestro conocimiento,
dejando los avances a la disposicion de todos los demas, pues al n y al
cabo, todos somos estudiantes. Este es un trabajo en progreso, luego
cualquier error que encuentre, sugerencia o crtica que tenga,
por favor hacerla llegar al coordinador de este apunte en la pagina web:
https://sites.google.com/site/apuntesdecienciasfisicas,
donde tambien puede encontrar otros apuntes interesantes.
17 de junio de 2011
Prefacio
Este apunte se trata sobre una derivacion detallada de la ecuaci on de Gross-Pitaevskii, que es la
ecuacion base para describir muchos aspectos de los condensados de Bose-Einstein. Originalmente este
apunte se confecciono a partir de un trabajo de T. Ramos para la asignatura de Mecanica Cuantica III de
la Universidad de Concepcion, Chile. Cualquier otra persona que quiera extender el trabajo es bienvenida.
Otros apuntes en https://sites.google.com/site/apuntesdecienciasfisicas.
...As, nosotros los mortales, somos inmortales en lo que creamos en com un.
Albert Einstein.
i

Indice general
Prefacio I
1. Introduccion 2
2. Un poco de Segunda Cuantizacion y Fsica de muchos Cuerpos 4
3. Un poco de Mecanica Estadstica 8
4. Parametro de Orden y Aproximacion de Bogoliubov 12
5. Ecuacion de Gross-Pitaevskii 14
Bibliografa 19
1
Captulo 1
Introduccion
Desde que en 1995 se logro obtener experimentalmente la condensacion de Bose-Einstein (BEC) en
gases atomicos diludos, el estudio de gases cuanticos en condiciones de alta degeneracion, como por
ejemplo a temperaturas extremadamente bajas, se ha convertido en un campo de la fsica emergente,
atrayendo a fsicos de diversas areas.
La idea basica de la BEC se remonta a un paper ideado por el fsico indio S. N. Bose en 1924, donde se
plantea una descripcion estadstica de los fotones o cuantos del campo electromagnetico. Al a no siguiente,
en 1925, A. Einstein aplica la reciente estadstica de Bose a partculas masivas y predice la ocurrencia de
un cambio de fase en un gas de atomos no interactuantes. Sorprendetemente esta transicion de fase estaba
asociada a la condensacion de los atomos del gas en su estado de mnima energa, siendo una consecuencia
pura de la estadstica cuantica propuesta por Bose!
Sin embargo, por mucho tiempo esta prediccion no tuvo impacto en la practica. En 1938 F. London,
inmediatamente despues del descubrimiento de la superuidez en el helio lquido (Allen y Misener, 1938;
Kapitza, 1938), tuvo la intuicion que la superuidez poda ser una manifestacion de la BEC. En 1947
Bogoliubov desarroll la primera teora microscopica de gases de Bose debilmente interactuantes, basado
en el concepto de condensacion de Bose. Posteriormente los esfuerzos de Landau, Lifshitz, Feynman,
Onsager, entre otros, fueron mas que nada dirigidos a entender el fenomeno de la superuidez, pues era
experimentalmente tratable, aunque no se dejo de lado intentar entender su relacion con BEC.
Los estudios experimentales en gases atomicos diludos comenzaron a desarrollarse recien en los a nos
1970s, debido a las nuevas tecnicas de la fsica atomica para manipular a los atomos, como el atrapamiento
magnetico y optico, ademas de mecanismos avanzados de enfriamiento. Se estuvo cerca de observar BEC
con hidrogeno spin-polarizado, que era el candidato natural debido a su poca masa, no obstante no se
logro. En los 1980s se pudo atrapar y enfriar gases de atomos neutros, basandose en el perfeccionamiento
de tecnicas de enfriamiento por laser y de trampas magnetico-opticas (MOT). Con esto se logro alcanzar
temperaturas del orden K en gases de atomos alcalinos, pero todava no era suciente. Posteriormente
se desarrollo la tecnica de enfriamiento evaporativo, que al complementarla con las anteriores basadas
en laser, llevo nalmente en 1995 a los equipos experimentales de Cornell y Wieman en Boulder y de
Ketterle en el MIT a alcanzar las temperaturas y densidades requeridas para observar condensacion de
Bose-Einstein en gases de atomos alcalinos, conrmando la prediccion hecha 70 a nos atras. En 1998 el
equipo de D. Kleppner y T. Greytak tambien lograron observar BEC en hidrogeno atomico.
Una de las caractersticas mas importantes de estos gases de Bose atrapados es que ellos son altamente
inhomogeneos en general. Esto permite la investigacion de una serie de nuevas cantidades fsicas que no
eran accesibles con experimentos previos en helio superudo. En particular, muchos fenomenos exhibidos
por estos gases cuanticos, caen dentro del asi llamado regimen de campo medio, que es una extension a
gases no-uniformes de la la teora de Bogoliubov para bosones debilmente interactuantes. Basicamente, este
regimen consiste en desarrollar una teora clasica aproximada del parametro de orden del condensado, que
describe su estado fundamental a temperaturas muy bajas. A partir de consideraciones microscopicas del
2
problema de muchos cuerpos, puede derivarse la ecuacion diferencial no-lineal que describe la dinamica
del parametro de orden del condensado, llamada ecuacion de Gross-Pitaevskii. Las soluciones de esta
ecuacion permiten describir una gran variedad de fenomenos fsicos del BEC, incluyendo conguraciones
de equilibrio, oscilaciones colectivas, expansion, interferencia, vortices cuantizados, solitones, etc.
En este peque no trabajo se expondra primero el formalismo de la mecanica estadstica cuantica para
tratar el problema de muchos cuerpos, luego se realizaran las aproximaciones necesarias para obtener la
ecuacion de Gross-Pitaevskii para el parametro de orden del estado fundamental de un gas de bosones inho-
mogeneo debilmente interactuante a muy bajas temperaturas. Tambien se estudiaran algunas propiedades
y caractersticas de esta ecuacion.
3
Captulo 2
Un poco de Segunda Cuantizacion y
Fsica de muchos Cuerpos
La funcion de onda que describe el estado de una partcula no-relativista bajo la accion de un
potencial externo U(r, t) es la muy conocida ecuacion de Schrodinger para una unica partcula, dada por
i

(x, t) =
2
(x, t) +V (x, t)(x, t) = H(x, t). (2.1)
Si tratamos a la ecuacion (2.1) como una ecuacion de campo clasica, ella puede ser derivada de la siguiente
densidad Lagrangeana /,
/(,
i
,

,

,
i

) = i

2
2m
(
i

)(
i
) V (x, t)

, (2.2)
si la introducimos en las ecuaciones de Euler-Lagrange.
Las densidades de momentum canonico conjugado las podemos calcular a partir de (2.2) y son dadas
por,
(x, t) =
/

= i

(x, t), (2.3)

(x, t) =
/

= 0. (2.4)
Por consiguiente su densidad Hamiltoniana 1 y su Hamiltoniano H toman la forma,
1(,
i
,

,
i

) =

2
2m
(
i

)(
i
) +V (x, t)

, (2.5)
H(t) =

d
3
x 1(x, t) =

d
3
x

2
2m

2
+V (x, t)

. (2.6)
Ahora para aplicar el procedimiento de cuantizacion canonico al campo de Schrodinger, hacemos que
los campos que describen el sistema sean operadores de campo, en la forma:
(x, t)

(x, t),

(x, t)

(x, t),
(x, t) (x, t),

(x, t)

(x, t),
(2.7)
4
donde:
(x, t) = i

(x, t) y (2.8)

(x, t) =

0. (2.9)
Con esto tenemos que el operador de campo densidad Lagrangeana / y el operador Hamiltoniano H
deben estar dados por:

/ = i

2
2m
(
i

)(
i

) V (x, t)

, (2.10)

H =

d
3
x

2
2m

2
+V (x, t)

. (2.11)
Ya que buscamos un formalismo para describir un problema de muchos cuerpos para partculas bosonicas,
el siguiente paso es imponer que

y satisfacen relaciones de conmutacion canonicas a tiempos iguales,
donde si sustumos por (2.7), se tiene que

y

deben satisfacer,

(x, t),

(x

, t)

=
(3)
(x x

)

1, (2.12)

(x, t),

(x

, t)

= 0, (2.13)

(x, t),

(x

, t)

= 0. (2.14)
Efectivamente si calculamos la ecuacion de Heisenberg para

(x, t) y ocupamos las relaciones de conmu-
nation (2.12)-(2.14), obtenemos la ecuacion de Schrdinger para el operador de campo

(x, t),
i

(x, t) =

(x, t),

H(t)

=

2
2m

(x, t) +V (x, t)

(x, t). (2.15)

Ahora supongamos un conjunto completo de funciones ortonormales cualquiera u
n
(x), es decir, un
conjunto de funciones tal que ellas satisfacen:
1 (

d
3
x u

n
(x)u
m
(x) =
nm
, (2.16)
2 (

n
u
n
(x)u

n
(x

) =
(3)
(x x

), (2.17)
las cuales en particular pueden ser las eigenfunciones
n
(x) de la ecuacion de Schrdinger independiente
del tiempo, que satisfacen
H
n
(x) = E
n

n
(x). (2.18)
Podemos expandir

(x, t) y

(x, t) en terminos del conjunto completo de funciones u

n
(x), en la forma:

(x, t) =

n
a
n
(t)u
n
(x), (2.19)

(x, t) =

n
a

n
(t)u

n
(x), , (2.20)
donde los coecientes de la expasion a
n
(t) y a

n
(t) son operadores los operadores de destruccion y creacion,
respectivamente, los cuales deben satisfacer las relaciones de conmutacion:
[ a
n
(t), a

m
(t)] =
nm

1, (2.21)
[ a
n
(t), a
m
(t)] = 0, (2.22)
[ a

n
(t), a

m
(t)] = 0. (2.23)
5
En terminos de estos nuevos operadores, el Hamiltoniano del sistema queda,
H =

n,m
H
nm
a

n
a
m
, (2.24)
donde
H
nm
:=

d
3
r u

n
(x)Hu
m
(x). (2.25)
En el caso particular en que u
n
(x) sean las eigenfunciones de H, se tiene que
H
nm
= E
m

nm
, (2.26)
con lo que el Hamiltoniano toma la forma simple,
H =

m
E
m
a

m
a
m
, (2.27)
como la superposicion de osciladores armonicos desacoplados en los distintos estados de una partcula
m
.
As se dene el operador de n umero n
m
para el estado de una partcula
m
, en la forma
n
m
:= a

m
a
m
, (2.28)
Estos operadores conmuntan entre s, por lo que tienen eigenestados en com un, los cuales los denotamos
por,
[n
0
, n
1
, n
2
, ..., n
m
, ...`, (2.29)
donde n
m
son n umeros enteros que se interpretan como el n umero de bosones que hay en cada estado de
una partcula m. As los operadores de creacion y destruccion deben satisfacer,
a

m
[n
0
, n
1
, n
2
, ..., n
m
, ...` =

n
m
+ 1[n
0
, n
1
, n
2
, ..., n
m
+ 1, ...`, (2.30)
a
m
[n
0
, n
1
, n
2
, ..., n
m
, ...` =

n
m
[n
0
, n
1
, n
2
, ..., n
m
1, ...`, (2.31)
con lo que se tiene que,
n
m
[n
0
, n
1
, n
2
, ..., n
m
, ...` = a

m
a
m
[n
0
, n
1
, n
2
, ..., n
m
, ...` = n
m
[n
0
, n
1
, n
2
, ..., n
m
, ...`. (2.32)
Denotamos por [0` al estado con cero partculas en todos los estados, que llamaremos estado vaco. Los
operadores de destruccion deben satisfacer ademas por consistencia que,
a
m
[0` = 0, m. (2.33)
El operador de n umero total se dene naturalmente por,

N :=

m
n
m
, (2.34)
el cual conmuta con los n
m
, por lo que tienen los mismos eigenvectores dados en (??). Los eigenvalores
de

N, son la suma de los eigenvalores de cada uno de los n
m
, es decir,

N[n
0
, n
1
, n
2
, ..., n
m
, ...` =

m
n
m
[n
0
, n
1
, n
2
, ..., n
m
, ...` (2.35)
:= N[n
0
, n
1
, n
2
, ..., n
m
, ...`. (2.36)
As vemos que N representa el n umero total de bosones en el sistema, que es la suma de los bosones en
cada uno de los estados de una partcula. Para el caso en que los bosones son partculas este n umero N
6
se debe conservar, sin embargo, en el caso en que los bosones son fonones o fotones, por ejemplo, este
n umero puede ser variable.
La teora de muchos cuerpos se ocupa para estudiar Hamiltonianos que tienen terminos adicionales
al de solo una partcula. Estos pueden corresponder a interacciones de partculas con fonones, efectos de
spin, interacciones partcula-partcula, etc. En particular, en el caso de un gas de atomos con interacciones
debiles, necestiremos conocer una forma para expresar el Hamiltoniano de interaccion partcula-partcula,
el cual se puede describir por un Hamiltoniano de muchos cuerpos de la forma,
H =

i
H
i
+
1
2

i,j
V (x
i
x
j
), i = j, (2.37)
donde V (x
i
x
j
) es el potencial de interaccion interatomico entre dos partculas en las posiciones x
i
y
x
j
, respectivamente. En la suma se debe tener i = j para evitar terminos de autointeraccion. Los H
i
son
los Hamiltonianos de una partcula ya estudiados anteriormente y en este caso son dados por,
H
i
=

2
2m

2
i
+U(x
i
), (2.38)
donde U es el potencial externo que act ua sobre cada una de las partculas en la posicion x
i
. El termino
de Hamiltonianos de una partcula, ya fue escrito en el formalismo de segunda cuantizacion en (2.11) y
(2.24) y si le agregamos a este el termino de interaccion, el Hamiltoniano con interaccion (2.37), en el
formalismo de segunda cuantizacion es dador por

H =

d
3
x

(x)

2
2m

2
+V (x, t)

(x) +
1
2

d
3
rd
3
r

(x)

(x

)V (xx

)

(x

)

(x), (2.39)
en terminos de los operadores de campo

(x) y

(x) y

H =

i,j
H
ij
a

i
a
j
+
1
2

i,j,k,l
V
lmij
a

j
a

m
a
l
a
i
(2.40)
en terminos de los operadores de creacion y destruccion, donde ademas, H
ij
es dado en () y V
lmij
tiene
la forma,
V
lmij
=

d
3
rd
3
r

m
(x

)u
l
(x

)V (r r

)u

j
(x)u
i
(x). (2.41)
Estos ultimos resultados (2.39) y (2.40) los ocuparemos en la derivacion de la ecuacion de Gross-Pitaevskii
mas adelante.
7
Captulo 3
Un poco de Mecanica Estadstica
Un operador de mucho interes en la descripcion estadstica de un sistema, es el operador densidad de
un cuerpo
(1)
(x, x

), denido por

(1)
(x, x

) :=

(x)

(x

), (3.1)
que es hermtico. El operador (3.1) contiene informacion sobre observables fsicos importantes, como por
ejemplo, si hacemos x = x

encontramos el operador densidad diagonal del sistema,
(x) =

(x)

(x) (3.2)
=

i,j
a

i
a
j
u

i
(x)u
j
(x), (3.3)
que tiene la caracterstica que al ser integrado sobre todo el espacio se obtiene justamente el operador de
n umero total

N,

d
3
r (x) =

i,j
a

i
a
j

d
3
r u

i
(x)u
j
(x) (3.4)
=

i
a

i
a
i
(3.5)
=

i
n
i
=

N. (3.6)
Adicionalmente, nos sera muy util introducir la matriz densidad de un cuerpo, como el promedio del
operador
(1)
(x, x

), que denotaremos por
n
(1)
(x, x

) := '
(1)
(x, x

)` (3.7)
= '

(x)

(x

)`. (3.8)
Con esto vemos que al tomar el promedio en (3.4), se obtiene
'

N` =

d
3
r ' (x)` (3.9)
=

d
3
r n
(1)
(x, x), (3.10)
y como el promedio del operador de n umero es el n umero total de partculas N del sistema, interpretamos
que la matriz densidad de un cuerpo diagonal n
(1)
(x, x), corresponde a la densidad de partculas media
n(x), es decir,
n(x) := '
(1)
(x, x)`, (3.11)
8
con lo que se tiene,
N =

d
3
r n(r) =

d
3
r n
(1)
(x, x). (3.12)
Notemos que la ecuacion (3.12) dene la normalizacion de la matriz densidad de un cuerpo n
(1)
(x, x

).
Pero como calcular el promedio '` en (3.7)? En el que el sistema ocupa un estado puro descrito por
una funcion de onda de N-cuerpos
n
(x
1
, ..., x
N
), entonces el promedio '` se calcula siguiendo las reglas
usuales de la mecanica cuantica, es decir, n
(1)
n
(x, x

) en el estado
n
queda dada por
n
(1)
n
(x, x

) = N

d
3
r
2
...d
3
r
N

n
(x, x
2
, ..., x
N
)
n
(x

, x
2
, ..., x
N
), (3.13)
donde la integracion es sobre N1 variables x
2
, ..., x
N
y la funcion de onda de muchos cuerpos debe estar
normalizada a 1.
En el caso mas general en que el sistema este en una mezcla estadstica, la expresion (3.13) debe ser
promediada de acuerdo a la probabilidad del sistema de ocupar los diferentes estados
n
. En particular,
cuando el sistema esta en equilibrio termodinamico, los estados
n
son eigenestados del Hamiltoniano H
del sistema con eigenvalor E
n
y el peso estadstico de cada estado es dado por el factor de Boltzmann
e
En/K
B
T
. As, la matriz densidad de un cuerpo queda dada por,
n
(1)
(x, x

) =
1
Z

n
e
En/K
B
T
n
(1)
n
(x, x

), (3.14)
donde Z es la funcion particion denida por,
Z :=

n
e
En/K
B
T
. (3.15)
Por otra parte, la matriz densidad tambien determina la distribucion de momentum n( p), dada por
n( p) := '

( p)

( p)`, (3.16)
donde

( p) es el operador de campo en la representacion del momentum, que explcitamente es la trans-
formada de Fourier de

(x), es decir,
( p) =
1
(2)
3/2

d
3
r

(x)e
i px/
. (3.17)
Si reemplazamos (3.17) en (3.16) y hacemos el cambio de variable de las coordendas x y x

a las coorde-
nadas relativas,
s := x x

, (3.18)
y las del centro de masa,

R :=
1
2
(x +x

), (3.19)
entonces n( p) toma la forma,
n( p) =
1
(2)
3

d
3
Rd
3
s n
(1)

R +
s
2
,

R
s
2

e
i ps/
, (3.20)
es decir, la distribucion de momentum n( p) diagonal denida en (3.16), depende de la matriz densidad de
un cuerpo completa, no solo de su parte diagonal n(x). Cabe notar que n( p) tiene la misma normalizacion,

d
3
p n( p) = N, (3.21)
9
que la matriz densidad diagonal, jado por el n umero total de partculas N.
Para hacernos una idea de que ocurre estadsticamente en el proceso de condensacion de Bose-Einstein,
consideremos el caso mas simple, que consiste en un sistema uniforme e isotropico de N partculas,
ocupando un vol umen V . En el lmite termondinamico, donde N, V , pero la densidad n = N/V se
mantiene constante, la matriz densidad de un cuerpo depende solo del modulo de la coordenada relativa
s, es decir,
n
(1)
(x, x

) = n
(1)
(s), (3.22)
por lo que al tomar la transformada de Fourier inversa en (3.20), se tiene que para este caso,
n
(1)
(s) =
1
V

d
3
p n( p)e
i ps/
. (3.23)
Para un sistema normal, la distribucion de momentum n( p) tiene un comportamiento suave para peque nos
momenta y en consecuencia la matriz densidad de un cuerpo n
(1)
se anula cuando s . Sin embargo, la
situacion es muy diferente si, en cambio, la distribucion de momentum exhibe el comportamiento singular
en p =

0,
n( p) = N
0
( p) + n( p), (3.24)
caracterizado por una funcion delta de Dirac con peso N
0
proporcional al n umero total de partculas N.
Este termino singular aparece cuando hay un n umero de ocupacion macroscopico del estado de una
partcula con momentum p =

0. Mas a un, esta ocupacion macroscopica de un estado de una partcula
especco del sistema se usa como una denicion general de la condesacion de Bose-Einstein (BEC) y la
cantidad,
N
0
N
1, (3.25)
es lo que se conoce como fraccion del condensado.
Si calculamos la transformada de Fourier en (3.23), ocupando el n( p) singular en presencia de BEC
(3.24), se tiene
n
(1)
(s) =
N
0
V
+
1
V

d
3
p n( p)e
ps/
, (3.26)
por lo que claramente para s , el segundo termino se anulara al igual que para un sistema normal,
pero el primer termino se mantendra constante, pues es independiente de s. As conclumos que la matriz
densidad de un cuerpo n
(1)
en presencia de BEC no se anula para distancias grandes, sino mas bien tiende
a un valor nito n
0
, es decir,
lm
s
n
(1)
(s) = n
0
=
N
0
V
. (3.27)
Este comportamiento fue notado por Landau, Lifshitz, Penrose y Onsager; y es com unmente conocido
como orden de rango largo no-diagonal, pues involucra las componentes no diagonales de la matriz
densidad de un cuerpo (3.7), con x = x

. Es importante notar, que a pesar de que este analisis fue
hecho para un sistema uniforme e isotropico, cualitativamente las consideraciones anteriores para BEC
son validas en presencia de interacciones, las cuales, sin embargo, afectan el valor lmite n
0
. Por ejemplo,
miestras en un gas de Bose ideal todas las partculas estan en el condesando para T = 0, con lo que
N = N
0
, en la presencia de interacciones se tiene que N
0
< N, incluso cuando T = 0. As vemos que, en
general, la fraccion de condensado N
0
/N depende de la temperatura T del sistema y se anula por sobre
una temperatura crtica T
c
para la condensacion de Bose, donde el sistema exhibe un comportamiento
normal.
El orden de largo alcance exhibido por la matriz densidad de un cuerpo n
(1)
esta fuertemente conectado
con el comportamiento de sus eigenvalores n
i
, denidos como soluciones del problema de eigenvalores,

d
3
r

n
(1)
(x, x

)
i
(x

) = n
i

i
(x). (3.28)
10
Las eigenfunciones
i
nos proveen de una base ortonormal natural de funciones de onda de una partcula,
que estabamos buscando para nuestro formalismo de segunda cuantizacion, las cuales tienen la gracia de
estar bien denidas no solo para un gas ideal, sino que en general, para un sistema interactuante y no-
uniforme, lo que nos servira para derivar la ecuacion de Gross-Pitaevskii mas adelante. Si multiplicamos
3.28 por

i
(x) e integramos sobre x, obtenemos

d
3
rd
3
r

n
(1)
(x, x

)
i
(x

)
i
(x) = n
i
, (3.29)
donde hemos usado el hecho que los estados
i
estan normalizados. Si ahora sumamos sobre todo los valores
de i en ambos lados de la ecuacion (3.29) y ocupamos la relacion de ortogonalidad (2.17), obtenemos,

d
3
r n
(1)
(x, x) =

i
n
i
. (3.30)
Si recordamos la condicion de normalizacion para la matriz densidad diagonal dada en (3.12), se tiene
nalmente que,
N =

i
n
i
, (3.31)
es decir, los eigenvalores n
i
de n
(1)
corresponden exactamente el n umero de ocupacion de partculas que
hay en cada estado de una partcula
i
(x), lo que es ideal para el formalismo de muchos cuerpos y de
segunda cuantizacion, pues ademas como ya dijimos, es valido para un sistema general. Por otra parte,
si multiplicamos nuevamente (3.28) por

i
(x), formamos una delta de Dirac al lado derecho y sumamos
sobre todos los valores de i, obtenemos

d
3
r

n
(1)
(x, x

)

i
(x

)

i
(x) =

d
3
r

(x x

)

i
n
i

i
(x

)

i
(x), (3.32)

d
3
r

(x x

) n
(1)
(x, x

) =

d
3
r

(x x

)

i
n
i

i
(x

)

i
(x)

, (3.33)
de lo que se tiene que se puede expresar n
(1)
(x, x

) en la conveniente forma diagonal,
n
(1)
(x, x

) =

i
n
i

i
(x

)

i
(x). (3.34)
Notemos que para expresar la matriz densidad de un cuerpo en la forma (3.34), basta con resolver el
problema de eigenvalores (3.28).
Como la condensacion de Bose-Einstein ocurre cuando uno de los estados de una partcula esta ocupado
en una forma macroscopica, el cual denotaremos de ahora en adelante por
0
, entonces se debe dar que
su n umero de ocupacion asociado n
0
:= N
0
sea del orden N, miestras que todos los demas estados de
una partcula deben tiener un n umero de ocupacion microscopico del orden 1. As, en el caso de BEC,
la ecuacion (3.34), puede ser reescrita convenientemente por,
n
(1)
(x, x

) = N
0

0
(x

)

0
(x) +

i=0
n
i

i
(x

)

i
(x). (3.35)
En el lmite termodinamico(N ) la suma sobre todos los estados distintos de i = 0, puede reem-
plazarse adecuadamente por una integral, la cual tiende a cero para grandes distancias s = [x x

[, sin
embargo, la contribucion del primer termino permanece nita hasta distancias jas por la extension de

0
.
11
Captulo 4
Parametro de Orden y Aproximacion de
Bogoliubov
Como consecuencia de la diagonalizacion (3.34) de la matriz densidad de un cuerpo, podemos identi-
car en forma unambigua a las funciones de onda de una partcula
i
, para un sistema general, que puede
ser interactuante y no-homogeneo. As, ocupando este conjunto completo de ecuacion en el formalismo de
segunda cuantizacion descrito en la seccion dos, podemos expresar el operador de campo

(x), utilizando
la ecuacion (2.19), en la forma,

(x) =

i
a
i

i
(x), (4.1)
donde los operadores a
i
y a

i
son los mismos denidos en la seccion dos y satisfacen las relaciones de con-
mutacion (2.21)-(2.23). Si insertamos (4.1) en la denicion (3.7), encontramos que el valor de exprectacion
de los operadores a
j

a
i
es dado por,
' a
j

a
i
` = n
i

ij
, (4.2)
lo que es consistente con nuestro formalismo.
La funcion de onda
i
asociada al eigenvalor macroscopico N
0
juega un rol crucial en la teora de
BEC, pues caracteriza la as llamada funcion del condensado. La aproximacion que realizaremos fue
originalmente hecha por Bogoliubov 1947, para lo cual es util separar en la expresion para el operador de
campo

(x) en (4.1), el termino de condensado para i = 0, es decir,

(x) =
0
(x) a
0
+

i=0

i
(x) a
i
. (4.3)
La aproximacion de Bogoliubov consiste en reemplazar los operadores a
0
y a
0

por el n umero

N
0
, lo que
es equivalente a ignorar la no-conmutatividad de los operadores de los operadores a
0
y a
0

. Esto es una
buena aproximacion cuando el n umero de atomos n
0
:= N
0
= ' a
0

a
0
` en el estado
0
se hace muy grande,
N
0
1, ademas de que la razon del condensado N
0
/N debe mantenerse nita en el lmite termodinamico,
lo que justamente ocurre en los fenomenos macroscopicos asociados con BEC. De hecho, el conmutador
[ a
0
, a

0
] = 1 y como cada uno de los operadores es de orden

N
0
, es posible ignorar este conmutador
en forma segura y es valido tratar a estos operadores como n umeros.
Esta aproximacion es equivalente a tratar la componente macroscopica
0
a
0
del operador de campo
como un campo clasico, por lo que la ecuacion (4.3) puede ser reescrita bajo esta aproximacion, por

(x) =
0
(x) +

(x), (4.4)
12
donde,

0
(x) :=

N
0

0
(x), (4.5)

(x) :=

i=0

i
(x) a
i
. (4.6)
Si uno pudiera despreciar la componente sin condensado

, entonces el operador de campo coincide

exactamente con el campo clasico
0
y el sistema se comporta como un objeto clasico. La funcion
0
es
llamada funcion de onda del condensado y juega el rol de un parametro de orden, el cual caracteriza a la
fase de condensado de Bose-Einstein y se anula por sobre la temperatura crtica.
El ansatz (4.4) de Bogoliubov para el operador de campo se puede interpretar diciendo que el valor de
expectacion '

` = 0. Esto no sera posible si los estados al lado derecho e izquierdo del sandwich tuvieran
el mismo n umero de partculas. Fsicamente, este rompimiento de simetra se interpreta como que el
condensado juega un rol de reservoir de partculas, es decir, como N
0
1, al agregarle una partcula mas
al condensado, no se cambian las propiedades del sistema. En otras palabras, el estado [N` que contiene
N partculas y los estados [N + 1` a

0
[N` y [N 1` a
0
[N` son todos fsicamente equivalentes, fuera
de correcciones del orden 1/N
0
. En conclusion, podemos escribir

0
(x) = '

(x)`, (4.7)

0
(x) = '

(x)`, (4.8)
teniendo en cuenta que los estados de la izquierda tienen una partcula menos en el condesado que los
estados de la derecha. Debido a esto mismo, si calculamos el promedio de

Psi en (4.7) sobre estados
estacionarios cuya dependencia en el tiempo sea de la forma e
iEt/
, se tiene que la dependencia temporal
del parametro de orden
0
es dada por

0
(x, t) = '

(x, t)` (4.9)

= e
iE(N)t/
'

(x)`e
iE(N+1)t/
(4.10)
= '

(x)`e

(E(N+1)E(N))t
, (4.11)
y como,
E(N + 1) E(N) E/N := , (4.12)
entonces se tiene nalmente que,

0
(x, t) =
0
(x)e
it/
, (4.13)
donde = (T, N) es el potencial qumico del sistema. Es importante remarcar este hecho, que la evolucion
temporal del parametro de orden del sistema no es gobernada por la energa, como pasa con funciones
usuales, sino que por el potencial qumico, la cual es un parametro clave en la fsica de los condensados
de Bose-Einstein.
13
Captulo 5
Ecuacion de Gross-Pitaevskii
El trabajo de Bogoliubov consistio en utilizar su aproximacion (4.4) para el operador de campo

en el Hamiltoniano de un sistema de bosones debilmente interactuantes, pero uniforme, connado a un

vol umen V . Pero la pregunta ahora es: Cual es un Hamiltoniano razonable para describir un gas de muchos
bosones debilmente interactuantes?
Una de las caractersticas generales de estos gases raricados es que el alcance r
0
de las fuerzas
interatomicas dentro de ellos, es mucho menor que la distancia promedio d entre partculas, dada por
d := n
1/3
, (5.1)
donde n = N/V es la densidad del gas. Esto permite que sea una buena aproximacion considerar solo
conguraciones que involucren pares de partculas interactuando y se puedan despreciar las interacciones
simultaneas de tres o mas cuerpos en forma segura.
Una segunnda caracterstica a considerar, es que la distancia promedio entre 2 partculas es siempre
lo sucientemente grande como para justicar el uso de la expresion asintotica para la funcion de onda
del movimiento relativo de las partculas, el cual es jado por la amplitud de scattering. Esto implica
que todas las propiedades del sistema se pueden expresar en terminos de esta cantidad, por lo que la
interacciones partcula-partcula no pueden depender en mas detalles fuera de la amplitud de scattering.
Mas a un, consideraremos siempre gases que esten a temperaturas menores que su temperatura crtica
T
c
, obviamente para poder describir condensacion de Bose-Eistein y poder aplicar la aproximacion de Bo-
goliubov. Esto implica que los valores relevantes del los momenta siempre deben satisfacer la desigualdad,
pr
0

<1. (5.2)
A estos momenta, la amplitud de scattering se hace independiente tanto de la energa como del angulo de
scattering, por lo que puede ser reemplazada en buena aproximacion por su valor de bajas energas, que de
acuerdo a la teora standard de scattering, es determinada completamente por la distancia de scattering
de ondas-s que denotaremos por a. Seg un la primera aproximacion de Born aplicada a partculas lentas
(bajas temperaturas), se tiene que a debe tener la forma,
a :=
m
4
2
V
0
, (5.3)
donde V
0
es dado por la integral espacial del potencial V de interaccion interatomico,
V
0
:=

d
3
sV (s), (5.4)
donde ademas s es la coordenada relativa entre las dos partculas que interaccionan, ya denida en (3.18).
14
En res umen, uno espera que un solo parametro, a, caracterice todas las propiedades del gas debidas a
los efectos de la interaccion entre atomos. En particular, la condicion de aproximacion para un gas diludo
es dada por,
[a[ <n
1/3
, (5.5)
la cual siempre se debe cumplir para poder aplicar nuestra teora. Equivalentemente se puede decir, que
el llamado parametro del gas debe ser muy peque no, es decir,
n[a[
3
<1. (5.6)
Considerando todo lo anterior, el Hamiltoniano del sistema de muchas partculas debilmente interac-
tuantes que describe un gas de Bose diludo a temperatura bajo su temperatura crtica, sera dado en el
formalismo de segunda cuantizacion por,

H =

d
3
x

(x)

2
2m

2
+V
ext
(x, t)

(x)+
1
2

d
3
rd
3
r

(x)

(x

)V (xx

)

(x

)

(x), (5.7)
que es el mismo dado en (2.39) de la seccion dos, el cual incluye tanto los Hamiltonianos de una partcula
con interaccion con un potencial externo V
ext
, como ademas un termino de interaccion atomo-atomo a
traves del potencial interatomico V .
El gran trabajo de Bogoliubov consistio en escribir este Hamiltoniano en terminos de los operadores a
i
y a

i
, al igual que en la ecuacion (2.40) y aplicarla a un sistema uniforme, es decir, con V
ext
= 0, donde las
funciones de onda de los estados de una partcula
i
son dados por ondas planas, por lo que el operador
de campo

toma la forma

(x) =

p
a
p
1

V
e
i px/
. (5.8)
Bogoliubov al considerar su aproximacion (4.4) logro primero diagonalizar este Hamiltoniano a orden
cero, es decir, dejando solo terminos con a
0
y a
0

, lo que solo puede describir el estado fundamental

del condensado uniforme y posteriormente tuvo la haza na de diagonalizar el mismo Hamiltoniano, pero
a primer orden de aproximacion, es decir, dejando hasta terminos con dos operadores de creacion y/o
destruccion que no corresponden al estado fundamental
0
, como por ejemplo de la forma a

0
a

p
a
0
a
p
, etc.
Con esto, logro nalmente describir estados excitados del gas de Bose diludo y uniforme y con ello BEC.
La ecuacion de Gross-Pitaevskii se da en el contexto de gases interactuantes no-uniformes, por lo
que realizaremos la misma aproximacion realizada por Bogoliubov, pero la generalizaremos en el senti-
do que si consideraremos un potencial externo V
ext
actuando sobre las partculas del gas. Este caso es
muy importante, pues experimentalmente la condensacion de Bose-Einstein en gases atomicos se obtiene
manteniendo a los atomos dentro de trampas, donde los gases son naturalmente no-uniformes.
Para nuestro proposito, tambien utilizaremos la aproximacion de Bogoliubov para el operador de
campo

dada en (4.4), pero consideraremos su forma mas general, es decir, tal que el parametro de
orden
0
no sea dado como en (4.5), que es solo valido para sistemas uniformes, sino que sera una funcion
compleja de la posicion y del tiempo, tal como fue considerada en (4.7), es decir, como el promedio '`
del operador de campo

. Con esto tenemos,

(x, t) =
0
(x, t) +

(x, t). (5.9)

La ecuacion (5.9) implica que al orden mas bajo de aproximacion (orden cero) y a temperaturas muy bajas,
uno puede simplemente reemplazar el operador de campo

por el campo clasico
0
(x, t), el parametro
de orden o tambien llamado funcion del condensado. Este procedimiento tiene ciertamente un signicado
fsico muy profundo. De hecho, este reemplazo es analogo a la transicion desde la electrodinamica cuantica
a la descripcion clasica del campo electromagnetico, lo que se puede justicar cuando se tiene un n umero
15
muy grande de fotones en aproximadamente el mismo estado cuantico. En este caso, la no-conmutatividad
de los operadores de campo ya no es importante y uno puede describir el campo electromagnetico utilizando
funciones clasicas, las cuales satisfacen las ecuaciones de Mawxell.
En nuestro caso de condensacion de Bose-Einstein, la presencia de un gran n umero de atomos en un
unico estado
0
, nos permite la introduccion del campo clasico
0
(x, t) y la ecuacion que determina su
dinamica la consideraremos a continuacion.
Si calculamos la ecuacion de Heisenberg para el operador de campo

general, utilizando el Hamilto-
niano (5.7) y las relaciones de conmutacion (2.12)-(2.14), obtenemos un resultado exacto para la dinamica
de

. En efecto,
i

t

(x, t) = [

(x, t),

H] (5.10)
= [

(x, t),

H
(1)
] + [

(x, t),

H
(2)
], (5.11)
donde

H
(1)
y

H
(2)
representan la primera y segunda integral en (5.7), respectivamente. El conmutador
[

(x, t),

H
(1)
] ya fue calculado para la segunda cuantizacion del campo de Schrdinger y es dado por el
lado derecho de la ecuacion (2.15). Para el otro conmutador se tiene,
[

(x, t),

H
(2)
] =
1
2

d
3
r

d
3
r

V (x

x

)[

(x, t),

(x

, t)

(x

, t)

(x

, t)

(x

, t)]. (5.12)
Calculemos este nuevo conmutador por separado, donde no podremos explcitamente la dependencia
temporal para simplicar la notacion,
[

(x),

(x

)

(x

)

(x

)

(x

)] =

(x

)

(x

)

:
0
[

(x),

(x

)

(x

)]
+ [

(x),

(x

)

(x

)]

(x

)

(x

) (5.13)
=

(x

)[

(x),

(x

)]

(x

)

(x

)
+ [

(x),

(x

)]

(x

)

(x

)

(x

) (5.14)
= (x x

)

(x

)

(x

)

(x

)
+(x x

)

(x

)

(x

)

(x

). (5.15)
Ahora, si reemplazamos (5.15) en (5.12), obtenemos
[

(x, t),

H
(2)
] =
1
2

d
3
r

d
3
r

V (x

x

)(x x

)

(x

)

(x

)

(x

)
+
1
2

d
3
r

d
3
r

V (x

x

)(x x

)

(x

)

(x

)

(x

) (5.16)
=
1
2

d
3
r

V (x x

)

(x

)

(x

)

(x)
+
1
2

d
3
r

V (x

x)

(x

)

(x

)

(x) (5.17)
=

d
3
r

V (x x

)

(x

)

(x

)

(x). (5.18)
Finalmente, si reemplazamos (5.18) y el lado derecho de (2.15) en (5.11), obtenemos la expresion exacta
para la evolucion del operador de campo

bajo el Hamiltoniano (5.7),
i

t

(x, t) =

2
2m

(x, t) +V
ext
(x, t)

(x, t) +

d
3
r

V (x x

)

(x

, t)

(x

, t)

(x, t). (5.19)
16
Ahora aplicamos la aproximacion de Bogoliubov a orden cero, reemplazando el operador de campo

(x, t)
por el parametro de orden
0
(x, t). Es importante notar que cometeramos una inconsistencia en la aprox-
imacion si hacemos esto considerando un potencial interatomico V realista, que vara considerablemente
para distancias peque nas. Sin embargo el reemplazo


0
es consistente si ocupamos un potencial in-
teratomico efectivo V
e
, que vare suavemente tal que la aproximacion de Born s sea valida. Obviamente,
el potencial efectivo V
e
elegido debe reproducir las mismas propiedades de scattering de bajas energas
que las dadas por el potencial V , lo que signica que V
e
debe ser tal que al integrarlo en (5.4), este de
como resultado el mismo valor V
0
que da V , es decir,
V
0
=

d
3
sV
e
(s) :=

d
3
sV (s). (5.20)
Si reemplazamos V
0
dado por el potencial efectivo en (5.20) dentro de la denicion de la distancia a de
scattering de onda-s (5.3), se obtiene
V
0
=

d
3
sV
e
(s) =
4
2
a
m
=

d
3
s

4
2
a
m
(s)

, (5.21)
de donde podemos ver que una forma explcita del potencial efectivo que estamos buscando es dada por,
V
e
(x x

) := g(x x

), (5.22)
donde hemos ocupado el hecho que s = xx

y ademas hemos denido al parametro de interaccion g en
terminos de a, en la forma,
g :=
4
2
a
m
. (5.23)
As, reemplazando nalmente


0
en (5.19) y adicionalmente reemplzando el potencial efectivo
V V
e
dado en (5.22), se obtiene
i

t

0
(x, t) =

2
2m

0
(x, t) +V
ext
(x, t)
0
(x, t) +g

d
3
r

(x x

)

0
(x

, t)
0
(x

, t)

0
(x, t),
(5.24)
por lo que si ocupamos la propiedad de la delta de Dirac en (5.24), encontramos nalmente la esperada
ecuacion de Gross-Pitaevskii, que describe la dinamica del parametro de orden
0
(x, t) general, a orden
cero,
i

t

0
(x, t) =

2
2m

0
(x, t) +V
ext
(x, t)
0
(x, t) +g[
0
(x, t)[
2

0
(x, t). (5.25)
La ecuacion (5.25) fue derivada independientemente por Gross y Pitaevskii en 1961 y es la herramienta
principal para investigar efectos macroscopicos de gases de Bose diluidos no-uniformes a muy bajas tem-
peraturas. Esta ecuacion (5.25) tiene la tpica forma de una ecuacion de campo medio, donde el parametro
de orden se puede calcular de una manera auto-consistente. Ademas cabe notar que ella es una ecuacion
diferencial parcial no-lineal para
0
, cuya no-linealidad aparece de la interaccion entre partculas e in-
troduce una importante analoga entre la condensacion de Bose en gases atomicos y la optica no-lineal.
Coherencia y efectos de interaccion son caractersticas importantes que se pueden investigar a partir de
la ecuacion de Gross-Pitaevskii (5.25).
Para terminar, resumamos brevemente las condiciones de aplicabilidad de la ecuacion (5.25), para
sus posteriores aplicaciones que lamentablemente no alcanzaremos a abordar en este trabajo. Primero,
el n umero total de atomos en el estado fundamental debe ser lo sucientemente, pues solo en ese caso
estamos autorizados de usar el concepto de condensacion de Bose-Einstein. En otras palabras, se debe dar
que un estado del gas este macroscopicamente poblado por partculas (N
0
1). Segundo, con el n de
17
reemplazar el operador de campo por el campo clasico, debemos asumir la condicion de que el gas debe
ser diludo (n[a[
3
<1) y ademas que que la temperatura del gas es lo sucientemente baja (T <T
c
).
Esto nos permite ignorar los efectos tanto cuanticos como termicos e implica que el parametro de
orden esta normalizado al n umero total de atomos, es decir,

d
3
r[
0
[
2
= N. (5.26)
Una condicion extra que restringe la aplicabilidad de la ecuacion (5.25), es que ella nos permite investigar
solo fenomenos que ocurren en una escala de distancias mucho mayor que la distancia de scattering a. De
hecho, para distancias microscopicas, las aproximaciones necesarias para derivar (5.25) no son validas.
Es importante destacar tambien, que la ecuacion de Gross-Pitaevskii garantiza la conservacion del
n umero de partculas dado en (5.26). En efecto, si multiplicamos (5.25) por

0
y le sustraemos el complejo
conjugado de la ecuacion resultante, se obtiene una ecuacion de continuidad,
n
t
+

j = 0, (5.27)
donde la densidad del gas no-uniforme n(x, t) es dada por,
n(x, t) := [
0
[
2
, (5.28)
e introducimos la densidad de corriente

j, que tiene la misma forma que en la ecuacion de Schrdinger!

j =

2mi
(

0
). (5.29)
Finalmente notemos que la ecuacion de Gross-Pitaevskii toma una forma mas simple en el caso de solu-
ciones estacionarias en que la funcion de onda del condensado evoluciona de acuerdo a la ecuacion (4.13),
es decir

0
(x, t) =
0
(x)e
it/
, (5.30)
de acuerdo al potencial qumico . Si reemplazamos (5.30) en (5.25) y ademas asumimos que el potencial
externo es independiente del tiempo, obtenemos la ecuacion de Gross-Pitaevskii independiente del tiempo,
dada por

2
2m

0
(x) +V
ext
(x)
0
(x) +g[
0
(x)[
2

0
(x) =
0
(x). (5.31)
18
Bibliografa
[1] L. Pitaevskii and S. Stringari, Bose-Einstein Condesation, Clanderon Press, Oxford, (2003).
[2] F. Dalfovo, S. Giorgini, L. Pitaevskii, S. Stringari, Theory of Bose-Einstein Condesation in Trapped
Gases, Rev. Mod. Phys. 71, 463-512 (1999).
[3] G. Mahan, Many-Particle Physics, Plennun Press, New York, (1990).
[4] P. Meystre, Atom Optics, Pringer-Verlag New York, Inc., (2001).
19