Скобка Дирака для формы Маделунга (полярной) поля Шредингера

У меня проблема с получением скобки Дирака в Маделунговском (полярном) представлении поля Шрёдингера:

Ψ "=" р е я θ / .

Фон:

Было показано (например, Нонненмахером https://link.springer.com/article/10.1007%2FBF02817982 и Гуэррой https://journals.aps.org/prd/abstract/10.1103/PhysRevD.28.1916 ), что в этом представлении , θ и р играют роль сопряженных переменных в фазовом пространстве Г "=" ( р , θ ) со скобкой Пуассона, заданной

{ ф , г } "=" д р ( дельта ф дельта р дельта г дельта θ дельта ф дельта θ дельта г дельта р ) "=" { ф , г } р , θ .
По сути, я хотел бы получить этот результат, применив алгоритм Дирака-Бергмана для гамильтоновых систем с ограничениями. Однако существует дополнительный фактор 2 которая появляется в результирующей скобке Дирака, так что
{ ф , г } Д "=" 2 { ф , г } р , θ
как показано ниже. Для начала отметим, что плотность эрмитова лагранжиана для свободного поля Шредингера может быть записана как (см., например, «Элементарную КТП» Хенли и Тирринга или «Квантовую теорию движения» Питера Холланда)
л "=" я 2 ( Ψ * Ψ ˙ Ψ ˙ * Ψ ) 2 2 м Ψ Ψ * .
Вариация действия я "=" д т д 3 Икс л в отношении Ψ * дает уравнение Шредингера и вариацию относительно Ψ дает его комплексное сопряжение. Подставив полярную форму Ψ в это выражение для л , получаем следующий вид для л :
л "=" р ( θ ˙ + ( θ ) 2 2 м ) 2 8 м р ( р ) 2 .
Вариация по полю θ дает уравнение неразрывности:
р ˙ + Дж "=" 0
где Дж "=" р θ / м , а варьирование по р дает квантовое уравнение Гамильтона-Якоби:
θ ˙ + ( θ ) 2 2 м 2 2 м р 2 р "=" 0.
Хорошо известно, что эти 2 волновые уравнения отображаются на уравнение Шредингера. Тогда канонические импульсы равны π р "=" 0 и π θ "=" р , что приводит к уравнениям связи С 1 "=" π р 0 и С 2 "=" π θ + р 0 в полном фазовом пространстве ( р , θ , π р , π θ ) , где после Дирака символ ' ' обозначает слабое равенство на гиперповерхности, определяемое ограничениями. Каноническая плотность гамильтониана определяется выражением
ЧАС с "=" π θ θ ˙ + π р р ˙ л р ( ( θ ) 2 2 м ) + 2 8 м р ( р ) 2 .
Скобка Пуассона ограничений показывает, что они относятся ко второму классу: { С 1 ( р ) , С 2 ( р ) } "=" дельта ( р р ) .

Матрица связи скобок Пуассона с элементами Вопрос я Дж ( р , р ) "=" { С я ( р ) , С Дж ( р ) } , затем

Вопрос ( р , р ) "=" ( 0 1 1 0 ) дельта ( р р ) ,
инверсия которого
Вопрос 1 ( р , р ) "=" ( 0 1 1 0 ) дельта ( р р ) .

Скобка Дирака может быть построена как

{ ф ( Икс ) , г ( у ) } Д "=" { ф ( Икс ) , г ( у ) } я , Дж "=" 1 , 2 д р д р { ф ( Икс ) , С я ( р ) } Вопрос я Дж 1 ( р , р ) { С Дж ( р ) , г ( у ) } "=" { ф ( Икс ) , г ( у ) } р 12 р 21 .
Теперь для р 12 один находит
р 12 "=" д р ( дельта ф дельта р дельта г дельта π р дельта ф дельта р дельта г дельта θ ) ,
и для р 21 :
р 21 "=" д р ( дельта ф дельта θ дельта г дельта р дельта ф дельта π р дельта г дельта р ) .
Следовательно, у нас есть
{ ф ( Икс ) , г ( у ) } Д "=" д р ( дельта ф дельта р дельта г дельта π р дельта ф дельта π р дельта г дельта р + дельта ф дельта θ дельта г дельта π θ дельта ф дельта π θ дельта г дельта θ дельта ф дельта р дельта г дельта π р + дельта ф дельта р дельта г дельта θ дельта ф дельта θ дельта г дельта р + дельта ф дельта π р дельта г дельта р ) "=" д р ( дельта ф дельта θ дельта г дельта π θ дельта ф дельта π θ дельта г дельта θ + дельта ф дельта р дельта г дельта θ дельта ф дельта θ дельта г дельта р ) .
Теперь, если мы воспользуемся уравнением связи π θ "=" р , получаем, что скобка Дирака сводится к
{ ф , г } Д "=" 2 { ф , г } р , θ .
Таким образом, фазовое пространство сводится к переменным р и θ но фактор 2 на самом деле не должно быть там, так как это приводит к противоречивым волновым уравнениям для р и θ переменные, например θ ˙ "=" { р , ЧАС с } Д . Я попытался добавить общую производную по времени к лагранжевой плотности для начала. Например.
л л "=" л + д д т ( р θ / 2 ) .
Но это в конечном итоге дает фактор 4 вместо 2 .. Я заметил, что если канонические импульсы приводят к ограничениям С 1 "=" π р 2 θ 0 и С 2 "=" π θ + 2 р 0 , то скобка Дирака сводится к скобке Пуассона { ф , г } р , θ без какого-либо предфактора. Но кажется невозможным добавить общую производную по времени к л который достигает этого. Есть мысли вообще?

Спасибо!

Ответы (2)

Ваше уравнение содержит только производные по времени первого порядка и поэтому уже имеет гамильтонову интегральную форму действия:

С "=" ( п я д ˙ я ЧАС ( п , д ) ) д т
с
п я р ( Икс ) , д я θ ( Икс ) , я Икс
Следовательно, скобки Дирака не нужны. Итак, из континуальной версии { п я , д Дж } "=" дельта я Дж мы читаем это { р ( Икс ) , θ ( Икс ) } "=" дельта ( Икс Икс ) .

Благодарю за ваш ответ. Мне казалось, что это может быть так. Из 4 переменные фазового пространства р , θ , π р , π θ , один из них равен нулю: π р "=" 0 в то время как другой импульс - это просто другая переменная поля: π θ "=" р . Мне было ясно, что р и θ являются сопряженными переменными по только что изложенной вами причине - вычисление скобки Пуассона р ( Икс ) , θ ( Икс ) "=" дельта ( Икс Икс ) над переменными полного фазового пространства при дополнении ограничения π θ "=" р .
Но я все же хотел проверить, что скобка Дирака сводится к скобке Пуассона на приведенном фазовом пространстве, но этот множитель 2 выскакивает чего не должно! Похоже, что это каким-то образом связано с двойным счетом. π θ "=" р , но не знаю, как от него избавиться.
Я проголосовал за ваш ответ, но, поскольку у меня нет 15 баллов, он еще не отображается.

Пользователь Майк Стоун прав. Нет необходимости проходить полный анализ ограничений Дирака-Бергмана, который делается в этом посте Phys.SE. Достаточно метода Фаддеева -Джекива : л уже находится в гамильтоновой форме первого порядка, и р и θ — канонические переменные с каноническими скобками Пуассона { р ( Икс ) , θ ( у ) } "=" дельта 3 ( Икс у ) .

Спасибо, что напомнили мне о статье Джекиу. Это лучшее доказательство Дарбу, которое я знаю. Я утверждал, что скобки Дирака не всегда необходимы, возможно, даже дольше, чем Роман Дж. См., например, мой древний Phys. Преподобный Летт. 63, 731 (1989) !