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

Online Help

All Products    Maple    MapleSim


DifferentialGeometry[DGsolve] - solve a list of tensor equations for an unknown list of tensors

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

DGsolve(Eq, T, options)

Parameters

Eq

-

a vector, differential form or tensor constructed from the objects in the 2nd argument; or list of such. The vanishing of these tensors defines the equations to be solved.

T

-

a vector, differential form, or tensor, depending upon a number of arbitrary parameters or functions; or a list of such

auxiliaryequations

-

(optional) a keyword argument to specify a set of auxiliary equations, to be solved in conjunction with the equations specified by the first argument

unknowns

-

(optional) list of parameters and functions, explicitly specifying the unknowns to be solved for.

method

-

(optional) a Maple procedure which will be used to solve the equations

other

-

(optional) additional arguments to be passed to the procedure used the solve the equations

Description

• 

 Let  be a vector, a differential form, or a tensor which depends upon a number of parameters . These parameters may be constants or functions. Now let  be a differential-geometric construction depending upon which can be implemented in Maple by a sequence of commands in the DifferentialGeometry package. For example,  could be a metric tensor and the Einstein tensor constructed from . The command DGsolve will solve the equations obtained by setting to zero all the components of for the unknowns . The output is a set containing those  solving =0 (obtainable by Maple).

• 

 Additional constraints (for example, initial conditions or inequalities) can be imposed upon the unknowns with the keyword argument auxiliaryequations.

• 

The command DGsolve uses the general purpose solver PDEtools:-Solve to solve the system =0 for the unknowns . The keyword argument method can be used to specify a particular Maple solver (for example, solve, pdsolve, dsolve) or a customized solver created by the user.

• 

If the equations defined by =0 are homogenous linear algebraic equations, then the command DGNullSpace can also be used.

Examples

 

Example 1.

Let  be a 4-dimensional space. We define a metric tensor depending upon an arbitrary function. We find the metrics which have vanishing Einstein tensor, and vanishing Bach tensor.

 

(4.1)

(4.2)

 

Here are the metrics of the form (4.2) with vanishing Einstein tensor.

M > 

(4.3)

 

Here are the metrics of the form (4.2) with vanishing Bach tensor.

M > 

(4.4)

 

Example 2.

In this example we define a 2-form which depends upon parameters . We find those values of the parameters for which

M > 

(4.5)
M > 

M > 

(4.6)

 

Example 3.

We define a connection  and calculate the parallel transport of a vector  along a curve .

M > 

(4.7)
M > 

(4.8)
M > 

(4.9)
M > 

(4.10)
M > 

(4.11)

 

We can use the keyword argument auxiliaryequations to specify an initial position for the vector

M > 

(4.12)

 

Example 4.

The source-free Maxwell equations may be expressed in terms of a 2-form  by the equations  and , where  is the exterior derivative and  is the Hodge star operator. In this example we define a 2-form depending on 2 functions of 4 variables and solve the Maxwell equations for

 

M > 

(4.13)
M > 

(4.14)
M > 

(4.15)
M > 

(4.16)

See Also

DifferentialGeometry

DGNullSpace

 


Download Help Document