>

Define the coordinates and covariant metric for the Schwarzschild

metric:
> with(tensor):
> coords:=[t, r, theta,phi]:
> g:=array (symmetric, sparse, 1..4, 1..4):
> g[1,1]:=(1-2*m/r): g[2,2]:=-1/g[1,1]: g[3,3]:=-r^2:
> g[4,4]:=-r^2*sin(theta)^2:
> metric:=create([-1,-1], eval(g));
 1 − 2 m 
 0 0 0 
 r 
 
 
 1 
 0 − 0 0 
table([compts =  1−
2m , index_char = [ -1, -1 ]])

 
 r 
 
 
 0
 0 −r 2 0 

 
metric :=  0 0 0 −r 2 sin( θ )2 
Compute the curvature (without the print option)
> tensorsGR(coords,metric,contra_metric,det_met, C1, C2, Rm, Rc, R,
G,
> C):
Use displayGR to show that it is a vacuum solution of the Einstein
field equations:
> displayGR(Einstein,G);
The Einstein Tensor
non-zero components :
None
character : [-1, -1]
Use displayGR to show the nonzero Christoffel symbols of the first
kind:
> displayGR(Christoffel1,C1);
The Christoffel Symbols of the First Kind
non-zero components :
 m
[11,2] = −
r2
 m
[12,1] =
r2
 m
[22,2] =
( r − 2 m )2
[23,3] = −r
[24,4] = −r sin( θ )2
[33,2] = r
[34,4] = −r 2 sin( θ ) cos ( θ )
[44,2] = r sin( θ )2
[44,3] = r 2 sin( θ ) cos ( θ )
Display everything using display_allGR:
> display_allGR (coords,metric,contra_metric, det_met, C1, C2, Rm,
Rc,
> R, G, C);
_____________
The coordinates variables are :
x1 = t
x2 = r
x3 = θ
x4 = φ
_____________
The Covariant Metric
non-zero components :
 2m
cov_g11 = 1 −
r
 1
cov_g22 = −
2m
1−
r
cov_g33 = −r 2
cov_g44 = −r 2 sin( θ )2
_____________
Determinant of the covariant metric tensor :
detg = −r 4 sin( θ )2
_____________
The Contravariant Metric
non-zero components :
 r
contra_g11 =
r−2m
 r−2m
contra_g22 = −
r
 1
contra_g33 = −
r2
 1
contra_g44 = −
r sin( θ ) 2
2
_____________
The Christoffel Symbols of the First Kind
non-zero components :
 m
[11,2] = −
r2
 m
[12,1] =
r2
 m
[22,2] =
( r − 2 m )2
[23,3] = −r
[24,4] = −r sin( θ )2
[33,2] = r
[34,4] = −r 2 sin( θ ) cos ( θ )
[44,2] = r sin( θ )2
[44,3] = r 2 sin( θ ) cos ( θ )
_____________
The Christoffel Symbols of the Second Kind
non-zero components :
 m
{1,12} =
r (r − 2 m)
 (r − 2 m) m
{2,11} =
r3
 m
{2,22} = −
r (r − 2 m)
{2,33} = −r + 2 m
{2,44} = −( r − 2 m ) sin( θ )2
 1
{3,23} =
r
{3,44} = −sin( θ ) cos ( θ )
 1
{4,24} =
r
 cos ( θ )
{4,34} =
sin( θ )
_____________
The Riemann Tensor
non-zero components :
 2m
R1212 =
r3
 (r − 2 m) m
R1313 = −
r2
 ( r − 2 m ) m sin( θ ) 2
R1414 = −
r2
 m
R2323 =
r−2m
 m sin( θ ) 2
R2424 =
r−2m
R3434 = −2 r m sin( θ )2
character : [-1, -1, -1, -1]
_____________
The Ricci tensor
non-zero components :
None
character : [-1, -1]
_____________
The Ricci Scalar
R=0
_____________
The Einstein Tensor
non-zero components :
None
character : [-1, -1]
_____________
The Weyl Tensor
non-zero components :
 2m
C1212 =
r3
 (r − 2 m) m
C1313 = −
r2
 ( r − 2 m ) m sin( θ ) 2
C1414 = −
r2
 m
C2323 =
r−2m
 m sin( θ ) 2
C2424 =
r−2m
C3434 = −2 r m sin( θ )2
character : [-1, -1, -1, -1]
_____________
>