Retrieve - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


Library[Retrieve] - retrieve a specific entry from a table in the DifferentialGeometry library

Calling Sequences

     Retrieve()

     Retrieve(author, n)

     Retrieve(author, n, indexlist, options)

Parameters

     author    - the author of a table in the DifferentialGeometry Library

     n         - an integer

     indexlist - an index for the table specified by the call sequence author, n

     options   - optional arguments, depending on the nature of the table entry to be retrieved

 

Description

Examples

Description

• 

The command Retrieve() returns the calling sequences for all the tables in the DifferentialGeometry Library.

• 

Each table in the DifferentialGeometry Library is uniquely specified by its call sequence author, n.  The command Retrieve(author, n) returns all the indices for the table specified by the given call sequence.

• 

The command Retrieve(author, n, index, options) returns the data in the table for the given call sequence and table index.  The index refers to the exact reference scheme used by the author in the original source article or book.  The command returns the data from the source article or book in a format which can be immediately used by the appropriate DifferentialGeometry commands.

• 

When an entry from a table of Lie algebras of vector fields is to be retrieved, the argument manifold = M is required.  Here M is the name of the manifold, initialized via DGsetup, upon which the vector fields are to be defined.

• 

When an entry from a table of tensor fields is to be retrieved, the argument manifoldname = M is required.  Here M is the name of the manifold, initialized via DGsetup, upon which the tensor fields are to be defined.

• 

When an entry from a table of Lie algebras is to be retrieved, an optional 4th argument can be used to specify the name that will be used to refer to the algebra.

• 

When an entry from a table of differential equations is to be retrieved, the argument variables = variablelist is required.  The independent variables should be listed first and the dependent variables second.

• 

The list of parameters appearing in the table entry can be obtained with the optional argument parameters = "yes".

• 

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

Examples

withDifferentialGeometry:withLibrary:withLieAlgebras:

 

Example 1.

Retrieve

Doubrov,1,Gong,1,Gonzalez-Lopez,1,HawkingEllis,1,Kamke,1,Morozov,1,Mubarakyzanov,1,Mubarakyzanov,2,Mubarakyzanov,3,Olver,1,Petrov,1,Stephani,1,Turkowski,1,Turkowski,2,USU,2,Winternitz,1

(2.1)

RetrieveWinternitz,1

3,0,3,1,3,2,3,3,3,4,3,5,3,6,3,7,3,8,3,9,4,0,4,1,4,2,4,3,4,4,4,5,4,6,4,7,4,8,4,9,4,10,4,11,4,12,5,0,5,1,5,2,5,3,5,4,5,5,5,6,5,7,5,8,5,9,5,10,5,11,5,12,5,13,5,14,5,15,5,16,5,17,5,18,5,19,5,20,5,21,5,22,5,23,5,24,5,25,5,26,5,27,5,28,5,29,5,30,5,31,5,32,5,33,5,34,5,35,5,36,5,37,5,38,5,39,5,40,6,1,6,2,6,3,6,4,6,5,6,6,6,7,6,8,6,9,6,10,6,11,6,12,6,13,6,14,6,15,6,16,6,17,6,18,6,19,6,20,6,21,6,22

(2.2)

 

Example 2.

We retrieve a 5-dimensional Lie algebra appearing in the paper by         J. Patera, R. T. Sharp,  and P. Winternitz, Invariants of real low dimensional Lie algebras, Journal of Mathematical Physics, Vol 17, No 6 (1976), 966--994.

L1RetrieveWinternitz,1,5,40,Alg

L1:=e1,e2=2e1,e1,e3=e2,e1,e4=e5,e2,e3=2e3,e2,e4=e4,e2,e5=e5,e3,e5=e4

(2.3)

 

At this point we can immediately initialize this Lie algebra and perform computations.  For example, using the LeviDecomposition command we find that the algebra [5, 40] in ["Winternitz", 1] admits a non-trivial Levi decomposition with a 2 dimensional radical [e4, e5] and a semi-simple subalgebra [e1, e2, e3].

DGsetupL1

Lie algebra: Alg

(2.4)
Alg > 

LeviDecomposition

e4,e5,e1,e2,e3

(2.5)

 

Example 3.

We retrieve a 5 dimensional Lie algebra of vector fields in the plane appearing in the paper by A. Gonzalez-Lopex, N. Kamran and P. J. Olver, Lie algebras of vector fields in the real plane , Proc. London Math Soc. Vol 64 (1992), 339--368

Alg > 

withJetCalculus:withGroupActions:

Alg > 

DGsetupx,y,M,1

frame name: M

(2.6)
M > 

VRetrieveGonzalez-Lopez,1,5,manifold=M

V:=D_x,D_y[],xD_xy[]D_y[],y[]D_x,xD_y[]

(2.7)

 

We can immediately do computations with this 5-dimensional Lie algebra of vector fields.  For example, let us prolong these vector fields to the 1st order jet spaces J^1(R, R) with the Prolong command and compute the isotropy subalgebra (with the IsotropySubalgebra command) for this prolonged infinitesimal action at a generic point [ x = a, y[ ] = b, y[1] = c].

M > 

V2mapProlong,V,1

V2:=D_x,D_y[],xD_xy[]D_y[]2y1D_y1,y[]D_xy12D_y1,xD_y[]+D_y1

(2.8)
M > 

AlgIsotropySubalgebraV2,x=a,y=b,y1=c

Alg:=y[]b+2y[]acac2x2bca+a2c2+b2D_x2bca+a2c2+b2+c2bx+ay[]D_y[]2bca+a2c2+b2+bc2+y12b2y12ac+2ac2y1D_y12bca+a2c2+b2,bx+ay[]D_x2bca+a2c2+b2+ac2x+2cxby[]b2bca+a2c2+b2D_y[]2bca+a2c2+b2ac22bcay12+2y1bD_y12bca+a2c2+b2

(2.9)
M > 

nopsAlg

2

(2.10)

 

Since the infinitesimal isotropy of this 5 dimension Lie algebra of vector fields is 2 dimensional, the generic orbits for the corresponding group action are 3 dimensional and therefore, since J^1(R, R) has dimension 3, there are no differential invariants for this action on the 1-jets.

 

Example 4.

The DifferentialGeometry Library contains the lists of ordinary differential equations from the book by Kamke. Let us retrieve one such equation, use the procedure PDEtools:-Infinitesimals to find the infinitesimal symmetries of this equation, and then use the LieAlgebras command LieAlgebraData to calculate the structure equations for this Lie algebra.

M > 

DERetrieveKamke,1,7,8,variables=x,y

DE:=4yx2ⅆ3ⅆx3yx18yxⅆⅆxyxⅆ2ⅆx2yx+15ⅆⅆxyx3

(2.11)
M > 

SPDETools:-InfinitesimalsDE,y

S:=_ξ1x,y=x,_η1x,y=0,_ξ1x,y=1,_η1x,y=0,_ξ1x,y=0,_η1x,y=y,_ξ1x,y=0,_η1x,y=y3/2,_ξ1x,y=0,_η1x,y=xy3/2,_ξ1x,y=0,_η1x,y=12x2y3/2,_ξ1x,y=12x2,_η1x,y=2xy

(2.12)
M > 

DGsetupx,y,M:

 

We use the convert command with the keyword DGvector to convert the output of the PDEtools:-Infinitesimals programs to the Differential Geometry vector field format.

M > 

VconvertS,DGvector

V:=xD_x,D_x,yD_y,y3/2D_y,xy3/2D_y,12x2y3/2D_y,12x2D_x2xyD_y

(2.13)
M > 

LLieAlgebraDataV,K7_8,initialpointlist=x=1,y=1,x=0,y=1

L:=e1,e2=e2,e1,e5=e5,e1,e6=2e6,e1,e7=e7,e2,e5=e4,e2,e6=e5,e2,e7=e12e3,e3,e4=12e4,e3,e5=12e5,e3,e6=12e6,e4,e7=e5,e5,e7=e6

(2.14)

 

Let us find the Levi decomposition for this 6 dimensional symmetry algebra.

M > 

DGsetupL

Lie algebra: K7_8

(2.15)
K7_8 > 

LeviDecomposition

e3,e4,e5,e6,e12e3,e2,e7

(2.16)

 

Example 5.

The DifferentialGeometry Library contains detailed information on some of the space-time metrics found in the books by Hawking and Ellis and Stephani, Kramer et. al.  

First define a spacetime manifold.

K7_8 > 

DGsetupt,x,y,z,M

frame name: M

(2.17)

 

Retrieve the metric and other fields (if present):

RetrieveStephani,1,12,14,1,manifoldname=M,output=Fields

ⅇxcos3xdtdt_k2ⅇxsin3xdtdz_k2+dxdx_k2+ⅇ2xdydy_k2ⅇxsin3xdzdt_k2+ⅇxcos3xdzdz_k2

(2.18)

 

Retrieve a null tetrad for the space-time.

M > 

RetrieveStephani,1,12,14,1,manifoldname=M,output=NullTetrad

142_kⅇ12xcos123xsin123xD_t142_kⅇ12xsin123x+cos123xD_z,2_kⅇ12xsin123x+cos123xD_t+2_kⅇ12xcos123xsin123xD_z,12I2_kD_x+122_kⅇxD_y,12I2_kD_x+122_kⅇxD_y

(2.19)

 

Retrieve the Petrov type.

M > 

RetrieveStephani,1,12,14,1,manifoldname=M,output=PetrovType

I

(2.20)

 

Retrieve  the Killing vectors

M > 

RetrieveStephani,1,12,14,1,manifoldname=M,output=KillingVectors

D_t,D_y,D_z,123z12tD_t+D_x+yD_y+123t12zD_z

(2.21)

 

The keyword argument output accepts a list of table indices chosen from ["Authors", "BasePoints",  "Comments", "Coordinates", "CosmologicalConstant", "Domains", "Fields", "IsometryDimension , "KillingEquations", "KillingVectors", "NewtonConstant", "NullTetrad", "OrthonormalTetrad", "Parameters", "PetrovType", "PlebanskiPetrovType", "PrimaryDescription", "OrbitDimension", "OrbitType", "Reference", "SegreType", "SideConditionsAssuming",  "SideConditionsSimplify", "SecondaryDescription", "TertiaryDescription" ].

 

 

Example 6.

Many table entries in the DifferentialGeometry library contain arbitrary parameters.  These parameters can be assigned specific values by first adding the optional argument parameters = "yes" to the calling sequence for the Retrieve command and using the elements of the returned  parameter list in conjunction with the eval command.

K7_8 > 

L,PRetrieveWinternitz,1,5,17,Alg1,parameters=yes

L,P:=e1,e5=pe1e2,e2,e5=e1+pe2,e3,e5=qe3se4,e4,e5=se3+qe4,p,q,s

(2.22)

 

This Lie algebra depends upon parameters [p, q, s].  Use the following command to assign the values p =3, q = 7, s= K in the structure equations L.

K7_8 > 

L1evalL,P1=3,P2=7,P3=K

L1:=e1,e5=3e1e2,e2,e5=e1+3e2,e3,e5=7e3Ke4,e4,e5=Ke3+7e4

(2.23)

See Also

DifferentialGeometry

GroupActions

JetCalculus

Library

LieAlgebras

Tools

DGinfo

Infinitesimals

IsotropySubalgebra

LeviDecomposition

LieAlgebraData

Prolong