In this paper, a quasi-periodic Poincaré theorem is established for almost periodic perturbed nearly integrable Hamiltonian systems
$ \begin{eqnarray*} H = N(y)+\epsilon P(x, y, \omega t, \epsilon), \end{eqnarray*} $
where $ y\in G, \, G\subset \mathbb{R}^d $ is a bounded closed region, $ x\in \mathbb{T}^d $ with $ d $ being the degree of freedom, $ \epsilon>0 $ is a small parameter, $ N(y) $ is a real analytic function and $ P(x, y, \omega t, \epsilon) $ is real analytic in $ (x, y, t) $ and almost periodically in $ t $ with the frequency $ \omega = (\cdots, \omega_\lambda, \cdots)\in \mathbb{R}^\mathbb{Z} $. By applying the quasi-linear iterative scheme to deal with small divisors, we show the persistence of the majority of infinite dimensional resonant invariant tori associated to non-degenerate relative equilibria on any internal resonant surface under the usual Kolmogorov non-degenerate condition. Furthermore, by introducing spatial structure for almost-periodic function and non-resonant condition for infinite dimensional frequency, the fibre space of general resonance's Poincaré theorem is generalized from finite dimension to infinite dimension.
| Citation: |
| [1] |
V. I. Arnold, Proof of a theorem of A. N. Kolmogorov on the preservation of conditionally periodic motions under a small perturbation of the Hamiltonian, Usp. Mat. Nauk, 18 (1963), 13-40.
|
| [2] |
P. Baldi, M. Berti, E. Haus, et al., Time quasi-periodic gravity water waves in finite depth, Invent. Math., 214 (2018), 739-911.
doi: 10.1007/s00222-018-0812-2.
|
| [3] |
M. Berti, Z. Hassainia and N. Masmoudi, Time quasi-periodic vortex patches of Euler equation in the plane, Invent. Math., 233 (2023), 1279-1391.
doi: 10.1007/s00222-023-01195-4.
|
| [4] |
S. V. Bolotin, Homoclinic orbits to invariant tori of Hamiltonian systems, Amer. Math. Soc. Transl., American Mathematical Society, Providence, RI, 168 (1995), 21-90.
|
| [5] |
J. Bourgain, Construction of quasi-periodic solutions for Hamiltonian perturbations of linear equations and applications to nonlinear PDE, Internat. Math. Res. Not., (1994), 475ff., approx. 21 pp.
|
| [6] |
A. D. Brjuno, Analytic form of differential equations, I, II, Trans. Moscow Math. Soc., 25 (1971), 119-262; 26 (1972), 199-239.
|
| [7] |
H. Broer, G. Huitema and M. Sevryuk, Quasi-Periodic Motions in Families of Dynamical Systems: Order Amidst Chaos, Lecture Notes in Mathematics, 1645, Berlin: Springer-Verlag, 1996.
|
| [8] |
M. J. Capiński, E. Fleurantin and J. D. M. James, Computer assisted proofs of two-dimensional attracting invariant tori for ODEs, Discrete Contin. Dyn. Syst., 40 (2020), 6681-6707.
doi: 10.3934/dcds.2020162.
|
| [9] |
C.-Q. Cheng, Birkhoff-Kolmogorov-Arnold-Moser tori in convex Hamiltonian systems, Comm. Math. Phys., 177 (1996), 529-559.
doi: 10.1007/BF02099537.
|
| [10] |
C. Cheng, Non-existence of KAM torus, Acta Math. Sin. Engl. Ser., 27 (2011), 397-404.
doi: 10.1007/s10114-011-0631-5.
|
| [11] |
C. Cheng and Y. Sun, Existence of invariant tori in three-dimensional measure preserving mapping, Celestial Mech. Dynam. Astronom., 47 (1990), 275-292.
doi: 10.1007/BF00053456.
|
| [12] |
C. Cheng and Y. Sun, Existence of KAM tori in degenerate Hamiltonian systems, J. Differential Equations, 114 (1994), 288-335.
doi: 10.1006/jdeq.1994.1152.
|
| [13] |
L. Chierchia and G. Gallavotti, Drift and diffusion in phase space, Ann. Inst. H. Poincaré Phys. Th., 60 (1994), 1-144.
|
| [14] |
L. Chierchia and D. Qian, Moser's theorem for lower dimensional tori, J. Differential Equations, 206 (2004), 55-93.
doi: 10.1016/j.jde.2004.06.014.
|
| [15] |
F. Cong, T. Küpper, Y. Li and J. You, KAM-type theorem on resonant surfaces for nearly integrable Hamiltonian systems, J. Nonlinear Sci., 10 (2000), 49-68.
doi: 10.1007/s003329910003.
|
| [16] |
W. Craig and C. E. Wayne, Newton's method and periodic solutions of nonlinear wave equation, Commun. Pure Appl. Math., 46 (1993), 1409-1498.
doi: 10.1002/cpa.3160461102.
|
| [17] |
J. Du, L. Xu and Y. Li, An infinite dimensional KAM theorem with normal degeneracy, Nonlinearity, 37 (2024), 065021.
doi: 10.1088/1361-6544/ad45a1.
|
| [18] |
L. H. Eliasson, Biasymptotic solutions of perturbed integrable Hamiltonian systems, Bol. Soc. Mat., 25 (1994), 57-76.
doi: 10.1007/BF01232935.
|
| [19] |
L. H. Eliasson, Perturbations of stable invariant tori for Hamiltonian systems, Ann. Sc. Norm. Sup. Pisa, 15 (1988), 115-147.
|
| [20] |
L. H. Eliasson and S. B. Kuksin, KAM for the nonlinear Schrödinger equation, Ann. of Math., 172 (2010), 371-435.
doi: 10.4007/annals.2010.172.371.
|
| [21] |
J.-L. Figueras, A. Haro and A. Luque, Rigorous computer-assisted application of KAM theory: A modern approach, Found. Comput. Math., 17 (2017), 1123-1193.
doi: 10.1007/s10208-016-9339-3.
|
| [22] |
S. M. Graff, On the conservation of hyperbolic invariant tori for Hamiltonian systems, J. Differential Equations, 15 (1974), 1-69.
doi: 10.1016/0022-0396(74)90086-2.
|
| [23] |
M. Guardia, V. Kaloshin and J. Zhang, Asymptotic density of collision orbits in the restricted circular planar 3 body problem, Arch. Ration. Mech. Anal., 233 (2019), 799-836.
doi: 10.1007/s00205-019-01368-7.
|
| [24] |
Y. Han, Y. Li and Y. Yi, Degenerate lower-dimensional tori in Hamiltonian systems, J. Differential Equations, 227 (2006), 670-691.
doi: 10.1016/j.jde.2006.02.006.
|
| [25] |
A. Haro and E. S. Vidal, Computer-assisted proofs of existence of fiberwise hyperbolic invariant tori in quasi-periodic systems via Fourier methods, Discrete Contin. Dyn. Syst. Ser. B, 30 (2025), 2051-2072.
doi: 10.3934/dcdsb.2024143.
|
| [26] |
M.-R. Herman, Sur les courbes invariantes par les diffémorphismes de l'anneau, Astérisque, (1986), 248 pp.
|
| [27] |
P. Huang and X. Li, Persistence of invariant tori in integrable Hamiltonian systems under almost periodic perturbations, J. Nonlinear Sci., 28 (2018), 1865-1900.
doi: 10.1007/s00332-018-9467-9.
|
| [28] |
A. Jorba and C. Simó, On quasi-periodic perturbations of elliptic equilibrium points, SIAM J. Math. Anal., 27 (1996), 1704-1737.
doi: 10.1137/S0036141094276913.
|
| [29] |
V. Kaloshin and K. Zhang, Density of convex billiards with rational caustics, Nonlinearity, 31 (2018), 5214-5234.
doi: 10.1088/1361-6544/aadc12.
|
| [30] |
A. N. Kolmogorov, On quasiperiodic motions under small perturbations of the Hamiltonian, Dokl. Akad. Nauk SSSR, 98 (1954), 527-530.
|
| [31] |
S. B. Kuksin, Nearly Integrable Infinite-Dimensional Hamiltonian Systems, Lecture Notes in Mathematics, 1556, Berlin: Springer, 1993.
|
| [32] |
Y. Li and Y. Yi, A quasi-periodic Poincaré's theorem, Math. Ann., 326 (2003), 649-690.
doi: 10.1007/s00208-002-0399-0.
|
| [33] |
R. Mastroianni and U. Locatelli, Computer-assisted proofs of existence of KAM tori in planetary dynamical models of $\nu$-And b, Commun. Nonlinear Sci. Numer. Simul., 130 (2024), 107706.
|
| [34] |
V. K. Melnikov, On some cases of conservation of conditionally periodic motions under a small change of the Hamiltonian function, Soy. Math. Dokl., 6 (1965), 1592-1596.
|
| [35] |
V. K. Melnikov, A family of conditionally periodic solutions of a Hamiltonian system, Soy. Math. Dokl., 9 (1968), 882-886.
|
| [36] |
K. Meyer, J. F. Palacián and P. Yanguas, Geometric averaging of Hamiltonian systems: Periodic solutions, stability, and KAM tori, SIAM J. Appl. Dyn. Syst., 10 (2011), 817-856.
doi: 10.1137/100807673.
|
| [37] |
J. Moser, On invariant curves of area-preserving mappings of an annulus, Nachr. Akad. Wiss. Gött. Math-Phys. Kl., 1962 (1962), 1-20.
|
| [38] |
J. F. Palacián, F. Sayas and P. Yanguas, Regular and singular reductions in the spatial three-body problem, Qual. Theory Dyn. Syst., 12 (2013), 143-182.
doi: 10.1007/s12346-012-0083-z.
|
| [39] |
J. F. Palacián, C. Vidal, J. Vidarte and P. Yanguas, Periodic solutions and KAM tori in a triaxial potential, SIAM J. Appl. Dyn. Syst., 16 (2017), 159-187.
doi: 10.1137/16M1082925.
|
| [40] |
H. Poincaré, Les Méthodes Nouvelles de la Mécaniques Céleste, I-III, Gauthier-Villars, 1892, 1893, 1899. (English translation: New Methods of Celestial Mechanics, AIP Press, Williston, 1992.)
|
| [41] |
J. Pöschel, Small divisors with spatial structure in infinite dimensional Hamiltonian systems, Commun. Math. Phys., 127 (1990), 351-393.
doi: 10.1007/BF02096763.
|
| [42] |
J. Pöschel, Integrability of Hamiltonian system with cantor tori, Comm. Pure Appl. Math., 213 (1982), 653-695.
|
| [43] |
J. Pöschel, A KAM-theorem for some nonlinear PDEs, Ann. Sc. Norm. Pisa, 23 (1996), 119-148.
|
| [44] |
J. Pöschel, On elliptic lower dimensional tori in Hamiltonian systems, Math. Z., 202 (1989), 559-608.
doi: 10.1007/BF01221590.
|
| [45] |
M. Procesi, Stability and recursive solutions for Hamiltonian PDEs, in: Proceedings of the International Congress of Mathematicians, Helsinki: EMS Press, (2022), 3552-3574.
doi: 10.4171/icm2022/55.
|
| [46] |
W. Qian, Y. Li and X. Yang, Quasiperiodic Poincaré persistence at high degeneracy, Advances in Mathematics, 436 (2024), 109399.
doi: 10.1016/j.aim.2023.109399.
|
| [47] |
M. Rudnev and S. Wiggins, KAM theory near multiplicity one resonant surfaces in perturbations of A-priori stable Hamiltonian systems, J. Nonlinear Sci., 7 (1997), 177-209.
doi: 10.1007/BF02677977.
|
| [48] |
H. Rüssmann, On the one-dimensional Schrödinger equation with a quasi-periodic potential, Ann. New York Acad. Sci., New York Academy of Sciences, New York, 357 (1980), 90-107.
doi: 10.1111/j.1749-6632.1980.tb29679.x.
|
| [49] |
H. Rüssmann, On the existence of invariant curves of twist mappings of an annulus, in: Geometric Dynamics, Lecture Notes in Mathematics, Berlin: Springer, 1007 (1983), 677-718.
doi: 10.1007/BFb0061441.
|
| [50] |
H. Rüssmann, Invariant tori in non-degenerate nearly integrable Hamiltonian systems, Regul. Chaotic Dyn., 6 (2001), 119-204.
|
| [51] |
M. B. Sevryuk, KAM-tori, persistence and smoothness, Nonlinearity, 21 (2008), 177-185.
doi: 10.1088/0951-7715/21/10/T01.
|
| [52] |
W. Si, X. Xu and J. Si, Almost-periodic bifurcations for one-dimensional degenerate Hamiltonian vector fields, Dynamical Systems, 35 (2020), 242-258.
doi: 10.1080/14689367.2019.1665624.
|
| [53] |
W. Si and Y. Yi, Completely degenerate responsive tori systems, Nonlinearity, 33 (2020), 6072-6098.
doi: 10.1088/1361-6544/aba093.
|
| [54] |
D. Treshchëv, Mechanism for destroying resonance tori of Hamiltonian systems, Math. USSR Sb., 180 (1989), 1325-1346.
|
| [55] |
L. Valvo and U. Locatelli, Hamiltonian control of magnetic field lines: Computer assisted results proving the existence of KAM barriers, J. Comput. Dyn., 9 (2022), 505-527.
doi: 10.3934/jcd.2022002.
|
| [56] |
C. E. Wayne, Periodic and quasi-periodic solutions of nonlinear wave equations via KAM theory, Commun. Math. Phys., 127 (1990), 479-528.
doi: 10.1007/BF02104499.
|
| [57] |
Z. Xia, Existence of invariant tori in volume-preserving diffeomorphisms, Ergodic Theory Dynam. Systems, 12 (1992), 621-631.
doi: 10.1017/S0143385700006969.
|
| [58] |
J. Xu, On small perturbation of two-dimensional quasi-periodic systems with hyperbolic-type degenerate equilibrium point, J. Differential Equations, 250 (2011), 551-571.
doi: 10.1016/j.jde.2010.09.030.
|
| [59] |
J. Xu, J. You and Q. Qiu, Invariant tori for nearly integrable Hamiltonian systems with degeneracy, Math. Z., 226 (1997), 375-387.
doi: 10.1007/PL00004344.
|
| [60] |
L. Xu, Y. Li and Y. Yi, Lower-dimensional tori in multi-scale, nearly integrable Hamiltonian systems, Ann. Henri Poincaré, 18 (2017), 53-83.
doi: 10.1007/s00023-016-0516-3.
|
| [61] |
L. Xu, Y. Li and Y. Yi, Poincaré-Treshchëv mechanism in multi-scale, nearly integrable Hamiltonian systems, J. Nonlinear Sci., 28 (2018), 337-369.
doi: 10.1007/s00332-017-9410-5.
|
| [62] |
J. You, A KAM theorem for hyperbolic-type degenerate lower dimensional tori in Hamiltonian systems, Comm. Math. Phys., 192 (1998), 145-168.
doi: 10.1007/s002200050294.
|
| [63] |
X. Yuan, KAM theorem with normal frequencies of finite limit points for some shallow water equations, Commun. Pure Appl. Math., 74 (2021), 1193-1281.
|
| [64] |
E. Zehnder, Generalized implicit function theorems with applications to some small divisor problems, I and II, Commun. Pure Appl. Math., 28 (1975), 91-140; 29 (1976), 49-111.
doi: 10.1002/cpa.3160290104.
|