Recognizing the symmetry type of O. D. E. s

DOI10.1016/S0022-4049(00)00146-8MaRDI QIDQ5951559zbMATH OpenFDO

Authors Jan Draisma

Publication date 6 August 2002

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0022-4049(00)00146-8

zbMATH Keywords

algorithmisotropy subalgebraordinary differential equation symmetry

Mathematics Subject Classification ID

Lie algebras of vector fields and related (super) algebras (17B66) Geometric methods in ordinary differential equations (34A26) Symmetries, invariants of ordinary differential equations (34C14) Analysis of algorithms (68W40)

Review text

An algorithm is presented to determine the symmetry type for explicit ordinary differential equations of order \(\geq 2\). On the algebraic background of polynomial differential rings with coefficients as formal power series, Gröbner base tools etc., the first step is to compute the defining equations and then, following the method of \textit{G. J. Reid}, \textit{I. G. Lisle}, \textit{A. Boulton} and \textit{A. D. Wittkopf} [P. S. Wang (ed.), International Symposium on symbolic and algebraic computation 92. ISSAC 92. Berkely, CA, USA, July 27-29, 1992 (ACM Press, Baltimore, MD), 63-68 (1992; Zbl 0978.65514)], the algebraic type of the symmetry algebra \(g\). The same computations allow one to determine the isotropy subalgebra \(h\) of \(g\), consisting of all generators from \(g\) which vanish in the origin, and to check the condition \(\text{codim }h=2\), which characterizes the case of transitive Lie algebras. The possible effective cases of pairs \((g,h)\) are then discussed on the base of Lie's list. Some examples with MAPLE sessions and GAP code are given.

Recommendations

• Algorithmic Lie theory for solving ordinary differential equations
• scientific article; zbMATH DE number 17974
• Solving second-order differential equations with Lie symmetries
• Symmetries of Differential Equations: From Sophus Lie to Computer Algebra
• scientific article; zbMATH DE number 24668

Cites work

• An algebraic model of transitive differential geometry
• An algorithm for determining the size of symmetry groups
• Classification of Second-Order Ordinary Differential Equations Admitting Lie Groups of Fibre-Preserving Point Symmetries
• Finding abstract Lie symmetry algebras of differential equations without integrating determining equations
• Geometry and structure of Lie pseudogroups from infinitesimal defining systems
• scientific article; zbMATH DE number 3944162 (Why is no real title available?)
• scientific article; zbMATH DE number 1263342 (Why is no real title available?)
• scientific article; zbMATH DE number 1534262 (Why is no real title available?)
• scientific article; zbMATH DE number 217454 (Why is no real title available?)
• scientific article; zbMATH DE number 802623 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• Induced and Produced Representations of Lie Algebras
• Infinite dimensional primitive Lie algebras
• Lie Algebras of Differential Operators in Two Complex Variables
• Lie symmetries and differential Galois groups of linear equations
• Primitive actions and maximal subgroups of Lie groups
• Symmetries of second-order ordinary differential equations and Elie Cartan's method of equivalence

Cited in

(2)

• Transitive Lie algebras of vector fields: an overview
• Algorithmic calculus for Lie determining systems

Describes a project that uses

Uses Software

• Maple
• GAP

This page was built for publication: Recognizing the symmetry type of O. D. E. s

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5951559)