Centro de Investigacin y de Estudios Avanzados

del
Instituto Politcnico Nacional



DEPARTAMENTO DE FISICA


Estados coherentes para Hamiltonianos
cuadrticos tridimensionales con simetra
axial


Tesis que presenta



Mercedes Paulina Velzquez Quesada


para obtener el Grado de


Maestra en Ciencias


en la Especialidad de

Fsica



Director de tesis: Dr. David Jos Fernndez Cabrera



Mxico, Distrito Federal Marzo, 2007








Dedico este trabajo a mi querida familia:



A mis padres Fernando Velzquez y Marta Quesada.

A mis hermanos Fernando, Ins y Susana.

A Balam.






























Agradecimientos



A los mexicanos por que, a travs del CONACyT, me dieron la
oportunidad de formar parte del Instituto Politcnico Nacional como
estudiante en su Centro de Investigacin y Estudios Avanzados.

Al departamento de Fsica del CINVESTAV por el apoyo otorgado. A
su personal administrativo y de intendencia porque con su trabajo facilit
mi desempeo.

A todos los profesores que han contribuido a mi formacin, en especial
a los que adems de compartirme sus conocimientos y darme orientacin,
me alientan con su ejemplo a continuar en este camino.

A los doctores Bogdam Mielnik y Gabino Torres por su amabilidad en
la revisin de este trabajo.

Un sincero agradecimiento al Dr. David J os Fernndez Cabrera por la
oportunidad de trabajar bajo su asesora, la disponibilidad y paciencia
mostrada en todo momento. Le agradezco en especial su ardua labor en la
correccin de este texto.











Para mi familia, mi ms profundo agradecimiento por ser mi orgullo y
porra incondicional, por todo el cario, la comprensin y la confianza.

A la familia Velzquez Gonzles por su hospitalidad y calidez .

Por ser parte de mi vida y por los tiempos alegres y difciles que
hemos compartido a lo largo de estos aos, a mis queridos amigos: Lupita,
Olivia, Alejandrina, Vannya, Memo, Balam y Adrin.

A las muchachas por aquellos domingos de tareas y risas. A Xavier y
Alejandro por que en tan poco tiempo supieron transmitirme su entusiasmo.

A mis compaeros en el Departamento de Fsica por todos los
momentos que disfrut con ellos. A Aldo, Elohim y Pablo por los consejos,
el apoyo y por el ejemplo.

A Brisa por ser mi compaera en este esfuerzo, por la amistad y
complicidad compartidas.

A aquellos que se saben parte de mi aunque su nombre no figure en
estas pginas.


Velzquez Quesada
Mercedes Paulina
marzo 2007

Indice general
1. Introduccion 1
2. Tecnica matricial 4
2.1. Oscilador unidimensional atractivo y repulsivo . . . . . . . . . . . 4
2.2. Sistema bidimensional mas simple . . . . . . . . . . . . . . . . . . 9
2.2.1. Caso atractivo . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.2. Caso repulsivo . . . . . . . . . . . . . . . . . . . . . . . . . 14
3. Hamiltonianos cuadraticos tridimensionales con simetra axial 21
3.1. Analisis de los eigenvalores complejos para la matriz . . . . . . . 22
3.2. Eigenvalores puramente imaginarios . . . . . . . . . . . . . . . . . 25
4. Estados coherentes para los Hamiltonianos tridimensionales 27
4.1. Derivacion de los estados coherentes [z
k
) . . . . . . . . . . . . . . . 29
4.1.1. Completez del conjunto [z
k
) . . . . . . . . . . . . . . . . 32
4.1.2. EC a partir del operador de desplazamiento D
k
(z) . . . . . 33
4.2. Cantidades fsicas de los EC . . . . . . . . . . . . . . . . . . . . . . 35
5. Algunas aplicaciones del metodo 40
5.1. Sistema bidimensional atractivo . . . . . . . . . . . . . . . . . . . . 40
5.2. Oscilador tridimensional anisotropico . . . . . . . . . . . . . . . . . 45
5.3. Trampa de Penning . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
6. Conclusiones 57
A. Tecnicas matematicas 59
B. Evolucion temporal 61
C. Estado extremal 64
I
Resumen
En esta tesis se derivaran los estados coherentes para Hamiltonianos cuadrati-
cos tridimensionales que poseen simetra de rotacion alrededor del eje z. En el
primer captulo presentaremos una tecnica matricial, que permite identicar
directamente los operadores de creacion y aniquilacion, mediante el caso del
oscilador estandar y repulsivo unidimensionales. Posteriormente, haremos un
tratamiento similar para un caso bidimensional ilustrativo: la superposicion
de un oscilador repulsivo y un momento angular. Aplicaremos despues la
tecnica matricial a los Hamiltonianos tridimensionales mencionados previa-
mente, y se derivar an los correspondientes estados coherentes. Finalmente se
desarrollaran algunos ejemplos para ilustrar la aplicacion del metodo.
Abstract
In this thesis we will derive the coherent states for three-dimensional quadratic
Hamiltonians with rotation symmetry around z axis. In the rst chapter, we
will present a matrix method that allows to identify directly the creation
and annihilacion operators, by through the case of the standar and repulsive
onedimensional oscillator. Then, we will perform a similar treatment for an
illustrative two-dimensional case: the superposition of a repulsive oscillator
and an angular momentum. We will apply the same matrix method to the
three-dimensional Hamiltonians mentioned previously, and the correspond-
ing coherent states will be derived. Finally, some examples to illustrate the
method will be developed.
Captulo 1
Introduccion
Los estados coherentes (EC) fueron construidos inicialmente por Schr o-
dinger en 1926 mientras buscaba estados mecanico cuanticos del oscilador
armonico que llevaran a predicciones fsicas similares a las de los estados
clasicos, al menos en el lmite macroscopico. Para tales estados cuanticos los
valores esperados de los operadores de posicion X
i
)(t) y momento P
i
)(t)
deben ser funciones periodicas del tiempo y no iguales a cero para todo t, co-
mo ocurre para los eigenestados del operador energia del oscilador armonico.
Los vectores con estas caractersticas que encontro Schr odinger resultaron
ser eigenestados del operador de aniquilacion del oscilador armonico. A partir
de este trabajo se empezo a desarrollar la teora de los estados coherentes (au-
tores como Fock, Iwata, Sudarshan, Rash, Klauder entre otros se mencionan
en [1]). Roy Glauber fue quien introdujo el termino Estados Coherentes al uti-
lizar estados construidos de modo analogo a los encontrados por Schrodinger
para trabajar correlaciones entre fotones [2], [3]. Solo despues de las con-
tribuciones de Glauber los estados coherentes fueron ampliamente conocidos
e intensamente usados en varios dominios de la fsica y las matematicas. Du-
rante este desarrollo, el formalismo ha sido generalizado mediante deniciones
con alto grado de complejidad matematica, como puede verse en los artculos
[4], [5] [6], [7], libros [8], entre otros (ver [9], [10]). En este trabajo nos res-
tringiremos a las deniciones inicialmente introducidas por Glauber [3], las
cuales estan basadas en propiedades bien conocidas del oscilador armonico
pero que seran usadas para sistemas mas generales.
1. Los estados coherentes [z) son eigenestados, con eigenvalor complejo z,
1
del operador de aniquilacion a del oscilador armonico, es decir
a[z) = z[z), z C. (1.1)
Por otro lado, para el oscilador armonico se puede identicar un operador
unitario D, que depende de la variable compleja z y act ua como operador de
desplazamiento sobre las observables canonicas X y P, el cual esta dado por
D(z) = e
za

a
, (1.2)
donde a

es el operador de creacion estandar. Por tanto, surge una segunda

denicion.
2. Los estados coherentes [z) resultan de aplicar el operador de desplaza-
miento D(z) sobre el estado base [
0
) del oscilador, es decir
[z) = D(z)[
0
). (1.3)
Por ultimo, presentamos una propiedad de los estados coherentes que ha
llegado a tomarse como otra posible denicion.
3. Los estados coherentes [z) son estados cuanticos que minimizan la
relacion de incertidumbre de Heisenberg para X y P, la cual en unidades
adimensionales en las que = 1 se expresa
(X)
z
(P)
z
=
1
2
(1.4)
donde, para un sistema en el estado coherente [z) y un operador arbitrario
O, la dispersion (O)
z
se dene como:
(O)
2
z
= z[(O z[O[z))
2
[z) = z[O
2
[z) z[O[z)
2
= O
2
)
z
O)
2
z
.
Otra propiedad importante del conjunto de estados coherentes de un sis-
tema, cualquiera que sea su naturaleza, es la completez. De hecho, resulta que
ellos forman un conjunto sobrecompleto en el sentido de que para cualquier
secuencia convergente de n umeros complejos z
n
los estados coherentes corres-
pondientes [z
n
) forman un conjunto completo [11]. Sobre esta caracterstica,
en especial, existe un analisis muy interesante en [12].
Como se discute en [13], para el oscilador armonico la primera y segunda
deniciones conducen a los mismos estados coherentes y estos a su vez satisfa-
cen la ecuacion 1.4, as como la ecuacion de completez. Sin embargo, no todo
2
estado del oscilador que satisface la tercera denicion lo hace con las otras
dos, es decir, esta es demasiado amplia por lo cual es preferible construir los
estados coherentes mediante las dos primeras deniciones y considerar 1.4
unicamente como una propiedad resultante.
En este trabajo generaremos los estados coherentes partiendo tanto de
la denicion que los considera como eigenvectores de los operadores de ani-
quilacion del operador n umero del sistema, como de la dada por la ecuacion
1.3. Para hacerlo, debemos primero identicar el algebra del Hamiltoniano,
expresarlo despues en terminos de sus operadores n umero y obtener explcita-
mente los operadores de creacion y aniquilacion. La tecnica que empleare-
mos esta estrechamente relacionada con el conocido metodo de factorizacion
y sera desarrollada a manera de ejemplo para dos sistemas sencillos en el
siguiente captulo.
3
Captulo 2
Tecnica matricial
2.1. Oscilador unidimensional atractivo y re-
pulsivo
Para introducir la tecnica matricial que vamos a ocupar a lo largo de esta
tesis, trabajaremos inicialmente con el oscilador armonico en una dimension,
pero le daremos una libertad extra. Tomaremos el Hamiltoniano como
H =
P
2
2
+
X
2
2
, (2.1)
donde puede tomar los valores +1 y 1, es decir, trabajaremos con un
oscilador que puede ser atractivo o repulsivo. Con el oscilador atractivo ve-
remos que nuestros resultados coinciden con los conocidos y con el repulsivo
encontraremos algunas generalidades que se pueden obtener con esta tecnica.
Denimos el vector-operador[q) =
_
q
1
q
2
_
=
_
X
P
_
, donde X y P son
operadores canonicos en una dimension. Notemos que [q) (as como [q(t)))
no representa el vector de un estado cuantico, sino un vector formal cuyas
componentes son operadores. Entonces, las ecuaciones de Heisenberg para el
movimiento estaran dadas por
dq
j
(t)
dt
= [iH, q
j
(t)], j = 1, 2.
Ahora, ya que el Hamiltoniano es cuadratico en X y P, podemos escribir las
4
dos ecuaciones anteriores en forma matricial para el vector [q(t))
d[q(t))
dt
= [iH, [q(t))] = [q(t)), (2.2)
con una matrix 2 2 que en este caso tiene la forma explcita
=
_
0 1
0
_
. (2.3)
Vamos ahora a encontrar los eigenvectores y las eigenformas de la matriz
, a partir de los cuales obtendremos los operadores de subida y bajada para
los estados del oscilador. Notemos que si = 1, la matriz no es hermitiana;
por tanto, en este caso las eigenformas no seran necesariamente los adjuntos
de los eigenvectores.
La ecuacion caracterstica de esta matriz es
2
= , de modo que los
eigenvalores estan dados por

= i

. Notemos que si = 1,
= i

sera real, mientras que para = 1 tendremos imaginaria.

Si denotamos [u

) al eigenvector asociado al eigenvalor

= i

,
obtenemos que
[u
+
) = a
1
_
1
i

_
, [u

) = a
2
_
1
i

_
, (2.4)
donde a
1
y a
2
son constantes complejas a un por determinar. Mientras tanto,
las eigenformas estaran dadas por
e
+
[ = o
1
_
1,
i

_
, e

[ = o
2
_
1,
i

_
, (2.5)
con o
1
y o
2
constantes complejas. Tenemos entonces que [u

) =

[u

) y
e

[ =

[.
La normalizacion ahora se hace exigiendo que
e

[u

) = 1. (2.6)
De hecho, se puede demostrar que en general se cumple
e

[u

) = 0, (2.7)
es decir, las eigenformas y eigenvectores que corresponden a eingenvalores
distintos son ortogonales entre si (ver apendice A). Es mas, si el eigenvalor
5
es puramente imaginario se tiene que (

=
+
y los eigenvectores corres-
pondientes conviene escogerlos complejos conjugados entre s (ver seccion
3.2).
Tomando, para normalizar, a
1
=
1
2o
1
y a
2
=
1
2o
2
tendremos que
[u
+
)e
+
[ +[u

)e

[ = 1. (2.8)
Escogiendo [u
+
)

= [u

) y e
+
[

= e

[, resultara que o

1
= o
2
.
Denamos ahora los operadores L
+
= e
+
[q) y L

= e

[q) que obedecen

la relacion de conmutacion
[H, L

] = ie

[
_
iH, [q)

= ie

[[q) = i(i

)e

[q) =

. (2.9)
Por tanto, L
+
y L

seran los operadores de subida y bajada respecti-

vamente de los eigenvectores del operador H, que denotaremos por [
n
).
Notemos sin embargo que si

es imaginario, el nuevo eigenvector L
+
[
n
)
tendra un eigenvalor imaginario, cuyo signicado debemos analizar cuida-
dosamente.
En nuestro caso tenemos
L
+
= o
1
_
X
iP

_
, L

= o

1
_
X +
iP

_
(2.10)
y se puede calcular el conmutador
[L

, L
+
] = [o
1
[
2
_
X +
iP

, X
iP

_
= [o
1
[
2
2

. (2.11)
Podemos ahora denir nuevos eigenvectores [ u

) y eigenformas e

[ de la
matriz en la forma
[ u

) =
_

[L

, L
+
]

[u

) =

2 [o
1
[[u

),
e

[ =
1
_

[L

, L
+
]

[ =
1

2 [o
1
[
e

[ (2.12)
donde hemos usado que toma solo los valores 1 y 1.
Entonces, los nuevos operadores A

= e

[q) =
L

2 |o
1
|
cumplen las mis-
mas relaciones de conmutaci on con H
[H, A

] =
[H, L

2[o
1
[
=

2[o
1
[
=

, (2.13)
6
aunque entre s satisfacen
[A

, A
+
] =
[L

, L
+
]

[L

, L
+
]

=
1

. (2.14)
Notemos que el modulo de este ultimo conmutador es unitario, el cual denire-
mos como .
La forma explcita de estos operadores es
A
+
=
o
1

2 [o
1
[
_
X
iP

_
,
A

=
o

2 [o
1
[
_
X +
iP

_
. (2.15)
Vemos que si = 1, es decir, en el caso del oscilador armonico atractivo,
llegamos a los operadores usuales de subida y bajada, excepto por un factor
fase
A
+
=
o
1

2 [o
1
[
(X iP),
A

=
o

2 [o
1
[
(X + iP). (2.16)
Sin embargo, la forma de estos operadores para el caso en que = 1 cambia,
ya que los eigenvalores son reales, y tendremos
A
+
=
o
1

2 [o
1
[
(X P),
A

=
o

2 [o
1
[
(X + P). (2.17)
Por otro lado, notemos que el Hamiltoniano H puede escribirse en termi-
nos de los operadores A
+
y A

. De hecho, esto es consecuencia de un teo-

rema general [14]. Si un algebra irreducible de operadores / es generada
por los elementos A

k
(k = 1, . . . , n) tales que [A
+
i
, A
+
j
] = [A

i
, A

j
] = 0,
[A
+
i
, A

j
] =
i

(ij)
(sin suma) y donde [
i
[ = 1 (i, j = 1, . . . , n), entonces, un
operador H que pertenezca a / y que cumpla las relaciones de conmutaci on
[H, A

j
] = i
j
A

j
,
j
C, (2.18)
7
se puede escribir como
H =
n

k=1
(i)
_

k
_
A
+
k
A

k
+g
0
, (2.19)
donde g
0
es un escalar y n es el n umero de dimensiones en las que esta denido
el Hamiltoniano.
Efectivamente, debido a las relaciones de conmutaci on 2.13 y 2.14, la
diferencia entre H y la suma en el lado derecho de 2.19 conmuta con A
+
k
y
A

k
, para todo k, as como con sus funciones y por tanto, tiene que ser un
c-n umero.
En nuestro caso tenemos n = 1 y, por tanto,
g
0
= H + i
_
i

_
A
+
A

= H A
+
A

=
P
2
2
+
X
2
2

o
1
o

1
2[o
1
[
2
_
X
iP

__
X +
iP

_
, (2.20)
lo que nos lleva a g
0
=

2
, de modo que
H = A
+
A

2
. (2.21)
Vemos que, usando esta tecnica matricial, podemos obtener facilmente
operadores de escalera para los eigenvectores de H. Una vez que tenemos
estos operadores, deniremos los estados coherentes como los eigenestados
del operador de aniquilacion del sistema.
Analicemos ahora la evoluci on temporal correspondiente. En este caso, lo
que nos interesa conocer es [q(t)), y tenemos que la ecuacion de movimiento
homogenea 2.2 se integra inmediatamente para quedar como
[q(t)) = exp ((t t
0
))[q(t
0
)). (2.22)
Tomando por simplicidad t
0
= 0,
[q(t)) = e
t
[q(0)) = e
t
[q) (2.23)
Ahora, desarrollando la identidad como en la ecuacion 2.8, pero para [ u

)
y e

[ podemos escribir
[q(t)) = e
t
1[q) = e
t
_
[ u
+
) e
+
[ +[ u

) e

[
_
[q)
=
_
e

+
t
[ u
+
) e
+
[ + e

t
[ u

) e

[
_
[q)
= e
i

t
[ u
+
)A
+
+ e
i

t
[ u

)A

. (2.24)
8
Notemos entonces que, si = 1, las exponenciales seran imaginarias, de modo
que [q(t)) se mantiene oscilando a lo largo de los vectores [ u
+
) y [ u

), como
era conocido para el oscilador atractivo. Sin embargo, si = 1, las expo-
nenciales seran reales y el segundo termino crecera innitamente conforme
t aumenta, esto es, la partcula sometida al potencial de oscilador repulsivo
no puede ser connada. Estos resultados surgen directamente de que, para el
caso atractivo, los eigenvalores que obtenemos para son imaginarios, mien-
tras que para el oscilador repulsivo tales eigenvalores son reales. Veremos mas
adelante que esto se generaliza para cualquier Hamiltoniano cuadratico, es
decir, obtendremos trayectorias connadas solo cuando los eigenvalores de la
matriz , denida como se hizo en este ejemplo, son imaginarios (ver 3.2 y
apendice B).
2.2. Sistema bidimensional mas simple
Para ilustrar que podemos obtener eigenvalores de la matriz que no son
necesariamente reales o imaginarios, analizaremos a continuaci on el Hamil-
toniano bidimensional
H =

P
2
2
+

X
2
2
+ L
z
, (2.25)
donde = 1. Hamiltonianos de este tipo se encuentran al trabajar en
sistemas de referencia no inerciales (ver, por ejemplo, [17] en donde aparecen
estudios similares). Denimos ahora el vector
[q) =
_
_
_
_
X
Y
P
x
P
y
_
_
_
_
,
para obtener una ecuacion similar a 2.2, pero ahora cuadridimensional, con
la matriz de la forma
=
_
_
_
_
0 1 0
0 0 1
0 0
0 0
_
_
_
_
. (2.26)
A partir de las eigenformas de esta matriz obtendremos, como en el caso
anterior, los operadores de escalera del sistema. Para analizar este problema
lo separaremos en el caso atractivo ( = 1) y el repulsivo ( = 1).
9
2.2.1. Caso atractivo
Para el primer caso tenemos que los dos terminos del potencial son atrac-
tivos por lo que esperamos que el sistema se pueda connar en el espacio.
Resulta que los eigenvalores estan dados por
= i[1 [,
de modo que siempre tendremos eigenvalores imaginarios. Sin embargo, a un
podemos tomar en cuenta tres casos, dependiendo del valor de .
Para el caso en que < 1, los eigenvalores estaran dados por

+
1
= i(1 + ),
+
2
= i( 1),

1
= (
+
1
)

= i(1 + ),

2
= (
+
2
)

= i( 1). (2.27)
Entonces, los eigenvectores normalizados, seg un la ecuacion
e

k
[u

k
) = 1, k = 1, 2, (2.28)
seran
[u
+
1
) =
1
4r
1
_
_
_
_
1
i
i
1
_
_
_
_
, [u

1
) =
1
4r

1
_
_
_
_
1
i
i
1
_
_
_
_
,
[u
+
2
) =
1
4r
2
_
_
_
_
1
i
i
1
_
_
_
_
, [u

2
) =
1
4r

2
_
_
_
_
1
i
i
1
_
_
_
_
, (2.29)
con r
1
y r
2
constantes complejas. Los coecientes se relacionaron exigiendo
[u

1
) = [u
+
1
)

y [u

2
) = [u
+
2
)

puesto que

1
= (
+
1
)

2
= (
+
2
)

.
Las correspondientes eigenformas se expresan como
e
+
1
[ = r
1
(1, i, i, 1) , e

1
[ = r

1
(1, i, i, 1) ,
e
+
2
[ = r
2
(1, i, i, 1) , e

2
[ = r

2
(1, i, i, 1) . (2.30)
Ahora, los operadores L
+
k
= e
+
k
[q) y L

k
= e

k
[q), seran de la forma
L
+
1
= r
1
(X iY + iP
x
+P
y
), L

1
= r

1
(X + iY iP
x
+ P
y
),
L
+
2
= r
2
(X + iY + iP
x
+ P
y
), L

2
= r

2
(X iY iP
x
+ P
y
), (2.31)
10
cuyos conmutadores resultan
[L

1
, L
+
1
] = 4[r
1
[
2
, [L

2
, L
+
2
] = 4[r
2
[
2
. (2.32)
Por lo tanto deniendo los nuevos eigenvectores y eigenformas como
[ u

k
) =
_

[L

k
, L
+
k
]

[u

k
) = 2[r
k
[[u

k
),
e

k
[ =
1
_

[L

k
, L
+
k
]

k
[ =
1
2[r
k
[
e

k
[, k = 1, 2, (2.33)
tendremos los nuevos operadores A

k
= e

k
[q) =
L

k
2|r
k
|
, los cuales cumplen las
siguientes relaciones de conmutaci on con H,
[H, A

1
] = (1 + )A

1
, [H, A

2
] = ( 1)A

2
. (2.34)
Sin embargo, entre s conmutan en la forma
[A

1
, A
+
1
] = 1
1
, [A

2
, A
+
2
] = 1
2
. (2.35)
Como estamos considerando < 1, tendremos que A
+
1
y A
+
2
son opera-
dores de subida para los eigenvectores del Hamiltoniano, mientras que A

1
y
A

2
act uan como operadores de bajada. Ahora, seg un el teorema expresado
en la ecuacion 2.19, podemos escribir
H = (i)
_

+
1

1
A
+
1
A

1
+

+
2

2
A
+
2
A

2
_
+ g
0
= (i)
_
i(1 + )
(1)
A
+
1
A

1
+
i(1 + )
1
A
+
2
A

2
_
+ g
0
= (1 + )A
+
1
A

1
+ (1 )A
+
2
A

2
+ g
0
. (2.36)
Un calculo directo conduce a g
0
= . Notemos que el coeciente de A
+
1
A

1
es negativo mientras que el de A
+
2
A

2
es positivo, de modo que nuestro Hamil-
toniano no es denido positivo para < 1.
Si tomamos ahora la region 1 < < 1 tendremos los eigenvalores

+
1
= i(1 + ),
+
2
= i( 1) y sus complejos conjugados

1
= i(1 + )
11
y

2
= i( 1). Los eigenvectores respectivos, ya normalizados, seran
[u
+
1
) =
1
4r
1
_
_
_
_
1
i
i
1
_
_
_
_
, [u

1
) =
1
4r

1
_
_
_
_
1
i
i
1
_
_
_
_
,
[u
+
2
) =
1
4r
2
_
_
_
_
1
i
i
1
_
_
_
_
, [u

2
) =
1
4r

2
_
_
_
_
1
i
i
1
_
_
_
_
. (2.37)
Las eigenformas correspondientes se expresan como
e
+
1
[ = r
1
(1, i, i, 1) , e

1
[ = r

1
(1, i, i, 1) ,
e
+
2
[ = r
2
(1, i, i, 1) , e

2
[ = r

2
(1, i, i, 1) . (2.38)
Entonces, deniendo los operadores L

k
= e

k
[q) se obtiene
L
+
1
= r
1
(X + iY iP
x
+ P
y
), L

1
= r

1
(X iY + iP
x
+ P
y
),
L
+
2
= r
2
(X +iY + iP
x
+P
y
), L

2
= r

2
(X iY iP
x
+ P
y
). (2.39)
Estos operadores satisfacen
[L

1
, L
+
1
] = 4[r
1
[
2
, [L

2
, L
+
2
] = 4[r
2
[
2
. (2.40)
De tal modo, denimos los nuevos eigenvectores y eigenformas como
[ u

k
) = 2[r
k
[[u

k
)
e

k
[ =
1
2[r
k
[
e

k
[, k = 1, 2. (2.41)
As, A

k
= e

k
[q) cumplen las relaciones de conmutacion siguientes
[H, A

1
] = (1 + )A

1
, [H, A

2
] = ( 1)A

2
. (2.42)
Como 1 < < 1, A
+
1
y A
+
2
act uan nuevamente como operadores de subida
para los eigenvectores de H mientras que A

1
y A

2
seran operadores de bajada
para estos estados.
Finalmente tendremos
[A

1
, A
+
1
] = 1
1
, [A

2
, A
+
2
] = 1
2
, (2.43)
12
por lo que escribimos
H = (1 + )A
+
1
A

1
( 1)A
+
2
A

2
+ g
0
, (2.44)
donde ahora g
0
= 1. Notemos que, en este caso, ambos coecientes son posi-
tivos de modo que nuestro Hamiltoniano es denido positivo.
Por ultimo, analicemos el caso en que 1 < , para el cual tenemos

+
1
= i(1+),
+
2
= i( 1),

1
= i(1+),

2
= i( 1). (2.45)
Los eigenvectores normalizados son
[u
+
1
) =
1
4r
1
_
_
_
_
1
i
i
1
_
_
_
_
, [u

1
) =
1
4r

1
_
_
_
_
1
i
i
1
_
_
_
_
,
[u
+
2
) =
1
4r
2
_
_
_
_
1
i
i
1
_
_
_
_
, [u

2
) =
1
4r

2
_
_
_
_
1
i
i
1
_
_
_
_
. (2.46)
Las eigenformas seran
e
+
1
[ = r
1
(1, i, i, 1), e

1
[ = r

1
(1, i, i, 1),
e
+
2
[ = r
2
(1, i, i, 1), e

2
[ = r

2
(1, i, i, 1). (2.47)
Entonces, obtendremos los operadores L

k
= e

k
[q) como
L
+
1
= r
1
(X + iY iP
x
+P
y
), L

1
= r

1
(X iY +iP
x
+ P
y
),
L
+
2
= r
2
(X iY iP
x
+P
y
), L

2
= r

2
(X + iY + iP
x
+ P
y
). (2.48)
Por tanto,
[L

1
, L
+
1
] = 4[r
1
[
2
, [L

2
, L
+
2
] = 4[r
2
[
2
. (2.49)
Tomamos ahora los nuevos eigenvectores y las eigenformas
[ u

k
) = 2[r
k
[[u

k
),
e

k
[ =
1
2[r
k
[
e

k
[, k = 1, 2, (2.50)
13
para denir los operadores A

k
= e

k
[q), que cumplen
[H, A

1
] = (1 +)A

1
, [H, A

2
] = ( 1)A

2
. (2.51)
Esto signica que A
+
1
, A
+
2
act uan como operadores de subida y A

1
, A

2
como
operadores de bajada de los eigenvectores del Hamiltoniano H.
Notemos que,

1
= 1,
2
= 1, (2.52)
por lo que nuevamente H se expresa como
H = (1 + )A
+
1
A

1
( 1)A
+
2
A

2
+g
0
, (2.53)
donde en este caso g
0
= . Notemos que, nuevamente, nuestro Hamiltoniano
no es denido positivo, debido al coeciente del producto A
+
2
A

2
.
2.2.2. Caso repulsivo
A un nos resta analizar el Hamiltoniano 2.25 con = 1. Para este caso,
no se presentan eigenvalores puramente imaginarios tales que

k
= (
+
k
)

,
sino que tendremos

+
1
= 1 + i,
+
2
= 1 i,

1
= (1 +i),

2
= (1 i). (2.54)
Por tanto

+
1
= (
+
2
)

1
= (

2
)

. (2.55)
De hecho, siempre que ,= 0, tendremos eigenvalores complejos.
Ahora, con la normalizacion denida anteriormente se llega a que los
eigenvectores estan dados por
[u
+
1
) =
1
4s
_
_
_
_
i
1
i
1
_
_
_
_
, [u

1
) =
1
4s
m
_
_
_
_
i
1
i
1
_
_
_
_
,
[u
+
2
) =
1
4s

_
_
_
_
i
1
i
1
_
_
_
_
, [u

2
) =
1
4s

m
_
_
_
_
i
1
i
1
_
_
_
_
, (2.56)
14
con s y s
m
constantes complejas. Las eigenformas seran
e
+
1
[ = s(i, 1, i, 1), e

1
[ = s
m
(i, 1, i, 1),
e
+
2
[ = s

(i, 1, i, 1), e

2
[ = s

m
(i, 1, i, 1), (2.57)
las cuales conducen a los operadores
L
+
1
= s(iX + Y iP
x
+ P
y
), L

1
= s
m
(iX Y + iP
x
+ P
y
),
L
+
2
= s

(iX + Y + iP
x
+ P
y
), L

2
= s

m
(iX Y iP
x
+P
y
). (2.58)
Obtenemos as los conmutadores
[L

1
, L
+
1
] = 4iss
m
= 4irr
m
e
i(+
m
)
,
[L

2
, L
+
2
] = 4is

m
= 4irr
m
e
i(+
m
)
,
donde tomamos s = re
i
y s
m
= r
m
e
i
m
. Por tanto

[L

1
, L
+
1
]

= 4rr
m

[L

2
, L
+
2
]

= 4rr
m
. (2.59)
Denimos entonces nuevos eigenvectores y eigenformas como
[ u

k
) = 2

rr
m
[u

k
),
e

k
[ =
1
2

rr
m
e

k
[, k = 1, 2. (2.60)
As, los nuevos operadores A

k
tendran la forma
A
+
1
=
e
i

r
2

r
m
[i(X +P
x
) + (Y +P
y
)], A

1
=
e
i
m

r
m
2

r
[i(X P
x
) (Y P
y
)],
A
+
2
=
e
i

r
2

r
m
[i(X +P
x
) + (Y +P
y
)], A

2
=
e
i
m

r
m
2

r
[i(X P
x
) (Y P
y
)],
donde vemos que A
+
1
= (A
+
2
)

y A

1
= (A

2
)

. Ademas, se cumplen las

relaciones de conmutacion
[H, A

1
] = (i )A

1
, [H, A

2
] = (i + )A

2
. (2.61)
En este caso, no es correcto decir que los operadores A

k
, k = 1, 2 son opera-
dores de escalera para los eigenvectores de la energia, puesto que a nadiran
n umeros complejos a los eigenvalores que en principio tenemos denidos como
reales.
15
Por otro lado tenemos

1
[A

1
, A
+
1
] = ie
i
,
2
[A

2
, A
+
2
] = ie
i
, (2.62)
donde = +
m
. Notemos que en este caso, a diferencia de los anteriores,
los valores de
1
y
2
dependen de las constantes s y s
m
. De hecho, depen-
den solamente de la suma de las fases y
m
. Esto es debido a que los
eigenvalores que se obtuvieron para son n umeros complejos con parte real
distinta de cero. Sin embargo, a un podemos seguir la tecnica matricial que
hemos empleado en los casos anteriores para escribir
H = e
i
(1 + i)A
+
1
A

1
+ e
i
(1 i)A
+
2
A

2
i. (2.63)
Notemos que en este caso g
0
= i.
A continuaci on, trataremos de llevar el Hamiltoniano a una forma similar
a la del oscilador armonico. Primero denamos los operadores F
+
, G
+
, F

y G

, como
F
+
=
A
+
1
+ (A
+
1
)

2
, G
+
=
A
+
1
(A
+
1
)

2
,
F

=
A

1
+ (A

1
)

2
, G

=
A

1
(A

1
)

2
. (2.64)
Explcitamente tendremos
F
+
=
_
r
2r
m
_
(X +P
x
) sin + (Y +P
y
) cos
_
,
G
+
=
_
r
2r
m
_
(X + P
x
) cos + (Y + P
y
) sin
_
,
F

=
_
r
m
2r
_
(X P
x
) sin
m
(Y P
y
) cos
m
_
,
G

=
_
r
m
2r
_
(X P
x
) cos
m
(Y P
y
) sin
m

. (2.65)
De esto puede verse que F
+
, F

, G
+
y G

son hermitianos, lo que tambien

puede comprobarse directamente de la denicion.
16
Entonces, podemos escribir H como
H = e
i
(1 +i)
_
F
+
+ iG
+

2
__
F

+ iG

2
_
+e
i
(1 i)
_
F
+
iG
+

2
__
F

iG

2
_
i
= (F
+
F

G
+
G

) cos + (F
+
G

+ G
+
F

) sin
+
_
(F
+
F

G
+
G

) sin (F
+
G

+ G
+
F

) cos

i.
Ahora, como A

k
conmuta con A

j
siempre que k ,= j, podemos calcular los
conmutadores
[F
+
, F

] = i cos , [G
+
, G

] = i cos ,
[F
+
, G
+
] = 0, [F

, G

] = 0,
[F
+
, G

] = i sin , [F

, G
+
] = i sin .
Si denimos ahora los operadores
G
1
= (F
+
F

G
+
G

) cos + (F
+
G

+ G
+
F

) sin ,
G
2
= (F
+
F

G
+
G

) sin (F
+
G

+ G
+
F

) cos , (2.66)
es facil ver que, como (F
+
F

G
+
G

) y (F
+
G

+G
+
F

) conmutan, tambien
lo haran G
1
y G
2
. As, podemos escribir el Hamiltoniano como una suma de
operadores que conmutan
H = G
1
+ G
2
i. (2.67)
Sin embargo, tenemos que
F
+
F

G
+
G

=
(F
+
+F

)
2
(F
+
F

)
2
(G
+
+G

)
2
+(G
+
G

)
2
4
+i cos ,
F
+
G

+ G
+
F

=
(F
+
+G

)
2
(F
+
G

)
2
+(G
+
+F

)
2
(G
+
F

)
2
4
+ i sen ,
(2.68)
17
y
[F
+
+ F

, F
+
F

] = 2i cos ,
[F
+
+ F

, G
+
+G

] = 0,
[F
+
+ F

, G
+
G

] = 2i sin ,
[F
+
F

, G
+
+G

] = 2i sin ,
[F
+
F

, G
+
G

] = 0,
[G
+
+ G

, G
+
G

] = 2i cos ,
[F
+
+ G

, F
+
G

] = 2i sin ,
[F
+
+ G

, G
+
+F

] = 2i cos ,
[F
+
+ G

, G
+
F

] = 0,
[F
+
G

, G
+
+F

] = 0,
[F
+
G

, G
+
F

] = 2i cos ,
[G
+
+ F

, G
+
F

] = 2i sin .
Ahora, tomemos por ejemplo el caso en que = 0 de modo que cos = 1 y
sin = 0, por lo que tendremos
[F
+
+F

, F
+
F

] = 2i,
[G
+
+G

, G
+
G

] = 2i,
[F
+
+ G

, G
+
+ F

] = 2i,
[F
+
G

, G
+
F

] = 2i,
mientras que los otros conmutadores se hacen cero. Entonces podemos deno-
tar
X
1
=
1

2
(F
+
F

), P
1
=
1

2
(F
+
+ F

),
X
2
=
1

2
(G
+
+ G

), P
2
=
1

2
(G
+
G

),
X
3
=
1

2
(F
+
+ G

), P
3
=
1

2
(G
+
+ F

),
X
4
=
1

2
(G
+
F

), P
4
=
1

2
(F
+
G

).
Notemos que los operadores X
k
y P
k
, k = 1, 2, 3, 4 tambien son hermitianos.
18
As, G
1
y G
2
tendran la forma
G
1
=
1
2
_
P
2
1
X
2
1
+ P
2
2
X
2
2
_
+ i,
G
2
=
1
2
_
P
2
3
+X
2
3
P
2
4
X
2
4
_
,
que podemos escribir como
G
1
=
1
2
_
(P
1
X
1
)(P
1
+ X
1
) + (P
2
X
2
)(P
2
+ X
2
)
_
+ 2i,
G
2
=
1
2
_
(X
3
iP
3
)(X
3
+ iP
3
) (X
4
iP
4
)(X
4
+iP
4
)
_
, (2.69)
o
G
1
= B

1
B
+
1
B

2
B
+
2
+ 2i,
G
2
= B

3
B
3
+B

4
B
4
, (2.70)
donde
B
+
1
=
X
1
+ P
1

2
, B

1
=
X
1
P
1

2
,
B
+
2
=
X
2
+ P
2

2
, B

2
=
X
2
P
2

2
, (2.71)
B
3
=
X
3
+ iP
3

2
, B
4
=
X
4
+ iP
4

2
.
Vemos que resultan expresiones similares a las obtenidas en el primer
ejemplo: B
3
y B
4
tienen la forma que encontramos en el oscilador armonico
atractivo, que se puede observar en las ecuaciones 2.16. Sin embargo, B

1
y
B

2
tienen la forma de los operadores encontrados en el caso repulsivo de la
ecuacion 2.17, en la que el cociente de los coecientes de los operadores X
i
y
P
i
, i = 1, 2, son ambos reales. Finalmente, el Hamiltoniano tomara la forma
H =

P
2
2

X
2
2
+ L
z
= B

1
B
+
1
B

2
B
+
2

_
B

3
B
3
B

4
B
4
_
+ i. (2.72)
Vemos que los primeros terminos de H corresponden a un oscilador bidi-
mensional repulsivo, mientras que el termino que esta multiplicado por a
19
un oscilador bidimensional atractivo. Esto concuerda con las similitudes que
hallamos entre los operadores B

s y las ecuaciones 2.16 y 2.17.

Es facil comprobar que, al menos para los valores de = 0,

2
, ,
3
2
y
2, G
1
y G
2
conservan la misma estructura del Hamiltoniano de oscilador
bidimensional, repulsivo y atractivo respectivamente que se observa en este
caso.
20
Captulo 3
Hamiltonianos cuadraticos
tridimensionales con simetra
axial
En los ejemplos anteriores hemos trabajado con Hamiltonianos que pueden
ahora generalizarse a la forma
H =

P
2
2
+ b
0
L
z
+
1
2
b
2
0
(X
2
+ Y
2
) + V (

X
2
+ Y
2
, Z
2
). (3.1)
Estos Hamiltonianos aparecen al considerar, en unidades adimensionales ( =
m = 1), una partcula cargada sin espn dentro de un campo magnetico
homogeneo constante a lo largo del eje z y bajo la accion de un potencial
cuadratico con simetra axial alrededor del campo. La forma mas general de
un potencial cuadratico, simetrico alrededor de z, esta dado por
V (

X
2
+ Y
2
, Z
2
) =
v
0
2
(X
2
+ Y
2
) +
v
1
2
Z
2
, (3.2)
con v
0
y v
1
constantes reales. As, en este caso la matriz tal que
_
iH, [q)

=
[q), sera
=
_
_
_
_
_
_
_
_
0 b
0
0 1 0 0
b
0
0 0 0 1 0
0 0 0 0 0 1
(b
2
0
+ v
0
) 0 0 0 b
0
0
0 (b
2
0
+ v
0
) 0 b
0
0 0
0 0 v
1
0 0 0
_
_
_
_
_
_
_
_
. (3.3)
21
La ecuacion caracterstica, [ 1[ = 0, estara dada por el polinomio
D

() =
6
+ C
1

4
+ C
2

2
+C
3
, (3.4)
donde
C
1
= 4b
2
0
+ 2v
0
+ v
1
,
C
2
= v
2
0
+ 4b
2
0
v
1
+ 2v
0
v
1
,
C
3
= v
2
0
v
1
.
Se puede mostrar en general que, para un Hamiltoniano cuadratico arbi-
trario, no necesariamente con simetra axial como en nuestro caso, la ecuacion
caracterstica de la matriz estara dada siempre por un polinomio con puras
potencias pares en (ver apendice B).
3.1. Analisis de los eigenvalores complejos para
la matriz
Debemos ahora notar que las caractersticas de los ejemplos anteriores
varan, debido principalmente al tipo de eigenvalores de la matriz . Estos
valores se obtienen del polinomio caracterstico de sexto grado en dado en
la ecuacion 3.4, el cual contiene solo potencias pares y por tanto podemos
reescribir como
D

() =
3
+C
1

2
+ C
2
+ C
3
con =
2
. As, tendremos 6 eigenvalores de la forma =

, que deno-
taremos como

k
,
k
con Re(
k
) > 0 o Re(
k
) = 0 y Im(
k
) > 0 k = 1, 2, 3. (3.5)
Ya que es raz de un polinomio de tercer grado con coecientes reales,
puede ser real o compleja dependiendo de las relaciones entre los valores
de las costantes C
1
, C
2
y C
3
[15]. Para el caso en que las tres s sean reales
y negativas, tendremos seis eigenvalores imaginarios para la matriz lo cual
conduce a tres osciladores armonicos atractivos desacoplados del tipo del
primer ejemplo. En estos casos se puede mostrar (ver [14],[16], [17] y apendice
B) que el comportamiento de la partcula sera acotado, es decir, una partcula
bajo este tipo de Hamiltonianos quedara connada. Sin embargo, si tenemos
22
que alg un valor de es real pero positivo, lo cual generara dos valores reales
de , se tendra un movimiento desconnado y, eventualmente, la partcula
escapara del potencial. Existe, sin embargo, un ultimo caso en el que dos s
son complejas conjugados entre s, con parte real distinta de cero. En este
caso tendremos una combinaci on de movimientos acotados y desacotados en
diferentes direcciones y, as, el movimiento general sera desacotado, con la
partcula escapando del potencial .
Si
1
,
2
y
3
son todos distintos podemos hallar los vectores y formas
propias de . Si algunos de los s son iguales, debemos recurrir al metodo
de vectores de Jordan para encontrar eigenvectores y eigenformas indepen-
dientes [14], [18]. Ademas, se demuestra (ver apendice A) que si
[u

j
) =
j
[u

j
), e

k
[ =
k
e

k
[ (3.6)
podemos normalizar en la forma
e
r
i
[u
r

j
) =
ij

rr
, (3.7)
donde i, j = 1, 2, 3 y r, r

= +, , de tal modo que

3

i=1
([u
+
i
)e
+
i
[ +[u

i
)e

i
[) = 1. (3.8)
Similarmente a lo que hicimos en el captulo anterior, se pueden obtener
los operadores L

k
= e

k
[q) que, por denicion, cumplen
[H, L

k
] = i
k
L

k
. (3.9)
Ademas, podemos mostrar que
[L
+
k
, L
+
j
] = 0 = [L

k
, L

j
],
[L
+
k
, L

j
] = 0, k ,= j,
mientras que
[L

k
, L
+
k
] ,= 0.
De hecho, si alg un conmutador [L

k
, L
+
k
] fuera cero, el correspondiente L
k
conmutara con todos los operadores L

j
y L
+
j
(j = 1, 2, 3). Como las eigen-
formas e

j
[, e
+
j
[ forman una base del conjunto de formas con 6 componentes
[, L
k
conmutara con cualquier combinacion lineal [q). Por tanto, podra
23
conmutar con cualquier observable canonica q
j
, lo cual es imposible ya que
e
k
[ , = 0, [14].
Si denimos nuevos eigenvectores y eigenformas de como
[ u

k
) = [[L

k
, L
+
k
][
1/2
[u

k
) e

k
[ =
e

k
[
[[L

k
, L
+
k
][
1/2
(3.10)
los operadores A

k
= e

k
[q) cumplen ahora que
[A

k
, A
+
j
] =
[L

k
, L
+
j
]
[[L

k
, L
+
k
][
1/2
[[L

j
, L
+
j
][
1/2
=
[L

k
, L
+
k
]
[[L

k
, L
+
k
][

kj
=
k

(kj)
, (3.11)
donde
k
es un n umero complejo de modulo uno. Ademas, se siguen cumplien-
do las relaciones de conmutacion
[A
+
k
, A
+
j
] = 0 = [A

k
, A

j
], (3.12)
[H, A

k
] = i
k
A

k
. (3.13)
Ahora, si denimos
k
= i
k
as que [H, A

k
] =
k
A

k
, vemos que
A
+
k
y A

k
actuando sobre los eigenvectores de H aumentan y disminuyen,
respectivamente, los valores propios correspondientes en una cantidad igual a

k
, es decir, act uan como operadores de subida y bajada. Debemos notar que,
en el caso en que
k
no es real, lo anterior conducira a que los eigenvalores
de H seran complejos, lo cual no puede ocurrir ya que H es hermitiano. Esto
signica que no existen eigenestados normalizables de H en este caso.
Una consecuencia de las relaciones de conmutaci on anteriores es que H
se puede escribir como [14] (ver tambien la discusion relacionada con las
ecuaciones 2.18 y 2.19)
H =
3

k=1

k
A
+
k
A

k
+ g
0
=
3

k=1

k
[L

k
, L
+
k
]
L
+
k
L

k
+ g
0
, (3.14)
donde g
0
es un escalar complejo. De hecho, denamos
g
0
= H
3

k=1

k
A
+
k
A

k
.
Entonces, debido a las relaciones 3.11 y 3.12, g
0
conmuta con todos los ope-
radores A

j
. Por tanto, g
0
conmuta con todas las componentes del vector [q),
de modo que g
0
C.
24
3.2. Eigenvalores puramente imaginarios
Seg un nuestra notacion
e
+
k
[ =
k
e
+
k
[, e

k
[ =
k
e

k
[, (3.15)
por lo que, si
j
= i
j
con
j
R
+
para j = 1, 2, 3, entonces

k
=
k
y,
como la matriz es real, tendremos
e

k
[ e
+
k
[

.
As, sin perdida de generalidad podemos jar
e

k
[ = e
+
k
[

. (3.16)
Ahora, como A

k
son combinaciones lineales de las componentes de [q), (X,
Y, . . . , P
x
, P
y
, . . . ), que son operadores hermitianos, entonces
(A
+
k
)

= (e
+
k
[q))

= e

k
[q) = A

k
. (3.17)
Notemos ademas que

k
= [A

k
, A
+
k
]

= (A

k
A
+
k
A
+
k
A

k
)

= A

k
A
+
k
A
+
k
A

k
= [A

k
, A
+
k
] =
k
,
es decir,
k
es real y como su modulo es uno tenemos que
k
= 1.
Finalmente, tendremos tambien que
[H, A

k
] = i
k
A

k
= i(i
k
)A

k
=
k
A

k
. (3.18)
Por tanto, en este caso los operadores de subida y bajada A

k
aumentan o
disminuyen el eigenvalor del Hamiltoniano H en una cantidad real
k
, un
caso particular del general presentado anteriormente.
Ademas, H se escribira como
H =
3

k=1

k
A
+
k
A

k
+g
0
(3.19)
=
3

k=1

k
[L

k
, L
+
k
]
L
+
k
L

k
+ g
0
, (3.20)
25
de modo que, si
k
es positivo para todos los valores de k, entonces H sera un
operador denido positivo. As, existira un estado base con eigenvalor mni-
mo, [
0
), tal que A

k
[
0
) = 0 para todo k. Sin embargo, si existe alg un k entre
los valores 1,2,3, para el cual
k
es negativo, el operador H no sera denido
positivo, ya que habra terminos del tipo de oscilador invertido[17]. En este
caso, en vez de un estado base tendremos un estado extremal, tambien deno-
tado [
0
), tal que A
+
k
[
0
) = 0 mientras que A

j
[
0
) = 0 para j ,= k. A partir
de [
0
) se generara una sucesion innita de niveles espectrales negativos y
positivos conforme se aplican los operadores A

k
y A
+
j
.
26
Captulo 4
Estados coherentes para los
Hamiltonianos tridimensionales
En el captulo anterior demostramos que podemos escribir as el Hamil-
toniano cuadratico tridimensional dado en las ecuaciones 3.1, 3.2
H =
3

k=1

k
A
+
k
A

k
+ g
0
, (4.1)
donde A
+
k
y A

k
son operadores que cumplen las relaciones de conmutacion
3.11, 3.12 y 3.13. Por la relacion 3.12 podemos denir al producto entre A
+
k
y A

k
, ordenado convenientemente, como el Hamiltoniano parcial H
k
a modo
de obtener el Hamiltoniano total 3.1 como suma de operadores que conmutan
entre s y con H.
Para denir concretamente los operadores H
k
, vamos a restringirnos al
caso en que todos los eigenvalores de la matriz son imaginarios puros (
j
=
i
j
, con
j
R
+
, j = 1, 2, 3). De este modo, seran validos los resultados de
la seccion 3.2, en particular, tendremos que A

k
= (A
+
k
)

para k = 1, 2, 3.
As, podemos denir un nuevo operador B
k
en terminos de A
+
k
o A

k
para
intentar agrupar los dos valores posibles de
k
. Sean por tanto
B
k
= A

k
, B

k
= A
+
k
, para
k
= 1,
B
k
= A
+
k
, B

k
= A

k
, para
k
= 1, (4.2)
con k = 1, 2, 3. Entonces, por la ecuacion 3.11 tendremos que los operadores
B
k
y B

k
cumplen las relaciones de conmutaci on
[B
j
, B

k
] =
jk
, j, k = 1, 2, 3. (4.3)
27
Mientras tanto, las ecuaciones 3.12 nos llevan a
[B
j
, B
k
] = [B

j
, B

k
] = 0, j, k = 1, 2, 3. (4.4)
Vamos ahora a escribir el Hamiltoniano total en terminos de los operado-
res B
k
y B

k
. Si en la expresion 3.19 sustituimos B
k
y B

k
, seg un las deniciones
4.2, y usamos las relaciones de conmutaci on 4.3 para ordenar los productos
apropiadamente cuando
j
= 1 obtenemos
H =
3

k=1

k
B

k
B
k

j
+ g
0
=
3

k=1

k
B

k
B
k
+ g

0
, (4.5)
donde denotamos como g

0
a g
0

j
y

j
representa la suma sobre todos
los terminos para los que
j
= 1.
Los operadores H
k
propuestos anteriormente, quedaran denidos como
H
k
=
k

k
B

k
B
k
, (4.6)
de modo que H = H
1
+H
2
+H
3
+g

0
. Recordemos que una observable, como lo
es H, es un operador hermitiano cuyo conjunto de eigenvectores forman una
base del espacio de estados fsicos. Ya que los operadores H
k
conmutan con
H y son hermitianos, podemos buscar un conjunto completo de eigenestados
comunes de H y H
k
, k = 1, 2, 3.
Analicemos otra vez cada caso por separado. Si
k
= 1, el operador H
k
sera denido positivo, es decir, sus eigenvalores deben ser mayores o iguales
a cero. Por la ecuacion 3.18, tendremos que [H
k
, A

k
] =
k
A

k
, de modo que
A

disminuye los eigenvalores de H

k
en una cantidad igual a
k
. Entonces
debe existir un vector [
0
k
), tal que A

k
[
0
k
) = 0, es decir, un vector base
para este operador con el eigenvalor mnimo posible.
Por otro lado, si
k
= 1, el operador H
k
sera denido negativo. Por el
conmutador anterior, que sigue siendo valido en este caso, deberemos tener
un eigenestado cumbre de H
k
, con el eigenvalor mas alto posible. Tal eigenes-
tado, [
0
k
), debe ser aniquilado por el operador A
+
k
, A
+
k
[
0
k
) = 0. Por tanto,
independientemente del valor de
k
, existira un eigenvector de H
k
, [
0
k
), al
que llamaremos estado extremal, tal que
B
k
[
0
k
) = 0, k = 1, 2, 3. (4.7)
28
De hecho, la existencia de una funcion [
0
) que es solucion simult anea de
las tres ecuaciones anteriores esta garantizada por un lema casi inmediato
en el formalismo del espacio de Hilbert, cuya demostracion se desarrolla de
manera didactica en el apendice C. Por ahora, solo mencionaremos que si los
operadores B
1
, B
2
y B
3
obedecen las relaciones de conmutacion dadas por
4.3 y 4.4, el sistema de tres ecuaciones diferenciales parciales
B
j
[
0
) = 0, j = 1, 2, 3, (4.8)
tiene la solucion cuadrado integrable dada por
x[
0
) =
0
(x) = ce

1
2
a
ij
x
i
x
j
= ce

1
2
(x
T
ax)
. (4.9)
La matriz a = (a
ij
) es simetrica y sus entradas complejas quedan determi-
nadas por el sistema de ecuaciones 4.8, el cual conduce a
a
j
=

j
, j = 1, 2, 3. (4.10)

j
y

j
resultan de expresar los operadores B
j
y B

j
como
B
j
= i

P
j
+

X

j
, B

j
= i
j

P +

X, j = 1, 2, 3. (4.11)
Notemos que, debido a la ecuacion 4.5, la accion de H sobre el estado
extremal [
0
) es de la forma
H[
0
) = g

0
[
0
), (4.12)
es decir, [
0
) es un eigenestado de H con eigenvalor g

0
.
4.1. Derivacion de los estados coherentes [z
k
)
Por ahora, sera suciente trabajar con los operadores B
k
y B

k
para seguir
el desarrollo usual de los estados coherentes como eigenestados del opera-
dor de aniquilacion B
k
del modo k-esimo. Posteriormente generalizaremos la
tecnica para obtener los estados correspondientes en el espacio total.
Denimos primero los operadores n umero en terminos de B
k
y B

k
como
N
k
= B

k
B
k
. Notemos que, por denicion, el estado [
0
) es eigenvector de
N
k
con eigenvalor cero. Entonces, si denotamos como [n
k
) a los eigenvectores
29
normalizados de N
k
tales que N
k
[n
k
) = n
k
[n
k
) podemos escoger, ya que [
0
)
esta tambien normalizado,
[
0
) = [0
k
). (4.13)
Por otro lado
[N
k
, B

k
] = B

k
,
entonces
N
k
B

k
[0
k
) = B

k
[0
k
), (4.14)
esto es, B

k
[0
k
) es eigenvector de N
k
con eigenvalor uno, B

k
[0
k
) [1
k
). La
normalizacion 1
k
[1
k
) = 1 nos lleva a que [1
k
) = B

k
[0
k
). Continuando el
proceso, en general se tiene que [n
k
+ 1) = C(n
k
)B

k
[n
k
), donde C(n
k
) es un
n umero complejo. Normalizando tenemos [C(n
k
)[
2
=
1
n
k
+1
as que, tomando
C(n
k
) como una costante positiva, tendremos
B

k
[n
k
) =

n
k
+ 1[n
k
+ 1). (4.15)
Por tanto, el operador B

k
es operador de creacion para los eigenestados del
operador n umero correspondiente N
k
. Una aplicacion sucesiva del operador
B

k
sobre el estado extremal produce cualquier eigenvector de N
k
, de modo
que
[n
k
) =
(B

k
)
n
k

n
k
!
[0
k
). (4.16)
Ademas, se tiene que [N
k
, B
k
] = B
k
, por lo que N
k
B
k
[n
k
) = (n
k
1)B
k
[n
k
),
es decir, B
k
[n
k
) es eigenvector de N
k
con eigenvalor n
k
1. Normalizando se
obtiene que
B
k
[n
k
) =

n
k
[n
k
1). (4.17)
Entonces, B
k
es operador de aniquilacion para los eigenestados [n
k
) de N
k
.
Notemos sin embargo que, para j ,= k,
B
j
[n
k
) =
(B

k
)
n
k

n
k
!
B
j
[0
k
) =
(B

k
)
n
k

n
k
!
B
j
[
0
) = 0, (4.18)
es decir, [n
k
) sigue siendo eigenvector de B
j
con eigenvalor cero, siempre que
k ,= j. Podemos considerar por tanto que [
0
) = [
0,0,0
) y tendremos, por
ejemplo
[n
1
) = [
n
1
,0,0
) =
(B

1
)
n
1

n
1
!
[
0,0,0
). (4.19)
30
En general obtenemos
[n
1
, n
2
, n
3
) [
n
1
,n
2
,n
3
) =
(B

1
)
n
1

n
1
!
(B

2
)
n
2

n
2
!
(B

3
)
n
3

n
3
!
[
0,0,0
). (4.20)
Conservaremos por simplicidad la notacion [n
k
) mientras no cause conictos.
Ahora, ya que los operadores H
k
son observables y N
k
es proporcional
a H
k
, tenemos que los eigenestados [n
k
) forman una base del espacio de
estados. Entonces, podemos expresar cualquier vector como una combinaci on
lineal de ellos. En particular, los eigenestados del operador B
k
, que denotare-
mos como [z
k
), pueden escribirse como
[z
k
) =

n
k
=0
C
n
k
(z
k
)[n
k
), (4.21)
donde C
n
k
(z
k
) son coecientes complejos que se obtienen exigiendo que se
cumpla
B
k
[z
k
) = z
k
[z
k
) (4.22)
para z
k
complejo. Tenemos as que
B
k
[z
k
) =

n
k
=0
C
n
k
(z
k
)B
k
[n
k
) =

n
k
=0
C
n
k
(z
k
)

n
k
[n
k
1)
= z
k

n
k
=0
C
n
k
(z
k
)[n
k
) = z
k

n
k
=1
C
n
k
1
(z
k
)[n
k
1). (4.23)
Por tanto, se obtiene la relacion de recurrencia
C
n
k
(z
k
) =
z
k

n
k
C
n
k
1
(z
k
) C
n
k
(z
k
) =
(z
k
)
n
k

n
k
!
C
0
k
(z
k
). (4.24)
Entonces podemos escribir
[z
k
) = C
0
k
(z
k
)

n
k
=0
(z
k
)
n
k

n
k
!
[n
k
). (4.25)
La normalizacion z
k
[z
k
) = 1 nos da una expresion para [C
0
k
(z
k
)[
2
y tomando
la fase igual a cero tendremos
C
0
k
(z
k
) = exp
_

[z
k
[
2
2
_
= exp
_

r
2
k
2
_
, (4.26)
31
donde z
k
= r
k
e
i
k
. Finalmente tendremos
[z
k
) =

n
k
=0
(z
k
)
n
k
e

r
2
k
2

n
k
!
[n
k
). (4.27)
Ahora, hemos visto que B

k
y B
k
son respectivamente los operadores de
creacion y aniquilacion para los eigenestados del operador n umero, as que
los eigenestados de B
k
seran por denicion los estados coherentes de nuestro
sistema. De este modo, hemos encontrado que los EC tienen la forma general
dada en la ecuacion anterior.
4.1.1. Completez del conjunto [z
k
)
Notemos que, en la derivacion de los vectores [z
k
) no obtuvimos ninguna
restriccion sobre el valor de z
k
; tendremos por tanto un conjuto continuo e
innito de eigenestados del operador B
k
.
Ahora mostraremos que los vectores [z
k
) forman un conjunto completo
en el espacio de estados. Para esto, calculamos la integral sobre el plano
complejo
_
[z
k
)z
k
[d
2
z
k
=

m
k
,n
k
=0
[m
k
)n
k
[

m
k
!n
k
!
_
(z
k
)
m
k
(z

k
)
n
k
e
r
2
k
d
2
z
k
. (4.28)
Haciendo la integral en coordenadas polares y usando que
2
_

0
exp(r
2
)r
2n+1
dr = n! (4.29)
junto con la completez del conjunto [n
k
), resulta que
1

_
[z
k
)z
k
[d
2
z
k
= 1. (4.30)
Por tanto, los vectores [z
k
) forman un conjunto completo. En particular
podemos escribir
[z

k
) =
1

_
[z
k
)z
k
[z

k
)d
2
z
k
. (4.31)
El valor del kernel reproductivo z
k
[z

k
) se calcula usando la ecuacion 4.27, lo
que nos lleva a
z
k
[z

k
) = exp
_

r
2
k
2
+ z

k
z

k
2
2
_
. (4.32)
32
De aqu vemos que los estados coherentes no son ortogonales entre s. Note-
mos ademas que, cuando mucho, puede haber un [n
k
) que sea tambien un
estado coherente ya que cualesquiera dos [n
k
)s seran ortogonales entre s, a
diferencia de los estados coherentes. Analizando la forma de la ecuacion 4.27,
es claro que el unico vector [n
k
) que es tambien un estado coherente es el
estado [0
k
) que se obtiene cuando z
k
= 0, es decir,
[z
k
= 0) = [0
k
) = [
0
). (4.33)
4.1.2. EC a partir del operador de desplazamiento D
k
(z)
Recordando ahora las deniciones que se tienen para los estados co-
herentes, consideremos el operador de desplazamiento D
k
, denido por la
ecuacion 1.2 en terminos de los operadores de creacion y aniquilacion del
conjunto [n
k
). A continuaci on investigaremos si los vectores dados en 4.27
coinciden con aquellos derivados de aplicar el operador D
k
= e
(z
k
B

k
z

k
B
k
)
al
estado extremal [
0
).
Sean R = z
k
B

k
y S = z

k
B
k
, lo cual implica que [R, S] = [z
k
[
2
= r
2
k
,
[R, [R, S]] = [S, [R, S]] = 0, as como los subsecuentes conmutadores. Usando
la formula de Baker-Campbell-Hausdor
exp(R) exp(S) = exp
_
R+S+
1
2
[R, S]+
1
12
_
[R, [R, S]]+[S, [S, R]]
_
+. . .
_
, (4.34)
se obtiene
exp(z
k
B

k
) exp(z

k
B
k
) = exp
_
z
k
B

k
z

k
B
k
+
1
2
r
2
k
_
= exp(z
k
B

k
z

k
B
k
) exp
_
1
2
r
2
k
_
. (4.35)
Por lo tanto
D
k
(z
k
) = exp
_

1
2
r
2
k
_
exp(z
k
B

k
) exp(z

k
B
k
). (4.36)
Ahora,
exp(z

k
B
k
)[
0
) = exp(z

k
B
k
)[0
k
) = [0
k
),
mientras que
exp(z
k
B

k
)[0
k
) =

n
k
=0
(z
k
)
n
k
(B

k
)
n
k
n
k
!
[0
k
) =

n
k
=0
(z
k
)
n
k

n
k
!
[n
k
).
33
Lo anterior implica
D
k
(z
k
)[
0
) = exp
_

1
2
r
2
k
_

n
k
=0
(z
k
)
n
k

n
k
!
[n
k
) = [z
k
), (4.37)
que es lo que queramos demostrar.
Entonces, podemos obtener los estados coherentes ya sea como combi-
nacion lineal de los eigenestados del operador H
k
(ver ecuacion 4.27), o di-
rectamente a partir del estado extremal [
0
) del Hamiltoniano total, como
se muestra en la ecuacion anterior.
Consideremos ahora el operador de desplazamiento en el espacio comple-
to, dado por
D(z) = D(z
1
, z
2
, z
3
) = D
1
(z
1
)D
2
(z
2
)D
3
(z
3
). (4.38)
As tendremos
[z) = D(z)[
0
) = D(z
1
)D(z
2
)D(z
3
)

0
) (4.39)
= D(z
1
)D(z
2
)D(z
3
)[z
1
= 0, z
2
= 0, z
3
= 0) = [z
1
, z
2
, z
3
)
= exp
_

r
2
1
+ r
2
2
+ r
2
3
2
_

n
1
,n
2
,n
3
=0
(z
1
)
n
1
(z
2
)
n
2
(z
3
)
n
3

n
1
! n
2
! n
3
!
[n
1
, n
2
, n
3
).
Puesto que [z
j
B

j
z

j
B
j
, z
k
B

k
z

k
B
k
] = 0 para todo j, k, resulta que
D(z) = e
z
1
B

1
z

1
B
1
e
z
2
B

2
z

2
B
2
e
z
3
B

3
z

3
B
3
= e
z
1
B

1
+z
2
B

2
+z
3
B

3
(z

1
B
1
+z

2
B
2
+z

3
B
3
)
. (4.40)
Usando ahora la expresion 4.11 tendremos
D(z) = e
i(

X)
, (4.41)
donde hemos tomado

= 2Re[z

1

1
+ z

2

2
+z

3

3
], (4.42)

= 2Im[z

1
+z

2
+ z

3
].
Usando ahora la formula BCH dada en 4.34, para cuando tanto A como B
conmutan con [A, B],
e
A+B
= e

1
2
[A,B]
e
A
e
B
(4.43)
se llega a
D(z) = e

i
2

e
i

X
e
i

P
= e
i
2

e
i

P
e
i

X
. (4.44)
34
4.2. Cantidades fsicas de los EC
Usando la expresion previa del operador de desplazamiento y la relacion
4.39 podemos encontrar la forma explcita para la funcion de onda de los
estados coherentes [z),

z
(x) = x[z) = x[D(z)[
0
)
= e

i
2

e
i

x
x[e
i

[
0
)
donde ahora x representa el valor de la posicion. Entonces, usando que
[X, f(P)] = if

(P), podemos ver ([19]) que el operador e

ib
i
P
i
, con b
i
R, es
un operador de desplazamiento en los vectores [x
i
) pues tendremos que
X
i
e
ib
i
P
i
[x
i
) = (x
i
+ b
i
)e
ib
i
P
i
[x
i
), i = 1, 2, 3, (4.45)
es decir,
e
ib
i
P
i
[x
i
) = [x
i
+ b
i
) x
i
[e
ib
i
P
i
= x
i
+ b
i
[. (4.46)
En nuestro caso tridimensional
x[e
i

= x

[,
de modo que

z
(x) = e

i
2

e
i

x
x

[
0
)
= e

i
2

e
i

0
(x

). (4.47)
Si usamos ahora la forma de
0
(x) dada en la ecuacion 4.9, llegamos a

z
(x) = e

i
2

e
i

x
ce

1
2
(x

)
T
a(x

)
= e

1
2
(

T
a+i

e
(

T
a+i

)x

0
(x). (4.48)
Tambien podemos calcular facilmente los valores esperados X
j
)
z
z[X
j
[z)
y P
j
)
z
z[P
j
[z) (j = 1, 2, 3), para alg un estado dado [z) = [z
1
, z
2
, z
3
)
as como sus desviaciones cuadraticas medias, en terminos de las canti-
dades correspondientes para el estado extremal [
0
), que denotaremos como

0
[A[
0
) A)
0
para cualquier operador A.
35
Por componentes, tenemos que la ecuacion 4.39 nos lleva a
X
j
)
z
z[X
j
[z)
=
0
[D

(z)X
j
D(z)[
0
). (4.49)
De la ecuacion 4.44 es claro que
D

(z) = e
i
2

e
i

e
i

X
= e

i
2

e
i

X
e
i

. (4.50)
Por lo tanto
X
j
)
z
=
0
[e
i
2

e
i

e
i

X
X
j
e

i
2

e
i

X
e
i

[
0
)
=
0
[e
i

X
j
e
i

[
0
), (4.51)
donde hemos usado que todas las entradas del vector

X conmutan con X
j
.
Por tanto debemos calcular
e
i

X
j
e
i

= e
i
i
P
i
X
j
e
i
i
P
i
,
con suma sobre los ndices repetidos y donde
i
es la i-esima componente del
vector

denido en la ecuacion 4.42.
Ahora, para dos operadores A y B tales que ambos conmutan con su
conmutador [A, B], es valida la siguiente expresion
e
At
Be
At
= B + t[A, B]. (4.52)
Tomando A = P
i
, B = X
j
, resulta que
e
i
i
P
i
X
j
e
i
i
P
i
= X
j
+
j
.
As tendremos
X
j
)
z
= X
j
)
0
+
j
. (4.53)
Ahora
X
2
j
)
z
=
0
[e
i

P
X
2
j
e
i

P
[
0
),
lo que se puede simplicar introduciendo un operador identidad de la forma
1 = e
i

P
e
i

P
(4.54)
36
entre los dos operadores X
j
de X
2
j
= X
j
X
j
, de modo que la ecuacion 4.53
nos lleva a
X
2
j
)
z
=
0
[e
i

P
X
j
e
i

P
e
i

P
X
j
e
i

P
=
0
[(X
j
+
j
)(X
j
+
j
)[
0
)
=
0
[
_
X
2
j
+ 2
j
X
j
+
j
2
)[
0
)
= X
2
j
)
0
+ 2
j
X
j
)
0
+
j
2
. (4.55)
Por lo tanto, llegamos a
(X
j
)
2
z
= X
2
j
)
z
X
j
)
2
z
= X
2
j
)
0
X
j
)
2
0
= (X
j
)
2
0
. (4.56)
Trabajemos de modo identico para P
j
, donde ahora tenemos
P
j
)
z
=
0
[e

i
2

e
i

X
e
i

P
P
j
e
i
2

e
i

P
e
i

X
[
0
).
Usando la ecuacion 4.52, tenemos que
e
i

X
P
j
e
i

X
= P
j
+
j
.
Por lo tanto
P
j
)
z
= P
j
)
0
+
j
. (4.57)
Por otro lado
P
2
j
)
z
=
0
[e
i

X
P
2
j
e
i

X
[
0
)
=
0
[(P
j
+
j
)(P
j
+
j
)[
0
)
=
0
[(P
2
j
+ 2
j
P
j
+
j
2
)[
0
)
= P
2
j
)
0
+ 2
j
P
j
)
0
+
j
2
. (4.58)
Entonces tendremos tambien que
(P
j
)
2
z
= P
2
j
)
z
P
j
)
2
z
= P
2
j
)
0
P
j
)
2
0
= (P
j
)
2
0
. (4.59)
Para nalizar esta seccion, es necesario obtener los valores de X
j
)
0
, P
j
)
0
,
X
2
j
)
0
y P
2
j
)
0
con j = 1, 2, 3. Los primeros seis valores esperados se pueden
calcular facilmente si recordamos la forma de los operadores B
k
, B

k
en las
37
ecuaciones 4.11 y tomamos el valor esperado de cada uno de ellos en el estado
[
0
),

0
[B
k
[
0
) = i(
k
)
j
P
j
)
0
+ (

k
)
j
X
j
)
0
= 0, k = 1, 2, 3, (4.60)

0
[B

k
[
0
) = i(
k
)

j
P
j
)
0
+ (

k
)

j
X
j
)
0
= 0, k = 1, 2, 3, (4.61)
donde ( u
k
)
j
indica la j-esima componente del vector u
k
y tenemos suma sobre
el ndice j. Notese que hemos usado
0
[B

k
= 0 para obtener el cero de la
segunda igualdad. Tenemos entonces 6 ecuaciones homogeneas de las cuales
se pueden obtener las 6 incognitas X)
0
, Y )
0
, Z)
0
, P
x
)
0
, P
y
)
0
y P
z
)
0
.
Ahora, para calcular los valores esperados de los operadores cuadraticos
X
2
i
y P
2
i
, tendremos que emplear los resultados correspondientes para los
productos a pares de B
j
y B

k
. Notemos que los productos se deben tomar en
el orden correcto para poder emplear que B
j
aniquila al ket [
0
) y que B

k
aniquila al bra
0
[. Tendremos entonces 21 productos distintos, al combinar
por pares los 6 operadores B
i
y B

j
, para i, j = 1, 2, 3. Los valores espera-
dos de estos productos nos daran 21 ecuaciones, con el mismo n umero de
incognitas, las cuales no necesariamente seran ecuaciones homogeneas. Con
este sistema de ecuaciones no solo se obtendran los valores esperados X
2
j
)
0
y
P
2
j
)
0
(j = 1, 2, 3), que inicialmente buscamos, sino que obtendremos los va-
lores esperados de cualquier producto cuadratico de los operadores canonicos
X
i
P
j
. Este procedimiento quedara mas claro en los ejemplos que se muestran
al nal del trabajo.
A continuaci on vamos a calcular el valor esperado H)
z
del Hamiltoniano
total H en un estado coherente arbitrario [z). Las ecuaciones 4.22 y 4.5
conducen a
H)
z
= z[H[z) =
3

k=1

k
[z
k
[
2
+ g

0
. (4.62)
Para obtener tambien el valor esperado de H
2
, tomamos primero
H
2
=
3

j,k=1

k
B

j
B

k
B
j
B
k
+
3

k=1

2
k
B

k
B
k
+ 2g

0
3

k=1

k
B

k
B
k
+g

0
2
y por tanto tendremos
H
2
)
z
=
3

j,k=1

k
[z
j
[
2
[z
k
[
2
+
3

k=1

2
k
[z
k
[
2
+ 2g

0
3

k=1

k
[z
k
[
2
+ g

0
2
,
38
as que
(H)
2
z
=
3

k=1

2
k
[z
k
[
2
. (4.63)
Sera interesante ilustrar a continuacion estos resultados generales median-
te algunos ejemplos.
39
Captulo 5
Algunas aplicaciones del
metodo
5.1. Sistema bidimensional atractivo
Podemos ahora continuar el analisis del sistema de la seccion 2.2 para el
caso atractivo, en el que se encuentran eigenvalores puramente imaginarios
(i[1[). Recordemos que hemos obtenido tres diferentes comportamientos
dependiendo del valor de :
< 1,
1
= 1,
2
= 1,
1 < < 1,
1
= 1,
2
= 1,
1 < ,
1
= 1,
2
= 1.
(5.1)
De este modo, seg un las deniciones 4.2, tendremos:
< 1, B
1
= A
+
1
, B

1
= A

1
, B
2
= A

2
, B

2
= A
+
2
,
1 < < 1, B
1
= A

1
, B

1
= A
+
1
, B
2
= A

2
, B

2
= A
+
2
,
1 < , B
1
= A

1
, B

1
= A
+
1
, B
2
= A
+
2
, B

2
= A

2
.
(5.2)
Para obtener la forma de la funcion de onda
0
(x) en cada caso, debemos
obtener la matriz a partiendo de los vectores
j
y

j
mediante la ecuacion
4.10 para j = 1, 2, 3.
Considerando primero la region < 1, tendremos que
B
1
=
r
1
2[r
1
[
(X iY + iP
x
+ P
y
), (5.3)
B
2
=
r

2
2[r
2
[
(X iY iP
x
+P
y
), (5.4)
40
de donde

1
=
r
1
2[r
1
[
_
1
i
_
,

1
=
r
1
2[r
1
[
_
1
i
_
,

2
=
r

2
2[r
2
[
_
1
i
_
,

2
=
r

2
2[r
2
[
_
1
i
_
,
por lo que obtendremos
a =
_
1 0
0 1
_
. (5.5)
Entonces, usando la formula 4.9, se llega a

0
(x) = ce

1
2
(x
2
+y
2
)
. (5.6)
En general, un eigenestado arbitrario de H se expresa

n
1
,n
2
(x) = c
B

1
n
1

n
1
!
B

2
n
2

n
2
!
e

1
2
(x
2
+y
2
)
. (5.7)
Por otro lado, podemos obtener el operador de desplazamiento D(z) dado
por la ecuacion 4.44, donde ahora

= Re
_
z

1
r
1
[r
1
[
_
1
i
_
+
z

2
r

2
[r
2
[
_
1
i
_
_
,

= Im
_
z

1
r
1
[r
1
[
_
1
i
_
+
z

2
r

2
[r
2
[
_
1
i
_
_
.
Si tomamos, por simplicidad, las fases de r
1
y r
2
iguales a cero, tendremos

=
_
Re[z
1
z
2
]
Im[z
1
+ z
2
]
_
,

=
_
Im[z
1
z
2
]
Re[z
1
+z
2
]
_
, (5.8)
y podremos reducir el operador de desplazamiento a la forma
D(z
1
, z
2
) = e

i
2
{Re[z
1
z
2
]Im[z
1
z
2
]Re[z
1
+z
2
]Im[z
1
+z
2
]}
e
i
_
Im[z
1
z
2
]X+Re[z
1
+z
2
]Y
_
e
i
_
Re[z
1
z
2
]P
x
Im[z
1
+z
2
]P
y
_
.
41
Por tanto tendremos

z
(x) = e

i
2
(Re[z
1
z
2
]Im[z
1
z
2
]Re[z
1
+z
2
]Im[z
1
+z
2
])
e
i
_
Im[z
1
z
2
]x+Re[z
1
+z
2
]y
_
(5.9)

0
_
x Re[z
1
z
2
] , y + Im[z
1
+ z
2
]
_
.
Ahora, los valores esperados de los operadores X, Y , P
x
y P
y
en un estado
coherente [z) = [z
1
, z
2
) se obtendran de las ecuaciones 4.53 y 4.57, las cuales
se expresan en terminos de X)
0
, Y )
0
, P
x
)
0
y P
y
)
0
. Como mencionamos
al nal de la seccion 4.2, es posible determinar estos valores del conjunto de
ecuaciones que se forma al evaluar B
j
)
0
y B

j
)
0
para j = 1, 2. En nuestro
caso tenemos
B
1
)
0
=
1
2
_
X)
0
iY )
0
+ iP
x
)
0
+P
y
)
0
_
= 0,
B
2
)
0
=
1
2
_
X)
0
iY )
0
iP
x
)
0
+P
y
)
0
_
= 0,
B

1
)
0
=
1
2
_
X)
0
+iY )
0
iP
x
)
0
+P
y
)
0
_
= 0,
B

2
)
0
=
1
2
_
X)
0
+ iY )
0
+iP
x
)
0
+P
y
)
0
_
= 0,
de donde obtenemos directamente que
X)
0
= Y )
0
= P
x
)
0
= P
y
)
0
= 0. (5.10)
Por tanto, sustituyendo lo anterior en las ecuaciones 4.53 y 4.57 obtenemos
X)
z
1
,z
2
= Re[z
1
z
2
], Y )
z
1
,z
2
= Im[z
1
+ z
2
], (5.11)
P
x
)
z
1
,z
2
= Im[z
1
z
2
], P
y
)
z
1
,z
2
= Re[z
1
+ z
2
]. (5.12)
Podemos ademas evaluar X
2
)
0
, Y
2
)
0
, P
2
x
)
0
y P
2
y
)
0
del calculo de los
valores esperados de los productos cuadraticos entre los operadores B
j
, B

k
.
En este caso, por ser un sistema bidimensional tenemos 4 operadores con los
que podemos obtener 10 productos independientes y, por tanto, 10 ecuaciones
para el mismo n umero de incognitas (X
2
)
0
, Y
2
)
0
, P
2
x
)
0
, P
2
y
)
0
, XY )
0
,
P
x
P
y
)
0
, XP
x
)
0
, Y P
y
)
0
, XP
y
)
0
, Y P
x
)
0
).
42
As, calculemos primero
B
2
1
=
1
4
(X
2
Y
2
P
2
x
+P
2
y
2iXY + 2iP
x
P
y
+ 2iXP
x
2iY P
y
+ 2XP
y
+ 2Y P
x
),
B

1
B
1
=
1
4
(X
2
+Y
2
+P
2
x
+P
2
y
+ 2XP
y
2Y P
x
2),
B
1
B
2
=
1
4
(X
2
Y
2
+P
2
x
+P
2
y
2iXP
x
2iY P
y
2),
B

2
B
1
=
1
4
(X
2
+Y
2
P
2
x
+P
2
y
+ 2iXY + 2iP
x
P
y
),
B

1
2
=
1
4
(X
2
Y
2
P
2
x
+P
2
y
+ 2iXY 2iP
x
P
y
2iXP
x
+ 2iY P
y
+ 2XP
y
+ 2Y P
x
),
B

1
B
2
=
1
4
(X
2
+Y
2
P
2
x
+P
2
y
2iXY 2iP
x
P
y
),
B

1
B

2
=
1
4
(X
2
Y
2
+P
2
x
+P
2
y
+ 2iXP
x
+ 2iY P
y
+ 2),
B
2
2
=
1
4
(X
2
Y
2
P
2
x
+P
2
y
+ 2iXY 2iP
x
P
y
+ 2iXP
x
2iY P
y
2XP
y
2Y P
x
),
B

2
B
2
=
1
4
(X
2
+Y
2
+P
2
x
+P
2
y
2XP
y
+ 2Y P
x
2),
B

2
2
=
1
4
(X
2
Y
2
P
2
x
+P
2
y
2iXY + 2iP
x
P
y
2iXP
x
+ 2iY P
y
2XP
y
2Y P
x
),
donde hemos tomado nuevamente las fases de r
1
y r
2
iguales a cero. Ahora
tomaremos el valor esperado en el estado extremal [
0
) de cada uno de los
productos anteriores. Notemos que el orden de los operadores se dispuso de
modo que podamos usar B
j
[
0
) = 0 o
0
[B

j
= 0. Resolviendo entonces el
sistema de ecuaciones resultante obtenemos
X
2
)
0
=
1
2
, XY )
0
= 0, XP
y
)
0
= 0,
Y
2
)
0
=
1
2
, P
x
P
y
)
0
= 0, Y P
x
)
0
= 0,
P
2
x
)
0
=
1
2
, XP
x
)
0
=
i
2
,
P
2
y
)
0
=
1
2
, Y P
y
)
0
=
i
2
.
43
Por tanto, tendremos que
X
2
)
z
1
,z
2
=
1
2
+ Re
2
[z
1
z
2
],
Y
2
)
z
1
,z
2
=
1
2
+ Im
2
[z
1
+ z
2
],
P
2
x
)
z
1
,z
2
=
1
2
+ Im
2
[z
1
z
2
],
P
2
y
)
z
1
,z
2
=
1
2
+ Re
2
[z
1
+ z
2
].
de donde podemos comprobar que
(X)
2
z
= X
2
)
z
X)
2
z
=
1
2
, (Y )
2
z
=
1
2
,
(P
x
)
2
z
= P
2
x
)
z
P
x
)
2
z
=
1
2
, (P
y
)
2
z
=
1
2
.
Finalmente, vemos que el producto (X
j
)
z
(P
j
)
z
minimiza la relacion
de incertidumbre de Heisenberg, tal y como uno esperara para sistemas
equivalentes a osciladores armonicos desacoplados en varias dimensiones.
Para los otros dos casos seguiremos un procedimiento similar. As, para
1 < < 1, se obtiene

1
=
r

1
2[r
1
[
_
1
i
_
,

1
=
r

1
2[r
1
[
_
1
i
_
,

2
=
r

2
2[r
2
[
_
1
i
_
,

2
=
r

2
2[r
2
[
_
1
i
_
,
mientras que, para la region 1 < ,

1
=
r

1
2[r
1
[
_
1
i
_
,

1
=
r

1
2[r
1
[
_
1
i
_
,

2
=
r
2
2[r
2
[
_
1
i
_
,

2
=
r
2
2[r
2
[
_
1
i
_
.
Notemos que, con la suposicion de que r
1
y r
2
son reales y positivos,
los vectores
i
y

i
coinciden en los tres casos, por lo que obtendremos los
mismos resultados, tanto en la forma de la funcion de onda
0
(x) como en
los valores esperados.
44
5.2. Oscilador tridimensional anisotropico
A continuaci on trataremos un ejemplo tridimensional muy simple para
mostrar como se desarrolla el metodo presentado en el captulo anterior. Sea
H =

P
2
2
+

2
(x
2
+ y
2
)
2
+

2
z
z
2
2
. (5.13)
En este caso la matriz estara dada por
=
_
_
_
_
_
_
_
_
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1

2
0 0 0 0 0
0
2
0 0 0 0
0 0
2
z
0 0 0
_
_
_
_
_
_
_
_
, (5.14)
para la cual los eigenvalores son siempre imaginarios de la forma

1
= i,

1
= i,

2
= i,

2
= i,

3
= i
z
,

3
= i
z
.
Tendremos entonces los eigenvectores normalizados
[u
1
) =
1
2r
1

_
_
_
_
_
_
_
_
i
0
0

0
0
_
_
_
_
_
_
_
_
, [u
2
) =
1
2r
2

_
_
_
_
_
_
_
_
0
i
0
0

0
_
_
_
_
_
_
_
_
, [u
3
) =
1
2r
3

z
_
_
_
_
_
_
_
_
0
0
i
0
0

z
_
_
_
_
_
_
_
_
,(5.15)
y sus complejos conjugados, mientras que las eigenformas seran
e
1
[ = r
1
(i, 0, 0, 1, 0, 0),
e
2
[ = r
2
(0, i, 0, 0, 1, 0), (5.16)
e
3
[ = r
3
(0, 0, i
z
, 0, 0, 1),
y sus correspondientes conjugadas. Denimos entonces los operadores L
+
i
y
L

i
como
L
+
1
= r
1
(iX + P
x
), L
+
2
= r
2
(iY + P
y
), L
+
3
= r
3
(i
z
Z + P
z
),
L

1
= r

1
(iX +P
x
), L

2
= r

2
(iY + P
y
), L

3
= r

3
(i
z
Z + P
z
),
(5.17)
45
los cuales satisfacen
[L

1
, L
+
1
] = 2[r
1
[
2
, [L

2
, L
+
2
] = 2[r
2
[
2
, [L

3
, L
+
3
] = 2
z
[r
3
[
2
.
Ya que estos conmutadores son mayores o iguales que cero, la ecuacion 4.2
nos lleva a identicar
B
i
=
L

i
[r
i
[

2
, i = 1, 2,
B
3
=
L

3
[r
3
[

2
z
.
As, siguiendo la ecuacion 4.5 podemos escribir
H =
3

k=1

k
B

k
B
k
+g

0
=
_
B

1
B
1
+ B

2
B
2
_
+
z
B

3
B
3

2 +
z
2
.
Por otro lado, tendremos los vectores

1
=
i

2
_
_
1
0
0
_
_
,
2
=
i

2
_
_
0
1
0
_
_
,
3
=
i

2
z
_
_
0
0
1
_
_
,
donde hemos tomado por simplicidad r
1
, r
2
y r
3
reales. Mientras tanto

1
= i
_

2
_
_
1
0
0
_
_
,

2
= i
_

2
_
_
0
1
0
_
_
,

3
= i
_

z
2
_
_
0
0
1
_
_
.
Entonces, la matriz a denida en la ecuacion 4.10 resulta ser
a =
_
_
0 0
0 0
0 0
z
_
_
. (5.18)
Con lo anterior, podemos obtener el estado extremal
0
(x) como

0
(x) = ce

1
2
{(x
2
+y
2
)+
z
z
2
}
. (5.19)
46
Para obtener la forma explcita de los estados coherentes de nuestro sis-
tema, usaremos la denicion 4.39, por lo que debemos calcular primero el
operador D(z). Para esto empleamos la relacion 4.41 en donde, para los
n umeros complejos z
1
, z
2
, z
3
, tendremos

2 Im
_
_
_
z
1

z
2

z
3

z
_
_
_
,

=

2 Re
_
_
z
1

z
2

z
3

z
_
_
. (5.20)
Por tanto

= 2
_
Im[z
1
]Re[z
1
] + Im[z
2
]Re[z
2
] + Im[z
3
]Re[z
3
]
_
,

X =

2 Re
_
z
1

X + z
2

Y + z
3

z
Z
_
,

P =

2 Im
_
z
1
P
x
+ z
2
P
y

+
z
3
P
z

z
_
.
El operador de desplazamiento queda entonces como
D(z) = e
i
_
Im[z
1
]Re[z
1
]+Im[z
2
]Re[z
2
]+Im[z
3
]Re[z
3
]
_
e
i

2 Re
_
z
1

X+z
2

Y +z
3

z
Z
_
e
i

2 Im
_
z
1
P
x
+z
2
P
y

+
z
3
P
z

z
_
.
As, obtenemos los estados coherentes del sistema en la forma

z
(x) = e
i
_
Im[z
1
]Re[z
1
]+Im[z
2
]Re[z
2
]+Im[z
3
]Re[z
3
]
_
e
i

2 Re
_
z
1

x+z
2

y+z
3

z
z
_
x[e
i

2 Im
_
z
1
P
x
+z
2
P
y

+
z
3
P
z

z
_
[
0
)
= e
i
_
Im[z
1
]Re[z
1
]+Im[z
2
]Re[z
2
]+Im[z
3
]Re[z
3
]
_
e
i

2Re
_
z
1

x+z
2

y+z
3

z
z
_

0
_
x +
_
2

Im[z
1
], y +
_
2

Im[z
2
], z +
_
2

z
Im[z
3
]
_
.
Hubieramos llegado al mismo resultado sustituyendo directamente en la ecua-
cion 4.48.
Por otro lado, igualando a cero el valor esperado de los operadores B
i
y
B

i
en el estado extremal, obtenemos el conjunto de ecuaciones
iX)
0
+P
x
)
0
= 0, iX)
0
+P
x
)
0
= 0,
iY )
0
+P
y
)
0
= 0, iY )
0
+P
y
)
0
= 0,
i
z
Z)
0
+P
z
)
0
= 0, i
z
Z)
0
+P
z
)
0
= 0,
47
cuya solucion esta dada por los siguientes valores esperados
X)
0
= 0, Y )
0
= 0, Z)
0
= 0,
P
x
)
0
= 0, P
y
)
0
= 0, P
z
)
0
= 0.
Un sistema de ecuaciones similar, pero para los productos cuadraticos entre
operadores B
i
y B

j
, nos lleva directamente a
X
2
)
0
=
1
2
, P
2
x
)
0
=

2
, XP
x
)
0
=
i
2
,
Y
2
)
0
=
1
2
, P
2
y
)
0
=

2
, Y P
y
)
0
=
i
2
,
Z
2
)
0
=
1
2
z
, P
2
z
)
0
=

z
2
, ZP
z
)
0
=
i
2
,
(5.21)
mientras que
XY )
0
= XZ)
0
= Y Z)
0
= P
x
P
y
)
0
= P
x
P
z
)
0
= P
y
P
z
)
0
= 0,
XP
y
)
0
= XP
z
)
0
= Y P
x
)
0
= Y P
z
)
0
= ZP
x
)
0
= ZP
y
)
0
= 0.
Siguiendo las ecuaciones 4.53, 4.57, tendremos
X)
z
=
_
2

Im[z
1
], Y )
z
=
_
2

Im[z
2
], Z)
z
=
_
2

z
Im[z
3
],
P
x
)
z
=

2 Re[z
1
], P
y
)
z
=

2 Re[z
2
], P
z
)
z
=

2
z
Re[z
3
],
en tanto que 4.55 y 4.58 nos llevan a
X
2
)
z
=
1
2
_
1 + 4Im
2
[z
1
]
_
, P
2
x
)
z
=

2
_
1 + 4Re
2
[z
1
]
_
,
Y
2
)
z
=
1
2
_
1 + 4Im
2
[z
2
]
_
, P
2
y
)
z
=

2
_
1 + 4Re
2
[z
2
]
_
,
Z
2
)
z
=
1
2
z
_
1 + 4Im
2
[z
3
]), P
2
z
)
z
=

z
2
_
1 + 4Re
2
[z
3
]
_
.
Podemos obtener tambien
(X)
2
z
=
1
2
, (Y )
2
z
=
1
2
, (Z)
2
z
=
1
2
z
,
(P
x
)
2
z
=

2
, (P
y
)
2
z
=

2
, (P
z
)
2
z
=

z
2
,
es decir, se minimizan las relaciones de incertidumbre de Heisenberg
(X)
z
(P
x
)
z
=
1
2
, (Y )
z
(P
y
)
z
=
1
2
, (Z)
z
(P
z
)
z
=
1
2
, (5.22)
que es lo que se espera para los estados coherentes estandar.
48
5.3. Trampa de Penning
En esta seccion estudiaremos a una partcula sin espn de carga e dentro
de una trampa de Penning, es decir, sujeta a un campo magnetico uniforme
constante y a un potencial cuadrupolar electrico. Por simplicidad, supon-
dremos que la masa de la partcula es igual a 1. Entonces, su Hamiltoniano
estara dado por
H =
1
2
_

P
e
c

A(

X)
_
2
+ e(

X), (5.23)
donde el campo magnetico esta representado por el potencial vectorial

A(

X) =
1
2

X

B, (5.24)
con

B = B

k y tomaremos el potencial escalar como

(

X) =
0
(X
2
+ Y
2
2z
2
). (5.25)
Podemos ahora llevar nuestro Hamiltoniano a la forma
H =

P
2
2

_
eB
2c
_
L
z
+
1
2
__
eB
2c
_
2
(X
2
+ Y
2
) + 2e
0
(X
2
+ Y
2
2Z
2
)
_
=

P
2
2
+ b
0
L
z
+
1
2
_
b
2
0
(X
2
+ Y
2
) + v
0
(X
2
+ Y
2
) 2v
0
Z
2
_
, (5.26)
donde b
0
=
eB
2c
y v
0
= 2e
0
. Es claro que podemos llegar de la ecuacion
3.1, con el potencial de la forma dada en 3.2, al Hamiltoniano anterior si
tomamos
v
1
= 2v
0
= 4e
0
. (5.27)
Por lo tanto, la matriz en este caso se reduce a
=
_
_
_
_
_
_
_
_
0 b
0
0 1 0 0
b
0
0 0 0 1 0
0 0 0 0 0 1
(b
2
0
+ v
0
) 0 0 0 b
0
0
0 (b
2
0
+ v
0
) 0 b
0
0 0
0 0 2v
0
0 0 0
_
_
_
_
_
_
_
_
, (5.28)
49
cuyos eigenvalores estan dados por
1
,
2
y
3
, con

1
=

2v
0
, (5.29)

2
=
_

_
b
0
+
_
b
2
0
+ v
0
_
2
, (5.30)

3
=
_

_
b
0

_
b
2
0
+v
0
_
2
. (5.31)
Para analizar este ejemplo, nos restringiremos nuevamente a eigenvalores de
puramente imaginarios, es decir, necesitamos que
v
0
< 0. (5.32)
Ademas, pediremos que tanto b
0
+
_
b
2
0
+ v
0
como b
0

_
b
2
0
+ v
0
sean reales.
Para esto exigimos que b
2
0
+v
0
> 0, es decir, nos restringiremos a los valores
de b
0
y v
0
que cumplan con
[b
0
[ >
_
[v
0
[. (5.33)
Ahora solo nos resta analizar los valores absolutos

b
0

_
b
2
0
+ v
0

. Deniendo

+
= b
0
+
_
b
2
0
+ v
0
,

= b
0

_
b
2
0
+ v
0
,
vemos que si b
0
es positivo, con 5.32 y 5.33 tendremos

> 0. Sin embargo,

para b
0
negativo,

seran negativos y por tanto llegaremos a dos casos:

b
0
> 0,
1
= i

2v
0
,
2
= i
+
,
3
= i

,
b
0
< 0,

1
= i

2v
0
,

2
= i
+
,

3
= i

.
(5.34)
Por tanto, solo necesitamos las restricciones 5.32 y 5.33 para poder aplicar
la teora de la seccion 3.2.
Analizando primero el caso b
0
> 0, obtendremos los siguientes eigenvec-
tores normalizados
[u
1
) =
1
2t
1
_
0, 0,
i

2v
0
, 0, 0, 1
_
,
[u
2
) =
1
4t
2
_
1
_
b
2
0
+ v
0
,
i
_
b
2
0
+ v
0
, 0, i, 1, 0
_
,
[u
3
) =
1
4t
3
_

1
_
b
2
0
+ v
0
,
i
_
b
2
0
+ v
0
, 0, i, 1, 0
_
,
50
y sus complejos conjugados [u

1
) = ([u
1
))

, [u

2
) = ([u
2
))

y [u

3
) = ([u
3
))

,
con t
1
, t
2
y t
3
constantes complejas. Mientras tanto, las eigenformas estan
dadas por
e
1
[ = t
1
_
0, 0, i

2v
0
, 0, 0, 1
_
,
e
2
[ = t
2
_
_
b
2
0
+ v
0
, i
_
b
2
0
+ v
0
, 0, i, 1, 0
_
,
e
3
[ = t
3
_

_
b
2
0
+ v
0
, i
_
b
2
0
+ v
0
, 0, i, 1, 0
_
,
y las correspondientes conjugadas e

1
[ = (e
1
[)

, e

2
[ = (e
2
[)

y e

3
[ =
(e
3
[)

.
Si denimos ahora los operadores L

k
como L
+
k
= e
k
[q) y L

k
= e

k
[q)
para k = 1, 2, 3, obtendremos las relaciones de conmutaci on siguientes
[L

1
, L
+
1
] = 2[t
1
[
2

2v
0
,
[L

2
, L
+
2
] = 4[t
2
[
2
_
b
2
0
+ v
0
,
[L

3
, L
+
3
] = 4[t
3
[
2
_
b
2
0
+v
0
.
Por tanto, siguiendo la ecuacion 3.20 podremos escribir el Hamiltoniano en
la forma
H =
1
2[t
1
[
2
L
+
1
L

1
+
b
0
+
_
b
2
0
+ v
0
4[t
2
[
2
_
b
2
0
+ v
0
L
+
2
L

2

b
0

_
b
2
0
+ v
0
4[t
3
[
2
_
b
2
0
+ v
0
L
+
3
L

3
+ g
0
,(5.35)
donde g
0
=
_
v
0
2
+ b
0
.
Notemos, por otro lado, que los valores

j
=
[L

j
, L
+
j
]

[L

j
, L
+
j
]

, j = 1, 2, 3,
estan dados por

1
= 1,
2
= 1,
3
= 1, (5.36)
es decir, seg un las deniciones 4.2, ahora debemos tomar
B
1
=
L

1
_

[L

1
, L
+
1
]

, B
2
=
L

2
_

[L

2
, L
+
2
]

, B
3
=
L
+
3
_

[L

3
, L
+
3
]

. (5.37)
51
Siguiendo la denicion 4.11, identicamos los vectores

1
=
it

1
[t
1
[

2(2v
0
)
1/4
_
_
0
0
1
_
_
,

2
=
t

2
2[t
2
[(b
2
0
+ v
0
)
1/4
_
_
1
i
0
_
_
, (5.38)

3
=
t
3
2[t
3
[(b
2
0
+ v
0
)
1/4
_
_
1
i
0
_
_
,
y

1
=
it

1
[t
1
[

2
(2v
0
)
1/4
_
_
0
0
1
_
_
,

2
=
t

2
2[t
2
[
(b
2
0
+ v
0
)
1/4
_
_
1
i
0
_
_
, (5.39)

3
=
t
3
2[t
3
[
(b
2
0
+ v
0
)
1/4
_
_
1
i
0
_
_
.
Por tanto, la matriz a se expresa como
a =
_
_
_
b
2
0
+ v
0
0 0
0
_
b
2
0
+v
0
0
0 0

2v
0
_
_
. (5.40)
Con esto, se puede obtener la forma de la funcion de onda extremal dada en
la ecuacion 4.9, lo que nos lleva a

0
(x) = ce

1
2

b
2
0
+v
0
(x
2
+y
2
)
e

q
v
0
2
z
2
. (5.41)
De aqu se puede calcular cualquier eigenfuncion de H

n
1
,n
2
,n
3
(x) = c
B
n
1
1

n
1
!
B
n
2
2

n
2
!
B
n
3
3

n
3
!
e

1
2

b
2
0
+v
0
(x
2
+y
2
)
e

q
v
0
2
z
2
. (5.42)
52
Pasemos ahora a desarrollar el operador de desplazamiento en este caso.
Seg un la ecuacion 4.44, D(z) se obtiene en terminos de los vectores

y

denidos como

2Re[z

1

1
+ z

2

2
+ z

3

3
] =
_
_

3
_
_
,

2Im[z

1
+ z

2
+ z

3
] =
_
_

3
_
_
.
Por componentes tenemos

1
= (b
2
0
+ v
0
)

1
4
(Re[z
2
z
3
]) ,

2
= (b
2
0
+v
0
)

1
4
(Im[z
2
+ z
3
]) ,

3
=

2(2v
0
)

1
4
Im[z
1
],
(5.43)

1
= (b
2
0
+v
0
)
1/4
(Im[z
2
z
3
]) ,

2
= (b
2
0
+v
0
)
1/4
(Re[z
2
+ z
3
]) ,

3
=

2(2v
0
)
1/4
Re[z
1
],
(5.44)
donde hemos tomado por simplicidad las fases de t
1
, t
2
y t
3
iguales a cero.
Calcularemos los productos en terminos de los cuales se expresa el ope-
rador D(z) en la ecuacion 4.44. Vemos primero que

= 2
_
Re[z
1
]Im[z
1
] + Re[z
2
]Im[z
3
] + Re[z
3
]Im[z
2
]
_
. (5.45)
Ademas podemos escribir

X = (b
2
0
+v
0
)
1/4
_
_
Im[z
2
z
3
]
_
X +
_
Re[z
2
+z
3
]
_
Y
_
+

2(2v
0
)
1/4
Re[z
1
]Z, (5.46)
y

P =
1
(b
2
0
+ v
0
)
1/4
_
_
Re[z
2
z
3
]
_
P
x

_
Im[z
2
+ z
3
]
_
P
y
_

2
(2v
0
)
1/4
Im[z
1
]P
z
. (5.47)
53
Sustituyendo los resultados anteriores en la ecuacion 4.44 obtenemos la forma
explcita del operador de desplazamiento.
D(z) = C(z)F(

X)e

i
(b
2
0
+v
0
)
1/4
_
(Re[z
2
z
3
])P
x
(Im[z
2
+z
3
])P
y
_
+
i

2
(2v
0
)
1/4
Im[z
1
]P
z
,
donde tomamos
C(z) = C(z
1
, z
2
, z
3
) = e

i
2

(5.48)
= e
i
_
Re[z
1
]Im[z
1
]+Re[z
2
]Im[z
3
]+Re[z
3
]Im[z
2
]
_
,
y hemos denido la funcion
F(

X) = e
i

X
(5.49)
= e
i(b
2
0
+v
0
)
1/4
__
Im[z
2
z
3
]
_
X+
_
Re[z
2
+z
3
]
_
Y
_
+i

2 (2v
0
)
1/4
Re[z
1
]Z
.
As, la forma explcita de los estados coherentes sera

z
(x) = C(z)F(x)
0
_
x
Re[z
2
z
3
]
(b
2
0
+v
0
)
1/4
, y +
Im[z
2
+ z
3
]
(b
2
0
+v
0
)
1/4
, z +

2 Im[z
1
]
(2v
0
)
1/4
_
,
donde
0
(x) esta dada por la ecuacion 5.41.
Como en los ejemplos anteriores, podemos calcular los valores esperados
de X
i
y P
i
para los estados coherentes en terminos de las cantidades co-
rrespondientes en el estado extremal [
0
). As, solo debemos sustituir en las
ecuaciones 4.53 y 4.57, los valores que obtengamos para X
i
)
0
y P
i
)
0
a partir
del sistema de ecuaciones formado al tomar
B
i
)
0
= 0, B

i
)
0
= 0, i = 1, 2, 3. (5.50)
En este caso se obtiene
X
i
)
0
= P
i
)
0
= 0, i = 1, 2, 3, (5.51)
y por tanto las ecuaciones 4.53 y 4.57 nos llevan a
X
j
)
z
=
j
, P
j
)
z
=
j
.
Estas expresiones ya estan desarrolladas en las ecuaciones 5.43 y 5.44.
Ahora, tambien buscamos los valores esperados de los productos cuadra-
ticos entre los operadores canonicos, en especial X
2
i
)
z
y P
2
i
)
z
con i = 1, 2, 3
54
para poder calcular las desviaciones cuadraticas medias (X
i
)
2
z
y (P
i
)
2
z
.
Seg un las ecuaciones 4.55 y 4.58, solo necesitamos calcular los valores es-
perados en el estado extremal [
0
), por lo cual nuevamente recurrimos a los
valores esperados de los productos entre los operadores de escalera en dicho
estado. As obtendremos un sistema de 21 ecuaciones y el mismo n umero de
incognitas, como resultado de multiplicar por pares los 6 operadores. Con
este metodo obtendremos
X
2
)
0
= Y
2
)
0
=
1
2
_
b
2
0
+ v
0
, Z
2
)
0
=
1
2

2v
0
,
P
2
x
)
0
= P
2
y
)
0
=
_
b
2
0
+ v
0
2
, P
2
z
)
0
=

2v
0
2
.
mientras que
XP
x
)
0
= Y P
y
)
0
= ZP
z
)
0
=
i
2
.
Los demas valores esperados que se obtienen del sistema de ecuaciones son
identicamente cero.
Por tanto, las ecuaciones 4.56 y 4.59 nos llevan a obtener
(X)
2
z
= (Y )
2
z
=
1
2
_
b
2
0
+ v
0
, (Z)
2
z
=
1
2

2v
0
,
(P
x
)
2
z
= (P
y
)
2
z
=
_
b
2
0
+v
0
2
, (P
z
)
2
z
=

2v
0
2
,
y se puede ver que se cumplen las relaciones de mnima incertidumbre
(X)
z
(P
x
)
z
=
1
2
, (Y )
z
(P
y
)
z
=
1
2
, (Z)
z
(P
z
)
z
=
1
2
,
como se ha obtenido en los ejemplos anteriores.
Analizando ahora el caso b
0
< 0, encontramos grandes similitudes con el
anterior. Notemos primero que

1
=
1
,

2
=
2
,

3
=
3
. (5.52)
Entonces tendremos
[ u
1
) = [u
1
), [ u

1
) = [u

1
), e
1
[ = e
1
[, e

1
[ = e

1
[,
[ u
2
) = [u

2
), [ u

2
) = [u
2
), e
2
[ = e

2
[, e

2
[ = e
2
[,
[ u
3
) = [u

3
), [ u

3
) = [u
3
), e
3
[ = e

3
[, e
3
[ = e

3
[.
55
Por tanto, los operadores

L

quedaran denidos como

L
+
1
= e
1
[q) = L
+
1
,

L
+
2
= e
2
[q) = L

2
,

L
+
3
= e
3
[q) = L

3
,

1
= e

1
[q) = L

1
,

L

2
= e

2
[q) = L
+
2
,

L

3
= e

3
[q) = L
+
3
.
En terminos de estos operadores, con ayuda de la ecuacion 4.5 y partiendo
de 5.35, podemos escribir H como
H =
1
2|t
1
|
2

L
+
1

1
+
b
0
+

b
2
0
+v
0
4|t
2
|
2

b
2
0
+v
0

L
+
2

2

b
0

b
2
0
+v
0
4|t
3
|
2

b
2
0
+v
0

L
+
3

3
+ g
0
, (5.53)
donde g
0
=
_
v
0
2
b
0
.
Por otro lado, tendremos los conmutadores
[

1
,

L
+
1
] = 2[t
1
[
2
_
2[v
0
[,
[

2
,

L
+
2
] = 4[t
2
[
2
_
b
2
0
+ v
0
,
[

3
,

L
+
3
] = 4[t
3
[
2
_
b
2
0
+ v
0
,
es decir, ahora

1
= 1,
2
= 1,
3
= 1, (5.54)
de modo que las ecuaciones 4.2 nos llevan a elegir para este caso

B
1
=

1
_

1
,

L
+
1

=
L

1
_

_
L

1
, L
+
1

= B
1
,

B
2
=

L
+
2
_

2
,

L
+
2

=
L

2
_

_
L

2
, L
+
2

= B
2
,

B
3
=

3
_

3
,

L
+
3

, =
L
+
3
_

_
L

3
, L
+
3

= B
3
.
Esto signica que los operadores

B
k
del caso b
0
< 0 coinciden con los co-
rrespondientes B
k
para b
0
> 0, k = 1, 2, 3. As, el resto del tratamiento es
exactamente igual, lo cual incluye tanto a las expresiones explcitas de la
funcion de onda extremal
0
(x) y de los estados coherentes
z
(x) como a los
valores esperados de los operadores canonicos. Lo anterior incluye tambien
la minimizacion de la relacion de incertidumbre de Heisenberg.
56
Captulo 6
Conclusiones
En este trabajo encontramos explcitamente los estados coherentes de
sistemas descritos por Hamiltonianos cuadraticos cuya forma esta dada en la
ecuacion 3.1. Para lograrlo fuimos capaces de determinar operadores analogos
a los de creacion y aniquilacion del oscilador armonico. En el regimen de
desconnamiento se encontr o que estos nuevos operadores, mediante una
tecnica algebraica similar a la del oscilador, podran generar eigenvectores
con eigenvalor complejo lo cual no puede ocurrir ya que H es hermitiano.
Esto implica que, en este regimen, no existen estados estacionarios asociados
a H. Al restringirnos a sistemas connados espacialmente fue posible obtener
tales estados estacionarios y, en particular, la forma explcita de la funcion
de onda del estado extremal.
Asimismo mostramos que, para sistemas regidos por los Hamiltonianos
en cuestion, las deniciones de estados coherentes dadas por las ecuaciones
1.1 y 1.3 son equivalentes. As, desarrollamos el operador de desplazamiento
y, a partir de este, obtuvimos la forma explcita de los estados coherentes en
terminos de la funcion de onda del estado extremal del sistema.
Es importante notar que este desarrollo proporciona un metodo alge-
braico directo, a partir de un sistema de ecuaciones lineales, para obtener los
valores esperados de los operadores de posicion y momento en un estado cohe-
rente arbitrario, as como de los productos cuadraticos entre estos. Cuando
menos para los ejemplos presentados, encontramos que los estados coherentes
as derivados minimizan la relacion de incertidumbre de Heisenberg para X
i
,
P
i
.
Es interesante mencionar especcamente a la trampa de Penning, para la
cual nuestro tratamiento algebraico permite concluir de manera directa que el
57
Hamiltoniano correspondiente no es un operador denido positivo, debido al
signo de que se obtiene en uno de los modos en los cuales se descompone H.
Este fenomeno ya ha sido observado en el pasado para operadores que juegan
un papel analogo al Hamiltoniano en sistemas de referencia no inerciales.
Como podemos ver con este ejemplo, tal propiedad puede surgir tambien
para Hamiltonianos en sistemas de referencia inerciales.
58
Apendice A
Tecnicas matematicas
Sea una matriz n n diagonalizable no necesariamente hermtica, con
entradas reales [20]. Sean
[u
i
) =
_
_
_
_
_
u
1i
u
2i
.
.
.
u
ni
_
_
_
_
_
, e
i
[ = (e
i1
, e
i2
, . . . , e
in
), (A.1)
los eigenvectores y eigenformas de correspondientes al eigenvalor
i
. Supo-
niendo que los eigenvalores
i
no se repiten tendremos eigenvectores y eigen-
formas linealmente independientes. Denamos las matrices U y E, formadas
por las columnas [u
i
) y los renglones e
i
[ respectivamente.
U =
_
_
_
_
_
u
11
u
12
. . . u
1n
u
21
u
22
. . . u
2n
.
.
.
.
.
.
.
.
.
u
n1
. . .
_
_
_
_
_
, E =
_
_
_
_
_
e
11
e
12
. . . e
1n
e
21
e
22
. . . e
2n
.
.
.
.
.
.
.
.
.
e
n1
. . .
_
_
_
_
_
. (A.2)
Tendremos entonces que
U = U, (A.3)
y
E = E, (A.4)
59
donde es la matriz diagonal formada por los eigenvalores de ,
=
_
_
_
_
_

1
0

2
.
.
.
0
n
_
_
_
_
_
. (A.5)
Si multiplicamos entonces la ecuacion A.3 a la izquierda por E y A.4 a la
derecha por U tendremos EU = EU. Ya que los
i
son diferentes entre
s

1, es facil ver que EU tiene que ser una matriz diagonal que denotaremos
por D = EU. Ahora, ya que U y E son invertibles podemos escribir D
1
=
U
1
E
1
y como U = E
1
D, tenemos U
1
= D
1
E, es decir 1 = UU
1
=
U(D
1
E). Deniendo las matrices = UD
1
y = E se satisface que
= 1, = EUD
1
= DD
1
= 1. (A.6)
Analizando cuidadosamente la matriz D, vemos que cada una de sus en-
tradas tiene la forma del producto escalar d
ij
= e
i
[u
j
). Como D es diagonal,
tendremos que e
i
[u
j
)
ij
, esto es, los eigenvectores y las eigenformas son
ortogonales entre s cuando corresponden a distinto eigenvalor.
Ademas, ya que las componentes d
jj
de la diagonal de la matriz D son
de la forma d
jj
= e
j
[u
j
) tendremos que (d
1
)
jj
=
1
e
j
|u
j

y as las entradas
de la matriz seran de la forma

ij
=
u
ij
e
j
[u
j
)
.
Por tanto, las entradas del producto estaran dadas como
( )
im
=

ij

jm
=

j
u
ij
e
j
[u
j
)
(E)
jm
=

j
u
ij
e
jm
e
j
[u
j
)
.
Entonces, normalizando de modo que e
j
[u
j
) = 1, para todo j, la primera
ecuacion en A.6 nos lleva a

j
u
ij
e
jm
=
im
,
esto es,

j
[u
j
)e
j
[ = 1. (A.7)
As, los eigenestados y las eigenformas de la matriz generan el espacio
completo.
60
Apendice B
Evolucion temporal
En el cuadro de Heisenberg, la evolucion temporal de un operador O(t)
que en el cuadro de Schrodinger no depende explcitamente del tiempo, para
un sistema descrito por un Hamiltoniano H, esta dada por la ecuacion
d
dt
O(t) = [iH, O(t)]. (B.1)
Consideremos un Hamiltoniano cuadratico de la forma
H =
1
2

T
B + d
con
1
=
_

X(t)

P(t)
_
, B una matriz 2n 2n real y simetrica de entradas
costantes y d un n umero real. Entonces, se llega facilmente a que el conmu-
tador de la ecuacion B.1 para el vector de operadores puede escribirse como
el producto matricial
[iH, ] = JB, (B.2)
donde J es la conocida matriz
J =
_
0 1
1 0
_
, (B.3)
en la cual 1 representa la matriz identidad nn. Por su forma J cumple que
J
T
= J, J
2
= 1. (B.4)
1
En este apendice utilizaremos una notacion distinta a la del texto con el n de evitar
posibles confusiones.
61
Entonces, la matriz denida en el texto como aquella que cumple la relacion
[iH, ] = , tendra la forma
= JB.
Por tanto, la ecuacion B.1 para el vector sera
d(t)
dt
= JB(t) = (t), (B.5)
cuya solucion esta dada como
(t) = e
t
(0) = e
t

0
. (B.6)
Ademas, tendremos que el polinomio caracterstico de la matriz , P() =
[ [, se puede escribir como
P() = [JB[. (B.7)
Usando ahora las propiedades B.4, as como las conocidas para determinantes
y matrices simetricas, se llega a que
[JB[ = [JB+ [, (B.8)
es decir, P() = P(). Por tanto, si es raz del polinomio caracterstico,
esto es eigenvalor de , tambien lo sera . As, podemos etiquetar los
eigenestados y las eigenformas, correspondientes a los eigenvalores
j
y
j
,
como [u

j
) y e

j
[ respectivamente.
Ahora, seg un el apendice A, normalizando adecuadamente se llega a la
ecuacion A.7, que en este caso toma la forma
1 =

j
_

u
+
j
)e
+
j

j
)e

_
. (B.9)
Por tanto, podemos escribir
(t) = e
t
1
0
= e
t

j
_
[u
+
j
)e
+
j
[ +[u

j
)e

j
[
_

0
=

j
_
e

j
t
[u
+
j
)e
+
j
[
0
+e

j
t

j
)e

0
_
=

j
_
e

j
t
[u
+
j
)/
+
j
+ e

j
t
[u

j
)/

j
_
, (B.10)
62
donde denimos los operadores /

j
como el producto e

j
[
0
. Por tanto, la
evoluci on temporal de (t) estara denida por los valores que tomen los

k
s, los cuales en general seran complejos. Vemos que si
k
tiene su parte
real distinta de cero, ya sea positiva o negativa, alguno de los coecientes
exponenciales de la expresion anterior diverge conforme t crece y por tanto
el movimiento clasico no sera acotado. La unica forma en que esto no ocurra
es que todos los eigenvalores
k
sean puramente imaginarios, de modo que los
coecientes sean exponenciales imaginarios en el tiempo, induciendo as osci-
laciones de los coecientes entre los valores /

k
y /

k
conforme avanza el
tiempo. Entonces, la evoluci on temporal del vector (t) quedara denida por
los valores iniciales de posicion y momento dados en /
+
k
y /

k
, manteniendose
siempre acotada.
63
Apendice C
Estado extremal
Sean B
1
, ...B
n
un sistema de n operadores diferenciales en el espacio
C
2
(R
n
), donde cada uno es una combinaci on lineal de los 2n operadores
canonicos X
j
P
j
= i
j
, y sean B

1
, . . . , B

n
sus operadores adjuntos. Si se
satisfacen las relaciones de conmutacion
[B
j
, B
k
] = 0, (C.1)
[B
j
, B

k
] =
jk
, j, k = 1, . . . , n, (C.2)
el sistema de n ecuaciones diferenciales
B
j

0
(x) = 0, j = 1, . . . , n, (C.3)
tiene solucion cuadrado integrable.
Para demostrarlo vemos primero que, de acuerdo a lo que hemos asumido,
los operadores B
j
y B

j
tienen la forma
B
j
= i

P
j
+

X

j
, B

j
= i
j

P +

X, j = 1, . . . , n, (C.4)
donde
j
,

j
(j = 1, . . . , n) son vectores de n componentes complejas. Note-
mos que los vectores
j
son linealmente independientes. De hecho, suponga-
mos que c
1
, . . . , c
n
son numeros complejos tales que c
1

1
+ + c
n

n
= 0.
Podemos denir por tanto los operadores B = c
1
B
1
+ + c
n
B
n
y B

=
c

1
B

1
+ + c

n
B

n
los cuales no contienen operadores de momento, pues su
suma se cancela, as que
[B, B

] = 0. (C.5)
64
Por lo tanto
n

j,k=1
c
j
c

k
[B
j
, B

k
] =
n

j=1
[c
j
[
2
= 0, (C.6)
de modo que tendremos
c
1
= = c
n
= 0. (C.7)
De manera similar se puede encontrar que los vectores

1
, . . . ,

n
son lineal-
mente independientes.
En vista de la conmutatividad C.1, el sistema de ecuaciones C.3 es inte-
grable y, ya que los B
j
son lineales en X, la solucion
0
tiene la forma

0
(x) = ce

1
2
a
ij
x
i
x
j
= ce

1
2
(x
T
ax)
, (C.8)
donde a = (a)
ij
es una matriz n n simetrica de coecientes complejos.
Introduciendo C.8 en C.3 obtenemos que a debe cumplir
a
j
=

j
, j = 1, . . . , n. (C.9)
Ya que tenemos independencia lineal en los sistemas de vectores
j
y

j
, la ecuacion anterior nos da una denicion unica de la matriz no singular
a. Mas a un, por sustitucion directa C.1 nos lleva a
j
T

k
=
k
T

j
de
modo que la simetra
j
T
a
k
=
k
T
a
j
esta garantizada.
Para obtener la forma explcita de a, denimos una base s
1
, . . . , s
n
dual
a
1
, . . . ,
n
, es decir
s
k

j
=
kj
=
j

s
k

. (C.10)
Dado que los productos s
k

s
j
generan todo el espacio de matrices nn
[21], podemos expresar a en la forma
a =
kj
s
k

s
j
, (C.11)
donde
kj
es otra matriz de coecientes. Tomando ahora el producto escalar
de C.11 con
k

por la izquierda y
j
por la derecha encontramos

kj
=
k

a
j
=
k

j
, (C.12)
65
y usando C.2 vemos que

kj
+

jk
=
k

j
+

j
=
kj
. (C.13)
As, la descomposicion de C.11 en sus partes Hermitiana y anti-Hermitiana
nos lleva a
a = S + i (C.14)
donde
S =
1
2
s
j

s
j
, (C.15)
=
_
(
k

j
)/2i
_
s
k

s
j
. (C.16)
La expresion C.8, por tanto, se convierte en

0
(x) = c exp
_

1
4
n

j=1
[ s
j
x[
2

i
2
[x
T
x]
_
, (C.17)
donde x
T
x es real.
66
Bibliografa
[1] V. V. Dodonov. Nonclassical states in quantum optics: a squeezed review
of the rst 75 years, J. Opt. B. 4 (2002), R1R33.
[2] R. J. Glauber. Photon correlations, Phys. Rev. Lett. 10 (1963), 8486.
[3] R. J. Glauber. Coherent and incoherent states of the radiation eld,
Phys. Rev. 131 (1963), 27662788.
[4] V. Bargmann. On a Hilbert Space of Analytic Functions and an Associa-
ted Integral Transform. Part I, Commun. Pure App. Math, 14 (1961),
187214.
[5] A. O. Barut, L. Girardello. New coherent statesassociated with non-
compact grups, Commun. Math. Phys. 21 (1971), 4155.
[6] A. M. Perelomov. Coherent states for arbitrary lie group, Commun.
Math. Phys. 26 (1972), 222236.
[7] V.V. Dodonov, E. V. Kurmyshev, V. I. Manko. Generalized uncertainty
relation and correlated coherent states, Phys. Lett. A. 79 (1980), 150
152.
[8] A. Perelomov. Generalized coherent states and their applications,
Springer-Verlag, Heidelberg, 1986.
[9] J. R. Klauder, B. S. Skagerstam Eds. Coherent states. Applications in
physics and mathematical physics, World Scientic, Singapore, 1985.
[10] J. P. Gazeau, S. T. Ali, J. P. Antoine. Coherent states, wavelets and
their generalizations, Springer-Verlag, New York, Inc., 2000.
I
[11] K. E. Cahill. Coherent-state representations for the photon density ope-
rator, Phys. Rev. 138 (1965), B1566B1576.
[12] V. Bargmann. P.Butera, L. Girardello, J. R. Klauder. On the complete-
ness of the coherent states, Rep. Math. Phys. 2 (1971), 221228.
[13] D. J. Fern andez. Estados coherentes para hamiltonianos unidimensiona-
les, B. Sc. thesis FCFM-BUAP, 2006
[14] B. Mielnik, D. J. Fernandez. An electron trapped in a rotating magnetic
eld, J. Math. Phys. 30 (1989), 537549.
[15] A. G. Kurosch. Curso de algebra superior, Mir, 1977.
[16] D. J. Fern andez. Semiclassical resonance in rotating magnetic elds,
Acta Physica Polonica B21 (1990), 589601.
[17] S. G. Cruz y Cruz. Esquemas cuanticos de oquet: espetros y opera-
ciones, Ph.D. thesis CINVESTAV, (2005).
[18] S. I. Grossman.

Algebra lineal, McGraw-Hill, 1998.
[19] C. Cohen-Tannodji, B. Diu, F. Laloe. Quantum Mechanics, Wiley-
Interscience, New York, 1977.
[20] J. V. Moloney F. H. M. Faisal. Time-dependent theory of non-hermitian
Schrodinger equation: application to multiphoton-induced ionization de-
cay or atoms, J. Phys. B. 14 (1981), 36033620.
[21] Nering, Evar D. Linear algebra and matrix theory, Wiley, New York,
1970.
II