Valor esperado del hamiltoniano dependiente del tiempo

Estoy tratando de resolver un problema en QM con un oscilador cuántico forzado. En este problema tengo un oscilador cuántico, que inicialmente se encuentra en el estado fundamental. En t = 0 , la fuerza F ( t ) = F 0 pecado ( Ω t ) está encendido y después de un tiempo T apagado de nuevo. necesito encontrar H ^ en el momento T .

Empecé con este hamiltoniano:

H ^ = pag ^ 2 2 metro + 1 2 metro ω 0 2 X ^ 2 X ^ F 0 pecado ( Ω t )

Y quiero resolver este problema en la imagen de Heisenberg. Entonces

H ^ = ψ ( T ) | H ^ S | ψ ( T ) = ψ ( 0 ) | H ^ H | ψ ( 0 ) ,

dónde H ^ H es el hamiltoniano en la imagen de Heisenberg y | ψ ( 0 ) es el estado fundamental del oscilador armónico.

Desde H ^ H = tu ( T ) H ^ S tu ( T ) , necesito encontrar el operador de evolución temporal tu . Anteriormente hice una pregunta sobre este operador , pero no veo cómo aplicarlo a este problema.

El operador de evolución es la exponencial ordenada en el tiempo de la integral, T Exp H d t / i . Para este hamiltoniano que solo depende cuadráticamente de X , pag , creo que el valor se puede calcular explícitamente, quiero decir analíticamente. La resonancia cerca Ω = ω 0 debe verse en el resultado, también. No sé cómo escribir el resultado en la parte superior de mi cabeza ahora.

Respuestas (2)

Mi enfoque sería: primero determinar la evolución temporal de X ^ ( t ) y pag ^ ( t ) . Para X ^ tienes

d d t X ^ H ( t ) = i [ H H , X ^ H ( t ) ] = i 2 metro [ pag ^ H ( t ) 2 , X ^ H ( t ) ] = pag H ( t ) ^ metro
y para pag tienes (asumiendo 0 t T )
d d t pag ^ H ( t ) = i [ H H ( t ) , pag ^ H ( t ) ] = metro ω 0 2 X ^ H ( t ) + F 0 pecado ( Ω t )
Estas son ecuaciones diferenciales acopladas, que puedes desacoplar derivándolas una vez más con respecto al tiempo y realizando una sustitución. Por ejemplo,

d 2 d t 2 X ^ H ( t ) = 1 metro d d t pag ^ H = ω 0 2 X ^ H ( t ) + F 0 metro pecado ( Ω t )
donde sustituí d d t pag ^ H ( t ) por su ecuación de movimiento encontrada anteriormente. También puede obtener una ecuación como esta para pag ^ H ( t ) ( t ) , que les dejo..

Ahora, estas ecuaciones se pueden resolver utilizando su método favorito, siempre que les proporcione las condiciones de contorno adecuadas. Tenga en cuenta que solo necesita una condición de contorno para X y pag (cual es X H ( 0 ) = X ^ S y pag H ( 0 ) = pag ^ S Le dará alguna expresión para X ^ H ( t ) y pag ^ H ( t ) en términos de X ^ S y pag ^ S . El hamiltoniano de Heisenberg se determina fácilmente sustituyendo X ^ H ( t ) y pag ^ H ( t ) .

Con esa expresión en la mano deberías poder encontrar H ( t ) (tenga en cuenta que debe considerar los casos en los que t < 0 y t > T por separado).

EDITAR: La prueba con respecto a mi declaración a continuación: en la imagen de Schroedinger, el hamiltoniano es

H ^ S = pag ^ S 2 2 metro + 1 2 metro ω 0 2 X ^ S 2 X ^ S F 0 pecado ( Ω t )

y la imagen de Heisenberg está dada por H H = tu ( t ) H S tu ( t ) . Entonces, si toma, por ejemplo, el primer término, obtiene:

tu ( t ) pag ^ S 2 2 metro tu ( t ) = 1 2 metro ( tu ( t ) pag ^ S tu ( t ) ) ( tu ( t ) pag ^ S tu ( t ) ) = 1 2 metro pag ^ H ( t ) 2

Puedes hacer lo mismo con los otros términos. Al final, simplemente reemplazas efectivamente pag S pag H ( t ) y lo mismo para X .

Creo que en la primera ecuación tienes un error. En la ecuación de Heisenberg está el hamiltoniano en la imagen de Heisenberg. De hecho, el hamiltoniano depende explícitamente del tiempo, por lo que H S H H . Y no conocemos el hamiltoniano. H H , por lo que no podemos usar la ecuación de Heisenberg.
Porque H es cuadrático, su imagen de Heisenberg se obtiene simplemente reemplazando pag pag H ( t ) y X X H ( t ) . Las relaciones de conmutación entre X y pag no cambies por igual tiempo.
Gracias por comentar, pero esta afirmación no me queda clara. ¿Podría explicarla en detalle? Es decir, no entiendo la segunda igualdad en tu publicación.
Entonces, ¿qué parte es exactamente lo que no entiendes?
@Olaf Cuestionaría el procedimiento de reemplazo. La solución a la ecuación de Heisenberg de X ^ H ( t ) es la suma de la solución homogénea y no homogénea. la plaza de X ^ H ( t ) , es decir, X ^ H ( t ) 2 luego contiene un término cuadrático en la parte no homogénea

Intenté calcular el operador de evolución en su caso hace unos años. Quería mostrar que tal hamiltoniano nunca tiene un estado cuántico en ningún momento. La solución que encontré es que dicho modelo solo tiene un estado coherente en un tiempo infinito. Todavía no sé acerca de los tiempos intermedios, incluso si la solución a continuación le permite calcular lo que quiera en cualquier momento. Se puede encontrar un método de perturbación en Landau (sobre mecánica cuántica). Además, el resultado a continuación se puede encontrar en el libro de Gardiner y Zoller sobre ruido cuántico si no recuerdo mal. Finalmente, el estudio más antiguo que encontré sobre esta cuestión es un análisis de Carruthers y Nieto (1965); utilizan la función de Green para mostrar que, en un tiempo infinito, un oscilador armónico cuántico se describe mediante un estado coherente.

He usado el llamado método Lie Algebraic (vea Wei y Norman 1963 para una buena revisión; creo que mi hoja de trabajo es independiente) porque es un método general que le permite calcular el operador de evolución con bastante facilidad para Hamiltoniano simple. Este método no es tan conocido.

Antes de continuar con la derivación, permítame dar las referencias (si falta alguna, hágamelo saber) que usé

  • Carruthers, P. y Nieto, M. (1965). Estados coherentes y el oscilador cuántico forzado. Revista estadounidense de física, 33(7), 537. doi:10.1119/1.1971895
  • Wei, J. y Norman, E. (1963). Solución algebraica de mentira de ecuaciones diferenciales lineales. Revista de Física Matemática, 4(4), 575. doi:10.1063/1.1703993
  • Lo, CF (1991). Generación de estados numéricos desplazados y comprimidos por un oscilador dependiente del tiempo impulsado general. Revisión física A, 43(1), 404–409. doi:10.1103/PhysRevA.43.404

Ahora mi archivo LaTeX (no intenté editarlo para la pantalla actual, por lo que podría ser el caso de que algunos comentarios sean totalmente estúpidos):

Entonces, supongamos que tratamos el siguiente hamiltoniano

H = ω a ^ + a ^ + F ( t ) a ^ + + F ( t ) a ^
para cualquier función dada F y F dependiendo del tiempo y con a ^ y a ^ + la aniquilación y creación bosónica en frecuencia ω operador de modo La evolución temporal unitaria de este hamiltoniano se puede escribir, según el método de resolución algebraica de Lie H ( t F ) = tu ^ + ( t F , t i ) . H ( t i ) . tu ^ ( t F , t i ) con el propagador (ver \cite{Wei1963} para el primer tratamiento matemático, y \cite{Lo1993} para el ejemplo del oscilador cuántico):
tu ^ ( t F , t i ) = mi i a ^ + a ^ ω ( t F t i ) mi a ^ + α ( t F , t i ) mi a ^ α ( t F , t i ) mi | α ( t F , t i ) | 2 / 2 mi γ ( t F , t i )
con
α ( t F , t i ) = t i t F F ( t ) mi i ω t d t i  y  γ ( t F , t i ) = i t i t F Soy { α ( τ ) τ α ( τ ) } d τ
actuando como dos parámetros para la transformación unitaria.

Ahora, nótese el caso particular cuando ambos t i y t F tienden al infinito, γ ( t F , t i ) promedios a cero y:

tu ^ ( + , ) = mi a ^ + α mi a ^ α mi | α | 2 / 2 = mi a ^ + α a ^ α = D ^ ( α )
dónde α = F ( ω ) / i es el ω componente de la transformada de Fourier de F ( t ) , dividido por el tamaño de la caja cuántica . La evolución unitaria de un sistema cuántico impulsado por una fuerza clásica corresponde al operador de desplazamiento de estados coherentes, como se encuentra en \cite{Carruthers1965}. Luego, durante un tiempo de interacción suficientemente largo, el oscilador armónico cuántico monomodo se transforma en el oscilador cuasiclásico.

Prueba usando el método algebraico de Lie

Primero, reescribe el hamiltoniano. H como

H ( t ) = a 0 a ^ + a ^ + a + ( t ) a ^ + + a ( t ) a ^
dónde a 0 no depende del tiempo. Luego, observe que los operadores 1 ^ , a ^ + a ^ , a ^ + y a ^ forman un álgebra cerrada en el sentido de Lie, \emph{ie} con respecto a sus conmutadores:
[ a ^ + a ^ , a ^ + ] = a ^ +   ;   [ a ^ + a ^ , a ^ ] = a ^   ;   [ a ^ , a ^ + ] = 1 ^
Luego, observe que la ecuación de Schr\"{o}dinger
H ( t ) | Ψ ( t ) = i t | Ψ ( t ) | Ψ ( t ) = tu ^ ( t ) | Ψ ( 0 )
aceptar el operador unitario tu ^ ( t ) como la solución dependiente del tiempo con tu ^ ( 0 ) = 1 ^ . Tenemos así la siguiente ecuación:
H ( t ) tu ^ ( t ) = i t tu ^ ( t ) H ( t ) = i tu t tu + ( t )
correspondiente a la de Schr\"{o}dinger. La segunda expresión se obtiene a partir de la primera multiplicando por tu + A la derecha. Ahora, debido a que todos los operadores que aparecen en H ( t ) formar un álgebra de Lie, la forma general de tu ^ ( t ) es :
tu ^ ( t ) = mi α 0 ( t ) a ^ + a ^ mi α + ( t ) a ^ + mi α ( t ) a ^ mi α ( t ) 1 ^
donde las funciones α ( t ) , α 0 ( t ) , α + ( t ) y α ( t ) hay que encontrar. Ten cuidado, estos α no tiene nada que ver con el α definido en el texto principal. Para ello, calculemos primero
tu ^ t tu ^ + = [ α 0 t a ^ + a ^ + α t ] + α 0 t mi α 0 ( t ) a ^ + a ^ a ^ + mi α 0 ( t ) a ^ + a ^ + α t mi α 0 ( t ) a ^ + a ^ mi α + ( t ) a ^ + a ^ mi α + ( t ) a ^ + mi α 0 ( t ) a ^ + a ^ = [ a ^ + a ^ α 0 t + α t + a ^ + α + t mi α 0 ( t ) α + ( t ) α t + a ^ α t mi α 0 ( t ) ]
con la ayuda de las siguientes relaciones:
mi λ a ^ + a ^ a ^ = a ^ mi λ a ^ + a ^ mi λ   ;   mi λ a ^ + a ^ a ^ + = a ^ + mi λ a ^ + a ^ mi λ  y  mi λ a ^ + a ^ = ( a ^ λ ) mi λ a ^ +
más la definición de operador unitario tu tu + = 1 ^ . Podemos usar de manera equivalente el conocido lema de Hadamard, que establece que
mi S ^ A ^ mi S ^ = A ^ + [ S ^ , A ^ ] + 1 2 ! [ S ^ , [ S ^ , A ^ ] ] + 1 3 ! [ S ^ , [ S ^ , [ S ^ , A ^ ] ] ] +
y las relaciones de conmutación. Por lo general, para grupos simples, este método es más rápido porque la serie solo tiene componentes nulos después de algunas iteraciones. inyectando lo anterior ( tu ^ / t ) tu + en la ecuación de Schr\"{o}dinger H ( t ) = i ( tu ^ / t ) tu + , tenemos :
{ i α ˙ 0 = a 0 α ˙ α + ( t ) α ˙ = 0 i α ˙ mi α 0 ( t ) = a ( t ) i α ˙ + mi α 0 ( t ) = a + ( t ) { α 0 = a 0 ( t t i ) / i α ( t ) = t i t a ( τ ) mi a 0 τ d τ i α + ( t ) = t i t a + ( τ ) mi a 0 τ d τ i
dónde α ˙ 0 = α 0 / t , α ˙ = ... e igualando cada operador consigo mismo en cada lado de la ecuación de Schr\"{o}dinger. Suponemos que t i es el tiempo inicial, donde α 0 ( t = t i ) = 0 , α ( t i ) = 0 , ... porque el operador de evolución unitaria debe verificar tu ^ ( t = 0 ) = tu ^ ( t , t ) = 1 ^ , por única vez tu ^ ( t ) o las dos veces tu ^ ( t i , t F ) operador de evolución unitaria. Ahora encontremos el factor de fase α ( τ ) . En virtud de una integración por partes, tenemos:
α ( t ) = t i t α + ( τ ) α ˙ ( τ ) d τ = [ α + ( t ) α ( t ) ] t i t t i t α ˙ + ( τ ) α ( τ ) d τ = t i t α + ( t ) α ˙ ( t ) α ˙ + ( t ) α ( t ) 2 d t + 1 2 [ α + ( t ) α ( t ) ] t i t
para una forma más conveniente. Si esta última forma puede ser más compleja que las anteriores, parece más fácil de evaluar en nuestro caso, porque α ( t ) = α + ( t ) (esto es cierto siempre que el hamiltoniano elegido sea hermítico), de modo que:
α ( t ) = i t i t Soy { α + ( τ ) α ˙ + ( τ ) } d τ 1 2 [ | α + ( τ ) | 2 ] t i t
que es la forma utilizada en el texto principal. Ahora porque t i es el tiempo inicial, α + ( t i ) = 0 , y por lo tanto [ | α + ( τ ) | 2 ] t  i t = | α + ( t ) | 2 . Observe que la expresión anterior es solo una de las varias posibilidades para expresar α ( t ) . tenemos en general
α ( t ) = α + d α + = α d α = α d α + | α | 2 = α + d α + | α + | 2
para este término de fase.

Gracias por una respuesta tan maravillosa, pero la respuesta de Olaf estaba más cerca de lo que necesitaba.
@Caloric No hay problema. La evolución unitaria completa puede ser de ayuda para alguien más. Gracias por tu interesante pregunta.