Sunteți pe pagina 1din 88

UNIVERSIDAD MICHOACANA DE

SAN NICOLAS DE HIDALGO


Facutad de Ciencias Fsico-Matematicas
Mat. Lus Manuel Rivera Gutierrez
TRES METODOS PARA OBTENER EL PROPAGADOR
DE FEYNMAN EN LA MECANICA CUANTICA
T E S I S
PARA OBTENER EL TITULO DE
LICENCIADO EN CIENCIAS FISICO MATEMATICAS
PRESENTA
JOSE MANUEL GONZALEZ VALDES
ASESOR
DR. ALFREDO RAYA MONTA

NO
MORELIA, MICH., ENERO DE 2009.
i
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 ce-
cilio 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 elabo-
raci on de este trabajo.
y nalmente agradezco a todos aquellos que han ayudado directa o indirecta-
mente 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 1
2. Cuantizaci on 5
2.1. Teora Cuantica . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1.1. Formalismo Basico . . . . . . . . . . . . . . . . . . . . 6
2.2. Imagenes de la Mecanica Cuantica . . . . . . . . . . . . . . . 8
2.2.1. Imagen de Schrodinger . . . . . . . . . . . . . . . . . . 8
2.2.2. Imagen de Heisenberg . . . . . . . . . . . . . . . . . . 9
2.2.3. Imagen de Interaccion . . . . . . . . . . . . . . . . . . 10
2.3. Propiedades del Operador de Evolucion Temporal . . . . . . . 11
3. Propagador 13
3.1. Que es el Propagador? . . . . . . . . . . . . . . . . . . . . . 13
3.2. Metodos para Obtener el Propagador . . . . . . . . . . . . . . 15
3.2.1. Metodo Canonico . . . . . . . . . . . . . . . . . . . . . 16
3.2.2. Integral de Caminos . . . . . . . . . . . . . . . . . . . 20
3.2.3. Metodo de Schwinger . . . . . . . . . . . . . . . . . . 32
4. Metodo 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. Metodo de Schwinger 53
6.1. Propagador . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
6.1.1. Invarianza de Norma . . . . . . . . . . . . . . . . . . . 57
iii
iv

INDICE GENERAL
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
Introduccion
En la mecanica clasica, estudiamos el estado de movimiento de los cuer-
pos sujetos a la inuencia de fuerzas internas y externas, es decir, sus trayec-
torias, 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 algu-
nas 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 aplica-
bles 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 partcu-
las y tambien nos interesa conocer sus trayectorias bajo la inencia 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 m

2
x
2
+ V (x)
_
. (1.1)
Aqu, V (x) representa el potencial en el que se encuentra inmersa la partcu-
la. Esta funcion de onda tiene, seg un Born, una interpretaci on estadstica en
la cual, [(x, t)[
2
representa la densidad de probabilidad de encontrar una
1
2 CAP

ITULO 1. INTRODUCCI

ON
partcula en un punto x a un tiempo t, tal que
_
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
xp

2
, (1.3)
donde x y p repesentan incertidumbre en posicion y momento, respecti-
vamente. Esta relacion imposibilita conocer simultaneamente la posicion y
momento de una partcula en cada instante durante su desplazamiento. Lo
unico que nos permite es saber con que probabilidad una partcula que se
mueve bajo la inuencia 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 codicada en el llamado propagador de Feynman K(x, x

; t t

),
llamado, en ocasiones, amplitud de transicion o funcion de Green, pues si
conocemos dicha funcion a un tiempo inicial t

, (x

, t

), la funcion de onda
a un tiempo posterior puede obtenerse como
(x, t) =
_
dx

K(x, x

; t t

)(x

, t

) . (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 inuencia 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 des-
glosamos 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 pre-
sentamos, 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.
4 CAP

ITULO 1. INTRODUCCI

ON
Captulo 2
Cuantizacion
En este captulo, pesentamos los conceptos basicos de la mecanica cuanti-
ca. 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 Cuantica
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 exitosa-
mente aplicada para explicar los fenomenos que ocurren en varios niveles,
desde el estudio de partculas elementales en la escala subatomica, pasan-
do 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 fundamen-
tal. 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 inclu-
so 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
6 CAP

ITULO 2. CUANTIZACI

ON
2.1.1. Formalismo Basico
Consideremos una partcula de masa m que se mueve a lo largo del eje
x bajo la inuencia 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 n, planteamos las ecuaciones de movimiento,
en los formalismos de Newton, Lagrange o Hamilton
F = m x , Segunda ley de Newton,
d
dt
_
L
x
_

L
x
= 0 , Ecuaciones de Euler-Lagrange,
x =
H
p
, p =
H
x
. 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 inuencia de fuerzas externas que, al igual
que las variables dinamicas correspondientes, se representan como oper-
adores 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 [), 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[) = [). (2.1)


Comencemos nuestra discusion sobre los vectores de estado en la mecanica
cuantica. Un espacio de Hilbert es un espacio vectorial completo con pro-
ducto interno. Cada vector en este espacio, llamado vector de estado [),
esta asociado con un vector de estado adjunto, llamado bra, dado por
([))

[. Podemos formar el producto interno o bra(c)ket entre dos


de estos vectores de estado de la forma [). La conexion entre el espacio
de Hilbert directo y su adjunto esta dada por la relacion
[) = [)

. (2.2)
2.1. TEOR

IA CU

ANTICA 7
Como dos vectores de estado paralelos representan el mismo estado fsico,
debemos de tratar siempre con vectores de estado propiamente normaliza-
dos, [) = 1. El producto interno [) representa el traslape entre dos
estados cuanticos y se identica con una amplitud de probabilidad, cuyo
cuadrado, como veremos mas delante, podremos identicar con una proba-
bilidad 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 dene como
[

[) = [

A[)

(2.3)
para cualquier [) y [) en dicho espacio. Un operador Hermitiano es aquel
que satisface
[

[) = [

A[). (2.4)
Dado cualquier operador Hermitiano

A, denotamos a sus eigenestados
[

) a aquellos estados tales que

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 [

) y [

) de
dos operadores Hermitianos diferentes

A y

B no son los mismos.
Imaginemos que queremos realizar una medicion de una variable dinami-
ca asociada con un operador

B, para lo cual, el estado del sistema puede
prepararse como un eigenestado de este operador, [

). Este estado tam-


bien puede expresarse como una superposicion de eigenestados [

) de otro
operador

A de la forma
[

) =

)C

, (2.6)
donde los coecientes de expansion son
C

). (2.7)
Si sobre este estado hacemos una medicion de la variable dinamica asociada
con el operador

A, no podemos predecir el resultado obtenido con absoluta
precision, pues [

) no es, en general, eigenestado de



A. Solamente podemos
8 CAP

ITULO 2. CUANTIZACI

ON
hablar de probabilidades. La probabilidad de obtener cualquier estado dado
[

) 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. Imagenes de la Mecanica Cuantica
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 Schrodinger
Esta imagen es util cuando tratamos con un Hamiltoniano

H que es indepen-
diente del tiempo,
t

H = 0, aunque cualquier otro operador puede depender
de t. En esta representacion, los vectores estado [(t)) dependen del tiempo,
y su evolucion temporal la dicta la ecuacion de Schrodinger,

t
[(t)) =

H[(t)) . (2.9)
La independencia temporal de

H nos permite encontrar una solucion formal
para esta ecuacion, dada por
[(t)) = e

H t
[(0))

U(t, 0)[(0)). (2.10)
Al operador

U(t, t
0
) = e

H (tt
0
)
(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:
Imagen de Schrodinger
_

_
Estados: [(t)) =

U(t, 0)[(0)).
Operadores:

A, puede o no depender del tiempo.

H, no depende del tiempo.


(2.12)
2.2. IM

AGENES DE LA MEC

ANICA CU

ANTICA 9
Para interpretar el operador

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

B) de
cualquier operador

B esta denida mediante su expansion de Taylor,
f(

B) =

n=0
f
(n)
(0)
n!

B
n
. (2.13)
Mientras que la imagen de Schrodinger es muy util 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 repre-
sentacion donde toda la dependencia temporal sea transferida a los op-
eradores,

A(t), dejando los vectores de estado independientes del tiempo,
[(0)) = [
0
). El Halmitoniano

H permanece independiente del tiempo en
la imagen de Heisenberg. Si los elementos de matriz de cualquier operador
entre cualesquiera dos estados son identicos en dos representaciones, en-
tonces las dos representaciones son completamente equivalentes. Usando la
denicion de la evolucion temporal de los vectores de estado de la imagen
de Schrodinger, obtenemos

(t)[

A[(t)) =

0
[

(t, 0)

A

U(t, 0)[
0
)

0
[

A(t)[
0
). (2.14)
As, podemos establecer la correspondencia entre las dos imagenes:
Imagen de Heisenberg
_

_
Estados: [
0
)

U

(t, 0)[(t)).
Operadores:

A(t)

U

(t, 0)

A

U(t, 0)

H no depende del tiempo.


(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

H es independiente del tiempo, la derivada temporal total de



A(t) es
d

A(t)
dt
=

U

(t, 0)
_


H

A(t)

A(t)

H +
t

A(t)
_

U(t, 0)
=
_

H,

A(t)
_
+
t

A(t), (2.16)
10 CAP

ITULO 2. CUANTIZACI

ON
donde

X(t) siempre signica

U

(t, 0)

X

U(t, 0) para cualquier operador

X.
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 Halmito-
nianos dependientes del tiempo, tenemos que cambiar a la llamada imagen
de Interaccion o de Dirac.
2.2.3. Imagen de Interaccion
La tercera de las representaciones de la mecanica cuantica que estudiaremos
en esta tesis, se introduce para tratar con las situaciones donde un sistema,
descrito por un Halmitoniano independiente del tiempo

H
0
con eigenestados
conocidos, [n
0
), es pertubado por alguna interaccion

V (t), posiblemente con
dependencia temporal maniesta, es decir, un sistema cuyo Hamiltoniano
completo esta dado por

H =

H
0
+

V (t), con

H
0
[n
0
) =
n
0
[n
0
). (2.17)
La idea principal de esta Imagen de Interaccion es separar la parte temporal
simple, debida a

H
0
, de la complicada debida a la interaccion

V (t). Esto se
logra deniendo un nuevo operador de evolucion temporal

U
0
(t, t
0
) e

H
0
(tt
0
)
, (2.18)
que utilice solamente

H
0
y no el Hamiltoniano

H completo. Como resultado,
en la Imagen de Interaccion tanto los vectores de estado, [(t)), como los
operadores,

A(t), dependen del tiempo. En terminos de los estados y oper-
adores en la Imagen de Schrodinger, en la Imagen de Interaccion tenemos
Imagen de Interaccion
_

_
Estados: [
0
(t))

U

0
(t, 0)[(t)).
Operadores:

A(t)

U

0
(t, 0)

A

U
0
(t, 0)

H
0
no depende de t.
(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
i
t
[(t)) =

V (t)[(t)), (2.20)
2.3. PROPIEDADES DEL OPERADOR DE EVOLUCI

ONTEMPORAL11
es decir, evolucionan de acuerdo a una ecuacion de Schodinger que involucra
solamente a la parte Hamiltoniano de interaccion

V (t) del Hamiltoniano
total

H. Ademas, los operadores obedecen la ecuacion de Heisenberg
d

A(t)
dt
=
_

H
0
,

A(t)
_
+
t

A(t), (2.21)
que involucra solamente al Hamiltoniano no perturbado

H
0
.
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 Evolucion Tem-
poral
Ya que el operador de evolucion temporal nos permite relacionar dos estados
de la forma
[(t
2
)) =

U(t
2
, t
1
)[(t
1
)) , (2.22)
podemos automaticamente establecer que

U(t, t) = 1 . (2.23)
Ademas, puesto que
[(t
2
)) =

U
1
(t
1
, t
2
)[(t
1
)) , (2.24)
tenemos

U
1
(t
1
, t
2
) =

U(t
2
, t
1
) . (2.25)
Por otro lado, la evolucion temporal no cambia la normalizacion de los
estados. De lo contrario, esto implicara la no conservaci on de la proba-
bilidad. Esto signica que si un estado inicialmente esta normalizado, lo
estara tambien a tiempos posteriores, es decir,
(t
2
)[(t
2
)) = 1 = (t
1
)[

(t
2
, t
1
)

U(t
2
, t
1
)[(t
1
)) , (2.26)
y en consecuencia,

(t
2
, t
1
)

U(t
2
, t
1
) = 1 U

(t
2
, t
1
) =

U
1
(t
2
, t
1
) , (2.27)
lo que demuestra que el operador de evolucion temporal es unitario. Ademas,
tenemos que

U(t
3
, t
1
) =

U(t
3
, t
2
)

U(t
2
, t
1
) , (2.28)
12 CAP

ITULO 2. CUANTIZACI

ON
pues la evolucion de un estado de t
1
a t
3
es equivalente a la evolucion del
mismo estado a traves de un tiempo intermedio t
2
.
Finalmente, el elemento de matriz del operador de evolucion temporal
entre estados de posicion,
x, t[x

, t

) = x[

U(t, t

)[x

) . (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 per-
mitiran 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 (x

, t

), 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. Que es el Propagador?
Comenzaremos con la amplitud de probabilidad x, t[x

, t

) para (x, t) al
evolucionar temporalmente a (x

, t

). Recordando un poco la idea de evolu-


cion temporal, elegimos colocar nuestros relojes de tal forma que el estado
inicial de la partcula sea especicado en un tiempo t

y entonces consider-
amos 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
x, t[x

, t

) = x[

U(t t

)[x

) = x[e


H(tt

)/
[x

) , (3.1)
donde

U(t t

) es, de forma usual, el operador de evolucion temporal y el


Hamiltoniano, que se asume es independiente del tiempo y es, en general,
una funcion de los operadores de posicion y de momento:

H =

H( p, x). Por
13
14 CAP

ITULO 3. PROPAGADOR
Figura 3.1: Evolucion temporal de un estado.
supuesto, en el caso usual unidimensional,

H =
p
2
2m
+ V ( x) . (3.2)
Una vez que conocemos la amplitud, Ec.(3.1), podemos usarla para determi-
nar como cualquier estado [) evoluciona en el tiempo [3, 4], pues podemos
escribir el estado [) como una superposicion de eigenestados de posicion,
x[(t)) = x[e


H(tt

)/
[(t

))
=
_

dx

x[e


H(tt

)/
[x

)x

[(t

))
=
_

dx

x, t[x

, t

)x

[(t

)) . (3.3)
La amplitud x, t[x

, t

) 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

H =
p
2
2m
. (3.4)
Con este Hamiltoniano e insertando en la Ec.(3.1) un conjunto completo de
eigenestados de momento que cumplen
1 =
_
dp [ p)p [ , (3.5)
3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 15


tenemos
x, t [ x

, t

) = x [
_
dp [ p)p [ e

p
2

2 m
[ x

), (3.6)
donde = t t

. Recordando que
x [ p) =
1

2
e
px

, (3.7)
el propagador se reduce a una integral dependiente solamente del momento,
x, t [ x

, t

) =
_
dp
1

2
e

px
e


2m
p
2

2
e

px
=
_
dp
e

1
2m
p
2
+
1

pX
2
, (3.8)
Como la integral depende solamente de p, podemos agrupar las variables es-
paciales en X = xx

. Esta integral tiene una forma ya conocida, Gaussiana,


que se puede evaluar directamente usando
_

dxe
ax
2
+bx
=
_

e
a(x
b
2
)
2
e
b
2
4a
=
_

a
e
b
2
4a
. (3.9)
De esta manera, tenemos que
x, t [ x

, t

) =
_

dp
_
1
2
_
exp
_

2m
_
p
X
2
_
2
+
X
2
m
2
_
=
1
2
_
2m

exp
_
mX
2
2
_
=
_
m
2
exp
_
m(x x

)
2
2
_
. (3.10)
Esta es la expresion nal 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. Metodos para Obtener el Propagador
En esta seccion, despues de estudiar que es el propagador de Feynman, va-
mos a mostrar varios metodos para obtenerlo. Estos metodos parecen muy
diferentes, pero al nal conducen al mismo resultado. El primer metodo que
estudiaremos es el Can onico, el cual consiste en realizar una segunda cuanti-
zacion de las soluciones a la ecuacion de Schrodinger. El segundo metodo de
16 CAP

ITULO 3. PROPAGADOR
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 partcu-
la en su propagacion, y el tercer metodo que estudiaremos es el desarrollado
por Schwinger, llamado en ocasiones Metodo del Tiempo Propio, que ha si-
do 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. Metodo Canonico
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
(x, t)

(x, t), que cumplen relaciones de anticonmutacion canonicas
1
a
tiempos iguales

(x, t),

(y, t) = (x y) . (3.11)
El signicado fsico de estas funciones de onda cuantizadas se ilustra pict ori-
camente en la Figura (3.2). Estos operadores o campos se pueden expandir
en sus modos de Fourier
Figura 3.2: Representacion graca de las funciones de onda para una y dos partculas en
la segunda cuantizacion. Las echas entrantes y salientes representan estados iniciales y
nales, respectivamente. La lnea punteada y curva representan la amplitud de transicion
para el proceso de una o dos partculas contenidas en los operadores.
1
En Captulos posteriores, consideraremos que las funciones de onda estan asociadas
con electrones, que son fermiones y obedecen el principio de exclusion de Pauli.
3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 17


Figura 3.3: Representacion de las excitaciones de los campos

(x) y

(x) como
aniquilacion y creacion de las partculas.

(x, t) =

n
a
n

n
(x)e
Ent/
,

(x, t) =

n
a

n
(x)e
Ent/
, (3.12)
donde la base de expansion
n
(x) son las soluciones clasicas a la ecuacion
de Schrodinger independiente del tiempo correspondiente y las E
n
las eigenen-
ergas asociadas. Los coecientes de Fourier a
n
y a

n
cumplen relaciones de
anticonmutacion canonicas
a
n
, a

=
n,n
, (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 graca en la Figura (3.3). En particular, podemos denir al vaco
como el estado, en el que
a
n
[0) = 0 = 0[ a

n
. (3.14)
Con esto en mente, el propagador toma la siguiente forma
2
K(x, x

; ) = ()0[

(x, )

(x

, 0)[0), (3.15)
donde K(x, x

; ) = x, [x

, 0) es nuestro propagador de Feynman, y =


t t

. Sustituyendo las expansiones (3.12), obtenemos


K(x, x

; ) = ()0[
_

n
a
n

n
(x)e
En/
__

n
(x

)
_
[0)
= ()

n,n

n
(x)

n
(x

)e
En/
0[ a
n
a

[0)
(3.16)
2
Por simplicidad, elegimos t

= 0.
18 CAP

ITULO 3. PROPAGADOR
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

, obtenemos
K(x, x

; ) = ()

n,n

n
(x)

n
(x

)e
En/
0[
n,n
+ a

a
n
[0)
= ()

n
(x)

n
(x

)e
En/
0[0)
= ()

n
(x)

n
(x

)e
En/
(3.17)
En esta expresion tenemos una forma general, llamada representaci on espec-
tral, 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

H =
p
2
2m
+
1
2
mw
2
x
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. M

ETODOS PARA OBTENER EL PROPAGADOR 19

n
(x) =
_
mw

_1
4
1

2
n
n!
H
n
()e

2
/2
, (3.19)
con =
_
mw/ x, mientras que las eigenenergas E
n
son
E
n
= w
_
n +
1
2
_
. (3.20)
Usando la representacion espectral para el propagador, Ec.(3.17), sustituyen-
do las eigenfunciones dadas en la Ec.(3.19), tenemos
K(x, x

; ) = ()

n
__
mw

_1
4
1

2
n
n!
H
n
()e

2
/2
_
mw

_1
4
1

2
n
n!
H
n
(

)e

2
/2
_
e
En/
= ()
_
mw

n
H
n
()H
n
(

)
e

1
2
(
2
+
2
)

En
2
n
n!
. (3.21)
Este es el propagador del oscilador armonico, obtenido mediante el Metodo
Canonico. A continuacion, escribiremos en una forma mas familiar (sigu-
iendo la Ref. [6]) este propagador, a n de compararlo con las expresiones
derivadas por otros metodos. Primero usamos la formula de Mehler,
(1 z)
1/2
exp
_
2xyz (x
2
+ y
2
)z
2
1 z
2
_
=

n=0
H
n
(x)H
n
(y)
z
n
2
n
n!
, (3.22)
e identicamos x = , y =

, y z = e
w
. As, obtenemos la siguiente
forma del propagador
K(x, x

; ) = ()
_
mw

_
z
1 z
2
e

1
2
(x
2
+y
2
)
exp
_
2xyz (x
2
+ y
2
)z
2
1 z
2
_
. (3.23)
Enseguida, nos auxiliamos de la identidad
1 + z
2
2(1 z
2
)
=
1
2
+
z
2
1 z
2
, (3.24)
para obtener
K(x, x

; ) = ()
_
mw

_
z
1 z
2
exp
_
1
1 z
2
_
2xyz (x
2
+ y
2
)
_
1 + z
2
2
_
_
_
. (3.25)
20 CAP

ITULO 3. PROPAGADOR
Realizando las siguientes sustituciones trigonometricas,
sin(w) =
1 z
2
2z
, cos(w) =
1 + z
2
2z
obtenemos la siguiente representacion para el propagador de Feynman del
oscilador armonico,
K(x, x

; ) = ()
_
mw
2 sin(w)
exp
_
mw
2 sin(w)
_
(x
2
+ x
2
) cos(w) 2xx

__
, (3.26)
donde en la ultima lnea hemos identcado y = x

. 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
unica 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
x, t[x

, t

) = x
f
, t
f
[x
i
, t
i
) . (3.27)
Para t
f
> t
i
, dividamos el intervalo de tiempo entre el tiempo inicial y nal
en N segmentos de longitud innitesimal , esto es, tomemos
=
t
f
t
i
N
. (3.28)
Solo por simplicidad, hemos discretizado el intervalo temporal (ver Figu-
ra (3.5)); al nal, tomaremos el lmite continuo 0 y N . Ahora
podemos etiquetar los tiempos intermedios como
t
n
= t
i
+ n , n = 1, 2, 3, . . . , (N 1). (3.29)
3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 21


Figura 3.5: Discretizacion del intervalo de tiempo = t
f
ti en N subintervalos de
longitud t.
Introduciendo un conjunto completo de eigenestados de la posicion para
cada punto temporal intermedio, obtenemos
x
f
, t
f
[x
i
, t
i
) = lm
0
N
_
dx
1
dx
N1
x
f
, t
f
[x
N1
, t
N1
)
x
N1
, t
N1
[x
N2
, t
N2
) . . . x
1
, t
1
[x
i
, t
i
) . (3.30)
Al escribir esto, claramente hemos asumido un ordenamiento temporal in-
herente de izquierda a derecha. Notemos aqu que mientras hay N productos
internos en la expresion anterior, solo hay N 1 puntos intermedios de in-
tegracion. Ademas, cualquier producto interno intermedio en la expresion
anterior tiene la forma
x
n
, t
n
[x
n1
, t
n1
) = x
n
[e

tnH
e

t
n1
H
[x
n1
)
= x
n
[e

(tnt
n1
)H
[x
n1
)
= x
n
[e

H
[x
n1
)
=
_
dp
n
2
e

_
pn(xnx
n1
)H
_
xn+x
n1
2
,pn
__
. (3.31)
En la ultima lnea hemos usado la prescripcion del punto medio del orde-
namiento de Weyl.
Sustituyendo esta forma del producto interno dentro de la amplitud de
transicion, obtenemos
x, t[x

, t

) = lm
0
N
_
dx
1
. . . dx
N1
dp
1
2
. . .
dp
N
2
exp

n=1
_
p
n
(x
n
x
n1
) H
_
x
n
+ x
n1
2
, p
n
__
. (3.32)
Aqu, hemos denido x
0
= x
i
y x
N
= x
f
. Esta es la forma mas burda de
la Integral de Caminos de Feynman y esta denida en el espacio fase del
22 CAP

ITULO 3. PROPAGADOR
sistema. Es importante enfatizar que el n umero de integraciones sobre las
coordenadas intermedias diere del n umero del de integraciones de momen-
tos, 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
lm
0
N

n=1
_
p
n
(x
n
x
n1
) H
_
x
n
+ x
n1
2
, p
n
__
= lm
0
N

n=1
_
p
n
(
x
n
x
n1

) H
_
x
n
+ x
n1
2
, p
n
__
=

_
t
f
t
i
dt (p x H(x, p))
=

_
t
f
t
i
dt L , (3.33)
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 espa-
cio de conguraciones, vamos a especializarnos a la clase de Hamiltonianos
cuadraticos en las variables de momento [15]. Esto es, escojamos
H(x, p) =
p
2
2m
+ V (x). (3.34)
En tal caso, tenemos de la Ec.(3.32),
x, t[x

, t

) = lm
0
N
_
dx
1
. . . dx
N1
dp
1
2
. . .
dp
N
2
exp

n=1
_
p
n
_
x
n
x
n1

p
2
n
2m
V
_
x
n
+ x
n1
2
__
. (3.35)
Notemos que las integrales sobre los momentos son Gaussianas y, de esta
3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 23


forma, pueden ser evaluadas de forma directa,
_
dp
n
2
exp

_
p
2
n
2m

p
n
(x
n
x
n1
)

_
=
_
dp
n
2
exp
_

2m
_
p
2
n

2mp
n
(x
n
x
n1
)

__
=
_
dp
n
2
exp
_

2m
_
p
2
n

p
n
(x
n
x
n1
)


m(x
n
x
n1
)

__
=
1
2
_
2m

exp
m
2
_
x
n
x
n1

_
2
=
_
m
2
exp
m
2
_
x
n
x
n1

_
2
. (3.36)
Sustituyendo este resultado en la Ec.(3.35), obtenemos
x, t[x

, t

) = lm
,N0,
_
m
2
_
N/2
_
dx
1
. . . dx
N1
exp

n=1
_
m
2
_
x
n
x
n1

_
2
V
_
x
n
+ x
n1

_
_
= A
_
D
x
exp
_

_
t
f
t
i
dt
_
1
2
m x
2
V (x)
__
= A
_
D
x
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 signicado de esta amplitud, trataremos de entender el
signicado de la medida D
x
. En la integracion, los puntos nales estan jos
y solo los puntos intermedios se integran en el espacio entero. Cualquier
conguracion espacial de los puntos intermedios, por supuesto, da origen a
un camino entre los puntos inicial y nal. O sea, integrando sobre todas estas
conguraciones (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 nal. De este modo, la Integral de Caminos de
Feynman simplemente dicen que la amplitud de transicion entre un estado
inicial y nal 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 CAP

ITULO 3. PROPAGADOR
Figura 3.6: Representacion de un posible camino, de todos los posibles, que una partcula
puntual explora para alcanzar el punto x
b
en el tiempo t
b
, 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 nal 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
x
n
x
n1
,
3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 25


Figura 3.7: Representacion de los diferentes caminos que conectan los puntos inicial y
nal, as como su trayectoria clasica.
el primer termino en la exponencial debe de ser muy grande, pues que es
innitesimalmente 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 x
n
tan grande, va
haber un x
n1
cercano, diriendo solamente de forma insignicante, 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 nal, como se muestra en la Figura (3.7),
que dieren uno de otro solamente de forma insignicante. La pregunta es
que tanto todos los caminos pueden contribuir a la amplitud de transicion?,
es solamente el camino clasico el unico 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]
x(t)
= 0 (3.38)
contribuiran signicativamente 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 CAP

ITULO 3. PROPAGADOR
Para mostrar como funciona el metodo de la Integral de Caminos en
el calculo del propagador de Feynman en la Mecanica Cuantica, desarrol-
laremos nuevamente el ejemplo del Oscilador Armonico, y comparemos con
expresiones obtenidas anteriormente.
Consideremos a la interaccion del oscilador con una fuente externa, de-
scrita por el Lagrangiano
L =
1
2
m x
2

1
2
mw
2
x
2
Jx , (3.39)
con la accion correspondiente dada por
S =
_
dtL . (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 exter-
na fuera independendiente de tiempo, entonces el problema tiene solucion
simple y exacta, porque en este caso podemos escribir el Lagrangiano como
L =
1
2
m x
2

1
2
mw
2
x
2
+ Jx
=
1
2
m x
2

1
2
mw
2
_
x
J
mw
2
_
2
+
J
2
2mw
2
=
1
2
m

x
2

1
2
mw
2
x
2
+
J
2
2mw
2
, (3.41)
donde hemos denido
x = x
J
2
2mw
2
. (3.42)
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),
S[x]
x(t)
= 0 m x
cl
+ mw
2
x
cl
J = 0. (3.43)
Por otro lado, la forma general de la amplitud de transicion es
x, t[x

, t

) = A
_
D
x
e

S[x]
. (3.44)
3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 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, deniendo
x(t) = x
cl
(t) + (t), (3.45)
podemos hacer una expansion de Taylor de la accion, alrededor de la trayec-
toria clasica de la forma
S[x] = S[x
cl
+ ] = S[x
cl
] +
_
dt(t)
S[x]
x(t)

x=x
cl
+
1
2!
_
dt
1
dt
2
(t
1
)(t
2
)

2
S[x]
x(t
1
)x(t
2
)

x=x
cl
(3.46)
Recordemos que la trayectoria clasica es un extremo de la accion,
S[x]
x(t)

x=x
cl
= 0, (3.47)
de modo que
S[x] = S[x
cl
] +
1
2!
_
dt
1
dt
2
(t
1
)(t
2
)

2
S[x]
x(t
1
)x(t
2
)

x=x
cl
. (3.48)
Evaluando las derivadas funcionales, podemos reescribir la accion como
S[x] = S[x
cl
] +
1
2!
_
t
f
t
i
dt(m
2
mw
2

2
) . (3.49)
La variable (t) representa las uctuaciones cuanticas alrededor de la trayec-
toria clasica. Ya que los puntos inicial y nal estan jos, estas uctuaciones
satisfacen las condiciones de frontera
(t
1
) = (t
2
) = 0. (3.50)
Claro esta que el sumar sobre todos los caminos es equivalente a sumar sobre
todas las posibles uctuaciones, sujetas a dichas condiciones de frontera.
Consecuentemente, podemos escribir la amplitud de transicion como
x, t[x

, t

) = Ae

S[x
cl
]
_
D

exp
_

2
_
t
f
t
i
dt(m
2
mw
2

2
)
_
. (3.51)
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 CAP

ITULO 3. PROPAGADOR
Primeramente, discretizamos el intervalo temporal. Parametricemos el
tiempo sobre una trayectoria de la forma estandar
t
n
= t
i
+ n n = 0, 1, 2, . . . , N . (3.52)
Denimos ahora los valores de las uctuaciones en esos puntos como
(t
n
) =
n
. (3.53)
De esta manera, podemos escribir la amplitud de transicion, Ec.(3.51), de
forma explcita como
x, t[x

, t

) = Ae

S[x
cl
]
_
D

exp
_

2
_
t
f
t
i
dt(m
2
mw
2

2
)
_
= lm
0
N
_
m
2
_
N/2
e

S[x
cl
]
_
d
1
, . . . , d
N1
exp
_

2
N

n=1
_
m
_

n1

_
2
mw
2
_

n
+
n1
2
_
2
__
. (3.54)
En esta expresion identicamos
0
=
N
= 0, en consistencia con las condi-
ciones de frontera. Para simplicar la integral, reescalamos las variables,

n

_
m
2
_
1/2

n
(3.55)
La amplitud de transicion, entonces, se escribe como
x, t[x

, t

) = lm
0
N
_
m
2
_
N/2
_
2
m
_N1
2
e

S[x
cl
]
_
d
1
, . . . , d
N1
exp
_

n=1
_
(
n

n1
)
2
w
2
_

n
+
n1
2
_
2
__
(3.56)
Si pensamos en las
n
s (N1 de ellas) como si formaran un vector columna,
=
_
_
_
_
_

2
.
.
.

N1
_
_
_
_
_
, (3.57)
entonces, podemos escribir la amplitud de transicion matricialmente como
x, t[x

, t

) = lm
0
N
_
m
2
_
N/2
_
2
m
_N1
2
e

S[x
cl
]
_
d e

T
B
. (3.58)
3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 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 . . .
0 1 2 1 . . .
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_


2
w
2
4
_
_
_
_
_
2 1 0 0 . . .
1 2 1 0 . . .
0 1 2 1 . . .
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
. (3.59)
Esta es una matriz simetrica, de textura
B =
_
_
_
_
_
x y 0 0 . . .
y x y 0 . . .
0 y x y . . .
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
, (3.60)
donde
x = 2
_
1

2
w
2
4
_
, y =
_
1 +

2
w
2
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
B
D
=
_
_
_
_
_
b
1
0 0 0 . . .
0 b
2
0 0 . . .
0 0 b
3
0 . . .
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
= UBU

(3.62)
De este modo, deniendo
= U , (3.63)
obtenemos
_
d e

T
B
=
_
d e

T
B
D

=
_
d
1
. . . d
N1
exp
_

N1

n=1
b
n

2
n
_
=
N1

n=1
_

b
n
_
1/2
= ()
N1
2
(det B)
1/2
. (3.64)
30 CAP

ITULO 3. PROPAGADOR
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:
x, t[x

, t

) = lm
0
N
_
m
2
_
N/2
_
2
m
_N1
2
()
N1
2
(det B)
1/2
e

S[x
cl
]
= lm
0
N
_
m
2
_
1/2
(det B)
1/2
e

S[x
cl
]
= lm
0
N
_
m
2 det B
_
1/2
e

S[x
cl
]
(3.65)
Es claro de este analisis, que la amplitud de transicion esta bien denida 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
0
N
det B .
Por la estructura especial de B, ecuacion (3.60), si denotamos a los deter-
minantes de las sub-matrices n n de B como I
n
, es facil ver que estos
satisfacen la siguiente relacion de recursion
I
n+1
= xI
n
y
2
I
n1
n = 0, 1, 2, (3.66)
donde se restringen
I
n1
= 0 , I
0
= 1 . (3.67)
Sustituyendo la forma explcita de x y y, tenemos que
I
n+1
= 2
_
1

2
w
2
4
_
I
n

_
1 +

2
w
2
4
_
I
n1
o,
I
n+1
2I
n
+ I
n1
=

2
w
2
2
_
I
n
+ I
n1
+

2
w
2
8
I
n1
_
o,
I
n+1
2I
n
+ I
n1

2
=
w
2
2
_
I
n
+ I
n1
+

2
w
2
8
I
n1
_
(3.68)
Ya que estamos interesados en el lmite continuo, es conveniente denir la
funcion
(t
n
t
1
) = (n) = I
n
, (3.69)
3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 31


que en este lmite podemos pensar como una funcion continua de t. En otras
palabras, podemos identicar t = n como una variable continua cuando
0. Notemos que
lm
0
N
det B = lm
0
N
I
N1
= (t
f
t
i
) = (T) . (3.70)
Ademas, tenemos que
(0) = lm
0
I
0
= lm
0
= 0, (3.71)
y similarmente,

(0) = lm
0

_
I
1
I
0

_
= lm
0
_
2

2
w
2
2
1
_
= 1 . (3.72)
Por lo tanto, de las relaciones de recursion para las I
n
s, podemos concluir
que en el limite 0, la funcion (t) satisface la ecuacion deferencial
d
2
(t)
dt
2
= w
2
(t) , (3.73)
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
0
N
det B = lm
0
N
I
N1
= (T) =
sin wT
w
, (3.75)
y en consecuencia, para el oscilador armonico, tenemos que la amplitud de
transicion es
x, t[x

, t

) = lm
0
N
_
m
2 detB
_
1/2
e

S[x
cl
]
=
_
mw
2 sin(wT)
_
1/2
e

S[x
cl
]
. (3.76)
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,
S[x
cl
] =
mw
2 sin(wT)
[(x
2
i
+ x
2
f
) cos(wT) 2x
i
x
f
] (3.77)
32 CAP

ITULO 3. PROPAGADOR
Sustituyendo esto en la Ec.(3.76) e identicando x
f
= x y x
i
= x

, obtenemos
el propagador
x, t[x

, t

) =
_
mw
2 sin(wT)
_
1/2
exp
_
mw
2 sin(wT)
[(x
2
+ x

2
) cos(wT) 2xx

]
_
. (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. Metodo 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:
K(x, x

; ) = x, [ x

, 0) = ()x [

U() [ x

), (3.79)
donde

U() es el operador de evolucion temporal dado por

U() = exp
_
i

H

_
, (3.80)
con

H el Halmitoniano (independiente del tiempo) del sistema y () es la
funcion escalon denida como
() =
_
1 si 0 ,
0 si < 0 .
(3.81)
Observemos que para > 0, al diferenciar la Ec. (3.79) obtenemos la
siguiente ecuacion deferencial para el propagador de Feynman:
i

K(x, x

; ) = x [

H exp
_
i

H

_
[ x

). (3.82)
Evolucionando temporalmente los estados, la ecuacion diferencial anterior
toma la siguiente forma
i

x, [ x

, 0) = x, [

H [ x

, 0), ( > 0). (3.83)


3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 33


La idea principal del metodo es calcular los elementos de la matriz del lado
derecho de esta escuacion. Para esto, necesitamos escribir a

H en terminos
de los operadores

X() y

X(0) ordenados apropiadamente. Los eigenestados
y eigenvalores de estos operadores son

X() [ x, ) = x [ x, )

X(0) [ x

, 0) = x

[ x

, 0), (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-
eradores

X() y

P(), dados por:
i


X()

=
_

X(),

H
_
, i


P()

=
_

P(),

H
_
. (3.85)
II ) Usamos las soluciones encontradas en la Ec.(3.85), para reescribir el
operador Halmitoniano

H en terminos de

X() y

X(0), colocando
los operadores

X() a la izquierda y

X(0) a la derecha. Para lograr-
lo necesitamos la ayuda del conmutador [

X(0),

X()]. Al operador
Halmitoniano obtenido se le denotamos como operador Halmitoniano
ordenado

H
ord
(

X(),

X(0)).
III ) Con el Halmitoniano ordenado, los elementos de matriz del lado dere-
cho de la ecuacion (3.83), pueden ser evaluados en forma directa:
x, [

H [ x

, 0) = x, [

H
ord
(

X(),

X(0)) [ x

, 0)
F(x, x

; )x, [ x

, 0), (3.86)
donde F(x, x

; ) es una funcion ordinaria. Sustituyendo este resultado


en Ec.(3.83) e integrando sobre , obtenemos:
x, [x

, 0) = C(x, x

) exp
_

_

F(x, x

; )d

_
(3.87)
donde C(x, x

) es una constante arbitraria de integracion, y no un


operador.
IV) El paso nal es encontrar el valor de la constante C(x, x

). Para ello,
imponemos las siguientes condiciones para determinar su dependencia
en las coordenadas x y x

:
i

x
x, [ x

, 0) = x, [

P() [ x

, 0)
i

x

x, [ x

, 0) = x, [

P(0) [ x

, 0). (3.88)
34 CAP

ITULO 3. PROPAGADOR
Despues de usar estas condiciones, a un existe un factor multiplicativo
para ser determinado en C(x, x

). Este puede ser encontrado imponien-


do la condicion inicial del propagador:
lm
0
+
K(x, x

; ) = (x x

). (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

H =
1
2m

P
2
+
mw
2
2

X
2
. (3.90)
Obviamente, es independiente del tiempo,

H()

H(0). Resolvemos primer-
amente las ecuaciones de movimiento de Heisenberg para

X() y

P(),

d
d

X() = [

X(),

H] =

m

P() , (3.91)

d
d

P() = [

P(),

H] =
mw
2
2

X() . (3.92)
Las soluciones se obtienen de forma inmediata:

X() =

X(0) cos(w) +

P(0)
mw
sin(w) ,

P() = mw

X(0) sin(w) +

P(0) cos(w) . (3.93)
De la primera de estas ecuaciones, podemos escribir a

P(0) en terminos de
los operadores

X() y

X(0) de la forma

P(0) =
mw
sin(w)
_

X()

X(0) cos(w)
_
. (3.94)
Ahora, con esta expresion para el operador de momento, el Halmitoniano
(3.90) se escribe como

H =
mw
2
2 sin
2
(w)
_

X
2
() +

X
2
(0) cos(w)

X(0)

X() cos(w)

X()

X(0) cos(w)
_
+
1
2
mw
2

X
2
(0) (3.95)
3.2. M

ETODOS PARA OBTENER EL PROPAGADOR 35


Notemos que el tercer termino de la ecuacion anterior no esta escrito en el
orden apropiado. Para ordenarlo, usamos el conmutador
[

X(0),

X()] = [

X(0),

X(0) cos(w) +

P(0)
mw
sin(w)]
=

mw
sin(w). (3.96)
De aqu se sigue que

X(0)

X() =

X()

X(0) +

mw
sin(w), (3.97)
y, por lo tanto, nuestro Hamiltoniano ordenado toma la forma

H
ord
=
mw
2
2 sin
2
(w)
_

X
2
() +

X
2
(0) 2

X()

X(0) cos(w)
_

w
2
. (3.98)
Una vez que el Hamiltoniano esta apropiadamente ordenado, podemos en-
contrar la funcion F(x, x

; ) directamente de su denicion, Ec.(3.86):


F(x, x

; ) =
mw
2
2
_
(x
2
+ x
2
) csc
2
(w)
2xx

cot(w) csc(w)
_

w
2
cot(w). (3.99)
Usando la Ec.(3.87), podemos expresar el propagador de la siguiente forma:
x, [ x

, 0) = C(x, x

) exp
_

_

d

F(x, x

; )
_
=
C(x, x

)
_
sin(w)
exp
_
wm
2 sin(w)
_
(x
2
+ x
2
) cos(w)
2xx

__
, (3.100)
donde C(x, x

) es una constante arbitraria de integracion. El ultimo paso es


el calculo de esta constante. Para encontrar su dependencia sobre x y x

,
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

P() = mwcot(w)[

X()

X(0) cos(w)] mw

X(0) sin(w). (3.101)
36 CAP

ITULO 3. PROPAGADOR
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, x

)
x
= 0, (3.102)
es decir, C(x, x

) 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, x

)/x

= 0. Estas dos relaciones nos dicen que C(x, x

) = C, esto
es, es una constante independiente de x y x

. Finalmente para determinar el


valor de C, usamos la condicion inicial dada en la Ec.(3.89). Tenemos que
lm
0
+
x, [ x

, 0) = lm
0
+
C

w
exp[
m
2
(x x

)
2
]
= C
_
2
mw
(x x

), (3.103)
de forma que C =
_
mw/2. De este modo, la expresion nal para el
propagador de Feynman para el Oscilador Armonico es
x, [ x

, 0) =
_
mw
2 sin(w)
exp
_
mw
2 sin(w)
[(x
2
+ x
2
) cos(w)
2xx

]
_
, (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 di-
cho propagador para el problema de Landau, es decir, el sistema de una
partcula no relativista cargada moviendose en presencia de un campo mag-
netico uniforme de fondo.
Captulo 4
Metodo Canonico
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 propa-
gador correspondiente.
4.1. Partcula Cargada en un Campo
Magnetico Uniforme
Los campos magneticos se encuentran en todo el universo, desde escalas
subatomicas, hasta escalas cosmologicas. A grandes escalas, los campos mag-
neticos 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 electro-
magnetico, el movimiento de una partcula con carga puntual q, esta descrito
por la fuerza de Lorentz.

P = q(E(r, t) +v(r) B(r, t)), (4.1)


37
38 CAP

ITULO 4. M

ETODO CAN

ONICO
donde los vectores r, v, P, E y B son, respectivamente, el vector de posi-
cion, velocidad y momento lineal de la partcula, y los campos electrico y
magnetico y el punto denota, la derivada con respecto al tiempo. Si con-
sideramos el caso no relativista sin campo electrico (E = 0), y tomamos el
campo magnetico de la siguiente forma
B = B
0

k, (4.2)
encontramos directamente que las componentes escalares de la fuerza de
Lorentz son
m v
x
= eB
0
v
y
,
m v
y
= eB
0
v
x
,
m v
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 aho-
ra estas ecuaciones, al tomar la segunda derivada temporal obtenemos las
siguientes expresiones
v
x
+
_
eB
0
m
_
2
v
x
= 0, v
y
+
_
eB
0
m
_
2
v
y
= 0. (4.4)
Elegimos ahora las condiciones iniciales de tal forma que la solucion a este
sistema de ecuaciones se pueda escribir como
v
x
(t) = v sin
_
eB
0
m
_
t, v
y
(t) = v cos
_
eB
0
m
_
t. (4.5)
Integrando estas expresiones, podemos ver facilmente que las coordenadas
que describen el movimiento de la partcula son
x(t) =
vm
eB
0
cos
_
eB
0
m
_
t + x
0
y(t) = +
vm
eB
0
sin
_
eB
0
m
_
t + y
0
(4.6)
Estas ecuaciones parametricas describen un crculo con centro en (x
0
, y
0
)
y radio r = vm/eB
0
, el cual solo necesita de condiciones iniciales para ser
determinado, como se muestra en la Figura(4.1). A la cantidad w
c
eB
0
/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 coeciente e/m tienen la misma frecuencia ciclotronica w
c
y que a
distintas energas, la partcula tiene radios de Larmor r distintos.
4.1. PART

ICULA CL

ASICA 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 descri-
ba la dinamica anterior. Recordemos ahora que para cualquier campo elec-
tromagnetico, es posible denir 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
2
q + q x A . (4.8)
Para obtener el Hamiltoniano, notemos que el momento canonico es ahora
=
L
x
= m x + q A, (4.9)
que ya no es simplemente el momento cinetico P = m x, sino que ahora
aparece un nuevo termino que incluye los efectos del campo electromagnetico
externo. Finalmente, el Hamiltoniano para la partcula cargada es
H =
1
2m
(Pq A)
2
+ q (4.10)
Esta forma del Hamiltoniamo puede derivarse directamente del principio de
mnima accion para el sistema.
40 CAP

ITULO 4. M

ETODO CAN

ONICO
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
la siguiente forma B = B
0

k, lo que nos permite escribir [16],

H =

2
1
+
2
2
2m
+

P
2
z
2m
=

H

P
2
z
2m
, (4.11)
con =

P+ e

A el momento canonico. Como el movimiento a lo largo de

k
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, r

; ) = K

(x, x

; )K
z
(z, z

; ) con
K
z
(z, z

; ) =
_
m
2
exp
_
m
2
(z z

)
2

_
. (4.12)
Procedemos entonces a calcular el propagador K

(x, x

; ) por el Metodo
Canonico. Para ello, hacemos uso de la representacion espectral del propa-
gador, Ec. (3.17) y, por lo tanto, requerimos conocer las soluciones,
n
(x),
de la ecuacion de Schrodinger para el problema de Landau.
Comencemos por escribir el potencial vectorial

A, asociado al campo
magnetico B, en la norma de Landau

A = B
0
(0, x, 0), de modo que

=
p
2
x
2m
+
( p
y
+ e B
0
x)
2
2m
. (4.13)
Observemos que el operador y no aparece en

H

, y como sabemos que los


conmutadores [ x, p
y
] = [ p
y
, p
x
] = 0, tenemos que
[

H

, p
y
] = 0. (4.14)
Con esto, tenemos que p
y
es un buen n umero cuantico [3]. Si denimos
k = p
y
/, las eigenfunciones para el problema deben satisfacer de forma
simultanea
p
y
(x, y) = k(x, y) ,

H(x, y) = E(x, y). (4.15)
Ya que en la base de coordenadas el operador p
y
esta dado por i/y, de
la primera relacion, obtenemos

y
(x, y) = ik (x, y) = e
iky
(x). (4.16)
4.2. PROPAGADOR 41
La segunda ecuacion de eigenvalores es simplemente la ecuacion de Schrodinger
independiente del tiempo, y sus soluciones determinan el espectro de energa.
Explcitamente tenemos

H(x, t) =
_
p
2
x
+ ( p
y
+ e B
0
x)
2
_
e
iky
(x)
2m
= e
iky
_
p
2
x
+ (k + e B
0
x)
2
_
(x)
2m
= e
iky
_
mw
2
c
2
( x + x
0
)
2
+
p
2
x
2m
_
(x)
= Ee
iky
(x), (4.17)
donde w
c
= eB
0
/m y x
0
= k/eB
0
. Con esto, despues de reemplazar p
x
por
i/x, obtenemos la ecuacion diferencial
_


2
2m

2
x
2
+
mw
2
c
2
(x x
0
)
2
_
(x) = E(x). (4.18)
Esta expresion es identica a la ecuacion de Schrodinger para un Oscilador
Armonico unidimensional, con un frecuencia w
c
, excepto que tenemos un
termino (xx
0
)
2
en lugar de uno x
2
, con x
0
=
px
eB
0
. Por simplicidad tomemos
x = xx
0
, sin que haya perdida de generalidad. Esto simplemente signica
que el centro de las oscilaciones se encuentra en x = x
0
. 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 ultimo caso, los niveles de energa, llamados tambien
niveles de Landau, los cuales se representan en la Figura(4.2), son
E
n
= w
c
_
n +
1
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) =
_
eB
0
2
_
1/4
1

2
n
n!
H
n
()e

1
2

2
, (4.20)
donde =
_
eB
0
/2( x). Sustituyendo las soluciones encontradas en la rep-
42 CAP

ITULO 4. M

ETODO CAN

ONICO
Figura 4.2: Representacion de los Niveles de Landau.
resentacion espectral para el propagador de Feynman, Ec.(3.17), obtenemos
K( x, x

; )

n
( x, )

n
( x

, 0)e
iEn/
=

n
__
eB
0
2
_
1/4
1

2
n
n!
H
n
()e

1
2

2
_
eB
0
2
_
1/4
1

2
n
n!
H
n
(

)e

1
2

2
_
e
iEn/
=
_
eB
0
2
_
1/2
n
H
n
()H
n
(

)
e

1
2
(
2
+
2
)iEn/
2
n
n!
. (4.21)
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
_
2xyz (x
2
+ y
2
)z
2
1 z
2
_
=

n=0
H
n
(x)H
n
(y)
z
n
2
n
n!
. (4.22)
Si identicamos las variables de la siguiente forma x = , y =

, y
4.2. PROPAGADOR 43
z = e
En/
, obtenemos
K( x, x

; )

=
_
mw
c

exp [
1
2
(x
2
+ y
2
)]z
1/2
(1 z
2
)
1/2
exp
_
2xyz (x
2
+ y
2
)z
2
1 z
2
_
, (4.23)
enseguida ordenamos los diferentes terminos del propagador, para esto nos
auxiliaremos de la siguiente identidad.
1 + z
2
2(1 z
2
)
=
1
2
+
z
2
1 z
2
(4.24)
Obteniendo:
K( x, x

; )

=
_
mw
c

_
z
1 z
2
exp
_
1
1 z
2
(2xyz (x
2
+ y
2
)
_
1 + z
2
2
_
)
_
, (4.25)
realizando las siguientes sustituciones trigonometricas,
sin(w
c
) =
1 z
2
2z
, cos(w
c
) =
1 + z
2
2z
,
obtenemos la representacion del propagador, correspondiente al campo magnetico,
en una forma mas sencilla.
K( x, x

; )

eB
0
4 sin(w
c
)
exp
_
eB
0
4 sin(w
c
)
_
( x
2
+ x
2
) cos(w
c
) 2 x x

__
,(4.26)
de este propagador podemos identicar al campo eB
0
= 2mw
c
, con w
c
como
la frecuencia del ciclotron. Finalmente, el propagador de Feynman para la
partcula cargada en presencia de un campo magnetico uniforme, K(r, r

; ),
toma la siguiente forma,
K(r, r

; ) = K
z
(z, z

; )K

( x, x

; )
=
_
m
2
exp
_
m
2
(z z

)
2

_
_
mw
c
2 sin(w
c
)
exp
_
mw
c
2 sin(w
c
)
_
( x
2
+ x
2
) cos(w
c
) 2 x x

__
, (4.27)
donde x = xx
0
. En Captulos posteriores obtendremos la expresion corre-
spondiente mediante el metodo de la Integral de Caminos y el de Schwinger
y al nal compararemos las ventajas y desventajas de cada formalismo.
44 CAP

ITULO 4. M

ETODO CAN

ONICO
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 Accion Clasica
Recordemos que clasicamente, la interaccion de una partcula de carga q con
con campo magnetico esta dada por
S
mag
= q
_
t
b
ta
dt x(t) A(x(t)), (5.1)
donde A(x) es el vector potencial asociado al campo magnetico. La accion
total del sistema es entonces
S[x] =
_
t
b
ta
dt
_
m
2
x
2
(t) + q x(t) A(x(t))
_
. (5.2)
Supongamos, al igual que antes, que la partcula se mueve en un campo
magnetico homogeneo B = B
0

k. Tal campo se describe, por ejemplo, a


traves el potencial vector en la norma de Landau A = B
0
(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 +, (5.4)
45
46 CAP

ITULO 5. INTEGRAL DE CAMINOS


Figura 5.1: Campo magnetico orientado en la direccion z, observese que no hay inuencia
en la misma direccion 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 inte-
gracion de Schwarz
(
i

i
) = 0 . (5.5)
Por ejemplo, el vector potencial axialmente simetrico,

A(x) =
1
2
B x (5.6)
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
2
B
0
xy. (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
S[P, x] =
_
t
b
ta
dt
_
P x
1
2m
[P+ e A(x)]
2
_
. (5.8)
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+ e A , (5.9)
tal como hicimos en el captulo anterior. Con esta forma de la accion calcu-
laremos, a continuacion, el propagador de Feynman mediante el metodo de
la Integral de Caminos.
5.2. PROPAGADOR 47
Figura 5.2: Funcion Delta de Dirac en 1D, su principal propiedad
_
f(x)(x)dx = f(0),
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 x

a x en un
intervalo de tiempo = t

t esta dada por [7]


x, t[x

, t

) = N
_
Dxexp
_

S[P, x]
_
, (5.10)
con la siguiente accion propiamente discretizada
S[P, x] =
N

n=1
_
P
n
(x
n
x
n1
) H
_
x
n
+x
n+1
2
, P
n
__
=
N

n=1
_
P
n
(x
n
x
n1
)

2m
_
P
2
xn
+(P
yn
+eB
0
x
n
)
2
+P
2
zn
_
_
. (5.11)
Ya que la accion S contiene las variables y
n
y z
n
, solo en lo primeros
terminos de

N
n=1
P
n
x
n
, podemos realizar las integraciones de y
n
, z
n
y en-
contrar el producto de N funciones , como la representada en la Figu-
ra (5.2), en las componentes y y z del momento P
n
. Si denotamos por p

a
la proyeccion de P al plano yz, el producto resultante es
(2)
2

2
(p

N
p

N1
) . . . (2)
2

2
(p

2
p

1
) (5.12)
Esto permitira realizar todas las integrales P
yn
, P
zn
. Excepto para una gen-
48 CAP

ITULO 5. INTEGRAL DE CAMINOS


eral P
y
, P
z
, la integral de caminos se reduce a
x, t[x

, t

) =
_

dP
y
dP
z
(2)
2
N1

n=1
_
_

dx
n
_
N

n=1
_
_
dP
xn
2
_
exp
_

S
(N1)
x
_
exp
_

_
P
y
(y y

) + P
z
(z z

) (t t

)
P
2
z
2m
__
, (5.13)
donde S
(N1)
x
[P, x] es la accion que involucra, solamente, a una integral de
caminos de una dimension sobre la componente x del camino, x(t):
S
(N1)
x
[P, x] =
N

n=1
_
P
xn
(x
n
x
n1
)
P
2
xn
2m

1
2m
(P
y
+ e B
0
x
n
)
2
_
. (5.14)
Esta es, precisamente, la accion para el oscilador armonico unidimensional
desplazado, con una frecuencia de ciclotron w
c
= eB
0
/(m) y cuyo centro de
oscilacion se localiza en x
0
= p
y
/(mw
c
). La integral de caminos sobre x(t) es
armonica (ver p. ej. (3.78)) y conocida, por lo que escribimos directamente
x, t[x

, t

)
x
0
=
_
mw
c
2 sin(w
c
(t t

))
exp
_

mw
c
2 sin(w
c
(t t

))
_
[(x x
0
)
2
+ (x

x
0
)
2
] cos(w
c
(t t

))
2(x x
0
)(x

x
0
)
__
. (5.15)
Realizando la integral sobre P
z
en la Ec.(5.13), llegamos a
x, t[x

, t

) =
1
_
2(t t

)/m
e

m
2
(zz

)
2
(tt

)
x

, t[x

, t

) , (5.16)
con la amplitud ortogonal a el campo magnetico dada por
x

, t[x

, t

)
mw
c
2
_

dx
0
e
mwcx
0
(yy

)/
x, t[x

, t

)
x
0
. (5.17)
Despues de completar los cuadrados en x
0
, en el exponente total en la Ec.
5.2. PROPAGADOR 49
(5.17), este toma la forma
mw
c

x
0
(y y

) +
mw
c
2 sin w
c
(t t

)
_
((x x
0
)
2
+ (x

x
0
)
2
)
cos w
c
(t t

) 2(x x
0
)(x

x
0
)
_
=
mw
c
2
_
(x
2
+ x
2
) tan
_
w
c
(t t

)
2
_
+
(x x

)
2
sin w
c
(t t

)
_

w
c
m

_
x
2
0
tan
_
w
c
(t t

)
2
_
+
w
c
m

x
0
_
(x + x

) tan
_
w
c
(t t

)
2
_
+ (y y

)
__
(5.18)
Para poder realizar la integral de x
0
, usamos
_
dxe
ax
2
+bx
=
_
dxe
a(x
b
2a
)
2

b
2
4a
, (5.19)
de donde obtenemos, al realizar las integraciones Gaussianas, que el argu-
mento de la exponencial es
w
c
m
2
_
(x
2
+ x
2
) tan(
w
c
(t t

)
2
) +
(x x

)
2
sin w
c
(t t

)
_

mw
c

tan
_
w
c
(t t

)
2
_
_
x
0

x x

2

y y

2 tan
_
wc(tt

)
2
_
_
2
+
mw
c
2
_
(x + x

)
2
2
tan(
w
c
(t t

)
2
) +
(y y

)
2
2 tan(
wc(tt

)
2
)
_
+
mw
c
2
(x + x

)(y y

) (5.20)
Al realizar la integracion mw
c
_

dx
0
/2, se remueve el segundo termino
y resulta en un factor
mw
c
2

mw
c
tan
_
wc(tt

)
2
_ (5.21)
Ordenando los terminos restantes, obtenemos la amplitud
x, t[x

, t

) =
_
m
2(t t

)
_
3/2
w
c
(t t

)/2
sin
_
wc(tt

)
2
_ exp
_

(S
cl
+ S
sf
)
_
, (5.22)
50 CAP

ITULO 5. INTEGRAL DE CAMINOS


con la accion
S
cl
=
m
2
_
(z z

)
2
t t

+
w
c
2
cot
_
w
c
(t t

)
2
_
_
(x x

)
2
+(y y

)
2
_
+ w
c
(x

y xy

)
_
(5.23)
y un termino de supercie
S
sf
=
mw
c
2
(xy x

) =
e
2
B
0
xy

b
a
. (5.24)
Ya que la accion es armonica, otra vez la amplitud es un producto de una fase
e

cl
y un factor de uctuacion. Finalmente, solo resta escribir el propagador
de Feynman obtenido en todo su esplendor,
x, [x

, 0) =
_
m
2
_
3/2
w
c
/2
sin
_
wc
2
_ exp
_
m
2
_
(z z

)
2

+
+
w
c
2
cot(
w
c

2
)[(x x

)
2
+
+(y y

)
2
] + w
c
(x x

)(y y

)
__
, (5.25)
donde hemos tomado = t t

. Con las identidades trigonometricas apropi-


adas, esta expresion coincide con la obtenida a partir del Metodo Canonico
en el Captulo anterior.
Enseguida presentaremos unos comentarios sobre la dependencia de nor-
ma del propagador y la invariancia de norma de las cantidades fsicas ob-
servables 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
A

(x) = A(x) +(x), (5.26)


la accion cambia por un termino de supercie
S = e
_
t
t

dx x (x) = e [(x) (x

)], (5.27)
5.3. INVARIANCIA DE NORMA 51
de forma que el propagador de Feynman cambia de acuerdo a
x, t[x

, t

)
A
x, t[x

, t

)
A
= e
e(x)/
x, t[x

, t

)
A
e
e(x)/
. (5.28)
Esta ley de transformacion es valida tambien en la electrodinamica cuantica
relativista, donde recibe el nombre de transformacion de Landau-Khalataikov-
Fradkin [11] para el propagador del electron.
Para observables como la distribucion de partculas x, t[x

, t

), 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 in-
volucra 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 ultimo termino se escribe
S =
mw
c
2
(x

y xy

) . (5.29)
Bajo una traslacion x x +d, este termino cambia por
mw
c
2
[d
x
(y y

) + d
y
(x

x)] =
mw
c
2
[(d x)
b
(d x)
a
]
z
, (5.30)
causando en la amplitud un cambio puramente de norma,
x, t[x

, t

) e
e(x)/
x, t[x

, t

)e
e(x)/
, (5.31)
con la funcion de norma
(x) =
mw
c

2e
[d x]
z
. (5.32)
Como las observables fsicas son cantidades invariantes de norma, tales trans-
formaciones 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 CAP

ITULO 5. INTEGRAL DE CAMINOS


Captulo 6
Metodo 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 ultimo 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 Lan-
dau es de la forma K(r, r

; ) = K
z
(z, z

; )K

(x, x

; ) donde K
z
(z, z

; )
es el propagador libre en direccion del campo magnetico, que al igual que
antes, suponemos en la direccion

k. Emplearemos ahora el metodo de Schwinger [16],
para obtener K

(x, x

; ) = x, [ x

, 0). Comenzamos escribiendo la ecuacion


diferencial

x, [ x

, 0) = x, [ H

(X

(0),

(0)) [ x

, 0), (6.1)
donde X

() = X
1
() +X
2
(),

() =
1
() +
2
() y el Hamiltoniano
H

= (
2
1
+
2
2
)/2m. En la expresion anterior, [x, ) y [x

, 0) son los eigen-


vectores de los operadores de posicion X() = X
1
() + X
1
() y X(0) =
X
1
(0) + X
1
(0). Mas especcamente, los operadores X
1
(0), X
1
(), X
2
(0)
y X
2
() tienen los eigenvalores x

1
, x
1
, x

2
, x
2
respectivamente. Para resolver
las ecuaciones de movimiento de Heisenberg, para los operadores X

,
necesitamos los conmutadores [3]:
_
X
i
(),
2
j
()
_
= 2
i
(),
_

i
(),
2
j
()
_
= 2eB
0

ij3

j
(). (6.2)
53
54 CAP

ITULO 6. M

ETODO DE SCHWINGER
Aqu
ij3
es el smbolo usual de Levi-Civita. Introduciendo la siguiente
notacion matricial
X() =
_
X
1
()
X
2
()
_
; () =
_

1
()

2
()
_
, (6.3)
y usando los conmutadores previos, las ecuaciones de movimiento de Heisen-
berg, Ec.(3.85), pueden ser llevadas a la forma
X()

=
()
m
, (6.4)
()

= 2w
c
C(), (6.5)
donde 2w
c
= eB
0
/m es la frecuencia del ciclotron y denimos la matriz
C =
_
0 1
1 0
_
. (6.6)
Integrando la Ec. (6.5) obtenemos
() = e
2wcC
(0). (6.7)
Sustituyendo esta solucion en la Ec. (6.4) e integrando una vez mas, tenemos
X() X(0) =
sin(w
c
)
mw
c
e
wcC
(0), (6.8)
donde hemos usado las siguientes propiedades de la matriz C [18, 19] : C
2
=
11; C
1
= C = C
T
, e
C
= cos()11 + sin()C con C
T
siendo la matriz C
transpuesta. Con los resultados anteriores, escribimos (0) en terminos de
los operadores deseados, es decir,
(0) =
mw
c
sin(w
c
)
e
wcC
_
X() X(0)
_
. (6.9)
Para expresar el Hamiltoniano en terminos de X() y X(0), hacemos uso
de la expresion anterior de modo que, en notacion matricial,
H

=
1
2m

T
(0)(0)
=
mw
2
c
2 sin
2
(w
c
)
_
X
T
()X() + X
T
(0)X(0)
X
T
()X(0) X
T
(0)X()
_
. (6.10)
6.1. PROPAGADOR 55
El ultimo 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

i=1
[X
i
(0), X
i
()]. (6.11)
Usando la Ec.(6.8), el conmutador usual [X
i
(),
j
()] =
ij
11 y las propiedades
de la matriz C, es facil mostrar que
2

i=1
[X
i
(0), X
i
()] =
2 sin(w
c
) cos(w
c
)
mw
c
. (6.12)
As, el Halmitoniano H

, con el apropiado orden temporal toma la forma


H

=
mw
2
c
2 sin
2
(w
c
)
_
X
2
() +X
2
(0) 2X
T
()X(0)
_
w
c
cot(w
c
). (6.13)
Sustituyendo este Halmitoniano en la Ec. (6.1) e integrando en , obtenemos
x, [x

, 0) =
C(x, x

)
sin(w
c
)
exp
_
mw
c
2
cot(w
c
)(x x

)
2
_
, (6.14)
donde C(x, x

) es una constante de integracion que puede ser determinada


con las condiciones que se muestran en el ultimo paso de la explicacion del
metodo de Schwinger [6], y que en este caso implican
x, [
j
()[x

0) =
_


x
j
e A
j
(x)
_
x, [x

0) (6.15)
x, [
j
(0)[x

0) =
_

j
e A
j
(x

)
_
x, [x

0) (6.16)
lm
0
+
x, [x

0) =
(2)
(x x

). (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
() =
mw
c
sin(w
c
)
e
wcC
_
X() X(0)
_
, (6.18)
la cual nos lleva a
x, [
j
()[x

0) = mw
c
[cot(w
c
)(x
j
x

j
) +
jk3
(x
k
x

k
)]x, [x

0). (6.19)
56 CAP

ITULO 6. M

ETODO DE SCHWINGER
Aqu hemos usado las propiedades de la matriz C y la convencion de Ein-
stein 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
x, [
j
(0)[x

, 0) = mw
c
[cot(w
c
)(x
j
x

j
)
jk3
(x
k
x

k
)]x, [x

, 0). (6.20)
Sustituyendo estas dos expresiones en las Ecs.(6.15) y (6.16), respectiva-
mente, y usando la Ec.(6.14), tenemos
_


x
j
+ e A
j
(x) +
1
2
eF
jk
(x
k
x

k
)
_
C(x, x

) = 0, (6.21)
_

j
e A
j
(x

) +
1
2
eF
jk
(x
k
x

k
)
_
C(x, x

) = 0, (6.22)
donde hemos denido F
jk
=
jk3
B
0
[2]. Para resolver el sistema anterior
de ecuaciones diferenciales, hacemos lo siguiente: En la primera ecuacion,
(6.21), asumimos las variables x

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 dx
j
y sumamos sobre j, para obtener
1
C
_
C
x
j
dx
j
_
=
e

_
A
j
(x) +
1
2
F
jk
(x
k
x

k
)
_
dx
j
. (6.23)
Integrando, obtenemos
C(x, x

) = C(x

, x

) exp
_
e

[A() +
1
2
F
jk
(
k
x

k
)]d
j
_
, (6.24)
donde la integral de lnea, se asume que es a lo largo de una curva que va a
ser especicada mas adelante. En esta integral de lnea no hay dependencia
de la curva que une a x

y x.
Para determinar la ecuacion diferencial para C(x

, x

), debemos de susti-
tuir la Ec.(6.24) en la Ec.(6.16). Haciendo esto y usando cuidadosamente el
teorema fundamental del calculo, es facil mostrar que
C
x

j
(x

, x

) = 0, (6.25)
lo cual quiere decir que C(x, x

) es una constante C
0
, independiente de x

.
Notemos que
[B
0
( x

)]
j
= F
jk
(
k
x

k
). (6.26)
6.1. PROPAGADOR 57
La Ec.(6.24) puede ecribirse como
C(x, x

) = C
0
exp
_
e

[A()
1
2
B
0
( x

)] d
_
. (6.27)
Observemos ahora que la integral en la anterior ecuacion tiene un rota-
cional que se anula,

_
A()
1
2
B
0
( x

)
_
= B
0
B
0
= 0, (6.28)
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 x

hasta x, se puede mostrar que


_

sl
[B
0
( x

)] d = 0, (6.29)
donde
sl
quiere decir una lnea recta de x

a x. Con esta simplicacion, la


C(x, x

) toma la forma
C(x, x

) = C
0
exp
_
e

sl
A() d
_
. (6.30)
Sustituyendo la ultima expresion en la Ec.(6.14) y usando la condicion ini-
cial Ec.(6.17), obtenemos C
0
= mw
c
/2. De esta forma, el propagador
de Feynman para una partcula cargada bajo la inuencia de un campo
magnetico constante y uniforme toma la forma
K(r, r

: ) =
mw
c
2 sin(w
c
)
_
m
2
exp
_
e

_
x
x

A() d
_
exp
_
mw
c
2
cot(w
c
)(x x

)
2
_
exp
_
m
2
(z z

)
2

_
. (6.31)
En la expresion anterior, se hemos omitido el smbolo
sl
, pero esta im-
plcito 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.
58 CAP

ITULO 6. M

ETODO DE SCHWINGER
Figura 6.1: Posibles trayectorias de r a r

, 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,
(r, r

) = exp
_
e

_
r
r

A() d
_
.
La integral en (r, r

) debe de ser evaluada, necesariamente, a lo largo de


una lnea recta entre los puntos r y r

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
_
r
r

_
A()
1
2
B
0
( x

)
_
d.
Por otro lado, ya que resolvimos las ecuaciones de Heisenberg para los
operadores invariantes de norma X

, nuestro resultado nal 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],
K(r, r

; ) e
e

(r)
K(r, r

; )e

(r

)
. (6.32)
Esta es la forma dicatada por la transformacion de Landau-Khalataikov-
Fradkin [11] que mencionamos en el Captulo anterior.
A continuacion estudiaremos los niveles de energa a partir del propa-
gador (6.31).
6.1. PROPAGADOR 59
6.1.2. Niveles de Energa
Recordemos que la presencia del campo magnetico rompe la isotropa del
espacio, lo cual debe reejarse 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, precisa-
mente, 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, x

; ) = (x, x

)/(x x

; ). (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 /(x x

; ) en el espacio de
momentos a traves de su transformada de Fourier
/(P; ) =
_
d
3
x e
P x
/(x; )
=
_
d
2
x

dx
3
e
P

e
P
3
x
3
/(x

; )/(x
3
; ), (6.34)
donde, para un vector arbitrario a, a

y a
3
son las componentes transver-
sas (a
x
, a
y
) y paralela (a
z
) al campo, respectivamente. Podemos separar las
integrales para estas componentes,
_

dx
3
e
P
3
x
3
e
m
2
x
2
3

= exp
_

P
2
3
2 m
_
_
2
m
(6.35)
_

d
2
x

e
P

e
mwc
2
cot(wc )x
2

=
exp
_

P
2

mw
c
cot(w
c
)
__
2
mw
c
cot(w
c
)
_
, (6.36)
de forma tal que el propagador de Feynman en el espacio de momentos puede
escribirse como
/(P; ) =
mw
c
2 sin(w
c
)
_
m
2
2
mw
c
cot(w
c
)
_
2
m
exp
_

_
P
2

2mw
c

tan(w
c
) +
P
2
3
2m
__
=

cos(w
c
)
exp
_

_
P
2

2mw
c

tan(w
c
) +
P
2
3
2m
__
. (6.37)
60 CAP

ITULO 6. M

ETODO DE SCHWINGER
Figura 6.2: Prescripcion en el plano (complejo) de la energa.
Observemos que cuando tomamos el siguiente lmite w
c
= eB
0
/m 0, es
decir, quitando el efecto del campo magnetico, obtenemos
/(P; ) = e

P
2

+P
2
3
2m
= e

P
2
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,
/(P; E) =
_

o
de
E
/(P; )
=
_

0
d
cos(w
c
)
exp
_

_
E
P
2

tan(w
c
)
2mw
c


P
2
3
2m
+
_
_
. (6.39)
Notemos aqu que la prescripcion

, para 0, garantiza la convergen-


cia de la integral. Salvo este termino, la expresion entre parentesis en la
exponencial, en el lmite B
0
0, se reduce a la relacion no relativista de
energa-momento,
E =
P
2
2m
. (6.40)
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 identica con el tiempo propio, de donde
el metodo para derivar el propagador toma su nombre. Con animos de com-
paracion, notemos que el propagador de Schwinger para una partcula es-
calar (relativista) cargada en presencia de un campo magnetico uniforme de
6.1. PROPAGADOR 61
intensidad B
0
es
/(P) =
_

0
d
cos(eB
0
)
exp
_

_
P
2


P
2

tan(eB
0
)
eB
0

m
2
+
_
_
.(6.41)
Recordemos que en este caso, para el cuadrivector de energa-momento P

=
(E, P
1
, P
2
, P
3
) de la partcula, P
2

= E
2
P
3
y P

= P
2
1
+ P
2
2
, con P
2
=
P
2

P
2

. As, cuando B
0
0, el termino entre parentesis de la exponencial
se reduce a la relacion relativista de energa-momento,
E
2
= P
2
+ m
2
, (6.42)
escrita en unidades naturales, donde c = = 1 cuando = 0. Esto quiere de-
cir que la expresion en la Ec. (6.39) es simplemente la version no relativista
del propagador derivado originalmente por Schwinger [22], donde, nueva-
mente, 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 em-
bargo, 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). Ob-
servemos que para = /2w
c
, en la exponencial ocurre que
lm
x
_
e
tan(x)
cos(x)
_
0. (6.43)
Con esto en mente y tomando el intervalo [0, ]/w
c
, nuestro propagador
toma la forma
/(P; E) =

n=0
_
(n+1)

wc
n

wc
d
cos(w
c
)
exp
_

_
E
P
2

2m
tan(w
c
)
w
c


P
2
3
2m
+
__
. (6.44)
Haciendo el siguiente cambio de variable y tomando en cuenta las propiedades
de las funciones tangente y coseno,
=

+
n
w
c
tan(a + n) = tan(a)
cos(a + n) = (1)
n
cos(a), (6.45)
62 CAP

ITULO 6. M

ETODO DE SCHWINGER
nuestro propagador toma la siguiente forma
/(P; E) =

n=0
_
wc
0
d

(1)
n
cos(w
c

)
exp
_

_
E
P
2

2m
tan(w
c

)
w
c

P
2
3
2m
+
__
exp
_
n
w
c
_
E
P
2
3
2m
+
__
=

1 + exp
_

wc
_
E
P
2
3
2m
+
__
_
wc
0
d
cos(w
c
)
exp
_

_
E
P
2

2m
tan(w
c
)
w
c


P
2
3
2m
+
__
. (6.46)
Resta tan solo realizar la integral en la expresion anterior. Para esto, hacemos
el cambio de variable u = e
2wc
y usamos la funcion generatriz de los
polinomios de Laguerre,
e
x z
1z
1 z
=

l=0
L
l
(x)z
l
donde [z[ < 1. (6.47)
Con esto, nuestro propagador se reduce a
/(P; E) =

1 + exp
_

wc
_
E
P
2
3
2m
+
__
_
wc
0
d
exp
_

_
E
P
2
3
2m
+
__
exp
_

P
2

2mw
c
_

l=0
(1)
l
L
l
_
P
2

mw
c
_
u
l
2

l=0
L
l
_
P
2

mw
c
_
e
(2l+1)wc
. (6.48)
Finalmente, integrando y reduciendo terminos, obtenemos
/(P; E) = 2

l=0
(1)
l
L
l
_
P
2

mwc
_
e

P
2

2mwc
E (2l + 1)w
c

P
2
3
mwc
+
. (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)w
c
+
P
2
3
2m
= E

+ E

(6.50)
6.1. PROPAGADOR 63
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, reeja 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
/(P; E) = 2

l=0
(1)
l
L
l
_
2P
2

eB
0
_
e

P
2

eB
0
P
2

(2l + 1)eB
0
m
2
+
, (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
ultimo metodo estudiado en esta tesis. Enseguida lo usaremos para una
aplicacion fsica, Efecto Hall Cuantico.
64 CAP

ITULO 6. M

ETODO 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. Funcion de Particion
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 dene como
Z() = Tr e


H
, (7.1)
donde = 1/(k
B
T), siendo k
B
la constante de Boltzmann y T la temperatu-
ra. 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, [x

), de la forma
Z() =
_

dx

[e


H
[x

). (7.2)
Notemos que el integrando de esta expresion se puede identicar con el
propagador de Feynman, pues el operador e
H
se puede identicar con
65
66 CAP

ITULO 7. APLICACIONES
un operador de evolucion temporal con = . Entonces, la funcion de
particion es simplemente el propagador de Feynman con los puntos nales
x

= x

= x y = como el intervalo imaginario de tiempo, es decir,


x[e


H
[x) = x, [x, 0). (7.3)
Por ejemplo, a partir del propagador del oscilador armonico, Ec.(3.104),
tenemos que
x, [x, 0) =
_
mw
c
2 sinh(w
c
)
exp
_

mw
c
sinh(w
c
)
(cosh(w
c
) 1)x
2
_
, (7.4)
donde hemos usado las identidades sin() = sinh() y cos() =
cosh(). Entonces, la funcion de particion correspondiente es, simplemente,
Z() =
_
mw
c
2 sinh(w
c
)
_

exp
_

mw
c
x
2

tanh
_
w
c

2
__
dx
=
1
2 sinh(1/2w
c
)
, (7.5)
donde se usaron las identidades cosh() 1 = 2 sinh
2
(/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() = Tr [K(x, x

; )]
=
_

dx
_

dx

K(x, x

; ) (7.6)
=
_

dx
_

dx

mw
c
2 sinh(w
c
)
. (7.7)
Notemos que el resultado es divergente! porque la integracion se realiza
sobre el plano innito xy. Esto es consecuencia de la degeneracion innita
de los niveles de Landau. Para proceder asumimos que el area es tan grande
7.2. EL EFECTO HALL CU

ANTICO 67
como queramos, pero nita. Con esto, podemos escribir,
Z
_
L/2
L/2
dx
1
_
L/2
L/2
dx
2
K(r, ; x

, 0)

L
2
mw
c
2 sinh(w
c
)
=
L
2
e B
0
4
e
1/2wc
_
1 e
wc
_
=

n=0
L
2
e B
0
4
e
(n+1/2)wc
,
donde w
c
= e B
0
/2m la frecuencia del ciclotron. Comparando este resultado
con la expresion general para la funcion de particion de un sistema con
niveles de energa E
n
y degeneracion g
n
, dada por
Z() =

n
g
n
e
En
, (7.8)
podemos identicar directamente los niveles de energa y la correspondiente
degeneracion por unidad de area para los electrones de Landau,
E
n
=
_
n +
1
2
_
w
c
;
g
n
A
=
e B
0
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 Cuantico
El Efecto Hall, descubierto en 1879, ocurre cuando una corriente electrica,
con densidad de corriente j = j
x
asociada a un campo electrico E = E
x
y
con portadores de carga moviendose con velocidad promedio v, es sometida
a un campo magnetico perpendicular B = B
0

k, como se muestra en la
Figura (7.1). Esto provoca que los portadores, que supondremos son de
carga q, experimenten una fuerza de Lorentz
F
L
= 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 CAP

ITULO 7. APLICACIONES
Figura 7.1: Diagrama esquematico de la conguracion de un peque no 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, estan determinados
por I, V y VH como se indica.
de carga son
x(t) =
v m
q B
0
cos
_
q B
0
m
t
_
+ x
0
,
y(t) =
v m
q B
0
sin
_
q B
0
m
t
_
+ y
0
. (7.11)
As que tenemos partculas moviendose en crculos, cuyo centro esta en
(x
0
, y
0
), de radio r = v m/q B
0
y con una frecuencia de Larmor w
c
= q B
0
/m.
Si tomamos en cuenta el campo electrico, su efecto es acelerar a las partcu-
las 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 porta-
dores son desviados hacia uno de sus bordes por la fuerza v
x
B
0
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 V
h
, que da
7.2. EL EFECTO HALL CU

ANTICO 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 E
H
= v
x
B
0
.
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
E
H
=
V
H
w
=
I B
0
q nA
, (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:

H

xy
=
j
x
E
y
=
ne
B
0
, (7.13)
donde
xy
es la componente xy 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 bidimen-
sional. 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 par-
ticipando 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 bidi-
mensional de electrones, el tensor de conductividad se vuelve antisimetrico,
con valor cero para sus componentes diagonales Y e
2
/h en las compo-
nentes fuera de la diagonal cada que se forma una meseta,
=
_
0 e
2
/h
e
2
/h 0
_
. (7.14)
Aqu es un entero peque no, = 1, 2, 3, . . ., llamado factor de llenado.
Ademas se presentan mesetas en la resistencia Hall en valores R
H
= h/ e
2
,
=
_
0 h/ e
2
h/ e
2
0
_
. (7.15)
70 CAP

ITULO 7. APLICACIONES
La Figura (7.2) muestra una graca 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 Clasico.
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 conductivi-
dad 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 en-
tendimiento 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, connados en el plano xy y pongamos al campo
magnetico B paralelo al eje z. El propagador de Feynman para este sistema,
7.2. EL EFECTO HALL CU

ANTICO 71
Figura 7.3: Densidad de probabilidad |n|
2
en el plano xy, para los niveles de Landau
n = 0, 1, 2, 3.
en su forma espectral, es
z, [z

, 0) =
_
mw
c

exp
_

mw
c
2
(z
2
+ z
2
)
_

n=0
H
n
_
_
mw
c

z
_
H
n
_
_
mw
c

_
e
(n+1/2)wc
2
n
n!
,(7.16)
de donde podemos facilmente inferir la forma de las eigenfunciones y tambien
de las eigenenergas del sistema, que son
E
n
= w
c
(n +
1
2
) con n = 0, 1, 2, 3, . . . , (7.17)
con w
c
= eB
0
/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
e
iky
, 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 L
x
y L
y
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
dg
n
dk
=
L
y
2
. (7.18)
72 CAP

ITULO 7. APLICACIONES
Por otro lado, ya que los diferentes centro de oscilacion se encuentran en
k/eB, tenemos que
0 < k < eBL
x
, (7.19)
as que, integrando la Ec. (7.18) entre estos lmites,
g
n
=
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 ma-
terial tiene n electrones libres por unidad de area, se dene el factor de llena-
do 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
eB
= entero. (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 obten-
er 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 con-
sideraciones 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 eciente. 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 interva-
lo temporal dado. Esto nos permite calcular el propagador directamente,
sumando todas las trayectorias que conectan a los puntos inicial y nal de
la transicion. Para entender de mejor manera el signicado fsico del propa-
gador 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 dicultar enormemente encontrar una expresion
73
74 CAP

ITULO 8. CONCLUSIONES
para el propagador de Feynman por este metodo en sistemas cuyos Hamil-
tonianos 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 prin-
cipalmente en la teora cuantica de campos, es igual de util 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 proble-
ma 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
nita 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 Lan-
dau a traves del potencial vector mediante el acoplamiento mnimo, pero el
potencial no es unico, 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 jar 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 ma-
nipulables. 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 depen-
dencia 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 jar 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 CAP

ITULO 8. CONCLUSIONES
Apendice A
Funcionales
Clasicamente, hay dos clases de sistemas dinamicos que podemos encon-
trar. Primero, esta el movimiento de una partcula o un cuerpo rgido, (con
un n umero nito de grados de libertad) el cual puede ser descrito por un
n umero nito de coordenadas. Tambien hay sistemas fsicos, donde el n umero
de grados de libertad es innumerable e innito. Tales sistemas son descritos
por campos. Ejemplos familiares de campos clasicos son el campo electro-
magnetico, descrito por

E(x, t) y

B(x, t). Similarmente, el movimiento de
una cuerda 1D es tambien descrito por un campo (x, t), llamado el campo
de desplazamiento. Esto es, mientras las coordenadas de una partcula de-
penden solamente del tiempo, los campos tambien dependen continuamente
de algunas variables espaciales. De este modo, una teora descrita por cam-
pos 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 cono-
cidas como funcionales. Si consideramos el movimiento unidimensional de
una partcula en un potencial, el Lagrangiano correspondiente es
L(x, x) =
1
2
m x
2
V (x), (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,
denida como
S[x] =
_
t
f
t
i
dtL(x, x) . (A.2)
77
78 AP

ENDICE A. FUNCIONALES
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
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 dene la derivada de
la funcional o la derivada Gateaux de la funcional lineal
F

[u] =
1

F[f + v]

=0
=
_
dx
F(f)
f(x)
v(x). (A.5)
Equivalentemente, desde un punto de vista practico, esto simplemente cor-
responde a denir
F(f(x))
f(y)
= lm
0
F(f(x) (x y)) F(f(x))

. (A.6)
Ahora se sigue, de la Ec.(A.6) que
f(x)
f(y)
= (x y). (A.7)
La derivada de la funcional satisface todas las propiedades de una derivada,
como la linealidad y la asociatividad,

f(x)
(F
1
[f] + F
2
[f]) =
F
1
[f]
f(x)
+
F
2
[f]
f(x)
(A.8)

f(x)
(F
1
[f]F
2
[f]) =
F
1
[f]
f(x)
F
2
[f] + F
1
[f]
F
2
[f]
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
F[f] =
_
dxP
0
(x) +
_
dx
1
dx
2
P
1
(x
1
, x
2
)f(x
2
) +
+
_
dx
1
dx
2
dx
3
P
2
(x
1
, x
2
, x
3
)f(x
2
)f(x
3
) + . . . (A.10)
79
honde
P
0
= F(f(x))

f(x)=0
,
P
1
(x
1
, x
2
) =
F(f(x
1
))
f(x
2
)

f(x)=0
, (A.11)
P
2
(x
1
, x
2
, x
2
) =
1
2!

2
F(f(x
1
))
f(x
2
)f(x
3
)

f(x)=0
,
y as sucesivamente. Como un ejemplo, consideremos la accion en una di-
mension
S[x] =
_
t
f
t
i
dt

L(x(t

), x(t

)) (A.12)
con
L(x(t

), x(t

)) =
1
2
m( x(t))
2
V (x(t))
= T( x(t)) V (x(t)). (A.13)
De manera directa, obtenemos
V (x(t

))
x(t)
= lm
0
V (x(t

) + (t

t)) V (x(t

))

= V

(x(t

))(t

t), (A.14)
donde hemos denido
V

(x(t

)) =
V (x(t

))
x(t

)
, (A.15)
y
T( x(t

))
x(t)
= lm
0
T( x(t

) +
d
dt

(t

t)) T( x(t

))

= m x(t

)
d
dt

(t

t). (A.16)
Ahora, es claro que
L(x(t

), x(t

))
x(t)
=
(T( x(t

)) V (x(t

)))
x(t)
= m x(t

)
d
dt

(t

t) V

(x(t

))(t

t). (A.17)
80 AP

ENDICE A. FUNCIONALES
Consecuentemente, para t
i
t t
f
S[x]
x(t)
=
_
t
f
t
i
dt

L(x(t

), x(t

))
x(t)
=
_
t
f
t
i
dt

(m x(t

)
d
dt

(t

t) V

(x(t

))(t

t))
= m x(t) V

(x(t))
=
d
dt
L(x(t), x(t))
x(t)
+
L(x(t), 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
S[x]
x(t)
=
d
dt
L
x(t)
+
L
x(t)
= 0 (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 Com-
pang 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. Griths, Introduction to Quantum Mechanics, 2a Ed. Pear-
son Prentice Hall, 2005, ISBN 0-13-111892-7.
[4] Henrik Bruus and Karsten Flensberg, Introduction to Many-body quan-
tum theory in condensed matter physics, Copenhagen, 15 August 2002.
[5] Ashok Das, Field Theory, A path Integral Approch, World Scientic
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
82 BIBLIOGRAF

IA
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, Addison-
Wesley 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. Aragao, 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).

S-ar putea să vă placă și