Quantitative Persistence and Regularity of Invariant Graphs for Dissipative Twist Maps
Abstract
In this paper we study the robustness of invariant Lagrangian graphs for dissipative twist maps on 𝕋d×ℝd in the Cr category, for any r≥ 1, and show their persistence as invariant global attractors under quantitative sharp conditions involving both the size of dissipation parameter and the perturbation at stake. Note that when d>1 the geometric Lagrangian property of the invariant manifold may be destroyed, so that the graph may persist but fail to be Lagrangian. In general, additional dynamical requirements on the twist maps come into play if we intend to preserve also the Lagrangian property. In this line, we first study their persistence for general perturbations, then we restrict to the class of exact conformally symplectic twist maps and provide quantitative sharp conditions for the persistence of invariant exact Lagrangian graphs, without assuming any condition on the tangential dynamics of the manifold. The persistence result relies on a combination of a suitable multidimensional Herman--Mather formula proved in this setting and contraction estimates that provide sharp bounds on the C1-norm of the perturbation to get a unique, globally attracting Cr graph. In dimension d=1, by further assuming that that the circle map induced by the graph has irrational rotation number, we prove that every C1 invariant graph of a Ck map is Ck for k=2,3,…,∞. Analytic maps with Lipschitz, non-C1 invariant graphs at every prescribed irrational rotation number show that this initial regularity assumption is essential.
Related
- Persistence of invariant graphs for twist maps under analytic perturbations
- Persistence of C2 regularity for aggregation patches
- Global Well-Posedness and Persistence of H2 Regularity for the Three-Dimensional Primitive Equations with Horizontal and Topography-Adapted Thermal Diffusion
- A non-perturbative topological persistence theorem for normally hyperbolic invariant manifolds
- Renyi's Relative Entropy Lyapunov Functional for Convergence to Invariant Measure in Dissipative Stochastic Hamiltonian Systems
BibTeX
@misc{kong2026quantitative,
title = {{Quantitative Persistence and Regularity of Invariant Graphs for Dissipative Twist Maps}},
author = {Deyu Kong and Jessica Elisa Massetti and Lin Wang},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.35068},
eprint = {2610.35068},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.35068},
}
RIS
TY - UNPB
TI - Quantitative Persistence and Regularity of Invariant Graphs for Dissipative Twist Maps
AU - Deyu Kong
AU - Jessica Elisa Massetti
AU - Lin Wang
PY - 2026
DA - 2026/10/26
PB - arXiv
DO - 10.48550/arxiv.2610.35068
UR - https://arxiv.org/abs/2610.35068
AB - In this paper we study the robustness of invariant Lagrangian graphs for dissipative twist maps on 𝕋^d×ℝ^d in the C^r category, for any r≥ 1, and show their persistence as invariant global attractors under quantitative sharp conditions involving both the size of dissipation parameter and the perturbation at stake. Note that when d>1 the geometric Lagrangian property of the invariant manifold may be destroyed, so that the graph may persist but fail to be Lagrangian. In general, additional dynamical requirements on the twist maps come into play if we intend to preserve also the Lagrangian property. In this line, we first study their persistence for general perturbations, then we restrict to the class of exact conformally symplectic twist maps and provide quantitative sharp conditions for the persistence of invariant exact Lagrangian graphs, without assuming any condition on the tangential dynamics of the manifold. The persistence result relies on a combination of a suitable multidimensional Herman--Mather formula proved in this setting and contraction estimates that provide sharp bounds on the C^1-norm of the perturbation to get a unique, globally attracting C^r graph. In dimension d=1, by further assuming that that the circle map induced by the graph has irrational rotation number, we prove that every C^1 invariant graph of a C^k map is C^k for k=2,3,…,∞. Analytic maps with Lipschitz, non-C^1 invariant graphs at every prescribed irrational rotation number show that this initial regularity assumption is essential.
ER -