Propagador de partículas libres mediante integrales de trayectoria

Estoy tratando de recrear un trabajo que un profesor me explicó en su oficina, específicamente derivando el propagador de partículas libres que va de ( y , 0 ) a ( X , T ) utilizando la integral de trayectoria de Feynman. Estoy tratando de reproducir

k ( X , T ; y , 0 ) = metro 2 π i T mi X pag [ i metro ( X y ) 2 2 T ]
Esto es lo que he hecho hasta ahora:

k ( X , T ; y , 0 ) = y X D [ X ( t ) ] mi i S [ X ( t ) ] / .

Así que primero calculo la acción:

S [ X ( t ) ] = 0 T 1 2 metro X ˙ 2 d t

Siempre podemos dividir el camino X ( t ) de la siguiente manera: X ( t ) = X C yo ( t ) + q ( t ) , dónde X C yo ( t ) dada por

X C yo ( t ) = ( X y ) t T + y
es el camino clásico y q ( t ) es una "fluctuación cuántica".

porque los extremos de X ( t ) y X C yo ( t ) son iguales, lo conseguimos q ( 0 ) = q ( T ) = 0 , y debido a que cualquier camino debe ser diferenciable por partes, podemos representar q ( t ) en una Serie de Fourier:

q ( t ) = norte = 1 a norte s i norte ( norte π t T )
.

La acción es entonces

S [ X ( t ) ] = 1 2 metro 0 T ( X y T ) 2 + 2 X y T q ˙ + q ˙ 2 d t

El primer término es trivial, el segundo término se desvanece debido al teorema fundamental del cálculo y al hecho de que q ( t ) desaparece en los puntos finales. Ahora para el último término obtenemos

0 T q ˙ 2 d t = 0 T norte = 1 metro = 1 a norte a metro ( norte π T ) ( metro π T ) C o s ( norte π t T ) C o s ( metro π t T ) d t

pero debido a la ortogonalidad sólo el norte = metro términos sobreviven por lo que obtenemos

= norte = 1 ( norte π T ) 2 0 T a norte 2 C o s 2 ( norte π t T ) d t = norte = 1 ( norte π ) 2 2 T a norte 2
.

Ahora, para hacer la integral de ruta real, "todas las rutas posibles" corresponderían a "todas las rutas posibles". q ( t ) 's" que significaría todas las posibles a norte 's. Así nuestra integral de trayectoria se convierte en:

k ( X , T ; y ) = límite norte d a 1 d a norte mi X pag { i metro 2 [ ( X y ) 2 T + norte = 1 ( norte π ) 2 2 T a norte 2 ] }

Ahora, el primer término en el exponencial es claramente el mismo que el del propagador original, sin embargo, para las otras integrales, ¡obtengo una cantidad infinita de integrales que son infinitas! ¿Dónde falla mi razonamiento o álgebra?

PD: Sé que probablemente haya una forma más sencilla de hacerlo, pero como empezamos de esta manera, quiero saber cómo se puede hacer con este método.

Respuestas (2)

Además de la respuesta de Jonathan, me parece que las integrales que te preocupan no son en realidad infinitas:

d a 1 d a norte mi i metro 2 norte = 1 norte ( norte π ) 2 2 T a norte 2 = norte = 1 norte d a norte mi i metro π 2 4 T norte 2 a norte 2
y cada una de las integrales individuales es una integral de Fresnel con un resultado finito, incluida una fase no trivial. sin embargo, el a norte son longitudes y por lo tanto llevan información dimensional, por lo que su resultado final (proporcional a ( T / metro ) norte / 2 del análisis dimensional) está mal por algunos norte -Constante dependiente que proviene de la normalización de la medida. Arreglar eso debería permitirte continuar con la diversión.

Dado que los límites son , cada factor es un gaussiano (analíticamente continuado), que es explícitamente computable sin necesidad de funciones especiales. Esto es exactamente lo que sucede en la regularización lineal por partes, por lo que es una buena señal de que seguramente aparecerá la respuesta correcta (una vez que la norte -se determina la normalización dependiente).
En realidad, no necesita continuar analíticamente un gaussiano. La integral converge tal como es (aunque más lentamente, sin duda) y es una integral de Fresnel del tipo que se ve en la óptica. Para que quede más claro, cambia a tu = v 2 en 0 porque ( v 2 ) d v = 0 porque ( tu ) d tu 2 tu , que converge condicionalmente.

No he comprobado los detalles de su método, pero la forma habitual de calcular la integral de trayectoria en QM es aproximar la trayectoria X ( t ) como una función lineal por partes, con norte "piezas", y luego tomando el límite norte . Ahora, la parte absolutamente clave de este procedimiento es que para cada norte la integral aparece con cierto peso C norte (que es explícitamente computable), y es el límite de C norte i = 1 norte d X i que existe (y es igual al propagador), no el límite ingenuo de i = 1 norte d X i .

En su configuración, debe considerar, para cada norte , el espacio de polinomios trigonométricos de grado máximo norte (es decir, caminos X ( t ) = norte = norte norte a norte pecado ( norte π t / T ). En comparación con la ecuación de Schrödinger, debería ser posible calcular la constante apropiada C norte . Entonces es el límite de C norte norte = norte d a norte que tenderá al propagador.

Para ser más precisos, la versión más correcta de la integral de trayectoria es con respecto a la acción de primer orden, es decir

D X D pag   mi i pag q ˙ H d t
Porque X ( t ) y pag ( t ) son canónicamente conjugados, la "medida" D X D pag es natural y no requiere una constante dependiente de la regularización (la C norte mencionado anteriormente). Para la mayoría de las teorías, la pag la dependencia anterior es gaussiana, por lo que podemos integrarla. Sin embargo , aunque esto suele ser conveniente, la medida resultante es de la forma C D X , donde la constante C depende de la regularización.

Con suerte, esto ha sido lo suficientemente claro para darle una idea de cómo terminar el cálculo, pero lo suficientemente vago para no estropear los detalles (¡divertidos!). Si todavía está atascado, hágamelo saber en un comentario y le proporcionaré más detalles.