calculate the recurrent tensors with respect to a given metric or connection - Maple Programming Help

Online Help

All Products    Maple    MapleSim

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

Tensor[RecurrentTensors] - calculate the recurrent tensors with respect to a given metric or connection

Calling Sequences

    RecurrentTensors(g, T, options)

    RecurrentTensors( Γ, T, options)


  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: coefficientvariables, parameters, output 







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 called recurrent with respect to  if there exists a 1-form α such thatT = T α. The form α is called the eigenform for T. 


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


 If T  is a recurrent tensor and f  is a smooth function on M, then f T  is also a recurrent tensor. The algorithm used by the RecurrentTensors program is to first look for recurrent tensors of the form  T = T1 + f2 T2 +  + fpTp f1 =1, then recurrent tensors of the form  T = T2 +  + fpTp f1 =0, f2  = 1 and so on. Thus the leading coefficients (with respect to the basis T) in the output are always 1.


If T = T α and the 1-form α is exact, that is, α= dg, then the tensor S= expgT  is covariantly constant: S= 0. Covariantly constant tensors can be computed with the command CovariantlyConstantTensors.  By convention, recurrent tensors whose eigenforms are closed (ⅆα =0) are not included in the default output to the command RecurrentTensor.


The output from the RecurrentTensor command is a sequence of 2 lists. The first is a list of recurrent tensors and the second is the list of associated eigenforms.


 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 coefficients functions fi  as functions of the variables x1 , x2, ... , xk .


If the metric g or the 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 recurrent tensors changes, are calculated.


With keyword argument output = pde, the defining partial differential equations for the recurrent tensors are returned. With output = all ,all recurrent tensors (including those with closed eigenforms) are returned.


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




Example 1.

We find the recurrent 2 forms for a metric g, defined on a 3-dimensional manifold.


frame name: M






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

M > 





There are 2 recurrent 2-forms.

M > 





We can check these answers by back-substituting into the recurrent tensor equation. To this end, we need the Christoffel connection for the metric g.

M > 





The first 2-form in the list R is recurrent.

M > 





The second 2-form in the list R is recurrent.

M > 





Example 2.

We find the recurrent rank 2 symmetric tensors for the metric g from Example 1.

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

M > 





There are 4 recurrent tensors.

M > 



M > 





There are two additional recurrent tensors which correspond to covariantly constant tensors and hence have a closed eigenform. We can see this with the option output = "all".

M > 



M > 





Note that the 1st and last entries in α2a are closed 1-forms. This implies that there are 2 covariantly constant tensors. We can check this directly using the CovariantlyConstantTensors command.

M > 





Example 3.

In this example we consider a metric g3 which depends upon arbitrary parameters a, b. We find that there are additional recurrent vectors when a=0 or b=0. 

M > 



M > 





We compute recurrent vector fields with respect to g3. We use the keyword argument parameters .

M > 





Example 4.

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

M > 


frame name: E

E > 





We calculate the recurrent 11 tensors on E. The command GenerateTensors is used to generate a basis for the 11 tensors.

E > 





The most general 11 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 > 





We explicitly check this result.

E > 




See Also