Почему общее решение уравнения Шредингера является линейной комбинацией собственных функций?

Вот цитата из « Введения в квантовую механику » Дэвида Дж. Гриффитса:

  1. Общее решение представляет собой линейную комбинацию разделимых решений. Как мы скоро обнаружим, независимое от времени уравнение Шредингера (уравнение 2.5) дает бесконечный набор решений ( ψ 1 ( Икс ) , ψ 2 ( Икс ) , ψ 3 ( Икс ) ,...), каждый со своим значением константы разделения ( Е 1 , Е 2 , Е 3 ,...); таким образом, для каждой разрешенной энергии существует своя волновая функция :
    Ψ 1 ( Икс , у ) "=" ψ 1 ( Икс ) е я Е 1 т / , Ψ 2 ( Икс , у ) "=" ψ 2 ( Икс ) е я Е 2 т / , .
    Теперь (как вы можете легко убедиться сами) (зависящее от времени ) уравнение Шредингера (уравнение 2.1) обладает тем свойством, что любая линейная комбинация решений сама по себе является решением. Как только мы нашли сепарабельные решения, мы можем немедленно построить гораздо более общее решение в форме
    (2.15) Ψ ( Икс , т ) "=" н "=" 1 с н ψ н ( Икс ) е я Е н т /

Я пытаюсь понять это таким образом.

... не зависящее от времени уравнение Шредингера ЧАС ^ ψ "=" Е ψ

Уравнение на собственные значения А Икс "=" λ Икс ,

дает бесконечный набор решений ( ψ 1 ( Икс ) , ψ 2 ( Икс ) , ψ 3 ( Икс ) , )

имеет собственные векторы Икс 1 , Икс 2 , Икс 3 ,

каждый со своим значением константы разделения ( Е 1 , Е 2 , Е 3 , );

каждый с соответствующим собственным значением λ 1 , λ 2 , λ 3 ,

таким образом, существует другая волновая функция для разрешенной энергии:

Ψ 1 ( Икс , т ) "=" ψ 1 ( Икс ) е я Е 1 т / , Ψ 2 ( Икс , т ) "=" ψ 2 ( Икс ) е я Е 2 т / ,

иметь уравнения как

А Икс 1 "=" λ 1 Икс 1 , А Икс 2 "=" λ 2 Икс 2 ,

Как только мы нашли сепарабельные решения, мы можем немедленно построить гораздо более общее решение в форме

Ψ ( Икс , т ) "=" н "=" 1 с н ψ н ( Икс ) е Е н т /

(Забывая о любой другой зависимости от переменных) Мы можем построить более общее решение вида

Икс "=" н с н Икс н

Это последнее уравнение не имеет для меня никакого смысла. В линейной алгебре нет ничего, что говорило бы о том, что это последнее уравнение логически предшествует предыдущим уравнениям. Пытаясь понять из линейной алгебры, что означает последнее уравнение? Почему общее решение уравнения Шредингера является линейной комбинацией собственных функций?

Чтобы понять это, вам потребуются некоторые знания уравнений в частных производных и функционального анализа (в частности, спектральной теоремы Гильберта). Линейной алгебры в общем-то недостаточно.
Связано: physics.stackexchange.com/q/68822/2451 и ссылки в нем.

Ответы (2)

Вы начинаете не с той точки. Аргумент вытекает из линейности уравнения.
Предполагать Ψ к ( Икс , т ) является решением зависящей от времени задачи Schr о ¨ уравнение Динджера:

я т Ψ к ( Икс , т ) "=" 2 2 м 2 Ψ к ( Икс , т ) Икс 2 + U ( Икс ) Ψ к ( Икс , т ) .
Затем:
Φ ( Икс , т ) "=" а 1 Ψ 1 ( Икс , т ) + а 2 Ψ 2 ( Икс , т )
также является решением, поскольку
я т Φ ( Икс , т ) "=" а 1 ( я т Ψ 1 ( Икс , т ) ) + а 2 ( я т Ψ 2 ( Икс , т ) )
и
2 2 м 2 Φ ( Икс , т ) Икс 2 + U ( Икс ) Φ ( Икс , т ) "=" а 1 ( 2 2 м 2 Ψ 1 ( Икс , т ) Икс 2 + U ( Икс ) Ψ 1 ( Икс , т ) ) + а 2 ( 2 2 м 2 Ψ 2 ( Икс , т ) Икс 2 + U ( Икс ) Ψ 2 ( Икс , т ) ) .
Они следуют просто из известного правила, справедливого для любых двух дифференцируемых функций ф и г : ( ф + г ) / т "=" ф / т + г / т , и аналогично для партиалов w/r до Икс . Комбинируя эти два последних уравнения, вы получаете тождество для любого а 1 и а 2 так как каждый Ψ к ( Икс , т ) является независимым решением. Конечно, это просто распространяется на произвольное количество терминов в линейной комбинации.

Обратите внимание, что собственное значение не зависящей от времени части никогда не входит в этот аргумент. Последним шагом является наблюдение, что разделение переменных в уравнении, зависящем от времени, дает Ψ к ( Икс , т ) "=" е я Е к т ψ к ( Икс ) с ψ к ( Икс ) собственная функция стационарного уравнения, но опять же, это не входит в аргумент.


Изменить: обратите внимание, что это противоречит независимому от времени уравнению. Когда

2 2 м г 2 ψ к ( Икс ) г Икс 2 + U ( Икс ) ψ к ( Икс ) "=" Е к ψ к ( Икс )
правая часть должна быть кратна исходной функции. Учитывая это наблюдение, обратите внимание, что линейная комбинация
ψ ( Икс ) "=" а 1 ψ 1 ( Икс ) + а 2 ψ 2 ( Икс )
в общем случае НЕ будет решением уравнения, не зависящего от времени, потому что
( 2 2 м г 2 г Икс 2 + U ( Икс ) ) ψ ( Икс ) "=" а 1 ( 2 2 м г 2 г Икс 2 + U ( Икс ) ) ψ 1 ( Икс ) + а 2 ( 2 2 м г 2 г Икс 2 + U ( Икс ) ) ψ 2 ( Икс ) "=" а 1 Е 1 ψ 1 ( Икс ) + а 2 Е 2 ψ 2 ( Икс ) "=" Е 1 ( а 1 ψ 1 ( Икс ) + а 2 ψ 2 ( Икс ) ) + ( Е 2 Е 1 ) а 2 ψ 2 ( Икс ) "=" Е 1 ψ ( Икс ) + ( Е 2 Е 1 ) а 2 ψ 2 ( Икс )
НЕ будет кратно ψ ( Икс ) пока не Е 1 "=" Е 2 .

Теперь я понял, я перепутал собственные значения с коэффициентами. Но, как вы сказали, собственные значения не входят в аргумент. Они будут учитываться только в том случае, если я выражу свои волновые функции в собственном базисе. Как новичок в квантовой механике, я даже не знаю, возможно ли это.
Я просто добавил дополнительный бит, чтобы прояснить некоторые различия с независимым от времени решением. И да: у оператора Шредингера есть полный набор собственных функций, поэтому любое решение можно выразить в виде суммы функций из этого полного набора.
Просто хочу добавить кое-что, что линейность дает вам представление о том, что линейная суперпозиция некоторых конкретных решений также будет решением. Но все же это не говорит вам, что линейная комбинация такого количества решений будет общим решением. Эта идея исходит из полноты.
@Прабхат ?? Полнота гарантирует, что существует разложение любой функции по решениям (при правильных граничных условиях), но линейность гарантирует , что комбинация любого количества решений также будет решением.
@ZeroTheHero да, вы правы с обоими определениями, но я указывал на определение «общее решение», вы должны называть что-то общим решением, когда все возможные решения могут быть выражены как это что-то. Если говорить конкретно об уравнении Шредингера, то, что вы получаете каждый раз после его решения, являются собственными состояниями, но это полнота собственного состояния, и мы говорим, что их линейная комбинация будет общим решением. Я могу ошибаться или путать вещи, иначе. Буду признателен за дальнейшее обсуждение.

Может быть, чтобы ответить на ваш вопрос, полезно начать с немного другой точки зрения, концептуально. В квантовой механике система описывается с помощью гильбертова пространства, векторы которого представляют состояния системы (на самом деле это только часть «состояний», называемых чистыми состояниями, и любые два вектора, комплексно кратные друг другу, представляют одно и то же состояние). , Не беспокойтесь об этом на данный момент) и рецепт того, как состояние системы меняется со временем. В данном случае этим рецептом является уравнение Шредингера, которое я записываю как уравнение векторов гильбертова пространства (в вашем случае гильбертово пространство — это пространство квадратично интегрируемых функций над р , называется л 2 ( р ) )

я т ψ т "=" ЧАС ^ [ ψ т ]

Оператор ЧАС ^ является самосопряженным, и математика говорит нам , что в этом случае единственное решение этого уравнения с данным начальным условием ψ 0 (т.е. состояние, в котором запускается ваша система)

ψ т "=" е я ЧАС ^ т [ ψ 0 ]

где U т "=" е я ЧАС ^ т является унитарным оператором, называемым «эволюцией времени» (сравните это с тем фактом, что матричная экспонента я А , где А — эрмитова матрица, — унитарная матрица).

Теперь вся оставшаяся работа заключается в вычислении U т ψ 0 для данного ψ 0 . К сожалению, в большинстве случаев это действительно сложно! Вот тут-то и появляется независимое от времени уравнение Шредингера. Предположим, у вас есть набор собственных векторов ф 1 , ф 2 из ЧАС ^ , то есть удовлетворяют ЧАС ф я "=" Е я ф я (Надеюсь, не возникнет путаницы, когда нижние индексы обозначают время, а когда ф Я говорю о). Опять же, математика говорит нам (и это легко проверить для матриц, то есть для конечномерных гильбертовых пространств), что

U т [ ф я ] "=" е я ЧАС ^ т [ ф я ] "=" е я Е я т ф я

Это очень удобно, потому что теперь нам не нужно вычислять экспоненту оператора. Также все эти операторы линейны, так что если нам удастся записать наше начальное состояние ψ 0 как некоторую линейную комбинацию собственных векторов

ψ 0 "=" я "=" 1 ? с я ф я
для некоторых констант с я искомое решение принимает вид

ψ т "=" я "=" 1 ? с я е я Е я т ф я
Таким образом, мы решили проблему, если сможем найти способ выразить любое начальное условие, которое нам может понадобиться, в виде линейной комбинации собственных векторов ЧАС ^ . Мы хотим найти ортонормированный базис гильбертова пространства, состоящий из таких собственных векторов, тогда мы можем выразить ЛЮБОЙ вектор в виде бесконечной линейной комбинации.