¿Cómo evaluar directamente la integral de trayectoria para un oscilador armónico mediante el método de fuerza bruta?

Es fácil evaluar la función de green utilizando el enfoque de integral de trayectoria evaluando la acción clásica y utilizando el método de cálculo funcional. ¿Es posible evaluar la integral de trayectoria para el oscilador armónico directamente evaluando la integral para cada segmento de tiempo hasta el último segmento de tiempo fijo? Es engorroso pero creo que es posible.

Es posible que desee ver esto .

Respuestas (2)

  1. Con respecto al oscilador armónico, es bien sabido que después de una rotación de Wick

    t mi     i t METRO
    al tiempo euclidiano, entonces el propagador /núcleo/amplitud de Feynman es
    (1) k ( X 2 , t 2 mi ; X 1 , t 1 mi )   =   metro ω 2 π pecado ( ω Δ t 21 mi ) Exp { 1 S mi ( X 2 , t 2 mi ; X 1 , t 1 mi ) } ,
    dónde
    (2) S mi ( X 2 , t 2 mi ; X 1 , t 1 mi )   =   metro ω 2 ( ( X 2 2 + X 1 2 ) bata ( ω Δ t 21 mi ) 2 X 2 X 1 pecado ( ω Δ t 21 mi ) )
    es la acción sobre caparazón euclidiana de Dirichlet.

  2. Hay muchas formas de establecer la ec. (1) por integración de ruta de fuerza directa/bruta. P.ej:

    • El método más pedestre/elemental es quizás insertar un número finito norte de relaciones de completitud en la superposición X 2 , t 2 mi ; X 1 , t 1 mi , dividiéndolo así en norte + 1 superposiciones de pasos de tiempo iguales. A continuación, derivar una relación de recurrencia en norte , y tomar el límite continuo norte , véase, por ejemplo, Refs. 4 y 5.

    • Evaluar un determinante funcional , véase, por ejemplo, Ref. 2 y esta publicación Phys.SE relacionada. Alternativamente, utilice la fórmula de Gelfand-Yaglom .

    • Para ω Δ t 21 mi 1 , se pueden utilizar métodos WKB perturbativos.

    • Si el propagador/núcleo/amplitud de Feynman k ( X 2 , t 2 mi ; X 1 , t 1 mi ) es conocido por la partícula libre, hay un truco ingenioso para derivar k ( X 2 , t 2 mi ; X 1 , t 1 mi ) para el oscilador armónico, cf. Árbitro. 3.

  3. Una vez ec. (1) es encontrado, quizás a través de argumentos manuales, hay una forma rigurosa de verificarlo: realice una sola integración gaussiana sobre X 2 para comprobar la propiedad integral de la trayectoria

    (3) k ( X 3 , t 3 mi ; X 1 , t 1 mi )   =   R d X 2   k ( X 3 , t 3 mi ; X 2 , t 2 mi )   k ( X 2 , t 2 mi ; X 1 , t 1 mi ) ,
    que es la propiedad de firma para una suma sobre historias. La ecuación (3) se sigue directamente de las ecuaciones. (1)-(2), la fórmula de integración gaussiana y las fórmulas de suma para bata & pecado .

  4. En particular, si la ec. (1) originalmente solo se estableció por poco tiempo, ω Δ t 21 mi 1 , luego se repite la aplicación de la ec. (3) se puede utilizar para establecer la ec. (1) durante mucho tiempo, en el espíritu mismo de la integración camino.

Referencias:

  1. RP Feynman & AR Hibbs, Mecánica Cuántica e Integrales de Trayectoria, 1965; ecuaciones (3.59)-(3.60).

  2. J. Polchinski, Teoría de cuerdas vol. 1, 1998, Apéndice A.

  3. L. Moriconi, Una derivación elemental del propagador del oscilador armónico, Am. J. física. 72 (2004) 1258 , arXiv:física/0402069 . (Consejo de sombrero: OP .)

  4. SM Cohen, Integral de trayectoria para el oscilador armónico cuántico usando métodos elementales , Am. J. física. 66 (1998) 537 .

  5. K. Hira, Eur. J. física. 34 (2013) 777 .

Notas para más adelante: Problema de Landau. Partícula puntual 2D en un campo magnético. Feynman & Hibbs, problema 3-10; Kleinert, subsección 2.23.3, pág. 197. L   =   metro 2 ( X ˙ 2 + y ˙ 2 ) tu     1 2 ( X y ) ( metro d t 2 B d t B d t metro d t 2 ) ( X y ) ; tu   =   q ( A X X ˙ + A y y ˙ )   =   B 2 ( X y ˙ y X ˙ ) ; B := q B z ; Coordenadas de posición X y y no conmutan, por lo que es inconsistente exigir Dirichlet BC para ambos, cf. HUP. En su lugar, impongamos BC periódico.
Notas para más tarde: ω   =   2 π norte T ; norte norte ; det ( metro ω 2 λ i B ω i B ω metro ω 2 λ )   =   0 ; λ ±   =   metro ω 2 ± B ω ; ( metro d t 2 λ B d t B d t metro d t 2 λ ) ( X y )   =   ( 0 0 ) ; ( X ± y ± )   =   ( porque / pecado ω t pecado / porque ω t ) ; Valores propios no negativos si B es lo suficientemente pequeño.
Notas para más tarde: det   =   norte norte ( metro 2 ω 4 B 2 ω 2 )   =   [ norte norte norte ] 2 [ norte norte metro 2 ω 1 4 ] [ norte norte ( 1 ( B metro ω 1 norte ) 2 ) ] = T 2 metro s i norte C B T 2 metro cf. Regularización de la función zeta .
Notas para más adelante: Propagador en la misma posición: k ( X , t 2 mi ; X , t 1 mi )   =   metro ω 2 π pecado ( ω Δ t 21 mi ) Exp { metro ω X 2 bronceado ω Δ t 21 mi 2 } ; Integral de trayectoria: Z   =   R d X   k ( X , t 2 mi ; X , t 1 mi )   =   ( 2 pecado ω Δ t 21 mi 2 ) 1   =   norte norte 0 mi ( norte + 1 / 2 ) ω Δ t 21 mi ;
Notas para más tarde: ¿Qué sucede si agregamos un término fuente? j X al lagrangiano? Lagrangiano L METRO metro 2 X ( d 2 d t METRO 2 + ω 2 ) X + j X . L mi metro 2 X ( d 2 d t mi 2 + ω 2 ) X j X = metro 2 ( X GRAMO mi j ) ( d 2 d t mi 2 + ω 2 ) ( X GRAMO mi j ) 1 2 j GRAMO mi j . Función de verdes GRAMO METRO ( t METRO ) = s gramo norte ( t METRO ) pecado ( ω t METRO ) 2 metro ω . GRAMO mi ( t METRO ) = s gramo norte ( t mi ) pecado ( ω t mi ) 2 metro ω .
Notas para más tarde: X 2 , t 2 mi | X 1 , t 1 mi j = X 2 GRAMO mi ( t 2 mi ) j , t 2 mi | X 1 GRAMO mi ( t 1 mi ) j , t 1 mi 0   Exp ( 1 2 j GRAMO mi j ) . Comparar con MS Swanson, Sección 3.2 eqs. (3.19)-(3.21); y Feynman & Hibbs, problema 3-11 eq. (3-66).

La integral de trayectoria en la mecánica cuántica se puede definir como,

Exp { i Δ t i L ( X i , X i + 1 X i Δ t , i ) } d X 0 d X norte

donde, como ha señalado el OP, uno 'corta' el tiempo en norte + 1 segmentos y la idea es que el propagador viene dado por el límite formal como norte . Con base en este artículo , parece que Fujikawa ha establecido la convergencia en la topología del operador de norma, en B ( L 2 ( R d ) ) siempre que el potencial sea suave con un crecimiento cuadrático como máximo (por ejemplo, un oscilador armónico).

Esto se ha ampliado para mostrar que la convergencia permanece, siempre que existan derivadas en el segundo espacio en H d + 1 ( R d ) . Estos resultados muestran que podemos esperar recuperar el propagador original en el límite continuo.

Sin embargo, para cualquier finito norte , no podemos esperar hacer nada más que aproximar el propagador; por supuesto, podemos llevar a cabo la integración un número finito de veces de forma sencilla. De hecho, esto es lo que se hace originalmente para notar el patrón que emerge, lo que permite tomar la norte límite.