Calling Sequences - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

Tensor[RicciTensor] - calculate the Ricci tensor of a linear connection on the tangent bundle

Calling Sequences

     RicciTensor(g)

     RicciTensor(R)

Parameters

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

   R    - the curvature tensor of a connection on the tangent bundle of a manifold

 

Description

Examples

See Also

Description

• 

Let C be a connection on the tangent bundle of a manifold M with a curvature tensor C. The Ricci tensor R is the contraction of C over the 1st and 3rd indices. In terms of index notation, Rij=R  ihjh .

• 

With the first calling sequence, the Ricci tensor for the Christoffel connection of the metric g is computed. With the second calling sequence, the Ricci tensor is computed directly from the given curvature tensor.

• 

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

Examples

withDifferentialGeometry:withTensor:

 

Example 1.

First create a 3-dimensional manifold M and define a connection on the tangent space of M.

DGsetupx,y,z,M

frame name: M

(2.1)
M > 

C1Connectionx2D_x&tdx&tdyy2D_x&tdy&tdy+yzD_x&tdz&tdy

_DGconnection,M,con_bas,cov_bas,cov_bas,,1,1,2,x2,1,2,2,y2,1,3,2,yz

(2.2)

 

Calculate the curvature tensor.

M > 

R1CurvatureTensorC1

_DGtensor,M,con_bas,cov_bas,cov_bas,cov_bas,,1,1,1,2,2x,1,1,2,1,2x,1,3,2,3,y,1,3,3,2,y

(2.3)

 

Calculate the Ricci tensor. Note that in general the Ricci tensor is not symmetric.

M > 

Ric1RicciTensorR1

_DGtensor,M,cov_bas,cov_bas,,1,2,2x

(2.4)

 

Example 2.

Define a frame on M and use this frame to specify a connection on the tangent space of M.

M > 

DGsetupx,y,z,M

frame name: M

(2.5)
M > 

FRFrameDatax2ydx,zxdy,xydz,M1:

M > 

DGsetupFR

frame name: M1

(2.6)
M1 > 

C2ConnectionE2&tΘ1&tΘ2

_DGconnection,M1,con_bas,cov_bas,cov_bas,,2,1,2,1

(2.7)

 

Calculate the curvature tensor.

M1 > 

R2CurvatureTensorC2

_DGtensor,M1,con_bas,cov_bas,cov_bas,cov_bas,,2,1,1,2,yx3,2,1,2,1,yx3,2,1,2,3,1zxy,2,1,3,2,1zxy

(2.8)

 

Calculate the Ricci tensor.

M1 > 

Ric2RicciTensorR2

_DGtensor,M1,cov_bas,cov_bas,,1,1,yx3,1,3,1zxy

(2.9)

 

Example 3.

In this example we calculate the Ricci tensor for a metric and note that in this case the Ricci tensor is symmetric.

M1 > 

DGsetupx,y,z,M

frame name: M

(2.10)
M > 

gevalDGydx&tdx+zdy&tdy+dz&tdz

_DGtensor,M,cov_bas,cov_bas,,1,1,y,2,2,z,3,3,1

(2.11)

 

Calculate the Ricci tensor for the metric directly.

M > 

Ric3RicciTensorg

_DGtensor,M,cov_bas,cov_bas,,1,1,14yz,2,2,14y2+zy2z,2,3,14yz,3,2,14yz,3,3,14z2

(2.12)

See Also

DifferentialGeometry, Tensor, Christoffel, Physics[Christoffel], CovariantDerivative, Physics[D_], CurvatureTensor, Physics[Riemann], DGinfo, DirectionalCovariantDerivative, SectionalCurvature, RicciScalar, Physics[Ricci]