calculate the covariantly constant tensors with respect to a given metric or connection - Maple Help

Online Help

All Products    Maple    MapleSim


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

Tensor[CovariantlyConstantTensors] - calculate the covariantly constant tensors with respect to a given metric or connection

Calling Sequences

    CovariantlyConstantTensors(g, T, options)

    CovariantlyConstantTensors( Γ, T, options )

Parameters

  g       - a metric tensor on a manifold M

  Γ       - a connection, either an affine connection on M or a connection on a vector bundle E over M 

  T       - a list of vector fields, differential forms or tensors (all of the same type)

  options - any of the following keywords arguments: ansatz, auxiliaryequations, coefficientvariables, unknowns, parameters, output

 

 

Description

Examples

Description

• 

Let  denote covariant differentiation with respect to the given connection Γ, or with respect to the Christoffel connection defined by the metric g. A tensor field T is covariantly constant if T = 0.

• 

 Let T=T1, T2, .... , Tp be a list of p tensor fields, all of the same of the same covariant-contravariant type and let T = f1T1 + f2 T2 +  + fpTp, where the coefficients fi are functions on the underlying manifold. The command CovariantlyConstantTensors generates the system of first order PDE in the unknowns fi from the tensor equation T = 0 and uses pdsolve to find the solutions to these PDE.

• 

 The coefficient functions fi are taken to be functions of all the coordinate variables. The keyword argument coefficientvariables = x1 , x2, ... , xk allows the user to specify the coefficient functions fi as functions of the variables x1 , x2, ... , xk .

• 

The exact form of the tensor T can be specified with the keyword argument ansatz = T . For example, if the coordinates on the underlying manifold are x, y, z and T1,T2, T3 are given tensor fields, then one may solve for covariantly constant tensor fields of the form T = xfy,zT1 + x2 T2+ gy,zT3 . In this situation the unknown functions must be explicitly specified with the keyword argument unknowns, for example, unknowns = fy,z, gy,z.

• 

When using the keyword argument ansatz, additional algebraic or differential conditions may be imposed upon the unknowns using the keyword argument auxiliaryequations = EqList,where EqList is a list of the auxiliary equations to be added to the equations obtained from T = 0 .

• 

If the metric g or connection Γ depends upon a number of unspecified parameters (either constants or functions), then the keyword argument parameters= ParList, where ParList is the list of parameters, will invoke case-splitting with respect to these parameters. Special values of the parameters, where either the number or the explicit form of the covariantly constant tensors changes, are calculated.

• 

With keyword argument output = pde, the defining partial differential equations for the covariantly constant tensors are returned. The option output = general returns the general solution in terms of a number of arbitrary constants _C1, _C2 ... while the option output = list returns a list of tensors which form a basis for the solution space. The default value of this keyword argument is output = list.

• 

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

Examples

withDifferentialGeometry:withTensor:

 

Example 1.

We find the covariantly constant 2 forms and covariantly constant rank 2 symmetric tensors for a metric g, defined on a 3 dimensional manifold.

DGsetupx,y,z,M

frame name: M

(2.1)

gevalDGz2dx &t dx+dy &t dy+x4dz &t dz

g:=z2dxdx+dydy+x4dzdz

(2.2)

 

We use the command GenerateForms to generate a basis Ω for the space of 2 forms.

M > 

ΩTools:-GenerateFormsdx,dy,dz,2

Ω:=dxdy,dxdz,dydz

(2.3)

 

The space of covariantly constant 2 forms is 1-dimensional.

M > 

CovariantlyConstantTensorsg,Ω

x2zdxdz

(2.4)

 

We use the command GenerateSymmetricTensors to generate a basis S for the space of rank 2 symmetric tensors.

M > 

SGenerateSymmetricTensorsdx,dy,dz,2

S:=dxdx,12dxdy+12dydx,12dxdz+12dzdx,dydy,12dydz+12dzdy,dzdz

(2.5)

 

The space of covariantly constant, rank 2 symmetric tensors is two-dimensional. We obtain the output as a single tensor T depending upon two arbitrary constants _C1 and _C2.

M > 

TCovariantlyConstantTensorsg,S,output=general

T:=_C1z2dxdx+_C2dydy+_C1x4dzdz

(2.6)

 

We can check this result using the CovariantDerivative command. For this we need the Christoffel connection for the metric.

M > 

CChristoffelg

C:=1zD_xdxdz+1zD_xdzdx2x3z2D_xdzdzzx4D_zdxdx+2xD_zdxdz+2xD_zdzdx

(2.7)
M > 

CovariantDerivativeT,C

0dxdxdx

(2.8)

 

Example 2.

We find the the trace-free, covariantly constant, rank 2 symmetric tensors for the metric g from Example 1. First construct the general rank 2 symmetric tensor.

M > 

Varsa1,a2,a3,a4,a5,a6x,y,z

Vars:=a1x,y,z,a2x,y,z,a3x,y,z,a4x,y,z,a5x,y,z,a6x,y,z

(2.9)
M > 

TDGzipVars,S,plus

T:=a1x,y,zdxdx+a2x,y,z2dxdy+a3x,y,z2dxdz+a2x,y,z2dydx+a4x,y,zdydy+a5x,y,z2dydz+a3x,y,z2dzdx+a5x,y,z2dzdy+a6x,y,zdzdz

(2.10)

 

The trace of T is given by

M > 

TraceTTensorInnerProductg,g,T

TraceT:=a4x,y,zz2x4+a1x,y,zx4+a6x,y,zz2z2x4

(2.11)

 

We now invoke the keyword arguments ansatz, auxiliaryequations, and unknowns.

M > 

CovariantlyConstantTensorsg,ansatz=T,auxiliaryequations=TraceT=0,unknowns=Vars

z2dxdx2dydy+x4dzdz

(2.12)

 

Example 3.

In this example we consider a metric g which depends upon an arbitrary function fz. We find that generically there are no covariantly constant vector fields, but when the function is constant there are 2.

M > 

g2evalDGfzdx &t dx+dy &t dy+y2dz &t dz

g2:=fzdxdx+dydy+y2dzdz

(2.13)
M > 

T2D_x,D_y,D_z

T2:=D_x,D_y,D_z

(2.14)

 

We use the keyword argument parameters to invoke case-splitting with respect to the function fz.

M > 

CovariantlyConstantTensorsg2,T2,parameters=fz

coszD_y+sinzyD_z,sinzD_y+coszyD_z,D_x,,fz=_C1,fz=fz

(2.15)

 

Example 4.

We define a connection on a rank 2 vector bundle E over a 3-dimensional base manifold.

M > 

DGsetupx,y,z,u,v,E

frame name: E

(2.16)
E > 

CConnectionD_v &t du &t dx+yD_v &t dv &t dz

C:=D_vdudx+yD_vdvdz

(2.17)

 

We calculate the covariantly constant type 1,1 tensors on E. The command GenerateTensors is used to generate a basis for the 1,1 tensors.

E > 

TGenerateTensorsdu,dv,D_u,D_v

T:=duD_u,duD_v,dvD_u,dvD_v

(2.18)

 

The most general 1,1 tensor on E is given by a linear combination of the elements of the list T, using coefficients which are functions of the base variables x, y,z alone. We specify this dependency with the keyword argument coefficientvariables .

E > 

CovariantlyConstantTensorsC,T,coefficientvariables=x,y,z

duD_u+dvD_v

(2.19)

See Also

DifferentialGeometry

LieAlgebras

Tensor

Decompose

KillingVectors

LieAlgebraData

LieDerivative

MultiplicationTable

Query

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam