Формулировка интеграла по траектории - Path integral formulation

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

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

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

Основная идея формулировки интеграла по путям восходит к Норберту Винеру , который ввел интеграл Винера для решения задач диффузии и броуновского движения . Эта идея была распространена на использование лагранжиана в квантовой механике Полем Дираком в его статье 1933 года. Полный метод был разработан в 1948 году Ричардом Фейнманом . Некоторые предварительные сведения были разработаны ранее в его докторской работе под руководством Джона Арчибальда Уиллера . Первоначальная мотивация проистекала из желания получить квантово-механическую формулировку теории поглотителя Уиллера – Фейнмана с использованием лагранжиана (а не гамильтониана ) в качестве отправной точки.

Это пять из бесконечного множества путей, которыми частица может перемещаться из точки A в момент времени t в точку B в момент времени t '(> t). Пути, которые пересекаются друг с другом или идут в обратном направлении, не допускаются.

Принцип квантового действия

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

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

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

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

а также

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

куда

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

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

Если умножения, неявные в этой формуле, интерпретируются как умножения матриц , первым множителем будет

и если это также интерпретируется как умножение матриц, сумма по всем состояниям интегрируется по всем q ( t ) , и поэтому требуется преобразование Фурье в q ( t ), чтобы изменить базис на p ( t ) . Это действие в гильбертовом пространстве - сменить базис на p в момент t .

Далее идет

или переместите бесконечно малое время в будущее .

Наконец, последний фактор в этой интерпретации -

что означает изменение базы обратно на q позже .

Это не сильно отличается от обычной временной эволюции: фактор H содержит всю динамическую информацию - он продвигает состояние вперед во времени. Первая и последняя части - это просто преобразования Фурье для перехода к чистому базису q из промежуточного базиса p .

... мы видим, что подынтегральное выражение в (11) должно иметь вид e iF / h , где F - функция от q T , q 1 , q 2 ,… q m , q t , которая остается конечной при стремлении h до нуля. Теперь представим себе одно из промежуточных q s, скажем q k , непрерывно изменяющимся, в то время как другие фиксированы. Вследствие малости h в этом случае , как правило, F / h будет изменяться чрезвычайно быстро. Это означает, что e iF / h будет периодически изменяться с очень высокой частотой около нулевого значения, в результате чего его интеграл будет практически равен нулю. Только важная часть в области интеграции д к , таким образом , что , для которых сравнительно большое изменение ц к производит лишь очень небольшое изменение F . Эта часть является окрестностью точки, для которой F стационарно относительно малых изменений q k . Мы можем применить этот аргумент к каждой из переменных интегрирования ... и получить результат, что единственной важной частью в области интегрирования является та, для которой F является стационарным для небольших изменений всех промежуточных q s. ... Мы видим, что классическим аналогом F является т
т
L dt
, которая является просто функцией действия, которую классическая механика требует, чтобы она была стационарной при небольших изменениях всех промежуточных q s. Это показывает, как уравнение (11) переходит в классические результаты, когда h становится чрезвычайно малым.

Дирак (1933), стр. 69

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

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

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

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

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

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

  1. Вероятности для события задается квадратом модуля комплексного числа называется «амплитуда вероятности».
  2. Амплитуда вероятности задается путем суммирования вкладов всех путей в конфигурационном пространстве.
  3. Вклад пути пропорционален e iS / ħ , где S - действие, определяемое интегралом по времени лагранжиана вдоль пути.

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

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

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

Интеграл по путям в квантовой механике

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

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

Для частицы в гладком потенциале интеграл по путям аппроксимируется зигзагообразными путями, которые в одном измерении являются произведением обычных интегралов. Для движения частицы из положения x a в момент времени t a в x b в момент времени t b временная последовательность

можно разделить на n + 1 меньших сегментов t j - t j - 1 , где j = 1, ..., n + 1 , фиксированной продолжительности

Этот процесс называется квантованием времени .

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

где L ( x , v ) - лагранжиан одномерной системы с рассматриваемой переменной положения x ( t ) и скоростью v = ( t ) (см. ниже), а dx j соответствует положению на j- м временном шаге. , если интеграл по времени аппроксимирован суммой n членов.

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

Фактически L - классический лагранжиан рассматриваемой одномерной системы,

и вышеупомянутый «зигзаг» соответствует появлению терминов

в сумме Римана, приближающей интеграл по времени, которые, наконец, интегрируются по x 1 до x n с мерой интегрирования dx 1 ... dx n , j - произвольное значение интервала, соответствующего j , например его центр, х j + х j −1/2.

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

Интеграл по пути

В терминах волновой функции в представлении положения формула интеграла по путям выглядит следующим образом:

где обозначает интегрирование по всем путям с, а где - коэффициент нормализации. Вот действие, данное

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

Бесплатная частица

Представление интеграла по путям дает квантовую амплитуду для перехода от точки x к точке y в виде интеграла по всем путям. Для действия свободной частицы (для простоты пусть m = 1 , ħ = 1 )

интеграл можно вычислить явно.

Для этого удобно начать без множителя i в экспоненте, чтобы большие отклонения подавлялись малыми числами, а не подавлением колебательных вкладов. Амплитуда (или ядро) гласит:

Разбиение интеграла на временные отрезки:

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

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

Преобразование Фурье гауссова G - это еще один гауссиан обратной дисперсии:

и результат

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

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

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

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

Это условие нормализует гауссиан и дает ядро, которое подчиняется уравнению диффузии:

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

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

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

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

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

Лагранжиан для простого гармонического осциллятора имеет вид

Запишем его траекторию x ( t ) как классическую траекторию плюс некоторое возмущение, x ( t ) = x c ( t ) + δx ( t ) и действие как S = S c + δS . Классическую траекторию можно записать как

Эта траектория дает классическое действие

Затем разложите отклонение от классического пути в ряд Фурье и вычислите вклад в действие δS , которое дает

Это означает, что пропагатор

для некоторой нормализации

Используя представление функции sinc в виде бесконечного произведения ,

пропагатор можно записать как

Пусть T = t f - t i . Этот пропагатор можно записать в терминах собственных состояний энергии как

Используя тождества i sin ωT =1/2e iωT (1 - e −2 iωT ) и cos ωT =1/2e iωT (1 + e −2 iωT ) , это составляет

Можно поглотить все члены после первого e - iωT / 2 в R ( T ) , получив, таким образом,

Наконец, можно разложить R ( T ) по степеням e - iωT : все члены в этом разложении умножаются на множитель e - iωT / 2 спереди, давая члены вида

Сравнение с приведенным выше разложением по собственным состояниям дает стандартный энергетический спектр для простого гармонического осциллятора,

Кулоновский потенциал

Однако приближение Фейнмана с временным разрезом не существует для наиболее важных квантово-механических интегралов по траекториям атомов из-за сингулярности кулоновского потенциала. e 2/рв происхождении. Только после замены времени t другим параметром псевдовремени, зависящим от пути

сингулярность удаляется, и существует аппроксимация с временным разрезом, которая является точно интегрируемой, поскольку ее можно сделать гармонической с помощью простого преобразования координат, как было обнаружено в 1979 году Исмаилом Хакки Дуру и Хагеном Кляйнертом . Комбинация преобразования времени, зависящего от траектории, и преобразования координат является важным инструментом для решения многих интегралов по траектории и обычно называется преобразованием Дуру – Клейнерта .

Уравнение Шредингера

Интеграл по путям воспроизводит уравнение Шредингера для начального и конечного состояния даже при наличии потенциала. Это легче всего увидеть, взяв интеграл по путям по бесконечно малым промежуткам времени.

Поскольку временное разделение бесконечно мало , а подавляющие колебания становятся серьезными для больших значений , интеграл по путям имеет наибольший вес для y, близкого к x . В этом случае до низшего порядка потенциальная энергия постоянна, и только вклад кинетической энергии нетривиален. (Это разделение членов кинетической и потенциальной энергии в показателе экспоненты по сути является формулой произведения Троттера .) Показатель действия равен

Первый член поворачивает фазу ψ ( x ) локально на величину, пропорциональную потенциальной энергии. Второй член - это пропагатор свободных частиц, соответствующий i раз диффузионному процессу. В низшем порядке по ε они аддитивны; в любом случае с (1):

Как уже упоминалось, разброс ψ является диффузным из-за распространения свободных частиц с дополнительным бесконечно малым вращением по фазе, которое медленно изменяется от точки к точке в зависимости от потенциала:

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

Уравнения движения

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

Начнем с рассмотрения интеграла по путям с некоторым фиксированным начальным состоянием

Теперь x ( t ) в каждый отдельный момент времени является отдельной переменной интегрирования. Таким образом, можно изменять переменные в интеграле путем сдвига: x ( t ) = u ( t ) + ε ( t ), где ε ( t ) - это другой сдвиг в каждый момент времени, но ε (0) = ε ( T ) = 0 , поскольку конечные точки не интегрированы:

Изменение интеграла от сдвига до первого бесконечно малого порядка по ε :

что, интегрируя по частям по t , дает:

Но это был просто сдвиг переменных интегрирования, который не меняет значения интеграла при любом выборе ε ( t ) . Вывод состоит в том, что это изменение первого порядка равно нулю для произвольного начального состояния и в любой произвольный момент времени:

это уравнение движения Гейзенберга.

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

Приближение стационарной фазы

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

Канонические коммутационные соотношения

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

Чтобы убедиться в этом, рассмотрим простейший интеграл по путям - броуновское блуждание. Это еще не квантовая механика, поэтому в интеграле по путям действие не умножается на i :

Величина x ( t ) колеблется, а производная определяется как предел дискретной разности.

Расстояние, которое проходит случайное блуждание, пропорционально t , так что:

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

Величина xẋ неоднозначна, имеет два возможных значения:

В элементарном исчислении эти два параметра различаются только величиной, которая стремится к 0, когда ε стремится к 0. Но в этом случае разница между ними не равна 0:

Позволять

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

а уравнения движения для f, полученные в результате экстремизации действия S, соответствующего L, просто устанавливают его равным 1. В физике такая величина «равна 1 как операторное тождество». В математике он «слабо сходится к 1». В любом случае он равен 1 при любом ожидаемом значении или при усреднении по любому интервалу, или для всех практических целей.

Определение порядка времени , чтобы быть порядок оператора:

Это называется леммой Ито в стохастическом исчислении и (евклидовыми) каноническими коммутационными соотношениями в физике.

Для общего статистического действия аналогичный аргумент показывает, что

а в квантовой механике дополнительная мнимая единица действия преобразует это в каноническое коммутационное соотношение,

Частица в искривленном пространстве

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

Факторы теории меры

Иногда (например, частица, движущаяся в искривленном пространстве) в функциональный интеграл также входят факторы теории меры:

Этот фактор нужен для восстановления унитарности.

Например, если

тогда это означает, что каждый пространственный слой умножается на меру g . Эта мера не может быть выражена как функциональное умножение меры D x, потому что они принадлежат к совершенно разным классам.

Ожидаемые значения и матричные элементы

Такие матричные элементы имеют вид

.

Это обобщается на несколько операторов, например

,

и к общему математическому ожиданию

.

Евклидовы интегралы по траекториям

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

Вращение Вика и формула Фейнмана – Каца.

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

,

где - евклидово действие, задаваемое формулой

.

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

Теперь вклад кинетической энергии в интеграл по путям выглядит следующим образом:

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

Тогда у нас есть строгая версия интеграла по путям Фейнмана, известная как формула Фейнмана – Каца :

,

где теперь удовлетворяет повернутой по Вику версии уравнения Шредингера,

.

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

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

Интеграл по путям и статистическая сумма

Интеграл по путям - это просто обобщение указанного выше интеграла на все квантово-механические задачи:

является действием классической задачи, в которой исследуется путь, начинающийся в момент времени t = 0 и заканчивающийся в момент времени t = T , и обозначает интегрирование по всем путям. В классическом пределе путь минимального действия преобладает над интегралом, потому что фаза любого пути от него быстро флуктуирует и различные вклады сокращаются.

Связь со статистической механикой следует. Рассматривая только пути, которые начинаются и заканчиваются в одной и той же конфигурации, выполните вращение фитиля it = τ , т. Е. Сделайте время воображаемым и интегрируйте по всем возможным конфигурациям начала и конца. Интеграл по траекториям с вращением Вика, описанный в предыдущем подразделе, где обычное действие заменено его «евклидовым» аналогом, теперь напоминает статистическую сумму статистической механики, определенную в каноническом ансамбле с обратной температурой, пропорциональной мнимому времени,1/Т знак равно k B τ/час. Однако, строго говоря, это статистическая сумма статистической теории поля .

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

где состояние α эволюционирует с момента t = 0 . Если сделать здесь вращение по фитилю и найти амплитуду для перехода из любого состояния обратно в то же состояние за (мнимое) время, iT задается следующим образом:

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

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

Оба подхода к квантовой механике Шредингера и Гейзенберга выделяют время и не находятся в духе теории относительности. Например, подход Гейзенберга требует, чтобы операторы скалярного поля подчинялись коммутационному соотношению

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

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

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

Цена представления интеграла по путям состоит в том, что унитарность теории больше не является самоочевидной, но ее можно доказать, заменив переменные на некоторое каноническое представление. Сам интеграл по путям также имеет дело с более крупными математическими пространствами, чем обычно, что требует более тщательной математики, не все из которых были полностью разработаны. Исторически сложилось так, что интеграл по путям не был принят сразу, отчасти потому, что для правильного включения фермионов потребовалось много лет. Это потребовало от физиков изобрести совершенно новый математический объект - переменную Грассмана, - который также позволял изменять переменные естественным образом, а также допускал ограниченное квантование .

Переменные интегрирования в интеграле по путям слегка не коммутируют. Значение произведения двух операторов поля в том, что выглядит как одна и та же точка, зависит от того, как эти две точки упорядочены в пространстве и времени. Это приводит к тому, что некоторые наивные идентичности терпят неудачу .

Пропагатор

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

Нерелятивистская формулировка традиционно дается в терминах траекторий частиц, а не полей. Там интеграл по путям в обычных переменных с фиксированными граничными условиями дает амплитуду вероятности перехода частицы из точки x в точку y за время T :

Это называется пропагатором . Наложение различных значений начальной позиции x с произвольным начальным состоянием ψ 0 ( x ) строит конечное состояние:

Для пространственно однородной системы, где K ( x , y ) является только функцией ( x - y ) , интеграл представляет собой свертку , а конечное состояние - это начальное состояние, свёрнутое с пропагатором:

Для свободной частицы массы m пропагатор может быть вычислен либо явно из интеграла по путям, либо с учетом того, что уравнение Шредингера является уравнением диффузии в мнимом времени, и решение должно быть нормализованным гауссовым:

Взятие преобразования Фурье в ( x - y ) дает еще один гауссиан:

а в p- пространстве коэффициент пропорциональности здесь постоянен во времени, что мы сейчас проверим. Преобразование Фурье во времени, расширяющее K ( p ; T ) до нуля для отрицательных значений времени, дает функцию Грина или пропагатор частотного пространства:

который является обратным оператору, который аннулирует волновую функцию в уравнении Шредингера, которое не получилось бы правильным, если бы коэффициент пропорциональности не был постоянным в представлении p- пространства.

Бесконечно малый член в знаменателе - это небольшое положительное число, которое гарантирует, что обратное преобразование Фурье в E будет отличным от нуля только в будущем. В прошлые времена контур обратного преобразования Фурье замыкается к значениям E, где нет сингулярности. Это гарантирует , что K распространяется на частицу в будущем и является причиной подстрочный «F» на G . Бесконечно малый член можно интерпретировать как бесконечно малое вращение к мнимому времени.

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

Учитывая почти идентичное изменение только знака E и ε , параметр E в функции Грина может быть либо энергией, если пути идут в будущее, либо отрицательной величиной энергии, если пути идут в прошлое.

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

Приведенный выше интеграл нетривиально интерпретировать из-за квадратного корня. К счастью, есть эвристический трюк. Сумма соответствует релятивистской длине дуги пути колеблющейся величины, и, как и нерелятивистский интеграл по путям, следует интерпретировать как слегка повернутый в мнимое время. Функция K ( x - y , τ ) может быть вычислена, когда сумма вычисляется по путям в евклидовом пространстве:

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

Обычное определение релятивистского пропагатора требует, чтобы амплитуда перемещалась от x к y после суммирования всех возможных подходящих времен, которые это могло пройти:

где W (Τ) - весовой коэффициент, относительная важность путей разного собственного времени. Благодаря трансляционной симметрии в собственное время этот вес может быть только экспоненциальным множителем и может быть поглощен константой α :

Это представление Швингера . Сделав преобразование Фурье по переменной ( х - у ) может быть сделано для каждого значения Т по отдельности, а потому , что каждый отдельный Τ вклад является гауссовским, дает преобразование Фурье которой является еще одним гауссовым с обратной шириной. Таким образом, в p- пространстве пропагатор может быть просто перевыражен:

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

Это выражение можно интерпретировать в нерелятивистском пределе, где его удобно разбить на дробные части :

Для состояний, в которых присутствует одна нерелятивистская частица, исходная волновая функция имеет распределение частот, сосредоточенное около p 0 = m . При свертке с пропагатором, что в пространстве p просто означает умножение на пропагатор, второй член подавляется, а первый член усиливается. Для частот около p 0 = m доминирующий первый член имеет вид

Это выражение для нерелятивистской функции Грина свободной частицы Шредингера.

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

Правильный способ выразить это математически: при добавлении небольшого коэффициента подавления в собственное время предел, при котором t → −∞ первого члена, должен исчезнуть, а предел t → + ∞ второго члена должен исчезнуть. В преобразовании Фурье это означает небольшой сдвиг полюса в p 0 , так что обратное преобразование Фурье будет улавливать небольшой коэффициент затухания в одном из направлений времени:

Без этих членов нельзя было бы однозначно оценить полюсный вклад при выполнении обратного преобразования Фурье для p 0 . Термины можно перекомбинировать:

который при факторизации дает бесконечно малые члены противоположного знака в каждом множителе. Это математически точная форма пропагатора релятивистских частиц, лишенная каких-либо двусмысленностей. В & epsi термин представляет малую мнимая часть к & alpha ; = м 2 , который в варианте Минковского является небольшим экспоненциальным подавлением длинных путей.

Таким образом, в релятивистском случае представление пропагатора в виде интеграла по путям Фейнмана включает в себя пути, идущие назад во времени, которые описывают античастицы. Пути, которые вносят вклад в релятивистский пропагатор, идут вперед и назад во времени, и интерпретация этого заключается в том, что амплитуда для свободной частицы, перемещающейся между двумя точками, включает в себя амплитуды для частицы, которая флуктуирует в античастицу, перемещается назад во времени, а затем снова вперед.

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

Функционалы полей

Однако формулировка интеграла по путям также чрезвычайно важна в прямом приложении к квантовой теории поля, в которой рассматриваемые «траектории» или истории являются не движениями отдельной частицы, а возможными временными эволюциями поля во всем пространстве. Технически действие называется функционалом поля: S [ ϕ ] , где поле ϕ ( x μ ) само является функцией пространства и времени, а квадратные скобки напоминают, что действие зависит от всех параметров поля. ценности везде, а не только какую-то конкретную ценность. Одна такая заданная функция φ ( х μ ) из пространства - времени , называется конфигурация поля . В принципе, интегрируют амплитуду Фейнмана по классу всех возможных конфигураций поля.

Большая часть формального исследования КТП посвящена свойствам получаемого функционального интеграла, и было приложено много усилий (пока не совсем успешных), чтобы сделать эти функциональные интегралы математически точными.

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

Ожидание ценности

В квантовой теории поля , если действие определяется функциональной S полевых конфигураций (который зависит только локально на полях), то время упорядоченные вакуумное среднее из полиномиально ограниченного функционала F , F , задаются

Символ D ϕ здесь является кратким способом представления бесконечномерного интеграла по всем возможным конфигурациям поля во всем пространстве-времени. Как указано выше, простой интеграл по путям в знаменателе обеспечивает правильную нормализацию.

Как вероятность

Строго говоря, единственный вопрос, который можно задать в физике: какая доля состояний, удовлетворяющих условию A, также удовлетворяет условию B ? Ответом на это будет число от 0 до 1, которое можно интерпретировать как условную вероятность , записанную как P ( B | A ) . С точки зрения интегрирования по путям, поскольку P ( B | A ) =P ( AB/ P ( А ), это означает

где функционал O в [ ϕ ] - это суперпозиция всех входящих состояний, которые могут привести к интересующим нас состояниям. В частности, это может быть состояние, соответствующее состоянию Вселенной сразу после Большого взрыва , хотя для реальных Расчет этого можно упростить с помощью эвристических методов. Поскольку это выражение является частным от интегралов по путям, оно естественно нормализуется.

Уравнения Швингера – Дайсона

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

На языке функционального анализа уравнения Эйлера – Лагранжа можно записать в виде

(левая часть - функциональная производная ; уравнение означает, что действие стационарно при небольших изменениях конфигурации поля). Квантовые аналоги этих уравнений называются уравнениями Швингера – Дайсона .

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

который теперь становится

для некоторого H он стремится к нулю быстрее, чем обратная величина любого полинома для больших значений φ , тогда мы можем интегрировать по частям (после вращения Вика, а затем обратного вращения Вика), чтобы получить следующие уравнения Швингера-Дайсона для ожидание:

для любого полиномиально-ограниченного функционала F . В обозначениях ДеВитта это выглядит как

Эти уравнения являются аналогом уравнений ЭЛ на оболочке . Упорядочение по времени берется перед производными по времени внутри S , i .

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

Обратите внимание, что

или

куда

По сути, если D φ e i S [ φ ] рассматривается как функциональное распределение (это не следует воспринимать слишком буквально как интерпретацию QFT , в отличие от ее аналога статистической механики с вращением Вика , потому что здесь возникают сложности с упорядочением времени !) , то ф ( х 1 ) ... ф ( х п )⟩ являются его моментами , и Z является его преобразование Фурье .

Если F является функционалом от φ , то для оператора K , F [ K ] определяется как оператор, заменяющий K на φ . Например, если

и G функционал от J , то

Тогда из свойств функциональных интегралов

получаем «основное» уравнение Швингера – Дайсона:

или

Если функциональная мера не является трансляционно-инвариантной, ее можно было бы выразить как произведение M [ φ ] D φ , где M - функционал, а D φ - трансляционно-инвариантная мера. Это верно, например, для нелинейных сигма-моделей, где целевое пространство диффеоморфно R n . Однако, если целевое многообразие является топологически нетривиальным пространством, понятие сдвига даже не имеет смысла.

В этом случае нам пришлось бы заменить S в этом уравнении другим функционалом

Если мы разложим это уравнение в ряд Тейлора относительно J = 0, мы получим всю систему уравнений Швингера – Дайсона.

Локализация

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

Личности Уорда-Такахаши

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

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

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

Если мы не предполагаем никаких специальных граничных условий, это не будет «истинной» симметрией в истинном смысле этого слова в целом, если только f = 0 или что-то в этом роде. Здесь Q - это производное, которое генерирует рассматриваемую группу с одним параметром. У нас также могут быть антидеривации , такие как BRST и суперсимметрия .

Предположим также

для любого полиномиально-ограниченного функционала F . Это свойство называется инвариантностью меры. И это в целом не выполняется. Подробнее см. Аномалия (физика) .

Потом,

что подразумевает

где интеграл идет по границе. Это квантовый аналог теоремы Нётер.

Теперь предположим еще дальше, что Q - локальный интеграл

куда

так что

куда

(предполагается, что лагранжиан зависит только от φ и его первых частных производных! Более общие лагранжианы потребуют модификации этого определения!). Мы не настаиваем на том, что q ( x ) является генератором симметрии (т.е. мы не настаиваем на калибровочном принципе ), а просто на том, что Q является генератором симметрии . И мы также предполагаем еще более сильное предположение, что функциональная мера локально инвариантна:

Тогда у нас было бы

В качестве альтернативы,

Приведенные выше два уравнения являются тождествами Уорда – Такахаши .

Теперь для случая, когда f = 0 , мы можем забыть обо всех граничных условиях и предположениях о локальности. У нас просто было бы

В качестве альтернативы,

Предостережения

Потребность в регуляторах и перенормировке

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

Заказ рецепта

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

Интеграл по путям в квантово-механической интерпретации

В одной интерпретации квантовой механики , интерпретации «сумма по историям», интеграл по путям считается фундаментальным, а реальность рассматривается как единый неразличимый «класс» путей, которые все имеют одни и те же события. Для такой интерпретации очень важно понимать, что именно представляет собой событие. Метод суммирования историй дает те же результаты, что и каноническая квантовая механика, и Синха и Соркин утверждают, что эта интерпретация объясняет парадокс Эйнштейна-Подольского-Розена, не прибегая к нелокальности .

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

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

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

Квантовое туннелирование

Квантовое туннелирование можно смоделировать, используя формирование интеграла по путям для определения действия траектории через потенциальный барьер. Используя приближение ВКБ , скорость туннелирования ( Γ ) может быть определена как

с эффективным действием S eff и предэкспоненциальным множителем A o . Эта форма особенно полезна в диссипативной системе , в которой системы и окружение должны моделироваться вместе. Используя уравнение Ланжевена для моделирования броуновского движения , формирование интеграла по траекториям можно использовать для определения эффективного действия и предэкспоненциальную модель, чтобы увидеть влияние диссипации на туннелирование. С помощью этой модели можно предсказать скорость туннелирования макроскопических систем (при конечных температурах).

Смотрите также

Замечания

Примечания

использованная литература

внешние ссылки