Интегралы по траекториям

Интегралы по траекториям (также континуальные интегралы или функциональные интегралы) — это метод суммирования по всем возможным траекториям (путям) движения системы, используемый в квантовой механике, квантовой теории поля и статистической физике. В отличие от традиционного гамильтонова формализма, где эволюция системы описывается операторами и волновыми функциями, интеграл по траекториям представляет амплитуду вероятности перехода системы из одного состояния в другое как взвешенную сумму по всем возможным путям, где вес определяется действием (классическим действием) вдоль каждого пути. Формализм был разработан американским физиком Ричардом Фейнманом в 1948 году и является одним из трёх основных подходов к квантовой механике наряду с матричной механикой Вернера Гейзенберга и волновой механикой Эрвина Шрёдингера.

История

Предпосылки и зарождение

Идея суммирования по траекториям восходит к работам Поля Дирака 1933 года, который заметил, что квантово-механическая амплитуда перехода может быть выражена через классическое действие. Дирак предположил, что амплитуда пропорциональна экспоненте от действия, делённого на постоянную Планка. Однако полная математическая формулировка была дана Фейнманом в его докторской диссертации (1942) и последующих публикациях.

Развитие в 1940–1960-х годах

Фейнман использовал интегралы по траекториям для переформулировки квантовой электродинамики, что позволило ему разработать диаграммную технику (диаграммы Фейнмана), ставшую стандартным инструментом расчётов в квантовой теории поля. В 1948 году он опубликовал статью «Space-Time Approach to Non-Relativistic Quantum Mechanics», где изложил основы метода. В 1950-х годах метод был распространён на квантовую теорию поля, а в 1960-х — на статистическую физику (формализм функционального интеграла для статистической суммы).

Современное состояние

Интегралы по траекториям стали фундаментальным инструментом в теоретической физике, включая квантовую хромодинамику, теорию струн, конденсированное состояние и квантовую гравитацию. В 1965 году Фейнман получил Нобелевскую премию по физике (совместно с Джулианом Швингером и Синъитиро Томонагой) за работы по квантовой электродинамике, где интегралы по траекториям сыграли ключевую роль.

Математическая формулировка

Определение

В квантовой механике амплитуда вероятности перехода частицы из точки \(x_a\) в момент времени \(t_a\) в точку \(x_b\) в момент \(t_b\) записывается как:

\[ K(x_b, t_b; x_a, t_a) = \int \mathcal{D}[x(t)] \, \exp\left( \frac{i}{\hbar} S[x(t)] \right), \]

где:

• \(\int \mathcal{D}[x(t)]\) — функциональный интеграл по всем возможным траекториям \(x(t)\), соединяющим начальную и конечную точки;
• \(S[x(t)] = \int_{t_a}^{t_b} L(x, \dot{x}, t) \, dt\) — действие, где \(L\) — лагранжиан системы;
• \(\hbar\) — приведённая постоянная Планка.

Дискретизация

Формально интеграл по траекториям определяется как предел дискретной суммы. Временной интервал \([t_a, t_b]\) разбивается на \(N\) малых шагов \(\Delta t = (t_b - t_a)/N\). На каждом шаге интегрирование проводится по всем возможным положениям частицы:

\[ K(x_b, t_b; x_a, t_a) = \lim_{N \to \infty} \left( \frac{m}{2\pi i \hbar \Delta t} \right)^{N/2} \int \cdots \int \exp\left( \frac{i}{\hbar} \sum_{j=0}^{N-1} S_j \right) dx_1 \dots dx_{N-1}, \]

где \(S_j\) — действие на \(j\)-м отрезке. Этот предел существует для широкого класса потенциалов, но требует регуляризации для сингулярных потенциалов.

Свойства

• Принцип наименьшего действия: В классическом пределе \(\hbar \to 0\) основной вклад даёт траектория, минимизирующая действие (классический путь), что соответствует принципу стационарного действия.
• Комплексная амплитуда: Экспонента является комплексной, что отражает волновую природу квантовых систем.
• Мера: Мера \(\mathcal{D}[x(t)]\) не является обычной мерой Лебега на пространстве траекторий; она определяется через дискретизацию и регуляризацию.

Применение в квантовой механике

Свободная частица

Для свободной частицы (\(V=0\)) интеграл по траекториям вычисляется аналитически и даёт пропагатор:

\[ K(x_b, t_b; x_a, t_a) = \sqrt{\frac{m}{2\pi i \hbar (t_b - t_a)}} \exp\left( \frac{i m (x_b - x_a)^2}{2\hbar (t_b - t_a)} \right). \]

Гармонический осциллятор

Для гармонического осциллятора с потенциалом \(V(x) = \frac{1}{2} m \omega^2 x^2\) интеграл также берётся явно, приводя к известному выражению для пропагатора, содержащему функцию \( \sin(\omega T) \) в знаменателе.

Потенциальная яма и туннелирование

Интегралы по траекториям естественным образом описывают туннельные эффекты через мнимые времена (аналитическое продолжение \(t \to -i\tau\)), что связано с инстантонными решениями.

Применение в квантовой теории поля

Функциональный интеграл для полей

В квантовой теории поля интеграл по траекториям обобщается на поля \(\phi(x)\). Производящий функционал для корреляционных функций имеет вид:

\[ Z[J] = \int \mathcal{D}[\phi] \, \exp\left( i \int d^4x \, \left( \mathcal{L}(\phi, \partial_\mu \phi) + J\phi \right) \right), \]

где \(\mathcal{L}\) — плотность лагранжиана, \(J\) — внешний источник. Этот формализм лежит в основе диаграммной техники Фейнмана.

Калибровочные теории

Для калибровочных полей (например, электромагнитного поля) интеграл по траекториям требует фиксации калибровки (метод Фаддеева — Попова) и введения духовых полей. Это позволяет корректно квантовать неабелевы калибровочные теории, такие как квантовая хромодинамика.

Применение в статистической физике

Статистическая сумма

В статистической механике интеграл по траекториям используется для вычисления статистической суммы:

\[ Z = \text{Tr} \, e^{-\beta H} = \int \mathcal{D}[x(\tau)] \, \exp\left( -\frac{1}{\hbar} \int_0^{\hbar\beta} d\tau \, L_E(x, \dot{x}) \right), \]

где \(\beta = 1/(k_B T)\), \(L_E\) — евклидов лагранжиан (полученный заменой \(t \to -i\tau\)). Этот формализм связывает квантовую механику при конечной температуре с классической статистической механикой в пространстве на единицу большей размерности.

Критические явления

Интегралы по траекториям применяются в теории фазовых переходов и ренормализационной группе, где они позволяют описывать критические индексы и скейлинговые законы.

Критика и ограничения

Математическая строгость

Формализм интегралов по траекториям долгое время не имел строгого математического обоснования. Проблемы связаны с определением меры на бесконечномерном пространстве траекторий и сходимостью интегралов. В 1970–1980-х годах были разработаны строгие подходы, включая теорию гауссовых мер на гильбертовых пространствах (теория Винера — Фейнмана) и методы аналитического продолжения.

Сингулярные потенциалы

Для потенциалов с особенностями (например, кулоновский потенциал) интеграл по траекториям требует специальной регуляризации (например, метод ультрафиолетового обрезания).

Квантовая гравитация

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

Интересные факты

• Фейнман разработал метод интегралов по траекториям, будучи студентом, под влиянием лекций Дирака.
• Название «интеграл по траекториям» часто вводит в заблуждение: это не интеграл в обычном смысле, а функциональный интеграл.
• Метод широко используется в вычислительной физике для моделирования квантовых систем методом Монте-Карло (квантовый Монте-Карло).
• В 2013 году математик Мартин Хайрер получил премию Филдса за работы по стохастическим дифференциальным уравнениям, которые имеют глубокие связи с интегралами по траекториям.

Источники

• Фейнман Р., Хибс А. «Квантовая механика и интегралы по траекториям». — М.: Мир, 1968.
• Peskin M., Schroeder D. «An Introduction to Quantum Field Theory». — Westview Press, 1995.
• Kleinert H. «Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets». — World Scientific, 2009.
• Боголюбов Н. Н., Ширков Д. В. «Введение в теорию квантованных полей». — М.: Наука, 1984.