Я только что читал книгу « Зеркальная симметрия» Математического института Клэя , и на странице 402 книги автор говорит, что тензор энергии-импульса классически определяется формулой
Вот мой вопрос: я знаю, что действием Эйнштейна-Гильберта можно получить . Но как я могу получить точную форму как указано выше? Или .
Позволять быть любым -мерное псевдориманово многообразие с метрикой и разреши любое действие, определенное на . Тензор энергии-импульса обычно определяется (в любом случае до скалярного кратного; кажется, в вашем случае определение изменено с коэффициентом ):
Однако может быть неочевидно, почему мы даем такое определение. Это хорошее определение по нескольким причинам. Во-первых, во многих случаях (но не во всех!) он согласуется с так называемым нётеровским тензором энергии-импульса, т. е. с тем, который вы получаете, вычисляя сохраняющиеся токи, возникающие из-за инвариантности относительно переносов. В тех случаях, когда это не согласуется с нётеровским определением, определенный таким образом, как правило, имеет лучшие свойства. Например, в КЭД в плоском пространстве-времени нётеров тензор энергии-импульса не должен быть калибровочно-инвариантным, тогда как это определение будет им. Точно так же и в этом случае нётеров тензор энергии-импульса не должен быть симметричным, тогда как это определение будет (это ясно из определения). Более того, нётеровское определение не имеет смысла в искривленном пространстве-времени: что значит, например, «перенести» координаты на сфере? Однако определение, данное выше, всегда имеет смысл. Наконец, это определение дает уравнение Эйнштейна из действия Эйнштейна-Гильберта .
Я знаю , что книга Уолда по общей теории относительности содержит более подробную информацию об этом в одном из его приложений (Приложение E Лагранжевые и гамильтоновы формулировки общей теории относительности ), хотя, безусловно, есть и другие источники.
пользователь4552
пользователь4552
Али Шехпер