Captulo 2 Accin en Mecnica Cuntica: Todos los caminos

conducen al estado nal.

L
la cual la accin
a formulacin ms elegante de la mecnica clsica es sin duda la basada en

el PMA. Tal y como vimos en el captulo anterior, este principio implica que una

partcula, cuyo movimiento tiene caractersticas clsicas, slo seguir la trayectoria

S[r] =
R tf
ti L(r, r) dt es estacionaria. Desde sus estudios de preparatoria, este
r(t) para

principio atrap la atencin de Richard Feynman quien motivado por ste y por un artculo de

Paul Dirac titulado  The Lagrangian in Quantum Mechanics  logr establecer una conexin entre

el concepto clsico de accin y las ideas de la mecnica cuntica ya establecidas por Schrdinger,

Heisenberg y Born[8][12]. Por la discusin que queremos plantear en este captulo, mencionaremos

los siguientes dos aspectos de estas ideas:

A nivel atmico slo podemos hablar de la probabilidad de tener un resultado en un ex-

perimento. La forma de obtener esta probabilidad es calculando la norma al cuadrado de

una funcin compleja , llamada amplitud de probabilidad.

Se introduce el concepto de funcin de onda, denotada por (q, t), la cual nos da la amplitud
de probabilidad de localizar a una partcula en la posicin q en un tiempo t.

Dirac en [9] sugiere que la funcin exp(iL), donde L es la funcin Lagrangiana de la mecnica
clsica, es algo anlogo a una transformacin para la funcin de onda de la mecnica cuntica, que

funciona como sigue: dada una funcin de onda inicial (qi , ti ) se puede obtener una funcin de

onda en un tiempo posterior a ti con slo aplicarle la transformacin descrita. Feynman postul

que para obtener a (qf , tf ) a partir de (qi , ti ) la transformacin de la que habl Dirac debe

ser exp(i S~ ) donde S es la accin clsica. Adems postul que todos los caminos para ir a qf
partiendo de qi son posibles, lo cual tiene que considerarse a la hora de aplicar la transformacin

a la funcin de onda. En la seccin 2.1 introduciremos a la transformacin mencionada con el

nombre de propagador.

Con estas nuevas ideas naci una forma de hacer mecnica cuntica conocida como Formu-

lacin de Integral de Camino de la Mecnica Cuntica [11] y fue presentada en 1942 en la tesis

doctoral de Feynman titulada The Principle of Least Action in Quantum Mechanics [1].

16
2. Accin en Mecnica Cuntica: Todos los caminos conducen al estado nal. 17

En esta formulacin se introduce la idea de que todos los caminos son posibles para ir de qi a

qf , con ella se construye al propagador con el cual podemos describir la evolucin de un sistema.

El objetivo principal de este captulo es introducir el concepto de propagador y su forma

conocida como integral de camino, en donde se muestra la relacin entre el concepto de accin

y el propagador. Adems, utilizando la integral de camino se presentar la forma de obtener los

eigenvalores de la energa de un sistema as como las eigenfunciones del mismo. Como estamos

interesados en describir procesos de dispersin con sta herramienta, haremos un desarrollo per-

turbativo del propagador el cual nos permitir obtener una expresin para calcular la amplitud

de probabilidad de la dispersin de una partcula por un potencial dado.

Comenzaremos por describir la forma de obtener la probabilidad de un evento en la mecnica

cuntica. Con esto se motivar la idea de que todos los caminos para la evolucin de un sistema

son posibles, lo cual es fundamental para introducir al propagador.

Probabilidad en la mecnica cuntica

. . . Does this mean that physics, a science of great

exactitude, has been reduced to calculating only

the probability of an event, and not predicting

exactly what will happen? yes!...

Richard Feynman [10]

Cuando estudiamos fenmenos atmicos encontramos que slo podemos calcular la probabili-

dad de que ocurra un evento y no predecir exactamente lo que pasar. Esto no debe preocuparnos

ya que, en palabras de Feynman, la ciencia no ha colapsado an [10]. Por ejemplo, en el fen-

meno de reexin parcial Fig.(2.1), no podemos predecir si un fotn particular que parte de una

fuente ser reejado por una supercie de vidrio. Lo nico que podemos decir es que de cada

100 fotones que salgan de la fuente, x sern registrados en un detector A colocado frente a la

supercie y y sern registrados en un detector B colocado detrs de la supercie (los valores x y

y dependen del material).

El concepto tradicional de probabilidad no es alterado en la mecnica cuntica. Cuando

decimos que la probabilidad de cierto resultado A en un experimento es p, nos referimos al

2. Accin en Mecnica Cuntica: Todos los caminos conducen al estado nal. 18

Figura 2.1: Se ilustra al fenmeno de reexin parcial, el cual consiste en que parte de los fotones

que salen de la fuente son reejados por la supercie y otra parte la atraviezan. Un caso comn

es cuando nos reejamos en un estanque de agua y adems podemos ver las piedras dentro del

estanque.

sentido convencional de hacer clculos en probabilidad. Si el experimento es repetido n veces,

uno espera que se obtenga A en la fraccin correspondiente a p. En el ejemplo de reexin parcial

x
el resultado A es que el fotn sea reejado y la probabilidad de que suceda es p = 100 . Lo que

s cambia, y de forma radical, es la forma de calcular probabilidades. Para motivar esta nueva

forma, vamos a analizar el experimento de la doble rendija el cual se describe en la Fig.(2.2). En

dicha gura vemos que en (1) tenemos una fuente de electrones (e ). stos saldrn hacia (2)
que consta de una placa con dos rendijas denotadas por A y B. Los e pasarn a travs de A
y B para nalmente llegar a (3) que consta de una pantalla con un detector (por ejemplo un

contador Geiger-Mller).

Figura 2.2: Experimento de la doble rendija, los electrones salen de (1), pasan a travs de (2) y

se detectan en (3).

Consideraremos el caso en el que la fuente emite a todos los e con la misma energa y que
2. Accin en Mecnica Cuntica: Todos los caminos conducen al estado nal. 19

Figura 2.3: En (a) se muestra la curva de P (x) vs x, en (b) se muestra la curva de probabilidad PA
de que el e llegue a x debido a que pas por A, la curva en (c) representa a la probabilidad PB
de que e llegue a x dado que pas por B y nalmente en (d) se muestra la curva de probabilidad

obtenida al sumar PA y PB .

el detector registra un pulso por cada e que llegue a ste. Mediremos el nmero de pulsos por

segundo registrados en el detector para varias posiciones x del mismo. Con esto determinaremos

experimentalmente la probabilidad P (x) de que un e vaya de la fuente al detector en x.

Cada e que va de la fuente al detector debe ir a travs de la rendija A o de la B. Como

consecuencia de esto esperamos que la probabilidad de llegar al detector en x, sea la suma de

la probabilidad de que el e llegue a x debido a que cruz por A, denotada por PA ms la

probabilidad PB de que llegue a x debido que cruz por B. La nica forma de comprobar que

esto es cierto es realizando el experimento. En la Fig.(2.3) se muestra un esquema del resultado

de este experimento [12]. La descripcin de dicha gura es: en (a) presentamos la curva de P (x)
vs x obtenida en el experimento, en (b) a la curva de probabilidad PA de que el e llegue a

x debido a que pas por A, la curva en (c) representa a la probabilidad PB de que e llegue

a x dado que pas por B y nalmente en (d) se muestra la curva de probabilidad obtenida al

sumar PA y PB . Al comparar (a) con (d) concluimos que la probabilidad de que el e llegue

a x es diferente a la suma de las dos probabilidades ((b) + (c)) como se haba propuesto, i.e.

P 6= PA + PB .
Algo muy importante es que al analizar la curva P (x), podemos notar que corresponde a la

distribucin de intensidad de un patrn de interferencia, obtenido cuando el experimento de la

doble rendija se realiza con una onda. Este hecho hizo que fsicos de inicios de siglo XX, como
2. Accin en Mecnica Cuntica: Todos los caminos conducen al estado nal. 20

Louis De Broglie, propusieran que exista una dualidad onda-partcula para el e (conocida como

hiptesis de De Broglie )[13]. En lugar de considerar esta idea introduciremos el postulado I de

Feynman el cual es una de las ideas fundamentales en las que se basa la FICMC.

Postulado I: La probabilidad de que una partcula sea encontrada en q(t) dentro de una

regin del espacio-tiempo, es el cuadrado de la suma de las contribuciones dadas por cada

camino en dicha regin [11].

Este postulado introduce la idea de considerar que todos los caminos, que van de la fuente a

x, son posibles. Y que la funcin P (x) es el resultado de calcular la norma de cierta funcin

compleja denotada por a la cual llamaremos amplitud de probabilidad . Donde ser la suma

de las amplitudes de probabilidad independientes, por ejemplo para el experimento de la doble

rendija tenemos:

(A : 1): ser la amplitud de probabilidad de que el e pase de la fuente, etiquetada con

(1), a la rendija, etiquetada con A.

(3 : A): ser la amplitud de probabilidad de que el e pase de la rendija A al detector,

etiquetado con (3).

as sucesivamente.

Con esto, la amplitud de probabilidad de que los e vayan de la fuente (1) al detector (3) est

dada por:

(3 : 1) = (3 : A)(A : 1) + (3 : B)(B : 1) (2.1)

y el patrn de intensidad en la pantalla estar dado por la probabilidad

P (3 : 1) = |(3 : 1)|2 . (2.2)

Vemos que esta probabilidad tiene trminos de interferencia. Para evidenciar estos trminos

usamos Ec.(2.1) en Ec.(2.2)

P (3 : 1) = |(3 : 1)|2 = |(3 : A)(A : 1)|2 + |(3 : B)(B : 1)|2

+ (3 : A)(A : 1) (3 : B) (B : 1) + (3 : A) (A : 1)(3 : B)(B : 1),

| {z }
trminos de interferencia

lo que es equivalente a

P (x) = PA + PB + trminos de interferencia.

2.1. El Propagador y la Integral de Camino 21

En el ejemplo anterior vimos que la probabilidad de detectar al e que va de la fuente

al detector en x, se construye al considerar que todos los caminos son posibles y que cada

uno contribuye con una amplitud de probabilidad de que ocurra dicho fenmeno. Adems para

calcular la probabilidad, fue necesario construir la funcin de amplitud de probabilidad total, la

cual es la suma de todas las amplitudes independientes, y calcular la norma al cuadrado de sta.

En resumen podemos decir que se ha ilustrado la nocin de todos los caminos posibles. sta ser

clave para construir las integrales de camino, como veremos a continuacin.

2.1. El Propagador y la Integral de Camino

A la amplitud de probabilidad de encontrar a una partcula en la posicin q en un tiempo t,

le llamaremos funcin de onda y la denotaremos por (q, t). Ms concretamente:

Funcin de onda: Amplitud de probabilidad que se obtiene al considerar la contribucin de

todos los caminos que llegan al estado (q, t) desde un estado (qi , ti ) en el pasado .

Una pregunta fundamental de la mecnica cuntica es: dada una funcin de onda a un tiempo

t cmo podemos encontar la correspondiente funcin de onda en un instante posterior? La

respuesta es: para encontrar a (qf , tf ) a partir de (qi , ti ) basta considerar que todos los caminos
para dicha transicin son posibles, por lo tanto cada uno aporta una amplitud de probabilidad

denotada por k (q, t). Con esto tendremos

X
(qf , tf ) = k (q, t)(qi , ti ), (2.3)
k

lo que podemos leer como: (qf , tf ) es la amplitud de probabilidad total de llegar a (qf , tf ) dado
que venimos de (qi , ti ) y tomamos los caminos k (q, t).
Dado que el nmero posible de trayectorias es innito y forman un continuo, reemplazamos

la suma sobre todas las trayectorias por una integral sobre las mismas. Como es, en general,

una funcin compleja la podemos expresar de la siguiente forma = A exp {i(q, t)}, con esto

tenemos

D q A exp {i(q, t)} (q , t ),

Z
(qf , tf ) = i i

donde, como veremos ms adelante, Dq es el resultado de multiplicar los innitos diferenciales

correspondientes a los innitos caminos. A la cantidad que permite la transicin de la funcin de

onda inicial a la nal se le conoce como propagador y se denota con K(qf , tf ; qi , ti ). Concluimos
2.1. El Propagador y la Integral de Camino 22

que el propagador K(qf , tf ; qi , ti ), nos ayuda a responder la pregunta fundamental con la siguiente
expresin:
Z
(qf , tf ) = K(qf , tf ; qi , ti )(qi , ti )dqi . (2.4)

Interpretamos a K(qf , tf ; qi , ti ) como la amplitud de probabilidad de la transicin de qi en ti a

qf en tf y de la Ec.(2.2) la probabilidad de esta transicin es P (qf , tf ) = |K(qf , tf ; qi , ti )|2 . De

lo anterior vemos que es en el propagador donde est la informacin sobre todos los caminos.

A continuacin introduciremos el postulado II de Feynman el cual nos dice cmo cuanticar

la aportacin de cada camino mediante esta fase y magnitud, que es lo que los diferenca entre

si:

Postulado II: todos los caminos contribuyen con igual magnitud, pero la fase de su contri-

bucin es la accin clsica (en unidades de ~); i.e. la integral temporal de la Lagrangiana

tomada a lo largo del camino [11].

Al tomarlo en cuenta nos queda la siguiente expresin para el propagador

D q exp
Z  
i
K(qf , tf ; qi , ti ) = N S , (2.5)
~
donde N es una constante que resulta de multiplicar las amplitudes de una innidad de trayec-

torias y es divergente
1 . Es importante mencionar que la Ec.(2.5) es la representacin de integral

de camino del propagador. La accin se ha postulado a ser la fase con la que cada camino aporta

a la amplitud de probabilidad total en evolucin de un sistema, por lo que concluimos que la

forma de determinar cmo y cunto aporta cada camino a la amplitud de probabilidad total de

la transicin es con la accin correspondiente a cada uno de ellos. Es decir, en la expresin de

integral de camino dada por Ec.(2.31) se muestra el papel de la accin en la mecnica cuntica;

aqu no slo el camino que la deja estacionaria interviene en la evolucin de un sistema todos

son posibles.

Hemos construido la integral de camino partiendo de los postulados de Feynman. sta nos

ayudar a analizar los sistemas de inters para la mecnica cuntica no relativista. A continuacin

mostraremos cmo podemos implementar las ideas centrales de los postulados de Feynman, para

obtener la integral de camino utilizando los resultados de la mecnica cuntica ya establecidos

por Heisenberg, Schrdinger, etc.

1
Al calcular observables fsicos se obtienen resultados libres de divergencias utlizando tcnicas de renormaliza-
cin, las cuales consisten en esencia en construir observables con respecto a una referencia estndar dada por las
condiciones en las que se realice la medicin de dicho observable
2.1. El Propagador y la Integral de Camino 23

Figura 2.4: Transicin de (qi , ti ) a (qf , tf ) via un punto intermedio en t.

Partiremos de responder a la pregunta fundamental hecha prrafos arriba utilizando la ex-

presin para la funcin de onda en la notacin de Dirac

(q, t) = hqt | iH . (2.6)

Lo cual representa una proyeccin de | iH en la base hqt |, donde | iH es la funcin de onda

en el esquema de Heisenberg [13]. Comenzaremos por insertar un conjunto completo de estados

de posicin en el lado derecho de Ec.(2.6) (ntese que consideramos el estado (qf , tf ))

Z
H
hqf tf | i = hqf tf | qi ti ihqi ti | iH dqi . (2.7)

Al comparar Ec.(2.7) con Ec.(2.6) tendremos la siguiente expresin para la funcin de onda

Z
(qf , tf ) = hqf tf | qi ti i(qi , ti )dqi ,

que al compararla con Ec.(2.4) concluimos que la cantidad hqf tf | qi ti i juega el papel del propa-

gador al llevar a la funcin de onda de un estado inicial a uno nal. Por lo tanto el propagador

en la notacin de Dirac es

K(qf , tf ; qi , ti ) hqf tf | qi ti i. (2.8)

Como nuestro inters es evidenciar que en el propagador est la informacin de todos los

caminos por los que puede evolucionar el sistema, analizaremos sus propiedades considerando a

un tiempo t entre ti y tf , como se muestra en la Fig.(2.4). La amplitud de probabilidad de ir de

ti a tf via t ser: primero para ir de ti a t

Z
(q, t) = K(q, t; qi , ti )(qi , ti )dqi , (2.9)
2.1. El Propagador y la Integral de Camino 24

Figura 2.5: Transicin de (qi , ti ) a (qf , tf ) via n+1 puntos intermedios separados una longitud

y para ir de t a tf
Z
(qf , tf ) = K(qf , tf ; q, t)(q, t)dq. (2.10)

Introduciendo la expresin para (q, t) de Ec.(2.9) en Ec.(2.10)

Z Z
(qf , tf ) = K(qf , tf ; q, t) K(q, t; qi , ti )(qi , ti )dqi dq,

lo que podemos escribir como

Z Z
(qf , tf ) = K(qf , tf ; q, t)K(q, t; qi , ti )(qi , ti )dqi dq. (2.11)

Al comparar Eq.(2.11) con Ec.(2.4), identicamos a

Z
K(qf , tf ; qi , ti ) = K(qf , tf ; q, t)K(q, t; qi , ti )dq. (2.12)

Entonces la transicin de (qi , ti ) a (qf , tf ) puede considerarse como el resultado de la transicin

de (qi , ti ) a todos los puntos intermedios (q, t) seguidos de la transicin de este punto a (qf , tf ).
Es decir, el propagador tiene la propiedad de que se puede subdividir en propagadores para

subintervalos de tiempo entre dos puntos.

Ahora veremos cmo podemos obtener la representacin de integral de camino del propagador

partiendo de la Ec.(2.8) y utilizando la propiedad del propagador dada por Ec.(2.12). Para esto,

dividiremos el intervalo de tiempo [ti , tf ] que le toma a un sistema para ir de un estado inicial

(qi , ti ) a uno nal (qf , tf ), en n+1 segmentos iguales de longitud como se ilustra en la

Fig.(2.5). Por analoga con lo realizado para obtener Ec.(2.12) y usando Ec.(2.8), tendremos

Z Z
hqf tf | qi ti i = dq1 dq2 dqn hqf tf | qn tn ihqn tn | qn1 tn1 i hq1 t1 | qi ti i, (2.13)
2.1. El Propagador y la Integral de Camino 25

donde la integral es tomada sobre todos los posibles estados intermedios.

A continuacin calcularemos el propagador sobre un pequeo segmento de un posible camino.

Partimos de la siguiente expresin para el propagador en un intervalo de tiempo [tj , tj+1 ]

( )
iH
hqj+1 tj+1 | qj tj i = hqj+1 | exp | qj i, (2.14)
~

donde tj+1 tj .
Expresamos la funcin exponencial de Ec.(2.14), en desarrollo en serie de Mclaurin, para

tener:
iH
hqj+1 tj+1 | qj tj i = hqj+1 | 1 + O( 2 ) | qj i. (2.15)
~
Considerando que los subintervalos de tiempo , en los que se divide el intervalo [ti , tf ], son

pequeos, << 1, podemos escribir a Ec.(2.15) como

i
hqj+1 tj+1 | qj tj i = hqj+1 | qj i hqj+1 | H | qj i + O( 2 ). (2.16)
~

Analizaremos el primer trmino del lado derecho de Ec.(2.16), comenzando por insertarle un

conjunto completo de estados de momento

Z
hqj+1 | qj i = dpi hqj+1 | pi ihpi | qj i. (2.17)

Utilizamos la siguiente relacin [13]

2

 
1 i
hq | pi = exp pq , (2.18)
2~ ~
con esto la expresin Ec.(2.17) se reduce a

Z  
1 i
hqj+1 | qj i = dpi exp pi (qj+1 qj ) . (2.19)
2~ ~

Para analizar el segundo trmino (lado derecho) de Ec.(2.16) consideraremos que el operador

hamiltoniano est dado por

p2
H = + V (q),
2m
2
Se obtiene de considerar el siguiente elemento de matriz hq | p | pi = phq | pi, el cual satisface hq | p | pi =
i~ dhq|pi
dq
, con lo que nos queda la siguiente ecuacin diferencial phq | pi = i~ dhq|pi
dq
. Cuya solucin es
 
1 i
hq | pi = exp pq .
2~ ~
2.1. El Propagador y la Integral de Camino 26

entonces tendremos que calcular

p2
hqj+1 | H | qj i = hqj+1 | | qj i + hqj+1 | V (q) | qj i. (2.20)
2m
Introducimos conjuntos completos de estados de momento correspondientes a las variables p y

p0 en el primer trmino de Ec.(2.20) (lado derecho) con lo que nos queda

p2 p2
Z
hqj+1 | | qj i = dp0 dphqj+1 | p0 ihp0 | | pihp | qj i. (2.21)
2m 2m
Usamos nuevamente la Ec.(2.18) adems del hecho

p2 p2
hp0 | | pi = (p p0 ),
2m 2m
en Ec.(2.21) y obtenemos

p2 p2
Z  
1 0 i 0
hqj+1 | | qj i = dp dp exp (p qj+1 pqj ) (p p0 ).
2m 2~ ~ 2m
Finalmente integramos con respecto a p0 para tener

p2
Z   2
1 i p
hqj+1 | | qj i = dp exp p(qj+1 qj ) . (2.22)
2m 2~ ~ 2m
Es importante sealar que p2 del lado izquierdo es un operador mientras que en el lado derecho

nos qued la funcin p2 .

Para el segundo trmino (lado derecho) de Ec.(2.20) con consideraremos la prescripcin del

potencial en el punto medio, como se indica a continuacin

qj+1 + qj
hqj+1 | V (q) | qj i = V ( )hqj+1 | qj i. (2.23)
2
Por analoga con el procedimiento realizado para obtener Ec.(2.22) analizaremos la Ec.(2.23)

introduciendo conjuntos completos de estados de momento, agrupando trminos, considerando

la Ec.(2.18) e integrando, lo que nos lleva a obtener

Z  
1 i
hqj+1 | V (q) | qj i = dp exp p(qj+1 qj ) V (qj ) (2.24)
2~ ~
donde qj = 21 (qj+1 + qj ). Una vez ms de lado derecho no hay operadores.

Sumamos las Ecs.(2.22) y (2.24) para formar la Ec.(2.20), quedndonos

p2
Z   Z  
dp i dp i
hqj+1 | H | qj i = exp p(qj+1 qj ) + exp p(qj+1 qj ) V (qj ).
2~ ~ 2m 2~ ~
Lo que podemos escribir como
Z  
dp i
hqj+1 | H | qj i = exp p(qj+1 qj ) H(p, qj ) (2.25)
2~ ~
2.1. El Propagador y la Integral de Camino 27
p2
donde H(p, qj ) = 2m + V (qj ). Ahora sustituimos a las Ecs.(2.25) y (2.19) en Ec.(2.16)
Z   
dp i i 2
hqj+1 tj+1 | qj t j i = exp p(qj+1 qj ) 1 H(p, qj ) + O( ) . (2.26)
2~ ~ ~

Adems consideramos

   
i 2 i
1 H(p, qj ) + O( ) exp H(p, qj ) << 1,
~ ~

con esto la Ec.(2.26) se puede escribir como sigue

Z  
dp i i
hqj+1 tj+1 | qj tj i = exp p(qj+1 qj ) H(p, qj ) .
2~ ~ ~

Si usamos p = pj representando al momento entre tj y tj+1 o equivalentemente entre qj y qj+1

nalmente tendremos

Z  
dpj i
hqj+1 tj+1 | qj tj i = exp [pj (qj+1 qj ) H(pj , qj )] , (2.27)
2~ ~

lo cual nos dar el propagador sobre un segmento de un posible camino.

Para obtener el propagador completo en el intervalo [ti , tf ] sustituimos el resultado anterior

Ec.(2.27) en Ec.(2.13)

n
Z Y n n
1 Y i X
hqf tf | qi ti i = lm dqj dpj exp [pj (qj+1 qj ) H(pj , qj )] , (2.28)
n 2~ ~
j=1 j=0 j=0

donde hemos utilizado la notacin:

n
Y
dj = dp dp+1 dp+n
j=p

tanto para p como para q. Si consideramos el lmn equivalente a que 0, es decir, que los

intervalos de tiempo [tj+1 , tj ] sean innitesimales, la Ec.(2.28) nos queda como

D qD p exp
Z  Z tf 
1 i
hqf tf | qi ti i = [pq H(p, q)] dt (2.29)
2~ ~ ti

donde qi = q(ti ), qf = q(tf ) y D lm n

Qn
j=p dj . La Ec.(2.29) es la integral de camino

para la amplitud de transicin de (qi , ti ) a (qf , tf ). De este resultado podemos observar que

Cada par q (t) y p(t) denen un camino en el espacio fase. En conclusin el propagador es

el resultado de considerar que todos los caminos para ir de un estado inicial a uno nal

son posibles. Esto se ve de forma explcita en la integral de camino ya que para obtener el

propagador con sta es necesario integrar sobre todos los caminos.

2.1. El Propagador y la Integral de Camino 28

La forma de obtener la aportacin de cada camino en la construccin del propagador est

1
R tf
medida por la integral que aparece en la exponencial
~ ti [pq H(p, q)] dt.

Ya contamos con una de las expresiones para la amplitud de transicin, lo cual ser de gran

ayuda para realizar clculos como espectros de energa de un sistema, dispersin de partculas,

etc.

Con el propsito de simplicar la notacin y de lograr obtener la expresin de la integral de

camino construida con los postulados de Feynman, la cual hace evidente el papel de la accin en

el propagador, retomamos la Ec.(2.28)

n
Z Y n n
1 Y i X
hqf tf | qi ti i = lm dqj dpj exp [pj (qj+1 qj ) H(pj , qj )] ,
n 2~ ~
j=1 j=0 j=0

pj 2
y como H(pj , qj ) = 2m + V (qj ) podemos escribirla de la siguiente forma

n
Z Y n n  2 
1 Y i X pj
hqf tf | qi ti i = lm dqj dpj exp pj (qj+1 qj ) V (qj )
n 2~ ~ 2m
j=1 j=0 j=0

integramos respecto a pj 3 y nos queda

n
 m  n+1 Z Y n  
2
i X m qj+1 qj 2
hqf tf | qi ti i = lm dqj exp ( ) V (qj ) . (2.30)
n 2~ ~ 2
j=1 j=0

Al tomar el lmn vemos que

D
Z  Z tf 
i
hqf tf | qi ti i = N q exp L(q, q) dt ,
~ ti
R tf
donde L(q, q) es la funcin Lagrangiana, como
ti L(q, q) dt es la accin de la mecnica clsica,

nalmente tenemos

D q exp
Z  
i
K(qf , tf ; qi , ti ) = hqf tf | qi ti i = N S . (2.31)
~

Con lo que concluimos que los postulados de Feynman nos llevan a las mismos resultados que

los esquemas tradicionales de la mecnica cuntica mencionados por ejemplo en [13].

Cuando analizamos a un sistema en la mecnica cuntica nos interesa encontrar las funciones

de onda correspondientes a dicho sistema, as como los eigenvalores de la energa del mismo ya que

3
La integral se resuelve utilizando el siguiente resultado
1 b2
Z  
2
exp ax2 + bx + c dx =


exp +c .
a 4a
2.1. El Propagador y la Integral de Camino 29

con esto podemos dar una descripcin amplia del comportamiento del sistema. A continuacin

se obtendr la forma de relacionar a la integral de camino con los eigenvalores de un sistema.

Partiremos de la siguiente expresin para el propagador

4

K(x1f , p2f , tf ; x1i , p2i , ti ) = hx1f , p2f , tf | x1i , p2i , ti i,

lo que podemos escribir de la siguiente forma

 
i
K(x1f , p2f , tf ; x1i , p2i , ti ) = hx1f , p2f | exp H(tf ti ) | x1i , p2i i, (2.32)
~
lo cual es equivalente a Ec.(2.29).

Denotamos a los eigenestados que corresponde a los eigenvalores En con | ni los cuales

satisfacen la condicin
X
| nihn |= 1,
n
adems introducimos este conjunto completo de estados en Ec.(2.32)
 
X i
K(x1f , p2f , tf ; x1i , p2i , ti ) = hx1f , p2f | mihm | exp H(tf ti ) | nihn | x1i , p2i i.
n,m
~

Tenemos que n (x1 , p2 ) = hx1 , p2 | ni son las eigenfunciones expresadas en trminos de las

variables x1 y p2 . Al comparar esta expresin con Ec.(2.29) concluimos

D qD
Z  Z tf  X  
1 i i
p exp [pq H(p, q)] dt = exp En (tf ti ) n (x1f , p2f )n (x1i , p2i ).
2~ ~ ti n
~
(2.33)

Como el propagador tambin est dado por la Ec.(2.31) tenemos

D q exp
Z    
i X i
K(x1f , p2f , tf ; x1i , p2i , ti ) = N S = exp En (tf ti ) n (x1f , p2f )n (x1i , p2i ).
~ n
~
(2.34)

De Ec.(2.34) vemos que la integral de camino nos muestra una conexin directa entre la

mecnica clsica y la mecnica cuntica, ya que podemos conocer a las eigenfunciones de un

sistema cuntico y obtener sus eigenvalores de energa (lado derecho de la ecuacin) si construimos

la accin clsica del sistema y utilizamos el mtodo de integral de camino para encontrar al

propagador (lado izquierdo de la ecuacin).

Otro inters de estudio de la mecnica cuntica son los procesos de dispersin. A continua-

cin presentaremos un anlisis de stos procesos utilizando la forma de integral de camino del

propagador. Esto nos llevar a presentar un conjunto de reglas, llamadas reglas de Feynman, que

nos ayudan a construir la amplitud de probabilidad de una dispersin.

4
Donde hemos escogido la dependencia de las coordenadas x1 , p2 ya que de esta forma nos ser de gran utilidad
en el captulo 3.
2.2. La Integral de Camino en Procesos de Dispersin 30

2.2. La Integral de Camino en Procesos de Dispersin

En esta seccin ilustraremos cmo se utiliza el mtodo de integral de camino para estudiar

procesos de dispersin, utilizando el hecho de que la dispersin de una partcula por otra se

describe por la interaccin a travs de un potencial. Para esto expresamos a Ec.(2.31) como

sigue

D
 Z tf
i tf
Z   Z 
i
hxf tf | xi ti i = N x exp T dt exp V dt , (2.35)
~ ti ~ ti
R tf
donde se ha usado el hecho S= ti (T V )dt y se ha cambiado de notacin q x. Comenzaremos
por hacer la siguiente consideracin

Z tf 
V dt < ~,
 

ti

lo cual implica que la interaccin entre las partculas es mediada por un potencial dbil o que

ocurre durante tiempos muy cortos. Esta consideracin es clave para calcular la amplitud de

transicin, ya que nos permite utilizar el mtodo perturbativo como mtodo de aproximacin

haciendo el siguiente desarrollo conocido como desarrollo perturbativo (serie de Mclaurin de

n Rt o
exp ~i tif V dt )

 Z tf  Z tf Z tf 2
i i 1
exp V dt =1 V dt V dt + ..., (2.36)
~ ti ~ ti 2!~2 ti

sustituimos la Ec.(2.36) en Ec.(2.31) y con esto podemos escribir al propagador como

K(xf tf ; xi ti ) = K0 + K1 + K2 + . . . , (2.37)

donde K0 es el propagador de partcula libre, K1 es la correccin a primer orden del propagador

y as sucesivamente.

A continuacin se obtendrn las expresiones de cada uno de los propagadores enlistados

arriba, ya que con ellos obtendremos la forma explcita de K(xf tf ; xi ti ) hasta primer orden.

Comenzaremos con K0 que es el resultado de multiplicar el primer trmino del desarrollo per-

turbativo Ec.(2.36) con la exponencial de energa cintica, esto es:

D D x exp
Z  Z tf  Z  Z tf 
i i 2
K0 = N x exp T dt = N m x dt (2.38)
~ ti 2~ ti

donde se ha usado la forma explcita de la energa cintica (T = 12 mx2 ). Para resolver la integral
2.2. La Integral de Camino en Procesos de Dispersin 31

de Ec.(2.38) retomamos la forma discreta

5

n
 m  n+1 Z Y n 2
2
i X (x j+1 x j )
K0 = lm dxj exp m . (2.39)
n 2i~ 2~
j=1 j=0

Procedemos a resolver la integral anterior . Como

6 (n + 1) = tf ti , el propagador de partcula

libre est dado por

1
i (xf xi )2
  
m 2
K0 = exp m .
2i~(tf ti ) 2~ tf ti
Para conservar la evolucin temporal de eventos, es decir considerar que se debe cumplir tf > ti ,
escribimos al propagador de partcula libre de la siguiente forma

1
i (xf xi )2
  
m 2
K0 = (tf ti ) exp m , (2.40)
2i~(tf ti ) 2~ tf ti

donde (tf ti ) es la funcin paso y est denida como sigue

1 tf > ti

(tf ti ) =

0 otro caso.

Ahora se calcular K1 , el cual est dado por la multiplicacin del segundo trmino del desarrollo
perturbativo Ec.(2.36) con la exponencial de energa cintica de la siguiente manera

D x exp tf tf
Z  Z Z
i i 2
K1 = N m x dt V dt.
~ 2~ t1 t1

En forma discreta, lo anterior se escribe como

n
 m  n+1 X n 2

Z
i 2
i X (x j+1 x j )
K1 = lm dx1 dxn exp m V (x , t ),
~ n 2i~ 2~
i=1 j=0

donde no hay que perder de vista que se reemplaz la integral temporal del potencial por una

sumatoria, y que el potencial est seleccionado en un punto. Separaremos la sumatoria del ex-

ponente en dos partes: una que vaya de j=0 a j =1 y otra que vaya de j= a j = n.
5
Vase la Ec.(2.30).
6
Resolvemos la integral utilizando el siguiente resultado
Z
dx1 dx2 dxn exp i[(x1 a)2 + (x2 x1 )2 + . . . + (b xn )2 ]

=

1
in n
  
2 i
exp (b a)2 .
(n + 1)n n+a
2.2. La Integral de Camino en Procesos de Dispersin 32

Con lo que nos queda

n+1 Xn 1 2
(xj+1 xj )
Z
i  m 
2
i X
K1 = lm dx1 dxn exp m
~ n 2i~ 2~
i=1 j=0

n
i X (xj+1 xj )2
exp m V (x , t ).
2~
j=

Como V (x , t ) depende de x nos ser de gran ayuda escribir la expresin anterior de la siguiente
forma

n n 2
(xj+1 xj )
Z
i X n+1 i X
K1 = lm dxi P 2 exp m dx+1 dxn (2.41)
~ n 2~
i=1 j=

1
X (xj+1 xj )2
i
V (x , t ) P exp
2 m dx1 dx1
2~
j=0

m

n+1 n+1
donde se ha hecho
2i~
2
=P 2 . Comparamos la expresin anterior Ec.(2.41) con Ec.(2.40)

e identicamos a los siguientes propagadores:

m

n+1 R n
i Pn (xj+1 xj )2 o
K0 (xf , tf ; x , t ) = (tf t ) lmn 2i~
2
exp 2~ m j=i dx+1 dxn

m

R n
i Pi1 (xj+1 xj )2 o
K0 (x , t ; xi , ti ) = (t ti ) lmn 2i~
2
exp 2~ m j=0 dx1 dx1 .

Con esto K1 es

n Z
i X
K1 = lm dxi K0 (xf tf ; x , t ) V (x , t )K0 (x t ; xi ti ) .
~ n
i=1

Al tomar el lmite nos queda

Z tf Z
i
K1 = dt dxK0 (xf tf ; xt) V (x, t)K0 (xt; xi ti ) ,
~ t1

como nos interesa conservar la evolucin temporal de eventos, concluimos que la integral sobre t
puede ser tomada sobre todos los valores de t, as tendremos
Z Z
i
K1 = dt dxK0 (xf tf ; xt) V (x, t)K0 (xt; xi ti ) (2.42)
~
lo cual corresponde a la correccin a primer orden del propagador libre.

Juntando las Ecs.(2.42) y (2.40) la expresin para el desarrollo perturbativo del propagador

Ec.(2.37), queda de la siguiente forma

K(xf tf ; xi ti ) = K0 (xf tf ; xi ti ) (2.43)

Z Z
i
dt dxK0 (xf tf ; xt) V (x, t)K0 (xt; xi ti ) + . . . ,
~
2.2. La Integral de Camino en Procesos de Dispersin 33

Figura 2.6: Desarrollo perturbativo del Propagador.

la cual es la solucin en serie de perturbaciones de K , y es conocida como serie de Born. En resu-

men K0 describe la propagacin libre de una funcin de onda de (xi , ti ) a (xf , tf ), K1 describe

la propagacin de una funcin de onda con una perturbacin en (x1 , t1 ), as sucesivamente.

Esquematicamente el desarrollo perturbativo del propagador se puede visualizar como en la

Fig.(2.6).

En la medicin de un proceso de dispersin, las condiciones experimentales son: en t

la partcula es libre, luego es dispersada y es libre nuevamente en t +. Estas sern las

condiciones para nuestra funcin de onda . Tendremos que es una onda plana en ti denotada

por i (xi , ti ). Adems consideraremos que V 0 para tiempos t >> ti y tf >> t donde t es el

instante en el que se realiza la interaccin.

Tomando hasta la primera aproximacin la serie de Born Ec.(2.43) tenemos para i (xi , ti )
(donde se utiliza la Ec.(2.4))

Z
(+)
(xf , tf ) = K0 (xf , tf ; xi , ti )i (xi , ti ) dxi (2.44)
Z
i
K0 (xf , tf ; x, t)V (x, t)K0 (x, t; xi , ti )i (xi , ti ) dx dxi dt,
~

donde (+) (xf , tf ) corresponde a una onda que fue libre en t = . Esto involucra a un

propagador que llamaremos de retardo K0 (x, t; x0 , t0 ), el cual es cero para t0 > t.

As mismo la solucin se puede escribir para () (xi , ti ), la cual consiste en una onda que

ser libre en t , en trminos de la funcin denotada por f i.e dado que fue dispersada. Aqu

se involucrar un propagador que llamaremos de avance K0 (x, t; x0 , t0 ) el cual ser cero cuando

t > t0 .
Estamos interesados en la amplitud de probabilidad de detectar una partcula (al nal) con

un momento denido, esto es, una onda plana f , la cual ser plana ya que V 0 para valores

grandes positivos de t. Como (+) (xf , tf ) y () (xi , ti ) son las amplitudes de probabilidad
2.2. La Integral de Camino en Procesos de Dispersin 34

de que: la partcula sea dispersada dado que fue libre y sea libre dado que fue dispersada,

respectivamente. Entonces, la superposicin de stas dos amplitudes de probabilidad nos dar la

amplitud de dispersin con la siguiente expresin:

Z
S= f (xf , tf ) (+) (xf , tf ) dxf . (2.45)

Al sustituir la Ec.(2.44) en Ec.(2.45) obtenemos la amplitud de probabilidad de la transicin de

i a f a travs del potencial V (x, t) a primer orden

Z
Sf i = f (xf , tf )K0 (xf , tf ; xi , ti )i (xi , ti ) dxi dxf
Z
i
f (xf , tf )K0 (xf , tf ; x, t)V (x, t)K0 (x, t; xi , ti ) (2.46)
~
i (xi , ti ) dxf dx dxi dt.

Considerando que los momentos nal e inicial en tres dimensiones son: Pf = ~Kf y Pi = ~Ki ,
tendremos que las correspondientes funciones de onda i (x, t)f (x, t) estarn dadas por:
y
   
1 i 1 i
i (x, t) = 3 exp (Pi x Ei t) y f (x, t) = 3 exp (Pf x Ef t) ,
(2~) 2 ~ (2~) 2 ~
(2.47)

p2 32
donde E = 2m y (2~) es el factor de normalizacin. Sustituyendo Ec.(2.47) en Ec.(2.46) y

usando la siguiente identidad

Z
exp{iq x} dx = (2)3 (q), (2.48)

nos queda a primer orden

Z
i
Sf i = (Kf Ki ) f (xf , tf )K0 (xf , tf ; xt)V (x, t)K0 (x, t; xi , ti ) (2.49)
~
i (xi , ti ) dxf dx dxi dt.

Donde hemos considerado conservacin de la energa Ei = Ef . La amplitud de dispersin es

entonces un elemento de una matriz, denotado con Sf i , cuyos (f i) elementos estn dados por

Ec.(2.49); a sta matriz se le conoce como matriz de dispersin o matriz S. El primer trmino

corresponde a la no interaccin dando conservacin de momento y una matriz S unidad. Las

interacciones son representadas por el segundo trmino. La amplitud de que un particular estado

de salida f  resulte de un particular estado de entrada i  es a primer orden

A
Z
i
(1)
= f (xf , tf )K0 (xf , tf ; xt)V (x, t)K0 (x, t; xi , ti ) (2.50)
~
i (xi , ti ) dxf dx dxi dt.
2.2. La Integral de Camino en Procesos de Dispersin 35

Ahora tenemos una expresin para la amplitud de dispersin en trminos del propagador libre

K0 y del potencial de interaccin.

Reglas de Feynman para la amplitud de dispersin

La ecuacin Ec.(2.50) puede ser trasladada hacia un conjunto de reglas para calcular la

amplitud de dispersin, conocidas como reglas de Feynman las cuales se presentan a continuacin.

La idea consiste en representar con diagramas cada trmino de la serie de Born, por ejemplo

podemos representar la amplitud dada por Ec.(2.50) (la cual es una aproximacin a primer orden)

con el siguiente diagrama:

Entre cada extremo del diagrama y el potencial hay propagacin libre. La amplitud de disper-

sin se puede formar al sumar los correspondientes diagramas al orden deseado; por ejemplo

la amplitud de dispersin con correccin a primer orden resulta de sumar los siguientes dos

diagramas.

Multiplicamos por i (x, t) y f (x, t) a los extremos de cada diagrama, integramos sobre las dos

variables espaciales relevantes y con ello obtendremos la expresin para la amplitud de dispersin.

En la derecha se ilustra el diagrama correspondiente a la correccin a segundo orden de la

amplitud de probabilidad de una dispersin.

2.2. La Integral de Camino en Procesos de Dispersin 36

Entonces, por las reglas antes presentadas tendremos que la correccin a segundo orden,

denotada por A (2) , es:

A i 2
 Z 
(2)
= f (xf , tf )K0 (xf , tf ; x0 , t0 )V (x0 , t0 )K0 (x0 , t0 ; x, t)V (x, t)
~
K0 (x, t; xi , ti )i (xi , ti ) dxi dx dt dx0 dt0 dxf . (2.51)

Como mencionamos anteriormente las amplitudes de probabilidad dependen del propagador

libre. Para el cual tenemos una expresin en el espacio coordenado, en el apndice B se presentan

las correspondientes representaciones del propagador libre en el espacio fase, y en el de momento

y energa. En estos espacios se evidencia que la propagacin libre se da slo si hay conservacin

de momento y de energa.

Por ltimo obtendremos una expresin para la amplitud de dispersin que nos servir en el

captulo 3 para estudiar la dispersin de Rutherford. Comenzamos por sustituir la expresin para

K0 dada por la Ec.(B.6)

q2
Z   
i
K0 (xf tf ; xi ti ) = (tf ti ) exp q (xi xf ) (tf ti ) dq,
~ 2m

en la amplitud de dispersin dada por la primera aproximacin de Born Ec.(2.50), junto con las

expresiones de f (xf tf ) y i (xi ti ) y obtenemos

A
( !)
P2f
Z
(1) i 1 i
= exp Pf x f tf (tf t)
~(2)3 (2~)3 ~ 2m
q2
  
i
exp q (x xf ) (tf t) V (x, t)
~ 2m
( ! )
i 0 q0 2
exp q (xi x) (t ti ) (t ti )
~ 2m
P2i
  
i
exp Pi xi ti dxf dx dxi dt dq dq0 . (2.52)
~ 2m

Integramos con respecto a xf

Z  
i
exp (Pf q) xf dxf = (2~)3 (Pf q).
~
2.2. La Integral de Camino en Procesos de Dispersin 37

Este es el mismo resultado para la integral con respecto a xi , donde ahora Pf Pi y q q0 .

Utilizando los resultados anteriores integramos con respecto a q para tener

Z    
i i
exp q x (Pf q) dq = exp Pf x ,
~ ~

y la contribucin de la integral sobre q0 que se obtiene cuando Pf Pi , q q0 y x x0 .

Resolvemos las integrales que involucran a tf

i q2 i Pf 2
Z    
exp tf (Pf q) dq = exp tf
~ 2m ~ 2m

y a t0 , al cambiar Pf Pi , q q0 y tf t0 en el resultado anterior.

Finalmente utilizando los resultados anteriores la Ec.(2.52) se reduce a

A
Z  
(1) i i
= exp [(Pi Pf ) x (Ei Ef )t] V (x, t) dx dt, (2.53)
(2)3 ~ ~
P2i,f
con Ei,f = 2m . A partir de la expresin anterior, podemos calcular la amplitud de dispersin

de una partcula que cumpla con las condiciones que describimos al inicio del captulo a travs

de cualquier potencial V (x, t).

Para concluir con este captulo, podemos decir que hemos presentado una interpretacin

de los fenmenos cunticos alterna a la desarrollada por De Broglie, Schrdinger, Heisenberg

entre otros. En esta interpretacin se relaciona a la mecnica cuntica con la mecnica clsica

por medio del concepto de accin. Esto es evidente en la Ec.(2.5) que se construye con los dos

postulados de la formulacin de integral de camino de la mecnica cuntica, los cuales tienen

como idea central considerar que todos los caminos, para la evolucin de un sistema, aportan

a dicha evolucin con una amplitud de probabilidad. La forma de obtener informacin de un

sistema con la integral de camino es utilizando Ec.(2.34) la cual relaciona a las eigenfunciones y

eigenvalores de la energa con el propagador del sistema. Finalmente para estudiar procesos de

dispersin, hicimos un desarrollo perturbativo del propagador lo cual nos llev a establecer las

reglas de Feynman. stas nos ayudan a construir la amplitud de probabilidad de una dispersin.

En el siguiente captulo, pondremos en accin los resultados anteriormente descritos anali-

zando al sistema de una partcula de masa m y carga q en presencia de un campo magntico

uniforme y de un potencial de oscilador armnico simple. Tambin se estudiar la dispersin de

Rutherford con el objetivo de ilustrar la forma de utilizar la teora de dispersin antes presentada.