Существует ли «квадратный корень» уравнения Клейна – Гордона, отличный от уравнения Дирака?

Легенда гласит, что Дирак пришел к уравнению Дирака (все уравнения даны в планковских единицах). с "=" "=" 1 в этом посте):

я γ мю мю ψ м ψ "=" 0
извлекая квадратный корень из оператора
мю мю
уравнения Клейна – Гордона, которое является релятивистской версией уравнения Шрёдингера:
( мю мю + м 2 ) ψ "=" 0

Однако является ли уравнение Дирака единственным «квадратичным корнем» уравнения Клейна – Гордона? Существует ли другой «квадратный корень» уравнения Клейна – Гордона?

Оказывается, есть «квадратный корень» уравнения Клейна – Гордона, который отличается от уравнения Дирака:

я γ мю мю ψ м е θ я γ 5 ψ "=" 0
где «комплексный» массовый член фермиона наделен как CP-четной скалярной частью, так и CP-нечетной псевдоскалярной частью. я γ 5 часть:
м е θ я γ 5 "=" м потому что θ + м я γ 5 грех θ .

Можем ли мы проверить, что приведенное выше «модифицированное» уравнение Дирака действительно является «квадратичным корнем» уравнения Клейна-Гордона? Давайте разберемся в мелочах:

м 2 ψ "=" ( м е θ я γ 5 ) ( м е θ я γ 5 ) ψ "=" ( м е θ я γ 5 ) ( я γ мю мю ) ψ "=" ( я γ мю мю ) ( м е θ я γ 5 ) ψ "=" ( я γ мю мю ) ( я γ ν ν ) ψ "=" мю мю ψ .
Вуаля! Мы действительно восстанавливаем классическое уравнение Клейна-Гордона без каких-либо забавных «сложных» факторов. Обратите внимание, что в 4-й строке мы использовали важнейшее антикоммутативное свойство между γ 5 и γ мю .

Может ли кто-нибудь проверить правильность или неправильность приведенного выше вывода? Или это на самом деле то же самое, что и исходное уравнение Дирака?


Добавлено примечание

Забавный факт, что после осевого вращения фермионного поля

ψ е 1 2 θ я γ 5 ψ .
«комплексный» массовый член в лагранжевом формате можно преобразовать в скалярный массовый член (оставив кинетический член нетронутым):
м ψ ¯ е θ я γ 5 ψ м ψ ¯ ψ .
Другими словами, путем переопределения фермионного поля СР-нечетная часть массы м я γ 5 грех θ можно эффективно отвернуть. При этом мы знаем, что фермионная масса генерируется с помощью механизма Хиггса. Вращение к «настоящей» массе достижимо, если есть только один бозон Хиггса. Если вы представляете себе какую-то фантазию, выходящую за рамки стандартной модели, включающей несколько бозонов Хиггса, то указанное вращение может сделать CP только одного бозона Хиггса четным, в то время как другой бозон Хиггса останется с псевдоскаляром, нарушающим CP. я γ 5 фаза.

Конечно, эти сценарии с несколькими бозонами Хиггса обычно не рассматриваются в книгах по КТП начального уровня. Таким образом, «модифицированное» уравнение Дирака обычно вообще не упоминается. Но неужели вы думаете, что в обычных учебниках по QFT это должно упоминаться просто для развлечения?

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

Короче говоря, наиболее общим аналогом уравнения Клейна – Гордона с «квадратичным корнем» является уравнение Дирака с «комплексным» массовым членом. м е θ я γ 5 ψ . Уравнение Дирака для «реальной» массы — это всего лишь частный случай θ "=" 0 .


Еще добавлено примечание:

Отдельно стоит вопрос о скалярном массовом члене.

м ψ ¯ ψ
быть мнимым, если вы подставите компоненты числа Грассмана из ψ и ψ ¯ . Подробнее см. здесь .

Я когда-то задавал связанный вопрос здесь .
Конечно, вы правы в том, что в некоторых случаях эти странные «псевдо-дираковские спиноры» нельзя переопределить, чтобы получить обычные дираковские спиноры. Но в таких случаях большинство физиков сказали бы, что это означает, что попытка сгруппировать спиноры Вейля по парам для формирования четырехкомпонентных спиноров — это больше проблем, чем пользы, и вместо этого они просто будут работать напрямую со спинорами Вейля.
@knzhou, согласен, если вы будете рассматривать правые и левые спиноры отдельно (например, спиноры Вейля), у вас будет больше свободы в поворотах, подобных псевдоскалору, без явного вызова псевдоскалора. Это именно то, что происходит в ротациях, связанных с CKM. Но в случае трех поколений еще недостаточно свободы, чтобы компенсировать все псевдоскалоры в параметрах смешения семейств, поэтому у вас остается остаточная фаза, нарушающая СР, в электрослабом секторе.
@Oбжоров векторное тройное произведение является псевдоскаляром, т.е. скаляром, который меняет знак при инверсии в координатах
@MadMax: вывод правильный. На самом деле вы можете захотеть знать, что ваша трансформация, включающая опыт ( я θ γ 5 ) в учебниках известен как «осевое вращение» или «осевая симметрия». Это актуально в безмассовом случае, где это симметрия безмассового уравнения Дирака (но она, как известно, аномальна в КТП...)
Это даже правильно, это, конечно, неправда, что ( я γ мю мю м е я γ 5 θ ) 2 "=" ( я γ мю мю м е я γ 5 θ ) ( я γ мю мю м е я γ 5 θ ) дает уравнение Дирака, потому что, например, перекрестные члены не сокращаются. Кажется, вы пытаетесь извлечь комплексный квадратный корень, используя то есть ( я γ мю мю м е я γ 5 θ ) ( я γ мю мю м е я γ 5 θ ) но это, кажется, не имеет смысла, поскольку заставляет действовать слева, а не справа...
Вы, конечно, не можете просто сделать это, взяв фактическое комплексное сопряжение ( я γ мю мю м е я γ 5 θ ) * ( я γ мю мю м е я γ 5 θ ) потому что { γ мю * , γ ν } 2 η мю ν правильно, на самом деле вы должны были бы сделать мю ν γ мю * γ ν "=" 1 2 мю ν ( γ мю * γ ν + γ ν * γ мю ) что еще хуже, так это вообще имеет смысл? В любом случае, этот вопрос никогда не должен был быть закрыт.
Кажется, это связано с физикой.stackexchange.com/q /156124/9290

Ответы (2)

Кажется, в комментариях есть некоторая путаница, поэтому вот полный ответ.

В первую очередь поставил η "=" ( , + , + , + ) и

γ мю γ ν + γ ν γ мю "=" 2 η мю ν , ( γ 5 ) 2 "=" 1 , γ 5 γ мю + γ мю γ 5 "=" 0 .

Сначала рассмотрим стандартное уравнение Дирака:

( мю γ мю + м ) ψ "=" 0 .
Мы нашли
0 "=" ( мю γ мю + м ) ( мю γ мю + м ) ψ "=" η мю ν мю ν ψ + м 2 ψ .
Таким образом, у нас нет буквально квадратного корня. Вам нужно перевернуть знак, чтобы убить перекрестные термины, аналогично тому, как Икс 2 + у 2 "=" ( Икс + я у ) ( Икс я у ) . Поскольку здесь мы используем правило «в основном плюс», мы распознаем уравнение Клейна-Гордона в последнем равенстве. (См. также Peskin & Schroeder ch 3.2, хотя они используют ужасное условное обозначение «в основном минус».)

Как насчет

( мю γ мю + м опыт ( я θ γ 5 ) ) ψ "=" 0 ?
это «квадратный корень» в указанном выше смысле? Конечно; все приведенные выше решения также решают уравнение КГ:
0 "=" ( мю γ мю + м опыт ( я θ γ 5 ) ) ( мю γ мю + м опыт ( я θ γ 5 ) ) ψ "=" ( η мю ν мю ν + м е я θ γ 5 мю γ мю м мю γ мю е + я θ γ 5 + м 2 ) ψ "=" η мю ν мю ν ψ + м 2 ψ .
С γ 5 анти коммутирует с γ мю , перекрестные члены сокращаются.

По сути, это то же самое, что и вывод, данный в вопросе (с которым я согласен).

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

  1. Осевое вращение является симметрией в безмассовом случае, и
  2. В массивном случае вы обычно можете переопределить свои фермионы с осевым вращением, чтобы убить массовый член. м опыт ( я θ γ 5 ) в пользу м .

РЕДАКТИРОВАТЬ: ясно, что вы можете классифицировать все подобные «уравнения Дирака», составляя таблицы матриц, которые (анти) коммутируют со всеми γ мю . Конечно, это учебник. Насколько я помню, аргумент леммы Шура показывает, что все такие находятся в промежутке 1 и γ 5 (в любом измерении).

Уникальность — относительно более широкая тема исследования: нам нужно проверить, что применимо в каком контексте: взгляните на это: Квадратный корень псевдодифференциального оператора уравнения Клейна–Гордона — Клаус Ламмерцахла, 1993, ZARM . Смотрите также: https://www.zarm.uni-bremen.de

Вы имеете в виду эту бумагу? @ zarm.uni-bremen.de/ uploads/tx_sibibtex/ … . Может быть, лучше всего поместить ссылку в свой ответ.
Ладно, когда-нибудь поставлю...