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/SymmetryLAVF

LieAlgebrasOfVectorFields

  

SymmetryLAVF

  

construct a LAVF object for the determining equations of a given list of DEs

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

SymmetryLAVF(DEs, depVars, V)

Parameters

DEs

-

a list of differential equations

depVars

-

(optional) a function or a list of functions of names

V

-

a VectorField object

Description

• 

The command SymmetryLAVF(...) constructs a LAVF object for the symmetry determining system of given list of DEs, using infinitesimal specification from the vector field V. 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.

• 

The second input argument (depVars) is only used when the first input argument DEs have unclear dependent variables (e.g. trouble distinguishing dependent variables from arbitrary coefficients).

• 

The command ultimately calls PDEtools[DeterminingPDE] command for finding the symmetry determining system DQ. It then calls LAVF(V,DQ) to construct a LAVF 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 SymmetryLAVF(...) only after executing the command with(LieAlgebrasOfVectorFields), but can always be used in the form :-LieAlgebrasOfVectorFields:-SymmetryLAVF(...).

Examples

withLieAlgebrasOfVectorFields:

Typesetting:-Settingsuserep=true:

Typesetting:-Suppressηx,u,ξx,u:

VVectorFieldξx,uDx+ηx,uDu,space=x,u

Vξx+ηu

(1)

The one-dimensional Blasius equation

Blasius2diffux,x,x,x+uxdiffux,x,x=0

Blasius2ⅆ3ⅆx3ux+uxⅆ2ⅆx2ux=0

(2)

An LAVF object with the determining system for symmetries of the Blasius equation can be constructed by

LSymmetryLAVFBlasius,V

Lξx+ηu&whereξx,x=0,ξu=0,η=ξxu

(3)

SolutionDimensionL

2

(4)

LAVFSolveL,output=basis

xx+uu,x

(5)

Compatibility

• 

The LieAlgebrasOfVectorFields[SymmetryLAVF] 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]

PDEtools[DeterminingPDE]

SolutionDimension

LAVFSolve