February  2010, 27(1): 1-24. doi: 10.3934/dcds.2010.27.1

Vey theorem in infinite dimensions and its application to KdV

1. 

CMLS, Ecole Polytechnique, 91128 Palaiseau, France, France

Received  September 2009 Revised  January 2010 Published  February 2010

We consider an integrable infinite-dimensional Hamiltonian system in a Hilbert space $H=\{u=(u_1^+,u_1^-; u_2^+,u_2^-;....)\}$ with integrals $I_1, I_2,....$ which can be written as $I_j=\frac{1}{2}|F_j|^2$, where $F_j:H\rightarrow \R^2$, $F_j(0)=0$ for $j=1,2,....$ We assume that the maps $F_j$ define a germ of an analytic diffeomorphism $F=(F_1,F_2,...):H\rightarrow H$, such that $dF(0)=id$, $(F-id)$ is a $\kappa$-smoothing map ($\kappa\geq 0$) and some other mild restrictions on $F$ hold. Under these assumptions we show that the maps $F_j$ may be modified to maps F j such that $F_j-$F j$=O(|u|^2)$ and each 1/2|F j|$^2$ still is an integral of motion. Moreover, these maps jointly define a germ of an analytic symplectomorphism F$: H\rightarrow H$, the germ (F-id) is $\kappa$-smoothing, and each $I_j$ is an analytic function of the vector (1/2|Fj|$^2,j\ge1)$. Next we show that the theorem with $\kappa=1$ applies to the KdV equation. It implies that in the vicinity of the origin in a functional space KdV admits the Birkhoff normal form and the integrating transformation has the form 'identity plus a 1-smoothing analytic map'.
Citation: Sergei Kuksin, Galina Perelman. Vey theorem in infinite dimensions and its application to KdV. Discrete & Continuous Dynamical Systems - A, 2010, 27 (1) : 1-24. doi: 10.3934/dcds.2010.27.1
[1]

Luigi Chierchia, Gabriella Pinzari. Planetary Birkhoff normal forms. Journal of Modern Dynamics, 2011, 5 (4) : 623-664. doi: 10.3934/jmd.2011.5.623

[2]

Shui-Nee Chow, Kening Lu, Yun-Qiu Shen. Normal forms for quasiperiodic evolutionary equations. Discrete & Continuous Dynamical Systems - A, 1996, 2 (1) : 65-94. doi: 10.3934/dcds.1996.2.65

[3]

Xingwu Chen, Weinian Zhang. Normal forms of planar switching systems. Discrete & Continuous Dynamical Systems - A, 2016, 36 (12) : 6715-6736. doi: 10.3934/dcds.2016092

[4]

A. Katok and R. J. Spatzier. Nonstationary normal forms and rigidity of group actions. Electronic Research Announcements, 1996, 2: 124-133.

[5]

Marco Abate, Francesca Tovena. Formal normal forms for holomorphic maps tangent to the identity. Conference Publications, 2005, 2005 (Special) : 1-10. doi: 10.3934/proc.2005.2005.1

[6]

Boris Kalinin, Victoria Sadovskaya. Normal forms for non-uniform contractions. Journal of Modern Dynamics, 2017, 11: 341-368. doi: 10.3934/jmd.2017014

[7]

Guy V. Norton, Robert D. Purrington. The Westervelt equation with a causal propagation operator coupled to the bioheat equation.. Evolution Equations & Control Theory, 2016, 5 (3) : 449-461. doi: 10.3934/eect.2016013

[8]

Eric L. Grinberg, Haizhong Li. The Gauss-Bonnet-Grotemeyer Theorem in space forms. Inverse Problems & Imaging, 2010, 4 (4) : 655-664. doi: 10.3934/ipi.2010.4.655

[9]

Anish Ghosh, Dubi Kelmer. A quantitative Oppenheim theorem for generic ternary quadratic forms. Journal of Modern Dynamics, 2018, 12: 1-8. doi: 10.3934/jmd.2018001

[10]

Saugata Bandyopadhyay, Bernard Dacorogna, Olivier Kneuss. The Pullback equation for degenerate forms. Discrete & Continuous Dynamical Systems - A, 2010, 27 (2) : 657-691. doi: 10.3934/dcds.2010.27.657

[11]

P. De Maesschalck. Gevrey normal forms for nilpotent contact points of order two. Discrete & Continuous Dynamical Systems - A, 2014, 34 (2) : 677-688. doi: 10.3934/dcds.2014.34.677

[12]

Weigu Li, Jaume Llibre, Hao Wu. Polynomial and linearized normal forms for almost periodic differential systems. Discrete & Continuous Dynamical Systems - A, 2016, 36 (1) : 345-360. doi: 10.3934/dcds.2016.36.345

[13]

Ricardo Miranda Martins. Formal equivalence between normal forms of reversible and hamiltonian dynamical systems. Communications on Pure & Applied Analysis, 2014, 13 (2) : 703-713. doi: 10.3934/cpaa.2014.13.703

[14]

Vincent Naudot, Jiazhong Yang. Finite smooth normal forms and integrability of local families of vector fields. Discrete & Continuous Dynamical Systems - S, 2010, 3 (4) : 667-682. doi: 10.3934/dcdss.2010.3.667

[15]

Tomas Johnson, Warwick Tucker. Automated computation of robust normal forms of planar analytic vector fields. Discrete & Continuous Dynamical Systems - B, 2009, 12 (4) : 769-782. doi: 10.3934/dcdsb.2009.12.769

[16]

Juan-Ming Yuan, Jiahong Wu. The complex KdV equation with or without dissipation. Discrete & Continuous Dynamical Systems - B, 2005, 5 (2) : 489-512. doi: 10.3934/dcdsb.2005.5.489

[17]

Andrei Fursikov. Stabilization of the simplest normal parabolic equation. Communications on Pure & Applied Analysis, 2014, 13 (5) : 1815-1854. doi: 10.3934/cpaa.2014.13.1815

[18]

Denis Blackmore, Jyoti Champanerkar, Chengwen Wang. A generalized Poincaré-Birkhoff theorem with applications to coaxial vortex ring motion. Discrete & Continuous Dynamical Systems - B, 2005, 5 (1) : 15-33. doi: 10.3934/dcdsb.2005.5.15

[19]

Luca Biasco, Laura Di Gregorio. Periodic solutions of Birkhoff-Lewis type for the nonlinear wave equation. Conference Publications, 2007, 2007 (Special) : 102-109. doi: 10.3934/proc.2007.2007.102

[20]

Henry Cohn, Nadia Heninger. Ideal forms of Coppersmith's theorem and Guruswami-Sudan list decoding. Advances in Mathematics of Communications, 2015, 9 (3) : 311-339. doi: 10.3934/amc.2015.9.311

2017 Impact Factor: 1.179

Metrics

  • PDF downloads (10)
  • HTML views (0)
  • Cited by (12)

Other articles
by authors

[Back to Top]