Трехмерные решения для одномерного уравнения Шредингера?

Общее уравнение Шредингера в 3d имеет вид

я ψ т ( р , т ) "=" 2 2 м 2 ψ ( р , т ) + В ( р ) ψ ( р , т ) .

Теперь подумайте, что

В ( Икс , у , г ) "=" В ( Икс )
для некоторой одномерной функции В . Тогда можем ли мы показать, что в этом одномерном потенциале приведенное выше уравнение сводится к часто цитируемому одномерному уравнению Шредингера, т. е . существует двумерная функция ф так что в приведенном выше уравнении
ψ ( Икс , у , г , т ) "=" ф ( Икс , т )   ?

Чтобы показать это, нам просто нужно показать, что ψ / у и ψ / г равны нулю. Но положить В ( Икс , у , г ) "=" В ( Икс ) , все, что я вижу, это то, что ψ / у и ψ / г также являются решениями приведенного выше уравнения, что в общем случае не означает, что они равны нулю.

Вопрос: Означает ли это, что даже для одномерных потенциалов могут быть решения, не являющиеся одномерными?

Я не уверен, почему вы думаете, что это должно иметь место. С 1 е я к 1 р я Е к 1 т + С 2 е я к 2 р я Е к 2 т очевидно, является решением уравнения Шредингера для свободной частицы и никоим образом не является волновой функцией, зависящей только от одной пространственной координаты.

Ответы (3)

Общий подход заключается в том, что для уравнений Шредингера потенциал сепарабельен (в том смысле, что В ( Икс , у , г ) "=" В 1 ( Икс ) + В 2 ( у ) + В 3 ( г ) ), то существует базис гамильтоновых собственных функций, которые сепарабельны (в том смысле, что ψ ( Икс , у , г ) "=" ф ( Икс ) х ( у ) ξ ( г ) ). Однако, вообще говоря, существуют и несепарабельные собственные функции гамильтониана.

Что касается нестационарного уравнения Шрёдингера, то детали зависят не только от потенциала, но и от начальных условий. Сепарабельных решений много, и если начальное условие сепарабельно, то и решение останется сепарабельным. И наоборот, если вы начнете с неразделимого начального условия, решение останется неразделимым.


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

(1) я т ψ ( Икс , у , г , т ) "=" [ 2 2 м 2 + В 1 ( Икс ) + В 2 ( у ) + В 3 ( г ) ] ψ ( Икс , у , г , т ) .
Если вам нужно общее решение этого уравнения, вам нужно указать начальное условие. За неимением такового, исследуем некоторые частные решения, в частности, исследуем сепарабельные, т. е. решения вида
(2) ψ ( Икс , у , г , т ) "=" ф ( Икс , т ) х ( у , т ) ξ ( г , т ) .
Если вы подключите это к ( 1 ) , легко видеть, что достаточным условием для ( 1 ) выполняется, если выполняется каждое из отдельных одномерных уравнений Шрёдингера:
я т ф ( Икс , т ) "=" [ 2 2 м 2 Икс 2 + В 1 ( Икс ) ] ф ( Икс , т ) (3) я т х ( у , т ) "=" [ 2 2 м 2 у 2 + В 2 ( у ) ] х ( у , т ) я т ξ ( г , т ) "=" [ 2 2 м 2 г 2 + В 3 ( г ) ] ξ ( г , т ) .
(Это тоже оказывается необходимым условием . Полное уравнение ( 1 ) , при делении на ψ ( Икс , у , г , т ) , сводится к сумме трех слагаемых, каждое из которых зависит исключительно от Икс , у и г соответственно при фиксированном т . Это возможно только в том случае, если все три члена равномерно равны нулю.)

Как это связано с вашим вопросом? В вашем примере В 2 ( у ) "=" 0 "=" В 3 ( г ) , так что можно найти основу решений TDSE вида

х к ( у , т ) "=" е я ( к у ю к т ) , ξ к ( г , т ) "=" е я ( к г ю к т ) ,
с ю к "=" 2 м к 2 . Конкретный пример, который вы нашли, использует особый случай х к ( у , т ) и ξ к ( г , т ) с к "=" 0 . Это маскирует то, что происходит на самом деле: ваше решение выглядит как одномерная задача, потому что на самом деле это три одномерных решения в тензорном произведении друг друга, причем два из них тривиальны.

Итак, на этом фоне, чтобы ответить на ваш вопрос:

Означает ли это, что даже для одномерных потенциалов могут быть решения, отличные от одномерных?

да, абсолютно . Любое решение проблемы у и г Здесь будут работать уравнения Шредингера.

Однако в некотором смысле эти решения все еще являются «фактически одномерными» в том смысле, что ни одно из отдельных одномерных уравнений Шредингера не взаимодействует друг с другом, а волновая функция остается разделимой. И здесь возникает вопрос: существуют ли неразделимые решения ?

Ответ там, опять же, таков: да, абсолютно . Из-за линейности уравнения Шредингера для любых двух разделимых решений TDSE ψ 1 ( Икс , у , г , т ) "=" ф 1 ( Икс , т ) х 1 ( у , т ) ξ 1 ( г , т ) и ψ 2 ( Икс , у , г , т ) "=" ф 2 ( Икс , т ) х 2 ( у , т ) ξ 2 ( г , т ) , их линейная комбинация

ψ ( Икс , у , г , т ) "=" ψ 1 ( Икс , у , г , т ) + ψ 2 ( Икс , у , г , т )
также является решением TDSE. И, оказывается, если отдельные компоненты ψ 1 ( Икс , у , г , т ) и ψ 2 ( Икс , у , г , т ) достаточно различны (скажем, в качестве одного из возможных достаточных условий х 1 ( у , т ) и х 2 ( у , т ) ортогональны), то можно доказать, что линейная комбинация ψ ( Икс , у , г , т ) нельзя выписать как произведение отдельных 1D-решений.

Вы упомянули, что ( 3 ) также является необходимым условием ( 2 ) . Но все, что я могу заключить, это то, что
я ф т ( Икс , т ) [ 2 2 м 2 ф Икс 2 ( Икс , т ) + В 1 ( Икс ) ] "=" с 1 ( т ) , я х т ( Икс , т ) [ 2 2 м 2 х Икс 2 ( Икс , т ) + В 2 ( Икс ) ] "=" с 2 ( т ) , я ξ т ( Икс , т ) [ 2 2 м 2 ξ Икс 2 ( Икс , т ) + В 3 ( Икс ) ] "=" с 3 ( т ) ,
где
с 1 ( т ) + с 2 ( т ) + с 3 ( т ) "=" 0.
Это почти правильно вы упустили факторы ф ( Икс , т ) (и т. д.) на правой стороне этой системы (и после В я ; также ). Константы интегрирования с я ( т ) справа можно устранить, заменив зависимые переменные на ф ~ ( Икс , т ) "=" е я 0 т с 1 ( т ) г т ф ( Икс , т ) . Если вам требуется ф ( Икс , т ) оставаться в норме, то с я ( т ) должны быть реальными, а факторы е я 0 т с я ( т ) г т просто отдельные фазы.
Более того, поскольку я с я ( т ) "=" 0 , их произведение должно оставаться постоянным, так что оно в принципе не имеет значения (просто отражает естественную неоднозначность в фазе относительно того, как разделить ψ ( Икс , у , г , т ) в произведение волновых функций).
Во-первых, ты гений! Действительно в восторге от вашей математически точной физики (черта, которую я редко встречаю!). Во-вторых, мне стыдно за свою ошибку в комментарии; Хотел бы я исправить это. В-третьих, я думаю, что устранить с я у тебя должно быть 1 / слишком в экспоненте для предложенного вами ф ~ .
@Atom Действительно, отсутствует фактор 1 / , а знаки проходят двойную проверку. Но это детали, которые вам предстоит уточнить ;-).
Я не понимаю, почему продукт с я должно быть постоянным. Можете ли вы помочь увидеть это?
Это не продукт с я ( т ) должно быть постоянным - это произведение соответствующих фаз,
ты ( т ) "=" е я 0 т с 1 ( т ) г т е я 0 т с 2 ( т ) г т е я 0 т с 3 ( т ) г т ,
так как его производная пропорциональна ( с 1 ( т ) + с 2 ( т ) + с 3 ( т ) ) ты ( т ) .
Благодаря тонну! Понятно! :)

Ответ - нет. Вы смешиваете домены своих функций, поэтому и получаете такой результат. Существует очень большая разница между трехмерным потенциалом, который зависит только от Икс и собственный одномерный потенциал. Напомним, что функция определяется указанием доменов, а затем правилом. Правило может быть одинаковым, но домены разные. Например, если у нас есть ф ( Икс ) "=" Икс и г ( Икс , у , г ) "=" Икс , это очень разные функции; одна функция из р к р , а другая функция из р 3 к р ( ф : р р , г : р 3 р ).

Допустим, у нас есть два потенциала, В 1 и В 2 . Они дают одинаковые результаты для всех Икс , но В 1 является функцией одной переменной и В 2 функция трех. Для одномерного потенциала имеем

В 1 : р р я т Икс | ф ( т ) "=" 2 2 м Икс 2 Икс | ф ( т ) + В 1 ( Икс ) Икс | ф ( т )
Обратите внимание, что это в одном измерении: Лапласиан становится Икс 2 и | ф ( т ) является функцией Икс один. Теперь давайте перейдем к трем измерениям:
В 2 : р 3 р я т Икс , у , г | ψ ( т ) "=" 2 2 м 2 Икс , у , г | ψ ( т ) + В 2 ( Икс ) Икс , у , г | ψ ( т )
Обратите внимание, что В ( Икс ) остается точно таким же по форме, но теперь в контексте трехмерного пространства; мы расширили домен. Таким образом, теперь решения имеют вид ψ ( Икс , у , г , т ) , но решения в первом случае имеют вид ф ( Икс , т ) . Опять же, это не то же самое, и В 1 и В 2 не одинаковы; в то время как они дают тот же ответ для любого Икс , их домены разные и, следовательно, они разные функции. Так что нет, у вас не может быть трехмерных решений одномерной задачи.

Чтобы показать это, нам просто нужно показать, что ψ / у и ψ / г равны нулю.

Нет, это неправильно. Они не должны быть равны нулю.

Вместо этого вы можете решить уравнение Шредингера

я ψ т ( Икс , у , г , т ) "=" 2 2 м 2 ψ ( Икс , у , г , т ) + В ( Икс ) ψ ( Икс , у , г , т ) .
путем разделения переменных с подходом
ψ ( Икс , у , г , т ) "=" А ( Икс ) Б ( у ) С ( г ) Д ( т ) .
где А , Б , С и Д являются неизвестными функциями только одной переменной.
Тогда вы легко найдете решения для у -, г - и т -зависимые части
Б ( у ) "=" Б 0 е я к у у С ( г ) "=" С 0 е я к г г Д ( т ) "=" Д 0 е я ю т
где к Икс , к у и ю — произвольные вещественные константы.
И у вас остается обыкновенное дифференциальное уравнение для Икс -зависимая часть:
( ю 2 ( к у 2 + к г 2 ) 2 м ) А ( Икс ) "=" 2 2 м г 2 А ( Икс ) г Икс 2 + В ( Икс ) А ( Икс ) .

Спасибо! Один вопрос: вы ограничиваете к у , к г , ю быть реальным, так как вы хотите реальное дифференциальное уравнение в А ( Икс ) (при условии В является вещественной функцией), верно? Но зачем вам реальное дифференциальное уравнение в А ( Икс ) ?
@Atom Нет, это не причина. Константы ( к у , к г , ю ) должны быть реальными, иначе ψ ( Икс , у , г , т ) будет иметь тенденцию с одной стороны. И не надо настоящего А ( Икс ) .
О, как жаль, что я не мог этого видеть!