About the Trimmed and the Poincare-Dulac normal form of diffeomorphisms

The paper is withdrawn.

The normal form theory for polynomial vector fields is extended to those for $C^\infty$ vector fields vanishing at the origin. Explicit formulas for the $C^\infty$ normal form and the near identity transformation which brings a vector field into its normal form are obtained by means of the renormalization group method. The dynamics of a given vector field such as the existence of invariant manifolds is investigated via its normal form. The $C^\infty$ normal form theory is app...

We present a geometric proof of the Poincar\'e-Dulac Normalization Theorem for analytic vector fields with singularities of Poincar\'e type. Our approach allows us to relate the size of the convergence domain of the linearizing transformation to the geometry of the complex foliation associated to the vector field. A similar construction is considered in the case of linearization of maps in a neighborhood of a hyperbolic fixed point.

We classify the possible behaviour of Poincar\'e-Dulac normal forms for dynamical systems in $R^n$ with nonvanishing linear part and which are equivariant under (the fundamental representation of) all the simple compact Lie algebras and thus the corresponding simple compact Lie groups. The ``renormalized forms'' (in the sense of previous work by the author) of these systems is also discussed; in this way we are able to simplify the classification and moreover to analyze syste...

We investigate the structure of the centralizer and the normalizer of a local analytic or formal differential system at a nondegenerate stationary point, using the theory of Poincar\'e-Dulac normal forms. Our main results are concerned with the formal case. We obtain a description of the relation between centralizer and normalizer, sharp dimension estimates when the centralizer of the linearization has finite dimension, and lower estimates for the dimension of the centralizer...

In this paper we mainly study the existence of analytic normalization and the normal form of finite dimensional complete analytic integrable dynamical systems. More details, we will prove that any complete analytic integrable diffeomorphism $F(x)=Bx+f(x)$ in $(\mathbb C^n,0)$ with $B$ having eigenvalues not modulus $1$ and $f(x)=O(|x|^2)$ is locally analytically conjugate to its normal form. Meanwhile, we also prove that any complete analytic integrable differential system $\...

In this paper we consider a diffeomorphism $f$ of a compact manifold $M$ which contracts an invariant foliation $W$ with smooth leaves. If the differential of $f$ on $TW$ has narrow band spectrum, there exist coordinates $H _x:W_x\to T_xW$ in which $f|_W$ has polynomial form. We present a modified approach that allows us to construct maps $H_x$ that depend smoothly on $x$ along the leaves of $W$. Moreover, we show that on each leaf they give a coherent atlas with transition m...

We prove a discrete time analogue of 1967 Moser's normal form of real analytic perturbations of vector fields possessing an invariant, reducible, Diophantine torus; in the case of diffeomorphisms too, the persistence of such an invariant torus is a phenomenon of finite co-dimension. Under convenient non-degeneracy assumptions on the diffeomorphisms under study (torsion property for example), this co-dimension can be reduced. As a by-product we obtain generalizations of R\"uss...

We study the equivalence problem of classifying second order ordinary differential equations $y_{xx}=J(x,y,y_{x})$ modulo fibre-preserving point transformations $x\longmapsto \varphi(x)$, $y\longmapsto \psi(x,y)$ by using Moser's method of normal forms. We first compute a basis of the Lie algebra ${\frak{g}}_{{\{y_{xx}=0\}}}$ of fibre-preserving symmetries of $y_{xx}=0$. In the formal theory of Moser's method, this Lie algebra is used to give an explicit description of the se...

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.