Рассмотрим стандартный лагранжиан Дирака, , и преобразованный, отличающийся полной производной
Можно показать, что тензор энергии-импульса, вычисленный из лагранжиана Дирака, равен . Учитывая это, должно быть возможно доказать, что тензор энергии-импульса, вычисленный из дан кем-то .
Я пытался это сделать, но не могу закончить. Я использую стандартную формулу для тензора энергии-импульса,
и делать,
Редактировать:
Следуя предложению @Quantum spaghettification, я получаю
Не обращайте внимания на антикоммутативную природу полей Дирака: если вы застряли в этой проблеме, вы, вероятно, так и не добрались до нее. Просто определите как
Это конкретная форма тензора, написанная в чьем-то ответе для случая поля Дирака. Обратите внимание на порядок множителей во втором члене: является вектором-строкой, следовательно, он должен быть записан слева. Определение в ответе спагеттификации Q. упустило это из виду, в остальном это то же самое.
Ваше первое определение было совершенно неверным. В редактировании определение было правильным, за исключением порядка во втором термине. Что касается третьей строки в вашем редактировании, то здесь ошибка: она должна читаться
потому что индексы гамма-матрицы и производной в последнем члене насыщены: вы не можете сжать их с индексами метрики. Теперь второе и третье слагаемые — это производная, которую вы ищете:
Что касается последнего члена, используйте уравнения Дирака, чтобы записать
Если вы не знали, уравнение Дирака для является
Как последний термин в равен нулю, а второй и третий члены составляют расхождение, вы получили свой результат.
Общий канонический тензор энергии-импульса определяется этими компонентами:
Также очень важно помнить, что канонический тензор энергии-импульса определяется с точностью до расходимости , где . Это дает вам возможность найти симметричную версию без изменения физики (полная энергия и импульс в полях).
Обратите внимание, что ваш лагранжиан:
Тогда полная симметричная энергия-импульс равна
Qмеханик
Йохани