Эволюция во времени волновой функции в КМ

Недавно я изучал квантовую динамику с помощью современной квантовой механики Сакураи, но меня смущает, почему оператор эволюции времени записывается как

U ( т , т 0 ) "=" опыт [ я ЧАС ( т т 0 ) ]
для независимого от времени гамильтониана, а
U ( т , т 0 ) "=" опыт [ ( я ) т 0 т г т ЧАС ( т ) ]
для зависящих от времени (коммутирующий случай). Я думаю, что, поскольку мы можем разложить волновую функцию по Тейлору на т "=" т 0

ψ ( Икс , т ) "=" н "=" 0 1 н ! ( ( т ) н ψ ( Икс , т ) | т "=" т 0 ) ( т т 0 ) н "=" н "=" 0 1 н ! ( ( я ЧАС ) н ψ ( Икс , т ) ) ( т т 0 ) н "=" е я ЧАС ( т т 0 ) ψ ( Икс , т )

нам нужно только знать значение ЧАС в т "=" т 0 . Если это правда, то U ( т , т 0 ) "=" опыт [ я ЧАС ( т т 0 ) ] следует ли держать ЧАС зависит от времени или нет. Что я здесь сделал не так?

Откуда вы взяли, что н й производная ( я ЧАС / ) н ?
С ЧАС ψ "=" я т ψ , у нас есть ЧАС "=" я т , затем ( я ЧАС ) н "=" ( т ) н . Поправьте меня, если я ошибаюсь, спасибо.
@Rick Pan, уравнение для производной т ψ "=" 1 / ( я ) ЧАС ψ держится только для ψ . Это не обязательно выполняется для его производных.
@JánLalinský Спасибо за комментарий. Если предположить, что собственные состояния ЧАС образует полный базис, то мы должны быть в состоянии расширить его производные с полным базисом. Если это так, то это соотношение должно сохраняться и для его производных, верно?
@RickPan, нет, отношение не выполняется по причине, указанной yuggib - коэффициенты расширения также являются функциями времени. Канонический оператор импульса п Икс всегда выражается как я Икс , независимо от функции ψ может быть, но гамильтониан не всегда дается выражением я т ; это верно только для специальных функций - решения зависящего от времени уравнения Шредингера.

Ответы (1)

Первое замечание заключается в том, что на строгом уровне вам не разрешено делать все эти манипуляции свободно. Однако давайте на мгновение предположим, что вы бы это сделали, потому что все в высшей степени регулярно и благопристойно.

Исходная (опущенная) гипотеза состоит в том, что

я т ψ ( т ) "=" ЧАС ( т ) ψ ( т ) .
Если мы итерируем вывод, мы не получим просто ЧАС ( т ) 2 ψ ( т ) , а скорее (это простое применение правила произведения, которое действительно работает и в этом случае)
( я т ) 2 ψ ( т ) "=" я ЧАС ˙ ( т ) ψ ( т ) + ЧАС ( т ) 2 ψ ( т ) .
Как мы можем легко видеть, именно здесь аргумент OP идет не так, поскольку производная от ЧАС ( т ) вообще говоря, не обращается в нуль для операторов, зависящих от времени.

Однако я хочу еще раз заметить, что это неправильный способ работы с такими уравнениями, зависящими от времени. Правильный способ, однако, очень сложен и требует тщательного функционального анализа. Если вам интересно, наиболее распространенный метод принадлежит Т. Като, и его можно найти, например, в этой книге .

Спасибо за ответ, но мне любопытно, если мы расширим т ψ с собственными состояниями ЧАС (что обычно считается полным базисом), не получаем ли мы ЧАС 2 ψ "=" ( я т ) 2 ψ ?
Вы можете использовать только собственные состояния для фиксированного т , но они не были бы, вообще говоря, собственными состояниями для другого т т ЧАС ( т ) ЧАС ( т ) ), а также не собственные состояния для ЧАС ˙ ( т ) . На самом деле, это не очень хороший способ думать об этом... ;-)
Спасибо за ответ. Верно, что собственные состояния могут изменяться относительно т , но расширяю серию по фиксированной т , как это не применимо?
Позволять ψ н , т быть собственным вектором ЧАС ( т ) ; однако в расширении у вас есть ЧАС ˙ ( т ) ψ н , т , и ψ н , т не является для него собственным вектором.
Что, если мы рассмотрим ЧАС 2 ψ "=" ЧАС ( я т ψ ) "=" я т ( я т ψ ) , почему это неправильно?
Почему в мире ЧАС быть равным производной по времени? Производная по времени — это просто сокращенное выражение для т ψ ( т ) "=" лим час 0 час 1 ( ψ ( т + час ) ψ ( т ) ) (при условии, что лимит существует). Семья ( ЧАС ( т ) ) т е р является семейством самосопряженных операторов. В вашем первом равенстве вы просто используете свойство, которое мы предполагаем ψ ( т ) быть решением дифференциального уравнения, а именно я т ψ "=" ЧАС ψ . Это никоим образом не означает, что я т ψ также будет решением того же уравнения.
Позволять я т ψ "=" с к ψ к где ψ к являются собственными векторами ЧАС (по полноте собственных состояний). Затем ЧАС ( я т ψ ) "=" с к ЧАС ψ к "=" с к ( я т ) ψ к "=" я т ( я т ψ ) . Я сделал что-то не так?
@RickPan Да, как правило, зависит от времени ЧАС ( т ) , коэффициенты с к будет зависеть как от времени, так и от функций ψ к ...поверьте, это неверно/неправильно ;-)