Propagador en modos normales

Empecé con el hamiltoniano de osciladores acoplados en una red circular (con metro = = 1 y X a + norte = X a )

H = 1 2 a = 0 norte 1 [ pag a 2 + ω 2 X a 2 + Ω 2 ( X a a a + 1 ) ]
Luego usé los modos normales
X ~ k 1 norte a = 0 norte 1 Exp ( 2 π i k norte a ) X a pag ~ k 1 norte a = 0 norte 1 Exp ( 2 π i k norte a ) pag k
para 'desacoplar' los osciladores:
H = 1 2 k = 0 norte 1 ( | pag k ~ | 2 + ω k ~ 2 | X k ~ | 2 )
dónde
ω ~ k = ω 2 + 4 Ω 2 pecado 2 ( π k norte )
En términos de los modos normales, la función de onda es
ψ 0 ( X 0 ~ , X 1 ~ , . . ) = k = 0 norte 1 ( ω ~ k π ) 1 4 Exp ( 1 2 ω ~ k | X ~ k | 2 )
Ahora, quiero hacer evolucionar en el tiempo este estado usando el producto de propagadores de osciladores libres. Si X ~ k fueran reales, entonces procedería con el propagador como
k ( X ~ 0 , X ~ 1 , . . ; X ~ 0 , X ~ 1 ; t ) = k = 0 norte 1 ω ~ k 2 π i pecado ( ω ~ k t ) Exp [ i ω ~ k 2 pecado ( ω ~ k t ) { ( X k ~ 2 + X k ~ 2 ) porque ( ω ~ k t ) 2 X ~ k X ~ k } ]
Y yo tiempo evolucionaría el estado ψ 0 como
ψ 1 ( X 0 ~ , X 1 ~ , . . ; t ) = d X ~ 0 d X ~ 1 . . k ( X ~ 0 , X ~ 1 , . . ; X ~ 0 , X ~ 1 . . . ; t ) ψ 0 ( X 0 ~ , X 1 ~ , . . )
¿Cómo puedo encontrar el propagador sabiendo que X ~ k no es real y luego encontrar el estado evolucionado en el tiempo?

Respuestas (1)

Esta es una pregunta de cambio de variables. En principio, sabes cómo evaluar la última integral en términos de un conjunto de variables, el X a . Sin embargo, sería más fácil evaluarlo en términos de X ~ k .

La integral original ha terminado. X a R norte , por lo que necesita averiguar la región correspondiente de (complejo) X ~ k -espacio. Una propiedad de la transformada de Fourier es útil: la X a son reales si y solo si X ~ k = X ~ k . Por lo tanto, podemos integrar en todo el plano complejo solo para valores no negativos de k . `

También necesitamos incorporar el jacobiano de la transformación. La transformada discreta de Fourier es unitaria con la normalización que eligió, por lo que el jacobiano es solo 1 .