Здорово. Жаль, что я всё пропустил.
Вычисления из ЛЛ2 псевдотензора я проделал с помощью MAPLE14 (пакет tensor):
Код:
> restart;
Определения псевдотензора энергии-импульса гравитационного поля
> tik:=1/(4*Pi*G)*(sum(sum(sum(sum(( 2*CC2[n,l,m]*CC2[p,n,p]-CC2[n,l,p]*CC2[p,m,n]-CC2[n,l,n]*CC2[p,m,p])*(CM[i,l]*CM[k,m]-CM[i,k]*CM[l,m]) ,p=1..4),n=1..4),m=1..4),l=1..4)+
> sum(sum(sum(sum(( CM[i,l]*CM[m,n]*( CC2[k,l,p]*CC2[p,m,n]+CC2[k,m,n]*CC2[p,l,p]-CC2[k,n,p]*CC2[p,l,m]-CC2[k,l,m]*CC2[p,n,p] )) ,p=1..4),n=1..4),m=1..4),l=1..4)+
> sum(sum(sum(sum(( CM[k,l]*CM[m,n]*( CC2[i,l,p]*CC2[p,m,n]+CC2[i,m,n]*CC2[p,l,p]-CC2[i,n,p]*CC2[p,l,m]-CC2[i,l,m]*CC2[p,n,p] )) ,p=1..4),n=1..4),m=1..4),l=1..4)+
> sum(sum(sum(sum(( CM[l,m]*CM[n,p]*( CC2[i,l,n]*CC2[k,m,p]-CC2[i,l,m]*CC2[k,n,p] )) ,p=1..4),n=1..4),m=1..4),l=1..4) ):
> with( tensor ):
Определение координат и ковариантных компонент метрики Де Ситтера.
> coord := [t, x, y, z]:
> g_compts := array(symmetric,sparse, 1..4, 1..4):
> g_compts[1,1] := 1: g_compts[2,2] := -a(t):
> g_compts[3,3] := -a(t): g_compts[4,4] := -a(t):
> g := create( [-1,-1], eval(g_compts)):
> tensorsGR(coord,g,contra_metric,det_met, C1, C2, Rm, Rc, R, G, C):
Получение контравариантных компонент метрики
> CM:=get_compts(contra_metric):
Получение символов Кристоффеля 2-го рода
> CC2:=get_compts(C2):
Вычисляем $\t^{00}$. В Maple - это $\t^{11}$
> i:=1:k:=1:
> tik;
/d \2
|-- a(t)|
\dt /
-3/8 ----------
2
Pi G a(t)
-- Ср фев 16, 2011 14:57:40 --(Предположительно должно получиться
-давление грав. поля)
И догадка оправдалась.