Cuantización por integrales de camino y mecánica estadística

Orbelin De La Cruz López

30 de octubre de 2020

1. Breve repaso de los conceptos cuánticos

Comencemos recordando que el estado de un sistema clásico está determinado completamente por sus variables
dinámicas sean q i las coordenadas generalizadas y p i los momentos canónicos conjugados para el problema que
se trate, que está caracterizado por su Hamiltoniano Ĥ (q i (t ), p i (t )). Las ecuaciones de movimiento canónicas que
determinan la trayectoria del espacio fase, son las ecuaciones de Hamilton

∂H ∂H
q̇ i = ṗ i =
∂p i ∂q i

La evolución temporal de una variable dinámica arbitraria f (q i , p i ) que no dependa explicitamente del tiempo está
dada en términos de los corchetes de Poisson y con ayuda de las ecuaciones de Hamilton como

d f X ∂ f d qi ∂ f d pi X ∂ f ∂H ∂ f ∂H
· ¸ · ¸
= − = − = [ f , H ]P B
dt i ∂q i d t ∂p i d t k ∂q k ∂p k ∂p k ∂q k

Para los casos cuando f = q i y f = p i tenemos q̇ i = [q i , H ] y ṗ i = [p i , H ]. La ecuación dinámica de Poisson nos

dice ahora cuando una cantidad es una integral de movimiento o una cantidad conservada, siempre que cumpla con
f˙ = [ f , H ]P B = 0 ⇔ f = c t e. La descripción cuántica resulta de la transición q −→ q̂ y p −→ p̂, es decir las variables
dinámicas que en magnitud son un número real, son reemplazadas por operadores lineales en el espacio de Hilbert
H . Los operadores cuánticos están definidos como aplicaciones lineales y hermitianos que en general no conmutan,
además el postulado de cuantización fundamental que relaciona el conmutador de dos operadores [ Â, B̂ ] = Â B̂ − B̂ Â
con la evolución clásica de las varibles dinámicas en términos de los corchetes de Poison es
1
{A, B }P B −→ [ Â, B̂ ]
iħ
De esta última ecuación obtenemos la regla de cuantización fundamental de Heisenberg para los operadores de po-
sición y momento
[q̂, p̂] = i ħ
El comportamiento de un sistema cuántico no relativita está gobernado por la ecuación de Schrodinger, cuya solución
nos proporciona la función de onda ψ(q, t ), la cual es una función bien comportada y de cuadrado integrable

ħ2 2 ∂ψ
· ¸
− ∇ + V (q, t ) ψ = i ħ
2m ∂t

El cuadrado de la función de onda tiene una interpetación probabilistica como la densidad de probailidad en su re-
r , t ) |2 y la probabilidad de encotrar a una partícula en una región del espacio de volumen
presentación cartesiana, | ψ(~
dV = d xd yd z centrado en ~
r en un instante de tiempo es: | ψ(~ r , t ) |2 d xd yd z. La función de onda normalizada saris-
2
face la condicón dV | ψ(q, t ) | = 1 lo cual nos garantiza que la partícula o el sistema se halla en alguna región del
R

espacio. Dada la naturaleza estadística al considerar un ensemble de sistemas preparados identicamente, el promedio
de una operador  es Z
〈 Â〉 = dV ψ∗ Âψ

La solución general de la ecuación de Schrodinger puede escribirse como una superposición de funciones de onda
estacionaria φ(q) que satisface la ecuación de eigenvalores Ĥ φn = E n φn

ψ(q, t ) = a n (t )φn (q) = c n e −i E n t /ħ φn (q)

X X
n n

Con esta forma la condición de normalización es (ψ, ψ) = n | c n |2 = 1. Nótese que de la expanción para un tiempo
P

fijo t 0 podemos conocer la amplitud variable en el tiempo a n (t ) = c n e −i E n t /ħ la cual viene dada por el coeficiente de

1
 0 0
Fourier a n (t 0 ) = φ∗n (q 0 )ψ(q 0 , t 0 )d q 0 y c n = a n (t 0 )e −i E n t /ħ = φ∗n (q 0 )ψ(q 0 , t 0 )e −i E n t /ħ . Introduciendo estás cantidades
R R

en la expación para la solución general encontramos una expresión de la forma

Z
ψ(q, t ) = G(q, t | q 0 , t 0 )ψ(q 0 , t 0 )d q 0

Donde se define el propagador de la forma

0 )/ħ
G(q, t | q 0 , t 0 ) = e −i E n (t −t φ∗n (q 0 )φn (q)
X
n

Donde G(q, t | q 0 , t 0 )ψ(q 0 , t 0 ) se llama propagador. Esta es una expresión general del propagador del cual podemos
contruir el propagador de Feynman. Como podemos observar, esta última cantidad tiene una interpretación física
interesante y de caracter fundamental para la solución de los problemas físicos. Dada la función de onda en un punto
del espacio y en un tiempo inicial, podemos saber la forma en la cual se propagará la partícula para tiempos posterio-
res. Vemos entonces que el propagadador actua como peso para cada instante del tiempo interpretándose así como
una amplitud de probabilidad de que la partícula haga una transición de los puntos (q 0 , t 0 ) −→ (q, t ). En términos ma-
temáticos el propagador es la función de Greene de la ecuación de Schrodinger, el cual es de vital importancia para
nuestro estudio, como se verá en las próximas secciones.

Para trabajar
¯ ® con mayor generalidad, se utiliza la notación abstracta¯de® Dirac en la cual se asocia un vector de
estado o ket ¯ψ ∈ H ala función de onda del sistema, es decir ψ(q, t ) −→ ¯ψ .

∂ ¯ψ
¯ ®
Ĥ ψ = i ħ
¯ ®
¯
∂t
ħ 2
Donde Ĥ = − 2m ∇2 + V (q, t ) es el operador Hamiltoniano del sistema. Además asociado a cada ket en el espacio
de Hilbert Ĥ están los funcionales lineales en el espacio dual llamados bras ψ¯ ∈ H ∗ . Estos vectores de estado que
­ ¯

describen
¯ ® ¯ ® el estado del sistema cumplen con las propiedades de un espacio vectorial con el producto escalar; sean
¯ψ , ¯φ ∈ H
φ¯αψ1 + βψ2 = α φ¯ψ1 + β φ¯ψ2
­ ¯ ® ­ ¯ ® ­ ¯ ®
­ ¯ ®∗ ­ ¯ ®
φ¯ψ = ψ¯φ
φ¯φ = 0 ⇔ ¯φ = 0
­ ¯ ® ¯ ®

| φ¯ψ |2 es interpretada como

­ ¯ ®
Por tanto la cantidad ¯ ® la probabilidad de que dado un sistema prepadado inicialmente
en el estado ¯ψ haga la transición al estado ¯φ . Los operadores cuánticos de interés son hermitianos(igual
¯ ®
¯ a ®su
∗
auto adjunto) Ô = Ô + que cumplen con una ecuaión de eigenvalores y están definidos por φ¯ Ô ¯ψ = φÔ + ¯ψ .
­ ¯ ¯ ® ­

Esta última condición nos dice que las cantidades fisicas medibles en el laboratorio son números reales. Dado que
el cuadrado de la función de onda es una función de densidad de probabilidad, el promedio estadístico de de un
operador Ô con función de peso ρ =| ψ |2 y dependiente de la variable q es la cantidad medible
Z
O = ψ¯ Ô ¯ψ = dV ψ(q, t )∗ Ôψ(q, t )
­ ¯ ¯ ®

Con la definición de producto escalar se definen los elementos de matriz de un operador F̂ como f mn = 〈m| F̂ |n〉. Si
tratamos con un sistema de esembles identicamente preparados, la cantidad física medible presentará fluctuaciones
con respecto al valor medio, la cual está dado por su varianza
­ ¯ ¯ ® ­ ¯ ¯ ®2
(M Ô)2 = ψ¯ Ô 2 ¯ψ − ψ¯ Ô ¯ψ

Si el vector de estado es un eigenvector del operador Ô, es decir si satisface la ecuación Ô ¯ψ = O ¯ψ , con O el eigen-
¯ ® ¯ ®

valor de dicho operador, entonces la última expresión se hace nula. Para el caso de dos operadores que no conmutan
ψ no puede ser ­ eigenestado ¯ ® de ambos, en este caso se cumple la famosa ecuación de incertidumbre de Heisemberg
M A M B ≥ 12 | ψ¯ [ Â, B̂ ] ¯ψ |. En particular los operadores de posicioón y momento satisface la relación
¯

ħ
MpMq≥
2
Los eigenvectores de un operador hermitiano forman una base completa en el espacio de Hilbert {φ(q)n } ∈ H , que
P
satisface la relación de completez n |n〉 〈n| = 1, por lo que podemos contruir una función general en términos de
esta base. Normalmente se utilizan bases continuas en vez de una suma discreta, en la cual es remplaza la suma por
una integral sobre toda la región de definición.
¯ ® El operador de posición en el espacio de Hilber ¯ ®tiene¯ asociada una
función de la forma ξq0 (q) = δ(q − q 0 ) −→ ¯q el cual satisface la ecuación de eigenvealores q̂ ¯q = q ¯q , donde ¯q
® ¯ ®

2
describe la posición de una partícula localizada en un punto particular q del espacio. Este vector de estado satisface
las relaciones de clausura y de ortonormalización
­ ¯ 0®
q ¯q = δ(q − q 0 )
Z
¯ ®­ ¯
1 = d q ¯q q ¯

El vector de estado ψ describe de manera general un sistema sin estar representado en ningún sistema de referencia,
la
­ ¯menera de proyectar este vector sobre los eigenestados de las coordenadas se hace mediante la representación
q ¯ψ = ψ(q), donde se obtiene la función de onda del sistema en la representación de posición. De manera análoga
®

se hace la proyección de los vectores de estado sobre la base de los vestores e estado del operador momento. A este
i
r ) = p 1 e ħ p~·~r −→ ¯p que de igual manera describe el momento de
¯ ®
vector de estado se le asocia la onda plana v p~ (~
¯ ® ¯ ® 2πħ
una partícula con un valor particular p̂ ¯p = p ¯p . Este conjunto de vectores de estado forman una base continua
que satisfasen relaciones análogas a las del vector de estado de posición
­ 0¯ ®
p ¯p = δ(p − p 0 )
Z
¯ ®­ ¯
1 = d p ¯p p ¯

De manera análoga la proyección del vector de estado general sobre los eigenestados
­ ¯ del
® momento nos proporcional
la función de onda de la ecuación de Schrodinger en el espacio de momentos p ¯ψ = ψ(p). El producto escalar
i
o las proyecciones de los vectores de posición sobre los de momentos da una onda plana q ¯p = e ħ pq . El factor
­ ¯ ®

(2πħ)−1 aparece por convensión y se puede elegir una normalización ­ tal

¯ que
¯ quite este factor. Si consideramos la
evolución temporal del elemento de matriz de un operador arbitrario ψm ¯ f ¯ψn = 〈m| F̂ |n〉, con ayuda de la relación
®
P
de completez n |n〉 〈n| = 1 obtenemos la evolución dinámica en la descripción de Heisemberg

d d F̂ d F̂ 1
iħ 〈m| F̂ |n〉 = 〈n| [F̂ , Ĥ ] |n〉 ⇔ i ħ 〈m| |n〉 = 〈m| [F̂ , Ĥ ] |n〉 ⇔ = [F̂ , Ĥ ]
dt dt dt iħ
Finalmente de la ecuación de Schrodinger en¯ representación
® ¯ ® abstracta podemos dar una solución formal la cual se
verifica fácilmente. Dada la condición inicial ¯ψ(t = 0) = ¯ψ0 tenemos que

∂ ¯ψ
¯ ®
Ĥ ψ = i ħ ⇔ ¯ψ(t ) = e −i Ĥ t /ħ ¯ψ0 = Û (t ) ¯ψ0
¯ ® ¯ ® ¯ ® ¯ ®
¯
∂t

Donde Û (t ) = e −i Ĥ t /ħ es un operador unitario llamado el operador ¯de evolución y su interpretación física es muy
¯ψ(t 0 ) la evolución del sistema para tiempos
®
sencialla. Dado el vector estado de un sistema para un tiempo inicial
posteriores t > t 0 con vector de estado ¯ψ(t ) se encuentra aplicando el operador de evolucíon al estado inicial. Este
¯ ®

tiene propiedades muy interesantes que se estudiaram a continuación y que se conectan naturalmente con el propa-
gador de una partícula.

1.1. El operador de Evolución

Dado que la transformación de ψ(t 0 ) en ψ(t 0 ) es lineal, esto implica que existe un operador lineal que actua sobre
el estado inicial proporcinando el estado para tiempos posteriores, es decir

¯ψ(t ) = Û (t , t 0 ) ¯ψ(t 0 )
¯ ® ¯ ®
(1)

De este operador podemos extraer muchas¯ propiedades, la primera de ella es para evoluciones fijas, vemos de la ecua-
ción [1] Û (t 0 , t 0 ) = 1. Al sustituir el estado ¯ψ(t ) en la ecuación de Schrodinger encontramos la ecuación diferencial
®

que satisface el operador evolución. Integrando la expresión e imponiendo las condiciones iniciales se encuentra que

∂ t
Z
iħ Û (t , t 0 ) = Ĥ (t )Û (t , t 0 ) ⇔ Û .(t , t 0 ) = 1 − Ĥ (t 0 )Û (t 0 , t ) (2)
∂t t0

Nótese que se ha hecho explicita la dependencia temporal en el Hamiltoniano del sistema, puesto que se está tratando
de un sistema arbitrario donde el potencial en principio ¯puede®depender del ¯ tiempo.
® ¯ Ahora ® consideremos dos
® tiempos
arbitrarios tal que t 3 > t 2 > t 1 entonces tendremos que ¯ψ(t 2 ) = Û (t 2 , t 1 ) ¯ψ(t 1 )¯ y ¯ψ(t ψ(t
¯
®3 ) = Û (t ,
3 2t ) ¯ 2¯ pero
) ® esta
última expresión también está en términos del operador evolución por tanto ¯ψ(t 3 ) = Û (t 3 , t 2 )Û (t 2 , t 1 ) ¯ψ(t 1 ) , por
tanto para una descomposición del intervalo temporal de la forma t n . . . > t 2 > t 1

Û (t n , t 1 ) = Û (t n , t n−1 )Û (t n−1 , t n−2 ) . . . Û (t 3 , t 2 )Û (t 2 , t 1 )

3
El operador de evolucíon es un operador hermitiano, ya que el Hamiltoniano es hermitiano. Esto puede verse clara-
mente si se considera Û (t , t 1 ) = Û (t , t 2 )Û (t 2 , t 1 ) y si hacemos t = t 1 tenemos que Û (t 1 , t 1 ) = 1 = Û (t 1 , t 2 )Û (t 2 , t 1 ) Por
tanto se encuentra que
1 = Û (t 1 , t 2 )Û (t 2 , t 1 ) ⇔ Û (t 1 , t 2 ) = [Û (t 2 , t 1 )]−1
Con esta última expresión es claro que Û (t , t 0 ) = [Û (t 0 , t )]−1 ⇒ Û † = Û −1 , es decir el operador evolución es unitario.
Ahora se calcula el operador de evolución para dos instantes separados infinitesimalmente y se encuentra el operador
evolución infinitesimal
i i
· ¸
d ¯ψ(t ) = ¯ψ(t + d t ) − ker ψ(t ) = − Ĥ (t ) ¯ψ(t ) d t ⇒ ¯ψ(t + d t ) = 1 − Ĥ (t ) ¯ψ(t )
¯ ® ¯ ® ¯ ® ¯ ® ¯ ®
ħ ħ

De donde se define el operador de evolución infinitesimal como

i
Û (t + d t ) = 1 − Ĥ (t )
ħ
Podemos construir el operador de evolución total como un producto de operadores infinitesimales. Dado que el ope-
rador de evolución es unitario, este deja la norma invariante bajo estas transformaciones, es decir las transformacio-
nes unitarias en mecánica cuántica son las análogas a las transformaciones canónicas de la mecánica clásica, pues
dejan invariante las norma y todas las cantidades físicas que se derivan de ello.

Para el caso de sistemas conservativos, el Hamiltoniano del sistema no depende explicitamente del tiempo, por
tanto es una cantidad conservada. Si este el caso, la ecuación para el operador de evolución se integra fácilmente con
la condición inicail para el estado inicial, dando como resultado

Û (t , t 0 ) = e −i Ĥ (t −t0 )/ħ

Se observa entonces que la expresión para el operador evolución es muy sencilla. y que el inverso o hermitiano es de
la forma Û † = e i Ĥ (t −t0 ) . Sea ¯φn ) es un eigenestado del operador Ĥ entonces con eigenvalor E n se encuentra que
¯ ®

Û (t , t 0 ) ¯φn = e −i Ĥ (t −t0 )/ħ ¯φn = e −i E n (t −t0 )/ħ ¯φn

¯ ® ¯ ® ¯ ®

Con esto se ve claramente que la construcción de un vector de estado que sea solución a la ecuación de Schrodinger
de los vectores de estado asociados a la ecuación estacionaria es de la forma ¯ψ(t ) = n e −i Ĥ t /ħ ¯φn =
¯ ® P ¯ ®
en términos
e −i E n t /ħ ¯φn , que es igual a la solución que se había dado ya, en notación de Dirac.
¯ ®

Ahora nótese que el propagador de la ecuación de la ecuación de Schrodinger G(q, t | q 0 , t 0 ) puede relacionarse
con el operador de evolución de los sistemas conservativos. Consideremos entonces el propagador y mediante las
representaciones en el formalismo de Dirac se tiene que
0 )/ħ 0 )/ħ
G(q, t | q 0 , t 0 ) = e −i E n (t −t φ∗n (q 0 )φn (q) = e −i E n (t −t
­ ¯ ® ­ ¯ 0®
q ¯φn φn ¯q
X X
n n
¯ ® ∗ X¯ ®­ ¯ ® ∗
· ¸ · ¸
0 0
= q 0 ¯ e −i E n t /ħ ¯φn φn ¯ e i E n t /ħ ¯q = q 0 ¯ e −i Ĥ (t −t t )/ħ ¯φn φn ¯q
­ ¯X ¯ ®­ ¯ ­ ¯
n n

Donde se ha hecho uso de del operador de evolución y sus propiedades. Por último usando la relación de completes
para los estados estacionarios encontramos la conexión natural entre el propagador de la ecuación de Schrodinger y
el operador de evolución
0
G(q, t | q 0 , t 0 ) = q ¯ e −i Ĥ (t −t t )/ħ ¯q 0
­ ¯ ¯ ®

Como era de esperarse.

1.2. Imágen de Schrodinger y de Heisemberg

La construcción realizada
® acerca ®de los sistemas cuánticos que están descritos por un vector de estado que evo-
luciona en el tiempo ¯ψ(t ) = ¯ψS (t ) y las cantidades observables son asociadas a operadores  S pueden o no per-
¯ ¯

manecer constantes en el tiempo, se llama imagen de Schrodinger. Las cantidades mas importantes en mecánica
cuántica tales como probabilidades de transicón, la norma, los valores medios etc. Están expresadas en términos del
producto escalar, que como ha visto se mantiene invariante ante transformaciones unitarias. Éstas dan la misma físi-
ca, entonces se puede utilizar una descripción en la cual la dependencia temporal se tenga en los operadores y no en
los vectores de estado, es decir, podemos elegir una transformación unitaria tal que quite la dependencial temporal
al vector de estado y sean los operadores quienes evolucionen ¯en el ® tiempo. Esta construcción se llama imagen de
Heisemberg, los vectores de estado y los operadores se denotan ¯ψH y  H (t ) respectivamente.

4
 Los vectores de estado en la imagen de Schrodinger evolucionan a partir de un estado inicial ¯ψS (t 0 ) de la forma
¯ ®

¯ψS (t ) = Û (t , t 0 ) ¯ψS (t 0 )
¯ ® ¯ ®

Si se quiere realizar una trasformación tal que el vector de estado sea independiente del tiempo, vasta con utilizar el
operador Û † (t , t 0 ), por tanto en la imagen de Heisemberg se tiene que
¯ψS = Û † (t , t 0 ) ¯ψS (t ) = Û † (t , t 0 )Û (t , t 0 ) ¯ψS (t 0 ) = ¯ψS (t 0 )
¯ ® ¯ ® ¯ ® ¯ ®

Por lo tanto los vectores de estado en la imagen de Heisemberg resulta ser el vector de estado inicial de la imagen de
Schrodinger el cual es independiente del tiempo. La transformación de los operadores tal que dejen la física igual, se
da mediante las transformación unitaria, y dado que el operador evolución es unitario, pordemos obtener el operador
 H (t ) a partir del operador  S (t ) como
 H (t ) = Û † (t , t 0 )  S (t )Û (t , t 0 )
Entonces  H (t ) depende del tiempo incluso si  S no. Un caso especial se tiene cuando el Hamiltoniano del sistema
es independiente del tiempo se tiene que

 H (t ) = e i Ĥ (t −t0 )  S e −i Ĥ (t −t0 )

además si la 6yvariable dinámica no depende explicitamente del tiempo y conmuta con el Hamiltoniano, es decir si
es una cantidad conservada, entonces esta conmuta con el operador de evolución  S Û (t , t 0 ). Con esto se tiene que

 H (t ) = Û † (t , t 0 )Û (t , t 0 )  S =  S

Para este caso los operadores en las dos imágenes coinciden. Un caso especial es para el Hamiltoniano de un sistema
conservativo, donde Ĥ H = ĤS , por tanto para el Hamiltoniano es irrelevante las etiquetas. Ahora consiederemos la
evolución de temporal de de los operadores de Heisemberg
d 1 d 1
 H (t ) = − Û † (t , t 0 ) ĤS (t )Û (t , t 0 )Û † (t , t 0 )  S Û (t , t 0 )+Û † (t , t 0 )  S Û (t , t 0 ) = Û † (t , t 0 )  S (t )Û (t , t 0 )Û † (t , t 0 ) ĤS Û (t , t 0 )
dt iħ dt iħ
Donde se incluyeron por conveniencia los factores Û † (t , t 0 )Û (t , t 0 ) = 1 que no afecta la ecuación, con esto y recurrien-
do a las relaciones de conmutación se encuentra la ecuación de Heisemberg
d d
iħ Â H (t ) = [ Â H (t ), H H (t )] + i ħÛ † (t , t 0 ) Â S Û (t , t 0 )
dt dt
Nótese que si el operador  S es independiente del tiempo se obtiene la ecuación fundamental de Heisemberg. En
1926 el propio Schrodinger prueba la equivalencia de la mecánica matricial de Heisemberg y su mecánica ondulato-
ria. Por último veamos como se comportan ¯ los ¯ valores esperado de los operadores en ¯una®y otra descripción; en la
imagen de Scrodinger se tiene que ψS (t )¯ Â S ¯ψS (t ) y en la de Heisemberg ψH ¯ Â H (t ) ¯ψH (t ).
­ ® ­ ¯

Con estas construcciones podemos introducir nuevas expresiones que ayuda a simplificar la notación y permitan
ver
¯ de®una manera intuitiva ciertas cantidades. Los sistemas cuántico están determinados por su vector de estado
¯ψS (t ) en cual satisface la ecuación de Schrodinger

∂ ¯¯
ψS (t ) = Ĥ (q̂, p̂) ¯ψS (t )
® ¯ ®
iħ
∂t

®para una condición inicial es ψS (t ) = Û (t , t 0 ) ψS (t 0 ) y su representación en

¯ ® ¯ ®
Su ­solción ¯ ¯ el espacio de coordenadas
†
es q ¯ψ(t ) S . Ahora en la imagen de Heisemberg el ¯operador
¯
® de
¯ ® coordenadas q̂ H (t )¯ ® S Û que es dependiente del
= Û q̂
tiempo, satisface la ecuación de eigenvalores q̂ S (t ) ¯q, t = q ¯q, t donde el estado ¯q, t es el vector de estado en un
momento dado del operador de posición y q su valor propio particular. Como ya se ha mostrado este operador se re-
i Ĥ t /ħ ¯
ψH (t ) . La representación
¯ ® ¯ ®
sultado de una transformación unitaria del vector de ­estado ¯ ®de Schrodinger q, t = e
¯
de la función de onda en la imagen de Heisemberg es q, t ¯ψ H y dado que las transformaciones unitarias no cambian
la física, en esta imagen se satisfacen para cada tiempo fijo las relaciones de normalización y clausura
­ ¯ 0 ® ­ ¯ i Ĥ t /ħ −i Ĥ t /ħ ¯ 0 ® ­ ¯ 0 ®
q, t ¯q , t = q ¯ e e ¯q = q ¯q = δ(q − q 0 )
Z Z
i Ĥ t /ħ −i Ĥ t /ħ
d q ¯q q ¯ = 1
¯ ®­ ¯ ¯ ®­ ¯
d q q, t q, t = e
¯ ¯ e

Finalmente con estas herramientas podemos contruir la cantidad fundamental q, t ¯q 0 , t 0 la cual es el comienzo para
­ ¯ ®

construir la intefral de caminos, como una amplitud de transición de un punto a otro dado por
­ ¯ 0 0 ® ­ 0 ¯ −i Ĥ (t −t 0 )/ħ ¯ ®
q, t ¯q , t = q ¯ e ¯q

Esta cantidad se llama Kernel de Feynman o transformada de Swinger y es una fundamental, pues su conocimiento
es equivalente a resolver la ecuación de Schrodinger como se verá en la sección siguiente.

5
1.3. Integral de caminos en mecánica cuántica no relativista
Ya hemos estudiado los aspectos generales de la mecánica cuántica en las formulaciones de Schrodinger y de Hei-
semberg en los años 1920s. En 1933 Paul Dirac se preguntaba por qué la acción en mecánica clásica tenía un valor
fundamental y la acción en mecánica cuántica no, especulaba que el propagador contenia información acerca de la
acción clásica y que podia verse como una suma de probabilidades. Richard Feynman en 1948 hizo patentes las ideas
de Dirac e hizo una reformulación de la mecánica cuántica en lo que hoy se conoce como integrales de camino. Este
encontró que el propagador puede interpretarse como la suma sobre todos los posibles caminos de las amplitudes
de probabilidad, cada una aportado e i S/ħ al propagador. Es decir intuitivamente la partícula puede recorrer todos los
posibles caminos entre dos puntos y sus amplitudes de probabilidad sobre cada camino se suman.
Debe notarse que la formulación de integral de caminos no proporciona nueva información de los sistemas cuánticos,
si no que se trata de una reformulación que permite obtener todas las cantidades ya conocidas. Su verdadero valor
radica en el tratamiento de problemas mas complicado como la cuantización de campos, pero en cualquier caso la
idea de Feyman es una aportación fundamental a la mecánica cuántica. Algunas de las ventajas son

(i) Proporciona una visualización intuitiva de los procesos cuánticos

(ii) El problema del límite clásico en mecánica cuántica se entiende fácilmente pues surge de manera natural
Sin embargo es en la cuantización de campos donde se aprecia su enorme utilidad

(i) En teoría de campos se denomina cuantización funcional. Tambíen permite la obtención de las gunciones de
Greene que son de impotancia fundamental en los procesos de dispersión.

(ii) Además la integral de caminos hace evidente la relación que guardan la mecánica estadística con la cuántica o
con la teoría estadística de campos mediante los funcionales generadores.

Como se estudió en secciones presedentes, el propagador una partícula o kernel de Feynman q 0 , t 0 ¯q, t es una am-
­ ¯ ®

plitud de trasición entre dos puntos del espacio en dos momentos diferentes. Calcular esta cantidad es equivalente
a resolver la ecuación de Schrodinger, pues vasta con realizar una integración para conocer la función de onda para
tiempos posteriores dada las condicione iniciales sobre el sistema
Z Z
ψ(q 0 , t 0 ) = q 0 , t 0 ¯ψ H = d q q 0 , t 0 ¯q, t q, t ¯ ket ψH = d q q 0 , t 0 ¯q, t ψ(q, t )
­ ¯ ® ­ ¯ ®­ ¯ ­ ¯ ®
(3)

Una de las caraterízticas notables de este formalizmo es que construye la amplitud de transición mediante el
Hamiltoniano clásico del sisetma y sin hacer referencia a los operadores no conmutativos definidos en el espacio de
Hilbert. Para esto se realiza una partición del intervalo de transición (t , t 0 ) a espaciado regular para mayor facilidad,
es decir una partición en N intervalos tal que t 0 − t = N ² donde ² = δt es el ancho de cada intervalo.

t n = t + n² n = 1, 2, 3 . . . N − 1

Ahora nótese que en cada punto espacial podemos

¯ ® evaluar estos puntos temporales, por lo que para cada instan-
te se tendrán los vectores base de la forma ¯q n , t n . Cada uno de estos satisface la relación de completez, entonces
introduciendo estas N − 1 relaciones en la amplitud de transición se tiene que
Z Z
F = q , t q, t = d q N −1 . . . d q 1 q 0 , t 0 ¯q N , t N q N −1 , t N −1 ¯q N −2 , t N −2 . . . q 1 , t 1 ¯q, t
­ 0 0¯ ® ­ ¯ ®­ ¯ ® ­ ¯ ®
¯

esta expresión tiene una interpretación física interesante e intuitiva; una partícula que tiene coordenadas (q, t ) se
propaga hasta tener coordenadas (q 0 , t 0 ). Esta partícula se propaga por todas las trayectorias posibles entre los dos
puntos, con trayectorias definidas por q i . De acuerdo al principio de superposición cada factor intermediario en el
intervalo (t , t 0 ), contribuye a la amplitud de transición total. La descomposición del Kernel de Feyman en la superposi-
ción
­ hace mas ¯ fácil
® evaluar las amplitudes intermedias. Con este ánimo, veamos como se pueden tratar las amplitudes
q i +1 , t i +1 ¯q i , t i si recurrir a operadores en el espacio de Hilbert

i²
q i +1 , t i +1 ¯q i , t i = q i +1 ¯ e −i Ĥ (p̂,q̂)²/ħ ¯q i ' q i +1 ¯ 1 − Ĥ (p̂, q̂) ¯q i + O(²2 )
­ ¯ ® ­ ¯ ¯ ® ­ ¯ ¯ ®
ħ
Dado que el Hamiltoniano depende de los operadores de momento, utilizamos la relación de completez de la base de
ondas planas para cada n instante de la partición, por lo que el elemento de matriz queda como

¯ ® i² d pi ­
Z
q i +1 ¯p i p i ¯ Ĥ (p̂, q̂) ¯q i + O(²2 )
­ ¯ ® ­ ¯ ®­ ¯ ¯ ®
q i +1 , t i +1 ¯q i , t i = q i +1 ¯q i −
ħ 2πħ

6
 ­ ¯ ¯ ®
Los elementos de matriz p i ¯ Ĥ (p̂, q̂) ¯q i son fáciles de evaluar recordando que los operadores son hermitianos y
pueden
­ ¯actuar sobre ¯ ® sus respectivos eigenestados, reliazando una expansión en serie del Hamiltoniano, obtenemos
que p i ¯ Ĥ (q̂, p̂) ¯q i . Esta expresión presenta un incoveniente dado que puede tener combinaciones de productos
anticonmutativos del momento y posición, por tanto para salvar esto se utiliza el ordenamiento de operadores de
Weyl, con lo cual la expresión más correcta es

­ ¯ ¯ ® ­ ¯ ® 1
p i ¯ Ĥ (q̂, p̂) ¯q i = p i ¯q i H (p, (q i +1 + q i ))
2

Donde q̄ i = 12 (q i +1 +q i ) = q i . Entonces recordando que (2πħ)−1 e i pq/ħ y que q i +1 ¯q i = δ(q i +1 −q i ) puede reescribirse
­ ¯ ®

como una transformada de Fourier en el espacio de momentos, se encuentra que

d pi i²
Z µ ¶
exp i p i (q i +1 − q i )/ħ 1 − H (p i , q̄ i ) + O(²2 )
­ ¯ ® £ ¤
q i +1 , t i +1 ¯q i , t i =
2π ħ

Ahora introduciendo cada uno de estos factores en la integral se tiene que

d p N −1 i²
Z Z ·Z µ ¶ ¸
exp i p N −1 (q (N −1)+1 − q N −1 )/ħ 1 − H (p N −1 , q̄ N −1 ) + O(²2 ) . . .
­ 0 0¯ ® £ ¤
q , t ¯q, t = d q N −1 . . . d q 1
2π ħ
d p2 i² d p i²
·Z µ ¶ ¸ ·Z µ ¶ ¸
£ ¤ 2 1 £ ¤ 2
exp i p 2 (q 2+1 − q 2 )/ħ 1 − H (p 2 , q̄ 2 ) + O(² ) exp i p 1 (q 1+1 − q 1 )/ħ 1 − H (p 1 , q̄ 1 ) + O(² )
2π ħ 2π ħ

Finalmente esta última expresión puede reducirse empleando notación compacta, realizando en paso más importan-
te lo cual implica una intrincada operación matemática, ² −→ 0 o N −→ ∞, lo cual implica relizar una partición mas
fina y así cubrir todas las trayectorias posibles. Con esto, el Kernel de Feynman queda como
" #
i ² NX i²
Z NY
−1 NY
−1 d p −1 NY
−1 ·
q n+1 − q n
¸
­ 0 0¯ ® n
q , t q, t = lı́m
¯ d qn exp pn × 1 − H (p n , q n )
N →∞ n=1 n=0 2πħ ħ n=0 ² n=0 ħ

2. Breve repaso sobre teoría cuántica de campos

3. Cuantización de campos por integrales de camino