Просмотр кода страницы Формулировка квантовой теории через интегралы по траекториям

{{Квантовая механика}}
'''Формулировка [[Квантовая механика|квантовой механики]] через интеграл по траекториям''' — описание квантовой теории, которое обобщает [[Принцип наименьшего действия|принцип действия]] [[Классическая механика|классической механики]]. Оно замещает классическое определение одиночной, уникальной [[траектория|траектории]] системы полной суммой (функциональным интегралом) по бесконечному множеству всевозможных траекторий для расчёта квантовой амплитуды. Методологически формулировка через интеграл по траекториям близка к [[Принцип Гюйгенса — Френеля|принципу Гюйгенса — Френеля]] из классической теории [[волна|волн]].

Формулировка через интеграл по траекториям была развита в 1948 году [[Ричард Фейнман|Ричардом Фейнманом]]. Некоторые предварительные моменты были разработаны ранее, при написании его диссертации под руководством [[Уилер, Джон Арчибальд|Джона Арчибальда Уилера]].

Эта формулировка была ключевой для последующего развития [[теоретическая физика|теоретической физики]], так как она явно симметрична во времени и пространстве (лоренц-ковариантна). Непохожий на предыдущие методы, интеграл по траекториям позволяет физику легко переходить от одних координат к другим при каноническом описании одной и той же квантовой системы.

Интеграл по траекториям также относится к квантовым и стохастическим процессам, и это обеспечило базис для великого синтеза 1970-х годов, который объединил [[Квантовая теория поля|квантовую теорию поля]] со [[статистическая теория поля|статистической теорией]] флуктуаций поля вблизи [[фазовый переход второго рода|фазовых переходов второго рода]]. [[Уравнение Шрёдингера]] при этом является [[уравнение диффузии|уравнением диффузии]] с мнимым [[коэффициент диффузии|коэффициентом диффузии]], а интеграл по траекториям — аналитическим продолжением метода суммирования всех возможных путей. По этой причине интегралы по траекториям были использованы для изучения [[броуновское движение|броуновского движения]] и [[диффузия|диффузии]] немного ранее, чем они были представлены в квантовую механику<ref>{{книга |автор=Kleinert, H. |заглавие=Gauge Fields in Condensed Matter |язык=en |том=I |глава=6 |ссылка=http://www.worldscibooks.com/physics/0356.htm |издательство=World Scientific |место=Singapore |год=1989 |ISBN=9971-5-0210-0 |archive-date=2006-05-14 |archive-url=https://archive.today/20060514143926/http://www.worldscibooks.com/physics/0356.htm }} {{Cite web |url=http://www.worldscibooks.com/physics/0356.htm |title=Архивированная копия |accessdate=2009-09-20 |archive-date=2006-05-14 |archive-url=https://archive.today/20060514143926/http://www.worldscibooks.com/physics/0356.htm |deadlink=yes }} Also available online: [http://www.physik.fu-berlin.de/~kleinert/kleiner_reb1/contents1.html Vol. I] {{Wayback|url=http://www.physik.fu-berlin.de/~kleinert/kleiner_reb1/contents1.html |date=20080527174206 }}.</ref>.

[[Image:Three paths from A to B.png|thumbnail|250px|Три траектории из многих, создающие вклад в вероятность перемещения квантовой частицы из точки A в точку B]]

Недавно определение интегралов по траекториям было расширено таким образом, чтобы помимо описанного ранее броуновского движения они могли описывать также и [[полёты Леви]]. Формулировка через интегралы по траекториям Леви ведёт к [[дробная квантовая механика|дробной квантовой механике]] и дробному расширению уравнения Шрёдингера<ref>{{статья |автор=Laskin N |год=2000 |заглавие=Fractional Quantum Mechanics |издание=Physical Review E |том=62 |страницы=3135—3145 |doi=10.1103/PhysRevE.62.3135}} {{arxiv|0811.1769}}.</ref>.
<!-- [К чему это тут? И почему так коряво написано?]
Основы математической теории функциональных интегралов см.<ref>Смолянов О. Г., Шавгулидзе Е. Т. Континуальные интегралы. Москва, изд-во МГУ, 1990. http://lib.mexmat.ru/books/5132</ref>
-->

== Квантовый принцип действия ==

В традиционной [[квантовая механика|квантовой механике]] [[Гамильтониан (квантовая механика)|гамильтониан]] представляет собой [[Генераторы группы|генератор бесконечно малых (инфинитезимальных)]] временных трансляций (например, в пространстве состояний квантовомеханической системы). Это означает, что состояние через бесконечно малое время <math>dt</math> отличается от состояния в данный момент времени на величину, равную произведению <math>-i</math> на <math>dt</math> на действие оператора Гамильтона на это состояние. Для состояний с определённой энергией это выражает соотношение [[де Бройль|де Бройля]] между [[частота|частотой]] и [[энергия|энергией]], а общее отношение согласуется с ним с учётом [[принцип суперпозиции|принципа суперпозиции]].

Но гамильтониан в классической механике выводится из [[лагранжиан]]а, который является более фундаментальной величиной в соответствии со [[Специальная теория относительности|специальной теорией относительности]]. Гамильтониан описывает развитие системы во времени, но представление о времени изменяется при переходе от одной системы отсчёта к другой. Таким образом, гамильтониан различен для разных систем отсчёта, и в начальной формулировке квантовой механики её [[Лоренц-инвариантность]] не очевидна.

Гамильтониан является функцией координат и импульсов, и по нему определяются координаты и импульсы в более поздний момент времени. Лагранжиан — это функция координат в данный момент и координат немного позднее (или, эквивалентно для бесконечно малых промежутков времени, это есть функция координат и скорости). Первый и второй связаны преобразованием Лежандра, и условие, определяющее классические уравнения движения, — это условие на минимум [[Действие (механика)|действия]].

В квантовой механике [[преобразование Лежандра]] трудно интерпретировать, так как движение происходит не по определённой траектории. В классической механике с дискретизацией по времени

: <math>
 \varepsilon H = p\big(q(t + \varepsilon) - q(t)\big) - \varepsilon L,
</math> 

и

: <math>
 p = \frac{\partial L}{\partial\dot{q}},
</math>

где частная производная по ''q'' оставляет ''q''(''t'' + ''ε'') фиксированным. Обратное преобразование Лежандра:

: <math>
 \varepsilon L = p \varepsilon \dot{q} - \varepsilon H,
</math>

где

: <math>
 \dot q = \frac{\partial H}{\partial p},
</math>

и частная производная теперь берётся по ''p'' при фиксированном ''q''.

В квантовой механике состояние является суперпозицией разных состояний с разными значениями ''q'' или разными значениями ''p'', а величины ''p'' и ''q'' могут быть интерпретированы как некоммутирующие операторы. Оператор ''p'' имеет определённое значение только на состояниях, которые не имеют определённого ''q''. Тогда представим два состояния, разделённых во времени, и подействуем на них оператором, соответствующим лагранжиану:

:<math>
 e^{i[p\{q(t + \varepsilon) - q(t)\} - \varepsilon H(p, q)]}.
</math>

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

: <math>
 e^{-ip q(t)}
</math>

и сумма по всем состояниям интегрируется по всем значениям ''q''(''t'') — таким образом производится [[преобразование Фурье]] к переменной ''p''(''t''). Это действие производится над [[гильбертово пространство|гильбертовым пространством]] — переход к переменной ''p''(''t'') в момент времени ''t''.

Далее следует множитель

: <math>
 e^{-i\varepsilon H(p, q)},
</math>

описывающий эволюцию системы за бесконечно малый промежуток времени.

И последний множитель в этой интерпретации:

: <math>
 e^{ipq(t + \varepsilon)},
</math>

производящий изменение базиса обратно к ''q''(''t''), но уже в более поздний момент времени.

Это не сильно отличается от обычной эволюции во времени: ''H'' содержит всю динамическую информацию — он толкает состояние вперёд во времени. Первая и последняя части совершают [[преобразование Фурье]] к промежуточной переменной ''p''(''t'') и обратно.

Гамильтониан — функция ''p'' и ''q'', поэтому экспонирование этой величины и изменение базиса с ''p'' на ''q'' на каждом шаге позволяет выражать матричный элемент ''H'' как простую функцию вдоль каждого пути. Эта функция является квантовым аналогом классического действия. Данное наблюдение впервые сделано [[Дирак, Поль|Дираком]].

Дирак позднее заметил, что можно взять квадрат оператора эволюции в ''S''-представлении:

: <math>
 e^{i\varepsilon S},
</math>

получая тем самым оператор эволюции от времени ''t'' к времени ''t'' + 2ε. В то время как в ''H''-представлении величина, которая суммируется по промежуточным состояниям, является неочевидным матричным элементом, в ''S''-представлении она ассоциируется с путём. В пределе большой степени этого оператора он реконструирует полную эволюцию между двумя состояниями: ранним, которому соответствуют фиксированные значения координат ''q''(0), и поздним — с фиксированным ''q''(''t''). Результат является суммой по путям с фазой, являющейся квантовым действием.

== Интерпретация Фейнмана ==

Работа Дирака не давала точного алгоритма расчёта сумм по путям, и она не показывала, как можно из этого подхода получить [[уравнение Шрёдингера]] или канонические коммутационные соотношения. Это было сделано Фейнманом.

[[Фейнман, Ричард Филлипс|Фейнман]] показал, что квант действия Дирака в большинстве интересных случаев просто равен классическому действию, соответственно дискретизированному. Это означает, что классическое действие является фазой, набегающей при квантовой эволюции между двумя фиксированными конечными точками. Он предложил вывести всю квантовую механику из следующих постулатов:

# Вероятность события получается как квадрат модуля комплексного числа, называемого «амплитудой».
# Амплитуда получается сложением вместе вкладов всех историй в конфигурационном пространстве.
# Вклад истории в амплитуду пропорционален <math>e^{i S/\hbar}</math>, где <math>\hbar</math> — [[постоянная Планка]], которая может быть положена равной единице выбором системы единиц измерения, тогда как ''S'' — действие этой истории, даваемое временны́м интегралом от лагранжиана вдоль соответствующего пути.

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

Фейнман показал, что эта формулировка квантовой механики эквивалентна каноническому подходу к квантовой механике, когда Гамильтониан квадратичен по импульсу. Амплитуда, вычисленная согласно фейнмановским принципам, также порождает уравнение Шрёдингера для гамильтониана, соответствующего данному действию.

Классические принципы действия ведут к затруднению из-за своей идеальности: вместо того, чтобы предсказывать будущее из начальных условий, они предсказывают путь к заданному будущему через комбинацию начальных и конечных условий, как если бы система каким-то образом знала, в какое состояние она должна прийти. Интеграл по траекториям объясняет работу классического принципа действия в терминах квантовой суперпозиции. Система не обязана знать заранее, куда она движется — интеграл по траекториям просто вычисляет амплитуду вероятности для любого заданного процесса, и траектория идёт по всем возможным направлениям. Однако спустя достаточно долгое время эффекты интерференции гарантируют, что только вклады от стационарных точек действия дают истории со значимыми вероятностями. Стационарные же точки действия соответствуют классическим траекториям, так что система в среднем движется по классическому пути.

== Точная формулировка ==

Постулаты Фейнмана могут быть интерпретированы следующим образом:

=== Квантование времени ===

Для частицы, находящейся в гладком потенциале, интеграл по траекториям, который в одномерном случае является произведением обыкновенных интегралов, приближают зигзагообразными путями. При движении частицы из положения <math>x = x_a</math> в момент времени <math>t = t_a</math> в точку <math>x = x_b</math> при <math>t = t_b</math> временная последовательность <math>t_a < t_1 < \ldots < t_{n-1} < t_n < t_b</math> может быть разделена на ''n'' малых сегментов <math>t_j - t_{j-1},\ j = 1, \dots, n</math> фиксированной длительности <math>\varepsilon \equiv \Delta t = \frac{t_b - t_a}{n + 1}</math> (одним оставшимся сегментом можно пренебречь, так как в конечном счёте рассматривается предел <math>n \to \infty </math>). Этот процесс называется квантованием времени.

Приближение для интеграла по траекториям пропорционально выражению
: <math>
 \int\limits_{x_1=x_a}^{x_1=x_b} \ldots \int\limits_{x_n=x_a}^{x_n=x_b} \exp\left(\frac{i}{\hbar} \int\limits_{t_a}^{t_b} \mathcal L\big(x(t), v(t), t\big) \,dt\right) \,dx_n \ldots dx_1,
</math>
где <math>\mathcal L(x, v, t)</math> — лагранжиан одномерной системы, зависящий от пространственной переменной ''x''(''t'') и скорости <math>v = \dot x(t)</math>, а <math>dx_j</math> соответствует положению на ''j''-м временном шаге, если временной интеграл приближать суммой ''n'' слагаемых.

В пределе при ''n'', стремящемся к бесконечности, это выражение становится [[Функциональный интеграл|функциональным интегралом]], который (не считая несущественного множителя) является непосредственно произведением амплитуд плотностей вероятности <math>\langle x_a, t_a|x_b, t_b\rangle</math> найти квантово-механическую частицу при <math>t = t_a</math> в начальном состоянии <math>x = x_a</math> и при <math>t = t_b</math> в конечном состоянии <math>x = x_b</math>.

В действительности, <math>\mathcal L</math> — классический лагранжиан рассматриваемой одномерной системы, <math>\mathcal L(x, \dot x, t) = p \dot x - \mathcal H(x, p, t)</math>, где <math>\mathcal H</math> — гамильтониан (''p'' — импульс, по определению равный <math>p = \partial \mathcal L / \partial \dot x,</math> и вышеупомянутое «зигзагирование» соответствует появлению слагаемых

: <math>
 \exp\left(\frac{i}{\hbar}\,\varepsilon \cdot \sum_{j=1}^n \mathcal L\left(\tilde x_j, \tfrac{x_j - x_{j-1}}{\varepsilon}, j\right)\right),
</math>

где <math>\tilde x_j \in [x_{j-1}, x_j]</math> — некоторая точка из соответствующего отрезка. Например, можно взять центр отрезка: <math>\tilde x_j = \tfrac{x_j + x_{j-1}}{2}</math>.

Таким образом, в отличие от классической механики, вклад даёт не только стационарная траектория, но, фактически, все виртуальные траектории между начальной и конечной точками.

Фейнмановское приближение квантования времени, однако, не существует для наиболее важных квантово-механических интегралов по траекториям для атомов из-за сингулярности кулоновского потенциала <math>e^2 / r</math> в нуле. Только после замены времени ''t'' на другой зависящий от траектории параметр («псевдовремя») <math>s = \int dt / r(t)</math> сингулярность устраняется, и приближение квантования времени существует, которое точно интегрируемо, так как оно может быть сделано гармоничным с помощью простого преобразования координат, как было показано İsmail Hakkı Duru и Hagen Kleinert в 1979 году<ref>{{статья |автор=I. H. Duru, H. Kleinert |заглавие=Solution of the path integral for the H-atom |язык=en |издание=Physics Letters B |том=84 |выпуск=2 |год=1979 |страницы=185—188 |doi=10.1016/0370-2693(79)90280-6}}</ref>. Совместное применение преобразования время — «псевдовремя» и преобразований координат является важным методом для вычисления многих интегралов по траекториям и называется преобразованием Duru — Kleinert.

=== Свободная частица ===
{{плохой перевод|date=2014-11-01}}

В представлении интеграла по траекториям квантовая амплитуда движется от точки ''x'' к точке ''y'' как интеграл по всем траекториям. Для свободной частицы действие ( <math>m = 1</math>, <math>\hbar = 1</math>) интеграл

: <math>
       S = \int {\dot{x}^2\over 2} dt
</math>

может быть найден явно.

Чтобы сделать это, концептуально удобно начать без множителя ''i'' в экспоненте, так что большие отклонения компенсируются малыми числами, а не отменой колеблющихся вкладов:

: <math>
       K(x-y; T) = \int_{x(0)=x}^{x(T)=y} e^{-\int_0^T {\dot{x}^2\over 2} dt} Dx.
</math>

Разбиваем интеграл на части:

: <math>
       K(x,y;T) = \int_{x(0)=x}^{x(T)=y} \Pi_t e^{-\frac12 \left({x(t+\varepsilon) - x(t) \over \varepsilon}\right)^2 \varepsilon}\,Dx,
</math>

где ''Dx'' интерпретируется как конечная коллекция интегрирований на каждом целом множителе ε. Каждый множитель в произведении является [[Гауссова функция|гауссианом]] как функцией от ''x''(''t'' + ''ε''), центрированным в ''x''(''t'') с вариацией ε. Множественные интегралы — это повторяющиеся [[Свёртка (математический анализ)|свёртки]] этого гауссиана ''G''<sub>ε</sub> с копиями самого себя в смежные времена:

: <math>
       K(x-y; T) = G_\varepsilon * G_\varepsilon * \dots * G_\varepsilon,
</math>

где число свёрток равно ''T''/ε. Результат легко получить, взяв преобразование Фурье обеих сторон, так что свёртки становятся умножениями:

: <math>
       \tilde{K}(p; T) = \tilde{G}_\varepsilon(p)^{T \over \varepsilon}.
</math>

Фурье-преобразование гауссиана ''G'' является другим гауссианом {{прояснить|обратной вариации}}:

: <math>
       \tilde{G}_\varepsilon(p) = e^{-\varepsilon {p^2\over 2}},
</math>

и результат

: <math>
       \tilde{K}(p; T) = e^{-T {p^2 \over 2}}.
</math>

Фурье-преобразование даёт ''К'', и это снова гауссиан с обратной вариацией:

:<math>
       K(x-y; T) \sim e^{-(x-y)^2\over 2T}.
</math>

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

Результат имеет вероятностную интерпретацию. Сумма по всем траекториям экспоненциального множителя может быть представлена как сумма по всем траекториям вероятности выбора данной траектории. Вероятность - это произведение по каждому сегменту вероятности выбора данного сегмента, так что каждый сегмент вероятностным образом независимо выбирается. Факт того, что ответ - Гауссиан, распространяющийся линейно во времени - центральная предельная теорема, которая может быть интерпретирована как первый исторической вывод статистического интеграла по траекториям.

Вероятностная интерпретация даёт естественный выбор нормировки. Интеграл по траекториям следует определять так, что:

: <math>        
       \int K(x-y;T) dy = 1 .
</math>

Это условие нормирует Гауссиан и образует ядро которое удовлетворяет уравнению диффузии:

: <math>        
       {d\over dt} K(x;T) = {\nabla^2 \over 2} K .
</math>

Для колеблющихся интегралов по траекториям, тех что с i в числителе, разбиение по времени образует искривляющиеся Гауссианы, так как раньше. Теперь, однако, продукт искривления в самой малой степени сингулярен так как он нуждается в осторожных лимитах для определения осциллирующих интегралов. Чтобы сделать факторы хорошо определёнными, наилегчайший путь заключается в том, чтобы прибавить маленькую мнимую часть к временному слагаемому ε. Тогда тот же искривляющий аргумент как раньше даёт ядро распространения:

: <math>        
       K(x-y;T) \propto e^{i(x-y)^2 \over 2T} .
</math>

Которое, с той же нормировкой что и раньше (не сумма-квадрат нормировкой! эта функция имеет расходящуюся норму), удовлетворяет свободному уравнению Шредингера

: <math>       
       {d\over dt} K(x;T) = {\rm i} {\nabla^2 \over 2} K .
</math>

Это означает, что любая суперпозиция К также будет удовлетворять тому же уравнению, линейно. Определяя

: <math> 
       \psi_t(y) = \int \psi_0(x) K(x-y;t) dx = \int \psi_0(x) \int_{x(0)=x}^{x(t)=y} e^{iS} Dx ,
</math>

тогда ψt удовлетворяет свободному уравнению Шредингера, также как К:

: <math>      
       {\rm i}{\partial \over \partial t} \psi_t = - {\nabla^2\over 2} \psi_t .
</math>

== Ссылки ==
{{примечания}}

== См. также ==
* [[Принцип Гюйгенса — Френеля]]
* [[Принцип Ферма]]
* [[Уравнение Гамильтона — Якоби]]
* [[Фейнмановские диаграммы]]
* [[Квантовополевая теория возмущений в статистической физике]]

== Литература ==
*  {{книга
|автор       = Simon B. 
|заглавие    = Functional Integration and Quantum Physics
|год         = 1979
|издательство = Academic Press
}}
* {{книга
 |автор        = Березин Ф. А.
 |заглавие     = Метод вторичного квантования
 |город        = М.
 |издательство = Наука
 |год          = 1986
 |страниц      = 320
 }}
* {{книга
 |автор        = Зинн-Жюстен Ж.
 |заглавие     = Континуальный интеграл в квантовой механике
 |город        = М.
 |издательство = Физматлит
 |год          = 2010
 |страниц      = 360
 }}
* {{статья
 |автор        = Лобанов Ю. Ю.
 |заглавие     = Методы приближенного функционального интегрирования для численного исследования моделей в квантовой физике (диссертация на соискание ученой степени доктора физико-математических наук)
 |место        = М.
 |год          = 2009
 }}
* {{книга
 |автор        = Поляков А. М.
 |заглавие     = Калибровочные поля и струны
 |город        = Ижевск
 |издательство = РХД
 |год          = 1999
 |страниц      = 316
 }}
* {{книга
 |автор        = Попов В. Н.
 |заглавие     = Континуальные интегралы в квантовой теории поля и статистической механике
 |город        = М.
 |издательство = [[Атомиздат]]
 |год          = 1976
 |страниц      = 256
 }}
* {{книга
 |автор        = Славнов А. А., Фаддеев Л. Д.
 |заглавие     = Введение в квантовую теорию калибровочных полей
 |город        = М.
 |издательство = Наука
 |год          = 1988
 |страниц      = 272
 }}
* {{книга
 |автор        = [[Смолянов, Олег Георгиевич|Смолянов О. Г.]], Шавгулидзе Е. Т.
 |заглавие     = Континуальные интегралы
 |город        = М.
 |издательство = Наука
 |год          = 1990
 |страниц      = 150
 }}
* {{книга
 |автор        = Фейнман Р., Хибс А.
 |заглавие     = Квантовая механика и интегралы по траекториям
 |город        = М.
 |издательство = Мир
 |год          = 1968
 |страниц      = 384
 }}
* {{книга |автор= Шестакова Т. П. |заглавие= Метод континуального интеграла в квантовой теории поля. Курс лекций |место= М. |издательство = Ин-т компьют. исслед. |год= 2005 |страниц= 228|isbn=5-939724-07-8|ref=Шестакова}}
* Статья в Физической энциклопедии (А. А. Славнов): http://femto.com.ua/articles/part_2/4433.html

<!-- статья недопереведена из английской википедии -->

{{Ричард Фейнман}}

{{Нет ссылок|дата=15 мая 2011}}

[[Категория:Интегралы]]
[[Категория:Квантовая механика]]