Лагранжиан поля Шредингера

Обычный лагранжев Шредингера

я ( ψ * T ψ ) + 1 2 м ψ * ( 2 ) ψ , (1) (1) я ( ψ * T ψ ) + 1 2 м ψ * ( 2 ) ψ ,
который дает правильные уравнения движения, с сопряженным импульсом для ψ * ψ * исчезающий. Эта лагранжева плотность не является реальной, но отличается от реальной лагранжевой плотности
я 2 ( ψ * T ψ - ψ T ψ * ) + 1 2 м ψ * ( 2 ) ψ (2) (2) я 2 ( ψ * T ψ - ψ T ψ * ) + 1 2 м ψ * ( 2 ) ψ
по полной производной.

Моя проблема в том, что эти две плотности лагранжиана приводят к различным сопряженным импульсам, и, следовательно, при установлении равных соотношений коммутации по времени, я получаю разные результаты (проблема в 2 раза). Я могу изменить масштаб полей, но мой гамильтониан тоже изменится. Затем, применяя уравнение движения Гейзенберга, я не получаю операторное уравнение Шредингера.

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

Я думаю, то же самое происходит и с другими системами первого порядка, такими как дираковский лагранжиан.

У меня нет времени для подробного ответа на ваш вопрос, но это может помочь взглянуть на конец гл. 7.2 в учебнике Вайнберга (т. 1). Он обсуждает эффект добавления полной производной по времени к лагранжиану и показывает, что, изменяя канонический импульс, он не влияет на коммутационные соотношения теории.

Ответы (1)

Здесь мы для простоты рассмотрим только систему Шредингера. Мы будем предполагать, что

φ   знак равно   ( ϕ 1 + я ϕ 2 ) / 2 - (А) (А) φ знак равно ( φ 1 + я φ 2 ) / 2

это сложное бозонное поле, и это

φ *   знак равно   ( ϕ 1 - я ϕ 2 ) / 2 - (В) (В) φ * знак равно ( φ 1 - я φ 2 ) / 2

комплексное сопряжение, где φ φ два реальных компонента поля, а = 1 , 2 знак равно 1 , 2 , [Обратите внимание на изменение в обозначениях ψ ϕ ψ φ по сравнению с вопросом OP (v1).]

1) лагранжева плотность

L   : =   я ϕ * φ ˙ + 1 2 м φ * 2 φ (С) (С) L знак равно я φ * φ ˙ + 1 2 м φ * 2 φ

для поля Шредингера φ φ уже в гамильтоновой форме

L   знак равно   π φ ˙ - Х. (D) (D) L знак равно π φ ˙ - ЧАС ,

Просто определите сложный импульс

π   : =   я ϕ * , (Е) (Е) π знак равно я φ * ,

и гамильтонова плотность

ЧАС   : =   - 1 2 м φ * 2 ϕ . (F) (F) ЧАС знак равно - 1 2 м φ * 2 φ ,

В более общем смысле эта идентификация является простым примером метода Фаддеева-Джекива .

2) Напомним, что уравнения Эйлера-Лагранжа не изменяются путем добавления 4 4 -расходимости d μ Λ μ d μ Λ μ к лагранжевой плотности

L       L '   : =   Д + д μ Λ μ , (ГРАММ) (ГРАММ) L L ' знак равно L + d μ Λ μ ,

ср например, этот пост Phys.SE. [Мы используем символ d μ d μ (скорее, чем μ μ ) подчеркнуть тот факт, что производная d μ d μ является полной производной, которая включает в себя как неявное дифференцирование через переменные поля φ ( х ) φ ( Икс ) и явное дифференцирование по сравнению с Икс μ Икс μ .] Следовательно, мы можем (посредством пространственного интегрирования по частям) выбрать эквивалентную гамильтонову плотность

ЧАС       ЧАС '   : =   1 2 м | ϕ | 2   знак равно   1 4 м ( ϕ 1 ) 2 + 1 4 м ( ϕ 2 ) 2 , (ЧАС) (ЧАС) ЧАС ЧАС ' знак равно 1 2 м | φ | 2 знак равно 1 4 м ( φ 1 ) 2 + 1 4 м ( φ 2 ) 2 ,

и мы можем (через временные интегрирования по частям) выбрать эквивалентный кинетический термин

я ϕ * φ ˙   знак равно   π φ ˙       я φ * φ ˙ знак равно π φ ˙
1 2 ( π φ ˙ - ϕ π ˙ )   знак равно   я 2 ( ϕ * φ ˙ - ϕ ϕ ˙ * )   знак равно   1 2 ( ϕ 2 φ ˙ 1 - ϕ 1 φ ˙ 2 )       φ 2 φ ˙ 1 , (Я) (Я) 1 2 ( π φ ˙ - φ π ˙ ) знак равно я 2 ( φ * φ ˙ - φ φ ˙ * ) знак равно 1 2 ( φ 2 φ ˙ 1 - φ 1 φ ˙ 2 ) φ 2 φ ˙ 1 ,

Последнее выражение показывает (в соответствии с методом Фаддеева-Джекива), что

Второй компонент ϕ 2 является импульсами для первого компонента ϕ 1 , (J) , (J) , Второй компонент φ 2 это импульсы для первого компонента φ 1 ,

3) В качестве альтернативы, мы можем выполнить анализ Дирака-Бергмана 1 1 непосредственно. Рассмотрим, например, плотность Лагранжа

L '   знак равно   ( α + 1 2 ) ϕ 2 φ ˙ 1 + ( α - 1 2 ) ϕ 1 φ ˙ 2 - H ' , (К) (К) L ' знак равно ( α + 1 2 ) φ 2 φ ˙ 1 + ( α - 1 2 ) φ 1 φ ˙ 2 - ЧАС ' ,

где α α произвольное вещественное число. [Срок d ( ϕ 1 φ 2 ) / д T d ( φ 1 φ 2 ) / d T , который умножается на α α в L ' L ' , - полная производная по времени.] Проверим, что процедура квантования не зависит от этого параметра α α , Введем канонические скобки Пуассона

{ ϕ ( х , т ) , ϕ б ( у , т ) } п В   знак равно   0 , { φ ( Икс , T ) , φ б ( Y , T ) } п В знак равно 0 ,
{ ϕ ( х , т ) , я б ( у , т ) } п В   знак равно   δ б   δ 3 ( х - у ) , { φ ( Икс , T ) , π б ( Y , T ) } п В знак равно δ б δ 3 ( Икс - Y ) ,
{ π ( х , т ) , я б ( у , т ) } п В   знак равно   0 , (Л) (Л) { π ( Икс , T ) , π б ( Y , T ) } п В знак равно 0 ,

стандартным способом. Канонические импульсы π π определяются как

π 1   : =   L ' φ ˙ 1   знак равно   ( α + 1 2 ) ϕ 2 , π 1 знак равно L ' φ ˙ 1 знак равно ( α + 1 2 ) φ 2 ,
π 2   : =   L ' φ ˙ 2   знак равно   ( α - 1 2 ) ϕ 1 , (М) (М) π 2 знак равно L ' φ ˙ 2 знак равно ( α - 1 2 ) φ 1 ,

Эти два определения создают два основных ограничения

χ 1   : =   π 1 - ( α + 1 2 ) ϕ 2     0 , χ 1 знак равно π 1 - ( α + 1 2 ) φ 2 0 ,
χ 2   : =   π 2 - ( α - 1 2 ) ϕ 1     0 , (N) (N) χ 2 знак равно π 2 - ( α - 1 2 ) φ 1 0 ,

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

{ χ 2 ( х , т ) , х 1 ( у , т ) } п В   знак равно   δ 3 ( х - у )     0. (O) (O) { χ 2 ( Икс , T ) , χ 1 ( Y , T ) } п В знак равно δ 3 ( Икс - Y ) 0.

Таким образом скобка Пуассона должна быть заменена скобкой Дирака . [Нет никаких вторичных ограничений, потому что

χ ˙ ( х , т )   знак равно   { χ ( х , т ) , Н ' ( т ) } D B   знак равно   0 , ЧАС ' ( т )   : =   d 3 Y   ЧАС ' ( у , т ) , (П) (П) χ ˙ ( Икс , T ) знак равно { χ ( Икс , T ) , ЧАС ' ( T ) } D В знак равно 0 , ЧАС ' ( T ) знак равно d 3 Y ЧАС ' ( Y , T ) ,

автоматически удовлетворяются.] Кронштейн Дирака между двумя φ φ это

{ ϕ 1 ( х , т ) , ϕ 2 ( у , т ) } D B   знак равно   δ 3 ( х - у ) , (Q) (Q) { φ 1 ( Икс , T ) , φ 2 ( Y , T ) } D В знак равно δ 3 ( Икс - Y ) ,

приводя к тому же выводу (J), что и метод Фаддеева-Джекива. Обратите внимание, что уравнения. (O) и (Q) не зависят от параметра α α ,

4) Во всех случаях канонические равноправные коммутаторные соотношения для соответствующих операторов становятся

[ ϕ ^ 1 ( х , т ) , ϕ ^ 2 ( у , т ) ]   знак равно   я 1   δ 3 ( х - у ) , [ φ ^ 1 ( Икс , T ) , φ ^ 2 ( Y , T ) ] знак равно я 1 δ 3 ( Икс - Y ) ,
[ ϕ ^ ( х , т ) , ϕ ^ ( у , т ) ]   знак равно   1   δ 3 ( х - у ) , [ φ ^ ( Икс , T ) , φ ^ ( Y , T ) ] знак равно 1 δ 3 ( Икс - Y ) ,
[ ϕ ^ ( х , т ) , я ^ ( у , т ) ]   знак равно   я 1   δ 3 ( х - у ) . (Р) (Р) [ φ ^ ( Икс , T ) , π ^ ( Y , T ) ] знак равно я 1 δ 3 ( Икс - Y ) ,

-

1 1 См., Например, M. Henneaux и C. Teitelboim, Квантование калибровочных систем, 1992.

Большое спасибо Qmechanic за очень подробный ответ. Я очень ценю помощь.
Примечания для дальнейшего: действие Шредингера для нескольких частиц
я [ ψ ]   знак равно   d T   [ J = 1 N d 3 Икс J ] Л. я [ ψ ] знак равно d T [ Π J знак равно 1 N d 3 Икс J ] L ,
Примечания к последующему: плотность лагранжерова
L   знак равно   я 2 ( ψ * ψ ˙ - ψ ˙ * ψ ) - J = 1 N 2 2 м J | J ψ | 2 - V | ψ | 2 L знак равно я 2 ( ψ * ψ ˙ - ψ ˙ * ψ ) - Σ J знак равно 1 N 2 2 м J | J ψ | 2 - В | ψ | 2
  знак равно   - ρ S ˙ - J = 1 N 2 2 м J ( J ρ - - ) 2 - J = 1 N ρ 2 м J ( J S ) 2 - ρ V , знак равно - ρ S ˙ - Σ J знак равно 1 N 2 2 м J ( J ρ ) 2 - Σ J знак равно 1 N ρ 2 м J ( J S ) 2 - ρ В ,
где мы переписали волновую функцию ψ = ρ - - ехр ( я S ) ψ знак равно ρ ехр ( я S ) в "полярных" координатах ρ ρ и S S ,
Примечания на потом: дело N = 1 N знак равно 1 : Обратите внимание, что ρ ρ и S S канонические переменные { ρ ( x ) , S ( у ) } = δ 3 ( х - у ) { ρ ( Икс ) , S ( Y ) } знак равно δ 3 ( Икс - Y ) и что L L уже на гамильтоновой форме первого порядка. Картина Шредингера предполагает второе квантование, ср. например, этот пост Phys.SE.
Примечания для позже: EL eqs. WRT. ρ ρ и S S находятся
S ˙ - J = 1 N 2 2 м J ρ - - 2 J ρ - - + J = 1 N 1 м J ( J S ) 2 + V     0 и ρ ˙ + J = 1 N 1 м J J ( ρ J S )     0 , S ˙ - Σ J знак равно 1 N 2 2 м J ρ J 2 ρ + Σ J знак равно 1 N 1 м J ( J S ) 2 + В 0 и ρ ˙ + Σ J знак равно 1 N 1 м J J ( ρ J S ) 0 ,
соответственно. Уравнения Маделунга с U J : = 1 м J J S U J знак равно 1 м J J S являются прямыми последствиями (и аналогами уравнений Навье – Стокса). См. Также теорию пилот-волн де Бройля – Бома .