Фиг.2.1. Классическая траектория 1 [𝑥=𝑥(𝑡)].

Это такая траектория, для которой интеграл действия 𝑆 принимает минимальное значение. Если эта траектория изменяется на величину δ𝑥(𝑡) (траектория 2), то в первом приближении по δ𝑥 интеграл не претерпевает никаких изменений. Это и определяет уравнение движения.

В квантовой механике амплитуда вероятности перехода из точки 𝑎 в точку 𝑏 равна сумме амплитуд, соответствующих всем возможным траекториям. Амплитуда вероятности для заданной траектории, т.е. 𝑒^𝑖𝑆/ℏ, имеет фазу, пропорциональную действию. Если действие очень велико по сравнению с постоянной Планка ℏ то для близлежащих траекторий, таких, как 3 и 4, оно лишь незначительно отличается по своей величине, однако вследствие малости постоянной ℏ различие в фазах в этих случаях будет очень большим. Вклады от таких траекторий взаимно уничтожаются. Только в непосредственной близости к классической траектории 𝑥(𝑡), где варьирование траекторий лишь незначительно изменяет действие 𝑆, близлежащие траектории, такие, как 1 и 2, дают вклады с одинаковыми фазами, которые вследствие интерференции усиливают друг друга. Вот почему приближение классической физики, т.е. необходимость рассмотрения только одной траектории 𝑥(𝑡), справедливо, когда действие 𝑆 очень велико по сравнению с постоянной ℏ.

Поэтому данную траекторию можно фактически не учитывать, если соседние с ней имеют различное действие, поскольку их вклады взаимно уничтожаются. Однако у некоторой траектории 𝑥, для которой действие экстремально, небольшие изменения δ𝑥 (во всяком случае, в первом приближении) не меняют величины 𝑆. Все вклады от траекторий, находящихся в этой области, близки по фазе, которая равна здесь 𝑆_кл/ℏ, и взаимно не уничтожаются. Следовательно, существенный вклад мы можем получить лишь в окрестности траектории 𝑥 и в классическом приближении должны рассматривать только эту траекторию как единственно важную. Именно так классические законы движения получаются из квантовых законов.

Можно здесь же отметить, что траектории, которые не совпадают с 𝑥, дают вклад лишь в той области, где действие 𝑆 отличается от 𝑆_кл/ℏ на величину порядка ℏ. Классическая траектория в этой небольшой области остаётся неопределённой, что и ограничивает точность, с которой она выделяется.

Рассмотрим теперь зависимость фазы от положения конечной точки (𝑥_𝑏,𝑡_𝑏). Если мы немного сместим эту точку, то фаза изменится очень сильно, что приведёт к быстрым изменениям ядра 𝐾(𝑏,𝑎). Будем под «гладкой функцией» понимать функцию вида 𝑆_кл/ℏ, которая заметно меняется лишь при значительных изменениях аргумента. В этом смысле амплитуде 𝐾(𝑎,𝑏) весьма далеко до гладкости. Однако приведённые соображения показывают, что в классическом приближении она имеет вид

𝐾(𝑏,𝑎)=«гладкая функция» • 𝑒

^{(𝑖/ℏ)𝑆_кл}

.

(2.16)

Все эти нестрогие рассуждения допустимы лишь в тех случаях, для которых мы можем ожидать применимости классической физики (𝑆 ≫ ℏ). Однако на атомном уровне действие 𝑆 может быть сравнимо с величиной ℏ, и тогда в выражении (2.14) должны учитываться все траектории. В этом случае не существует какой-либо траектории, имеющей преимущественное значение, и, конечно, выражение (2.16) не обязательно является хорошим приближением. Для того чтобы рассматривать подобные случаи, необходимо найти способ вычисления сумм, аналогичных выражению (2.14).

§ 4. Сумма по траекториям

Аналогия с интегралом Римана. Хотя качественно идея суммирования вкладов от всех траекторий вполне ясна, необходимо все же дать математически более строгое определение этой суммы. Множество траекторий содержит бесконечное количество элементов и не ясно, какая мера может быть сопоставлена пространству траекторий. Математическое определение такой меры и является целью этого параграфа. Как окажется далее, это определение довольно неудобно для конкретных вычислений. В последующих главах будут описаны другие, более эффективные способы вычисления суммы по траекториям. Что касается данной главы, то можно надеяться, что математические трудности, или скорее отсутствие изящества в изложении, не отвлекут читателя от физического содержания излагаемых понятий.

Начнём с рассмотрения обычного интеграла Римана. Допустим (очень грубо), что площадь 𝐴 под кривой равна сумме всех её ординат; лучше было бы сказать, что она пропорциональна этой сумме. Чтобы уточнить приведённое утверждение, поступим следующим образом: выберем какое-нибудь подмножество ординат (например, ординаты в точках 𝑥_𝑖 разделённых равными отрезками длины 𝘩). Складывая эти ординаты, получаем

𝐴∼

∑

ƒ(𝑥

_𝑖

),

𝑖

(2.17)

где суммирование проводится по конечному числу точек 𝑥_𝑖 как показано на фиг. 2.2.

Фиг. 2.2. Определение интеграла.

При построении обычного риманова интеграла набор ординат проводится от оси абсцисс до рассматриваемой кривой. Расстояние между ординатами равно 𝘩. Интеграл (площадь, ограниченная кривой и осью абсцисс) аппроксимируется произведением величины 𝘩 на сумму ординат. Это приближённое выражение стремится к точному значению при 𝘩→0.

Аналогичное определение может быть использовано для интегралов по траекториям. Мера, устремляемая к нулю в предельном процессе, равна интервалу времени ε, разделяющему дискретные точки на траекториях.

Следующий шаг состоит в определении площади 𝐴 как предела этой суммы, когда подмножество точек 𝑥_𝑖 (а следовательно, и выбранное подмножество ординат) становится более плотным или, точнее, когда подмножество становится более полным представлением плотного множества, поскольку конечное множество никогда не является какой-либо измеримой частью бесконечного континуума ¹). Мы можем перейти к пределу обычным способом, непрерывно уменьшая величину 𝘩. Однако, поступая таким образом, мы получили бы различные суммы для разных значений 𝘩, и в этом процессе никакого предела не существовало бы. Чтобы получить искомый предел, необходимо выбрать некоторый нормирующий множитель, который должен зависеть от 𝘩. Для интеграла Римана, очевидно, таким множителем является сама величина 𝘩. В этом случае предел существует, и мы можем написать выражение

¹) Это утверждение следует понимать в том смысле, что конечное множество всегда имеет меру нуль независимо от того, какую меру имеет содержащее его бесконечное, континуальное множество.— Прим. ред.

𝐴=

lim

𝘩→0

⎡

⎢

⎣

𝘩

∑

𝑖

ƒ(𝑥

_𝑖

)

⎤

⎥

⎦

(2.18)

Построение суммы. При определении суммы по траекториям мы можем поступить аналогичным образом. Во-первых, выберем некоторое подмножество траекторий. Чтобы сделать это, разобьём область изменения независимой переменной (времени) на интервалы длиной ε. Это даст нам в интервале от 𝑡_𝑎 до 𝑡_𝑏 набор моментов 𝑡_𝑖 (разделённых ε-отрезками), каждому из которых поставили в соответствие точку 𝑥_𝑖. Соединяя все полученные точки отрезками прямых линий, мы получаем траекторию. Сумму по всем найденным таким образом траекториям можно определить, вычислив кратный интеграл по всем значениям 𝑥_𝑖 (𝑖=1,2,… 𝑁-1):