Related papers: Lie systems: theory, generalisations, and applicat…
We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test…
We discuss the basic properties of Lie groupoids, Lie algebroids and Lie pseudo-groups in view of applying these techniques to the analysis of Jordan-H\"older resolutions and, subsequently, to the integration of partial differential…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
We briefly review two different methods of applying Lie group theory in the numerical solution of ordinary differential equations. On specific examples we show how the symmetry preserving discretization provides difference schemes for which…
We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…
A previous article was devoted to an analysis of the symmetry properties of a class of first-order delay ordinary differential systems (DODSs). Here we concentrate on linear DODSs. They have infinite-dimensional Lie point symmetry groups…
This work represents a PhD thesis concerning three main topics. The first one deals with the study and applications of Lie systems with compatible geometric structures, e.g. symplectic, Poisson, Dirac, Jacobi, among others. Many new Lie…
Symmetry is a powerful tool for finding analytical solutions to differential equations, both partial and ordinary, via the similarity variables or via the invariance of the equation under group transformations. It is the largest group of…
After reviewing the basic role of Lie's theory for the mathematics and physics of this century, we identify its limitations for the treatment of systems beyond the local-differential, Hamiltonian and canonical-unitary conditions of the…
In this survey, we report on the state of the art of some of the fundamental problems in the Lie theory of Lie groups modeled on locally convex spaces, such as integrability of Lie algebras, integrability of Lie subalgebras to Lie…
A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…
A Lie groupoid can be thought of as a generalization of a Lie group in which the multiplication is only defined for certain pairs of elements. From another perspective, Lie groupoids can be regarded as manifolds endowed with a type of…
In this paper we investigate overdetermined systems of scalar PDEs on the plane with one common characteristic, whose general solution depends on 1 function of 1 variable. We describe linearization of such systems and their integration via…
In a previous paper, we introduce and study formal manifolds, which generalize smooth manifolds. In this paper, we establish the basic theory of formal Lie groups, which are group objects in the category of formal manifolds. In particular,…
The theory of Lie remarkable equations, i.e. differential equations characterized by their Lie point symmetries, is reviewed and applied to ordinary differential equations. In particular, we consider some relevant Lie algebras of vector…
Lie group theory states that knowledge of a $m$-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by $m$ the number of equations. We apply this principle by finding some \emph{affine…
We formulate and prove a twofold generalisation of Lie's second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with…
A Lie system is the non-autonomous system of differential equations describing the integral curves of a non-autonomous vector field taking values in a finite-dimensional Lie algebra of vector fields, a so-called Vessiot--Guldberg Lie…
The purpose of this paper is twofold. Firstly, to emphasise that the class of Lie algebras with chain lattices of ideals are elementary blocks in the embedding or decomposition of Lie algebras with finite lattice of ideals. Secondly, to…
It is proved that the members of the Riccati hierarchy, the so-called Riccati chain equations, can be considered as particular cases of projective Riccati equations, which greatly simplifies the study of the Riccati hierarchy. This also…