RicciScalar - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : Tensor : DifferentialGeometry/Tensor/RicciScalar

Tensor[RicciScalar] - calculate the Ricci scalar for a metric

Calling Sequences

     RicciScalar(g, R)

Parameters

   g    - a metric tensor on the tangent bundle of a manifold

   R    - (optional) the curvature tensor of the metric g calculated from the Christoffel symbol of g

 

Description

Examples

See Also

Description

• 

The Ricci scalar S for a metric g is the total contraction of the inverse of g with the Ricci tensor R of g. In components, S=gabRab.

• 

This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form RicciScalar(...) only after executing the command with(DifferentialGeometry) and with(Tensor) in that order.  It can always be used in the long form DifferentialGeometry:-Tensor:-RicciScalar.

Examples

withDifferentialGeometry:withTensor:

 

Example 1.

First create a 3 dimensional manifold M and define a metric g1 on M.

DGsetupx,y,z,M

frame name: M

(2.1)
M > 

g1evalDGa2k2+x2+y2+z22dx&tdx+dy&tdy+dz&tdz

g1:=_DGtensor,M,cov_bas,cov_bas,,1,1,a2k2+x2+y2+z22,2,2,a2k2+x2+y2+z22,3,3,a2k2+x2+y2+z22,_DGtensor,M,cov_bas,cov_bas,,1,1,a2k2+x2+y2+z22,2,2,a2k2+x2+y2+z22,3,3,a2k2+x2+y2+z22,_DGtensor,M,cov_bas,cov_bas,,1,1,a2k2+x2+y2+z22,2,2,a2k2+x2+y2+z22,3,3,a2k2+x2+y2+z22,_DGtensor,M,cov_bas,cov_bas,,1,1,a2k2+x2+y2+z22,2,2,a2k2+x2+y2+z22,3,3,a2k2+x2+y2+z22

(2.2)
M > 

C1Christoffelg1:

 

Calculate the curvature tensor.

M > 

R1CurvatureTensorC1

R1:=_DGtensor,M,con_bas,cov_bas,cov_bas,cov_bas,,1,2,1,2,4k2k2+x2+y2+z22,1,2,2,1,4k2k2+x2+y2+z22,1,3,1,3,4k2k2+x2+y2+z22,1,3,3,1,4k2k2+x2+y2+z22,2,1,1,2,4k2k2+x2+y2+z22,2,1,2,1,4k2k2+x2+y2+z22,2,3,2,3,4k2k2+x2+y2+z22,2,3,3,2,4k2k2+x2+y2+z22,3,1,1,3,4k2k2+x2+y2+z22,3,1,3,1,4k2k2+x2+y2+z22,3,2,2,3,4k2k2+x2+y2+z22,3,2,3,2,4k2k2+x2+y2+z22,_DGtensor,M,con_bas,cov_bas,cov_bas,cov_bas,,1,2,1,2,4k2k2+x2+y2+z22,1,2,2,1,4k2k2+x2+y2+z22,1,3,1,3,4k2k2+x2+y2+z22,1,3,3,1,4k2k2+x2+y2+z22,2,1,1,2,4k2k2+x2+y2+z22,2,1,2,1,4k2k2+x2+y2+z22,2,3,2,3,4k2k2+x2+y2+z22,2,3,3,2,4k2k2+x2+y2+z22,3,1,1,3,4k2k2+x2+y2+z22,3,1,3,1,4k2k2+x2+y2+z22,3,2,2,3,4k2k2+x2+y2+z22,3,2,3,2,4k2k2+x2+y2+z22,_DGtensor,M,con_bas,cov_bas,cov_bas,cov_bas,,1,2,1,2,4k2k2+x2+y2+z22,1,2,2,1,4k2k2+x2+y2+z22,1,3,1,3,4k2k2+x2+y2+z22,1,3,3,1,4k2k2+x2+y2+z22,2,1,1,2,4k2k2+x2+y2+z22,2,1,2,1,4k2k2+x2+y2+z22,2,3,2,3,4k2k2+x2+y2+z22,2,3,3,2,4k2k2+x2+y2+z22,3,1,1,3,4k2k2+x2+y2+z22,3,1,3,1,4k2k2+x2+y2+z22,3,2,2,3,4k2k2+x2+y2+z22,3,2,3,2,4k2k2+x2+y2+z22,_DGtensor,M,con_bas,cov_bas,cov_bas,cov_bas,,1,2,1,2,4k2k2+x2+y2+z22,1,2,2,1,4k2k2+x2+y2+z22,1,3,1,3,4k2k2+x2+y2+z22,1,3,3,1,4k2k2+x2+y2+z22,2,1,1,2,4k2k2+x2+y2+z22,2,1,2,1,4k2k2+x2+y2+z22,2,3,2,3,4k2k2+x2+y2+z22,2,3,3,2,4k2k2+x2+y2+z22,3,1,1,3,4k2k2+x2+y2+z22,3,1,3,1,4k2k2+x2+y2+z22,3,2,2,3,4k2k2+x2+y2+z22,3,2,3,2,4k2k2+x2+y2+z22

(2.3)

 

Calculate the Ricci scalar.

M > 

S1RicciScalarg1,R1

S1:=24k2a2

(2.4)

 

Example 2.

We re-work the previous example in an orthonormal frame.

M > 

fak2+x2+y2+z2

f:=ak2+x2+y2+z2

(2.5)
M > 

FRFrameDatafdx,fdy,fdz,M1:

M > 

DGsetupFR

frame name: M1

(2.6)
M1 > 

g3evalDGΘ1&tΘ1+Θ2&tΘ2+Θ3&tΘ3

g3:=_DGtensor,M1,cov_bas,cov_bas,,1,1,1,2,2,1,3,3,1,_DGtensor,M1,cov_bas,cov_bas,,1,1,1,2,2,1,3,3,1,_DGtensor,M1,cov_bas,cov_bas,,1,1,1,2,2,1,3,3,1,_DGtensor,M1,cov_bas,cov_bas,,1,1,1,2,2,1,3,3,1

(2.7)

 

Calculate the Ricci scalar.

M1 > 

S3RicciScalarg3

S3:=24k2a2

(2.8)

See Also

DifferentialGeometry, Tensor, Christoffel, Physics[Christoffel], CurvatureTensor, Physics[Riemann], DGinfo, SectionalCurvature, RicciTensor, Physics[Ricci]