LieAlgebrasOfVectorFields
|
algorithmically checks if an input system of polynomially nonlinear ODE or PDE can be mapped into a target class of linear DEs by an invertible Map of the variables of the input system
|
|
Calling Sequence
|
|
MapDE(InputDE, TargetClass, Map, Options)
MapDE([DE,[x,u],[xi,eta]], ToLinearDE, [psi,phi], Options)
MapDE([DE,[x,u],[xi,eta]], [ToLinearDE, [xh,uh]], [psi,phi], Options)
|
|
Parameters
|
|
InputDE
|
-
|
A list of lists [DE, vars, infinitesimals] for an input (source) DE system. DE is a list of polynomially nonlinear partial or ordinary differential equations and inequations, and vars is a list where is a list of independent variable names and is a list of dependent variable names for the DE. infinitesimals is a list where and are lists of the components of vectorfields of the Lie algebra corresponding to continuous Lie point symmetry transformations of the DE in the space of independent and dependent variables of the DE.
|
TargetClass
|
-
|
Properties of the class of target DE. Currently TargetClass is either ToLinearDE or has form [ToLinearDE, ] where is a list of independent variable names and is a list of dependent variable names for the target DE.
|
Map
|
-
|
where and are lists of mapping functions corresponding to the independent variables and dependent variables . Thus Map transforms the InputDE to a member of the TargetClass where at points where the Jacobian of Map is nonzero.
|
Options
|
-
|
OutputDetails when included in Options returns additional details of the computation (including structure and dimensions of various objects computed in intermediate computations).
|
|
|
|
|
Description
|
|
•
|
The command MapDE determines the invertible linearizability of nonlinear differential polynomial systems and attempts to construct the map if it exists. Thus it determines the existence of an invertible mapping on points in the space of independent and dependent variables of the InputDE to points in the space of independent and dependent variables of a target linear DE.
|
•
|
The output of MapDE is a table. The output table includes the label MapExists = true or MapExists = false, if a mapping of the InputDE to a linear DE exists or does not exist. Additional outputs include the reduced Map DE (RedMapDE) which are differential equations satisfied by the functions of the mapping, together with inequality (pivot) conditions on given by the output table entry labeled by MapDEPivs. If pdsolve is successful in explicitly integrating the RedMapDE system, then the output also includes the integrated form of the transformations labeled by IntegratedMap, and an explicit form of the target DE, labeled by TargetDE.
|
•
|
A user can get more information about the mapping system, including the structure and dimensions of various objects (solution spaces, derived algebra, Lie algebra structure, etc) by including OutputDetails or by assigning infolevel[MapDE] to a non-negative integer value.
|
|
|
Examples
|
|
>
|
|
DE[1] below is obviously linearizable by the transformation :
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
For the example above, the transformation maps DE[2] to the given TargetLinearDE, which can be independently checked by applying PDEtools[dchange].
Burgers' PDE below is the simplest nonlinear model combining convection and diffusion:
>
|
|
| (5) |
>
|
|
| (6) |
MapDE proves above that there is no invertible change of variables in -space linearizing Burgers' equation. Bluman et al (2010) nonlocally embed Burgers' PDE in the system below
>
|
|
| (7) |
The reader can check that Burgers' PDE results from computing cross partials. Application of MapDE below reveals that Burgers' DE[4] is linearizable in (x,t,u,v)-space and recovers the famous Hopf-Cole linearizing transformation (also see Bluman et al (2010)).
>
|
|
| (8) |
The above apparently paradoxical result is resolved, by noting that the two spaces -space and -space are noninvertibly related, since non-unique yields by integration. Systematically exploring such nonlocal embeddings is discussed in Bluman et al (2010).
|
|
References
|
|
|
Z. Mohammadi, G. Reid, and S.-L.T Huang. "Introduction of the MapDE algorithm for determination of mappings relating differential equations." Proceedings of ISSAC 2019, pp.331-338. ACM Press, 2019.
|
|
Z. Mohammadi, G. Reid, and S.-L.T. Huang. "Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE". Mathematics in Computer Science, 1–24, 2020.
|
|
G. W. Bluman, A. F. Cheviakov, and S. C. Anco. Applications of Symmetry Methods to Partial Differential Equations, Springer, Chapter 2, 2010.
|
|
D. Lyakhov, V. Gerdt, and D. Michels. "Algorithmic verification of linearizability for ordinary differential equations." Proceedings of ISSAC 2017, pp. 285–292. ACM Press, 2017.
|
|
|
Compatibility
|
|
•
|
The LieAlgebrasOfVectorFields[MapDE] command was introduced in Maple 2021.
|
|
|
|
|
|
|