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

Online Help

All Products    Maple    MapleSim


DifferentialGeometry:-Tools[DGscalar,  DGvolume,  DGzero]

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

DGzero(keyword1, options)

DGvolume(keyword2, options)

DGscalar(keyword3, options)

Parameters

keyword1

-

a string, one of: "biform", "form", "vector", "tensor"

keyword2

-

a string, one of: "biform", "form"

keyword3

-

a string, one of: "biform", "form", "tensor"

options

-

each command admits a defined frame name as an optional last argument

Description

• 

The command DGzero creates a zero biform, form, vector or tensor.  The degree of the form or the index type of the tensor is specified as a second argument.  This command is useful when, for example, a tensor T is to be computed recursively as sum of  tensors.

• 

The command DGvolume creates the standard top-dimensional form on a manifold M or a biform of top degree horizontal on the jet space J^k(E),  where E is a fiber bundle over a base manifold M. It is convenient to use this command whenever a Lagrangian for some variational problem is to be defined as a biform of  top horizontal degree on the jet space.  The command DGvolume accepts as a second optional argument a Maple expression k, where DGvolume(keyword2,  k) = k  &mult DGvolume(keyword2).

• 

The command DGscalar constructs a degree 0 form, a rank 0 tensor, or a biform of degree [0, 0].  

• 

The command DGscalar accepts as a second optional argument a Maple expression k, where DGscalar(keyword3, k) = k &mult DGscalar(keyword3).

• 

The command DGzero is part of the DifferentialGeometry:-Tools package, and so can be used in the form DGzero(...) only after executing the commands with(DifferentialGeometry) and with(Tools) in that order.  It can always be used in the long form DifferentialGeometry:-Tools:-DGzero.  The commands DGvolume and DGscalar work the same way.

Examples

withDifferentialGeometry:withTools:

 

Define some manifolds.

DGsetupx,y,M:DGsetupp,q,u,E,1:

 

Example 1.

Create the zero vector for the current frame.

DGinfoCurrentFrame

E

(1)

DGzerovector

0D_p

(2)

 

Example 2. 

Create the zero vector on the manifold M.

DGzerovector,M

0D_x

(3)

 

Example 3.

Create the zero 2-form for the current frame.

DGzeroform,2

0dxdy

(4)

 

Example 4. 

Create the zero type (1, 2) tensor on the manifold M.

DGzerotensor,con_bas,cov_bas,cov_bas,

0D_xdxdx

(5)

 

Example 5.

Create the zero type (1, 2) tensor on the manifold E.

DGzerotensor,con_bas,cov_bas,cov_bas,,E

0D_pdpdp

(6)

 

Example 6.

Create the zero type (2, 2) biform on the jet space of E.

DGzerobiform,2,2,E

0DpDqCuCu1

(7)

 

Example 7.

Create the top degree form on M with coefficient exp(- x^2 - y^2).

DGvolumeform,expx2y2,M

ⅇx2y2dxdy

(8)

 

Example 8.

Represent the  Maple expression ln(x) as a degree 0 form on M.

fDGscalarform,lnx

flnx

(9)

lprintf

_DG([["form", M, 0], [[[], ln(x)]]])

See Also

DifferentialGeometry

Tools

DGform