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

Функциональный интеграл (континуальный интеграл, интеграл по траекториям, фейнмановский интеграл по траекториям) — запись или результат функционального интегрирования (интегрирования по траекториям). Находит наибольшее применение в квантовой физике (квантовой теории поля, Теории струн и т. д.) и статиcтической физике, а также при изучении ряда классов стохастических процессов вообще. Основы математической теории функциональных интегралов см. в^[1]

Под функциональным интегрированием формально имеется в виду вычисление интеграла некоторого функционала Ф по пространству функций x(t) или какому-то подмножеству^[2] такого пространства:

$\int D x\ \Phi[x]$,

который определяется как предел (конечномерного) интеграла по пространству неких конечномерных аппроксимаций функций x(t) при стремлении размерности этих аппроксимаций к бесконечности; обычный и наиболее простой способ заключается в рассмотрении функции x на конечном множестве точек $t_1, t_2,\dots,t_N$, определяя тогда функциональный интеграл в простейшем случае равномерного разбиения, которым можно и ограничиться, как

$\lim_{N\rightarrow}\int\int\dots\int dx_1 dx_2 \dots dx_N \Phi[{x_1,x_2,\dots,x_N}],$

где под $\Phi[{x_1,x_2,\dots,x_N}]$ имеется в виду соответствующая аппроксимация функционала Ф[x], интегрирование же подразумевается отдельно по $x_1, x_2, \dots,x_N$ от $-\infty$ до $+\infty$ (в случае фиксированных $x_1$ и $x_N$ по ним интегрировать не нужно).

Корректность уже этого определения находится под вопросом в том смысле, что не доказано даже для многих из тех случаев, которые представляют физический интерес, не говоря уж о более общей постановке вопроса, само существование предела (в частности, его одинаковость при выборе разных типов разбиения; более того, в ряде примеров разные типы дают разный результат) и нет во многих случаях способа указания четких критериев выбора «правильного» типа разбиения, который приведет именно к нужному результату, а значит корректность определения меры интегрирования не доказана даже для многих из тех случаев, которые представляют физический интерес, по крайней мере в обычном смысле.

Также серьёзную трудность представляет точное вычисление таких интегралов (за исключением гауссова случая).

Тем не менее, уже то, что точно вычисляются хотя бы интегралы гауссова типа, дает очень много для применения метода функционального интегрирования. В частности, этот результат можно принять за определение функционального интеграла для этого случая и доказать, что, будучи так определенным, он действительно обладает свойствами интеграла: допускает интегрирование по частям, замены переменных и т. д.^[3]

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

Основное применение

Модели

Обычное случайное блуждание способно порождать при переформулировке интеграл по траекториям с определенным действием. Это в общем-то сравнительно очевидно в простых случаях.

Было показано, что подобный способ порождения континуального интеграла с обычным действием работает и в двумерном случае — для получения действия для струны (двумерного объекта, учитывая временное измерение).

Физические аналогии

Аналогией интеграла по траекториям для точечной частицы является статистическая сумма (статистический вес) для полимерной нити.^[4]

Вычисление

Точное вычисление

Как уже упоминалось выше, точное вычисление функционального интеграла вида

$\int Dx\ e^{kS[x]},$

где k может быть чисто мнимым в квантовом случае или действительным в случае классической диффузии, возможно лишь в случае, когда он относится к гауссовскому типу, то есть, когда действие S квадратично по x (лагранжиан квадратичен по x и его производным, или, может быть, еще в некоторых подобных случаях: главное, чтобы S было квадратичной формой, в вещественном случае отрицательно определенной).

Способ сводится к написанию дискретного варианта, в соответствии с определением в начале статьи. Затем (обычные) интегралы, входящие в формулу, точно берутся (как гауссовы), и тогда можно перейти к пределу.

Приближенное вычисление

Численные методы

Вычислительные методы, связанные с нахождением значений континуальных интегралов при помощи ЭВМ, в том числе квадратурные формулы типа формул Симпсона и другие методы к 2010 году разработаны довольно обширно, хотя используются в основном лишь узкими специалистами и в большинстве своём не известны физикам. Подробнее см. введение и список литературы в диссертации Ю. Ю. Лобанова.

История

Первое появление интегралов по траекториям относится, по-видимому, к работам Эйнштейна и Смолуховского^{[уточнить]} по теории броуновского движения.

Основы математической теории таких интегралов связаны с работами Винера 1920-х годов. Однако до сих пор строгая и достаточно полная их математическая теория встречается с существенными трудностями (связанными с вопросом корректного введения меры на пространстве функций, с проблемой доказательства независимости предела от типа разбиения в достаточно общем случае).

В 1933 году (в работе «Лагранжиан в квантовой механике») Дирак предложил идею использования интеграла по траекториям в квантовой механике.

Фейнман в конце 1940-х реализовал эту программу, разработав формализм континуального интеграла, оказавшийся крайне плодотворным в теоретической физике. Это означало появление технически нового (имевшего — кроме чисто технических — к тому же ряд интуитивных преимуществ) метода построения квантовых теорий, ставшего впоследствии едва ли не самым популярным среди теоретиков. Уже сам Фейнман на основе формализма континуального интеграла построил такую базовую технику квантовой теории поля, как диаграммы Фейнмана.

С помощью использования континуального интеграла были получены такие фундаментальные результаты, как, например, доказательство перенормируемости теории Янга — Миллса (Фаддеевым и Поповым).

См. также

• Формулировка через интегралы по траекториям

Примечания

1. ↑ Смолянов О. Г., Шавгулидзе Е. Т. Континуальные интегралы. Москва, изд-во МГУ, 1990. http://lib.mexmat.ru/books/5132
2. ↑ Наиболее типичный пример области интегрирования в пространстве функций является множество всех функций заданного пространства, удовлетворяющих условию фиксирования их значения в двух точках (на концах отрезка).
3. ↑ Статья в Физической энциклопедии (А. А. Славнов)
4. ↑ Поляков, А. Калибровочные поля и струны. — М.: ИТФ, 1995.

Литература

• Simon B. Functional Integration and Quantum Physics. — Academic Press, 1979.
• Березин Ф. А. Метод вторичного квантования. — М.: Наука, 1986. — 320 с.
• Зинн-Жюстен Ж. Континуальный интеграл в квантовой механике. — М.: Физматлит, 2010. — 360 с.
• Лобанов Ю. Ю. Методы приближенного функционального интегрирования для численного исследования моделей в квантовой физике (диссертация на соискание ученой степени доктора физико-математических наук). — М., 2009.
• Поляков А. М. Калибровочные поля и струны. — Ижевск: РХД, 1999. — 316 с.
• Попов В. Н. Континуальные интегралы в квантовой теории поля и статистической механике. — М.: Атомиздат, 1976. — 256 с.
• Славнов А. А., Фаддеев Л. Д. Введение в квантовую теорию калибровочных полей. — М.: Наука, 1988. — 272 с.
• Смолянов О. Г., Шавгулидзе Е. Т. Континуальные интегралы. — М.: Наука, 1990. — 150 с.
• Фейнман Р., Хибс А. Квантовая механика и интегралы по траекториям. — М.: Мир, 1968. — 384 с.
• Шестакова Т. П. Метод континуального интеграла в квантовой теории поля. — Ижевск: ИКИ, 2005. — 228 с.