Related papers: Normalization in Lie algebras via mould calculus a…
It is shown that the presence of Lie-point-symmetries of (non-Hamiltonian) dynamical systems can ensure the convergence of the coordinate transformations which take the dynamical sytem (or vector field) into Poincar\'e-Dulac normal form.
The characterization of systems of differential equations admitting a superposition function allowing us to write the general solution in terms of any fundamental set of particular solutions is discussed. These systems are shown to be…
Classical Bianchi-Lie, Backlund and Darboux transformations are considered. Their generalizations for the dynamical systems are discussed. For the transformation being the generalization of the normal shift the special class of dynamical…
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…
The jet formalism for Classical Field theories is extended to the setting of Lie algebroids. We define the analog of the concept of jet of a section of a bundle and we study some of the geometric structures of the jet manifold. When a…
A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique…
This paper presents a survey on formal moduli problems. It starts with an introduction to pointed formal moduli problems and a sketch of proof of a Theorem (independently proven by Lurie and Pridham) which gives a precise mathematical…
The classical Hamilton equations of motion yield a structure sufficiently general to handle an almost arbitrary set of ordinary differential equations. Employing elementary algebraic methods, it is possible within the Hamiltonian structure…
We discuss several aspects of the geometry of vector fields in (Poincare'-Dulac) normal form. Our discussion relies substantially on Michel theory and aims at a constructive approach to simplify the analysis of normal forms via a splitting…
A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant…
In this article, we present the Lie transformation algorithm for autonomous Birkhoff systems. Here, we are referring to Hamiltonian systems that obey a symplectic structure of the general form. Two examples of normalization in the…
We emphasize the usefulness of the Lie brackets in the context of classical and quantum mechanics. By way of examples we show that many dynamical systems, especially the ones with (gauge) constraints, can equally be treated in their time…
This article is an introduction to some aspects of \'Ecalle's mould calculus, a powerful combinatorial tool which yields surprisingly explicit formulas for the normalising series attached to an analytic germ of singular vector field or of…
We discuss the local behaviour of vector fields in the plane $\R^2$ around a regular singular point, using recently introduced reduced normal forms, i.e. Poincar\'e and Lie renormalized forms [{\it Lett. Math. Phys.} {\bf 42} (1997),…
We consider a simple and natural coboundary operator, on the Lie algebra valued differential forms on a manifold, which in the abelian case reduces to usual exterior derivative of such forms. Using the corresponding de Rham cohomology Lie…
A classification of ordinary differential equations and finite-difference equations in one variable having polynomial solutions (the generalized Bochner problem) is given. The method used is based on the spectral problem for a polynomial…
A systematic procedure is proposed for deriving all the gauge symmetries of the general, not necessarily variational, equations of motion. For the variational equations, this procedure reduces to the Dirac-Bergmann algorithm for the…
We describe a procedure, called regularisation, that allows us to study geometric structures on Lie algebroids via foliated geometric structures on a manifold of higher dimension. This procedure applies to various classes of Lie algebroids;…
We give a natural and complete description of Ecalle's mould-comould formalism within a Hopf-algebraic framework. The arborification transform thus appears as a factorization of characters, involving the shuffle or quasishuffle Hopf…
The problem of representing a class of maps in a form suited for application of normal form methods is revisited. It is shown that using the methods of Lie series and of Lie transform a normal form algorithm is constructed in a…