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(tF) =tu^+(tF,ti) . H(ti) .tu^(tF,ti)
con el propagador (ver \cite{Wei1963} para el primer tratamiento matemático, y \cite{Lo1993} para el ejemplo del oscilador cuántico):
tu^(tF,ti) =mi− yoa^+a^ω (tF−ti)mia^+α (tF,ti)mi−a^α∗(tF,ti)mi−| α (tF,ti) |2/ 2miγ(tF,ti)
con
α (tF,ti) =∫tFtiF( t )miyo t_dtyo ℏ y γ(tF,ti) = − yo∫tFtisoy { α ( τ)∂∂τα∗( τ) } reτ
actuando como dos parámetros para la transformación unitaria.
Ahora, nótese el caso particular cuando ambosti
ytF
tienden al infinito,γ(tF,ti)
promedios a cero y:
tu^( + ∞ , − ∞ ) =mia^+αmi−a^α∗mi−| α |2/ 2=mia^+α- _a^α∗=D^( a )
dónde
α = f( ω ) / yo ℏ
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 ) =a0a^+a^+a+( t )a^++a−( t )a^
dónde
a0
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 ) ⟩ = yo ℏ∂∂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 ) = yo ℏ∂∂ttu^( t ) ⇒ H( t ) = yo ℏ∂tu∂ttu+( 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^∂ttu^+==[∂α0∂ta^+a^+∂α∂t] +∂α0∂tmiα0( t )a^+a^a^+mi−α0( t )a^+a^+∂α−∂tmiα0( t )a^+a^miα+( t )a^+a^mi−α+( t )a^+mi−α0( t )a^+a^[a^+a^∂α0∂t+∂α∂t+a^+∂α+∂tmiα0( t )−α+( t )∂α−∂t+a^∂α−∂tmi−α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
tutu+=1^
. Podemos usar de manera equivalente el conocido lema de Hadamard, que establece que
miS^A^mi−S^=A^+ [S^,A^] +12 ![S^, [S^,A^] ] +13 ![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 ) = yo ℏ( ∂tu^/ ∂t )tu+
, tenemos :
⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪yo ℏα˙0=a0α˙−α+( t )α˙−= 0yo ℏα˙−mi−α0( t )=a−( t )yo ℏα˙+miα0( t )=a+( t )⇔⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪α0=a0( t -ti) / yo ℏα−( t ) =∫ttia−( τ)mia0τdτyo ℏα+( t ) =∫ttia+( τ)mi−a0τdτyo ℏ
dónde
α˙0= ∂α0/ ∂t
,
α˙=
... e igualando cada operador consigo mismo en cada lado de la ecuación de Schr\"{o}dinger. Suponemos que
ti
es el tiempo inicial, donde
α0( t =ti) = 0
,
α (ti) = 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^(ti,tF)
operador de evolución unitaria. Ahora encontremos el factor de fase
α ( τ)
. En virtud de una integración por partes, tenemos:
α ( t )==∫ttiα+( τ)α˙−( τ) reτ=[α+( t )α−( t ) ]tti−∫ttiα˙+( τ)α−( τ) reτ∫ttiα+( t )α˙−( t ) -α˙+( t )α−( t )2dt +12[α+( t )α−( t ) ]tti
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 ) = − yo∫ttisoy {α+( τ)α˙∗+( τ) } reτ−12[|α+( τ) |2]tti
que es la forma utilizada en el texto principal. Ahora porque
ti
es el tiempo inicial,
α+(ti) = 0
, y por lo tanto
[|α+( τ) |2]tt i=
|α+( 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.
Motl de Luboš