Квантовая механика и интегралы по траекториям

y^2

dt

=

T·

1

2

ⁿ

a

^2

ⁿ

(3.87)

Если предположить, что время T разделено на интервалы длины , как это указано в равенствах (2.19), так что имеется лишь конечное число N коэффициентов a_n, то интеграл по траекториям приобретает вид

F(T)

=

J

^–

^–

…

^–

exp

_N

ⁿ⁼¹

im

2h

n

T

^2

– ^2

a

^2

ⁿ

x

x

da₁

A

da₂

A

…

da_N

A

.

(3.88)

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

_–

exp

im

2h

n^2^2

T^2

– ^2

a

^2

ⁿ

da_n

A

=

n^2^2

T^2

– ^2

– 1/2

.

(3.89)

Таким образом, интеграл по траекториям пропорционален произведению

_N

ⁿ⁼¹

n^2^2

T^2

– ^2

– 1/2

=

_N

ⁿ⁼¹

n^2^2

T^2

– 1/2

_N

ⁿ⁼¹

1-

^2T^2

n^2^2

– 1/2

.

(3.90)

Первое произведение справа не зависит от и объединяется с якобианом и другими сомножителями, которые мы собрали в одну постоянную. Второе произведение стремится к пределу [(sin T)/T]^{– 1/2} , когда N->, т.е. когда ->0. Поэтому

F(T)

=C

sin T

T

– 1/2

,

(3.91)

где постоянная C не зависит от . Но при =0 наш интеграл совпадает со случаем свободной частицы, для которого мы уже нашли, что

F(T)

=

m

2ihT

1/2

.

(3.92)

Следовательно, для гармонического осциллятора имеем

F(T)

=

m

2ih sin T

1/2

.

(3.93)

Это нужно подставить в формулу (3.59), чтобы получить полное решение.

Задача 3.13. Следя за всеми постоянными, покажите, что якобиан удовлетворяет соотношению

J

N

T

^N

_N

ⁿ⁼ⁱ

1

n

– >1,

(3.94)

когда N-> .

Глава 4

ШРЕДИНГЕРОВСКОЕ ОПИСАНИЕ КВАНТОВОЙ МЕХАНИКИ

В интегралах по траекториям, которые мы до сих пор рассматривали, всюду [за исключением выражения (3.82)] под знаком интеграла стояли экспоненты от действия, обладающего свойством

S[2,1]=S[2,3]+S[3,1].

(4.1)

Такие интегралы можно исследовать с помощью интегральных уравнений, к которым они сводятся. Мы уже видели это в гл. 2 [см., например, выражение (2.31)] и в гл. 3 [выражение (3.42)].

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

¹) См., например, [2]. (Большое число поучительных примеров, связанных с решением уравнения Шрёдингера, имеется в книгах советских авторов: Л. Д. Ландау и Е. М. Лифшиц, Квантовая механика, нерелятивистская теория, М., 1963; Д. И. Блохинцев, Основы квантовой механики, М., 1962; А. А. Соколов, Ю. М., Лоскутов и И. М. Тернов, Квантовая механика, М., 1962, и многих других.— Прим. ред.)

Заметим, что эта глава преследует двойную цель.

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

2. Читателя, который интересуется в основном методом интегралов по траекториям, глава познакомит с техникой сведения определённого класса этих интегралов к дифференциальным уравнениям; такое сведение лучше всего показать на одном квантовомеханическом примере, к которому мы теперь и переходим.

§ 1. Уравнение Шрёдингера

Дифференциальная форма соотношений. Причина того, что мы можем перейти к дифференциальному уравнению, заключена в том, что соотношение (4.1) справедливо для любых точек 1, 2 и 3. Например, момент t₂ может отличаться от момента t₃ всего лишь на бесконечно малый интервал . Это позволяет нам связать значение интеграла по траекториям, вычисленное для одного момента, с его значением в другой момент, бесконечно близкий к первому. Таким путём мы можем получить для интеграла некоторое дифференциальное уравнение.