Analytic integrable systems: analytic normalization and embedding flows

From MaRDI portal



Abstract: 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 (mathbbCn,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 dotx=Ax+f(x) in (mathbbCn,0) with A having nonzero eigenvalues and f(x)=O(|x|2) is locally analytically conjugate to its normal form. Furthermore we will prove that any complete analytic integrable diffeomorphism defined on an analytic manifold can be embedded in a complete analytic integrable flow. We note that parts of our results are the improvement of Moser's one in {it Comm. Pure Appl. Math.} 9(1956), 673--692 and of Poincar'e's one in {it Rendiconti del circolo matematico di Palermo} 5(1897), 193--239. These results also improve the ones in {it J. Diff. Eqns.} 244(2008), 1080--1092 in the sense that the linear part of the systems can be nonhyperbolic, and the one in {it Math. Res. Lett.} 9(2002), 217--228 in the way that our paper presents the concrete expression of the normal form in a restricted case.


The author studies the analytic integrability for: (i) analytic diffeomorphisms \(F(x)=Bx+f(x)\), (ii) analytic differential systems \(\dot{x}=Ax+f(x)\). Here, \(x \in \mathbb{C}^n\); \(f(x)=O(|x|^2)\) is an analytic vector-function, defined in some neighborhood of \(0 \in \mathbb{C}^n\); \(B\) and \(A\) are \(n \times n\) constant matrices. The analytic integrability means that there exist \(n-1\) functionally independent first integrals. Two main theorems have been proved. Theorem 1. Let the matrix \(B\) have the eigenvalues \((\mu_1,\ldots,\mu_n)\) and the resonant set \[ {\mathcal D} = \big\{ (m_1,\ldots,m_n) \in \mathbb{Z}^n_+: \,\mu_{1}^{m_1}\mu_{2}^{m_2}\ldots \mu_n^{m_{n}}=1, \sum m_j \geq 2\big\}. \] Let at least one \(|\mu_j| \not= 1\). Then, \(F(x)\) is analytic integrable if and only if the following statements hold: (a) the rank of \({\mathcal D}\) equals \(n-1\), (b) \(F(x)\) is conjugate to its normal form of type \(G(y)=\big( \mu_1(1+p_{1}(y)), \ldots , \mu_n(1+p_{n}(y)) \big)\) by an analytic normalization \(y=x+\phi(x)\) with \(\phi(x)\) containing only non-resonant monomials, where all \(p_j(y)\) are analytic and satisfy the equations \((1+p_{1}(y))^{m_{k1}} \ldots (1+p_{n}(y))^{m_{kn}}=1\) for some \(n-1\) linearly independent simple lattices \((m_{k1},\dots,m_{kn}) \in {\mathcal D}\), \(k=1,\dots,n-1\). Theorem 2. Let the matrix \(A\) have the eigenvalues \((\lambda_1,\ldots,\lambda_n)\) and the resonant set \[ {\mathcal R} = \big\{ (m_1,\ldots,m_n) \in \mathbb{Z}^n_+: \,\sum m_j\lambda_j=0, \sum m_j \geq 2 \big\}. \] Let \(n \geq 2\) and at least one \(\lambda_j \not= 0\). Then \(F(x)\) is analytic integrable if and only if the following statements hold: (a) the rank of \({\mathcal R}\) equals \(n-1\), (b) the system \(\dot{x}=Ax+f(x)\) is analytically equivalent to its normal form \(\dot{y}_i=\lambda_i y_i (1+g_i(y))\), \(i=1,\dots,n\), by an analytic normalization \(y=\Psi(x)\) that contains only non-resonant terms; every \(g_i(y)\) is an analytic and contains only nonconstant but resonant terms.




Cited in
(28)








This page was built for publication: Analytic integrable systems: analytic normalization and embedding flows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1943483)