Representaciones equivalentes de estados estacionarios en Mecánica Cuántica

La ecuación de Schrödinger dependiente del tiempo se da como

i d d t | ψ ( t ) = H ^ | ψ ( t ) .
Para encontrar cómo evolucionan los estados en el tiempo, queremos encontrar el operador lineal tu ^ ( t , t 0 ) tal que
| ψ ( t ) = tu ^ ( t , t 0 ) | ψ ( t 0 ) .
Sustituyendo en la ecuación de Schrödinger se obtiene
tu ^ ( t , t 0 ) t = i H ^ tu ^ ( t , t 0 )
esto lleva a
tu ^ ( t , t 0 ) = mi i ( t t 0 ) H ^
por eso
| ψ ( t ) = mi i ( t t 0 ) H ^ | ψ ( t 0 )
dónde mi a A ^ = a norte norte ! A ^ norte = I ^ + a A ^ + a 2 2 ! A ^ 2 + a 3 3 ! A ^ 3 + . . .

Pregunta:
Dada la expansión de la serie del operador de mi a A ^ anterior, ¿cómo se sigue que si consideramos un hamiltoniano independiente del tiempo? H 0 ^ donde soluciones- los valores propios mi norte y estados propios | ψ norte (estados estacionarios)- se expresan de manera equivalente como

mi i t H 0 ^ | ψ norte = mi i mi norte t | ψ norte ?

Gracias.

Presuntamente falta un t en el primer termino...
No estoy seguro de seguir. Parece que ya ha hecho el trabajo: si toma la serie y asume que el estado es un estado propio de A ^ con valor propio λ , entonces A ^ λ en todas partes en serie, que entonces es solo la serie para la función exponencial.

Respuestas (1)

Si A es un operador arbitrario, con base propia

(1) A | a = a | a
entonces el operador F ( A ) se define a través de
(2) F ( A ) | a = F ( a ) | a

Si la función F es analítico,

(3) F ( X ) = norte F ( norte ) ( 0 ) norte ! X norte
entonces también puedes definir
(4) F ( A ) norte F ( norte ) ( 0 ) norte ! A norte
y, siempre que la suma converja, concuerda con ( 2 ) , como se sigue de A norte | a = a norte | a (aquí hay que suponer que la serie de Taylor de F converge para todos X en el espectro de A ).


En su caso particular, A = H , F = Exp , y | a = | ψ norte , Lo que significa que

(5) mi i H t | ψ norte = mi i mi norte t | ψ norte
se cumple por definición (cf. ( 2 ) ).

Gracias por tu respuesta. ¿Podría explicar (o hacer referencia a algún resultado) por qué?
F ( A ) = norte F ( norte ) ( 0 ) norte ! A norte F ( A ) | a = F ( a ) | a
si asumimos que F converge para todos los valores propios de A ^ . ¿Se sigue de un resultado en cálculo funcional?
@JohnDoe bueno, si tomas F ( A ) = norte F ( norte ) ( 0 ) norte ! A norte y actuar en ambos lados con | a , usted obtiene F ( A ) | a = norte F ( norte ) ( 0 ) norte ! A norte | a . Si utiliza A norte | a = a norte | a , esto se convierte F ( A ) | a = norte F ( norte ) ( 0 ) norte ! a norte | a . Finalmente, si se factoriza | a en la derecha, obtienes F ( A ) | a = [ norte F ( norte ) ( 0 ) norte ! a norte ] | a = F ( a ) | a , según sea necesario.
Bien, ya veo, entonces el único cálculo funcional real es realmente definir F ( A ) de la definición de F ( X ) ?
@JohnDoe sí, correcto.