... Together with the estimate 2.3 for k, Ωξ, λ k, ω, this proves theclaim.(C) Construction of the Symplectic MappingThe aim of this section is to find a Hamiltonian F, such that the ... satisfied, that is, there is some y∗such that dβy∗/dy 0, whether thereexists invariant curve for mapping 3.5, whether its frequency can persist without any drift.By the method of introducing ... neighborhood of Γ∗Ωas a consequence in15.Remark 2.3. In fact, we can prove that Ψ∗is Gevrey smooth with respect to the parametersξ, λ in the sense of Whitney as in 16–18.Proof of...