LieAlgebrasOfVectorFields - 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 : LieAlgebrasOfVectorFields/EliminationLAVF

LieAlgebrasOfVectorFields

  

EliminationLAVF

  

construct a LAVF object from the symmetry vector fields

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

EliminationLAVF(V, vfList)

Parameters

V

-

a VectorField object

vfList

-

a list of VectorField objects representing solution vector fields

Description

• 

The command EliminationLAVF(...) constructs a LAVF object based on the solution vector fields vf. A valid LAVF object then has access to at least 60 methods methods which allow it to be manipulated and its contents queried. For more detail, see Overview of the LAVF object.

• 

It first finds the Lie determining system of all linear combination of vector fields in vfList, and expresses the system DQ in terms of the variable names from V. It then constructs a LAVF object using V and DQ.

• 

The command ultimately uses LieAlgebrasOfVectorFields[EliminationSystem] to construct the determining system as a LHPDE object.

• 

This command is part of the LieAlgebrasOfVectorFields package. For more detail, see Overview of the LieAlgebrasOfVectorFields package.

• 

This command can be used in the form EliminationLAVF(...) only after executing the command with(LieAlgebrasOfVectorFields), but can always be used in the form LieAlgebrasOfVectorFields:-EliminationLAVF(...).

Examples

withLieAlgebrasOfVectorFields:

Typesetting:-Settingsuserep=true:

Typesetting:-Suppressη,ξ,zetax,y,z:

We consider three 3-D rotation vector fields that generating standard SO(3) action on R3(x,y,z). First we construct these vector fields.

R1VectorFieldxDyyDx,space=x,y,z

R1yx+xy

(1)

R2VectorFieldxDzzDx,space=x,y,z

R2zx+xz

(2)

R3VectorFieldyDzzDy,space=x,y,z

R3zy+yz

(3)

XVectorFieldξx,y,zDx+ηx,y,zDy+zetax,y,zDz,space=x,y,z

Xξx+ηy+ζz

(4)

Then we use the command to construct a LAVF object as the vector fields system for SO(3)

SO3EliminationLAVFX,R1,R2,R3

SO3ξx+ηy+ζz&whereξ=ηyζzx,ηx=ζyz+ηx,ηy=0,ηz=ζy,ζy,y=0,ζx=ζyy+ζx,ζz=0

(5)

Solving the LAVF brings back these three vector fields.

LAVFSolveSO3,output=basis

zy+yz,zx+xz,yx+xy

(6)

Compatibility

• 

The LieAlgebrasOfVectorFields[EliminationLAVF] command was introduced in Maple 2020.

• 

For more information on Maple 2020 changes, see Updates in Maple 2020.

See Also

LieAlgebrasOfVectorFields (Package overview)

LAVF (Object overview)

LieAlgebrasOfVectorFields[VectorField]

LieAlgebrasOfVectorFields[EliminationSystem]

LAVFSolve