🔢 mathematics

Lagrange Stability for Reversible Duffing Equations with Quasi-Periodic Coefficients

This paper proves the Lagrange stability and existence of quasi-periodic solutions for reversible Duffing equations with quasi-periodic coefficients by constructing a finite normal-form procedure that yields codimension-one KAM tori accumulating at infinity under a specific degree condition.

Original authors: Huining Xue

Published 2026-07-21

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Huining Xue

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Cosmic Swing and the Unbreakable Swing Set

Imagine you are watching a child on a swing set in a park. If you push the swing at just the right rhythm, it goes higher and higher, potentially flying off into the stratosphere. In the world of physics, this is a classic problem: if you keep pushing a system with enough energy, does it stay within the park, or does it escape into the infinite void? This question, known as Lagrange stability, asks whether every possible path a system takes remains bounded, never spiraling out of control.

For simple, predictable systems (like a swing pushed by a single, steady hand), mathematicians have long known the answer: the swing stays in the park. But life is rarely that simple. What if the person pushing the swing is erratic, using a rhythm that never repeats exactly? This is called quasi-periodic forcing. It's like a drummer who plays a beat that is a mix of two different tempos that never quite line up again. When you add this chaotic rhythm to a system that gets "stiffer" the further it swings (a superlinear system), the math becomes incredibly messy. For decades, scientists wondered if these erratic pushes could eventually fling the system into infinity.

This paper tackles that exact puzzle for a specific type of mathematical model called the Duffing equation. Think of this equation as the ultimate description of a spring that gets harder to stretch the more you pull it, but with a twist: it also has a "reversible" nature, meaning its physics work the same way if you hit the rewind button on time. The authors investigate what happens when this springy system is pushed by a complex, non-repeating rhythm. They want to know: Will the system eventually fly apart, or is there an invisible fence keeping it safe?

The Invisible Fence and the Finite Magic Trick

The paper by Huining Xue proves that for a wide range of these systems, the answer is a resounding "safe." No matter how long you wait, the system will never escape to infinity; it remains trapped in a bounded region of space. Furthermore, the authors show that the system doesn't just stay bounded—it organizes itself into a beautiful, stable structure.

To understand how they proved this, imagine the system's energy as a giant, multi-layered onion. The outer layers represent huge amounts of energy. The authors' goal was to show that even at the very outer edges of this onion, there are invisible, unbreakable walls (mathematicians call them KAM tori) that prevent the system from leaking out.

Here is the clever trick they used, explained as a "finite magic trick":

The Problem of the Infinite: Usually, to prove these walls exist, mathematicians try to smooth out the system layer by layer, an infinite number of times, to make the chaotic pushes disappear. But this is like trying to clean a room by moving dust from one corner to another forever; it's too slow and often breaks down when the rhythm is truly chaotic.
The "Cut-Off" Strategy: Instead of cleaning forever, Xue decided to clean only a specific, finite number of times. They used a technique called a logarithmic Fourier cut-off. Imagine the chaotic rhythm is a song made of thousands of different notes. The authors decided to ignore the very high-pitched, faint notes (the "high modes") because they are so quiet they don't matter much. They focused only on the loud, low notes.
The Finite Steps: They performed a series of mathematical "rearrangements" (normalizations) on the system. Think of this as rearranging the furniture in a room to make the path to the door clearer. They did this only a specific, calculated number of times (let's call it $M$ steps).
The Result: After these $M$ steps, the remaining "mess" (the error) became so incredibly small that it was practically zero. It wasn't zero, but it was small enough to prove that the invisible walls (the codimension-one tori) were solid. These walls act like a fence in the extended phase space (a fancy way of saying the map of all possible positions and speeds). Because these fences exist and accumulate at infinity, they block any path that tries to escape.

The paper explicitly rules out the idea that these systems might be unstable or that the "fences" only exist for simple, repeating rhythms. The authors show that even with the complex, non-repeating (quasi-periodic) pushes, the system remains stable, provided the "stiffness" of the spring (the degree of the equation) is high enough compared to the damping (the friction). Specifically, they prove this holds true when the power of the spring term, $n$ , is at least twice the power of the damping term, $m$ , plus two ( $n \ge 2(m + 1)$ ).

The authors are not just guessing or simulating this on a computer; they have provided a rigorous mathematical proof. They constructed these invisible fences explicitly and showed that they separate the "safe" zone from the "escape" zone. Because the fences are solid, any solution starting inside them must stay inside them forever. This means the system is Lagrange stable: every solution exists for all time and stays within a finite boundary.

In the end, the paper reveals a hidden order in chaos. Even when the forces pushing the system are complex and never repeat, the system's own internal structure creates a series of nested, unbreakable barriers. It's as if the universe, in its infinite complexity, has built a safety net that catches everything, ensuring that no matter how hard you push, the swing never flies off the chain.

Technical Summary: Lagrange Stability for Reversible Duffing Equations with Quasi-Periodic Coefficients

Problem Statement
This paper addresses the Lagrange stability problem for the reversible Duffing equation with quasi-periodic coefficients:
$\ddot{x} + f(x, \omega t)\dot{x} + g(x, \omega t) = 0$
where the damping term $f$ and the restoring force $g$ are polynomials in $x$ with real analytic, even, quasi-periodic coefficients. Specifically:
$f(x, \theta) = \sum_{j=0}^m a_j(\theta)x^{2j+1}, \quad g(x, \theta) = x^{2n+1} + \sum_{j=0}^{n-1} b_j(\theta)x^{2j+1}$
The frequency vector $\omega \in \mathbb{R}^d$ satisfies a Diophantine condition. The primary objective is to prove that all solutions exist for all time and remain bounded in phase space (Lagrange stability), and to establish the existence of a positive-measure family of invariant tori accumulating at infinity.

The system is non-Hamiltonian due to the damping term, yet it possesses a reversible structure. The paper targets the sharp degree range $n \ge 2(m+1)$ , a condition previously established for time-periodic reversible systems but not yet extended to the genuinely quasi-periodic case with non-Hamiltonian damping.

Methodology
The proof proceeds through a sequence of coordinate transformations and a finite normalization procedure, culminating in the application of a reversible KAM theorem.

Action-Angle Coordinates: The system is first transformed into action-angle variables $(\rho, \phi, \theta)$ near infinity. This transformation maps the unperturbed part of the system (dominated by the $x^{2n+1}$ term) to a twist map. The resulting vector field exhibits specific parity properties under the reversing involution $R_0(\rho, \phi, \theta) = (\rho, -\phi, -\theta)$ .
Finite Normalization (The Core Innovation): Unlike standard KAM approaches that rely on infinite convergent series, this paper employs a finite-step normalization procedure.
- Polynomial Reduction: The authors first apply a reversible polynomial reduction (inspired by Liu and Zanolin) to eliminate low-order resonant terms.
- Logarithmic Fourier Cut-off: A logarithmic cut-off $K = c^* \log A$ (where $A$ is the large amplitude parameter) is introduced to separate Fourier modes.
- Non-Resonant Intervals: On explicitly constructed non-resonant action intervals, the authors solve truncated homological equations. Crucially, the small divisors are controlled on these intervals, and the "mixed divisors" $D_{k\ell}(\rho) = k\nu(\rho) + \langle \ell, \omega \rangle$ are bounded away from zero.
- Recurrence and Termination: The error terms satisfy a quantitative recurrence relation. By performing a finite number $M$ of steps (where $M$ depends on the desired decay rate), the remainder is reduced to an arbitrarily small negative power of the action $A$ . This avoids the small-divisor convergence issues typical of infinite KAM iterations in the presence of large quasi-periodic perturbations.
Preservation of Reversibility: A critical technical point is that every coordinate change (polynomial reduction, Fourier truncation, and averaging) is constructed to commute with the reversing involution. This ensures that the reversible structure is preserved at every finite step, not just in the final normal form.
Removal of Averaged Terms: After the finite normalization, the remaining averaged quasi-periodic terms in the radial and angular equations are removed via further reversible coordinate changes, resulting in a system where the perturbation is sufficiently small ( $O(A^{-L})$ ) and the frequency map satisfies a twist condition.
Reversible KAM Theorem: The final system is a small reversible perturbation of an integrable twist map. The authors apply a standard reversible KAM theorem to prove the existence of a positive-measure family of invariant $(d+1)$ -tori in the extended phase space.

Key Contributions

Extension to Quasi-Periodic Non-Hamiltonian Systems: The paper extends the sharp polynomial stability result ( $n \ge 2(m+1)$ ) from time-periodic reversible systems to the genuinely quasi-periodic setting with non-Hamiltonian damping.
Finite Normalization Technique: The authors introduce a finite-step normalization procedure combining polynomial reduction with a logarithmic Fourier cut-off. This allows the reduction of large quasi-periodic perturbations to a small normal form without requiring the convergence of an infinite series, relying instead on an explicit finite-step recurrence.
Codimension-One Barriers: The constructed invariant tori are codimension-one graphs in the extended phase space. Unlike time-periodic systems where Poincaré maps are used, these tori act as barriers in the extended cylinder, preventing orbits from escaping to infinity.

Main Results
Under the assumptions that coefficients are real analytic and even, $\omega$ is Diophantine, and $n \ge 2(m+1)$ :

Lagrange Stability: Every solution of the equation exists for all $t \in \mathbb{R}$ and remains bounded:
$\sup_{t \in \mathbb{R}} (|x(t)| + |\dot{x}(t)|) < \infty$
Existence of Invariant Tori: The extended system possesses a positive-measure family of analytic invariant $(d+1)$ -tori accumulating at infinity. The frequency vector on these tori is $(\omega, \Omega)$ , where $|\Omega| \to \infty$ along the family.

Significance and Claims
The paper claims that the combination of a non-Hamiltonian reversible damping term, genuinely quasi-periodic coefficients, and the sharp degree range $n \ge 2(m+1)$ had not been covered by preceding results. The work bridges the gap between the polynomial reduction techniques used for periodic systems and the Fourier analysis techniques required for quasi-periodic systems.

The authors emphasize that their approach does not rely on a Poincaré map (which does not exist for $d > 1$ ) but rather on the geometric barrier property of the invariant tori in the extended phase space. The result confirms that the "sharp" degree condition for stability in reversible polynomial systems holds even in the more delicate quasi-periodic setting, provided the damping and restoring forces satisfy the specific parity and degree constraints.

The Cosmic Swing and the Unbreakable Swing Set

The Invisible Fence and the Finite Magic Trick

More like this