Двойной тензор Римана и скалярная теория поля

Я пытаюсь найти компонентное уравнение движения для действия в статье . Действие для системы,

С "=" м п 2 8 π д 4 Икс г ( р 2 1 2 мю ф мю ф + α ф г ) ,
где г "=" р мю ν р о р мю ν р о 4 р мю ν р мю ν + р 2 является инвариантом Гаусса-Бонне. Модифицированное уравнение движения Эйнштейна для действия:
г мю ν "=" Т мю ν "=" мю ф ν ф 1 2 г мю ν ( ф ) 2 α ( г р мю г дельта ν + г р ν г дельта мю ) о ( γ ф ϵ γ дельта α β ϵ р о λ η р λ η α β ) ,
где последний член в скобках - это двойственный тензор Римана (я думаю, что он не расходится). Скалярное поле является функцией р только и поэтому γ "=" р чтобы третий член был отличен от нуля. В первой части статьи я связал метрику,
д с 2 "=" е А ( р ) д т 2 + е Б ( р ) д р 2 + р 2 ( д θ 2 + с я н 2 ( θ ) д ф 2 ) ,
используется как анзац в качестве решения. Затем это подставляется в уравнение Эйнштейна и т т , р р и θ θ найдены уравнения.

Я пробовал делать сокращения в MAPLE для т т компонента, гарантируя правильность индексов (например. р "=" т с мю "=" т и т. д.). Тем не менее, я продолжаю получать условия формы,

8 α е А ( 1 е Б ) ( ф Б 2 ф ) е 2 Б р 2 + 1 2 е А ф 2 ,
что близко к ответам, которые они дают в приложении, за исключением Б ф термин в приложении несет ( е Б 3 ), и я не знаю, откуда взялась эта 3. При поиске ответа я использую бездивергентный характер двойственного Римана ( * р * ), чтобы записать последний член в правой части уравнения Эйнштейна как

о ( γ ф ϵ γ дельта α β ϵ р о λ η р λ η α β ) "=" ϵ р т ф θ ϵ т р θ ф р θ ф ф θ р р ф "=" ( * р * ) θ ф ф θ ( ф Б 2 ф ) ,
где в последнем равенстве я расширил ковариантную производную и использовал Г р р р Символ Кристоффеля.

Дальнейшие проблемы возникают, когда я смотрю на р р термин, поскольку я пропустил по крайней мере 4 термина из приложения.

Я не уверен, есть ли проблема в моем понимании, или есть что-то, что я должен знать о двойном Римане, чего у меня здесь нет, или мое использование только Г р р р символ правильный. Если бы кто-нибудь мог протянуть мне руку помощи, увидев, где мои расчеты идут наперекосяк, я был бы очень признателен.

Ответы (1)

Дополнительные члены происходят из

  1. тот факт, что Леви-Чивита полностью антисимметрична, и поэтому есть кратные одному и тому же термину, т.е. мы можем поменять местами два символа LC и два символа Римана, и они будут складываться;

  2. γ р все время из-за ковариантной производной.