SU(2)SU(2)SU(2) Ян-Миллс EOM

У меня проблемы с некоторыми индексами моего лагранжиана Ян-Миллса. у меня есть калибровочная группа С U ( 2 ) и тензор напряженности поля

Ф а б я "=" а А б я б А а я + ϵ Дж к я А а Дж А б к
и лагранжиан
л "=" 1 4 Ф а б я Ф я а б
У меня есть в конце упражнения, что правильный EOM
а Ф а б я + ϵ к я Дж А Дж а Ф а б к "=" 0
Я получаю первый член слева, но второй член я получаю немного по-другому, вместо этого, когда я попадаю в лагранжиан с л / А а я я получаю срок ϵ Дж к я А б к Ф я а б который оставляет свободным Дж индекс. Теперь я знаю, что суммированные индексы не имеют значения и могут свободно менять буквы, но порядок и сокращение имеют значение, теперь я не уверен, как сделать так, чтобы они соответствовали индексам. Когда я делаю а л / ( а А б я ) Я выхожу с типичным а Ф я а б но мой бесплатный индекс есть я , нет Дж , и я не могу заставить их соответствовать для моей жизни.

Ответы (1)

Не видя деталей того, как вы берете производную, я не могу быть уверен, но моя первая мысль - задаться вопросом, многократно ли вы используете индексы. Например, предположим, что вы берете производную по А а я ; ты получишь

л А а я "=" 1 4 А а я [ Ф а б я Ф я а б ] "=" 1 4 Ф а б я А а я Ф я а б 1 4 Ф я а б А а я Ф а б я

В процессе оценки Ф а б я А а я , индексы в числителе не сокращаются с индексами в знаменателе, но это будет легко пропустить, если у вас нет цветов, чтобы различить их.

Я бы посоветовал, когда вы маркируете поле, по которому вы дифференцируете, использовать индексы, которые нигде не отображаются в лагранжиане, например:

л А с н "=" 1 4 Ф а б я А с н Ф я а б 1 4 Ф я а б А с н Ф а б я

Тогда нет опасности случайно сократить неправильные индексы. Когда вы дойдете до уровня дифференциации отдельных полей, вы получите несколько дельт Кронекера,

А а я А с н "=" дельта а с дельта н я

Если вы дифференцируете контравариантное поле, вы можете использовать метрику для повышения и понижения индексов по мере необходимости.

А я а А с н "=" А с н дельта я м г а г А г м "=" г а с дельта я н

дельта я м является метрикой для С U ( 2 ) конфигурационное пространство, если я правильно помню.

Именно так и было, большое спасибо.