check that a tensor is the Killing tensor for a given metric or connection - Maple Help

Online Help

All Products    Maple    MapleSim

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

Tensor[CheckKillingTensor] - check that a tensor is the Killing tensor for a given metric or connection

Calling Sequences

     CheckKillingTensor(g, T)

     CheckKillingTensor(C, T)


     g    - a covariant metric tensor on a manifold M

     T    - a symmetric covariant tensor on M, or a list of such

     C    - an affine connection on a manifold M



This program computes the symmetrized covariant derivative of the symmetric covariant tensor T with respect to the Christoffel connection of the metric g or the given connection C, that is, it computes the Killing tensor equation (aTbcd ...).


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


with(DifferentialGeometry): with(Tensor):


Example 1.

Check that K1 is a Killing tensor for the metric g.

DGsetup([x, y], M):

M > 

g := evalDG((1/y)*dx &t dx + 1/x*dy &t dy);


M > 

K1 := evalDG((1/y^3)*dx &t dx &t dx - (1/x^3)*dy &t dy &t dy);


M > 

CheckKillingTensor(g, K1);




Example 2.

Determine the equations for Ay and Bx that must be satisfied for K2 to be a Killing tensor for the metric g from Example 1.

M > 

K2 := evalDG(A(y)*dx &t dx &t dx + B(x)*dy &t dy &t dy);


M > 

P := CheckKillingTensor(g, K2);


M > 

Tools:-DGinfo(P, "CoefficientSet");



See Also

DifferentialGeometry, Tensor, CovariantDerivative, SymmetrizeIndices

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