Download as pdf or txt
Download as pdf or txt
You are on page 1of 8

O with (tensor):

O coords := [t, r, theta, phi]:


O g := array(symmetric, sparse, 1 .. 4, 1 .. 4):
O g1, 1 dKexp f r :
g2, 2 d exp h r :
g3, 3 d r 2 :
g4, 4 d r 2 sin theta 2 :
O metric := create([-1, -1], eval(g));
Ke f r
0 0 0
eh r
0 0 0
metric := table compts = , index_char = K1, K1 (1)
0 0 r2 0
2
0 0 0 r 2 sin q
O tensorsGR(coords,metric,contra_metric,det_met,C1,C2,Rm,Rc,R,G,C):
O
(2)
O displayGR(Einstein,G);

The Einstein Tensor


non-zero components :
d
ef r r C eh r
h r K1
dr
G11 = K
r 2 eh r

d
K f r r C eh r
K1
dr
G22 =
r2
1 1 d d d2
G33 = K r K2 h r C2 f r C2 r f r
4 e r
h dr dr dr 2
2
d d d
Cr f r Kr f r h r
dr dr dr

1 1 d d 2 d
G44 = r K2 f r C2 f r cos q C2 h r
4 e r
h dr dr dr

d 2 d2 d2 2
K2 h r cos q K2 r 2
f r C2 r 2
f r cos q
dr dr dr
2 2
d d 2 d d
Kr f r Cr f r cos q Cr f r h r
dr dr dr dr

(3)
d d 2
Kr f r h r cos q
dr dr

character : [-1, -1] (3)


O display_allGR(coords, metric, contra_metric, det_met, C1, C2, Rm,
Rc, R, G, C);
_____________

The coordinates variables are :


x1 = t
x2 = r
x3 = q
x4 = f
_____________

The Covariant Metric


non-zero components :
cov_g11 = Ke f r

cov_g22 = eh r

cov_g33 = r 2
2
cov_g44 = r 2 sin q
_____________
Determinant of the covariant metric tensor :
2
detg = Ke f r eh r r 4 sin q
_____________

The Contravariant Metric


non-zero components :
1
contra_g11 = K f r
e
1
contra_g22 = h r
e
1
contra_g33 = 2
r
1
contra_g44 = 2
r 2 sin q
_____________
The Christoffel Symbols of the First Kind
non-zero components :
1 d
[11,2] = f r ef r
2 dr
1 d
[12,1] = K f r ef r
2 dr
1 d
[22,2] = h r eh r
2 dr
[23,3] = r
2
[24,4] = r sin q
[33,2] = Kr
[34,4] = r 2 sin q cos q
2
[44,2] = Kr sin q
[44,3] = Kr 2 sin q cos q
_____________

The Christoffel Symbols of the Second Kind


non-zero components :
1 d
{1,12} = f r
2 dr
d
f r ef r
1 dr
{2,11} =
2 eh r
1 d
{2,22} = h r
2 dr
r
{2,33} = K h r
e
2
r sin q
{2,44} = K
eh r
1
{3,23} =
r
{3,44} = Ksin q cos q
1
{4,24} =
r
cos q
{4,34} =
sin q
_____________

The Riemann Tensor


non-zero components :
d2 2
1 f r 1 d
ef r
R1212 = 2
f r e C f r
2 dr 4 dr
1 d d
ef r
K f r h r
4 dr dr
d
ef r
f r r
1 dr
R1313 =
eh
2 r

d 2
ef r
f r r sin q
1 dr
R1414 =
eh
2 r

1 d
R2323 = h r r
2 dr
1 d 2
R2424 = h r r sin q
2 dr
2 h r 2
K eh r
r 2 cos q e C 1 K cos q
R3434 = K
eh r

character : [-1, -1, -1, -1]


_____________

The Ricci tensor


non-zero components :
d2 2
1 1 d
ef r
R11 = K 2r f r Cr f r
4 r eh r
dr 2 dr

d d d
Kr f r h r C4 f r
dr dr dr
R22
d2 2
1 1 d d d
= 2r 2
f r Cr f r Kr f r h r
4 r dr dr dr dr

d
K4 h r
dr
d d
h r r C 2 eh r
K f r rK2
1 dr dr
R33 = K
eh
2 r

1 1 d d 2 d
R44 = f r rK f r r cos q K h r r
2 e rh dr dr dr
d 2 2 h r 2
K 2 eh r
C h r r cos q C 2 cos q e C 2 K 2 cos q
dr

character : [-1, -1]


_____________

The Ricci Scalar


d2 2
1 1 d
R=K K2 r 2 f r K r2 f r
2 r eh
2 r
dr 2 dr

d d d d
C r2 f r h r K4 f r rC4 h r r C 4 eh r
K4
dr dr dr dr
_____________

The Einstein Tensor


non-zero components :
d
ef r r C eh r
h r K1
dr
G11 = K
r 2 eh r

d
K f r r C eh r
K1
dr
G22 =
r2
1 1 d d d2
G33 = K r K2 h r C2 f r C2 r f r
4 e r
h dr dr dr 2
2
d d d
Cr f r Kr f r h r
dr dr dr

1 1 d d 2 d
G44 = r K2 f r C2 f r cos q C2 h r
4 e r
h dr dr dr

d 2 d2 d2 2
K2 h r cos q K2 r 2
f r C2 r 2
f r cos q
dr dr dr
2 2
d d 2 d d
Kr f r Cr f r cos q Cr f r h r
dr dr dr dr
d d 2
Kr f r h r cos q
dr dr

character : [-1, -1]


_____________

The Weyl Tensor


non-zero components :
d2 2
1 1 f r 2 2 d
C1212 = K e K2 r f r Kr f r
12 r 2 dr 2 dr

d d d d
C r2 f r h r K2 h r rC2 f r r C 4 eh r
K4
dr dr dr dr

d2 2
1 1 f r 2 2 d
C1313 = e K2 r f r Kr f r
24 e r
h
dr 2 dr

d d d d
C r2 f r h r K2 h r rC2 f r r C 4 eh r
K4
dr dr dr dr

1 1 d d 2
ef r
C1414 = K K2 f r rC2 f r r cos q
24 e r
h dr dr

d d 2 2 h r
K 4 eh r
C2 h r rK2 h r r cos q C 4 cos q e C4
dr dr

d2 d2 2
2 2 2 2 2 d
K 4 cos q C2 r f r K2 r f r cos q Cr f r
dr 2 dr 2 dr
2
2 d 2 d d
Kr f r cos q K r2 f r h r
dr dr dr

d d 2
C r2 f r h r cos q
dr dr
1 d 1 h r 1 d 1
C2323 = h r rK e K f r rC
12 dr 6 12 dr 6
d2 2
1 2 1 2 d 1 2 d d
C r 2
f r C r f r K r f r h r
12 dr 24 dr 24 dr dr
1 d 1 d 2 1 d
C2424 = K f r rC f r r cos q C h r r
12 dr 12 dr 12 dr
1 d 2 1 2 h r 1 h r 1 1 2
K h r r cos q C cos q e K e C K cos q
12 dr 6 6 6 6
d2 d2 2
1 2 1 2 2 1 2 d
C r f r K r f r cos q C r f r
12 dr 2 12 dr 2 24 dr
2
1 2 d 2 1 2 d d
K r f r cos q K r f r h r
24 dr 24 dr dr
1 2 d d 2
C r f r h r cos q
24 dr dr
1 1 d d 2
C3434 = K r 2 K2 f r rC2 f r r cos q
12 eh r dr dr

d d 2 2 h r
K 4 eh r
C2 h r rK2 h r r cos q C 4 cos q e C4
dr dr

d2 d2 2
2 2 d
K 4 cos q C 2 r2 f r K 2 r2 f r cos q C r2 f r
dr 2 dr 2 dr
2
d 2 d d
K r2 f r cos q K r2 f r h r
dr dr dr

d d 2
C r2 f r h r cos q
dr dr
character : [-1, -1, -1, -1]
_____________ (4)
O ode1:=(diff(h(r), r))*r+exp(h(r))-1=0;
d
ode1 := h r r C eh r K 1 = 0 (5)
dr
O dsolve (ode1);
r
h r = ln C _C1 (6)
K1 C r e _C1
r
O eh d
rCK
r
eh := (7)
rCK
O ode2:= -(diff(f(r), r))*r+eh-1=0 ;
d r
ode2 := K f r rC K1 = 0 (8)
dr rCK
O dsolve (ode2) ;
f r = Kln r C ln r C K C _C1 (9)
O

You might also like