DifferentialGeometry[Tools] - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : Tools : DifferentialGeometry/Tools/DGequal

DifferentialGeometry[Tools]

  

DGequal

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

DGequal(S1, S2)

Parameters

S1, S2

-

two lists of vectors, differential forms, or tensors; two transformations; two Lie algebra data structures; or two representations

Description

• 

Let S1 and  S2 be two lists of vectors, differential forms, or tensors. If every element of S1 is in the span of S2 and every element of S1 is in the span of S2, then DGequal(S1, S2) returns true and otherwise false.

• 

If the two transformations Phi1 and Phi2 have the same domain frame, range frame, and the same coordinate expressions, then DGequal(Phi1, Phi2) returns true and otherwise false.  The command DGequal(Phi1, Phi2) computes the differences between the Jacobian matrices and the coordinate equations for the two transformations Phi1 and Phi2 and tests if these differences are zero.

• 

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

Examples

withDifferentialGeometry:withTools:withLieAlgebras:

 

Example 1.

First initialize a 4-dimensional manifold M with coordinates [x, y, z, w].

DGsetupx,y,z,w,M:

 

Show that the vector subspaces spanned by the lists of vectors S1 and S2 are the same.

S1evalDGD_x,D_y,D_x+D_y,D_x+D_y+D_z

S1D_x,D_y,D_x+D_y,D_x+D_y+D_z

(1)

S2evalDGD_x,D_y,D_z

S2D_x,D_y,D_z

(2)

DGequalS1,S2

true

(3)

Show that the subspaces of differential forms spanned by the lists of 2-forms S3 and S4 are not the same.

S3evalDGdx &w dy,dx &w dz

S3dxdy,dxdz

(4)

S4evalDGdx &w dy,dy &w dz

S4dxdy,dydz

(5)

DGequalS3,S4

false

(6)

 

Example 2.

First initialize manifolds M and N with coordinates [x, y] and [u, v].

DGsetupx,y,M:DGsetupu,v,N:

 

Show that the transformations Phi1 and Phi2 are the same.

Φ1TransformationM,N,u=1x+1y,v=xy

Φ1u=1x+1y,v=xy

(7)

Φ2TransformationM,N,u=x+yxy,v=xy

Φ2u=x+yxy,v=xy

(8)

DGequalΦ1,Φ2

true

(9)

Show that the transformations Phi3 and Phi4 are not the same without assuming that x > 0.

Φ3TransformationM,N,u=x2,v=0

Φ3u=x2,v=0

(10)

Φ4TransformationM,N,u=x,v=0

Φ4u=x,v=0

(11)

DGequalΦ3,Φ4

false

(12)

DGequal&Phi;3&comma;&Phi;4assuming0<x

true

(13)

 

Example 3.

Define  two Lie algebras data structures. Check that they are equal.

AMatrix1&comma;0&comma;0&comma;1&comma;Matrix0&comma;1&comma;0&comma;0&comma;Matrix0&comma;0&comma;1&comma;0

A1001&comma;0100&comma;0010

(14)

LD1LieAlgebraDataA&comma;alg1

LD1e1&comma;e2&equals;2e2&comma;e1&comma;e3&equals;2e3&comma;e2&comma;e3&equals;e1

(15)

LD2LieAlgebraDatav1&comma;v2&equals;2v2&comma;v1&comma;v3&equals;2v3&comma;v2&comma;v3&equals;v1&comma;v1&comma;v2&comma;v3&comma;alg1

LD2e1&comma;e2&equals;2e2&comma;e1&comma;e3&equals;2e3&comma;e2&comma;e3&equals;e1

(16)

DGequalLD1&comma;LD2

true

(17)

 

Example 4.

Define two representations of a Lie algebra and test for equality. First define the Lie algebra.

L_DGLieAlgebra&comma;A1&comma;3&comma;2&comma;3&comma;1&comma;1&comma;1&comma;3&comma;2&comma;1&comma;1&comma;2&comma;3&comma;1

Le1&comma;e2&equals;e3&comma;e1&comma;e3&equals;e2&comma;e2&comma;e3&equals;e1

(18)

DGsetupL

Lie algebra: A1

(19)

Define the representation space V.

DGsetupx1&comma;x2&comma;x3&comma;V

frame name: V

(20)

&rho;1RepresentationA1&comma;V&comma;AdjointA1

&rho;1e1&comma;00000−1010&comma;e2&comma;001000−100&comma;e3&comma;0−10100000

(21)

DGequal&rho;1&comma;&rho;1

true

(22)

Make a change of basis in the representation space.

&rho;2ChangeBasis&rho;1&comma;D_x1&comma;D_x2&comma;D_x3&comma;V1

&rho;2ChangeBasise1&comma;00000−1010&comma;e2&comma;001000−100&comma;e3&comma;0−10100000&comma;D_x1&comma;D_x2&comma;D_x3&comma;V1

(23)

The representations rho1 and rho2 are equivalent but they are not equal.

DGequal&rho;1&comma;&rho;2

false

(24)
V > 

See Also

DifferentialGeometry

Tools

LieAlgebras

LieAlgebraData

Representation

Transformation

 


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