tesisJM PDF

UNIVERSIDAD MICHOACANA DE
SAN NICOLAS DE HIDALGO

Facutad de Ciencias Fsico-Matem
aticas
Mat. Lus Manuel Rivera Guti
errez
TRES METODOS PARA OBTENER EL PROPAGADOR

DE FEYNMAN EN LA MECANICA CUANTICA
TESIS
PARA OBTENER EL TITULO DE
LICENCIADO EN CIENCIAS FISICO MATEMATICAS
PRESENTA
JOSE MANUEL GONZALEZ VALDES
ASESOR
DR. ALFREDO RAYA MONTANO
MORELIA, MICH., ENERO DE 2009.
Esta tesis tuvo la fortuna de haber sido guiada por el Dr. Alfredo Raya, a
quien quiero expresar mi sincero agradecimiento, por ense
narme y guiarme
con su inagotable paciencia, pero sobre todo su amistad.
Agradezco a mi familia, muy en especial a mis padres y hermano, a mis
amigos y compa
nero, por su apoyo y cari
no incondicional, sin cuya ayuda
este proyecto y otros m
as no hubieran sido posibles.
Gracias Doctores Alberto Mendoza, Salvador Jara, Eduardo Tututi, Mary
Carmen Pe
na, Jorge Isidro Aranda y en especial al Dr. Angel S
anchez cecilio por la ayuda brindada, sus valiosos comentarios y sugerencias sobre
este trabajo.
Tambien quiero agradecer, a la Facultad de Ciencias Fsico Matem
aticas,
al instituto de fsica y matem
aticas y a la Universidad Michoacana de San
Nicol
as de Hidalgo por las facilidades y atenciones prestadas para la elaboraci
on de este trabajo.
y finalmente agradezco a todos aquellos que han ayudado directa o indirectamente a que este trabajo pudiera realizarse, a quienes no menciono, no por
falta de memoria sino por falta de espacio.
ii
Indice general
1. Introducci
on
2. Cuantizaci
on
2.1. Teora Cuantica . . . . . . . . . . . . . . . . . . . .
2.1.1. Formalismo Basico . . . . . . . . . . . . . .
2.2. Imagenes de la Mecanica Cuantica . . . . . . . . .
2.2.1. Imagen de Schrodinger . . . . . . . . . . . .
2.2.2. Imagen de Heisenberg . . . . . . . . . . . .
2.2.3. Imagen de Interaccion . . . . . . . . . . . .
2.3. Propiedades del Operador de Evolucion Temporal .
3. Propagador
3.1. Que es el Propagador? . . . . . . .
3.2. Metodos para Obtener el Propagador
3.2.1. Metodo Canonico . . . . . . .
3.2.2. Integral de Caminos . . . . .
3.2.3. Metodo de Schwinger . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
6
8
8
9
10
11
.
.
.
.
.
13
13
15
16
20
32
4. M
etodo Can
onico
37
4.1. Partcula Clasica . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.2. Propagador . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5. Integral de Caminos
45
5.1. La Accion Clasica . . . . . . . . . . . . . . . . . . . . . . . . 45
5.2. Propagador . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.3. Invariancia de Norma . . . . . . . . . . . . . . . . . . . . . . 50
6. M
etodo de Schwinger
53
6.1. Propagador . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
6.1.1. Invarianza de Norma . . . . . . . . . . . . . . . . . . . 57
iii
INDICE GENERAL
iv
6.1.2. Niveles de Energa . . . . . . . . . . . . . . . . . . . .
59
7. Aplicaciones
65
7.1. Funcion de Particion . . . . . . . . . . . . . . . . . . . . . . . 65
7.2. El Efecto Hall Cuantico . . . . . . . . . . . . . . . . . . . . . 67
8. Conclusiones
73
A. Funcionales
77
Captulo 1
Introducci
on
En la mecanica clasica, estudiamos el estado de movimiento de los cuerpos sujetos a la influencia de fuerzas internas y externas, es decir, sus trayectorias, las cuales determinamos a traves de varios parametros de medicion o
comparacion, como pueden ser la posicion, la velocidad (aunque no en este
orden siempre), el momento y otras cantidades. Este es el problema central
en el estudio de la mecanica clasica [1] y para resolverlo, empleamos algunas estrategias [2] como el analisis de fuerzas en el contexto de las leyes de
Newton, la conservacion del momento al estudiar los choques de proyectiles,
la conservacion de la energa en el movimiento de un cuerpo sujeto a un
potencial central, entre otros. Las leyes de la mecanica clasica son aplicables a un amplio rango de objetos, tanto a sistemas macroscopicos como el
movimiento de planetas e incluso galaxias, como a sistemas microscopicos,
como el movimiento de electrones en los atomos. Esto, claro esta, hasta un
cierto lmite, pues tanto el Universo a gran escala como el mundo subatomico
requieren una descripcion mas especializada.
En la mecanica cuantica, se estudian los cuerpos microscopicos o partculas y tambien nos interesa conocer sus trayectorias bajo la inflencia de alg
un
potencial, pero abordamos el asunto de una manera muy diferente. En este
caso, lo que buscamos es la funci
on de onda asociada a una partcula, (x, t)
y que obtenemos, por ejemplo, resolviendo la ecuaci
on de Schr
odinger
=
}
t
}2 2
+ V (x) .
2 m x2
(1.1)
Aqu, V (x) representa el potencial en el que se encuentra inmersa la partcula. Esta funcion de onda tiene, seg
un Born, una interpretaci
on estadstica en
2
la cual, |(x, t)| representa la densidad de probabilidad de encontrar una
1

CAPITULO 1. INTRODUCCION
partcula en un punto x a un tiempo t, tal que

Z
dx |(x, t)|2 = 1.
(1.2)
La interpretacion estadstica de la funcion de onda introduce una clase de

indeterminacion en la mecanica cuantica, por lo cual no puedemos predecir
con certeza el resultado de un simple experimento al medir la posicion de una
partcula con precision arbitraria. Esto se debe al principio de incertidumbre
de Heisenberg [3], que se expresa en la relacion
x p
}
,
2
(1.3)
donde x y p repesentan incertidumbre en posicion y momento, respectivamente. Esta relacion imposibilita conocer simultaneamente la posicion y
momento de una partcula en cada instante durante su desplazamiento. Lo
u
nico que nos permite es saber con que probabilidad una partcula que se
mueve bajo la influencia de un potencial llegara de un punto a otro en un
instante de tiempo dado siguiendo una trayectoria en particular.
La evolucion temporal de la funcion de onda en la mecanica cuantica se
encuentra codificada en el llamado propagador de Feynman K(x, x0 ; t t0 ),
llamado, en ocasiones, amplitud de transicion o funcion de Green, pues si
conocemos dicha funcion a un tiempo inicial t0 , (x0 , t0 ), la funcion de onda
a un tiempo posterior puede obtenerse como
Z
(x, t) = dx0 K(x, x0 ; t t0 )(x0 , t0 ) .
(1.4)
En esta tesis exploraremos, de entre las muchas maneras que hay de hacerlo,
tres metodos para obtener este propagador: el Canonico [4], el de Integral
de Caminos [5] y el del tiempo propio, tambien conocido como Metodo
de Schwinger [6], sin restarle importancia a otros procedimientos. Estos
metodos representan enfoques muy distintos de obtener el propagador de
Feynman, de modo que al estudiarlos, seremos capaces de visualizarlo desde
distintas perspectivas y elegir, tal vez, la forma mas apropiada de obtenerlo.
Un sistema muy interesante de la mecanica cuantica es el de una partcula
cargada que se mueve bajo la influencia de un campo magnetico uniforme. El
problema fue resuelto por Landau [7], por lo que en ocasiones se denomina
el problema de Landau 1 . Este es un problema sencillo, pero no trivial, que
permite explorar y comparar distintas formas de resolverlo. El problema de
1
Los niveles de energa para este sistema son llamados, precisamente, niveles de Landau.
3
Landau es la base de estudio de sistemas mas complejos en diferentes areas
de la fsica, como la materia condensada, la teora cuantica de campos, la
mecanica cuantica supersimetrica, entre otras, por lo que el interes para
abordarlo es mas que academico.
Comenzamos esta tesis presentando el formalismo basico de cuantizacion,
con enfasis particular la evolucion de los sistemas cuanticos, en el siguiente
Captulo. En el Captulo 3 presentamos las ideas generales de los metodos
que hemos seleccionado para obtener el propagador de Feynman, y desglosamos cada uno de ellos para obtener el propagador del problema de
Landau. En el Captulo 4 lo hacemos con el Metodo Canonico, en el 5 con
el de Integral de Caminos y en el 6 con el Metodo de Schwinger, donde presentamos, ademas, una contribucion de este trabajo, original hasta donde
sabemos: la representacion del propagador como una suma sobre niveles de
Landau. Un ejemplo de fenomeno fsico estudiado a partir del problema de
Landau es el efecto de Hall cuantico [8], que describimos en el Captulo 7
mediante el propagador derivado en captulos anteriores. Finalmente, en el
Captulo 8, presentamos las conclusiones de este trabajo de tesis.
CAPITULO 1. INTRODUCCION
Captulo 2
Cuantizaci
on
En este captulo, pesentamos los conceptos basicos de la mecanica cuantica. Discutimos distintos esquemas de aproximacion o imagenes en que se
puede estudiar esta teora, enfatizando el papel fundamental del operador
de evolucion temporal de los sistemas cuanticos y sus propiedades, que seran
escenciales en el desarrollo de esta tesis.
2.1.
Teora Cu
antica
La teora cuantica es la mas completa teora microscopica que tenemos hoy
en da para describir la fsica de la energa y la materia. Esta

ha sido exitosamente aplicada para explicar los fenomenos que ocurren en varios niveles,
desde el estudio de partculas elementales en la escala subatomica, pasando por sistemas mesoscopicos de materia condensada y hasta el estudio
de estrellas de neutrones y otros objetos de escala cosmologica. Solamente
la introduccion de gravitones los cuantos de la interaccion gravitacional,
se mantiene como un problema abierto en la teora cuantica fundamental. Historicamente, la fsica cuantica primero trato con la cuantizacion del
movimiento de las partculas, dejando al campo electromagnetico clasico;
de ah el nombre de Mecanica Cuantica ([3] y [9]) en 1925-26. Despues,
el campo electromagnetico fue tambien cuantizado [10] en 1927, e incluso las partculas mismas fueron representadas por campos cuantizados [11]
en 1928, resultando en el desarrollo de la Electrodinamica Cuantica (QED
de sus siglas en ingles, Quantum Electrodynamics) y la Teora Cuantica de
Campos (TCC) en general. Por convencion, la forma original de la mecanica
cuantica es llamada Primera Cuantizaci
on, mientras que la TCC se formula
en el lenguaje de la Segunda Cuantizaci
on.
5

CAPITULO 2. CUANTIZACION
2.1.1.
Formalismo B
asico
Consideremos una partcula de masa m que se mueve a lo largo del eje

x bajo la influencia de alguna fuerza F (x, t). En la mecanica clasica [12],
estamos interesados en la evolucion de la posicion de la partcula, es decir,
su trayectoria x(t). Para este fin, planteamos las ecuaciones de movimiento,
en los formalismos de Newton, Lagrange o Hamilton
d
dt
L
x
H
,
x =
p
F = m
x,
L
=0,
x
H
p =
.
x
Segunda ley de Newton,

Ecuaciones de Euler-Lagrange,
Ecuaciones de Hamilton.
En estas expresiones F representa la fuerza, L es el Lagrangiano y H es

el Hamiltoniano. Una vez conocida x(t), podemos facilmente encontrar la
velocidad v = x(t)
(aunque a veces se encuentra primero v(t) y luego x(t)),

el momento lineal p = mv, la energa cinetica T = mv 2 /2, o cualquier
propiedad del sistema [2] que queramos conocer.
En la mecanica cuantica, la partcula puede ocupar diferentes estados
cuanticos, que cambian bajo la influencia de fuerzas externas que, al igual
que las variables dinamicas correspondientes, se representan como operadores actuando sobre los estados. La discusion sobre el formalismo basico
de la mecanica cuantica puede encontrarse en cualquier texto basico [3, 4].
Bien en la primera o en la segunda cuantizacion, la idea fundamental de la
teora cuantica establece que todos los estados cuanticos estan representados
por vectores de estado, llamados ket y denotados por |i, en un espacio
de Hilbert, y que todas las cantidades fsicas observables se representan por
operadores Hermitianos A = A , actuando sobre estos vectores [7],
A|i
= |i.
(2.1)
Comencemos nuestra discusion sobre los vectores de estado en la mecanica

cuantica. Un espacio de Hilbert es un espacio vectorial completo con producto interno. Cada vector en este espacio, llamado vector de estado |i,
esta asociado con un vector de estado adjunto, llamado bra, dado por
(|i) h|. Podemos formar el producto interno o bra(c)ket entre dos
de estos vectores de estado de la forma h|i. La conexion entre el espacio
de Hilbert directo y su adjunto esta dada por la relacion
h|i = h|i .
(2.2)

2.1. TEORIA CUANTICA
Como dos vectores de estado paralelos representan el mismo estado fsico,

debemos de tratar siempre con vectores de estado propiamente normalizados, h|i = 1. El producto interno h|i representa el traslape entre dos
estados cuanticos y se identifica con una amplitud de probabilidad, cuyo
cuadrado, como veremos mas delante, podremos identificar con una probabilidad de que dicho traslape tome lugar en la evolucion de un sistema.
Hablaremos ahora sobre los operadores. Dado un operador A actuando
sobre un espacio de Hilbert, el operador adjunto A se define como

h|A |i = h|A|i
(2.3)
para cualquier |i y |i en dicho espacio. Un operador Hermitiano es aquel

que satisface
h|A |i = h|A|i.
(2.4)
denotamos a sus eigenestados
Dado cualquier operador Hermitiano A,
| i a aquellos estados tales que
i = | i.
A|
(2.5)
Los factores son los eigenvalores de dicho operador y son siempre n

umeros
reales. Un teorema fundamental de la teora de espacios de Hilbert es que el
conjunto de todos los eigenestados de cualquier operador Hermitiano dado,
forman un conjunto completo. En general, los eigenestados | i y | i de
no son los mismos.
dos operadores Hermitianos diferentes A y B
Imaginemos que queremos realizar una medicion de una variable dinami para lo cual, el estado del sistema puede
ca asociada con un operador B,
prepararse como un eigenestado de este operador, | i. Este estado tambien puede expresarse como una superposicion de eigenestados | i de otro
operador A de la forma
| i =
| iC ,
(2.6)
donde los coeficientes de expansion son

C = h | i.
(2.7)
Si sobre este estado hacemos una medicion de la variable dinamica asociada

no podemos predecir el resultado obtenido con absoluta
con el operador A,
Solamente podemos
precision, pues | i no es, en general, eigenestado de A.

hablar de probabilidades. La probabilidad de obtener cualquier estado dado

| i como resultado de la medicion, P , es
P = |C |2 .
(2.8)
A continuacion, discutiremos los esquemas de la mecanica cuantica que nos

permitiran estudiar la evolucion temporal de los sistemas.
2.2.
Im
agenes de la Mec
anica Cu
antica
Para conocer las ecuaciones de movimiento de la mecanica cuantica, debemos

dar una representacion a los estados cuanticos y operadores. Recordemos que
el tiempo no es una variable dinamica, por lo que no se representa como un
operador. Las imagenes o representaciones mas comunes para obtener las
ecuaciones de movimiento de la mecanica cuantica, es decir, las ecuaciones
de Schrodinger y de Heisenberg[4], las exponemos enseguida.
2.2.1.
Imagen de Schr
odinger
que es indepenEsta imagen es u

til cuando tratamos con un Hamiltoniano H
diente del tiempo, t H = 0, aunque cualquier otro operador puede depender

de t. En esta representacion, los vectores estado |(t)i dependen del tiempo,
y su evolucion temporal la dicta la ecuacion de Schrodinger,
}t |(t)i = H|(t)i
.
(2.9)
nos permite encontrar una solucion formal

La independencia temporal de H
para esta ecuacion, dada por
Al operador

(t, 0)|(0)i.
|(t)i = e } H t |(0)i U
(2.10)
(t, t0 ) = e } H (tt0 )
U
(2.11)
se le llama operador de evoluci

on temporal, y jugara un papel fundamental
en esta tesis. Podemos resumir la imagen de Schrodinger de la mecanica
cuantica de la siguiente manera:
(t, 0)|(0)i.
Estados:
|(t)i = U
Imagen de Schrodinger
puede o no depender del tiempo.
Operadores: A,
no depende del tiempo.

H,
(2.12)
2.2. IMAGENES
DE LA MECANICA
CUANTICA
(t, 0), recordemos que una funcion f (B)

de
Para interpretar el operador U
cualquier operador B esta definida mediante su expansion de Taylor,

=
f (B)
X
f (n) (0)
n=0
n!
n.
B
(2.13)
Mientras que la imagen de Schrodinger es muy u

til para operadores A
independientes del tiempo, es preferible de vez en cuando, tener toda la
dependencia temporal en los operadores y trabajar con vectores de estado
independientes del tiempo. Esto se logra en la imagen de Heisenberg.
2.2.2.
Imagen de Heisenberg
La idea central de la imagen de Heisenberg, es la de obtener una representacion donde toda la dependencia temporal sea transferida a los op
eradores, A(t),
dejando los vectores de estado independientes del tiempo,
permanece independiente del tiempo en
|(0)i = |0 i. El Halmitoniano H
la imagen de Heisenberg. Si los elementos de matriz de cualquier operador
entre cualesquiera dos estados son identicos en dos representaciones, entonces las dos representaciones son completamente equivalentes. Usando la
definicion de la evolucion temporal de los vectores de estado de la imagen
de Schrodinger, obtenemos
(t, 0) A U
(t, 0)|0 i h00 |A(t)|
h 0 (t)|A|(t)i
= h00 |U
0 i.
(2.14)
As, podemos establecer la correspondencia entre las dos imagenes:
Imagen de Heisenberg
Estados:
|0 i
(t, 0)|(t)i.
U
(t, 0) A U
(t, 0)
Operadores: A(t)
U
no depende del tiempo.

H
(2.15)
Notemos que en t = 0, las dos imagenes coinciden.
Como en el operador original A puede haber una dependencia temporal,
es importante establecer la ecuacion de movimiento que la gobierna. Ya que
es independiente del tiempo, la derivada temporal total de A(t)
es
H
dA(t)
dt
(t, 0) H
A(t)
A(t)
H
+ t A(t)
(t, 0)
= U
U
h
i
A(t)
= H,
+ t A(t),
(2.16)

10
(t, 0) X
U
(t, 0) para cualquier operador X.
donde X(t)
siempre significa U
Esta es la llamada Ecuacion de Heisenberg, y juega el mismo papel de la
ecuacion de Schrodinger en la imagen correspondiente.
Ambas, la imagen de Schrodinger y la imagen de Heisenberg, requieren
independencia temporal del Halmitoniano. Para el caso general de Halmitonianos dependientes del tiempo, tenemos que cambiar a la llamada imagen
de Interaccion o de Dirac.
2.2.3.
Imagen de Interacci
on
La tercera de las representaciones de la mecanica cuantica que estudiaremos

en esta tesis, se introduce para tratar con las situaciones donde un sistema,
0 con eigenestados
descrito por un Halmitoniano independiente del tiempo H
conocidos, |n0 i, es pertubado por alguna interaccion V (t), posiblemente con

dependencia temporal manifiesta, es decir, un sistema cuyo Hamiltoniano
completo esta dado por
=H
0 + V (t),
H
con
0 |n0 i = n |n0 i.
H
0
(2.17)
La idea principal de esta Imagen de Interaccion es separar la parte temporal

0 , de la complicada debida a la interaccion V (t). Esto se
simple, debida a H
logra definiendo un nuevo operador de evolucion temporal
0 (t, t0 ) e } H 0 (tt0 ) ,
U
(2.18)
0 y no el Hamiltoniano H
completo. Como resultado,
que utilice solamente H
en la Imagen de Interaccion tanto los vectores de estado, |(t)i, como los
operadores, A(t),
dependen del tiempo. En terminos de los estados y operadores en la Imagen de Schrodinger, en la Imagen de Interaccion tenemos
(t, 0)|(t)i.
Estados:
|0 (t)i U
Imagen de Interaccion
(t, 0) A U
0 (t, 0)
Operadores: A(t)
U
0 no depende de t.
H
(2.19)
La imagen de Interaccion y la imagen de Heisenberg coinciden cuando
V (t) = 0; i.e. en el caso no perturbado. Ademas, las tres imagenes coinciden
para t = 0.
Finalmente, en esta imagen, los vectores de estado satisfacen
it |(t)i = V (t)|(t)i,
(2.20)
TEMPORAL11
2.3. PROPIEDADES DEL OPERADOR DE EVOLUCION
es decir, evolucionan de acuerdo a una ecuacion de Schodinger que involucra
solamente a la parte Hamiltoniano de interaccion V (t) del Hamiltoniano
Ademas, los operadores obedecen la ecuacion de Heisenberg
total H.
h
i
dA(t)
0 , A(t)
= H
+ t A(t),
dt
(2.21)
0.
que involucra solamente al Hamiltoniano no perturbado H
Con esto conclumos la discusion sobre las representaciones de la mecanica
cuantica. A continuacion, estudiaremos algunas propiedades del operador de
evolucion temporal.
2.3.
Propiedades del Operador de Evoluci

on Temporal
Ya que el operador de evolucion temporal nos permite relacionar dos estados

de la forma
(t2 , t1 )|(t1 )i ,
|(t2 )i = U
(2.22)
podemos automaticamente establecer que
(t, t) = 1 .
U
(2.23)
1 (t1 , t2 )|(t1 )i ,
|(t2 )i = U
(2.24)
1 (t1 , t2 ) = U
(t2 , t1 ) .
U
(2.25)
Ademas, puesto que
tenemos
Por otro lado, la evolucion temporal no cambia la normalizacion de los

estados. De lo contrario, esto implicara la no conservaci
on de la probabilidad. Esto significa que si un estado inicialmente esta normalizado, lo
estara tambien a tiempos posteriores, es decir,
(t2 , t1 )U
(t2 , t1 )|(t1 )i ,
h(t2 )|(t2 )i = 1 = h(t1 )|U
(2.26)
y en consecuencia,
(t2 , t1 )U
(t2 , t1 ) = 1
U
1 (t2 , t1 ) ,
U (t2 , t1 ) = U
(2.27)
lo que demuestra que el operador de evolucion temporal es unitario. Ademas,

tenemos que
(t3 , t1 ) = U
(t3 , t2 )U
(t2 , t1 ) ,
U
(2.28)
12
pues la evolucion de un estado de t1 a t3 es equivalente a la evolucion del

mismo estado a traves de un tiempo intermedio t2 .
Finalmente, el elemento de matriz del operador de evolucion temporal
entre estados de posicion,
(t, t0 )|x0 i .
hx, t|x0 , t0 i = hx|U
(2.29)
Este
es llamado tambien propagador de Feynman o amplitud de transicion,
precisamente, el tema central de estudio de esta tesis.
En los siguientes captulos, estudiaremos distintos metodos que nos permitiran obtener el propagador de Feynman en la mecanica cuantica.
Captulo 3
Propagador
En este captulo introduciremos el principal objeto de estudio de esta tesis,
que es el propagador de Feynman, tambien conocido como Amplitud de
Transicion. El propagador es la amplitud de probabilidad de encontrar a una
partcula en la posicion (x0 , t0 ), sabiendo que a un tiempo se encontraba en
(x, t), esto es, el elemento de matriz del operador de evolucion temporal
entre estados de posicion. Para obtener el propagador de Feynman, usaremos
tres metodos de los muchos que existen, los cuales son el Metodo Canonico,
el Integral de Caminos y el Metodo Schwinger de Feynman. La idea es ver
sus principales diferencias y similitudes y as obtener un mejor conocimiento
de las fortalezas y debilidades de estos metodos.
3.1.
Qu
e es el Propagador?
Comenzaremos con la amplitud de probabilidad hx, t|x0 , t0 i para (x, t) al

evolucionar temporalmente a (x0 , t0 ). Recordando un poco la idea de evolucion temporal, elegimos colocar nuestros relojes de tal forma que el estado
inicial de la partcula sea especificado en un tiempo t0 y entonces consideramos la evolucion del estado para un tiempo t posterior, como se muestra
en la Figura (6.2). Esto es, la amplitud de transicion esta dada por
0 )/}
(t t0 )|x0 i = hx|eH(tt
hx, t|x0 , t0 i = hx|U
|x0 i ,
(3.1)
(t t0 ) es, de forma usual, el operador de evolucion temporal y el

donde U
Hamiltoniano, que se asume es independiente del tiempo y es, en general,
= H(
p, x
una funcion de los operadores de posicion y de momento: H
). Por
13
CAPITULO 3. PROPAGADOR
14
Figura 3.1: Evolucion temporal de un estado.
supuesto, en el caso usual unidimensional,

2
= p + V (
H
x) .
(3.2)
2m
Una vez que conocemos la amplitud, Ec.(3.1), podemos usarla para determinar como cualquier estado |i evoluciona en el tiempo [3, 4], pues podemos
escribir el estado |i como una superposicion de eigenestados de posicion,
hx|(t)i = hx|eH(tt )/}|(t0 )i

Z
0
dx0 hx|eH(tt )/}|x0 ihx0 |(t0 )i

=
Z
=
dx0 hx, t|x0 , t0 ihx0 |(t0 )i .
(3.3)
La amplitud hx, t|x0 , t0 i que aparece en la integral anterior, en la mecanica

ondulatoria se conoce como el propagador, pues permite determinar como
un estado arbitrario se propaga en el tiempo. Como ejemplo, vamos a evaluar
el propagador de una partcula libre, cuyo Hamiltoniano es simplemente
2
= p .
(3.4)
H
2m
Con este Hamiltoniano e insertando en la Ec.(3.1) un conjunto completo de
eigenestados de momento que cumplen
Z
1 = dp | pihp | ,
(3.5)

3.2. METODOS
PARA OBTENER EL PROPAGADOR
tenemos
0
hx, t | x , t i = hx |
donde = t t0 . Recordando que
p2
dp | pihp | e 2 m} | x0 i,
hx | pi =
px
1
e } ,
2}
15
(3.6)
(3.7)
el propagador se reduce a una integral dependiente solamente del momento,

Z
1
1
2
e } px e 2m} p
e } px
hx, t | x0 , t0 i =
dp
2}
2}
1
Z
2m}
p2 + }1 pX
e
,
(3.8)
=
dp
2}
Como la integral depende solamente de p, podemos agrupar las variables espaciales en X = xx0 . Esta integral tiene una forma ya conocida, Gaussiana,
que se puede evaluar directamente usando
r
Z
Z
b2
b2
a(x 2b )2 4a
ax2 +bx
e
dxe
=
e =
e 4a .
(3.9)
a
De esta manera, tenemos que
Z
n
1
X 2 X2 m o
dp
hx, t | x0 , t0 i =
exp
p
+
2}
2m}
2}
2 }
r
n mX2 o
1
2m}
exp
=
2}
2 }
r
n
m
m(x x0 )2 o
=
.
(3.10)
exp
2}
2 }
Esta es la expresion final para el propagador de una partcula libre.
A continuacion discutiremos los tres metodos que emplearemos en esta
tesis para obtener el propagador de Feynman en la Mecanica Cuantica.
3.2.
M
etodos para Obtener el Propagador
En esta seccion, despues de estudiar que es el propagador de Feynman, vamos a mostrar varios metodos para obtenerlo. Estos metodos parecen muy
diferentes, pero al final conducen al mismo resultado. El primer metodo que
estudiaremos es el Can
onico, el cual consiste en realizar una segunda cuantizacion de las soluciones a la ecuacion de Schrodinger. El segundo metodo de
16
nuestro interes es el de la Integral de Caminos de Feynman, donde se hace

una suma sobre todas las historias posibles que puede seguir la partcula en su propagacion, y el tercer metodo que estudiaremos es el desarrollado
por Schwinger, llamado en ocasiones Metodo del Tiempo Propio, que ha sido ampliamente utilizado en la Teora Cuantica de Campos, pero que puede
aplicarse tambien en la Mecanica Cuantica ordinaria. Ilustraremos los tres
metodos con un ejemplo tpico, el oscilador armonico unidimensional.
3.2.1.
M
etodo Can
onico
Este metodo para obtener el propagador de Feynman se desarrolla en el

contexto de la segunda cuantizacion de la Teora Cuantica de Campos (para
una discusion introductoria en el tema, ver, p. ejemplo [4]). A diferencia de la
primera cuantizacion, donde las variables dinamicas se ven como operadores,
en la segunda cuantizacion, las funciones de onda se tratan como operadores
t), que cumplen relaciones de anticonmutacion canonicas 1 a
(x, t) (x,
tiempos iguales
t), (y, t)} = (x y) .
{(x,
(3.11)
El significado fsico de estas funciones de onda cuantizadas se ilustra pict
oricamente en la Figura (3.2). Estos operadores o campos se pueden expandir
en sus modos de Fourier
Figura 3.2: Representacion grafica de las funciones de onda para una y dos partculas en
la segunda cuantizaci
on. Las flechas entrantes y salientes representan estados iniciales y
finales, respectivamente. La lnea punteada y curva representan la amplitud de transici
on
para el proceso de una o dos partculas contenidas en los operadores.
En Captulos posteriores, consideraremos que las funciones de onda est

an asociadas
con electrones, que son fermiones y obedecen el principio de exclusi
on de Pauli.

3.2. METODOS
17
Figura 3.3: Representacion de las excitaciones de los campos (x)

y (x) como
aniquilaci
on y creaci
on de las partculas.
t) =
(x,
a
n n (x)eEn t/},
(x, t) =
a
n n (x)eEn t/},
(3.12)
donde la base de expansion {n (x)} son las soluciones clasicas a la ecuacion

de Schrodinger independiente del tiempo correspondiente y las En las eigenenergas asociadas. Los coeficientes de Fourier a
n y a
n cumplen relaciones de
anticonmutacion canonicas
{
an , a
n0 } = n,n0 ,
(3.13)
por lo que juegan el papel de operadores de aniquilacion y creacion de las

partculas, es decir, las excitaciones de los campos. Este hecho se ilustra de
una forma grafica en la Figura (3.3). En particular, podemos definir al vaco
como el estado, en el que
a
n |0i = 0 = h0|
an .
(3.14)
Con esto en mente, el propagador toma la siguiente forma
) (x0 , 0)|0i,
K(x, x0 ; ) = ( )h0|(x,
(3.15)
donde K(x, x0 ; ) = hx, |x0 , 0i es nuestro propagador de Feynman, y =

t t0 . Sustituyendo las expansiones (3.12), obtenemos
X
X
K(x, x0 ; ) = ( )h0|
a
n n (x)eEn /}
a
n0 n 0 (x0 ) |0i
n
= ( )
X
n,n0
n0
an a
n0 |0i
n (x)n 0 (x0 )eEn /}h0|
Por simplicidad, elegimos t0 = 0.
(3.16)
18
Figura 3.4: Las 8 primeras funciones de onda del oscilador armonico cuantico.
Haciendo uso de la relacion de anticonmutacion entre a

n y a
n0 , obtenemos
K(x, x0 ; ) = ( )
= ( )
= ( )
X
n,n0
X
n
n |0i
n0 a
n (x)n 0 (x0 )eEn /}h0|n,n0 + a
n (x)n (x0 )eEn /}h0|0i
n (x)n (x0 )eEn /}
(3.17)
En esta expresion tenemos una forma general, llamada representaci

on espectral, de calcular el propagador de Feynman por el metodo canonico. A partir
de aqu, los calculos que realicemos dependeran del poblema particular que
desee estudiar. Para ilustrar este metodo, calcularemos el propagador del
oscilador armonico unidimensional. El Hamiltoniano correspondiente es
2
= p + 1 mw2 x
H
2 ,
2m 2
(3.18)
donde w es la frecuencia del oscilador de masa m. Es bien sabido, de los

textos basicos de Mecanica Cuantica (ver, por ej. [3]), que las eigenfunciones
n (x) son de la forma (ver Figura (3.4))

3.2. METODOS
n (x) =
con =
mw 1
1
2
Hn ()e /2 ,
2n n!
p
mw/} x, mientras que las eigenenergas En son
1
.
En = }w n +
2
19
(3.19)
(3.20)
Usando la representacion espectral para el propagador, Ec.(3.17), sustituyendo las eigenfunciones dadas en la Ec.(3.19), tenemos
mw 1
X h mw 14 1
2
4
Hn ()e /2
K(x, x0 ; ) = ( )
n
}
}
2 n!
n
i
1
02
Hn (0 )e /2 eEn /}
n
2 n!
r
12 (2 +02 ) } En
mw X
0 e
Hn ()Hn ( )
= ( )
. (3.21)
} n
2n n!
Este es el propagador del oscilador armonico, obtenido mediante el Metodo

Canonico. A continuacion, escribiremos en una forma mas familiar (siguiendo la Ref. [6]) este propagador, a fin de compararlo con las expresiones
derivadas por otros metodos. Primero usamos la formula de Mehler,
h 2xyz (x2 + y 2 )z 2 i X
zn
=
H
(x)H
(y)
,
(3.22)
(1 z)1/2 exp
n
n
1 z2
2n n!
n=0
e identificamos x = , y = 0 , y z = ew . As, obtenemos la siguiente

forma del propagador
r
r
1
mw
z
2
2
0
e 2 (x +y )
K(x, x ; ) = ( )
2
} 1 z
h 2xyz (x2 + y 2 )z 2 i
.
(3.23)
exp
1 z2
Enseguida, nos auxiliamos de la identidad
1
z2
1 + z2
=
+
,
2(1 z 2 )
2 1 z2
para obtener
(3.24)
r
r
mw
z
K(x, x ; ) = ( )
} 1 z 2
h 1
1 + z 2 i
2
2
exp
. (3.25)
2xyz (x + y )
1 z2
2
0
20
Realizando las siguientes sustituciones trigonometricas,

sin(w ) =
1 z2
,
2z
cos(w ) =
1 + z2
2z
obtenemos la siguiente representacion para el propagador de Feynman del

oscilador armonico,
r
mw
0
K(x, x ; ) = ( )
2} sin(w )
i
h mw
exp
(x2 + x02 ) cos(w ) 2xx0 , (3.26)
2} sin(w )
donde en la u
ltima lnea hemos identficado y = x0 . En secciones posteriores,
compararemos esta forma del propagador con las expresiones obtenidas por
los otros metodos estudiados en esta tesis.
3.2.2.
Integral de Caminos
La formulacion de Integral de Caminos o de Trayectoria (Path Integral en

ingles) de la Mecanica Cuantica fue desarrollada por Richard Feynman en
la decada de los 40s del siglo anterior [13]. Esta

es una descripcion de la
teora cuantica que generaliza el principio de accion de la mecanica clasica.
En la formulacion de Integral de Caminos, la nocion de una sola historia
u
nica para un sistema se reemplaza por la suma (integral funcional) sobre
todas las posibles historias para calcular una amplitud cu
antica.
Para calcular la amplitud de transicion por medio del Metodo de la
Integral de Caminos (ver [5],[7] y [14]), iniciamos escribiendo
hx, t|x0 , t0 i = hxf , tf |xi , ti i .
(3.27)
Para tf > ti , dividamos el intervalo de tiempo entre el tiempo inicial y final

en N segmentos de longitud infinitesimal , esto es, tomemos
=
tf t i
.
N
(3.28)
Solo por simplicidad, hemos discretizado el intervalo temporal (ver Figura (3.5)); al final, tomaremos el lmite continuo 0 y N . Ahora
podemos etiquetar los tiempos intermedios como
tn = ti + n ,
n = 1, 2, 3, . . . , (N 1).
(3.29)

3.2. METODOS
21
Figura 3.5: Discretizacion del intervalo de tiempo = tf ti en N subintervalos de

longitud t.
Introduciendo un conjunto completo de eigenestados de la posicion para

cada punto temporal intermedio, obtenemos
Z
dx1 dxN 1 hxf , tf |xN 1 , tN 1 i
hxf , tf |xi , ti i = lm
0
hxN 1 , tN 1 |xN 2 , tN 2 i . . . hx1 , t1 |xi , ti i . (3.30)

Al escribir esto, claramente hemos asumido un ordenamiento temporal inherente de izquierda a derecha. Notemos aqu que mientras hay N productos
internos en la expresion anterior, solo hay N 1 puntos intermedios de integracion. Ademas, cualquier producto interno intermedio en la expresion
anterior tiene la forma
hxn , tn |xn1 , tn1 i = hxn |e } tn H e } tn1 H |xn1 i
= hxn |e } (tn tn1 )H |xn1 i
= hxn |e } H |xn1 i
i
h
Z
dpn } pn (xn xn1 )H xn +x2 n1 ,pn
. (3.31)
e
=
2}
En la u
ltima lnea hemos usado la prescripcion del punto medio del ordenamiento de Weyl.
Sustituyendo esta forma del producto interno dentro de la amplitud de
transicion, obtenemos
Z
dpN
dp1
0 0
...
hx, t|x , t i = lm
dx1 . . . dxN 1
0
2}
2}
N
N
X
xn + xn1
exp
pn (xn xn1 ) H
, pn
. (3.32)
}
2
n=1
Aqu, hemos definido x0 = xi y xN = xf . Esta es la forma mas burda de

la Integral de Caminos de Feynman y esta definida en el espacio fase del
22
sistema. Es importante enfatizar que el n

umero de integraciones sobre las
coordenadas intermedias difiere del n
umero del de integraciones de momentos, lo que tiene profundas consecuencias en el estudio de las propiedades de
simetra de las amplitudes de transicion. Notemos que en el lmite continuo,
podemos escribir el factor de fase de la Ec.(3.32) como
N
X
xn + xn1
lm
pn (xn xn1 ) H
, pn
0 }
2
n=1
N
xn + xn1
X
xn xn1
)H
, pn
= lm
pn (
0 }
2
n=1
N
Z
tf
=
dt (px H(x, p))
} ti
Z
tf
=
dt L ,
(3.33)
} ti
es decir, es proporcional a la accion del sistema. Para obtener la forma mas

familiar de la integral de camino que involucra al Lagrangiano en el espacio de configuraciones, vamos a especializarnos a la clase de Hamiltonianos
cuadraticos en las variables de momento [15]. Esto es, escojamos
H(x, p) =
p2
+ V (x).
2m
(3.34)
En tal caso, tenemos de la Ec.(3.32),
hx, t|x0 , t0 i =
exp
}
lm
0
N
N
X
pn
n=1
dx1 . . . dxN 1
xn xn1
dp1
dpN
...
2}
2}
p2
n V
2m
xn + xn1
2
. (3.35)
Notemos que las integrales sobre los momentos son Gaussianas y, de esta

3.2. METODOS
23
forma, pueden ser evaluadas de forma directa,
Z
p2n
pn (xn xn1 )
dpn
exp
2}
} 2m
Z
}
dpn
2mpn (xn xn1 )
2
exp
=
pn
2}
2m}
Z
dpn
pn (xn xn1 ) m(xn xn1 )
}
2
=
pn
exp
2}
2m}
2
m xn xn1
2m}
1
exp
=
2}
2}
m
m xn xn1 2
=
.
(3.36)
exp
2}
2}
Sustituyendo este resultado en la Ec.(3.35), obtenemos

m N/2 Z
0 0
hx, t|x , t i =
lm
dx1 . . . dxN 1
,N 0, 2}
"
#
N
xn + xn1
X m xn xn1 2
V
exp
}
2
n=1
Z tf
Z
1
mx 2 V (x)
= A Dx exp
dt
} ti
2
Z
n
o
= A Dx exp
S[x] ,
(3.37)
}
donde A es una constante independiente de la dinamica del sistema y S[x]

es la accion para el sistema. Esta es la representacion como Integral de
Caminos de Feynman para la amplitud de transicion en la mec
anica cuantica.
Para entender el significado de esta amplitud, trataremos de entender el
significado de la medida Dx . En la integracion, los puntos finales estan fijos
y solo los puntos intermedios se integran en el espacio entero. Cualquier
configuracion espacial de los puntos intermedios, por supuesto, da origen a
un camino entre los puntos inicial y final. O sea, integrando sobre todas estas
configuraciones (esto es precisamente lo que hace la integracion sobre todos
los puntos intermedios) es equivalente a sumar sobre todos los caminos que
conectan a los puntos inicial y final. De este modo, la Integral de Caminos de
Feynman simplemente dicen que la amplitud de transicion entre un estado
inicial y final es la suma sobre todos los caminos que conectan los dos puntos.
En la Figura(3.6), se presenta una ilustracion geometrica de una posible
historia en la Integral de Caminos.
24
Figura 3.6: Representacion de un posible camino, de todos los posibles, que una partcula
puntual explora para alcanzar el punto xb en el tiempo tb , empezando de xa en ta .
Sabemos del estudio de la mecanica cuantica, que si un proceso puede

tomar lugar en muchas formas distintas, entonces la amplitud de transicion
es la suma de las amplitudes individuales correspondientes a cada manera
posible en que el proceso puede ocurrir. Por eso es que era de esperarse que
en esta representacion de dicha amplitud, apereciera una suma sobre los
caminos, pero, el factor de peso e } S[x] que es muy crucial y inevitable, es un

tanto sorpresivo. Clasicamente sabemos que es la accion la que determina la
dinamica. En la mecanica cuantica, vemos que todos los caminos contribuyen
a la amplitud de transicion, y aunque hemos tratado Hamiltonianos de cierta
clase, esta expresion trabaja bien para una forma mas general de H.
Como hemos visto, la amplitud de transicion puede escribirse como una
suma sobre todos los caminos que conectan los puntos inicial y final de la
trayectoria de una partcula durante su evolucion temporal, y para el caso de
un Hamiltoniano unidimensional cuadratico en los momentos, se representa
como en la Ec.(3.37). Aunque podemos ser un poco mas cuantitativos en
la discusion sobre el comportamiento de la amplitud de transicion, seremos
cualitativos en lo siguiente: Notemos que para caminos donde
xn xn1 ,

3.2. METODOS
25
Figura 3.7: Representacion de los diferentes caminos que conectan los puntos inicial y
final, as como su trayectoria cl
asica.
el primer termino en la exponencial debe de ser muy grande, pues que es

infinitesimalmente peque
no. De este modo, tales caminos deben de llevar a
una gran fase y como consecuencia, el factor de peso puede ser facilmente
negativo o positivo. En otras palabras, para cada factor xn tan grande, va
haber un xn1 cercano, difiriendo solamente de forma insignificante, el cual
debe de tener un efecto de cancelacion. Esto es, en la integral de camino,
todas esas contribuciones promedian a cero. Concentremonos en los caminos
que conectan al punto inicial y final, como se muestra en la Figura (3.7),
que difieren uno de otro solamente de forma insignificante. La pregunta es
que tanto todos los caminos pueden contribuir a la amplitud de transicion?,
es solamente el camino clasico el u
nico que surge en el limite } 0?
Notemos aqu que el factor de peso en la integral de camino, e } S[x] , es una

fase multiplicada por una cantidad grande cuando } 0. Matematicamente,
es claro que la contribucion dominante en la integral de camino surgira de
los caminos cercanos a los cuales se haga extremo al factor de fase. En otras
palabras, solo las trayectorias cercanas a las que satisfacen
S[x]
=0
x(t)
(3.38)
contribuiran significativamente a la amplitud de transici

on en el lmite clasico,
pero del principio de mnima accion, sabemos que esas son precisamente las
trayectorias que siguen las partculas clasicas. Esto no quiere decir que la
trayectoria clasica sea la que mas contribuye a la amplitud de transicion,
sino que todas las trayectorias cercanas tambien contribuyen, sumandose
coherentemente en el lmite } 0.
26
Para mostrar como funciona el metodo de la Integral de Caminos en

el calculo del propagador de Feynman en la Mecanica Cuantica, desarrollaremos nuevamente el ejemplo del Oscilador Armonico, y comparemos con
expresiones obtenidas anteriormente.
Consideremos a la interaccion del oscilador con una fuente externa, descrita por el Lagrangiano
1
1
L = mx 2 mw2 x2 Jx ,
2
2
con la accion correspondiente dada por
Z
S = dtL .
(3.39)
(3.40)
Aqu, podemos pensar que la fuente externa dependiente del tiempo, J(t),
puede ser, por ejemplo, un campo electrico si el oscilador estuviera cargado
electricamente. Los resultados bien conocidos para el Oscilador Armonico
simple pueden recuperarse en el limite J(t) 0. Ademas, si la fuente externa fuera independendiente de tiempo, entonces el problema tiene solucion
simple y exacta, porque en este caso podemos escribir el Lagrangiano como
L =
=
=
1
mx 2
2
1
mx 2
2
1
mx
2
2
1
mw2 x2 + Jx
2
2
1
J
J2
2
mw x
+
2
mw2
2mw2
2
1
J
mw2 x
2 +
,
2
2mw2
(3.41)
donde hemos definido
J2
.
(3.42)
2mw2
En otras palabras, para una fuente que no vara en el tiempo, la posicion de
equilibrio clasica del oscilador esta desplazada por una cantidad constante.
El sistema descrito por el Lagrangiano en la Ec.(3.39) es de considerable
interes, porque podemos obtener resultados conocidos en varios lmites.
La ecuacion de Euler-Lagrange para la accion da origen a la trayectoria
clasica (ver Apendice),
x
=x
S[x]
=0
x(t)
m
xcl + mw2 xcl J = 0.
Por otro lado, la forma general de la amplitud de transicion es

Z
0 0
hx, t|x , t i = A Dx e } S[x] .
(3.43)
(3.44)

3.2. METODOS
27
Para evaluar esta integral, seguimos el razonamiento de [5]. Notemos que la

accion es cuadratica en la variable dinamica x(t). Por lo tanto, definiendo
x(t) = xcl (t) + (t),
(3.45)
podemos hacer una expansion de Taylor de la accion, alrededor de la trayectoria clasica de la forma
Z
S[x]
S[x] = S[xcl + ] = S[xcl ] + dt(t)
x(t) x=xcl
Z
1
2 S[x]
+
(3.46)
dt1 dt2 (t1 )(t2 )
2!
x(t1 )x(t2 )
x=xcl
Recordemos que la trayectoria clasica es un extremo de la accion,
S[x]
= 0,
x(t) x=xcl
(3.47)
de modo que
1
S[x] = S[xcl ] +
2!
2 S[x]
dt1 dt2 (t1 )(t2 )
.
x(t1 )x(t2 ) x=xcl
(3.48)
Evaluando las derivadas funcionales, podemos reescribir la accion como

Z
1 tf
dt(m 2 mw2 2 ) .
(3.49)
S[x] = S[xcl ] +
2! ti
La variable (t) representa las fluctuaciones cuanticas alrededor de la trayectoria clasica. Ya que los puntos inicial y final estan fijos, estas fluctuaciones
satisfacen las condiciones de frontera
(t1 ) = (t2 ) = 0.
(3.50)
Claro esta que el sumar sobre todos los caminos es equivalente a sumar sobre
todas las posibles fluctuaciones, sujetas a dichas condiciones de frontera.
Consecuentemente, podemos escribir la amplitud de transicion como
( Z
)
Z
tf
hx, t|x0 , t0 i = Ae } S[xcl ] D exp

dt(m 2 mw2 2 ) (.3.51)
2} ti
Esta es una integral donde la exponencial es cuadratica en sus variables. Tal
integral puede ser resuelta en varias formas. Nosotros lo haremos usando un
metodo de matricial, siguiendo la referencia [5] .
28
Primeramente, discretizamos el intervalo temporal. Parametricemos el

tiempo sobre una trayectoria de la forma estandar
tn = ti + n
n = 0, 1, 2, . . . , N .
(3.52)
Definimos ahora los valores de las fluctuaciones en esos puntos como

(tn ) = n .
(3.53)
De esta manera, podemos escribir la amplitud de transicion, Ec.(3.51), de

forma explcita como
( Z
)
Z
tf
dt(m 2 mw2 2 )
hx, t|x0 , t0 i = Ae } S[xcl ] D exp
2} ti
Z
m N/2
S[x
]
cl
d1 , . . . , dN 1
= lm
e}
0
2}
N
(
"
2 # )
N
X
n n1 2
n
n1
exp
. (3.54)
m
mw2
2}
2
n=1
En esta expresion identificamos 0 = N = 0, en consistencia con las condiciones de frontera. Para simplificar la integral, reescalamos las variables,
m 1/2
n
(3.55)
n
2}
La amplitud de transicion, entonces, se escribe como
Z
m N/2 2} N 1
2
S[x
]
0 0
cl
d1 , . . . , dN 1
e}
hx, t|x , t i = lm
0
2}
m
N
( N "
2 # )
X
n
n1
exp
(n n1 )2 w2
(3.56)
2
n=1
Si pensamos en las n s (N 1 de ellas) como si formaran un vector columna,
1
2
(3.57)
= . ,
.
.
N 1
entonces, podemos escribir la amplitud de transicion matricialmente como
Z
m N/2 2} N 1
T
2
hx, t|x0 , t0 i = lm
(3.58)
e } S[xcl ] d e B .
0
2}
m
N

3.2. METODOS
29
Aqu, T representa la matriz (columna) transpuesta y la matriz B, de

tama
no (N 1) (N 1), toma la forma
B=
2 1 0
0 ...
1 2 1 0 . . .
2 w2
0 1 2 1 . . .
4
..
..
..
..
.
.
.
.
Esta es una matriz simetrica, de textura
x y 0
y x y
B= 0 y x
.. .. ..
. . .
donde
2 w2
x=2 1
4
2 1 0 0 ...
1 2 1 0 ...
. (3.59)
0 1 2 1 ...
.. .. .. ..
. . . .
0 ...
0 ...
,
y ...
..
.
(3.60)
2 w2
y = 1+
.
4
(3.61)
B es claramente Hermitiana (ambas x y y son reales), y por lo tanto, puede

ser diagonalizada por una matriz unitaria (ortogonal) U , de la forma
BD =
De este modo, definiendo
b1 0 0 0 . . .
0 b2 0 0 . . .
= U BU
0 0 b3 0 . . .
.. .. .. ..
. . . .
(3.62)
= U ,
(3.63)
obtenemos
Z
d e
T B
d e
d1 . . . dN 1 exp
N
1
Y
n=1
= ()
TB
N
1
X
n=1
bn n2
1/2
bn
N 1
2
(det B)1/2 .
(3.64)
30
Aqu hemos usado el hecho que el Jacobiano del cambio de variables para
una matriz unitaria es la unidad. Usando este resultado en la Ec.(3.58),
podemos determinar la forma de la amplitud de transicion (o propagador)
para el Oscilador Armonico:
m N/2 2} N 1
N 1
2
() 2 (det B)1/2 e } S[xcl ]
0
2}
m
N
m 1/2
= lm
(det B)1/2 e } S[xcl ]
0
2}
N
1/2
m
= lm
(3.65)
e } S[xcl ]
0
2} det B
hx, t|x0 , t0 i =
lm
Es claro de este analisis, que la amplitud de transicion esta bien definida solo
si la matriz B no contiene alg
un eigenvalor nulo. Notemos que la cantidad
que resta por calcular para evaluar la amplitud de transici
on es
lm det B .
0
N
Por la estructura especial de B, ecuacion (3.60), si denotamos a los determinantes de las sub-matrices n n de B como In , es facil ver que estos
satisfacen la siguiente relacion de recursion
In+1 = xIn y 2 In1
n = 0, 1, 2,
(3.66)
donde se restringen
In1 = 0 ,
I0 = 1 .
(3.67)
Sustituyendo la forma explcita de x y y, tenemos que
2 w2
2 w2
In 1 +
In1 o,
In+1 = 2 1
4
4
2 w2
2 w2
In+1 2In + In1 =
In + In1 +
o,
In1
2
8
In+1 2In + In1

2 w2
w2
I
+
I
+
(3.68)
=
I
n
n1
n1
2
2
8
Ya que estamos interesados en el lmite continuo, es conveniente definir la
funcion
(tn t1 ) = (n) = In ,
(3.69)

3.2. METODOS
31
que en este lmite podemos pensar como una funcion continua de t. En otras
palabras, podemos identificar t = n como una variable continua cuando
0. Notemos que
lm det B = lm IN 1 = (tf ti ) = (T ) .
(3.70)
Ademas, tenemos que

(0) = lm I0 = lm = 0,
(3.71)
I I
2 w2
1
0
1 =1.
= lm 2
(0)
= lm
0
0
(3.72)
y similarmente,
Por lo tanto, de las relaciones de recursion para las In s, podemos concluir

que en el limite 0, la funcion (t) satisface la ecuacion deferencial
d2 (t)
= w2 (t) ,
(3.73)
dt2
la cual se reconoce facilmente como la ecuacion del oscilador armonico cuya
solucion esta sujeta a las condiciones iniciales establecidas en las Ecs. (3.71)
y (3.72). Es claro que la solucion a esta ecuacion es
(t) =
sin(wt)
.
w
(3.74)
Ahora, se sigue que

lm det B = lm IN 1 = (T ) =
0
N
0
N
sin wT
,
w
(3.75)
y en consecuencia, para el oscilador armonico, tenemos que la amplitud de

transicion es
1/2
m
e } S[xcl ]
hx, t|x0 , t0 i = lm
0
2} detB
N
1/2
mw
=
(3.76)
e } S[xcl ] .
2} sin(wT )
Para el objetivo de esta tesis no es necesario la fuente externa, por lo que

tomamos a J(t) 0, con esto podemos calcular la accion clasica del sistema,
la cual esta dada por,
mw
[(x2 + x2f ) cos(wT ) 2xi xf ]
(3.77)
S[xcl ] =
2 sin(wT ) i
32
Sustituyendo esto en la Ec.(3.76) e identificando xf = x y xi = x0 , obtenemos

el propagador
hx, t|x0 , t0 i =
n mw
1/2
mw
exp
2} sin(wT )
2} sin(wT )
o
2
[(x2 + x0 ) cos(wT ) 2xx0 ] .
(3.78)
Esta expresion coincide con el resultado obtenido mediante el Metodo Canonico,

como era de esperarse. Resta solamente obtener el propagador con el Metodo
de Schwinger, que se presenta a continuacion.
3.2.3.
M
etodo de Schwinger
Este metodo fue desarrollado por Julian Schwinger, para tratar acciones
efectivas en la electrodinamica cuantica y se basa en las soluciones de la
ecuaciones de Heisenberg correspondientes [16]. Para ilustrar este metodo,
recordemos que podemos escribir el propagador de Feynman para un sistema
no relativista en la forma:
( ) | x0 i,
K(x, x0 ; ) = hx, | x0 , 0i = ( )hx | U
(3.79)
( ) es el operador de evolucion temporal dado por

donde U

( ) = exp iH ,
U
}
(3.80)
el Halmitoniano (independiente del tiempo) del sistema y ( ) es la

con H
funcion escalon definida como
1 si 0 ,
(3.81)
( ) =
0 si < 0 .
Observemos que para > 0, al diferenciar la Ec. (3.79) obtenemos la
siguiente ecuacion deferencial para el propagador de Feynman:
i}
exp iH | x0 i.
K(x, x0 ; ) = hx | H
(3.82)
Evolucionando temporalmente los estados, la ecuacion diferencial anterior

toma la siguiente forma
i}
| x0 , 0i,
hx, | x0 , 0i = hx, | H
( > 0).
(3.83)

3.2. METODOS
33
La idea principal del metodo es calcular los elementos de la matriz del lado
en terminos
derecho de esta escuacion. Para esto, necesitamos escribir a H
) y X(0)
de los operadores X(
ordenados apropiadamente. Los eigenestados
y eigenvalores de estos operadores son
) | x, i = x | x, i
X(
X(0)
| x0 , 0i = x0 | x0 , 0i,
(3.84)
y con ellos, podemos resumir el metodo de Schwinger en los siguientes pasos:

I ) Resolvemos las ecuaciones de movimiento de Heisenberg, para los op ) y P ( ), dados por:
eradores X(
i}
i
) h
X(
), H
,
= X(
i}
i
P ( ) h
.
= P ( ), H
(3.85)
II ) Usamos las soluciones encontradas en la Ec.(3.85), para reescribir el

en terminos de X(
) y X(0),
operador Halmitoniano H
colocando
) a la izquierda y X(0)
los operadores X(
a la derecha. Para lograr
)]. Al operador
lo necesitamos la ayuda del conmutador [X(0),
X(
Halmitoniano obtenido se le denotamos como operador Halmitoniano
ord (X(
), X(0)).
ordenado H
III ) Con el Halmitoniano ordenado, los elementos de matriz del lado derecho de la ecuacion (3.83), pueden ser evaluados en forma directa:
| x0 , 0i = hx, | H
ord (X(
), X(0))
hx, | H
| x0 , 0i
F (x, x0 ; )hx, | x0 , 0i,
(3.86)
donde F (x, x0 ; ) es una funcion ordinaria. Sustituyendo este resultado

en Ec.(3.83) e integrando sobre , obtenemos:
iZ
F (x, x0 ; )d 0
(3.87)
hx, |x0 , 0i = C(x, x0 ) exp
}
donde C(x, x0 ) es una constante arbitraria de integracion, y no un
operador.
IV ) El paso final es encontrar el valor de la constante C(x, x0 ). Para ello,

imponemos las siguientes condiciones para determinar su dependencia
en las coordenadas x y x0 :
hx, | x0 , 0i = hx, | P ( ) | x0 , 0i
x
i} 0 hx, | x0 , 0i = hx, | P (0) | x0 , 0i.

x
i}
(3.88)
34
Despues de usar estas condiciones, a

un existe un factor multiplicativo
para ser determinado en C(x, x0 ). Este puede ser encontrado imponiendo la condicion inicial del propagador:
lm K(x, x0 ; ) = (x x0 ).
0+
(3.89)
Ahora podemos aplicar este metodo en un gran n

umero de interesantes
problemas. De nuevo, utilizaremos este metodo para obtener el propagador
de Feynman para el Oscilador Armonico, siguiendo la referencia [6].
Recordemos que el Halmitoniano correspondiente es
2
= 1 P 2 + mw X
2.
H
2m
2
(3.90)
) H(0).
Obviamente, es independiente del tiempo, H(

Resolvemos primer ) y P ( ),
amente las ecuaciones de movimiento de Heisenberg para X(
d
), H]
= } P ( ) ,
X( ) = [X(
d
m
2
}mw
d
=
).
X(
} P ( ) = [P ( ), H]
d
2
(3.91)
(3.92)
Las soluciones se obtienen de forma inmediata:

P (0)
) = X(0)
X(
cos(w ) +
sin(w ) ,
mw
P ( ) = m wX(0)
sin(w ) + P (0) cos(w ) .
(3.93)
De la primera de estas ecuaciones, podemos escribir a P (0) en terminos de

) y X(0)
los operadores X(
de la forma
i
mw h
X( ) X(0)
cos(w ) .
(3.94)
P (0) =
sin(w )
Ahora, con esta expresion para el operador de momento, el Halmitoniano
(3.90) se escribe como
=
H
mw2 h 2
2 (0) cos(w ) X(0)
X(
) cos(w )
X ( ) + X
2 sin2 (w )
i 1
)X(0)
2 (0)
X(
cos(w ) + mw2 X
(3.95)
2

3.2. METODOS
35
Notemos que el tercer termino de la ecuacion anterior no esta escrito en el

orden apropiado. Para ordenarlo, usamos el conmutador
P (0)
)] = [X(0),
sin(w )]
[X(0),
X(
X(0)
cos(w ) +
mw
}
=
sin(w ).
mw
(3.96)
De aqu se sigue que

}
X(
) = X(
)X(0)
X(0)
+
sin(w ),
mw
(3.97)
y, por lo tanto, nuestro Hamiltoniano ordenado toma la forma

ord =
H
i }w
mw2 h 2
2 (0) 2X(
)X(0)
. (3.98)
X
(
)
+
X
cos(w
)
2
2 sin2 (w )
Una vez que el Hamiltoniano esta apropiadamente ordenado, podemos encontrar la funcion F (x, x0 ; ) directamente de su definicion, Ec.(3.86):
F (x, x0 ; ) =
mw2 h 2
(x + x02 ) csc2 (w )
2
i }w
cot(w ).
2xx0 cot(w ) csc(w )
2
(3.99)
Usando la Ec.(3.87), podemos expresar el propagador de la siguiente forma:

n Z
o
0
0
hx, | x , 0i = C(x, x ) exp
d 0 F (x, x0 ; )
}
n wm
C(x, x0 )
= p
(x 2 + x0 2 ) cos(w )
exp
2}
sin(w
)
sin(w )
o
2x x0 ,
(3.100)
donde C(x, x0 ) es una constante arbitraria de integracion. El u

ltimo paso es
el calculo de esta constante. Para encontrar su dependencia sobre x y x0 ,
imponemos las condiciones descritas en las Ecs.(3.88). De este modo, ree
scribimos los operadores P (0) y P ( ) en terminos de los operadores X(0)
y
X( ), con el orden apropiado. Para P (0), ya se ha hecho; Ec.(3.94), mientras

que para P ( ) tenemos
) X(0)
P ( ) = mw cot(w )[X(
cos(w )] mwX(0)
sin(w ).
(3.101)
36
Insertando esta expresion conjuntamente con la forma del propagador, Ec.(3.100),

en la primera de las condiciones en la (Eq.3.88), obtenemos la dependencia
de la constante con respecto a x:
C(x, x0 )
= 0,
x
(3.102)
es decir, C(x, x0 ) no depende de esta coordenada. Analogamente, insertando

las Ecs.(3.100) y (3.94), en la segunda condicion de la Ec.(3.88), tenemos que
C(x, x0 )/x0 = 0. Estas dos relaciones nos dicen que C(x, x0 ) = C, esto
es, es una constante independiente de x y x0 . Finalmente para determinar el
valor de C, usamos la condicion inicial dada en la Ec.(3.89). Tenemos que
m
C
exp[
(x x0 )2 ]
lm
+
2}
w
0
r
2}
= C
(x x0 ),
mw
lm hx, | x0 , 0i =
0+
(3.103)
p
de forma que C = mw/2}. De este modo, la expresion final para el
propagador de Feynman para el Oscilador Armonico es
r
n mw
mw
hx, | x0 , 0i =
exp
[(x2 + x02 ) cos(w )
2} sin(w )
2} sin(w )
o
2x x0 ] ,
(3.104)
que coincide con los resultados obtenidos anteriormente por el metodo canonico
y la Integral de Camino.
Habiendo presentado los tres metodos para obtener el propagador de
Feynman en la mecanica cuantica, en captulos posteriores obtendremos dicho propagador para el problema de Landau, es decir, el sistema de una
partcula no relativista cargada moviendose en presencia de un campo magnetico uniforme de fondo.
Captulo 4
M
etodo Can
onico
En este captulo vamos a calcular el propagador de Feynman para una
partcula cargada no relativista inmersa en un campo magnetico uniforme
usando el Metodo Canonico. Discutiremos, primeramente, la relevancia fsica
de este problema y concluiremos el captulo con el calculo explcito del propagador correspondiente.
4.1.
Partcula Cargada en un Campo

Magn
etico Uniforme
Los campos magneticos se encuentran en todo el universo, desde escalas

subatomicas, hasta escalas cosmologicas. A grandes escalas, los campos magneticos se detectan mediante el llamado efecto Faraday, mientras que sus
efectos sobre la materia como en el caso de la superconductividad o el efecto
Hall cuantico son bien conocidos. Por esta razon, el estudio de la dinamica
de las partculas cargadas en presencia de un campo magnetico uniforme es
de suma importancia.
Clasicamente, el movimiento de una partcula cargada en presencia de
un campo magnetico externo deja de ser el de una partcula libre[2]. Por
la presencia del campo, se pierde la isotropa del espacio, lo que se traduce
en que el movimiento a lo largo de la direccion del campo es diferente al
de la direccion transversa. Recordemos que para cualquier campo electromagnetico, el movimiento de una partcula con carga puntual q, esta descrito
por la fuerza de Lorentz.
= q(E(r, t) + ~v(r) B(r, t)),
P
37
(4.1)
38
CAPITULO 4. METODO
CANONICO
donde los vectores r, v, P, E y B son, respectivamente, el vector de posicion, velocidad y momento lineal de la partcula, y los campos electrico y
magnetico y el punto denota, la derivada con respecto al tiempo. Si consideramos el caso no relativista sin campo electrico (E = 0), y tomamos el
campo magnetico de la siguiente forma
B = B0 k,
(4.2)
encontramos directamente que las componentes escalares de la fuerza de

Lorentz son
mv x = eB0 vy ,
mv y = eB0 vx ,
mv z = 0.
(4.3)
De lo anterior, podemos ver facilmente que no hay fuerza en la direccion

del campo magnetico [1], como lo habamos anticipado. Si analizamos ahora estas ecuaciones, al tomar la segunda derivada temporal obtenemos las
siguientes expresiones
eB 2
eB 2
0
0
vx = 0,
vy +
vy = 0.
(4.4)
vx +
m
m
Elegimos ahora las condiciones iniciales de tal forma que la solucion a este
sistema de ecuaciones se pueda escribir como
eB
eB
0
0
vx (t) = v sin
t,
vy (t) = v cos
t.
(4.5)
m
m
Integrando estas expresiones, podemos ver facilmente que las coordenadas

que describen el movimiento de la partcula son
eB
vm
0
t + x0
x(t) =
cos
eB0
m
eB
vm
0
y(t) = +
t + y0
(4.6)
sin
eB0
m
Estas ecuaciones parametricas describen un crculo con centro en (x0 , y0 )

y radio r = vm/eB0 , el cual solo necesita de condiciones iniciales para ser
determinado, como se muestra en la Figura(4.1). A la cantidad wc eB0 /m
se le llama frecuencia del ciclotron, y a r se le llama radio de Larmor o de
giro. Podemos ver entonces que todas las partculas (no relativistas), con el
mismo coeficiente e/m tienen la misma frecuencia ciclotronica wc y que a
distintas energas, la partcula tiene radios de Larmor r distintos.

4.1. PARTICULA CLASICA
39
Figura 4.1: Representacion del movimiento de una partcula en un campo magnetico

uniforme, a lo largo del eje z, originando que la partcula tenga un movimiento circular.
Para el caso cuantico, necesitamos escribir el Hamiltoniano que describa la dinamica anterior. Recordemos ahora que para cualquier campo electromagnetico, es posible definir una funcion escalar (r, t) y una funcion
vectorial A(r, t) [17], tales que
E(r, t) = (r, t)
A(r, t)
t
B(r, t) = A(r, t),
(4.7)
donde es un potencial escalar y A es un potencial vectorial.

En terminos de estos potenciales, el Lagrangiano del cual se obtiene la
Fuerza de Lorentz es [3]
L=
m 2
x q + q x A .
2
(4.8)
Para obtener el Hamiltoniano, notemos que el momento canonico es ahora

=
L
= mx + q A,
x
(4.9)
sino que ahora

que ya no es simplemente el momento cinetico P = mx,
aparece un nuevo termino que incluye los efectos del campo electromagnetico
externo. Finalmente, el Hamiltoniano para la partcula cargada es
H=
1
(P q A)2 + q
2m
(4.10)
Esta forma del Hamiltoniamo puede derivarse directamente del principio de

mnima accion para el sistema.
CAPITULO 4. METODO
CANONICO
40
4.2.
Propagador
Ya que encontramos el hamiltoniano de una partcula cargada en presencia

de un campo magnetico uniforme , procedemos a calcular el propagador de
Feynman. Para comenzar, en el Hamiltoniano anterior tomamos la carga de
un electron q = e. Enseguida tomemos al campo magnetico orientado de
lo que nos permite escribir [16],
la siguiente forma B = B0 k,
2
12 +
22
P 2
=
+ Pz ,
H
+ z =H
2m
2m
2m
(4.11)
+ eA el momento canonico. Como el movimiento a lo largo de k

con
=P
es libre, i.e. el movimiento en esta direccion no se ve afectado por el campo
magnetico, el propagador puede escribirse como un propagador libre en esta
direccion, veces otro propagador para la dinamica en el plano transverso del
campo, es decir, K(~r, ~r0 ; ) = K (x, x0 ; )Kz (z, z 0 ; ) con
r
n m (z z 0 )2 o
m
0
exp
.
(4.12)
Kz (z, z ; ) =
2}
2}
Procedemos entonces a calcular el propagador K (x, x0 ; ) por el Metodo

Canonico. Para ello, hacemos uso de la representacion espectral del propagador, Ec. (3.17) y, por lo tanto, requerimos conocer las soluciones, n (x),
de la ecuacion de Schrodinger para el problema de Landau.
asociado al campo
Comencemos por escribir el potencial vectorial A,
magnetico B, en la norma de Landau A = B0 (0, x

, 0), de modo que
2
py + e B0 x
)2
= px + (
H
.
(4.13)
2m
2m
, y como sabemos que los
Observemos que el operador y no aparece en H
conmutadores [
x, py ] = [
py , px ] = 0, tenemos que
, py ] = 0.
[H
(4.14)
Con esto, tenemos que py es un buen n

umero cuantico [3]. Si definimos
k = py /}, las eigenfunciones para el problema deben satisfacer de forma
simultanea
H(x,
y) = E(x, y).
py (x, y) = }k(x, y) ,
(4.15)
Ya que en la base de coordenadas el operador py esta dado por i}/y, de

la primera relacion, obtenemos
(x, y) = ik
y
(x, y) = eiky (x).
(4.16)
41
4.2. PROPAGADOR
La segunda ecuacion de eigenvalores es simplemente la ecuacion de Schrodinger

independiente del tiempo, y sus soluciones determinan el espectro de energa.
Explcitamente tenemos
i eiky (x)
p2x + (
py + e B0 x
)2
2m
h
i (x)
= eiky p2x + (}k + e B0 x
)2
2m
h mw2
2 i
p
c
(
x + x0 )2 + x (x)
= eiky
2
2m
iky
= Ee (x),
H(x,
t) =
(4.17)
donde wc = eB0 /m y x0 = }k/eB0 . Con esto, despues de reemplazar px por

i}/x, obtenemos la ecuacion diferencial
mwc2
}2 2
2
(x
x
)
(x) = E(x).
+
0
2m x2
2
(4.18)
Esta expresion es identica a la ecuacion de Schrodinger para un Oscilador

Armonico unidimensional, con un frecuencia wc , excepto que tenemos un
px
termino (xx0 )2 en lugar de uno x2 , con x0 = eB
. Por simplicidad tomemos
0
x
= x x0 , sin que haya perdida de generalidad. Esto simplemente significa
que el centro de las oscilaciones se encuentra en x = x0 . Vemos pues que
nuestro problema bidimensional en esta norma es identico al de una partcula
libre en una dimension y un oscilador armonico desplazado en la otra. Mas
importante a
un, en el u
ltimo caso, los niveles de energa, llamados tambien
niveles de Landau, los cuales se representan en la Figura(4.2), son
En = }wc
1
n+
2
con
n = 0, 1, 2, 3, . . .
(4.19)
Notemos tambien, que los niveles de energa no dependen de k, el momento

en la direccion y. Cada valor de n puede tener cualquier valor de k, por lo que
los niveles de energa estan altamente degenerados. Este hecho sera relevante
para la discusion del efecto Hall cuantico en captulos posteriores.
La solucion explcita a la ecuacion de Schrodinger es de la forma
n (
x) =
donde =
eB 1/4
0
2}
1 2
1
Hn ()e 2 ,
2n n!
(4.20)
p
eB0 /2}(
x). Sustituyendo las soluciones encontradas en la rep-
CAPITULO 4. METODO
CANONICO
42
Figura 4.2: Representacion de los Niveles de Landau.
resentacion espectral para el propagador de Feynman, Ec.(3.17), obtenemos

K(
x, x
0 ; ) =
n (
x, )n (
x0 , 0)eiEn /}
1 2 eB0 1/4
1
Hn ()e 2
2}
2}
2n n!
n
i
1 02
1
Hn (0 )e 2 eiEn /}
2n n!
1
2
02
eB 1/2 X
e 2 ( + )iEn /}
0
(4.21)
.
Hn ()Hn (0 )
=
n n!
2}
2
n
X h eB0 1/4
esta es la forma del propagador de Feynman correspondiente al campo

magnetico. La forma a la que llagamos, en el calculo de este propagador,
es complicada y necesitamos que tome una forma mas sencilla y as poder
entenderla mejor, para lograrlo usamos la formula de Mehler [6],
(1 z)1/2 exp
h 2xyz (x2 + y 2 )z 2 i
1 z2
n=0
Hn (x)Hn (y)
zn
.
2n n!
(4.22)
Si identificamos las variables de la siguiente forma x = , y = 0 , y
43
4.2. PROPAGADOR
z = eEn /}, obtenemos
r
mwc
1
exp [ (x2 + y 2 )]z 1/2 (1 z 2 )1/2
}
2
h 2xyz (x2 + y 2 )z 2 i
,
(4.23)
exp
1 z2
enseguida ordenamos los diferentes terminos del propagador, para esto nos
auxiliaremos de la siguiente identidad.
0
K(
x, x
; ) =
1 + z2
1
z2
=
+
2(1 z 2 )
2 1 z2
Obteniendo:
(4.24)
r
mwc
z
K(
x, x
; ) =
}
1 z2
1 + z2 i
h 1
2
2
(2xyz
(x
+
y
)
) , (4.25)
exp
1 z2
2
realizando las siguientes sustituciones trigonometricas,
0
1 z2
1 + z2
,
cos(wc ) =
,
2z
2z
obtenemos la representacion del propagador, correspondiente al campo magnetico,
en una forma mas sencilla.
s
eB0
0
K(
x, x
; ) =
4} sin(wc )
h
i
eB0
exp
(
x2 + x
0 2 ) cos(wc ) 2
xx
0 ,(4.26)
4} sin(wc )
sin(wc ) =
de este propagador podemos identificar al campo eB0 = 2m wc , con wc como

la frecuencia del ciclotron. Finalmente, el propagador de Feynman para la
partcula cargada en presencia de un campo magnetico uniforme, K(~r, ~r0 ; ),
toma la siguiente forma,
K(~r, ~r0 ; ) = Kz (z, z 0 ; )K (
x, x
0 ; )
r
n m (z z 0 )2 or
m
m wc
exp
=
2}
2}
2} sin(wc )
h m w
i
c
exp
(
x2 + x
0 2 ) cos(wc ) 2
xx
0 , (4.27)
2} sin(wc )
donde x
= x x0 . En Captulos posteriores obtendremos la expresion correspondiente mediante el metodo de la Integral de Caminos y el de Schwinger
y al final compararemos las ventajas y desventajas de cada formalismo.
44
CAPITULO 4. METODO
CANONICO
Captulo 5
Integral de Caminos
Estamos ahora listos para estudiar la dinamica de una partcula cargada
en un campo magnetico uniforme mediante el formalismo de Integral de
Caminos [14]. Este es el tema central del presente captulo. Comenzaremos
discutiendo la accion clasica para este sistema y concluiremos con el calculo
explcito del propagador Feynman y su dependencia en la norma.
5.1.
La Acci
on Cl
asica
Recordemos que clasicamente, la interaccion de una partcula de carga q con

con campo magnetico esta dada por
Z tb
dt x(t)
A(x (t)),
(5.1)
Smag = q
ta
donde A(x) es el vector potencial asociado al campo magnetico. La accion

total del sistema es entonces
Z tb
i
hm
x 2 (t) + q x(t)
A(x (t)) .
(5.2)
S[x] =
dt
2
ta
Supongamos, al igual que antes, que la partcula se mueve en un campo
Tal campo se describe, por ejemplo, a
magnetico homogeneo B = B0 k.
traves el potencial vector en la norma de Landau A = B0 (0, x, 0), como se
representa en la Figura (5.1), pero hay otras posibilidades [17]. El campo
B=A
(5.3)
es invariante bajo una transformacion de norma

A A + ,
45
(5.4)
46
CAPITULO 5. INTEGRAL DE CAMINOS
Figura 5.1: Campo magnetico orientado en la direccion z, observese que no hay influencia
en la misma direcci
on z. Este campo puede ser representado por un vector potencial A dado
en varias normas.
donde es una funcion arbitraria de x, que satisface la condicion de integracion de Schwarz

(i j j i ) = 0 .
(5.5)
Por ejemplo, el vector potencial axialmente simetrico,
(5.6)
A(x)
= Bx
2
describe al mismo campo magnetico, y es diferente al potencial vector en la
norma de Landau por una transformacion de norma a traves de la funcion
1
= B0 x y.
2
(5.7)
Una vez hecha la eleccion de la norma, en su forma canonica [5], para

una partcula de carga q = e, la accion se escribe
Z tb
1
2
S[P, x] =
dt P x
[P + e A(x)] .
(5.8)
2m
ta
La interaccion magnetica de una carga puntual, de este modo, se incluye a
traves de la llamada sustitucion mnima de la variable de momento,
P = P + eA ,
(5.9)
tal como hicimos en el captulo anterior. Con esta forma de la accion calcularemos, a continuacion, el propagador de Feynman mediante el metodo de
la Integral de Caminos.
47
5.2. PROPAGADOR
Figura 5.2: Funcion Delta de Dirac en 1D, su principal propiedad f (x)(x)dx = f (0),
R
nos permite realizar las N integraciones correspondientes al momento.
5.2.
Propagador
Trabajando en la norma de Landau, la amplitud para que una partcula

cargada inmersa en un campo magnetico constante vaya de x0 a x en un
intervalo de tiempo = t0 t esta dada por [7]
Z
o
n
S[P, x] ,
(5.10)
hx, t|x0 , t0 i = N Dx exp
}
con la siguiente accion propiamente discretizada
N
X
xn + xn+1
S[P, x] =
Pn (xn xn1 ) H
, Pn
2
=
n=1
N h
X
n=1
Pn (xn xn1 )
i
2
Pxn +(Pyn +eB0 xn )2 +Pz2n . (5.11)
2m
Ya que laPaccion S contiene las variables yn y zn , solo en lo primeros

terminos de N
n=1 Pn xn , podemos realizar las integraciones de yn , zn y encontrar el producto de N funciones , como la representada en la Figura (5.2), en las componentes y y z del momento Pn . Si denotamos por p0 a
la proyeccion de P al plano yz, el producto resultante es
(2})2 2 (p0N p0N 1 ) . . . (2})2 2 (p02 p01 )
(5.12)
Esto permitira realizar todas las integrales Pyn , Pzn . Excepto para una gen-
48
eral Py , Pz , la integral de caminos se reduce a
hx, t|x0 , t0 i =
N hZ
N 1 Z
iY
n
o
dPy dPz Y h
dPxn i
(N 1)
dx
exp
S
n
2
2}
} x
(2}) n=1
n=1
0
0
0 Pz
Py (y y ) + Pz (z z ) (t t )
,
(5.13)
exp
}
2m
(N 1)
[P, x] es la accion que involucra, solamente, a una integral de

donde Sx
caminos de una dimension sobre la componente x del camino, x(t):
N h
X
Sx(N 1) [P, x] =
n=1
Pxn (xn xn1 )
i
Px2n
1
(Py + e B0 xn )2 . (5.14)
2m
2m
Esta es, precisamente, la accion para el oscilador armonico unidimensional

desplazado, con una frecuencia de ciclotron wc = eB0 /(m) y cuyo centro de
oscilacion se localiza en x0 = py /(mwc ). La integral de caminos sobre x(t) es
armonica (ver p. ej. (3.78)) y conocida, por lo que escribimos directamente
0
hx, t|x , t ix0
h
mwc
mwc
exp
0
2} sin(wc (t t ))
} 2 sin(wc (t t0 ))
n
[(x x0 )2 + (x0 x0 )2 ] cos(wc (t t0 ))
oi
2(x x0 )(x0 x0 ) .
(5.15)
Realizando la integral sobre Pz en la Ec.(5.13), llegamos a

0
hx, t|x , t i = p
m
2}
2}(t t0 )/m
(zz 0 )2
(tt0 )
hx , t|x0 , t0 i ,
(5.16)
con la amplitud ortogonal a el campo magnetico dada por

hx , t|x0 , t0 i
mwc
2}
dx0 emwc x0 (yy )/}hx, t|x0 , t0 ix0 .
(5.17)
Despues de completar los cuadrados en x0 , en el exponente total en la Ec.
49
5.2. PROPAGADOR
(5.17), este toma la forma
h
mwc
mwc
x0 (y y 0 ) +
((x x0 )2 + (x0 x0 )2 )
}
2} sin wc (t t0 )
i
cos wc (t t0 ) 2(x x0 )(x0 x0 ) =
wc (t t0 )
mwc
(x x0 )2
2
02
(x + x ) tan
+
2}
2
sin wc (t t0 )
wc (t t0 )
wc m
x20 tan
}
2
0
wc m
wc (t t )
0
0
+
+ (y y )
x0 (x + x ) tan
}
2
Para poder realizar la integral de x0 , usamos
Z
Z
b 2 b2
2
dxeax +bx = dxea(x 2a ) 4a ,
(5.18)
(5.19)
de donde obtenemos, al realizar las integraciones Gaussianas, que el argumento de la exponencial es

wc m h
(x x0 )2 i
wc (t t0 )
)+
(x2 + x02 ) tan(
2}
2
sin wc (t t0 )
2
mwc
x x0
y y0
wc (t t0 )
tan
x0
0
}
2
2
2 tan wc (tt )
2
wc (t t0 )
(y y 0 )2 i
mwc h (x + x0 )2
tan(
)+
+
0)
2}
2
2
)
2 tan( wc (tt
2
mwc
(x + x0 )(y y 0 )
(5.20)
+
2}
R
Al realizar la integracion mwc dx0 /2}, se remueve el segundo termino
y resulta en un factor
v
mwc u
}
u
(5.21)
t
2} m w tan wc (tt0 )
c
Ordenando los terminos restantes, obtenemos la amplitud

0
hx, t|x , t i =
m
2}(t t0 )
3/2
h
i
wc (t t0 )/2
exp (Scl + Ssf ) , (5.22)

0
)
}
sin wc (tt
2
50
con la accion
wc (t t0 ) h
(x x0 )2
2
i
o
+(y y 0 )2 + wc (x0 y x y 0 )
m n (z z 0 )2 wc
+
cot
Scl =
2
t t0
2
y un termino de superficie
(5.23)
b
mwc
e
(x y x0 y 0 ) = B0 xy .
2
2
a
Ssf =
(5.24)
Ya que la accion es armonica, otra vez la amplitud es un producto de una fase

ecl y un factor de fluctuacion. Finalmente, solo resta escribir el propagador
de Feynman obtenido en todo su esplendor,
hx, |x0 , 0i =
m 3/2 w /2
h m n (z z 0 )2
c
w exp
+
2}
2}
sin 2c
wc
wc
)[(x x0 )2 +
+ cot(
2
2
oi
+(y y 0 )2 ] + wc (x x0 )(y y 0 )
(5.25)
donde hemos tomado = t t0 . Con las identidades trigonometricas apropiadas, esta expresion coincide con la obtenida a partir del Metodo Canonico
en el Captulo anterior.
Enseguida presentaremos unos comentarios sobre la dependencia de norma del propagador y la invariancia de norma de las cantidades fsicas observables que se derivan de este.
5.3.
Invariancia de Norma
Notemos, primeramente, que la amplitud de evolucion temporal no es

invariante de norma; si usamos el potencial vector en una norma distinta a
la de Landau a traves de la transformacion
A0 (x) = A(x) + (x),
(5.26)
la accion cambia por un termino de superficie

S = e
t
t0
dx x (x) = e [(x) (x0 )],
(5.27)
51
5.3. INVARIANCIA DE NORMA

de forma que el propagador de Feynman cambia de acuerdo a
hx, t|x0 , t0 iA hx, t|x0 , t0 iA0 = ee(x)/}hx, t|x0 , t0 iA ee(x)/}.
(5.28)
Esta ley de transformacion es valida tambien en la electrodinamica cuantica

relativista, donde recibe el nombre de transformacion de Landau-KhalataikovFradkin [11] para el propagador del electron.
Para observables como la distribucion de partculas hx, t|x0 , t0 i, el factor
de fase es obviamente irrelevante. En realidad, todas las otras observables
fsicas del sistema tambien deben de ser independientes de la fase que involucra a (x), pues dichas observables corresponden a operadores que son
invariantes de norma.
Es interesante ver como el propagador garantiza invarianza de traslacion
de todas las observables fsicas. El primer termino en la accion clasica es
trivialmente invariante, mientras que el u
ltimo termino se escribe
S =
mwc 0
(x y x y 0 ) .
2
(5.29)
Bajo una traslacion x x + d, este termino cambia por

mwc
mwc
[dx (y y 0 ) + dy (x0 x)] =
[(d x)b (d x)a ]z ,
2
2
(5.30)
causando en la amplitud un cambio puramente de norma,

hx, t|x0 , t0 i ee(x)/}hx, t|x0 , t0 iee(x)/},
(5.31)
con la funcion de norma

(x) =
mwc }
[d x]z .
2e
(5.32)
Como las observables fsicas son cantidades invariantes de norma, tales transformaciones son irrelevantes.
Con esto concluimos el estudio del propagador de Feynman para una
partcula cargada en presencia de un campo magnetico uniforme mediante el
metodo de la Integral de Caminos. Resta solamente estudiar este problema a
la luz del Metodo de Schwinger, lo cual realizaremos en el captulo siguiente.
52
Captulo 6
M
etodo de Schwinger
Ya hemos visto el calculo del propagador por dos metodos, el Canonico [7]
y el de la Integral de Caminos [14], para el problema de Landau. Ahora
vamos ha revisar el u
ltimo metodo que nos ocupa en esta tesis, el Metodo
del Tiempo Propio de Schwinger [16].
6.1.
Propagador
Como hemos se
nalado antes, el propagador de Feynman del problema de Landau es de la forma K(~r, ~r0 ; ) = Kz (z, z 0 ; )K (x, x0 ; ) donde Kz (z, z 0 ; )
es el propagador libre en direccion del campo magnetico, que al igual que
Emplearemos ahora el metodo de Schwinger [16],
antes, suponemos en la direccion k.
para obtener K (x, x0 ; ) = hx, | x0 , 0i. Comenzamos escribiendo la ecuacion
diferencial
}
hx, | x0 , 0i = hx, | H (X (0), (0)) | x0 , 0i,
(6.1)
donde X ( ) = X1 ( ) + X2 ( ), ( ) = 1 ( ) + 2 ( ) y el Hamiltoniano
H = (12 + 22 )/2m. En la expresion anterior, |x, i y |x0 , 0i son los eigenvectores de los operadores de posicion X( ) = X1 ( ) + X1 ( ) y X(0) =
X1 (0) + X1 (0). Mas especficamente, los operadores X1 (0), X1 ( ), X2 (0)
y X2 ( ) tienen los eigenvalores x01 , x1 , x02 , x2 respectivamente. Para resolver
las ecuaciones de movimiento de Heisenberg, para los operadores X y ,
necesitamos los conmutadores [3]:
h
i
Xi ( ), j2 ( ) = 2}i ( ),
h
i
i ( ), j2 ( ) = 2}eB0 ij3 j ( ).
(6.2)
53

CAPITULO 6. METODO
DE SCHWINGER
54
Aqu ij3 es el smbolo usual de Levi-Civita. Introduciendo la siguiente

notacion matricial
1 ( )
X1 ( )
,
(6.3)
; ( ) =
X( ) =
2 ( )
X2 ( )
y usando los conmutadores previos, las ecuaciones de movimiento de Heisenberg, Ec.(3.85), pueden ser llevadas a la forma
X( )
( )
( )
,
m
(6.4)
= 2wc C( ),
(6.5)
donde 2wc = eB0 /m es la frecuencia del ciclotron y definimos la matriz
0 1
C=
.
(6.6)
1 0
Integrando la Ec. (6.5) obtenemos
( ) = e2wc C (0).
(6.7)
Sustituyendo esta solucion en la Ec. (6.4) e integrando una vez mas, tenemos
X( ) X(0) =
sin(wc ) wc C
e
(0),
mwc
(6.8)
donde hemos usado las siguientes propiedades de la matriz C [18, 19] : C2 =

11; C1 = C = CT , eC = cos()11 + sin()C con CT siendo la matriz C
transpuesta. Con los resultados anteriores, escribimos (0) en terminos de
los operadores deseados, es decir,
mwc wc C
X( ) X(0) .
(6.9)
e
(0) =
sin(wc )
Para expresar el Hamiltoniano en terminos de X( ) y X(0), hacemos uso
de la expresion anterior de modo que, en notacion matricial,
1 T
(0)(0)
2m
mwc2
X T ( )X( ) + X T (0)X(0)
=
2
2 sin (wc )
X T ( )X(0) X T (0)X( ) .
H =
(6.10)
55
6.1. PROPAGADOR
El u
ltimo termino, del lado derecho de la ecuacion anterior, no esta ordenado
apropiadamente. Para obtener el orden apropiado, usamos
X T (0)X( ) = X T ( )X(0) +
2
X
[Xi (0), Xi ( )].
(6.11)
i=1
Usando la Ec.(6.8), el conmutador usual [Xi ( ), j ( )] = }ij 11 y las propiedades

de la matriz C, es facil mostrar que
2
X
[Xi (0), Xi ( )] =
i=1
2} sin(wc ) cos(wc )
.
mwc
(6.12)
As, el Halmitoniano H , con el apropiado orden temporal toma la forma

H =
n
o
mwc2
2
2
T
X
(
)
+
X
(0)
2X
(
)X(0)
}wc cot(wc ). (6.13)
2 sin2 (wc )
Sustituyendo este Halmitoniano en la Ec. (6.1) e integrando en , obtenemos

hx, |x0 , 0i =
n mw
o
C(x, x0 )
c
exp
cot(wc )(x x0 )2 ,
sin(wc )
2}
(6.14)
donde C(x, x0 ) es una constante de integracion que puede ser determinada

con las condiciones que se muestran en el u
ltimo paso de la explicacion del
metodo de Schwinger [6], y que en este caso implican
e Aj (x) hx, |x0 0i

xj

hx, |j (0)|x0 0i =
} 0 e Aj (x0 ) hx, |x0 0i
xj
hx, |j ( )|x0 0i =
lm hx, |x0 0i = (2) (x x0 ).
0+
(6.15)
(6.16)
(6.17)
Para calcular los elementos de la matriz del lado derecho de la Ec.(6.15),

necesitamos expresar ( ) en terminos de X( ) y X(0). De las Ecs.(6.7) y
(6.9), tenemos
mwc wc C
e
( ) =
X( ) X(0) ,
(6.18)
sin(wc )
la cual nos lleva a
hx, |j ( )|x0 0i = mwc [cot(wc )(xj x0j ) + jk3 (xk x0k )]hx, |x0 0i. (6.19)

CAPITULO 6. METODO
DE SCHWINGER
56
Aqu hemos usado las propiedades de la matriz C y la convencion de Einstein para ndices repetidos en la suma. Analogamente el lado derecho de la
Ec.(6.16) puede ser calculado de la Ec.(6.9), y toma la forma
hx, |j (0)|x0 , 0i = mwc [cot(wc )(xj x0j )jk3 (xk x0k )]hx, |x0 , 0i. (6.20)
Sustituyendo estas dos expresiones en las Ecs.(6.15) y (6.16), respectivamente, y usando la Ec.(6.14), tenemos
i
1
+ e Aj (x) + eFjk (xk x0k ) C(x, x0 ) = 0,

xj
2
h
i
1
} 0 e Aj (x0 ) + eFjk (xk x0k ) C(x, x0 ) = 0,
xj
2
h
(6.21)
(6.22)
donde hemos definido Fjk = jk3 B0 [2]. Para resolver el sistema anterior
de ecuaciones diferenciales, hacemos lo siguiente: En la primera ecuacion,
(6.21), asumimos las variables x0 como constantes. Entonces, imponemos
que la solucion obtenida de esta forma es una solucion de la Ec.(6.22). Con
este objetivo en mente, multiplicamos ambos lados de la Ec.(6.21) por dxj
y sumamos sobre j, para obtener
i
e h
1 C
1
Aj (x) + Fjk (xk x0k ) dxj .
dxj =
C xj
}
2
(6.23)
Integrando, obtenemos
0
C(x, x ) = C(x , x ) exp
o
1
[A() + Fjk (k x0k )]dj ,
2
n e Z
}
(6.24)
donde la integral de lnea, se asume que es a lo largo de una curva que va a

ser especificada mas adelante. En esta integral de lnea no hay dependencia
de la curva que une a x0 y x.
Para determinar la ecuacion diferencial para C(x0 , x0 ), debemos de sustituir la Ec.(6.24) en la Ec.(6.16). Haciendo esto y usando cuidadosamente el
teorema fundamental del calculo, es facil mostrar que
C 0 0
(x , x ) = 0,
x0j
(6.25)
lo cual quiere decir que C(x, x0 ) es una constante C0 , independiente de x0 .

Notemos que
[B0 ( x0 )]j = Fjk (k x0k ).
(6.26)
57
6.1. PROPAGADOR
La Ec.(6.24) puede ecribirse como
n e Z
o
1
0
C(x, x ) = C0 exp
[A() B0 ( x0 )] d .
}
2
(6.27)
Observemos ahora que la integral en la anterior ecuacion tiene un rotacional que se anula,
h
i
1
A() B0 ( x0 ) = B0 B0 = 0,
(6.28)
2
lo cual quiere decir que la integral de lnea es independiente del camino de

integracion. Escogiendo, convenientemente, como camino de integracion la
lnea recta que va desde x0 hasta x, se puede mostrar que
Z
[B0 ( x0 )] d = 0,
(6.29)
sl
donde sl quiere decir una lnea recta de x0 a x. Con esta simplificacion, la

C(x, x0 ) toma la forma
n e Z
o
0
C(x, x ) = C0 exp
A() d .
(6.30)
} sl
Sustituyendo la u
ltima expresion en la Ec.(6.14) y usando la condicion inicial Ec.(6.17), obtenemos C0 = m wc /2}. De esta forma, el propagador
de Feynman para una partcula cargada bajo la influencia de un campo
magnetico constante y uniforme toma la forma
r
n e Z x
o
mwc
m
0
exp
K(r, r : ) =
A() d
2} sin(wc ) 2}
} x0
n mw
o
n m (z z 0 )2 o
c
exp
.
(6.31)
cot(wc )(x x0 )2 exp
2}
2}
En la expresion anterior, se hemos omitido el smbolo sl , pero esta implcito que la integral de lnea debe hacerse a lo largo de una lnea recta.
Ademas, hemos ya puesto el propagador libre a lo largo de la direccion k.

Algunos comentarios sobre esta expresion se presentan enseguida.
6.1.1.
Invarianza de Norma
Una vez que hemos obtenido el propagador para el problema de Landau

con el Metodo de Schwinger, es importante se
nalar algunas diferencias que
existen entre la expresion (6.31) y los resultados obtenidos con anterioridad.

CAPITULO 6. METODO
DE SCHWINGER
58
Figura 6.1: Posibles trayectorias de r a r0 , que podran usarse para evaluar la integral,
en la fase de Schwinger.
Primeramente, debemos de remarcar el hecho de lo que ocurre con la

integral de lnea, la cual aparece en la exponencial al lado derecho de la
Ec.(6.31), llamada fase de Schwinger, la cual tiene la forma,
)
n e Z r
0
(r, r ) = exp
A() d .
} r0
La integral en (r, r0 ) debe de ser evaluada, necesariamente, a lo largo de
una lnea recta entre los puntos r y r0 como se representa en la Figura (6.1).
Si por alguna razon queremos escoger alg
un otro camino de integracion,
simplemente debemos de evaluar la integral
Z rh
i
1
A() B0 ( x0 ) d.
2
r0
Por otro lado, ya que resolvimos las ecuaciones de Heisenberg para los
operadores invariantes de norma X y , nuestro resultado final esta escrito
en una norma generica. Notemos aqu que la partes que son independientes
de la norma y las que son explcitamente dependientes en el propagador,
estan claramente separadas. La eleccion de la norma corresponde en escoger
una expresion particular para A(). Ademas, de la Ec.(6.31), obtenemos
de forma inmediata, la ley de transformacion para el propagador, bajo una
transformacion de norma A A + [17],
e
K(r, r0 ; ) 7 e } (r) K(r, r0 ; )e } (r ) .
(6.32)
Esta es la forma dicatada por la transformacion de Landau-KhalataikovFradkin [11] que mencionamos en el Captulo anterior.
A continuacion estudiaremos los niveles de energa a partir del propagador (6.31).
59
6.1. PROPAGADOR
6.1.2.
Niveles de Energa
Recordemos que la presencia del campo magnetico rompe la isotropa del
espacio, lo cual debe reflejarse en el propagador de Feynman. Este

debe
separar muy claramente el movimiento libre en la direccion del campo de
la partcula cargada de la dinamica perpendicular que se cuantiza, precisamente, por efectos del campo. Nuestro objetivo es entender como ocurre
esta separacion en la expresion (6.31). Notemos, primeramente, que nuestro
propagador se puede escribir como el producto de una funcion independiente
de norma y traslacionalmente invariante por la fase de Schwinger, que lleva
la informacion de la anisotropa inducida por el campo externo. Esto es,
K(x, x0 ; ) = (x, x0 )K(x x0 ; ).
(6.33)
Esta factorizacion es tambien valida en el caso relativista, donde es preferible

trabajar en el espacio de momentos y energas [22]. Dejando un poco de lado
la fase de Schwinger, escribimos el propagador K(x x0 ; ) en el espacio de
momentos a traves de su transformada de Fourier
Z
K(P ; ) =
d3 x eP x K(x; )
Z
=
d2 x dx3 eP x eP3 x3 K(x ; )K(x3 ; ),
(6.34)
donde, para un vector arbitrario ~a, a y a3 son las componentes transversas (ax , ay ) y paralela (az ) al campo, respectivamente. Podemos separar las
integrales para estas componentes,
r
Z
n
x2
P32 o 2
3
P3 x3 m
dx3 e
e 2 = exp
(6.35)
2m
m
Z
m wc
2
d2 x eP x e 2 cot(wc )x =
exp
P2
2
, (6.36)
m wc cot(wc ) m wc cot(wc )
de forma tal que el propagador de Feynman en el espacio de momentos puede

escribirse como
r
r
m
2
m wc
2
K(P ; ) =
2 sin(wc ) 2 m wc cot(wc ) m
n
h P2
P 2 io
exp
tan(wc ) + 3
2m wc
2m
n
h
2
P
P 2 io
exp
tan(wc ) + 3
=
. (6.37)
cos(wc )
2m wc
2m
60
CAPITULO 6. METODO
DE SCHWINGER
Figura 6.2: Prescripcion en el plano (complejo) de la energa.
Observemos que cuando tomamos el siguiente lmite wc = eB0 /m 0, es

decir, quitando el efecto del campo magnetico, obtenemos
K(P ; ) = e
2 +P 2
P
3
2m
P2
= e 2m ,
(6.38)
con lo cual recuperamos el propagador de la partcula libre.

Ya que obtuvimos el propagador en el espacio de momentos, nos hace
falta cambiarlo al espacio de energas. Para ello, tomamos la transformada
de Fourier en del propagador,
Z
K(P ; E) =
d eE K(P ; )
o
o
Z
n
P2 tan(wc )
P32
d
. (6.39)
exp E
+
=
cos(wc )
2m wc
2m
0
Notemos aqu que la prescripcion 00 , para 0, garantiza la convergencia de la integral. Salvo este termino, la expresion entre parentesis en la
exponencial, en el lmite B0 0, se reduce a la relacion no relativista de
energa-momento,
P2
E=
.
(6.40)
2m
La presencia del campo separa entonces, de manera visible, la dinamica
paralela al campo de la transversa, aunque en esta expresion no se logra
explicar a
un la cuantizacion inducida por el campo.
En la teora relativista, se identifica con el tiempo propio, de donde
el metodo para derivar el propagador toma su nombre. Con animos de comparacion, notemos que el propagador de Schwinger para una partcula escalar (relativista) cargada en presencia de un campo magnetico uniforme de
61
6.1. PROPAGADOR
intensidad B0 es
o
Z
n
P2 tan(eB0 )
d
2
2
.(6.41)
K(P ) =
exp Pk
m +
cos(eB0 )
eB0
0
Recordemos que en este caso, para el cuadrivector de energa-momento P =

(E, P1 , P2 , P3 ) de la partcula, Pk2 = E 2 P3 y P = P12 + P22 , con P 2 =
Pk2 P2 . As, cuando B0 0, el termino entre parentesis de la exponencial
se reduce a la relacion relativista de energa-momento,
E 2 = P 2 + m2 ,
(6.42)
escrita en unidades naturales, donde c = ~ = 1 cuando = 0. Esto quiere decir que la expresion en la Ec. (6.39) es simplemente la version no relativista
del propagador derivado originalmente por Schwinger [22], donde, nuevamente, la dinamica paralela al campo queda claramente de la dinpamica
transversa. Cabe se
nalar que existen desde hace alg
un tiempo expresiones
para los propagadores de partculas relativistas cargadas en presencia de
campos magneticos considerando su espn (ver, por ejemplo, [23]). Sin embargo, el caso no relativista se ha considerando muy recientemente [16].
Para entender por que la dinamica de la partcula cargada en el plano
transverso al campo magnetico se cuantiza, regresemos a la Ec. (6.39). Observemos que para = /2wc , en la exponencial ocurre que
lm
h e tan(x) i
cos(x)
0.
(6.43)
Con esto en mente y tomando el intervalo [0, ]/wc , nuestro propagador

toma la forma
Z (n+1)
X
wc
d
K(P ; E) =
cos(wc )
n=0 n wc
n
o
P 2 tan(wc )
P2
exp E
3 + .
(6.44)
2m wc
2m
Haciendo el siguiente cambio de variable y tomando en cuenta las propiedades

de las funciones tangente y coseno,
n
wc
tan(a + n) = tan(a)
= 0 +
cos(a + n) = (1)n cos(a),
(6.45)

CAPITULO 6. METODO
DE SCHWINGER
62
nuestro propagador toma la siguiente forma

Z
n
X
wc
P2 tan(wc 0 )
(1)n
0
E
exp
d 0
K(P ; E) =
cos(wc 0 )
2m wc 0
n=0 0
o
n n
o
P2
P2
E 3 +
3 + exp
2m
wc
2m
Z
wc
d
o
n
=
2
P3
cos(w
c )
0
1 + exp wc E 2m +
n
o
P 2 tan(wc )
P2
exp E
3 + .
(6.46)
2m wc
2m
Resta tan solo realizar la integral en la expresion anterior. Para esto, hacemos
el cambio de variable u = e2wc y usamos la funcion generatriz de los
polinomios de Laguerre,
x z
X
e 1z
Ll (x)z l
=
1z
donde
|z| < 1.
l=0
(6.47)
Con esto, nuestro propagador se reduce a

K(P ; E) =
wc
n
o
d
P32
0
1 + exp wc E 2m
+
io
n
n h
P2 o
P2
exp E 3 + exp
2m
2m wc
P2
P2
X
X
ul 2
e (2l+1)wc . (6.48)
(1)l Ll
Ll
m wc
m wc
l=0
l=0
Finalmente, integrando y reduciendo terminos, obtenemos
K(P ; E) = 2
X
l=0
Ll
(1)
2
P
m wc
P2
2mw
E (2l + 1)wc
P32
m wc
(6.49)
Este es el propagador de Feynman en el espacio de momento-energa.

Esta es una contribuci
on original, hasta donde hemos podido averiguar, del
presente trabajo de tesis.
Notemos que los polos de la funcion, que se localizan en
E = (2l + 1)wc +
P32
= E + Ek
2m
(6.50)
63
6.1. PROPAGADOR
corresponden a la energa de la partcula cargada en presencia de un campo

magnetico uniforme; libre en direccion del campo, y mas a
un, cuantizada
en forma de niveles de Landau en el plano transverso. De este modo, vemos
que el propagador de Feynman da cuenta de la separacion entre la dinamica
paralela y transversa, con respecto a la direccion del campo magnetico, pero
ademas, refleja la cuantizacion de la energa inducida por el campo en el
plano transverso.
Por comparacion, en el bien estudiado caso caso relativista [23], tenemos
que el propagador se escribe como
K(P ; E) = 2
X
l=0
(1)
Ll
2
2P
eB0
P2
eB
Pk2 (2l + 1)eB0 m2 +
(6.51)
de forma tal que los polos de esta expesion corresponden precisamente a los
niveles de energa relativistas para la partcula cargada en presencia de un
campo magnetico uniforme.
De esta manera, hemos concluido con el calculo del propagador por el
u
ltimo metodo estudiado en esta tesis. Enseguida lo usaremos para una
aplicacion fsica, Efecto Hall Cuantico.
64
CAPITULO 6. METODO
DE SCHWINGER
Captulo 7
Aplicaciones
A continuacion, presentaremos un fenomeno fsico cuya descripcion nos
demanda hacer uso del propagador de Feynman: el efecto Hall Cu
antico.
Para ello, primeramente veremos como obtener la funcion de particion de la
Mecanica Estadstica para un sistema a partir del propagador de Feynman
correspondiente. Obtendremos la funcion de particion para una partcula
no relativista cargada inmersa en un campo magnetico uniforme y de ah,
discutiremos la base fsica para la observacion del efecto Hall Cuantico, una
de las manifestaciones macroscopicas de la Mecanica Cuantica.
7.1.
Funci
on de Partici
on
Existe una conexion directa entre el propagador de Feynman de la mecanica

cuantica y la funcion de particion de la mecanica estadstica. Recordemos
que la funcion de particion se define como
Z() = T r e H ,
(7.1)
donde = 1/(kB T ), siendo kB la constante de Boltzmann y T la temperatura. La operacion de la Traza puede ser tomada sobre una base discreta dada
por eigenfunciones del Hamiltoniano [7], o mas convenientemente, sobre el
continuo de eigenestados del operador de posicion, |x00 i, de la forma
Z
dx00 hx00 |e H |x00 i.

(7.2)
Z() =
Notemos que el integrando de esta expresion se puede identificar con el

propagador de Feynman, pues el operador eH se puede identificar con
65
CAPITULO 7. APLICACIONES
66
un operador de evolucion temporal con = } . Entonces, la funcion de

particion es simplemente el propagador de Feynman con los puntos finales
x00 = x0 = x y = } como el intervalo imaginario de tiempo, es decir,
hx|e H |xi = hx, }|x, 0i.
(7.3)
Por ejemplo, a partir del propagador del oscilador armonico, Ec.(3.104),

tenemos que
hx, }|x, 0i =
mwc
2} sinh(wc })
h
i
mwc
exp
(cosh(wc }) 1)x2 , (7.4)
} sinh(wc })
r
donde hemos usado las identidades sin() = sinh() y cos() =

cosh(). Entonces, la funcion de particion correspondiente es, simplemente,
Z() =
=
mwc
2} sinh(wc })
1
,
2 sinh(1/2wc })
h mw x2
w } i
c
c
exp
tanh
dx
}
2
(7.5)
donde se usaron las identidades cosh() 1 = 2 sinh2 (/2) y sinh() =

2 sinh(/2) cosh(/2). Este es la bien conocida expresion para la funcion de
particion de un oscilador armonico unidimensional. La idea es ahora hacer
lo mismo para el problema de Landau.
Usando la expresion para el propagador de Feynman que obtuvimos en
captulos anteriores, tomando = }, la funcion de particion se escribe
de la siguiente manera,
Z() = T r [K(x, x0 ; })]
Z
Z
dx0 K(x, x0 ; })
dx
=
Z
Z
m wc
=
dx
.
dx0
2}
sinh(}w
c)
(7.6)
(7.7)
Notemos que el resultado es divergente! porque la integracion se realiza

sobre el plano infinito xy. Esto es consecuencia de la degeneracion infinita
de los niveles de Landau. Para proceder asumimos que el area es tan grande

7.2. EL EFECTO HALL CUANTICO
67
como queramos, pero finita. Con esto, podemos escribir,

Z
L/2
dx1
L/2
L/2
L2 m w
L/2
dx2 K(r, }; x0 , 0)
2} sinh(}wc )
L2 e B0 e1/2}wc
4} 1 e}wc
X
L2 e B0
n=0
4}
e(n+1/2)}wc ,
donde wc = e B0 /2m la frecuencia del ciclotron. Comparando este resultado

con la expresion general para la funcion de particion de un sistema con
niveles de energa En y degeneracion gn , dada por
X
Z() =
gn e En ,
(7.8)
n
podemos identificar directamente los niveles de energa y la correspondiente

degeneracion por unidad de area para los electrones de Landau,
1
} wc ;
En = n +
2
e B0
gn
=
A
4}
(n = 0, 1, ).
(7.9)
A continuacion veremos como hacer la conexion de este resultado con el

Efecto Hall Cuantico.
7.2.
El Efecto Hall Cu
antico
El Efecto Hall, descubierto en 1879, ocurre cuando una corriente electrica,

con densidad de corriente j = jx asociada a un campo electrico E = Ex y
con portadores de carga moviendose con velocidad promedio v, es sometida
como se muestra en la
a un campo magnetico perpendicular B = B0 k,
Figura (7.1). Esto provoca que los portadores, que supondremos son de
carga q, experimenten una fuerza de Lorentz
FL = q(E + v B).
(7.10)
Si despreciamos, por el momento, los efectos del campo electrico, es facil

convencerse de que las trayectorias parametricas seguidas por los portadores
68
Figura 7.1: Diagrama esquematico de la configuracion de un pequeno voltaje V, a lo

largo de un conductor, y el voltaje Hall VH transverso a la corriente I, en al presencia de
un campo magnetico B. La resistencia R y la resistencia Hall RH , est
an determinados
por I, V y VH como se indica.
de carga son
x(t) =
y(t) =
q B
vm
0
cos
t + x0 ,
q B0
m
q B
vm
0
sin
t + y0 .
q B0
m
(7.11)
As que tenemos partculas moviendose en crculos, cuyo centro esta en

(x0 , y0 ), de radio r = v m/q B0 y con una frecuencia de Larmor wc = q B0 /m.
Si tomamos en cuenta el campo electrico, su efecto es acelerar a las partculas en su direccion, as que en lugar de tener crculos, tendremos espirales
desplazandose en la direccion del campo electrico. Consideremos ahora el
material por el cual esta pasando la corriente. Observemos que los portadores son desviados hacia uno de sus bordes por la fuerza vx B0 en la direccion
, dando lugar a una acumulacion de carga. Esto es, hay una diferencia de
potencial entre los bordes del material, llamado voltaje de Hall Vh , que da

69
origen a un campo electrico perpendicular tanto a la corriente inicial como al

campo magnetico, y por consiguiente, una fuerza adicional que act
ua sobre
los portadores de carga. Cuando el sistema llega a un estado estacionario,
el campo electrico inducido (campo de Hall) es de magnitud EH = vx B0 .
Recordando ahora que la densidad de corriente j = nqv = I/A, donde n
es la densidad de portadores, I la corriente y A el area transversal, tenemos
EH =
VH
I B0
=
,
w
qnA
(7.12)
donde w y d corresponden a las medidas de muestra en la Figura (7.1).

La conductancia asociada al voltaje de Hall, llamada conductancia Hall,
esta dada por:
ne
jx
=
,
(7.13)
H x y =
Ey
B0
donde x y es la componente x y del tensor de conductividad.
En la decada de los 70s, debido al progreso de la ciencia de materiales,
nuevos semiconductores fueron desarrollados, en los cuales se pueden formar
capas con interfases en las que podemos tener un gas de electrones bidimensional. En 1980, utilizando estos materiales, Von Klitzing, Dorda y Pepper
descubrieron que al aumentar la intensidad del campo magnetico y bajar
la temperatura del sistema, la conductividad de Hall exhibe mesetas, como
se muestra en la Figura (7.2), como funcion del n
umero de electrones participando en el efecto [20]. Ademas, se presentan mesetas en la resistencia
Hall (transversa), lo que ocurre a temperaturas bajo los 4K. Las mesetas se
vuelven mas anchas y planas entre menor sea la temperatura y la resistencia
longitudinal cae a valores cercanos a cero cuando aparece cada meseta. Este
efecto es conocido como el efecto Hall Cu
antico, el cual es uno de los mas
notables y sorprendentes descubrimientos que ha ocurrido en la fsica de la
materia condensada.
Para poner en contexto el fenomeno, recordemos que para un gas bidimensional de electrones, el tensor de conductividad se vuelve antisimetrico,
con valor cero para sus componentes diagonales Y e2 /h en las componentes fuera de la diagonal cada que se forma una meseta,
0
e2 /h
=
.
(7.14)
e2 /h
0
Aqu es un entero peque
no, = 1, 2, 3, . . ., llamado factor de llenado.
Ademas se presentan mesetas en la resistencia Hall en valores RH = h/ e2 ,
0
h/ e2
=
.
(7.15)
h/ e2
0
70
La Figura (7.2) muestra una grafica tpica de la variacion de la resistencia

Hall y la resistencia longitudinal con el campo magnetico. En las zonas donde
Figura 7.2: La resistencia de Hall de un tpico gas de electrones en 2D vs. el campo

Magnetico a temperatura T = 50mk; la lnea punteada el es resultado Cl
asico.
se forman las mesetas en la resistencia Hall, la resistencia longitudinal cae a

cero. En estos puntos, los elementos en la diagonal del tensor de conductividad son nulos, por lo que el sistema no exhibe disipacion, y los elementos
fuera de la diagonal estan dados en terminos de constantes fundamentales y
tienen magnitud cuantizada. Hay dos ingredientes fundamentales para el entendimiento del efecto Hall Cuantico, el primero es el llamado cuantizacion
de Landau de los estados inducido por el campo magnetico en el movimiento
libre 2D de los electrones. Esta cuantizacion magnetica produce las brechas
cruciales en el espectro de energa, el cual veremos mas adelante. El segundo
ingrediente la localizacion, el cual no veremos en este analisis.
Para entender los efectos de la cuantizacion de Landau en el efecto Hall
Cuantico, consideremos ahora electrones, sin interaccion entre ellos, en un
campo magnetico uniforme, confinados en el plano x y y pongamos al campo
magnetico B paralelo al eje z. El propagador de Feynman para este sistema,

71
Figura 7.3: Densidad de probabilidad |n |2 en el plano x y, para los niveles de Landau

n = 0, 1, 2, 3.
en su forma espectral, es
r
h mw
i
m wc
c 2
0
exp
(z + z 02 )
hz, |z , 0i =
}
2}
r m w r m w e (n+1/2)wc }
X
c
c 0
Hn
z Hn
z
,(7.16)
}
}
2n n!
n=0
de donde podemos facilmente inferir la forma de las eigenfunciones y tambien

de las eigenenergas del sistema, que son
1
En = } wc (n + )
2
con
n = 0, 1, 2, 3, . . . ,
(7.17)
con wc = eB0 /m. Notemos que los niveles de energa no dependen de k, el

momento en la direccion y. Cada valor de n puede tener cualquier valor de
k, esto es, los niveles de energa estan altamente degenerados. Ademas, de la
forma de las eigenfunciones, la dependencia de y para todos los estados en
los niveles de Landau como se muestra en la Figura (7.3), son de la forma
eiky , y como su probabilidad es ||2 no hay variaciones en la direccion y.
Decimos que el estado esta extendido en esta direccion.
Supongamos que la muestra tiene dimensiones Lx y Ly a lo largo de
las respectivas direcciones. Notemos que la degeneracion de los niveles de
Landau corresponde, precisamente, al n
umero de valores de k para los que
podemos tener una funcion de onda extendida sobre la muestra, esto es
Ly
dgn
=
.
dk
2
(7.18)
72
Por otro lado, ya que los diferentes centro de oscilacion se encuentran en

k/eB, tenemos que
0 < k < eBLx ,
(7.19)
as que, integrando la Ec. (7.18) entre estos lmites,
gn =
eBA
,
2
(7.20)
donde A es el area de la muestra. Esto coincide precisamente con el resultado

ledo directamente de la funcion de particion para este sistema, Ec. (7.9),
lo que concreta una aplicacion directa del propagador de Feynman en la
descripcion de un sistema fsico.
Indagando mas sobre el efecto Hall cuantico, suponemos ahora que el material tiene n electrones libres por unidad de area, se define el factor de llenado como el n
umero de electrones libres por unidad de area entre el n
umero
de estados accesibles. Experimentalmente, variando el campo magnetico, se
observa que el cuando el n
umero de electrones libres llena completamente
un nivel de Landau, el sistema muestra poca disipacion. Esto sucede cuando
=
2n
= entero.
eB
(7.21)
Tomando en cuenta el principio de exclusion de Pauli, cada estado puede

ser ocupado solamente por un electron, lo que se da cuando un nivel de
energa (nivel de Landau) esta completamente lleno, con lo que tenemos la
explicacion al efecto.
El efecto Hall cuantico se observa variando el campo magnetico. Cuando
el campo aumenta, la energa del sistema tambien lo hace, pero, notemos
que cuando hemos llenado un nivel de Landau, hay una brecha de energa
en la cual, aunque la energa del sistema aumente por estar incrementando
el campo, no hay estados accesibles para ser ocupados por mas electrones.
As, al no haber aumento de carga, el voltaje de Hall permanece constante
en este rango de valores del campo. Es precisamente en estos valores donde
aparecen las mesetas tpicas del experimento Hall, Figura (7.2).
De esta manera conclumos el trabajo de tesis. En el siguiente Captulo,
presentamos las conclusiones a las que hemos llegado al termino de la misma.
Captulo 8
Conclusiones
Una vez que hemos terminado de explorar los diferentes metodos para obtener el propagador de Feynman en la Mecanica Cuantica, el objeto principal
de estudio de esta tesis, falta tan solo presentar las conclusiones a las que
hemos llegado al termino de la investigacion. Comenzamos presentando consideraciones generales sobre los metodos desde nuestra perspectiva.
El primer metodo que tratamos es el Metodo Can
onico, desarrollado en
el contexto de la segunda cuantizacion, que nos permite tener una forma
algebraica y rapida de calcular el propagador de Feynman a partir de su
representacion espectral. Desde el punto de vista de los calculos involucrados,
este metodo resulta muy practico y eficiente. El principal problema que nos
encontramos al utilizar el Metodo Canonico es conceptual: debemos recurrir
a la segunda cuantizacion, esto es, debemos encontrar primeramente las
soluciones a la ecuacion de Schrodinger correspondientes al problema que
estamos interesados y luego cuantizarlas. Esto se puede hacer de manera
exacta solo en un pu
nado de ejemplos, lo que limita los alcances del metodo.
El segundo metodo, el Metodo de la Integral de Caminos de Feynman,
nos proporciona, quizas, la representacion mas intuitiva de la amplitud de
transicion de una partcula que va de un punto a otro durante un intervalo temporal dado. Esto nos permite calcular el propagador directamente,
sumando todas las trayectorias que conectan a los puntos inicial y final de
la transicion. Para entender de mejor manera el significado fsico del propagador de Feynman, este metodo, sin lugar a dudas, es el mas conveniente. Al
trabajar con el metodo de la Integral de Caminos, nos dimos cuenta que se
requieren un gran n
umero de calculos y manipulaciones para poder escribir la
amplitud de transicion en forma de integrales Gaussianas, las cuales sabemos
manejar. Este hecho puede dificultar enormemente encontrar una expresion
73
74
CAPITULO 8. CONCLUSIONES
para el propagador de Feynman por este metodo en sistemas cuyos Hamiltonianos no son cuadraticos en sus variables dinamicas. Sin embargo, la
mayora de los sistemas fsicos se describen con Hamiltomianos cuadraticos,
as que este metodo es muy robusto.
El tercer metodo, es el Metodo de Schwinger, que ha sido utilizado principalmente en la teora cuantica de campos, es igual de u
til en la mecanica
cuantica ordinaria. Al ordenar el Hamiltoniano haciendo uso las soluciones
a las ecuaciones de Heisenberg corerespondientes, el metodo nos permite
encontrar al propagador de una manera simple y elegante: basta integrar
formalmente la ecuacion de movimiento para el propagador, este metodo es,
quizas, el mas robusto de los tres estudiados. Finalmente, el principal problema que detectamos es resolver las ecuaciones de movimiento de Heisenberg,
que en muchas ocasiones representan un gran reto. De cualquier manera,
el hecho de que este metodo se haya empleado con gran exito en la TCC,
nos permite suponer que puede (y debe) aplicarse mas ampliamente en la
mecanica cuantica ordinaria.
Respecto al problema de Landau, resulta muy interesante la relacion
que existe entre el propagador de Feynman para un sistema de dimension
finita y su funcion de particion. Esto nos permite calcular otras cantidades
fsicas observables a partir del propagador, por ejemplo, el factor de llenado
en el efecto de Hall cuantico. Este efecto, que implica la cuantizacion de la
resistencia electrica, es una de las mas claras manifestaciones de la mecanica
cuantica a nivel macroscopico.
El campo magnetico entra en el Hamiltoniano para el problema de Landau a traves del potencial vector mediante el acoplamiento mnimo, pero el
potencial no es u
nico, debido a que se le puede hacer una transformacion de
norma, que hace que el Hamiltoniano sea distinto para cada transformacion,
pero que no afecta el valor de las cantidades fsicas observables. Esto nos
obliga a fijar la norma para resolver la ecuacion de Schrodinger, de modo
que el propagador de Feynman se puede obtener directamente mediante el
Metodo Canonico siempre y cuando la norma que elegimos de entrada nos
permite tener soluciones con propiedades bien conocidas y facilmente manipulables. Esto aplica tambien al metodo de la Integral de Caminos, pues
debemos garantizar que la transformacion de norma nos permita escribir
el propagador en terminos de integrales Gaussianas. De cualquier manera,
sabemos que cuando vamos de una norma a otra, el propagador cambia
de a cuerdo a la regla de transformacion de Landau-Khalatnikov-Fradkin.
Con el Metodo de Schwinger, las situacion es distinta, pues toda la dependencia de norma del propagador queda factorizada en una fase, llamada
fase de Schwinger. Esto garantiza la independencia de norma de las canti-
75
dades fsicas observables. En este sentido, consderamos que el Metodo de
Schwinger ofrece una ventaja sobre los otros dos metodos en cuanto a que
no es necesario fijar la norma al principio del calculo.
Un resultado de esta tesis, original hasta donde sabemos, es la expansion
del propagador de Feynman el problema de una partcula cargada inmersa
en un campo magnetico de fondo, como una suma sobre niveles de Landau.
Esta suma posee las propiedades que, por un lado, muestran la separacion
entre la dinamica paralela y transversa al campo, pero ademas explican la
cuantizacion en la energa inducuda por dicho campo en el plano transverso.
Ademas, posee la generalizacion natural al caso relativista.
Para terminar, el uso de un metodo en especial para tratar cualquier
problema puede facilitar o complicar el encontrar una solucion al problema,
por esto, es necesario conocer varios metodos y as atacar el problema desde
varios puntos.
76
CAPITULO 8. CONCLUSIONES
Ap
endice A
Funcionales
Clasicamente, hay dos clases de sistemas dinamicos que podemos encontrar. Primero, esta el movimiento de una partcula o un cuerpo rgido, (con
un n
umero finito de grados de libertad) el cual puede ser descrito por un
n
umero finito de coordenadas. Tambien hay sistemas fsicos, donde el n
umero
de grados de libertad es innumerable e infinito. Tales sistemas son descritos
por campos. Ejemplos familiares de campos clasicos son el campo electro~ x, t) y B(~
~ x, t). Similarmente, el movimiento de
magnetico, descrito por E(~
una cuerda 1D es tambien descrito por un campo (~x, t), llamado el campo
de desplazamiento. Esto es, mientras las coordenadas de una partcula dependen solamente del tiempo, los campos tambien dependen continuamente
de algunas variables espaciales. De este modo, una teora descrita por campos es usualmente conocida como teora campo D + 1 dimensional, donde D
representa el n
umero de dimensiones espaciales, sobre las cuales las variables
del campo dependen.
En todo caso, es evidente que al tratar con sistemas dinamicos, estamos
tratando con variables de funciones continuas, en la mayora de las veces
realmente tratamos con funciones de funciones, las cuales son tambien conocidas como funcionales. Si consideramos el movimiento unidimensional de
una partcula en un potencial, el Lagrangiano correspondiente es
1
L(x, x)
= mx 2 V (x),
2
(A.1)
donde x(t) y x(t)
son las coordenadas y la velocidad de la partcula. La

funcional mas simple en la que podemos pensar, es la funcional de la accion,
definida como
Z tf
dtL(x, x)
.
(A.2)
S[x] =
ti
77

APENDICE
A. FUNCIONALES
78
A diferencia de una funcion, cuyo valor depende sobre un punto en particular

en el espacio de coordenadas, el valor de la accion depende enteramente del
vector sobre el cual la integracion se lleva a cabo.
Una funcional tiene la forma
Z
F [f ] = dxF (f (x)).
(A.3)
As, por ejemplo, podemos tener
F (f (x)) = (f (x))n .
(A.4)
Algunas veces, decimos que F (f (x)) es una funcional. La nocion de derivada

puede extenderse al caso de funcionales en una forma natural, a traves de
la notacion de funciones generalizadas. Con esto, uno define la derivada de
la funcional o la derivada Gateaux de la funcional lineal
F (f )
1
0
= dx
F [u] = F [f + v]
v(x).
(A.5)
f (x)
=0
Equivalentemente, desde un punto de vista practico, esto simplemente corresponde a definir
F (f (x) (x y)) F (f (x))
F (f (x))
= lm
.
0
f (y)
(A.6)
Ahora se sigue, de la Ec.(A.6) que

f (x)
= (x y).
f (y)
(A.7)
La derivada de la funcional satisface todas las propiedades de una derivada,

como la linealidad y la asociatividad,
F1 [f ] F2 [f ]
(F1 [f ] + F2 [f ]) =
+
f (x)
f (x)
f (x)
(A.8)
F1 [f ]
F2 [f ]
(F1 [f ]F2 [f ]) =
F2 [f ] + F1 [f ]
f (x)
f (x)
f (x)
(A.9)
Tambien satisface la regla de la cadena de la diferencializacion. Por lo tanto,

dada una funcional F [f ], su expansion de Taylor es
Z
Z
F [f ] =
dxP0 (x) + dx1 dx2 P1 (x1 , x2 )f (x2 ) +
Z
+ dx1 dx2 dx3 P2 (x1 , x2 , x3 )f (x2 )f (x3 ) + . . .
(A.10)
79
honde
P0
= F (f (x))
,
f (x)=0
F (f (x1 ))
,
f (x2 ) f (x)=0
1 2 F (f (x1 ))
,
2! f (x2 )f (x3 ) f (x)=0
P1 (x1 , x2 ) =
P2 (x1 , x2 , x2 ) =
(A.11)
y as sucesivamente. Como un ejemplo, consideremos la accion en una dimension

Z tf
dt0 L(x(t0 ), x(t
0 ))
(A.12)
S[x] =
ti
con
1
2
m(x(t))
V (x(t))
2
= T (x(t))
V (x(t)).
L(x(t0 ), x(t
0 )) =
(A.13)
De manera directa, obtenemos

V (x(t0 ) + (t0 t)) V (x(t0 ))
0
0
0
0
= V (x(t ))(t t),
V (x(t0 ))
x(t)
= lm
(A.14)
donde hemos definido

V 0 (x(t0 )) =
V (x(t0 ))
,
x(t0 )
(A.15)
y
T (x(t
0 ))
x(t)
0 ))
T (x(t
0 ) + dtd0 (t0 t)) T (x(t
0
d
= mx(t
0 ) 0 (t0 t).
dt
= lm
(A.16)
Ahora, es claro que

L(x(t0 ), x(t
0 ))
x(t)
(T (x(t
0 )) V (x(t0 )))
x(t)
d
= mx(t
0 ) 0 (t0 t) V 0 (x(t0 ))(t0 t). (A.17)
dt

APENDICE
A. FUNCIONALES
80
Consecuentemente, para ti t tf
S[x]
x(t)
=
=
tf
ti
tf
ti
dt0
L(x(t0 ), x(t
0 ))
x(t)
dt0 (mx(t
0)
d
(t0 t) V 0 (x(t0 ))(t0 t))
dt0
= m
x(t) V 0 (x(t))
d L(x(t), x(t))
L(x(t), x(t))
=
+
dt
x(t)
x(t)
(A.18)
El lado derecho de la ecuacion anterior, por su puesto, nos recuerda la

ecuacion de Euler-Lagrange. En realidad, decimos que
d L
L
S[x]
=
+
=0
x(t)
dt x(t)
x(t)
(A.19)
da a la ecuacion de Euler-Lagrange como un extremo de la funcional de la

accion. Esto no es nada mas que el principio de la mnima accion, expresado
en notacion compacta en el lenguaje de las funcionales.
Bibliografa
[1] H. Goldstein Clasical Mechanics, Addison-Wesley Publishing Compang Inc. Library of Congress Catalogo, No. 50-7669.
[2] Keith R. Symon, Mechanics, Addison-Wesley Publishing Compang
Inc. 1969, D.L. 4787.-1970.
[3] David J. Griffiths, Introduction to Quantum Mechanics, 2a Ed. Pearson Prentice Hall, 2005, ISBN 0-13-111892-7.
[4] Henrik Bruus and Karsten Flensberg, Introduction to Many-body quantum theory in condensed matter physics, Copenhagen, 15 August 2002.
[5] Ashok Das, Field Theory, A path Integral Approch, World Scientific
Publishing Co. Pte. Ltd., Singapore 9128, ISBN 981-02-1396-4.
[6] F. A. Borone, H. Boschi-Filho, and C. Farina, Am. J. Phys., 71 (5),
483, 2003
[7] Naoto Nagaosa, Quantum Field Theory in Condensed Matter
Physics, ISBN 3-540-65537-9 Springer-Verlag Berlin Heidelberg new
york.
[8] J. P. Eisenstein, Am. J. Phys., 61 (2), 1993
[9] P. A. M. Dirac, in Paul Adrien Maurice Dirac, ed. by B. N. Kursunoglu
and E. P. Wigner (Cambridge, 1987).
[10] P. A. M. Dirac, Phys. Rev. 139 (1964), B684.
[11] Landau L D and Khalatnikov I M 1956 Zh. Eksp. Teor. Fiz. 29 89
Landau L D and Khalatnikov I M 1956 Sov. Phys. JETP 2 69
Fradkin E S 1956 Sov. Phys. JETP 2 361
Johnson K and Zumino B 1959 Phys. Rev. Lett. 3 351
81
BIBLIOGRAFIA
82
Zumino B 1960 J. Math. Phys. 1 1
Okubo S 1960 Nuovo Cimento. 15 949
Bialynicki-Birula I 1960 Nuovo Cimento. 17 951
Sonoda H 2001 Phys. Lett. B 499 253
[12] Walter Hauser Introducci

on a los principios de Mec
anica, AddisonWesley Publishing Compang Inc., Second Priting April-1966.
[13] R. Feynman, Rev. Mod. Phys. 20, 367, (1948).
[14] Hagen Kleinert, Path Integrals in Quantum Mechanics, Statistics,
Berlin,March 2003.
[15] Kai-Man Poon and Gerardo Mu
noz, Path Integals and Propagator for
Quadratic Lagrangians in Three Dimensions, Department of Physics,
California State University, Fresno, CA 93740-0037.
[16] A. Arag
ao, H. Boschi-Filho, C. Farina, F. A. Barone, arXiv:0704.1645v1
[quant-ph] 2007
[17] IJR Aitchison, AJG Hey, Gauge Theories in Particle Physics, Vol I,
Third Edition.
[18] George Arfken Mathematical Methods for Physicists, Academic Press
Inc., ISBN: 0-12-059820-5.
[19] Luiz C. de albuquerque, C. Farina, S. Rabello, Am. J. Phys., 66 (6),
524, 1998
[20] D. R. Leadley, Warwick, 1, university, 1997
[21] Kaushik Bhattacharya, arXiv:0705.4275v1 [hep-th] 2007
[22] J. Schwinger, Phys. Rev. 82, 622 (1951).
[23] A. Sanchez Cecilio, Tesis Doctoral, UNAM, (2007).

tesisJM PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

tesisJM PDF

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD MICHOACANA DE

SAN NICOLAS DE HIDALGO

TRES METODOS PARA OBTENER EL PROPAGADOR

PARA OBTENER EL TITULO DE

LICENCIADO EN CIENCIAS FISICO MATEMATICAS

JOSE MANUEL GONZALEZ VALDES

DR. ALFREDO RAYA MONTANO

MORELIA, MICH., ENERO DE 2009.

6.1.2. Niveles de Energa . . . . . . . . . . . . . . . . . . . .

partcula en un punto x a un tiempo t, tal que

La interpretacion estadstica de la funcion de onda introduce una clase de

La teora cuantica es la mas completa teora microscopica que tenemos hoy

en da para describir la fsica de la energa y la materia. Esta

Consideremos una partcula de masa m que se mueve a lo largo del eje

Segunda ley de Newton,

En estas expresiones F representa la fuerza, L es el Lagrangiano y H es

(aunque a veces se encuentra primero v(t) y luego x(t)),

Comencemos nuestra discusion sobre los vectores de estado en la mecanica

Como dos vectores de estado paralelos representan el mismo estado fsico,

para cualquier |i y |i en dicho espacio. Un operador Hermitiano es aquel

Los factores son los eigenvalores de dicho operador y son siempre n

donde los coeficientes de expansion son

Si sobre este estado hacemos una medicion de la variable dinamica asociada

hablar de probabilidades. La probabilidad de obtener cualquier estado dado

A continuacion, discutiremos los esquemas de la mecanica cuantica que nos

Para conocer las ecuaciones de movimiento de la mecanica cuantica, debemos

que es indepenEsta imagen es u

diente del tiempo, t H = 0, aunque cualquier otro operador puede depender

nos permite encontrar una solucion formal

se le llama operador de evoluci

no depende del tiempo.

(t, 0), recordemos que una funcion f (B)

cualquier operador B esta definida mediante su expansion de Taylor,

Mientras que la imagen de Schrodinger es muy u

As, podemos establecer la correspondencia entre las dos imagenes:

no depende del tiempo.

La tercera de las representaciones de la mecanica cuantica que estudiaremos

conocidos, |n0 i, es pertubado por alguna interaccion V (t), posiblemente con

La idea principal de esta Imagen de Interaccion es separar la parte temporal

Propiedades del Operador de Evoluci

Ya que el operador de evolucion temporal nos permite relacionar dos estados

Ademas, puesto que

Por otro lado, la evolucion temporal no cambia la normalizacion de los

lo que demuestra que el operador de evolucion temporal es unitario. Ademas,

pues la evolucion de un estado de t1 a t3 es equivalente a la evolucion del

Comenzaremos con la amplitud de probabilidad hx, t|x0 , t0 i para (x, t) al

(t t0 ) es, de forma usual, el operador de evolucion temporal y el

Figura 3.1: Evolucion temporal de un estado.

supuesto, en el caso usual unidimensional,

hx|(t)i = hx|eH(tt )/}|(t0 )i

dx0 hx|eH(tt )/}|x0 ihx0 |(t0 )i

La amplitud hx, t|x0 , t0 i que aparece en la integral anterior, en la mecanica

el propagador se reduce a una integral dependiente solamente del momento,

De esta manera, tenemos que

nuestro interes es el de la Integral de Caminos de Feynman, donde se hace

Este metodo para obtener el propagador de Feynman se desarrolla en el

En Captulos posteriores, consideraremos que las funciones de onda est

Figura 3.3: Representacion de las excitaciones de los campos (x)

donde la base de expansion {n (x)} son las soluciones clasicas a la ecuacion

por lo que juegan el papel de operadores de aniquilacion y creacion de las

Con esto en mente, el propagador toma la siguiente forma

donde K(x, x0 ; ) = hx, |x0 , 0i es nuestro propagador de Feynman, y =

Por simplicidad, elegimos t0 = 0.