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

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

ВНИМАНИЕ. Статья не полностью отражает современное состояние вопроса, содержит существенные пробелы и неточности. //7 янв 2010

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

$\Delta x\cdot\Delta p_x \geqslant \frac{\hbar}{2}$

Принцип неопределённости

Введение Математические основы

Основа Классическая механика · Постоянная Планка · Интерференция · Бра и кет · Гамильтониан Фундаментальные понятия Квантовое состояние · Квантовая наблюдаемая · Волновая функция · Квантовая суперпозиция · Квантовая сцепленность · Смешанное состояние · Измерение · Неопределённость · Принцип Паули · Дуализм · Декогеренция · Теорема Эренфеста · Туннельный эффект Эксперименты Опыт Дэвиссона — Джермера · Опыт Поппера · Опыт Штерна — Герлаха · Опыт Юнга · Проверка неравенств Белла · Фотоэффект · Эффект Комптона Формулировки Представление Шрёдингера · Представление Гейзенберга · Представление взаимодействия · Матричная квантовая механика · Интегралы по траекториям · Диаграммы Фейнмана Уравнения Уравнение Шрёдингера · Уравнение Паули · Уравнение Клейна — Гордона · Уравнение Дирака · Уравнение фон Неймана · Уравнение Блоха · Уравнение Линдблада · Уравнение Гейзенберга Интерпретации Копенгагенская · Теория скрытых параметров · Многомировая Развитие теории Квантовая теория поля · Квантовая электродинамика · Теория Глэшоу — Вайнберга — Салама · Квантовая хромодинамика · Стандартная модель · Квантовая гравитация Сложные темы Квантовая теория поля · Квантовая гравитация · Теория всего Известные учёные Планк · Эйнштейн · Шрёдингер · Гейзенберг · Йордан · Бор · Паули · Дирак · Фок · Борн · де Бройль · Ландау · Фейнман · Бом · Эверетт

См. также: Портал:Физика

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

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

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

Интеграл по траекториям также относится к квантовым и стохастическим процессам, и это обеспечило базис для великого синтеза 1970-х, которое объединило квантовую теорию поля со статистической теорией флуктуаций поля вблизи фазовых переходов второго рода. Уравнение Шредингера при этом является уравнением диффузии с мнимым коэффициентом диффузии, а интеграл по траекториям — аналитическим продолжением метода суммирования всех возможных путей. По этой причине интегралы по траекториям были использованы для изучения броуновского движения и диффузии немного ранее, чем они были представлены в квантовую механику^[1].

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

Недавно определение интегралов по траекториям было расширено таким образом, чтобы помимо броуновского движения они могли описывать также и полеты Леви. Формулировка через интегралы по траекториям Леви ведет к дробной квантовой механике и дробному расширению уравнения Шредингера^[2].

Основы математической теории функциональных интегралов см.^[3]

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

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

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

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

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

$\varepsilon H = p (q(t+\varepsilon) - q(t)) - \varepsilon L \,$

и

$p = {\partial L \over \partial \dot{q} } \,$

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

$\varepsilon L = p \varepsilon \dot{q} - \varepsilon H \,$

где

$\dot q = {\partial H \over \partial p} \,$

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

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

$e^{-i[ p \{q(t+\varepsilon) - q(t)\} - \varepsilon H(p,q) ]}\,$

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

$e^{-ip q(t)} \,$

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

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

$e^{-i\varepsilon H(p,q)} \,$

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

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

$e^{i p q(t+\varepsilon)} \,$

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

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

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

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

$e^{i\varepsilon S} \,$

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

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

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

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

1. Вероятность события получается как квадрат длины комплексного числа, называемого "амплитудой".

2. Амплитуда получается сложением вместе вкладов всех историй в конфигурационном пространстве.

3. Вклад истории в амплитуду пропорционален $e^{i S/\hbar}$, где $\hbar$ — постоянная Планка, которая может быть положена равной единице выбором системы единиц измерения, тогда как S — действие этой истории, даваемое временным интегралом от лагранжиана вдоль соответствующего пути.

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

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

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

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

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

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

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

Приближение для интеграла по траекториям пропорционально выражению:

$\int\limits_{x_1=x_a}^{x_1=x_b} \ldots \int\limits_{x_n=x_a}^{x_n=x_b} \ \exp \left(\frac{{\rm i}}{\hbar}\int\limits_{t_a}^{t_b} \mathcal L(x(t),v(t), t)\,\mathrm{d}t\right) \, \mathrm{d}x_n \cdots \mathrm{d}x_{1}$,

где $\mathcal L(x,v,t)$ — лагранжиан одномерной системы, зависящий от пространственной переменной x(t) и скорости $v=\dot x(t)$, а $\mathrm{d}x_j$ соответствует положению на j-ом временном шаге, если временной интеграл приближать суммой n слагаемых.

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

В действительности, $\mathcal L$ — классический лагранжиан рассматриваемой одномерной системы, $\mathcal L(x,\dot x, t)=p \dot x -\mathcal H(x,p,t)$, где $\mathcal H$ — гамильтониан (p — импульс, по определению равный $\left. p=\frac {\partial \mathcal L}{\partial \dot x} \right) \!\!,$ и вышеупомянутое «зигзагирование» соответствует появлению слагаемых:

$\exp\left (\frac{{\rm i}}{\hbar}\,\varepsilon \cdot \sum_{j=1}^{n}\mathcal L(\tilde x_{j},\frac{x_j-x_{j-1}}{\varepsilon},j)\right)$,

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

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

Фейнмановское приближение квантования времени, однако, не существует для наиболее важных квантово-механических интегралов по траекториям для атомов из-за сингулярности кулоновского потенциала $e^2/r \,$ в нуле. Только после замены времени t на другой зависящий от траектории параметр («псевдовремя») $s=\int dt/r(t)$, сингулярность устраняется, и приближение квантования времени существует, которое точно интегрируемо, так как оно может быть сделано гармоничным с помощью простого преобразования координат, как было показано İsmail Hakkı Duru и Hagen Kleinert в 1979 году. Совместное применение преобразования время—«псевдовремя» и преобразований координат является важным методом для вычисления многих интегралов по траекториям и называется преобразованием Duru-Kleinert.

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

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

$S= \int {\dot{x}^2\over 2} dt \,$

интеграл может быть найден явно.

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

$K(x-y;T) = \int_{x(0)=x}^{x(T)=y} e^{-\int_0^T {\dot{x}^2\over 2} dt} Dx \,$

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

$K(x,y;T) = \int_{x(0)=x}^{x(T)=y} \Pi_t e^{-{1\over 2} ({x(t+\varepsilon) -x(t) \over \varepsilon})^2 \varepsilon } Dx \,$

где Dx интерпретируется как конечная коллекция интегрирований на каждом целом множителе ε. Каждый множитель в произведении является Гауссианом как функцией от x(t + ε) центрированной в x(t) с вариацией ε. Множественные интегралы - это повторяющиеся искривления этого Гауссиана Gε с копиями самого себя в смежные времена.

$K(x-y;T) = G_\varepsilon*G_\varepsilon ... *G_\varepsilon \,$

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

$\tilde{K}(p;T) = \tilde{G}_\varepsilon(p)^{T \over \varepsilon} \,$

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

$\tilde{G}_\varepsilon(p) = e^{-\varepsilon {p^2\over 2} } \,$

и результат:

$\tilde{K}(p;T) = e^{-T {p^2 \over 2}} \,$

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

$K(x-y;T) \propto e^{ -(x-y)^2\over 2T} \,$

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

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

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

$\int K(x-y;T) dy = 1 \,$

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

${d\over dt} K(x;T) = {\nabla^2 \over 2} K \,$

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

$K(x-y;T) \propto e^{i(x-y)^2 \over 2T} \,$

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

${d\over dt} K(x;T) = {\rm i} {\nabla^2 \over 2} K \,$

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

$\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 \,$

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

${\rm i}{\partial \over \partial t} \psi_t = - {\nabla^2\over 2} \psi_t \,$

Ссылки

1. ↑ Kleinert, H.: Gauge Fields in Condensed Matter, Vol. I, Chapter 6, World Scientific (Singapore, 1989); Paperback ISBN 9971-5-0210-0 (also available online: Vol. I)
2. ↑ Laskin N. (2000), "Fractional Quantum Mechanics," Physical Review E62: 3135-3145. (статья на arxiv.org: http://arxiv.org/abs/0811.1769 )
3. ↑ Смолянов О.Г., Шавгулидзе Е.Т. Континуальные интегралы. Москва, изд-во МГУ, 1990. http://lib.mexmat.ru/books/5132

См. также

• Принцип Гюйгенса — Френеля
• Принцип Ферма
• Уравнение Гамильтона — Якоби
• Фейнмановские диаграммы

Литература

• 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 с.
• Статья в Физической энциклопедии (А. А. Славнов): http://femto.com.ua/articles/part_2/4433.html

У этой статьи нет иллюстраций. Вы можете помочь проекту, добавив их (с соблюдением правил использования изображений). Для поиска иллюстраций можно: попробовать воспользоваться инструментом FIST: нажмите эту ссылку, чтобы начать поиск; попытаться найти изображение на Викискладе; просмотреть иноязычные варианты статьи (если они есть); см. также Википедия:Источники изображений.

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 15 мая 2011.