DifferentialGeometry - Maple Programming 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

Parameters

Description

Examples

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:

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

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

(1)

Γ1InfinitesimalTransformationΦ1,a,b,θ

Γ1D_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:

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

Φ2x=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.

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

Γ2xD_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.

Γ2DGbasisΓ2,method=real

Γ2xD_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.)

Gsolveadbc=1,d

Gd=bc+1a

(7)

Φ3simplifyevalΦ2,G

Φ3x=ax+ba1+ax+bc

(8)

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

Γ32xD_x,D_x,x2D_x

(9)

 

Example 3.

The group of fractional linear transformations in the plane.

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

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

(10)

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

Γ4xD_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:

Γ5DGbasisΓ4,method=real

Γ5xD_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