Chow, Li and Yi in [2] proved that the majority of the unperturbed tori {\it on sub-manifolds} will persist for standard Hamiltonian systems. Motivated by their work, in this paper, we study the persistence and tangent frequencies preservation of lower dimensional invariant tori on smooth sub-manifolds for real analytic, nearly integrable Hamiltonian systems. The surviving tori might be elliptic, hyperbolic, or of mixed type.
In this paper, we establish a KAM-theorem for ordinary differential equations with finitely differentiable vector fields and multiple degeneracies. The theorem can be used to deal with the persistence of quasi-periodic invariant tori in multiple Hopf and zero-multiple Hopf bifurcations, as well as their subordinate bifurcations, of equilibrium points of continuous dynamical systems.
In this paper we are concerned with the existence of invariant tori in nearly integrable Hamiltonian systems \begin{equation*} H=h(y)+f(x,y,t), \end{equation*} where $y\in D\subseteq\mathbb{R}^n$ with $D$ being a closed bounded domain, $x\in \mathbb{T}^n$, $f(x,y,t)$ is a real analytic almost periodic function in $t$ with the frequency ${ω}=(\cdots,{ω}_λ,\cdots)_{λ\in \mathbb{Z}}\in \mathbb{R}^{\mathbb{Z}}$. As an application, we will prove the existence of almost periodic solutions and the boundedness of all solutions for the second order differential equations with superquadratic potentials …
In this paper we prove the persistence of hyperbolic invariant tori in generalized Hamiltonian systems, which may admit a distinct number of action and angle variables. The systems under consideration can be odd dimensional in tangent direction. Our results generalize the well-known results of Graff and Zehnder in standard Hamiltonians. In our case the unperturbed Hamiltonian systems may be degenerate. We also consider the persistence problem of hyperbolic tori on sub-manifolds.
We prove a KAM-type result for the persistence of two-dimensional invariant tori in perturbations of integrable action-angle-angle maps with degeneracy, satisfying the intersection property. Such degenerate action-angle-angle maps arise upon generic perturbation of three-dimensional volume-preserving vector fields, which are invariant under volume-preserving action of $S^1$ when there is no motion in the group action direction for the unperturbed map. This situation is analogous to degeneracy in Hamiltonian systems. The degenerate nature of the map and the unequal number of action and angle va…
We give a proof of a theorem by N.N. Nekhoroshev concerning Hamiltonian systems with $n$ degrees of freedom and $s$ integrals of motion in involution, where $1 \le s \le n$. Such a theorem ensures persistence of $s$-dimensional invariant tori under suitable nondegeneracy conditions generalizing Poincaré's condition on the Floquet multipliers.
In this paper the problem of persistence of invariant tori under small perturbations of integrable Hamiltonian systems is considered. The existence of one-to-one correspondence between hyperbolic invariant tori and critical points of the function $Ψ$ of two variables defined on semi-cylinder is established. It is proved that if unperturbed Hamiltonian has a saddle point, then under arbitrary perturbations there persists at least one hyperbolic torus.
We generalize to some PDEs a theorem by Nekhoroshev on the persistence of invariant tori in Hamiltonian systems with $r$ integrals of motion and $n$ degrees of freedom, $r\leq n$. The result we get ensures the persistence of an $r$-parameter family of $r$-dimensional invariant tori. The parameters belong to a Cantor-like set. The proof is based on the Lyapunof-Schmidt decomposition and on the standard implicit function theorem. Some of the persistent tori are resonant. We also give an application to the nonlinear wave equation with periodic boundary conditions on a segment and to a system of c…
Consider an integer $n \geq 2$ and real numbers $τ>n-1$ and $l>2(τ+1)$. Using ideas of Moser, Salamon proved that individual Diophantine tori persist for Hamiltonian systems which are of class $C^l$. Under the stronger assumption that the system is a $C^{l+τ}$ perturbation of an analytic integrable system, P{ö}schel proved the persistence of a set of positive measure of Diophantine tori. We improve the last result by showing it is sufficient for the perturbation to be of class $C^{l}$ and the integrable part to be of class $C^{l+2}$.
We prove a general theorem on the persistence of Whitney infinitely smooth families of invariant tori in the reversible context 2 of KAM theory. This context refers to the situation where dim Fix G < (codim T)/2 where Fix G is the fixed point manifold of the reversing involution G and T is the invariant torus in question. Our result is obtained as a corollary of the theorem by H.W.Broer, M.-C.Ciocci, H.Hanssmann, and A.Vanderbauwhede of 2009 concerning quasi-periodic stability of invariant tori with singular "normal" matrices in reversible systems.
Eliasson and Kuksin developed a KAM approach to study the persistence of the invariant tori for nonlinear Schrödinger equation on $\mathbb{T}^{d}$. In this note, we improve Eliasson and Kuksin's KAM theorem by using Kolmogorov's iterative scheme and obtain a local normal form for the transformed Hamiltonian. As a consequence, we are able to derive the time $δ^{-1}$ stability of the obtained KAM tori.
We study a generalization of the familiar Poincaré map, first implicitely introduced by N.N. Nekhoroshev in his study of persistence of invariant tori in hamiltonian systems, and discuss some of its properties and applications. In particular, we apply it to study persistence and bifurcation of invariant tori.
We consider the persistence of smooth families of invariant tori in the reversible context 2 of KAM theory under various weak nondegeneracy conditions via Herman's method. The reversible KAM context 2 refers to the situation where the dimension of the fixed point manifold of the reversing involution is less than half the codimension of the invariant torus in question. The nondegeneracy conditions we employ ensure the preservation of any prescribed subsets of the frequencies of the unperturbed tori and of their Floquet exponents (the eigenvalues of the coefficient matrix of the variational equa…
In this paper we prove the persistence of space periodic multi-solitons of arbitrary size under any quasi-linear Hamiltonian perturbation, which is smooth and sufficiently small. This answers positively a longstanding question whether KAM techniques can be further developed to prove the existence of quasi-periodic solutions of arbitrary size of strongly nonlinear perturbations of integrable PDEs.
Given $l>2ν>2d\geq 4$, we prove the persistence of a Cantor--family of KAM tori of measure $O(\varepsilon^{1/2-ν/l})$ for any non--degenerate nearly integrable Hamiltonian system of class $C^l(\mathscr D\times\mathbb{T}^d)$, where $\mathscr D\subset \mathbb{R}^d$ is a bounded domain, provided that the size $\varepsilon$ of the perturbation is sufficiently small. This extends a result by D. Salamon in \cite{salamon2004kolmogorov} according to which we do have the persistence of a single KAM torus in the same framework. Moreover, it is well--known that, for the persistence of a single torus, the…
The reversible context 2 in KAM theory refers to the situation where dim Fix G < (1/2) codim T, here Fix G is the fixed point manifold of the reversing involution G and T is the invariant torus one deals with. Up to now, the persistence of invariant tori in the reversible context 2 has been only explored in the extreme particular case where dim Fix G = 0 [M. B. Sevryuk, Regul. Chaotic Dyn. 16 (2011), no. 1-2, 24-38]. We obtain a KAM-type result for the reversible context 2 in the general situation where the dimension of Fix G is arbitrary. As in the case where dim Fix G = 0, the main technical…
Numerical invariant tori of symplectic integrators for integrable Hamiltonian systems
Inner Mongolia University（内蒙古大学）；Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Hua Loo-Keng Key Laboratory of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院华罗庚数学重点实验室）
We present a simple, computation free and geometrical proof of the following classical result: for a diffeomorphism of a manifold, any compact submanifold which is invariant and normally hyperbolic persists under small perturbations of the diffeomorphism. The persistence of a Lipschitz invariant submanifold follows from an application of the Schauder fixed point theorem to a graph transform, while smoothness and uniqueness of the invariant submanifold are obtained through geometrical arguments. Moreover, our proof provides a new result on persistence and regularity of "topologically" normally …
We show that invariant submanifolds with boundary, and more generally with corners which are normally expanded by an endomorphism are persistent as $a$-regular stratifications. This result will be shown in class $C^s$, for $s\ge 1$. We present also a simple example of a submanifold with boundary which is normally expanded but non-persistent as a differentiable submanifold.
We prove a persistence result for noncompact normally hyperbolic invariant manifolds in the setting of Riemannian manifolds of bounded geometry. Bounded geometry of the ambient manifold is a crucial assumption required to control the uniformity of all estimates throughout the proof. The $C^{k,α}$-smoothness result is optimal with respect to the spectral gap condition involved. The core of the persistence proof is based on the Perron method. In the process we derive new results on noncompact submanifolds in bounded geometry: a uniform tubular neighborhood theorem and uniform smooth approximatio…
We find robust obstructions to representing a Hamiltonian diffeomorphism as a full $k$-th power, $k \geq 2,$ and in particular, to including it into a one-parameter subgroup. The robustness is understood in the sense of Hofer's metric. Our approach is based on the theory of persistence modules applied in the context of filtered Floer homology. We present applications to geometry and dynamics of Hamiltonian diffeomorphisms.
We prove that for every proper Hamiltonian action of a Lie group G in finite dimensions the momentum map is locally G-open relative to its image (i.e. images of G-invariant open sets are open). As an application we deduce that in a Hamiltonian system with continuous Hamiltonian symmetries, extremal relative equilibria persist for every perturbation of the value of the momentum map, provided the isotropy subgroup of this value is compact. We also demonstrate how this persistence result applies to an example of ellipsoidal figures of rotating fluid, and provide an example with plane point vortic…
