Обобщенная расходимость тензора в ОТО

Хотя я забыл доказательство (и не могу найти его, скажем, в книге Кэрролла), для ковариантной дивергенции в общей теории относительности справедлива следующая формула:

мю А мю "=" 1 | г | мю ( | г | А мю ) ,

где г "=" дет ( г α β ) . Мне было интересно, верна ли эта формула, если А мю заменяется генеральским званием ( н , м ) тензор

Т ν 1 ν м мю мю 1 мю 2 мю н 1 ?

Если нет, не могли бы вы указать мне какие-либо ссылки, в которых есть формулы дивергенции для тензоров более высокого ранга?

Это не. Он держится, когда А мю заменен на генерала п -форма (которая является полностью антисимметричной ( п , 0 ) тензор.

Ответы (1)

Нет, это, вообще говоря, неверно для тензоров более высокого ранга. Общее уравнение расходимости вполне контравариантного тензора в терминах оператора производной по координате мю является

мю Т мю ν 1 ν н "=" мю Т мю ν 1 ν н + Г мю мю р Т р ν 1 ν н + я "=" 1 н Г ν я мю р Т мю ν 1 р ν н .
У нас также есть тот факт, что
Г мю мю р "=" 1 | г | мю | г | .
Таким образом,
мю Т мю ν 1 ν н "=" 1 | г | мю ( | г | Т мю ν 1 ν н ) + я "=" 1 н Г ν я мю р Т мю ν 1 р ν н .
Эта последняя сумма не будет равна нулю для общего тензора. Однако некоторые или все члены могут обращаться в нуль для тензоров с определенной структурой симметрии. В частности, если Т мю ν 1 ν н антисимметричен по всем своим индексам, то любое стягивание двух его индексов с симметричными индексами символов Кристоффеля автоматически обращается в нуль; и, таким образом, вся сумма уходит.

Ссылки на то, как получить ковариантную производную общего тензора, см. в главе 5 « Первого курса общей теории относительности» Шютца , где описан подход, основанный на координатах, или в главе 3 « Общей теории относительности » Вальда , где представлен более общий подход.

Я считаю, что для общих символов Кристоффеля и ненулевых Т , полная антисимметрия — единственный случай, когда лишняя сумма обращается в нуль.