Overview of the VectorField Commands - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : Lie Symmetry Method : Commands for PDEs (and ODEs) : LieAlgebrasOfVectorFields : VectorField : LieAlgebrasOfVectorFields/VectorField/Commands

Overview of the VectorField Commands

 

Description

List of VectorField Related Commands

List of VectorField and OneForm Objects Methods

Examples

Description

• 

The VectorField-related commands in the LieAlgebrasOfVectorFields package provide a general purpose toolkit for dealing with vector fields and one-forms.

• 

With these commands you can:

1. 

perform basic operations such as plus, minus and scalar multiplications on vector fields and one-forms.

2. 

find basic properties such as space where a vector field and one-form lives.

3. 

calculate Lie derivative of a scalar vector field or one-form with respect to a vector field, and Lie bracket of two vector fields.

4. 

change coordinates on vector fields or one-forms.

5. 

access to some Maple existing builtins including map, subs, normal, expand, simplify, indets, has, hastype, type that have been overloaded to work for a vector field or a one-form.

• 

The VectorField functionality has been written in an object-oriented way, so utilizes the VectorField and OneForm objects, and almost all methods are within these two objects. There are only three exports related to VectorFields and OneForms, and their purposes are constructing the VectorField or the OneForm object.

• 

To use the VectorField package, first a VectorField or OneForm object must be constructed via the constructor methods. Then once a VectorField or OneForm object is constructed successfully, a variety of methods will be available. For more detail about these two objects, see Overview of the VectorField object, Overview of the OneForm object.

List of VectorField Related Commands

• 

There are three commands for creating a VectorField or an OneForm object. These objects then give access to variety of methods.

VectorField

A constructor to create a VectorField object / data structure.

OneForm

A constructor to create a OneForm object / data structure.

Differential

A command for finding the differential df of function f, as a OneForm object.

List of VectorField and OneForm Objects Methods

• 

The following is a list of methods that are available in VectorField and OneForm object.

AreSameSpace

Commutator

GetComponents

GetSpace

LieBracket

LieDerivative

 

 

• 

The following operators (`=`,`+`,`-`,`?[]`) are overloaded for use on both VectorField and OneForm objects. See VectorField & OneForm Objects Operator Methods for more detail.

• 

The following Maple builtins functions are extended for allowing both VectorField and OneForm objects: type, expand, has, hastype, indets, map, normal, simplify, subs. See VectorField & OneForm Objects Overloaded Builtins for more detail.

Examples

Loading the LieAlgebrasOfVectorFields package, the relevant exports are commands for constructing VectorField and OneForm objects.

withLieAlgebrasOfVectorFields

Differential,DisplayStructure,Distribution,EliminationLAVF,EliminationSystem,IDBasis,IsLinearizable,LAVF,LHLibrary,LHPDE,LHPDO,OneForm,SymmetryLAVF,VFPDO,VectorField

(1)

 

Construct a two-dimensional rotation vector field in (x,y) coordinates.

XVectorFieldyDx+xDy,space=x,y

Xyx+xy

(2)

 

The VectorField object X exports the following methods:

exportsX,static

GetComponents,GetSpace,AreSameSpace,LieDerivative,Commutator,LieBracket,dchange,DChange,`=`,`+`,`-`,`*`,?[],map,subs,normal,expand,simplify,indets,has,hastype,type,ModuleType,ModulePrint,ModuleCopy

(3)

Common operators are overloaded for the VectorField object.

2X

2yx+2xy

(4)

 

Basic data attributes of X can be retrieved:

GetComponentsX

y,x

(5)

GetSpaceX

x,y

(6)

LieBracketX,X

0

(7)

YVectorFieldξxDx+ηyDy

Yξxx+ηyy

(8)

 

Substituting the components of the VectorField Y using existing Maple command subs,

Ypsubsξ=α,η=β,Y

Ypαxx+βyy

(9)

 

The new components are substituted successfully.

GetComponentsYp

αx,βy

(10)

typeYp,VectorField

true

(11)

typeYp,OneForm

false

(12)

See Also

VectorField (Object overview)

OneForm (Object overview)

LieAlgebrasOfVectorFields[VectorField]

LieAlgebrasOfVectorFields[OneForm]