View source for Local normal forms for dynamical systems

A ''local'' [[dynamical system]] is either 
* a (smooth, analytic, formal) vector field $v$ defined<ref>In the formal case instead of the germ we consider a tuple of formal Taylor series in the variables $x=(x_1,\dots,x_n)$.</ref> on a neighborhood $(\RR^n,0)$, $v:(\RR^n,0)\owns x\mapsto T_x(\RR^n,0)$, and vanishing at the origin, $v(0)=0$, or 
*a (smooth, analytic, formal germ of a) invertible self-map $f\in\operatorname{Diff}(\RR^n,0)=\{$invertible maps of $(\RR^n,0)$ to itself fixing the origin, $f(0)=0\}$<ref>In the formal and analytic cases one can replace the real field $\RR$ by the field of complex numbers $\CC$.</ref>. 

The "dynamical" idea is the possibility to iterate the self map, producing the cyclic group 
$$
f^{\circ\ZZ}=\{\underbrace{f\circ \cdots\circ f}_{k\text{ times}}\,|\,k\in\ZZ\}\subseteq\operatorname{Diff}(\RR^n,0),
$$
or a one-parametric group<ref>As before, the "real time" $t\in\RR$ can be replaced by the "complex time" $t\in\CC$ given the appropriate context.</ref>
$$\exp \RR v=\{\exp tv\in\operatorname{Diff}(\RR^n,0)\,|\, t\in\RR,\ \exp[(t+s)v]=(\exp tv)\circ (\exp sv),\ \tfrac{\rd}{\rd t}|_{t=0}\exp tv=v\}
$$
with $v$ as the infinitesimal generator<ref>Note that all iterates (resp., flow maps) are defined only as ''germs'', thus the definition of the ''orbit'' $O(a)=\{f^{\circ k}(a)\}$ of a point $a\in(\RR^n,0)$ (forward, backward or bi-infinite) requires additional work.</ref>.

Two local dynamical systems of the same type are ''equivalent'', if there exists an invertible self-map $h\in\operatorname{Diff}(\RR^n,0)$ which conjugates them:
$$
f\sim f'\iff\exists h:\ f\circ h=h\circ f',
\qquad\text{resp.,}\qquad
v\sim v'\iff\exists h:\ \rd h\cdot v=v'\circ h.
$$
Here $\rd h$ is the differential of $h$, acting on $v$ as a left multiplication by the Jacobian matrix $\bigl(\frac{\partial h}{\partial x}\bigr)$. Obviously, the equivalent systems have equivalent dynamics: if $h$ conjugates $f$ with $f'$, it also conjugates any iterate $f^{\circ k}$ with $f'^{\circ k}$, and conjugacy of vector fields implies that their flows are conjugated by $h$: $h\circ(\exp tv)=(\exp tv')\circ h$ for any $t\in\RR$.

A ''singularity'' (or ''singularity type'') of a local dynamical system is a subspace of germs defined by finitely many [[semialgebraic]] constraints on the initial Taylor coefficients of the germ. Examples:
* [[Hyperbolic dynamical system]]s: Self-maps tangent to linear automorphisms without modulus one eigenvalues, or vector fields whose linear part has no eigenvalues on the imaginary axis;
* [[Saddle node|Saddle-node]]s, self-maps having only one simple egenvalue $\mu=1$, resp., vector fields, whose linearization matrix has a simple eigenvalue $\lambda=0$;
* Cuspidal germs of vector fields on $(\RR^2,0)$ with the nilpotent linearization matrix $\bigl(\begin{smallmatrix}0&1\\0&0\end{smallmatrix}\bigr)$.

The ''classification problem'' for a given singularity type is to construct a list (finite or infinite, eventually involving parameters) of ''normal forms'', such that any local dynamical system of the given type is equivalent to one of these normal forms. 
<small>
----
<references/>
</small>

===Analytic, formal and smooth equivalence===
Technically, the local classification problem for dynamical systems is no different from the for [[Normal form (for singularities)|left-right classification problem for germs of smooth maps]]. In particular, one would assume looking for conjugacy $h$ in the same regularity class as the objects of classification (formal conjugacy for formal germs, smooth conjugacy for smooth germs, analytic conjugacy for analytic germs). This approach usually works for the left-right equivalence (to the extent where a meaningful classification exists).

However, for local dynamical systems a completely new phenomenon of divergence arises: very often a given analytic local dynamical system admits a relatively simple formal normal form (i.e, is formally equivalent to a simple, say, polynomial or even linear germ), yet the formal series for the conjugacy diverges and the analytic classification turns out to be immensely more delicate. 

;Example
A holomorphic self-map $f\in\operatorname{Diff}(\CC^1,0)$ tangent to the identity, i.e., of the form $f(z)=z+a_2z^2+a_3z^3+\cdots$ (the series converges, $a_2\ne0$) is formally equivalent to the cubic self-map $f'(z)=z+z^2+az^3$, with a formal invariant $a\in\CC$, yet the analytic classification of such self-maps has a ''functional invariant'', the so called [[Ecalle-Voronin modulus]], which shows that the same class of formal equivalence contains continuum of pairwise analytically non-equivalent self-maps distinguished by a certain auxiliary analytic function. The phenomenon is known today under the name of the [[Nonlinear Stokes phenomenon]], {{Cite|NLSP}}, {{Cite|IY}}. 

                 
The $C^\infty$-smooth classification of smooth local dynamical systems occupies an intermediate position: for some (usually, hyperbolic) cases formally equivalent smooth germs are smoothly equivalent even when the formal normalizing series diverge <ref>This means that the geometrical reasons for the divergence are "observable" only in the complex domain.</ref>. In other cases the formal divergence affects also the smooth classification even in the case of relatively low smoothness<ref>Yu. Ilʹyashenko, S. Yakovenko, ''Nonlinear Stokes phenomena in smooth classification problems''.  Nonlinear Stokes phenomena,   235--287, Adv. Soviet Math., '''14''', Amer. Math. Soc., Providence, RI,  1993, {{MR|1206045}}. </ref>.                  
         
  
<small>
----
<references/>
</small>

==Linearization==
$\def\l{\lambda}$
A germ of a vector field with the Taylor expansion $v(x)=Ax+O(\|x\|^2)$ (resp., of a self-map with the Taylor expansion $f(x)=Mx+O(\|x\|^2)$ is ''linearizable'' (formally, smoothly or analytically), if it is conjugated to the linear vector field $v'(x)=Ax$, (resp., to the linear automorphism $f(x)=Mx$. The linear objects are [[#Linear_operators_.28self-maps.29|equivalent]] to their [[Jordan normal form]]s.

Linearizability very strongly depends on the arithmetical properties of eigenvalues $\l_1,\dots,\l_n$ of the operator $A$ (resp., $\mu_1,\dots,\mu_n$ of $M$).

;Definition.
A tuple $\l=(\l_1,\dots,\l_n)\in\CC^n$ is said to be in ''additive'' [[resonance]], if there exists an integer vector $\alpha=(\alpha_1,\dots,\alpha_n)\in\ZZ_+^n$ and index $j\in\{1,\dots,n\}$ such that
$$
\l_j-\left<\alpha,\l\right>=0,\quad|\alpha|\ge 2,\qquad\text{where }\left<\alpha,\l\right>=\sum_{i=1}^n\alpha_i\lambda_i,\ |\alpha|=\sum_{i=1}^n \alpha_i.
$$
A tuple $\mu=(\mu_1,\dots,\mu_n)\in\CC^n_{\ne 0}$ is said to be in a ''multiplicative'' [[resonance]], if there exists an integer vector $\alpha=(\alpha_1,\dots,\alpha_n)\in\ZZ_+^n$ and index $j\in\{1,\dots,n\}$ such that
$$
\mu_j-\mu^\alpha=0,\ |\alpha|\ge 2,\qquad\text{where }\mu^\alpha=\mu_1^{\alpha_1}\cdots\mu_n^{\alpha_n}.
$$
The corresponding ''resonant vector monomial'' is the vector function $v_{j\alpha}:\R^n\to\R^n$ whose only component which is not identically zero, is the monomial $x^\alpha$ at the position $j$, $$v_{j\alpha}(x)=(0,\dots,0,\underset{j}{x^\alpha},0,\dots,0),\qquad j=1,\dots,n,\quad |\alpha|\ge 2.$$ The number $|\alpha|\ge2$ is called the ''order'' of resonance.

A vector field (resp., self-map) is ''resonant'', if the eigenvalues of its linear part exhibit one or more additive (resp., multiplicative) resonances. Otherwise the local dynamical system is called ''non-resonant''. 

;Examples.
* A self-map $M:\CC^1\to\CC^1$, $x\mapsto \mu x$ is (multiplicatively) resonant if and only if $\mu$ is a root of unity, $\mu^d=1$ for some $d\in\NN$. The singleton $\{\mu\}\in\CC^1_{\ne 0}$ satisfies infinitely many resonant identities of the form $\mu=\mu^{\nu d+1}$, $\nu=1,2,\dots$, of orders $d+1,2d+1,\dots$. 
* A tuple $(\l_1,\l_2)$ is additively resonant in two different cases. If $(\l_1:\l_2)=(1:d)$ or $(d:1)$, with $d\in\NN$, then there exists only one resonance between them, $\l_2=d\cdot\l_1$ or $\l_1=d\cdot \l_2$ respectively. The corresponding germ of vector field is usually referred to as the [[resonant node]]. If the ratio $\l_1/\l_2=-\beta_2/\beta_1$, $\gcd(\beta_1,\beta_2)=1$,  is a nonpositive rational number, then the corresponding identity $\left<\beta,\l\right>=0$ implies ''infinitely many'' additive resonance identities of the form 
$$
\l_j=\l_j+\nu\left<\beta,\l\right>,\qquad \nu=1,2,\dots
$$
of orders $\nu|\beta|$. In particular, if one of the numbers vanishes, say, $\l_1=0$, the resonant identities are all of the form $\l_j=\l_j+\nu\l_1$ for all $\nu$ and $j=1,2$. If $|\beta|>1$, the corresponding singularity is called a ''resonant [[saddle]]'', otherwise the standard name is the [[saddle node|saddle-node]].
===Poincaré-Dulac formal normal form===
The central result on the formal classification of local dynamical systems is the Poincaré-Dulac theorem.

;Theorem {{Cite|A79}} (Poincaré-Dulac)
Any vector field (resp., self-map) is formally equivalent to its normal form which differs from the linear part only by resonant monomials. In particular, a non-resonant vector field (self-map) is formally linearizable.

It is important to notice that if the eigenvalues satisfy a ''unique'' identitt $\left<\alpha,\l\right>=0$ (resp., $\mu^\alpha=1$), then the normal forms are integrable in quadratures. For multi-resonant tuples this is no more the case.

=== Analytic linearization ===
To ensure that the formal series conjugating two (analytic) germs converges, one needs to impose certain quantitative conditions on the arithmetic nature of the (non-resonant tuples of) eigenvalues. Very roughly, if the (nonvanishing) values of the differences $\delta_k=\inf_{j,\ |\alpha|=k}|\l_j-\left<\alpha,\l\right>|$ (resp., $\delta_k=\inf_{j,|\alpha|\le k}|\mu_j-\mu^\alpha|$), which may decrease to zero as $k\to+\infty$, decrease not too fast (the so called ''Diophantine case''), then the formal conjugacy is convergent. On the contrary, if the ''small denominators'' $\delta_k$ decrease anomalously fast (the so called ''Liouvillean case''), the normalizing series in general diverge. 

The sufficient decay rate of the small denominators $\delta_k\to0$ was first discovered by C. L. Siegel<ref>C. L. Siegel, J. K. Moser,  ''Lectures on celestial mechanics'',
Die Grundlehren der mathematischen Wissenschaften, Band 187. Springer-Verlag, New York-Heidelberg,  1971, {{MR|0502448}}</ref> and later improved significantly by A. D. Brjuno {{Cite|Br}}. The sufficient Brjuno condition for self-maps $(\CC^0,)\to(\CC^0)$ was shown to be sharp by J.-C. Yoccoz, see [[Diophantine conditions in dynamics]].
<small>
----
<references/>
</small>

== References and basic literature ==
{| class="sortable" 
|- 
! scope="col" | [sort]
! scope="col" class="unsortable" | 
|-
| valign="top"|{{Ref|NLSP}} ||valign="top"|Yu. Ilyashenko, ''Nonlinear Stokes phenomena'',  Nonlinear Stokes phenomena,   1--55, Adv.  Soviet Math., 14, Amer. Math. Soc., Providence, RI,  199, {{MR|1206041}} 
|-
|valign="top"|{{Ref|IY}}||valign="top"|  Yu. Ilyashenko, S.   Yakovenko, ''Lectures on analytic differential  equations''. Graduate   Studies in Mathematics, '''86'''. American  Mathematical Society,   Providence, RI,  2008 {{MR|2363178}}
           
|-
|valign="top"| {{Ref|Br}} ||valign="top"| A. D. Brjuno, ''Analytic form of differential equations. I, II'', Trans. Moscow Math. Soc. 25 (1971), 131--288 (1973); ibid. 26 (1972), 199--239 (1974) {{MR|0377192}}.
|-
|valign="top"| Example ||valign="top"| Example
|-
|valign="top"| Example ||valign="top"| Example
|-
|valign="top"| Example ||valign="top"| Example
|}