[Paper Review] A strong form of Arnold diffusion for two and a half degrees of freedom

V. A. Kaloshin, Ke Zhang|arXiv (Cornell University)|Dec 5, 2012

Mathematical Dynamics and Fractals11 citations

TL;DR

This paper establishes a strong form of Arnold diffusion in two-and-a-half-degree-of-freedom Hamiltonian systems by constructing a dense orbit in the phase space through a network of 3D normally hyperbolic invariant manifolds. Using geometric methods involving crumpled and kissing normally hyperbolic cylinders, combined with a Mather-type variational approach grounded in weak KAM theory, the authors prove the existence of a $ ho$-dense orbit for a generic time-periodic perturbation of an integrable system with strictly convex $H_0$, resolving a long-standing conjecture in Hamiltonian dynamics.

ABSTRACT

In the present paper we prove a strong form of Arnold diffusion. Let $\mathbb{T}^2$ be the two torus and $B^2$ be the unit ball around the origin in $\mathbb{R}^2$. Fix $ρ>0$. Our main result says that for a "generic" time-periodic perturbation of an integrable system of two degrees of freedom \[ H_0(p)+εH_1(θ,p,t),\quad \ θ\in \mathbb{T}^2,\ p\in B^2,\ t\in \mathbb{T}, \] with a strictly convex $H_0$, there exists a $ρ$-dense orbit $(θ_ε,p_ε,t)(t)$ in $\mathbb{T}^2 imes B^2 imes \mathbb{T}$, namely, a $ρ$-neighborhood of the orbit contains $\mathbb{T}^2 imes B^2 imes \mathbb{T}$. Our proof is a combination of geometric and variational methods. The fundamental elements of the construction are usage of crumpled normally hyperbolic invariant cylinders from \cite{BKZ}, flower and simple normally hyperbolic invariant manifolds from as well as their kissing property at a strong double resonance. This allows us to build a "connected" net of $3$-dimensional normally hyperbolic invariant manifolds. To construct diffusing orbits along this net we employ a version of Mather variational method \cite{Ma2} proposed by Bernard in \cite{Be}. This version is equipped with weak KAM theory \cite{Fa}.

Motivation & Objective

• To resolve a fundamental question in Hamiltonian dynamics: whether generic nearly integrable systems of two and a half degrees of freedom exhibit Arnold diffusion.
• To construct a $ ho$-dense orbit in the phase space $× B^2 × ℔$ for a generic time-periodic perturbation of an integrable system with strictly convex $H_0$.
• To extend the understanding of instability mechanisms in nearly integrable systems beyond the classical KAM theory, which precludes diffusion due to invariant tori.
• To unify geometric and variational techniques—specifically, normally hyperbolic invariant cylinders and Mather's variational method—within a weak KAM framework to achieve diffusion.

Proposed method

• Construction of crumpled and simple normally hyperbolic invariant cylinders using normal form theory near single and double resonances.
• Utilization of the 'kissing property' at strong double resonances to connect distinct normally hyperbolic invariant manifolds into a connected network.
• Employment of a Mather variational method adapted via Bernard's version, equipped with weak KAM theory, to construct diffusing orbits along the network.
• Application of rescaling and coordinate changes to reduce the system to a slow mechanical system near double resonances, enabling analysis of Aubry-Mather sets and barrier functions.
• Use of Peierls barrier functions and static classes to define and analyze the forcing relation and forcing equivalence between cohomology classes.
• Leveraging semi-concavity and Lipschitz estimates for viscosity solutions in nearly integrable systems to ensure regularity and stability of the variational constructions.

Experimental results

Research questions

• RQ1 Does a generic time-periodic perturbation of a two-degree-of-freedom integrable system with strictly convex $H_0$ admit a $ ho$-dense orbit in the phase space?
• RQ2 Can Arnold diffusion be established in a strong form—i.e., with orbits dense in a full neighborhood of the phase space—using geometric and variational methods?
• RQ3 How can normally hyperbolic invariant cylinders be connected across double resonances via a kissing mechanism to form a diffusing network?
• RQ4 To what extent can weak KAM theory and Mather's variational framework be adapted to construct diffusing orbits in systems with strong double resonances?
• RQ5 What is the role of cohomology classes and forcing equivalence in enabling the transition between different resonance structures during diffusion?

Key findings

• The paper establishes the existence of a $ ho$-dense orbit in $× B^2 × ℔$ for a generic time-periodic perturbation of an integrable system with strictly convex $H_0$.
• The construction relies on a network of 3D normally hyperbolic invariant manifolds formed by crumpled and kissing cylinders at strong double resonances.
• The authors prove that the forcing relation, defined via Peierls barriers and static classes, allows for the existence of connecting orbits between distinct cohomology classes.
• The variational method, based on weak KAM theory and Mather's framework, ensures the existence of diffusing orbits that traverse the entire phase space.
• The system exhibits a bifurcation-type structure in cohomology space, enabling transitions between simple and non-simple homology classes through controlled resonance interactions.
• The proof is robust under generic perturbations, relying on generic properties of mechanical systems on the torus, including unique hyperbolic minimizers at high energy.