§8.5. Гармонический осциллятор
В силу линейной независимости различных степеней x их коэффициенты должны обра-
щаться в нуль:
a
k+2
(k + 2)(k + 1) − a
k
(2k − 2E + 1) = 0 , k = 0, 1, 2, ... (8.48)
Как мы знаем, собственные функции гамильтониана ψ (x) должны быть либо четными,
либо нечетными. То же самое относится и к функциям p(x), т.к. они отличаются от ψ(x)
четным множителем e
−x
2
/2
. Это значит, что в разложении (8.47) отличны от нуля лишь
коэффициенты либо только с четными, либо только с нечетными номерами. Итак, це-
почка уравнений (8.48) позволяет найти все члены ряда (8.47) по его первому члену.
Первым членом четного решения является член a
0
, а первым членом нечетного – член
a
1
x. Согласно общей теории дифференциальных уравнений, при любом значении энергии
E уравнение Шредингера имеет два линейно-независимых решения, и в данном случае
эти решения определяются, как мы видим, заданием коэффициентов a
0
и a
1
. Выясним
теперь, какие из этих решений являются собственными функциями гамильтониана. Для
этого надо найти те из них, которые являются ограниченными при |x| → ∞. Хотя функ-
ции ψ(x) и содержат быстро убывающий фактор e
−x
2
/2
, так что каждый член e
−x
2
x
k
в
отдельности стремится к нулю при |x| → ∞, сумма ряда (8.46) может оказаться функ-
цией, возрастающей при больших |x| быстрее e
x
2
/2
. Последнее должно иметь место на
самом деле для всех E за исключением счетного числа значений, поскольку нам заранее
известно, что спектр энергии в рассматриваемом случае является дискретным. Проверим
это, например, в случае четного решения. Заметим, что для этого достаточно найти вид
a
k
при больших k. Действительно, для выяснения ограниченности решения при |x| → ∞
вид любого конечного числа первых членов ряда несуществен, поскольку произведение
любого полинома по x на e
−x
2
/2
стремится к нулю в этом пределе. С другой стороны, для
достаточно больших k соотношение (8.48) можно переписать так
a
k+2
=
2k − 2E + 1
(k + 2)(k + 1)
a
k
≈
2
k + 2
a
k
(2 в знаменателе сохранено здесь для удобства последующих вычислений). Хотя послед-
нее равенство справедливо для достаточно больших k, удобно распространить его на все
k, т.к., как только что было указано, вид начального отрезка ряда для нас сейчас несу-
ществен. Тогда, полагая k = 2m, m ∈ N, находим последовательно
a
2m+2
=
a
2m
m + 1
=
a
2m−2
(m + 1)m
=
a
2m−4
(m + 1)m(m − 1)
= ··· =
a
0
(m + 1)!
.
Поэтому поведение ряда (8.47) при больших |x| совпадает с поведением следующего ряда
∞
X
m=0
a
2m
x
2m
=
∞
X
m=0
a
0
m!
x
2m
= a
0
∞
X
m=0
(x
2
)
m
m!
= a
0
e
x
2
.
Мы видим, таким образом, что ψ(x) = p(x)e
−x
2
/2
→ a
0
e
x
2
/2
→ ∞ при |x| → ∞, т.е.
решение является неограниченным при больших |x|. Этот же результат получается и для
нечетных решений [в этом случае соотношение (8.48) при больших n удобно переписать
в виде a
k+2
= 2a
k
/(k + 1)].
Приведенное рассуждение, однако, не учитывает ту возможность, что коэффициенты
a
k
могут обратиться тождественно в нуль при k > n, где n – натуральное число (включая
161