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

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

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

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

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

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

.

(2.16)

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

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

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

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

𝐴∼

∑

ƒ(𝑥

_𝑖

),

𝑖

(2.17)

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

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

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

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

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

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

𝐴=