El Propagador y la Integral de Camino de Feynman

Josu Len
El presente trabajo es una entrada un poco ms a detalle de la deduccin del Propagador para la integral
de camino de Feynman ofrecida en las diferentes referencias citadas al final de este mismo trabajo. Se considera pasos omitidos en las diferentes
resoluciones. Tiene como objetivo demostrar que el propagador viene
R
dado por K(qf , tf ; qi , ti ) = N Dq e{i} dnde la fase es la Accin Clsica.
Postulados de Feynman:
1. 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 de dicha regin.
2. Todos los caminos contribuyen con igual magnitud, pero la fase de su contribucin es la accin clsica
(en unidades de ~); i.e. la integral temporal de la Lagrangiana tomada a lo largo del camino.
Partamos de:
(qf , tf ) =

k (q, t)(qi , ti )

(1)

La misma que se la lee 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).
Ahora hagamos ulgunas consideraciones, tomemos como una funcin compleja y expresmosla de la siguiente manera: = Aei(q,t) , y el producto de los infinitos diferenciales correspondientes a los infinitos caminos
denotemos por: Dq con lo cual tendremos que:
Z
(qf , tf ) =

Dq Aei(q,t) (qi , ti )

(2)

Designaremos por K(qf , tf ; qi , ti ) al operador que permite la transicin de la funcin de onda inicial a la final,
el mismo que es conocido como propagador y as nos conduce a:
Z
(qf , tf ) =

K(qf , tf ; qi , ti )(qi , ti )dqi

(3)

y as esclarecemos a lo que tenemos que llegar:

Z
K(qf , tf ; qi , ti ) = N

Dq e{ ~ S}

(4)

Consideremos todos los caminos posibles para llegar de (qi , ti ) a (qf , tf ), adems realicemos un corte, una
divisin (q, t) equidistante entre ambos puntos.
(q, t) = hqt|i

(5)

de manera anloga para la funcin de onda final y haciendo uso de la relacin de clausura:
Z
hqf tf |i = hqf tf |qi ti ihqi ti |idqi

(6)

al comparar las dos ecuaciones anteriores llegaremos a:

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

(7)

con lo cual es claro que nuestro propagador tiene la siguiente forma:

K(qf , tf ; qi , ti ) = hqf tf |qi ti i
Anlogamente a la ecuacin (7) expresaremos a la ecuacin (5):
Z
(q, t) = K(q, t; qi , ti )(qi , ti )dqi
1

(8)

(9)

dnde K(q, t; qi , ti ) representa el propagador desde ti a t (el corte que hemos realizado), de forma similar
tendremos:
Z
(qf , tf ) = K(qf , tf ; q, t)(q, t)dq
(10)
con K(qf , tf ; q, t) el propagador desde t hasta tf . Combinando la ecuacin (9) y la (10):
R
R
(qf , tf ) = K(qf , tf ; q, t) K(q, t; qi , ti )(qi , ti )dqi dq
Z Z
(qf , tf ) =
K(qf , tf ; q, t)K(q, t; qi , ti )(qi , ti )dqi dq

(11)

al comparar la ecuacin (3) con la (11), reconocemos que:

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

(12)

En este momento vemos la razn de haber tomado una divisin entre nuestros dos puntos (qf , tf ) y (qi , ti )
al considerar un punto intermedio (q, t). El propagador entre estos dos puntos resulta en el producto de los
propagadores de la subdivisin que hemos hecho, un propagador para el primer tramo y otro para el tramo
restante, esta misma propiedad la podemos generalizar para n + 1 subdivisiones y obtendremos
Z
Z
hqf tf |qi ti i = dq1 dq2 dqn hqf tf |qn tn ihqn tn |qn1 tn1 i hq1 t1 |qi ti i
(13)
donde la integral se toma sobre todos los posibles estados intermedios.
Procederemos al clculo del propagador sobre un pequeo segmento de un posible camino.
Representaremos al propagador en funcin del operador de Evolucin Temporal, en un intervalo de tiempo
[tj , tj+1 ]
i
(14)
hqj+1 tj+1 |qj tj i = hqj+1 |e{ ~ H(tj+1 tj )} |qj i
desarrollemos esta exponencial e{

i
~ H(tj+1 tj )}

en series de Mclaurin con lo cual obtendremos:

i
H(tj+1 tj ) + f [(tj+1 tj )2 ]
~

(15)

en donde f [(tj+1 tj )2 ] encapsula a los trminos de orden cuadrtico.

Combinando las ecuaciones (14) y (15) tenemos
hqj+1 tj+1 |qj tj i = hqj+1 |1
hqj+1 tj+1 |qj tj i = hqj+1 |qj i

i
H(tj+1 tj ) + f [(tj+1 tj )2 ]|qj i
~

i(tj+1 tj )
hqj+1 |H|qj i + f [(tj+1 tj )2 ]
~

(16)
(17)

desarrollando cada uno de estos trminos:

Z
hqj+1 |qj i =

dpi hqj+1 |pi ihpi |qj i

donde hemos hecho uso de la propiedad de clasura en la base de momentos.

Utilizaremos la siguiente relacin:
i
1
hq|pi =
e{ ~ pq}
2~
que nos conduce a
Z
i
1
hqj+1 |qj i =
dpi e{ ~ pi (qj+1 qj )}
2~
Para el segundo trmino, el Hamiltoneano (operador) estar dado por:
=
H

p2
2m

+ V (q).

(18)

(19)

(20)

2
j i = hqj+1 | p |qj i + hqj+1 |V (q)|qj i
hqj+1 |H|q
2m
Para el primer trmino de (21) nos queda
Z Z
p2
p2
|qj i =
dp0 dphqj+1 |p0 ihp0 |
|pihp|qj i
hqj+1 |
2m
2m

(21)

(22)

donde hemos hecho uso de la relacin de clausura en la base de momentos p0 y p respectivamente. utilizando:
p2
p2
hp0 | 2m
|pi = 2m
(p p0 ) y la ecuacin (19) obtenemos
Z Z
0
i
p2
1
p2
hqj+1 |
|qj i =
dp0 dpe{ ~ (p qj+1 pqj )}
(p p0 )
(23)
2m
2~
2m
integrando respecto a p
Z
i
p2
1
p2
dpe{ ~ p(qj+1 qj )}
hqj+1 |
|qj i =
(24)
2m
2~
2m
ya que:
Z
dp0 (p p0 ) = 1
(25)
de manera similar procedemos con el segundo trmino de (21) y llegamos a:
Z
i
1
dpe{ ~ p(qj+1 qj )} V (q j )
hqj+1 |V (q)|qj i =
2~

(26)

Combinando las ecuaciones (24) y (25) llegamos a

Z
Z
2
i
1
1
{ ~i p(qj+1 qj )} p

hqj+1 |H|qj i =
dpe
+
dpe{ ~ p(qj+1 qj )} V (q j )
2~
2m 2~

(27)

la misma que es equivalente a

ji = 1
hqj+1 |H|q
2~

dpe{ ~ p(qj+1 qj )} H(p, q j )

(28)

con

p2
+ V (q j )
2m
combinando las ecuaciones (17), (20) y (28) llegamos a
Z
i
1
i(tj+1 tj )
hqj+1 tj+1 |qj tj i =
dpe{ ~ p(qj+1 qj )} (1
H(p, q j ) + f [(tj+1 tj )2 ])
2~
~
H(p, q j ) =

Al contrario que en (14) encapsularemos estos tres trminos (1

i(tj+1 tj )
{
}H(pj ,q j )
~

obtener el exponencial e

i(tj+1 tj )
H(p, q j )
~

(29)

(30)

+ f [(tj+1 tj )2 ]) para

y llegar a
Z
i(tj+1 tj )
i
1
H(p,q j )}
~
hqj+1 tj+1 |qj tj i =
dpe{ ~ p(qj+1 qj )
2~

(31)

usando p = pj
Z
i
1
dpj e{ ~ pj (qj+1 qj )(tj+1 tj )H(pj ,qj )}
(32)
2~
Con el fin de obtener el propagador completo en el intervalo [ti , tf ] reemplazos (32) en (13), dando como
resultado
hqj+1 tj+1 |qj tj i =

1
hqf tf |qi ti i = lm
n 2~

Z Y
n

dqj

j=1

n
Y

{ ~i

dpj e

n
X

pj (qj+1 qj ) (tj+1 tj )H(pj , q j )}

j=0

(33)

j=0

Al considerar el lmite lm lograremos que (tj+1 tj ) 0, luego sacamos como factor comn (tj+1 tj ) de
n

(33), obteniendo as un trmino de la forma

de esta manera llegamos a:

(qj+1 qj )
(tj+1 tj ) ,

el mismo que al aplicarse el lmite se transforma en q,

hqf tf |qi ti i =

1
2~

Z Z
DqDpe
3

tf

[pq H(p, q)]dt}

{ ~i
ti

(34)

DqDp representan el producto de los diferenciales que surgen por todos los puntos intermedios (las subdivisiones).
Y de esta manera logramos obtener la buscada Accin Clsica.
R
1
Dp = N
2~
Z
i
hqf tf |qi ti i = N Dqe{ ~ S}
(35)

Bibliografa.
1. Phttp://tesis.uson.mx/digital/tesis/docs/21821/Capitulo2.pdf
2. C. Tannoudji, B. Diu, F. Laloe, Quantum Mechanics, Vol.1.
3. R. Shankar, Principles of Quantum Mechanics.