Эквивалентные представления стационарных состояний в квантовой механике

Зависящее от времени уравнение Шрёдингера имеет вид

я г г т | ψ ( т ) "=" ЧАС ^ | ψ ( т ) .
Чтобы выяснить, как состояния развиваются во времени, мы хотим найти линейный оператор U ^ ( т , т 0 ) такой, что
| ψ ( т ) "=" U ^ ( т , т 0 ) | ψ ( т 0 ) .
Подстановка в уравнение Шредингера дает
U ^ ( т , т 0 ) т "=" я ЧАС ^ U ^ ( т , т 0 )
это ведет к
U ^ ( т , т 0 ) "=" е я ( т т 0 ) ЧАС ^
следовательно
| ψ ( т ) "=" е я ( т т 0 ) ЧАС ^ | ψ ( т 0 )
где е а А ^ "=" а н н ! А ^ н "=" я ^ + а А ^ + а 2 2 ! А ^ 2 + а 3 3 ! А ^ 3 + . . .

Вопрос:
Учитывая разложение операторного ряда е а А ^ выше, откуда следует, что если мы рассматриваем не зависящий от времени гамильтониан ЧАС 0 ^ где решения - собственные значения Е н и собственные состояния | ψ н (стационарные состояния) - эквивалентно формулируются как

е я т ЧАС 0 ^ | ψ н "=" е я Е н т | ψ н ?

Спасибо.

Предположительно отсутствует т в первый срок...
я не уверен, что следую. Вы, кажется, уже сделали работу: если вы возьмете ряд и предположите, что состояние является собственным состоянием А ^ с собственным значением λ , затем А ^ λ везде в ряду, который тогда является просто рядом для экспоненциальной функции.

Ответы (1)

Если А — произвольный оператор с собственным базисом

(1) А | а "=" а | а
тогда оператор ф ( А ) определяется через
(2) ф ( А ) | а "=" ф ( а ) | а

Если функция ф аналитический,

(3) ф ( Икс ) "=" н ф ( н ) ( 0 ) н ! Икс н
тогда вы также можете определить
(4) ф ( А ) н ф ( н ) ( 0 ) н ! А н
и, если сумма сходится, она согласуется с ( 2 ) , как следует из А н | а "=" а н | а (здесь вы должны предположить, что ряд Тейлора ф сходится для всех Икс в спектре А ).


В вашем конкретном случае, А "=" ЧАС , ф "=" опыт , и | а "=" | ψ н , Который означает, что

(5) е я ЧАС т | ψ н "=" е я Е н т | ψ н
выполняется по определению (см. ( 2 ) ).

Спасибо за Ваш ответ. Не могли бы вы уточнить (или сослаться на какой-либо результат) причину, по которой
ф ( А ) "=" н ф ( н ) ( 0 ) н ! А н ф ( А ) | а "=" ф ( а ) | а
если мы предположим, что ф сходится для всех собственных значений А ^ . Следует ли это из результата функционального исчисления?
@JohnDoe хорошо, если ты возьмешь ф ( А ) "=" н ф ( н ) ( 0 ) н ! А н и действовать с обеих сторон с | а , Вы получаете ф ( А ) | а "=" н ф ( н ) ( 0 ) н ! А н | а . Если вы используете А н | а "=" а н | а , это становится ф ( А ) | а "=" н ф ( н ) ( 0 ) н ! а н | а . Наконец, если вычесть | а на правой, вы получаете ф ( А ) | а "=" [ н ф ( н ) ( 0 ) н ! а н ] | а "=" ф ( а ) | а , как требуется.
Хорошо, я понимаю, поэтому единственное реальное функциональное исчисление действительно заключается в определении ф ( А ) из определения ф ( Икс ) ?
@JohnDoe да, правильно.