Poincare' normal forms and simple compact Lie groups

We study two particular continuous prenormal forms as defined by Jean Ecalle and Bruno Vallet for local analytic diffeomorphism: the Trimmed form and the Poincare-Dulac normal form. We first give a self-contain introduction to the mould formalism of Jean Ecalle. We provide a dictionary between moulds and the classical Lie algebraic formalism using non-commutative formal power series. We then give full proofs and details for results announced by J. Ecalle and B. Vallet about t...

We propose a geometric integrator to numerically approximate the flow of Lie systems. The key is a novel procedure that integrates the Lie system on a Lie group intrinsically associated with a Lie system on a general manifold via a Lie group action, and then generates the discrete solution of the Lie system on the manifold via a solution of the Lie system on the Lie group. One major result from the integration of a Lie system on a Lie group is that one is able to solve all as...

This thesis is divided into two parts. In the first part we study completely integrable systems, and their underlying structures, in detail. We study their deformation theory and the different equivalence relations surrounding it. We motivate the definition of weak equivalence (found in the literature) by studying different interpretations of the concept `singular Lagrangian foliation'. Finally, we prove a normal form theorem inspired by the Moser path method. In the seco...

We present in modern language the contents of the famous note published by Henri Poincar\'e in 1901 "Sur une forme nouvelle des \'equations de la M\'ecanique", in which he proves that, when a Lie algebra acts locally transitively on the configuration space of a Lagrangian mechanical system, the well known Euler-Lagrange equations are equivalent to a new system of differential equations defined on the product of the configuration space with the Lie algebra. We write these equa...

In this article we classify normal forms and unfoldings of linear maps in eigenspaces of (anti)-automorphisms of order two. Our main motivation is provided by applications to linear systems of ordinary differential equations, general and Hamiltonian, which have both time-preserving and time-reversing symmetries. However the theory gives a uniform method to obtain normal forms and unfoldings for a wide variety of linear differential equations with additional structure. We give...

In this paper, discrete analogues of Euler-Poincar\'{e} and Lie-Poisson reduction theory are developed for systems on finite dimensional Lie groups $G$ with Lagrangians $L:TG \to {\mathbb R}$ that are $G$-invariant. These discrete equations provide ``reduced'' numerical algorithms which manifestly preserve the symplectic structure. The manifold $G \times G$ is used as an approximation of $TG$, and a discrete Langragian ${\mathbb L}:G \times G \to {\mathbb R}$ is construced in...

Phase space of a characteristic Hamiltonian system is a symplectic leaf of a factorizable Poisson Lie group. Its Hamiltonian is a restriction to the symplectic leaf of a function on the group which is invariant with respect to conjugations. It is shown in this paper that such system is always integrable.

In these lectures notes I discuss the Linearization Theorem for Lie groupoids, and its relation to the various classical linearization theorems for submersions, foliations and group actions. In particular, I explain in some detail the recent metric approach to this problem.

This paper develops the theory of Dirac reduction by symmetry for nonholonomic systems on Lie groups with broken symmetry. The reduction is carried out for the Dirac structures, as well as for the associated Lagrange-Dirac and Hamilton-Dirac dynamical systems. This reduction procedure is accompanied by reduction of the associated variational structures on both Lagrangian and Hamiltonian sides. The reduced dynamical systems obtained are called the implicit Euler-Poincar\'e-Sus...

We develop efficient group-theoretical approach to the problem of classification of evolution equations that admit non-local transformation groups (quasi-local symmetries), i.e., groups involving integrals of the dependent variable. We classify realizations of two- and three-dimensional Lie algebras leading to equations admitting quasi-local symmetries. Finally, we generalize the approach in question for the case of an arbitrary system of evolution equations with two independ...