compute the Lie algebra of infinitesimal generators for an action of a Lie group on a manifold - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : DifferentialGeometry/InfinitesimalTransformation

DifferentialGeometry[InfinitesimalTransformation] - compute the Lie algebra of infinitesimal generators for an action of a Lie group on a manifold

Calling Sequence

InfinitesimalTransformation(phi, par, initialpoint)

Parameters

phi

-

a transformation from a manifold M to M, depending upon 1 or more parameters [a, b, ...].

par

-

a list of the group parameters appearing in the transformation phi

id

-

(optional) a list of equations initialpoint = [a = a0, b = b0, ... ] specifying the values of the parameters a, b, ... which give the identity transformation on M; the default value each parameter value is 0.

Description

• 

Let mu: G x M -> M define a (right) action of an r-dimensional Lie group G on a manifold M.  

• 

Let R_i, i = 1 ... r denote a basis for the right invariant vector fields on G.  Then the vector fields X_i(x) = mu_*(e, x)(R_i(e)) (where mu_* is the Jacobian of mu, e is the identity element of G, and x is a point of M) define a Lie algebra of vector fields on M whose structure constants coincide with the structure constants of the Lie algebra of right invariant vector fields R_i. The vector fields X_i are called the infinitesimal generators for the action mu.

• 

For convenience, the command InfinitesimalTransformation treats the action mu as a parameterized family of transformations phi: M -> M.  The infinitesimal transformations are then computed by taking the derivatives of the components of phi with respect to the group parameters and evaluating the result at the identity.  A list of vector fields is returned, one vector field for each group parameter in par.

• 

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

Examples

withDifferentialGeometry:withLieAlgebras:

 

Example 1.

The group of Euclidean motions in the plane, consisting of translations in the coordinate directions and rotations about the origin. We initialize the coordinates on the plane and define a 3-parameter transformation consisting of all the Euclidean motions.

DGsetupx,y,M:

Φ1:=TransformationM,M,x=cosθx+sinθy+a,y=sinθx+cosθy+b

Φ1:=x=cosθx+sinθy+a,y=sinθx+cosθy+b

(1)

Γ1:=InfinitesimalTransformationΦ1,a,b,θ

Γ1:=`*`D_x,`*`D_y,yD_xxD_y

(2)

To calculate the structure equations for this Lie algebra of vector fields, use the LieAlgebraData command from the LieAlgebras package.  Here [e1, e2, e3] denote the vectors in Gamma and only the non-trivial brackets are displayed.

LieAlgebraDataΓ1

e1,e3=e2,e2,e3=e1

(3)

 

Example 2.

The group of fractional linear transformations on the line.

DGsetupx,R:

Φ2:=TransformationM,R,x=ax+bcx+d

Φ2:=x=ax+bcx+d

(4)

The identity transformation is given by a = 1, b = 0, c = 0, d = 1.  Only the non-zero parameter values need to be specified.

Γ2:=InfinitesimalTransformationΦ2,a,b,c,d,initialpoint=a=1,d=1

Γ2:=xD_x,`*`D_x,x2D_x,xD_x

(5)

Note that these vectors fields are not linearly independent over the real numbers (Gamma2[1] = - Gamma2[4]).  This is because the parameter values [a = t, b = 0, c = 0, d = 1] and [a = 1, b = 0, c = 0, d = 1/t] generate the same 1-parameter group of transformations, that is, the action is not effective.

We can remove the linearly dependent elements of Gamma2 a with the DGbasis command.

Γ2:=DGbasisΓ2,method=real

Γ2:=xD_x,`*`D_x,x2D_x

(6)

Alternatively, we can make the action effective by normalizing the parameters to a*b - c*d = 1.  (Now the group is SL2, the set of all 2 x 2 matrices with a determinant of 1.)

G:=solveadbc=1,d

G:=d=bc+1a

(7)

Φ3:=simplifyevalΦ2,G

Φ3:=x=ax+bacxa+bc+1

(8)

Γ3:=InfinitesimalTransformationΦ3,a,b,c,initialpoint=a=1

Γ3:=2xD_x,`*`D_x,x2D_x

(9)

 

Example 3.

The group of fractional linear transformations in the plane.

Φ4:=TransformationM,M,x=ax+by+crx+sy+t,y=dx+ey+frx+sy+t

Φ4:=x=ax+by+crx+sy+t,y=dx+ey+frx+sy+t

(10)

Γ4:=InfinitesimalTransformationΦ4,a,b,c,d,e,f,r,s,t,initialpoint=a=1,e=1,t=1

Γ4:=xD_x,yD_x,`*`D_x,xD_y,yD_y,`*`D_y,x2D_xyxD_y,yxD_xy2D_y,xD_xyD_y

(11)

Again we have to remove linearly dependent vectors:

Γ5:=DGbasisΓ4,method=real

Γ5:=xD_x,yD_x,`*`D_x,xD_y,yD_y,`*`D_y,x2D_xyxD_y,yxD_xy2D_y

(12)

LieAlgebraDataΓ5

e1,e2=e2,e1,e3=e3,e1,e4=e4,e1,e7=e7,e2,e4=e5e1,e2,e5=e2,e2,e6=e3,e2,e7=e8,e3,e4=e6,e3,e7=e52e1,e3,e8=e2,e4,e5=e4,e4,e8=e7,e5,e6=e6,e5,e8=e8,e6,e7=e4,e6,e8=2e5e1

(13)
M > 

See Also

DifferentialGeometry, LieAlgebras, DGbasis, Flow, GetComponents, LieAlgebraData, Transformation, PDEtools[InvariantTransformation], PDEtools[SymmetryTransformation], PDEtools


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