Как интегрировать пути по полупрямой?

Рассмотрим интеграл по путям по скалярному полю ф :

Z "=" С   е я С [ ф ] д ф
где С есть некоторое функциональное пространство (скажем, Шварца или двойственное ему).

Как мы можем реализовать условие ф 0 ? какое влияние оказывает это ограничение как на пертурбативном, так и на непертурбативном уровне?

Обратите внимание, что это не просто вопрос «из любопытства». Описанная выше ситуация имеет место на практике (в простейшем ее проявлении, в механизме Хиггса, где мы разлагаем ЧАС ( Икс ) "=" р ( Икс )   е я о ( Икс ) ; здесь интеграл по р находится только за полулинией р 0 ).

Не могли бы вы вставить в интеграл функциональную дельта-функцию или ступенчатую функцию Хевисайда. Я видел нечто подобное для интегралов по путям на многообразиях в статистической физике.
@Quantumspaghettification дельта-функция выберет ф 0 , так что я не думаю, что это сработает. Хевисайд, с другой стороны, выбирает ф 0 , так что это хорошо. я не знаю как повернуть Θ ( ф ) хотя во что-то управляемое. В любом случае, это пища для размышлений, так что спасибо!
Опять же, исходя из того, что я знаю из статистической физики - вы можете написать Хевисайда в терминах его интегрального представления, которое, как я полагаю, может быть обобщено на функциональный случай.
В теории возмущений обычно работает случай, когда р 0 (скажем, в упорядоченной/неисчезающей фазе vev) и расширяется р "=" р + дельта р . Тогда интеграл по дельта р не ограничено (что обычно хорошо).
@ Адам, конечно, в простом случае, когда процесс SSB запускается одним скалярным полем, вы правы. Но в некоторых случаях, когда у вас есть несколько скалярных полей, только некоторые компоненты приобретают ненулевое значение vev. Остальные нет, и в этом случае колебания в соответствующем направлении должны быть положительными.
Когда не в упорядоченной фазе, обычно не используют эту формулировку фазы амплитуды именно потому, что нелегко позаботиться об ограничении. Обратите внимание, что вы также можете использовать смешанную рецептуру, в зависимости от компонента, в принципе (хотя я не знаю, делается ли это на практике).
Другие идеи, чтобы написать р как, скажем, р "=" ф 2 или р "=" е ф , где ф е р .
Как насчет того, чтобы сделать это вручную из предельного определения интеграла, если это возможно?

Ответы (1)

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

ЧАС "=" п 2 2 м

является самосопряженным

( ψ , ЧАС ф ) "=" ( ЧАС ψ , ф ) "=" ф ( 0 ) д ψ д Икс ( 0 ) ψ ( 0 ) д ф д Икс ( 0 )

(это условие означает отсутствие вероятности пересечения тока Икс "=" 0 ), приводит к семейству самосопряженных расширений, характеризуемых граничными условиями:

ψ ( 0 ) "=" γ д ψ д Икс ( 0 )

Пропагатор общего решения уравнения Шредингера с этим граничным условием определяется выражением:

г ( Икс 1 , Икс 2 ) "=" г 0 ( Икс 2 Икс 1 ) + г 0 ( Икс 2 + Икс 1 ) 2 γ 0 д λ е γ λ г 0 ( Икс 2 + Икс 1 + λ )

( г 0 — свободный неограниченный пропагатор; Пожалуйста, смотрите Гамбоа )

И Кларк, и Меникофф, и Шарп , и Фахри, и Гутманн

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

л "=" м Икс ˙ 2 2 + γ дельта ( Икс )

Однако это не единственный способ квантования движения на полупрямой:

Isham определил схему квантования, основанную на каноническом преобразовании:

( Икс , п ) ( е Икс , е Икс п )

Другая схема квантования основана на квантизации р + как частное пространство: см. Танимура

р + "=" р 2 / С О ( 2 ) ,

Этот метод приводит к другому семейству гамильтонианов:

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