Search for: All records

The genericity of Arnold diffusion in the analytic category is an open problem. In this paper, we study this problem in the followinga prioriunstable Hamiltonian system with a time-periodic perturbation${\mathcal{H}}_{\epsilon }(p,q,I,\phi ,t)=h(I)+\sum _{i=1}^n\pm \left(\frac{1}{2}{p}_i^2+V_i(q_i)\right)+\epsilon H_1(p,q,I,\phi ,t),$where$(p,q)\in {\mathbb{R}}^n\times {\mathbb{T}}^n$,$(I,\phi )\in {\mathbb{R}}^d\times {\mathbb{T}}^d$withn,d⩾ 1,V_iare Morse potentials, andɛis a small non-zero parameter. The unperturbed Hamiltonian is not necessarily convex, and the induced inner dynamics does not need to satisfy a twist condition. Using geometric methods we prove that Arnold diffusion occurs for generic analytic perturbationsH₁. Indeed, the set of admissibleH₁isC^ωdense andC³open (a fortiori,C^ωopen). Our perturbative technique for the genericity is valid in theC^ktopology for allk∈ [3, ∞) ∪ {∞,ω}.

 

Abstract We consider a singular perturbation for a family of analytic symplectic maps of the annulus possessing a KAM torus. The perturbation introduces dissipation and contains an adjustable parameter. By choosing the adjustable parameter, one can ensure that the torus persists under perturbation. Such models are common in celestial mechanics. In field theory, the adjustable parameter is called the counterterm and in celestial mechanics, the drift . It is known that there are formal expansions in powers of the perturbation both for the quasi-periodic solution and the counterterm. We prove that the asymptotic expansions for the quasiperiodic solutions and the counterterm satisfy Gevrey estimates. That is, the n th term of the expansion is bounded by a power of n !. The Gevrey class (the power of n !) depends only on the Diophantine condition of the frequency and the order of the friction coefficient in powers of the perturbative parameter. The method of proof we introduce may be of interest beyond the problem considered here. We consider a modified Newton method in a space of power expansions. As is custumary in KAM theory, each step of the method is estimated in a smaller domain. In contrast with the KAM results, the domains where we control the Newton method shrink very fast and the Newton method does not prove that the solutions are analytic. On the other hand, by examining carefully the process, we can obtain estimates on the coefficients of the expansions and conclude the series are Gevrey. 

Abstract Consider an analytic Hamiltonian system near its analytic invariant torus $\mathcal T_0$ carrying zero frequency. We assume that the Birkhoff normal form of the Hamiltonian at $\mathcal T_0$ is convergent and has a particular form: it is an analytic function of its non-degenerate quadratic part. We prove that in this case there is an analytic canonical transformation—not just a formal power series—bringing the Hamiltonian into its Birkhoff normal form.