Линейные комбинации функций стационарных состояний. Предположим, что функции, соответствующие набору энергетических уровней En, не только ортогональны, но также и нормированы т.е. интеграл от квадрата их модуля по всем значениям x равен единице:
-
*
n
(x)
m
(x)
dx
=
nm
,
(4.47)
где nm — символ Кронекера, определяемый равенствами nm=0, если n/=m, и nn=1. Большинство известных в физике функций можно представить в виде линейной комбинации ортогональных функций; в частности, в таком виде можно представить любую функцию, являющуюся решением волнового уравнения Шрёдингера:
f(x)=
n=1
a
n
n
(x).
(4.48)
Коэффициенты an легко найти; умножая разложение (4.48) на сопряжённые функции *2(x) и интегрируя по x, получаем
-
*
m
f(x)
dx
=
n=1
a
n
-
*
m
n
dx
=
a
m
(4.49)
и, следовательно,
a
n
=
-
*
n
(x)f(x)
dx.
(4.50)
Таким образом мы получили тождество
f(x)
=
n=1
n
(x)
-
*
n
(y)f(y)
dy
-
n=1
n
(x)
*
n
(y)
f(y)
dy.
(4.51)
Другой интересный способ получения того же результата исходит из определения -функции:
(x-y)=
n=1
n
(x)
*
n
(y).
(4.52)
Ядро K можно выразить через функции n и значения энергии En. Мы сделаем это с помощью следующих соображений. Пусть нас интересует, какой вид имеет волновая функция в момент времени t2, если она нам известна в момент времени t1. Так как она является решением уравнения Шрёдингера, то при любом t её, как и всякое его решение, можно записать в виде
(x,t)
=
n=1
c
n
e
-(i/h)Ent
n
(x).
(4.53)
Но в момент времени t1
f(x)
=
(x,t
1
)
=
n=1
c
n
e
-(i/h)Ent1
n
(x)
=
n=1
a
n
(x)
n
(x)
,
(4.54)
поскольку мы всегда можем представить f(x) в виде ряда (4.48). Отсюда следует, что
c
n
=
a
n
e
+(i/h)Ent1
.
(4.55)
Подставив это в выражение (4.53), будем иметь
(x,t
2
)
=
n=1
c
n
e
-(i/h)Ent2
n
(x)
=
n=1
a
n
exp
+
i
h
E
n
(t
1
-t
2
)
n
(x).
(4.56)
Используя теперь для коэффициентов an выражение (4.50), получаем
(x,t
2
)
=
n=1
n
(x)
exp
-
i
h
E
n
(t
2
-t
1
)
-
*
n
(y)
f(y)
dy
=
=
-
n=1
n
(x)
*
n
(y)
exp
-
i
h
E
n
(t
2
-t
1
)
f(y)
dy
.
(4.57)
Эта формула выражает волновую функцию в момент времени t2 через волновую функцию f(x), относящуюся к моменту времени t1. Ранее мы выражали это соотношением
(x,t
2
)
=
-
K(x,t
2
;y,t
1
)
f(y)
dy
.
(4.58)
Сравнивая его с предыдущим, мы окончательно получаем искомое выражение для ядра K(2,1):
K(x
2
,t
2
;x
1
,t
1
)
=
=
n=1
n
(x
2
)
*
n
(x
1
)
exp
-
i
h
E
n
(t
2
-t
1
)
,
если t
2
t
1
,
0,
если t
2
t
1
.
(4.59)
Представление ядра K в виде (4.59) оказывается очень полезным при переходе к более привычным изложениям квантовой механики. Ядро, определённое ранее как интеграл по траекториям, выражено здесь лишь через решения дифференциального уравнения (4.42).
p
=
e
(i/h)p·r
(4.60)
соответствуют энергии Ep=p^2/2m. Докажите свойство ортогональности, рассматривая в качестве индекса n вектор p, т.е. докажите, что для p/=p'
r
*
p
p'
d^3r=0
даже если E
p
=E
p'
.
(4.61)
В этом случае ядром, описывающим движение свободной частицы, будет выражение
K
0
(r
2
,t
2
;r
1
,t
1
)
=
p
exp
-
i
h
p·(r
2
-r
1
)
exp
-
ip^2(t1-t1)
2hm
.
(4.62)
Так как векторы p составляют континуум, сумма по «индексам» p фактически эквивалентна интегралу по всем значениям p, т.е.
p
=
p
d^3p
(2h)^3
.
(4.63)
Ядро для случая свободной частицы запишется как
K
0
(r
2
,t
2
;r
1
,t
1
)
=
p
exp
-
i
h
p·(r
2
-r
1
)
exp
-
ip^2(t1-t1)
2hm
d^3p
(2h)^3
.
(4.64)
§ 3. Нормировка волновых функций свободной частицы
Вывод формулы для ядра в случае свободной частицы, приведённый в задаче 4.11, неудовлетворителен по двум причинам, которые связаны между собой. Во-первых, понятие суммы по различным состояниям n, использованной в выражении (4.62), не удовлетворительно, если состояния принадлежат непрерывному спектру, что имеет место в случае свободной частицы. Во-вторых, волновые функции для свободных частиц [плоские волны], хотя и являются ортогональными, однако не могут быть нормированы, так как
-
*
dx
=
-
1
dx
=
и не выполнено условие равенства (4.47), которое применялось при выводе выражения (4.62). Оба эти пункта можно одновременно исправить чисто математическим путём. Возвратимся к разложению произвольной функции по собственным функциям n:
f(x)
=
n
a
n
n
(x)
(4.65)
и учтём, что все или часть состояний могут принадлежать к непрерывному спектру, так что часть суммы по n следует заменить интегралом. Можно математически строго получить корректное выражение для ядра K, аналогичное выражению (4.62), но применимое также и в том случае, когда состояния находятся в непрерывной части спектра.