Search arXiv⌕ Search

arXiv · 2610.16404

Effective shadowing of transition maps for a Hamiltonian saddle-center-center equilibrium

Abstract

We introduce a general methodology to construct globally unstable trajectories near the normally hyperbolic invariant manifold (NHIM) of a saddle-center-center Hamiltonian equilibrium. The proposed approach builds upon the classical geometric mechanism of searching for trajectories near heteroclinic connections between invariant tori of the NHIM. The main ingredient is the Birkhoff normal form near the NHIM, which allows us to control the dynamics of the hyperbolic and center components. We construct transition maps on the NHIM that encode the dynamics along heteroclinic connections. By combining the transition maps with the inner dynamics, given by the restriction of the Hamiltonian flow to the NHIM, we show that these connections can be efficiently (in terms of the travel time) shadowed by true trajectories of the full Hamiltonian system. Finally, the efficiency of this methodology is illustrated in the case of the NHIM associated to the libration point $L_1$ of the Spatial Restricted 3-Body Problem (SR3BP) for the Sun-Earth system.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rodney L. Anderson, Amadeu Delshams, Marian Gidea, Pablo Roldan. 2026-10-12. Effective shadowing of transition maps for a Hamiltonian saddle-center-center equilibrium. https://arxiv.org/abs/2610.16404

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

When is a System Discoverable from Data? Discovery Requires Chaos

The deep learning revolution has enabled major AI advances in physical sciences, particularly in discovering dynamical systems from observational data. Yet the reliability of learned surrogates and symbolically discovered models is often undermined by non-uniqueness: models may fit observed trajectories perfectly, but lack genuine predictive power. We show that chaos, despite its association with unpredictability, is often what makes governing equations discoverable. We prove that the classical Lorenz system is analytically discoverable and verify experimentally that for many systems out-of-domain generalization emerges precisely at chaos onset. Conservative systems, by contrast, are inherently non-discoverable from data alone. The prevalence of chaotic systems in benchmarks may have inadvertently obscured this limitation. These findings help explain why AI excels at weather forecasting, yet struggles in many engineering applications: the systems most amenable to discovery (chaotic ones) are often least amenable to control.

math.DS↗

Foliations and minimality for twist maps

In this paper we consider area-preserving twist maps $f:\mathbf{T}^2\to\mathbf{T}^2$ with vertical rotation sets reduced to a single irrational number $α$. Our first result states that under these hypotheses, there exists a unique $f$-invariant foliation $\mathcal{F}_G=\{\operatorname{Graph}(ϕ_t)\}_{t\in\mathbf{T}^1}$, where each function $ϕ_t:\mathbf{T}^1\to\mathbf{T}^1$ is $K$-Lipschitz for some constant $K=K(f)$. Moreover, we also prove that if $\mathcal{F}_G$ is a Lipschitz foliation, then $f$ is minimal.

math.DS↗

Uniqueness of Limit Cycles for Abel Equations and Planar Systems

We study positive limit cycles of the Abel equation $$\dot{x}=A(t)x^{3}+B(t)x^{2},$$ where $A$ and $B$ are $2π$-periodic functions. By developing a half-period convexity method, we establish a new criterion ensuring that the equation has at most one positive limit cycle. Moreover, if such a limit cycle exists, it is hyperbolic. As applications, we consider two classes of planar polynomial systems that can be reduced to Abel equations. For a subfamily of cubic rigid systems, we prove that there is at most one limit cycle, thereby giving a partial answer to the first problem in Gasull's list of 33 open problems. For quadratic systems, we derive a new uniqueness criterion for limit cycles surrounding the origin and provide explicit parameter regions under which the criterion is satisfied.

math.DS↗