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

Задача 10.10. Рассмотрите, каким образом можно выразить через интегралы по тракториям статистико-механическое описание частицы, которая находится в магнитном ноле, постоянном во времени.

Глава 11

ВАРИАЦИОННЫЙ МЕТОД

В этой главе мы обсудим метод приближённого вычисления интегралов по траекториям, основанный на вариационном принципе. Сначала проиллюстрируем этот метод некоторыми примерами, а потом рассмотрим задачи, в которых он может оказаться полезным.

§ 1. Принцип минимума

Предположим, что мы хотим вычислить свободную энергию системы F. Эта задача может быть сформулирована на языке интегралов по траекториям с помощью функции распределения [см. выражение (10.4)]

Z

=

e

^-F

(11.1)

В соотношении (10.30) функция распределения была представлена как интеграл от матрицы плотности (x,x). Затем в § 2 гл. 10 было получено выражение матрицы (x,x) в виде некоторого ядра. Это позволило нам записать

Z

=

^-

_x1

^x₁

e

^S/h

Dx(u)

dx

₁

,

(11.2)

если переменную «времени» u рассматривать как мнимую величину.

В § 3 гл. 10 мы развили формализм теории возмущений для вычисления интегралов по траекториям, определяющих функцию распределения в некоторых частных случаях. Теперь опишем другой метод, применимый в тех случаях, когда действие S является действительной величиной, как это имеет место, например, в обычных задачах без магнитного поля (и без учёта спина).

Всюду в этой главе мы будем предполагать, что при нашем выборе единиц h=1. Если возникнет необходимость ввести h для того, чтобы подчеркнуть квантовомеханический характер результата, это можно сделать непосредственным анализом размерности.

Пусть нам известно, что некоторая функция S' удовлетворяет двум условиям: во-первых, S' — достаточно простое выражение, так что для простых функционалов G можно вычислить интегралы вида e^S'Dx(t) или Ge^S'Dx(t); во-вторых, траектории, дающие существенный вклад в интегралы e^SDx(t) и e^S'Dx(t), одинаковы, т.е. величины S' и S близки в случае, когда они обе малы. Предположим далее, что F' — свободная энергия, соответствующая действию S'. Это означает, что

e

^-F'

=

^-

_x1

^x₁

e

^S'

Dx(u)

dx

₁

,

(11.3)

и поэтому

e^SDx(u)dx₁

e^S'Dx(u)dx₁

=

e

^-(F-F')

.

(11.4)

Так как e^S=e^S-S'e^S', то соотношение (11.4) можно записать в виде

e

^S-S'

e

^S'

Dx(t)

dx

₁

e

^S'

Dx(t)

dx

₁

-1

=

e

^-(F-F')

.

(11.5)

Это выражение утверждает, что экспонента exp[-(F-F')] представляет собой среднее значение от величины exp(S-S'); усреднение производится по всем траекториям, совпадающим в начальной и конечной точках, с весом e^S'Dx(t) для каждой траектории. При усреднении учитываются все возможные значения x₁.

Для дальнейших вычислений можно было бы предположить разности S-S' и F-F' малыми и соответствующие экспоненты в обеих частях равенства разложить с точностью до величин первого порядка малости. Справедливость такого шага представляется сомнительной, так как величина (F-F') не мала, если велико. Однако сравнение членов более высокого порядка показывает, что это тем не менее оказывается хорошим приближением к величине F-F'.

К тому же выводу можно прийти весьма строгим и убедительным путём. В самом деле, среднее значение экспоненты d^x, где x — независимая переменная, всегда больше или равно, чем экспонента от среднего значения x, до тех пор, пока x — действительная величина и используемые при усреднении веса положительны, т.е.

e

^x

>=

e

^x

,

(11.6)

где x — средневзвешенное значение x. Это следует из того, что кривая функции e^x вогнута вверх, как изображено на фиг. 11.1, так что если вдоль неё расположены массы, то центр тяжести этих масс лежит выше кривой. Ордината этого центра тяжести равна среднему значению ординат точек, т.е. e^x. Эта величина, очевидно, превышает e^x — ординату кривой в точке, соответствующей абсциссе центра тяжести, которая равна среднему значению x.

Фиг. 11.1 Экспонента от среднего и среднее от экспоненты.

Мы считаем, что весовые множители a_i положительны, и рассматриваем их как различные массы, размещённые вдоль кривой. Тогда вследствие вогнутости кривой e^x экспонента от среднего значения x т.е. e^x, должна лежать ниже, чем средневзвешенное от экспоненты. Величина e^x лежит на кривой, а e^x -— центр тяжести указанных точек — должен быть расположен над кривой.

В левой части равенства (11.5) берём среднее значение величины e^S-S' по траекториям с положительными весами e^S'Dx(t), где S' и S действительные величины. Следовательно, в соответствии с (11.6) эта величина превысит expS-S', где S-S' — среднее значение S-S' при том же способе усреднения [т.е. с весом e^S'Dx(t). Это означает, что

S-S'

=

(S-S')

e

^S'

Dx(t)

dx

₁

e

^S'

Dx(t)

dx

₁

-1

(11.7)

и, следовательно,

e

^S-S'

=

e

^-(F-F')

.

(11.8)

Отсюда

F

₀

=F'

₀

-

1

S-S'

.

(11.9)

И окончательно

F=F'-

,

(11.10)

где

=

1

(S-S')

e

^S'

Dx(t)

dx

₁

e

^S'

Dx(t)

dx

₁

-1

(11.11)