convert a Lie algebra of vector fields to a Lie algebra data structure - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : LieAlgebras : LieAlgebraData : DifferentialGeometry/LieAlgebras/LieAlgebraData/VectorFields

LieAlgebraData[VectorFields] - convert a Lie algebra of vector fields to a Lie algebra data structure

Calling Sequence

     LieAlgebraData(Gamma, AlgName, option)

Parameters

     Gamma    - a list of vector fields on a manifold M

     Algname  - a name or string, the name to be assigned to the Lie algebra

     option   - initialpointlist = [pt1, pt2, ...], a list of lists of coordinates for points of M

 

Description  

Examples

Description  

• 

In the LieAlgebras package, the command DGsetup is used to initialize a Lie algebra, that is, to define the basis elements for the Lie algebra and its dual and to store the structure constants for the Lie algebra in memory.  The first argument for DGsetup is a Lie algebra data structure which contains the structure constants in a standard format used by the LieAlgebras package.

• 

An important class of Lie algebras are provided by the infinitesimal generators (vector fields) for any r-parameter transformation group. These vector fields form a Lie algebra with respect the LieBracket operation. The program LieAlgebraData(Gamma, AlgName) will create the Lie algebra data structure for the Lie algebra of vector fields Gamma.

• 

This program uses the GetComponents command with the option method = "real" to calculate the Lie brackets of the vector fields in Gamma as constant, real, linear combinations of the vectors in Gamma. When the component functions of the vector fields in Gamma are transcendental functions, it is best to specify a small list of points at which these component functions and their derivatives are easily evaluated.

• 

The command LieAlgebraData is part of the DifferentialGeometry:-LieAlgebras package.  It can be used in the form LieAlgebraData(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-LieAlgebraData(...).

Examples

with(DifferentialGeometry): with(LieAlgebras):

 

Example 1.

DGsetup([x, y], M1);

frame name: M1

(2.1)
M > 

Gamma1 := evalDG([D_x, D_y, x*D_x, y*D_x]);

Γ1:=D_x,D_y,xD_x,yD_x

(2.2)

 

We calculate the structure equations for this Lie algebra of vector fields.

M > 

LieAlgebraData(Gamma1, Alg1);

e1,e3=e1,e2,e4=e1,e3,e4=e4

(2.3)

 

Example 2.

M > 

DGsetup([x, y, z], M2);

frame name: M2

(2.4)
M2 > 

Gamma2 := evalDG([D_y, cos(y)*D_x-cos(x)/sin(x)*sin(y)*D_y+sin(y)/sin(x)*D_z, -sin(y)*D_x-cos(x)/sin(x)*cos(y)*D_y+cos(y)/sin(x)*D_z]);

Γ2:=D_y,cosyD_xcosxsinyD_ysinx+sinyD_zsinx,sinyD_xcosxcosyD_ysinx+cosyD_zsinx

(2.5)

Γ2:=D_y,cosyD_xcosxsinyD_ysinx+sinyD_zsinx,sinyD_xcosxcosyD_ysinx+cosyD_zsinx

(2.6)

 

We calculate the structure equations for this Lie algebra of vector fields.

M2 > 

LieAlgebraData(Gamma2, Alg2, initialpointlist = [[x = Pi/2, y = 0, z = 0]]);

e1,e2=e3,e1,e3=e2,e2,e3=e1

(2.7)

See Also

DifferentialGeometry

LieAlgebras

LieAlgebraData

LieBracket

MultiplicationTable

 


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