Нормализация биспиноров Дирака

Позволять ты λ ( к ) и в λ ( к ) быть решениями следующих уравнений

( м ) ты λ ( к ) "=" 0
( + м ) в λ ( к ) "=" 0
Предположим, что ты λ ( к ) ты о ( к ) "=" ю ( к ) м дельта λ о и в λ ( к ) в о ( к ) "=" ю ( к ) м дельта λ о , где ю ( к ) "=" м 2 + к 2 . Я пытаюсь показать, что это означает, что
ты ¯ λ ( к ) ты о ( к ) "=" дельта λ о в ¯ λ ( к ) в о ( к ) "=" дельта λ о .

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

Ответы (1)

Подсказка: вы хотите рассчитать

(1) ты ¯ с ( п ) γ мю ты с ( п ) "="   ?

Будучи ковариантным объектом, векторный индекс в правой части может быть предоставлен только п мю , и поэтому

(2) ты ¯ с ( п ) γ мю ты с ( п ) "=" а с с п мю
(почему а независим от п ?)

Найти а с с , сократите обе части этого выражения с помощью п мю , и используйте уравнение п ты "=" м ты .

Теперь пусть мю "=" 0 .

Хорошо, давайте добавим еще несколько деталей:

Если вы сжимаете обе стороны ( 2 ) с п мю , Вы получаете

м ты ¯ с ( п ) ты с ( п ) "=" а с с м 2
С другой стороны, если вы позволите мю "=" 0 в ( 2 ) , Вы получаете
ты с ( п ) ты с ( п ) "=" ю п а с с
Из этих двух уравнений вы должны быть в состоянии решить для ты ¯ с ( п ) ты с ( п ) .

Не должно быть ты вместо ты ¯ ?
@mikis нет, ты понял ты когда ты позволишь мю "=" 0 (потому что ты ¯ γ 0 "=" ты )
Хорошо. У меня еще есть один вопрос: вы использовали тот факт, что ты ¯ γ мю ты является ковариантным объектом. Как увидеть это, используя только знания, которые ты удовлетворяют заданному уравнению Дирака? Я думаю, что для этого нам нужен закон преобразования для биспиноров.
@mikis уравнение Дирака ковариантно, а значит, и его решения (например, классическое волновое уравнение ( т 2 2 ) у ( Икс ) "=" 0 имеет решения у "=" опыт ( ю т к Икс ) , которые, как вы уже знаете, ковариантны).
The ты биспиноры ковариантны по определению. Это никак не связано с тем, что они удовлетворяют уравнению Дирака. Мы могли бы выбрать для них разные фазы и нормализации, и все свойства ковариантного преобразования перестали бы быть верными. Дело в том, что ты ( п ) ОПРЕДЕЛЯЕТСЯ как соответствующее повышение ты ( 0 ) .
@Blazej это одно из допустимых определений ты , но не единственный. Большинство вводных учебников определяют ты , в спиноры как любой базис в пространстве спиноров, где ты удовлетворить п ты "=" м ты и в удовлетворить п в "=" м в . Дополнительные ограничения, такие как С г ты ( 0 ) "=" ± 1 / 2 достаточно однозначно указать эти объекты, но для решения уравнения Дирака любой базис так же хорош, как и любой другой (ваше определение полезно, когда кто-то хочет изучить содержание частиц в теории, но не нужен, если кто-то хочет только решить уравнение Дирака , скажем, как классическое волновое уравнение). (Излишне говорить, что ваше определение лучше).
Итак, мы должны предположить, что наша ты выбираются ковариантным образом? Во всяком случае, если бы не ты может быть, можно как-то получить ковариацию ты ¯ γ мю ты только из уравнения Дирака (без этого дополнительного предположения о ты ( п ) быть стимулом ты ( 0 ) )? Это главный вопрос моего вопроса: достаточно ли для этого уравнения Дирака?
«Найти жопу» ( ͡° ͜ʖ ͡°)
Я согласен с тем, что если вы укажете достаточное количество билинейных ковариантов, то u будут указаны практически однозначно. Но не полностью, потому что фаза неоднозначна (она не влияет на значения билинейных ковариантов). Однако это проявится, если вы рассмотрите биспиноры, которые представляют собой линейные комбинации (термины интерференции).