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

h->0

h

i

f(x

_i

)

(2.18)

Построение суммы. При определении суммы по траекториям мы можем поступить аналогичным образом. Во-первых, выберем некоторое подмножество траекторий. Чтобы сделать это, разобьём область изменения независимой переменной (времени) на интервалы длиной . Это даст нам в интервале от t_a до t_b набор моментов t_i (разделённых -отрезками), каждому из которых поставили в соответствие точку x_i. Соединяя все полученные точки отрезками прямых линий, мы получаем траекторию. Сумму по всем найденным таким образом траекториям можно определить, вычислив кратный интеграл по всем значениям x_i (i=1,2,… N-1):

N

=

t

_b

-t

_a

,

=

t

_i+1

-t

_i

,

t

₀

=

t

_a

, t

_N

=t

_b

,

x

₀

=

x

_a

, x

_N

=x

_b

.

(2.19)

В результате получим выражение

K(b,a)~

…

[x(t)]dx

₁

dx

₂

…dx

_N-1

.

(2.20)

Интегрирование не производится по x₀ и x_N, так как эти переменные совпадают с фиксированными концами траекторий x_a и x_b. Это выражение формально соответствует соотношению (2.17). Уменьшая , мы можем получить более полное представление множества всех возможных траекторий, соединяющих точки a и b. Однако точно так же, как и в случае интеграла Римана, невозможно достичь предела этого процесса, так как такой предел не существует. Мы снова должны ввести некоторый нормирующий множитель, который, как и следует ожидать, будет зависеть от .

К сожалению, определение такого нормирующего множителя оказывается весьма трудной задачей, и неизвестно, как это делать в общем случае. Однако нам это удаётся сделать для всех задач, которые до сих пор имели практическое значение. Возьмём, например, случай, когда лагранжиан задаётся выражением (2.2). Нормирующий множитель в этом случае равен A^-N, где

A=

2ih

m

1/2

.

(2.21)

Как получен этот результат, мы увидим далее (см. § 1 гл. 4). С учётом множителя A переход к пределу имеет смысл, и мы можем написать

K(b,a)=

 

lim

^->0

1

A

…

e

^(i/h)S[b,a]

dx₁

A

dx₂

A

…

dx_N-1

A

(2.22)

где

S[b,a]=

t_b

t_a

L(x,x,t)dt

(2.23)

представляет собой однократный интеграл вдоль траектории, проходящей, как это показано на фиг. 2.3, через все соединённые прямолинейными отрезками точки x_i.

Фиг. 2.3. Сумма по всем траекториям.

Она определяется как предел, в котором траектория первоначально задаётся лишь координатами x для большого числа фиксированных моментов времени, разделённых очень малыми интервалами длины . Тогда сумма по траекториям равна интегралу по всем этим выбранным координатам. Наконец для определения меры берётся предел при ->0.

Возможно и более изящное определение траектории. Для соединения точек x_i и x_i+1 вместо отрезков прямых линий мы могли бы использовать отрезки классической траектории. Тогда можно было бы сказать, что S — это наименьшее значение интеграла, взятого от лагранжиана по всем траекториям, которые проходят через выбранные точки (x_i,t_i). При таком определении нет необходимости прибегать к каким-то не имеющим физического смысла переходам по отрезкам прямых.

Интеграл по траекториям. Имеется много способов выбрать некоторое подмножество из всех траекторий, проходящих через точки a и b. Применявшийся нами способ, возможно, не является наилучшим с точки зрения математики. Предположим, например, что лагранжиан зависит от ускорения в точках x. В нашем способе построения траектории скорость имеет разрывы во всех точках (x_i,t_i), и, следовательно, ускорение в этих точках бесконечно велико. Это могло бы привести к затруднениям, но в тех немногих примерах, с которыми мы уже имели дело, вполне законной была замена

x=

1

^2

(x

_i+1

-2x

_i

+x

_i-1

)

(2.24)

Могут быть случаи, когда такая замена непригодна или неточна и использовать наше определение суммы по траекториям становится весьма затруднительно. Такая ситуация возникает уже при обычном интегрировании, если некорректно определение интеграла по Риману, задаваемое равенством (2.18), и приходится обращаться к другим определениям, например к интегралу Лебега.

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

K(b,a)=

b

a

e

^(i/h)S[b,a]

Dx(t)

(2.25)

и называть её интегралом по траекториям. Это обстоятельство отметим введением знака D вместо оператора дифференциала d. Лишь изредка мы будем возвращаться к выражению типа (2.22).