construct a LHPDO object
LHPDO( S )
LHPDO( sys, options)
LHPDO( str, dep = vars, options)
an LHPDE object
a list or set of linear homogeneous PDEs or ODEs or expressions, or a table as returned by DEtools[rifsimp]
a string: either "trivial" or "identity"
a list of dependent variables as functions
optional equations controlling details of the first input argument
The LHPDO constructor accepts a number of options, which are all passed through to the constructor of the LHPDE object (see LieAlgebrasOfVectorFields[LHPDE] for more detail).
The command LHPDO(...) is for constructing a LHPDO object. It returns a LHPDO object if successful. A valid LHPDO object has access to various methods which allow it to be manipulated and its contents queried. For more detail, see Overview of the LHPDO object.
A LHPDO Δ consists of independent variables x=x1,x2,..,xn, and a sequence of linear homogeneous PDOs Δ1,Δ2,…Δs. Here, each Δj is a function / operator that applies to a list of m scalar expressions y1,y2,..ym, and computes a linear homogenous combination of various derivatives of yi of order up to k.
The LHPDO constructor command works by converting a list of s differential expressions linear homogeneous with respect to dependent variables u1,u2,..,um each of which is an indeterminate function of its arguments -- which must be some nonempty subset of x1,x2,..,xn. These differential expressions are specified in various ways by the first argument to LHPDO.
In the first calling sequence, an LHPDE object S is provided. The differential expressions are formed from taking (lhs - rhs) for each equation in the system of PDEs in S (see GetSystem). An LHPDE object fully specifies other quantities required for conversion to LHPDO, so no further arguments are allowed.
In the second calling sequence, the first input argument is a list or set of scalar expressions or equations, or alternatively a table as returned by DEtools[rifsimp]. In fact the sequence of arguments for this calling sequence is exactly what is accepted by the LHPDE constructor. See LieAlgebrasOfVectorFields[LHPDE] for the detailed specification of arguments and options for this calling sequence.
In the third calling sequence, the first input argument is the string "trivial" or "identity", in which case, the identity LHPDO (i.e. one which maps u1,u2,..,um→u1,u2,..,um) is constructed. In this calling sequence, the second argument dep= vars is required. Further options are as per the LHPDE constructor (see LieAlgebrasOfVectorFields[LHPDE]).
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 LHPDO(...) only after executing the command with(LieAlgebrasOfVectorFields), but can always be used in the form LieAlgebrasOfVectorFields:-LHPDO(...).
List of differential expressions...
diffExpr ≔ ∂2∂y2⁢ξ⁡x,y,∂∂x⁢η⁡x,y+∂∂y⁢ξ⁡x,y,∂∂y⁢η⁡x,y,∂∂x⁢ξ⁡x,y
Δ ≔ LHPDO⁡diffExpr
List of differential equations...
detSys ≔ ∂2∂y2⁢ξ⁡x,y=0,∂∂x⁢η⁡x,y+∂∂y⁢ξ⁡x,y=0,∂∂y⁢η⁡x,y=0,∂∂x⁢ξ⁡x,y=0
Δ ≔ LHPDO⁡detSys
R ≔ DEtoolsrifsimp⁡detSys
Δ ≔ LHPDO⁡R
S ≔ LHPDE⁡detSys
Δ ≔ LHPDO⁡S
id ≔ LHPDO⁡identity,dep=u⁡x,y,v⁡x,y
A LHPDO depends on how its arguments are ordered, so the operator constructed may differ according to the specification of dependent variables....
E ≔ LHPDO⁡detSys,indep=x,y,dep=ξ,η
The main purpose of the LHPDO object is to act as an operator...
The LieAlgebrasOfVectorFields[LHPDO] command was introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
LHPDO (Object overview)
LieAlgebrasOfVectorFields (Package overview)
LHPDO as operator
Download Help Document