Poincare' normal forms and simple compact Lie groups

We discuss how the presence of a suitable symmetry can guarantee the perturbative linearizability of a dynamical system - or a parameter dependent family - via the Poincar\'e Normal Form approach. We discuss this at first formally, and later pay attention to the convergence of the linearizing procedure. We also discuss some generalizations of our main result

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.

We briefly review the main aspects of (Poincar\'e-Dulac) normal forms; we have a look at the non-uniqueness problem, and discuss one of the proposed ways to ``further reduce'' the normal forms. We also mention some convergence results.

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 based on the action of certain groups. The case, common in Physics, of systems enjoying an a priori symmetry is also discussed in some detail.

We show that a nonlinear dynamical system in Poincare'-Dulac normal form (in $\R^n$) can be seen as a constrained linear system; the constraints are given by the resonance conditions satisfied by the spectrum of (the linear part of) the system and identify a naturally invariant manifold for the flow of the ``parent'' linear system. The parent system is finite dimensional if the spectrum satisfies only a finite number of resonance conditions, as implied e.g. by the Poincare' c...

We discuss the convergence problem for coordinate transformations which take a given vector field into Poincar\'e-Dulac normal form. We show that the presence of linear or nonlinear Lie point symmetries can guaranteee convergence of these normalizing transformations, in a number of scenarios. As an application, we consider a class of bifurcation problems.

The Poincare'-Dulac normal form of a given resonant system is in general non unique; given a specific normal form, one would like to further reduce it to a simplest normal form. In this note we give an algorithm, based on the Lie algebraic structure of the set of normal forms, to obtain this. The algorithm can be applied under some condition, non generic but often met in applications; when applicable, it only requires to solve linear equations, and is more powerful than the o...

We establish Ecalle's mould calculus in an abstract Lie-theoretic setting and use it to solve a normalization problem, which covers several formal normal form problems in the theory of dynamical systems. The mould formalism allows us to reduce the Lie-theoretic problem to a mould equation, the solutions of which are remarkably explicit and can be fully described by means of a gauge transformation group. The dynamical applications include the construction of Poincar{\'e}-Dulac...

We prove an equivariant version of the local splitting theorem for tame Poisson structures and Poisson actions of compact Lie groups. As a consequence, we obtain an equivariant linearization result for Poisson structures whose transverse structure has semisimple linear part of compact type.

There are two ways to compute Poincar\'e-Dulac normal forms of systems of ODEs. Under the original approach used by Poincar\'e the normalizing transformation is explicitly computed. On each step, the normalizing procedure requires the substitution of a polynomial to a series. Under the other approach, a normal form is computed using Lie transformations. In this case, the changes of coordinates are performed as actions of certain infinitesimal generators. In both cases, on eac...