Какие предположения о действии мы делаем или отбрасываем при переходе от классической механики к квантовой механике и к квантовой теории поля?

Я читаю «Квантовую теорию поля для одаренных любителей» и чувствую, что плохо понимаю, как лагранжиан и действие по-разному используются в (1) классической механике (2) квантовой механике и (3) квантовой теории поля. . Дело не столько в математике, сколько в том, что я не понимаю, что они представляют физически.

Например, в классической механике действие используется (например) по отношению к пути частицы. Другой пример, я знаком с классической электродинамикой и использую лагранжеву плотность л найти уравнения движения. Что касается квантовой механики, я думал, что мы не можем знать траекторию. Я думал, что мы полагались на теорию операторов, согласно которой мы | ψ ( т ) "=" U ( т ) | ψ ( 0 ) . Теперь в моей книге qft я слышу, что есть что-то, называемое распространителем. Первый пример, с которым я столкнулся, — это пропагатор волновой функции.  

ф ( Икс , т Икс ) "=" д у г + ( Икс , т Икс , у , т у ) ф ( у , т у )
где г + ( Икс , т Икс , у , т у ) "=" θ ( т Икс т у ) Икс ( т Икс ) | у ( т у ) И мы используем это в основном для определения амплитуды в точке ф ( у , т у ) а затем более поздний момент во временной эволюции ф ( Икс , т Икс ) системы. Я еще не дошел до понятия пропагаторов поля. Тем не менее, мне казалось, что я что-то понимаю. Но я немного пропустил вперед и нашел уравнение
г ( Икс , т Икс , у , т у ) "=" Д [ д ( т ) ] опыт ( я т Икс т у д т л [ д ( т ) ] )
Это предполагается использовать для суммирования всех возможных траекторий движения частицы между двумя точками пространства-времени. Но теперь я очень запутался, потому что думал, что мы не можем знать траектории в квантовой механике. И если мы не можем знать их в КМ, то уж точно не должны знать и в КТП. Тем не менее, этот интеграл, кажется, говорит, что мы суммируем по траекториям. Для меня это не имеет смысла, если я не могу знать траектории.

Мой вопрос

Может ли кто-нибудь кратко резюмировать, как по-разному используются понятия действия и лагранжиана?

Но интеграл проводится по всем траекториям с соответствующими граничными условиями, а не только по той, которая проверяет классические уравнения движения, и он дает [тавтологически, если вы определяете КМ из интеграла по путям] правильный квантовый пропагатор. Таким образом, вам не нужно знать траекторию, чтобы ввести ее в интеграл по путям, и он ее не создает.
Я не уверен, что понимаю, поэтому извините меня, если следующее не связано: связано ли это с идеей, что амплитуда может быть отличной от нуля вне переднего светового конуса? Или, скорее, подразумевает ли эта идея путь, не удовлетворяемый классическим действием, которое выполняется в КТП?
@StanShunpike: Это связано с принципом неопределенности.
@StanShunpike: я готовлю содержательный ответ. Чтобы действительно показать, что происходит, я выведу интеграл по путям. Кроме того, я нашел несколько схем. (Ура картинки!)
Ну да, классическая теория остается внутри светового конуса, поскольку классические уравнения движения обеспечивают причинно-следственную связь. Но поскольку в интеграл по путям вносят вклад пути, не являющиеся решениями классических уравнений движения, он может иметь ненулевую амплитуду вне светового конуса. (Квантовая теория по-прежнему причинна — в квантовой теории причинность — это не то же самое, что пропагатор, исчезающий за пределами светового конуса. Скорее, мы должны смотреть на коммутаторы наблюдаемых.)
Во-вторых, фраза «путь, не удовлетворяемый классическим действием» не имеет смысла. Действие это функционал, который проходит путь в фазовом пространстве и дает число. Принцип стационарного действия дает уравнения движения , определяющие физический путь классической системы.

Ответы (1)

В NRQM мы представляем частицы локализованным волновым пакетом ψ , называемая волновой функцией. Грубо говоря, классическая частица находится на «пике» волнового пакета. Мы говорим, что не можем знать путь, потому что волновая функция может быть отличной от нуля в нескольких местах. Вместо того, чтобы детерминистически сказать, где находится частица, как в классической механике, мы можем дать только распределение вероятности | ψ | 2 .

Теперь я покажу с помощью апокрифической истории Фейнмана, что интегралы по траекториям действительно вполне естественны. (Я читал эту историю в QFT Nut А. Зи.)

введите описание изображения здесь

Давным-давно на уроке квантовой механики профессор бубнил об эксперименте с двумя щелями. Частица, вылетевшая из С вовремя т "=" 0 проходит через одно из двух отверстий А 1 , А 2 и обнаруживается в О вовремя т "=" Т . Амплитуда определяется по принципу суперпозиции как сумма амплитуд С А 1 О и С А 2 О .

Внезапно Фейнман спросил: «А что, если мы просверлим третье отверстие?» Профессор ответил: «Амплитуда всего процесса теперь представляет собой сумму трех отдельных амплитуд». Фейнман, будучи Фейнманом, спрашивает профессора, что произойдет, если мы просверлим больше отверстий в экране. Очевидно, мы просто суммируем по дыркам . Позволять А обозначают амплитуду. Затем

А ( обнаружен в  О ) "=" я А ( С А я О )

Но Фейнман настаивает: «А что, если теперь мы добавим второй экран с дырками в нем?»Рис 2

Профессор говорит что-то вроде: «Вы берете амплитуду, чтобы перейти от С к А я на первом экране, затем Б Дж на втором экране, затем О а затем суммировать я и Дж ."

Фейнман еще не закончил: «Что, если я поставлю третий или четвертый экран? Что, если я поставлю экран и просверлю в нем бесконечное количество отверстий, чтобы экрана больше не было?» (Совершенно дзен.)

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

введите описание изображения здесь

А ( частица, от которой нужно перейти  С  к  О  во время  Т ) "=" пути А ( частица, от которой нужно перейти  С  к  О  во время  Т  следуя определенному пути )

Теперь мы делаем эти идеи математически точными. В КМ амплитуда распространения из точки д я до точки д Ф во время Т управляется унитарным оператором е я ЧАС Т , где ЧАС является гамильтонианом. Точнее, амплитуда

А "=" д Ф | е я ЧАС Т | д я д Ф | U ( Т ) | д я
С U ( Т ) является экспоненциальным, мы можем записать его как произведение
U ( Т ) "=" я "=" 1 Н U ( дельта т ) "=" я "=" 1 Н е я ЧАС дельта т ,
где дельта т "=" Т / Н . Подставьте это в амплитуду
А "=" д Ф | я "=" 1 Н U ( дельта т ) | д я
Теперь вставьте Н 1 копии
я "=" д д | д д |
между каждым фактором U ( дельта т ) :
А "=" Дж "=" 0 Н 1 я "=" 1 Н 1 д д я д Дж + 1 | U ( дельта т ) | д Дж
д Дж "=" д ( т Дж ) д я "=" д 0 д Ф "=" д Н
Сосредоточиться на д Дж + 1 | U ( дельта т ) | д Дж . Работа с частицей в неопределенном потенциале,
ЧАС "=" п 2 2 м + В ( Вопрос )
п - оператор импульса, он дает собственные значения
п | п "=" п | п
Вопрос является оператором положения, он производит собственные значения
Вопрос | д "=" д | д
Подключите это и оператор идентификации,
я "=" д п | п п |
в бюстгальтер:
д Дж + 1 | U ( дельта т ) | д Дж "=" д Дж + 1 | е я дельта т ( п 2 / 2 м + В ( Вопрос ) ) | д Дж "=" е я дельта т В ( д Дж ) д п д Дж + 1 | е я дельта т ( п 2 / 2 м ) | п п | д Дж
Отзывать
д | п "=" е я п д 2 π
мы можем упростить интеграл
е я дельта т В ( д Дж ) д п е я дельта т ( п 2 / 2 м ) д Дж + 1 | п п | д Дж "=" е я дельта т В ( д Дж ) д п 2 π е я дельта т ( п 2 / 2 м ) е я п ( д Дж + 1 д Дж )
Интеграл оценивается как
е я дельта т В ( д Дж ) д п 2 π е я дельта т ( п 2 / 2 м ) + я п ( д Дж + 1 д Дж ) "=" я м 2 π дельта т е [ я м ( д Дж + 1 д Дж ) 2 ] / 2 дельта т я дельта т В ( д Дж ) "=" С е я дельта т { ( м / 2 ) [ ( д Дж + 1 д Дж ) / дельта т ] 2 В ( д Дж ) }
Подставив это в нашу формулу для интеграла по путям, мы получим
д Ф | е я ЧАС т | д я "=" С Н ( я "=" 1 Н 1 д д я ) опыт { я дельта т Дж "=" 0 Н 1 [ м 2 ( д Дж + 1 д Дж дельта т ) 2 В ( д Дж ) ] }
Теперь мы идем к пределу континуума,
Н дельта т 0
Затем
лим дельта т 0 [ д Дж + 1 д Дж дельта т ] 2 "=" д ˙ 2
и
лим Н Дж "=" 0 Н 1 дельта т "=" 0 Т д т
Также определите интеграл по всем путям
Д д ( т ) "=" лим Н С Н я "=" 1 Н 1 д д я
Таким образом, мы получаем представление континуального интеграла
д Ф | е я ЧАС т | д я "=" Д д ( т ) е я 0 Т д т ( 1 2 м д ˙ 2 В ( д ) )
Возведенный в степень интеграл - это просто действие, поэтому мы можем записать амплитуду как
д Ф | е я ЧАС Т | д я "=" Д д е я С [ д ] "=" Д д опыт ( я 0 Т д т л ( д , д ˙ ) )

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

дельта С "=" 0
Обратите внимание, что неклассические пути добавляют к А , но доминирующий вклад, а значит, и средний путь — классический.

Чтобы это была действительная квантовая теория, она должна подчиняться уравнению Шредингера. Сейчас мы покажем, что это так.

Мы можем записать производную по времени вектора состояния во времени т "=" 0 как

д д т | ψ ( 0 ) "=" | ψ ( дельта т ) | ψ ( 0 ) дельта т
Итак, учитывая уравнение Шредингера,
я д д т | ψ ( 0 ) "=" ЧАС | ψ ( 0 ) ,
мы можем аппроксимировать это как
| ψ ( дельта т ) | ψ ( 0 ) "=" я дельта т ЧАС | ψ ( 0 )
в Икс основа, мы имеем
ψ ( Икс , дельта т ) ψ ( Икс , 0 ) "=" я дельта т [ 1 2 м 2 2 Икс + В ( Икс , 0 ) ] ψ ( Икс , 0 )
Сравните это с представлением интеграла по путям того же порядка в дельта т :
ψ ( Икс , дельта т ) "=" U ( Икс , дельта т ; Икс , 0 ) ψ ( Икс , 0 ) д Икс
U ( Икс , дельта т ; Икс , 0 ) "=" Икс | U ( дельта т ) | Икс
Из вывода интеграла по траекториям имеем
U ( Икс , дельта т ; Икс , 0 ) "=" м 2 π я дельта т опыт { я [ м ( Икс Икс ) 2 2 дельта т дельта т В ( Икс + Икс 2 , 0 ) ] }
Так
ψ ( Икс , дельта т ) "=" м 2 π я дельта т опыт [ я м ( Икс Икс ) 2 2 дельта т ] опыт [ я дельта т В ( Икс + Икс 2 , 0 ) ] ψ ( Икс , 0 ) д Икс
Первый экспоненциальный член быстро осциллирует, за исключением стационарной точки Икс "=" Икс , где фаза имеет минимальное значение, равное нулю. Мы говорим, что область когерентности в интеграле по путям равна дельта С π . Таким образом, область когерентности для первой экспоненты в терминах η "=" Икс Икс ,
м η 2 2 дельта т π
или
| η | 2 π дельта т м
Так что подумайте сейчас
ψ ( Икс , дельта т ) "=" м 2 π я дельта т опыт [ я м η 2 2 дельта т ] опыт [ я дельта т В ( Икс + η 2 , 0 ) ] ψ ( Икс + η , 0 ) д η
Мы работаем на первый заказ в дельта т и ко второму порядку в η . Мы расширяем
ψ ( Икс + η , 0 ) "=" ψ ( Икс , 0 ) + η ψ + 1 2 η 2 ψ +
опыт [ я дельта т В ( Икс + η 2 , 0 ) ] "=" 1 я дельта т В ( Икс + η 2 , 0 ) + "=" 1 я дельта т В ( Икс , 0 ) +
(условия заказа η дельта т следует пренебречь). Теперь наш интеграл становится
ψ ( Икс , дельта т ) "=" м 2 π я дельта т опыт [ я м η 2 2 дельта т ] [ ψ ( Икс , 0 ) я дельта т В ( Икс , 0 ) ψ ( Икс , 0 ) + η ψ + 1 2 η 2 ψ ] д η
Выполняя интегралы, получаем
ψ ( Икс , дельта т ) "=" м 2 π я дельта т [ ψ ( Икс , 0 ) 2 π я дельта т м дельта т 2 я м 2 π я дельта т м ψ я дельта т 2 π я дельта т м В ( Икс , 0 ) ψ ( Икс , 0 ) ]
или
ψ ( Икс , дельта т ) ψ ( Икс , 0 ) "=" я дельта т [ 1 2 м 2 Икс 2 + В ( Икс , 0 ) ] ψ ( Икс , 0 )
это просто уравнение Шредингера.

Таким образом, квантовая механика интеграла по путям полностью согласуется с волновой механикой.

(Этот пост очень длинный. Задержка PSE невыносима. Не стесняйтесь задавать вопросы, но я больше не буду писать в этом поле для ответов.)

Rxn1: Я читал A Zee раньше и слышал эту историю, но через SE я узнал, как работает унитарный оператор, и теперь, когда вы подняли этот вопрос, это щелкает. я вижу что дельта т наконец-то! Я пытался понять, о чем говорит Зи, около года. Это так классно! Rxn2: вау, я только что получил неотъемлемую часть пути. Это потрясающе. Я не понимал, что это так связано с брекетом из книги Зи, но теперь, когда вы изложили это, я могу проследить ход мыслей. Rxn3: Я только что закончил пост и не могу поверить, что следил за всем этим. Спасибо. Хорошо объяснил и понятно.
Подождите, вы говорите, что RQM не использует волновые пакеты? Я понимаю, что в квантовой теории поля волновая функция не работает, но я думал, что волновые пакеты работают для RQM.
@StanShunpike: RQM также использует волновые пакеты. Однако в RQM мы обычно говорим о полях . Волновые пакеты являются возбуждениями полей.
@StanShunpike: я знаю, что не упоминал QFT в своем посте. Это было бы слишком долго и привело бы к сбою Chrome. (Mathjax визуализирует TEX в режиме реального времени.) Боюсь, вам придется задать отдельный вопрос, если вы хотите, чтобы я рассказал об интегралах по путям поля.
@StanShunpike: Следует также отметить, что есть те, кто не считает, что интегралы по траекториям представляют собой нечто большее, чем формальный инструмент, используемый для теории возмущений в КТП, и их не следует воспринимать всерьез концептуально.