Метод функционального интегрирования¶

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

¶История

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

В 1960-х годах метод был распространён на квантовую теорию поля, где интеграл по траекториям для полей (функциональный интеграл) стал основой для построения калибровочных теорий, включая квантовую электродинамику и стандартную модель. Развитие методов функционального интегрирования связано с именами Александра Полякова, Кеннета Уилсона (рениормализационная группа) и других.

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

¶Определение в квантовой механике

В квантовой механике амплитуда перехода частицы из точки \(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), \]

где \(S[x(t)] = \int_{t_a}^{t_b} L(x, \dot{x}, t) dt\) — классическое действие, \(L\) — лагранжиан, а \(\mathcal{D}[x(t)]\) — мера интегрирования по всем функциям \(x(t)\), удовлетворяющим граничным условиям \(x(t_a)=x_a\), \(x(t_b)=x_b\). Формально эта мера определяется как предел дискретизации времени: временной интервал разбивается на \(N\) шагов, и интеграл заменяется многократным интегралом по координатам в каждой точке, после чего берётся предел \(N\to\infty\).

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

В квантовой теории поля (КТП) функциональный интеграл записывается для полей \(\phi(x)\):

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

где \(S[\phi]\) — действие поля, \(J(x)\) — внешний источник. Этот интеграл является производящим функционалом для корреляционных функций (функций Грина). Для свободных полей (квадратичное действие) интеграл вычисляется аналитически как гауссов интеграл; для взаимодействующих полей применяется теория возмущений, в которой интеграл раскладывается в ряд по константе связи, а каждый член ряда представляется диаграммами Фейнмана.

¶Мера и регуляризация

Строгое определение меры \(\mathcal{D}[\phi]\) в континууме требует регуляризации — введения обрезания на малых расстояниях (ультрафиолетовая регуляризация) или перехода к решёточной теории поля. Наиболее распространённые методы:

• Регуляризация Вика: замена времени на мнимое (\(t \to i\tau\)), что превращает осциллирующую экспоненту в экспоненциально затухающую (евклидово действие). Это делает интеграл сходящимся и позволяет использовать методы статистической физики.
• Решёточная регуляризация: пространство-время дискретизируется, и интеграл сводится к конечномерному, что пригодно для численных расчётов (квантовая хромодинамика на решётке).
• Размерная регуляризация: аналитическое продолжение по размерности пространства для выделения расходимостей.

¶Применения

¶Квантовая механика

• Квазиклассическое приближение: метод стационарной фазы позволяет выделить вклад классической траектории и поправки к ней, что даёт формулу ВКБ (Вентцеля — Крамерса — Бриллюэна).
• Туннелирование: интеграл по мнимому времени (евклидовы траектории) описывает подбарьерное прохождение частицы — так называемые инстантоны.
• Осциллятор и атомные системы: точное вычисление функционального интеграла для гармонического осциллятора даёт известные уровни энергии.

¶Квантовая теория поля

• Калибровочные теории: метод функционального интегрирования лежит в основе квантования калибровочных полей (метод Фаддеева — Попова). Введение духовых полей (духи Фаддеева — Попова) необходимо для правильного учёта калибровочной инвариантности.
• Перенормировка: функциональный интеграл позволяет систематически вычислять контрчлены и ренормализационные константы через диаграммы Фейнмана.
• Эффективное действие: однопетлевое приближение функционального интеграла даёт эффективный потенциал, который используется для анализа спонтанного нарушения симметрии (например, механизм Хиггса).
• Статистическая физика: евклидов функциональный интеграл для поля эквивалентен статистической сумме классической системы в d+1 измерениях. Это позволяет применять методы ренормализационной группы (Кеннет Уилсон) для изучения критических явлений.

¶Физика конденсированного состояния

• Сверхпроводимость: функциональное интегрирование по бозонным полям (куперовским парам) используется для вывода уравнений Гинзбурга — Ландау и описания фазовых переходов.
• Квантовые жидкости: метод применяется для описания бозе-конденсации и сверхтекучести (интеграл по траекториям для атомов гелия).
• Неравновесные системы: функциональный интеграл на контуре Келдыша (замкнутый временной контур) позволяет рассчитывать кинетические коэффициенты и транспортные свойства.

¶Связь с другими методами

• Формализм операторов: функциональный интеграл эквивалентен стандартному операторному формализму квантовой механики. Для гамильтонианов, квадратичных по импульсам, интеграл по траекториям в фазовом пространстве сводится к интегралу по координатам.
• Статистическая сумма: евклидов функциональный интеграл при конечной температуре (формализм Мацубары) даёт статистическую сумму квантовой системы, что используется в термодинамике и квантовой статистике.
• Теория возмущений: разложение функционального интеграла в ряд по константе связи порождает диаграммы Фейнмана. В отличие от операторного подхода, здесь не требуется нормальное упорядочение, что упрощает вывод правил Фейнмана.

¶Ограничения и сложности

• Сходимость: функциональный интеграл в пространстве Минковского является осциллирующим, что затрудняет его строгое математическое определение. Переход к евклидову пространству решает проблему сходимости, но требует аналитического продолжения обратно.
• Регуляризация: необходимость регуляризации и перенормировки делает вычисления громоздкими, особенно для неперенормируемых теорий (например, гравитации).
• Вычислительная сложность: для взаимодействующих полей точное вычисление функционального интеграла возможно только в редких случаях (интегрируемые модели). Численные методы (квантовый Монте-Карло) требуют больших вычислительных ресурсов и страдают от проблемы знака для фермионов.
• Непертурбативные эффекты: метод функционального интегрирования позволяет описывать непертурбативные явления (инстантоны, конфайнмент), но их строгий анализ часто требует решёточных симуляций или приближённых методов (например, больших N).

¶Значение в современной физике

Метод функционального интегрирования является одним из центральных инструментов теоретической физики. Он лежит в основе стандартной модели, квантовой хромодинамики, теории струн и квантовой гравитации (подходы с интегралом по траекториям для метрики). В последние десятилетия метод активно используется в физике конденсированного состояния для изучения топологических фаз (квантовый эффект Холла, топологические изоляторы) и в квантовой информации (интеграл по траекториям для квантовых вычислений).

¶Источники

• Фейнман Р., Хибс А. Квантовая механика и интегралы по траекториям. — М.: Мир, 1968.
• Пескин М., Шрёдер Д. Введение в квантовую теорию поля. — Ижевск: РХД, 2001.
• Вайнберг С. Квантовая теория поля. Т. 1—2. — М.: Физматлит, 2003.
• Займан Дж. Модели беспорядка. — М.: Мир, 1982.
• Polyakov A. M. Gauge Fields and Strings. — Harwood Academic Publishers, 1987.