The Lie Algebra of Vector Fields Package with Applications to Mappings of Differential Equations
- 44 Downloads
Lie symmetry groups of transformations (mappings) of differential equations leave them invariant, and are most conveniently studied through their Lie algebra of vector fields (essentially the linearization of the mappings around the identity transformation). Maple makes powerful and frequent use of such Lie algebras, mostly through routines that are dependent on Maple’s powerful exact integration routines, that essentially automate traditional hand-calculation strategies. However these routines are usually heuristic, and algorithmic approaches require a deeper integration of differential elimination (differential algebraic) approaches in applications to differential equations. This is the underlying motivation of the LieAlgebrasOfVectorFields (LAVF) package of Huang and Lisle. The LAVF package introduces a powerful algorithmic calculus for doing calculations with differential equations without the heuristics of integration to calculate efficiently many properties of such systems.
We use LAVF in the development of our MapDE package, which determines the existence of analytic invertible mappings of an input DE to target DE. Theory, algorithms, and examples of MapDE can be found in [5, 6]. Here we present a brief summary, through examples, of the application of LAVF to MapDE.
KeywordsSymmetry Lie algebra Structure constants Differential algebra
- 2.Huang, S.L.: Properties of lie algebras of vector fields from lie determining system. Ph.D. thesis, University of Canberra (2015)Google Scholar
- 4.Lyakhov, D., Gerdt, V., Michels, D.: Algorithmic verification of linearizability for ordinary differential equations. In: Proceedings ISSAC 2017, pp. 285–292. ACM (2017)Google Scholar
- 5.Mohammadi, Z., Reid, G., Huang, S.-L.T.: Introduction of the MapDE algorithm for determination of mappings relating differential equations. arXiv:1903.02180v1 [math.AP] (2019). To appear in Proceedings of ISSAC 2019. ACM
- 6.Mohammadi, Z., Reid, G., Huang, S.-L.T.: Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE. Submitted to Mathematics of Computer Science (Revision requested 15 May 2019)Google Scholar