An infinite-dimensional Kolmogorov theorem and the construction of almost periodic breathers

This paper establishes two infinite-dimensional Kolmogorov theorems under weak non-resonance conditions to prove the persistence of full-dimensional KAM tori and frequency-preserving almost periodic breathers in perturbed networks of weakly coupled oscillators, thereby providing the first frequency-preserving result for the Aubry–MacKay conjecture.

The Gist

The Big Picture: Keeping the Beat in a Chaotic Orchestra

Imagine a massive, infinite orchestra. Each musician (let's call them "oscillators") is playing their own instrument. In a perfect world, they all play in perfect harmony, following a strict, unchanging rhythm. This is a "Hamiltonian system" in physics—a system that conserves energy and follows precise laws.

Now, imagine someone sneaks into the orchestra and starts tapping a few musicians on the shoulder, whispering suggestions, or slightly changing the volume of their neighbors. This is a perturbation.

In the real world, when you disturb a complex system, things usually get messy. The musicians might start playing slightly off-key, or their rhythm might drift. They might stop playing in sync entirely.

The Big Question: If we disturb this infinite orchestra just a tiny bit, can we guarantee that they will still play their original, perfect rhythm forever? Or will the rhythm drift away?

This paper says: Yes, we can guarantee they keep the rhythm, provided the orchestra is built a certain way and the disturbance is small enough.

---

The Key Concepts, Translated

1. The "Infinite" Problem

Most math about this problem works for a small band (finite dimensions). But this paper deals with an infinite orchestra (an infinite chain of oscillators, like atoms in a crystal or a long line of pendulums).

• The Challenge: In an infinite system, there are infinite ways for the rhythm to get messed up. It's like trying to keep a million people in line; if one person stumbles, it can cause a domino effect that ruins the whole line.

2. The "Frequency" (The Beat)

Every oscillator has a natural speed or "frequency" (how fast it swings back and forth).

• The Old Way: Previous math theorems said, "If you disturb the system, the rhythm will change slightly. The beat will drift."
• This Paper's Discovery: The authors found a way to prove that the beat does not drift. The musicians keep playing at the exact same speed they started with, even after being nudged. This is called Frequency-Preserving.

3. The "Diophantine" Condition (The Golden Ratio Rule)

To keep the rhythm from drifting, the musicians' natural speeds need to be "weird" in a specific mathematical way.

• The Analogy: Imagine trying to fit a square peg in a round hole. If the peg is a perfect integer ratio (like 2:1), it fits too easily and creates a resonance (a loud, annoying feedback loop).
• The Solution: The authors require the frequencies to be like the Golden Ratio (an irrational number that never repeats). This makes it impossible for the "nudging" from neighbors to ever line up perfectly to create a destructive feedback loop.
• The Innovation: They used a very strict version of this rule (Bourgain's Diophantine condition) and even showed it works with a weaker version of the rule. This means the "Golden Ratio" doesn't have to be perfect; it just has to be "weird enough."

4. The "Legendre-Type" Condition (The Stiff Spring)

The paper mentions a "non-degeneracy condition."

• The Analogy: Imagine a spring. If the spring is too loose (degenerate), a tiny push sends it flying wildly. If the spring is stiff and well-defined (non-degenerate), a tiny push just makes it wiggle slightly and return to its spot.
• The authors assume the system has these "stiff springs." This stiffness is what allows them to lock the frequency in place. Without it, the frequency would drift.

5. The "Breather" (The Localized Pulse)

The paper applies this math to something called a Breather.

• What is it? Imagine a long line of people holding hands. Usually, if one person jumps, the wave travels down the line. But a "Breather" is a pulse that stays in one spot, vibrating intensely while the people far away stay still.
• The Conjecture: For decades, scientists (Aubry and MacKay) wondered: "If we have a long chain of these oscillators and we nudge them, do these localized pulses (breathers) survive? Do they keep their rhythm?"
• The Result: This paper proves YES. Not only do they survive, but they keep their exact original rhythm. This solves a famous 30-year-old puzzle.

---

How They Did It (The Magic Trick)

The authors used a technique called KAM Theory (named after Kolmogorov, Arnold, and Moser). Think of KAM theory as a "repair manual" for broken rhythms.

1. The Iteration: They imagine fixing the system step-by-step.
2. The Problem: Usually, fixing one part of the rhythm breaks another part (like fixing a car engine but breaking the brakes).
3. The Trick: They used a special "generating function" (a mathematical blueprint) that acts like a perfect translator. Instead of letting the rhythm drift to fix the error, they forced the system to absorb the error without changing the underlying beat.
4. The Result: They proved that if you keep applying this fix, the errors get smaller and smaller (super-exponentially fast) until the system is perfectly stable again, with the original frequency intact.

Why Does This Matter?

1. Physics & Engineering: This helps us understand how energy moves through crystals, DNA strands, or power grids. If we know these "breathers" are stable and keep their rhythm, we can design better materials that don't break down under stress.
2. Math History: It solves the Aubry-MacKay Conjecture, a famous open problem in mathematics. It's like finally solving a puzzle that has been sitting on a shelf for decades.
3. New Tools: They created a new "infinite-dimensional Kolmogorov theorem." Think of this as upgrading the rulebook for how we understand infinite systems. Before, the rulebook said, "Rhythms will drift." Now, the rulebook says, "If the system is stiff enough and the rhythm is 'weird' enough, the rhythm stays put."

Summary in One Sentence

The authors proved that in an infinite chain of vibrating objects, if the objects are stiff enough and their natural speeds are "weird" enough, a tiny nudge won't ruin their rhythm; they will keep vibrating in perfect, unchanging harmony forever.

Technical Summary

1. Problem Statement

The paper addresses two interconnected challenges in the theory of infinite-dimensional Hamiltonian systems:

1. Frequency Preservation in Infinite Dimensions: While finite-dimensional Kolmogorov-Arnold-Moser (KAM) theorems guarantee the persistence of invariant tori with preserved frequencies under small perturbations, existing infinite-dimensional results (e.g., by Pöschel, Kuksin) typically allow for frequency drift. This occurs because standard infinite-dimensional KAM theorems often rely on measure estimates of "good" frequencies rather than preserving a specific, universally prescribed frequency.
2. The Aubry–MacKay Conjecture: Proposed in the 1990s, this conjecture concerns the existence of quasi-periodic and almost periodic breathers (localized, time-periodic solutions) in weakly coupled oscillator networks (lattice systems). While the existence of such breathers has been established using KAM theory, the specific case of frequency-preserving breathers (where the perturbed system retains the exact frequencies of the unperturbed system) remained an open problem.

The authors aim to prove the persistence of full-dimensional invariant tori with prescribed, non-drifting frequencies in infinite-dimensional systems, and apply this to resolve the frequency-preserving aspect of the Aubry–MacKay conjecture.

2. Methodology

The authors employ an advanced infinite-dimensional KAM iteration scheme based on the generating function method (Kolmogorov-Salamon approach), distinct from the truncation methods often used in PDE contexts.

• Non-Resonance Conditions:
  • Bourgain's Diophantine Condition: They utilize the infinite-dimensional Diophantine condition introduced by Bourgain, which is measure-theoretically typical (full measure) in $\mathbb{R}^{\mathbb{Z}}$.
  • Weak Diophantine Condition: They generalize this to a "weak" Diophantine condition using a control function $E(\rho)$. This allows for frequencies that are "almost" Diophantine, covering cases where the small divisor estimates grow faster than polynomial but slower than exponential, provided they satisfy specific summability conditions.
• Spatial Structure and Norms:
  • The system is defined on a thickened torus $T^\infty_\sigma$ where the analyticity radius of the $j$-th component grows with $|j|$ (specifically $|Im x_j| \leq \sigma \langle j \rangle^\eta$). This spatial structure is crucial for handling the infinite degrees of freedom and ensuring the convergence of Fourier series.
  • They define weighted norms for analytic functions and matrices to control the growth of coefficients in the infinite-dimensional setting.
• Legendre-Type Nondegeneracy:
  • A critical component of their method is the Legendre-type nondegeneracy condition on the Hessian of the Hamiltonian with respect to action variables. Unlike previous works that might allow the frequency to drift to satisfy the non-resonance condition, this nondegeneracy allows the authors to solve the homological equations while fixing the frequency $\omega$ throughout the iterative process.
• Super-Exponential Convergence:
  • By utilizing the Newtonian nature of the generating function method, they achieve super-exponential convergence of the KAM iteration. This rapid convergence is what allows them to relax the arithmetic conditions on the frequency (moving from strict Diophantine to weak Diophantine).

3. Key Contributions

1. Infinite-Dimensional Kolmogorov Theorems:
   • The paper presents two new theorems (Theorem 2.1 and 2.2) proving the persistence of full-dimensional invariant tori in analytic, non-integrable, infinite-dimensional Hamiltonian systems.
   • Frequency Preservation: The surviving tori preserve the exact, prescribed frequency $\omega$ of the unperturbed system. This is a significant departure from previous infinite-dimensional results where frequencies typically drift.
   • No Spectral Asymptotics: The results do not require spectral asymptotics (e.g., specific growth rates of eigenvalues) often assumed in PDE applications, making them more applicable to lattice systems.
2. Generalization of Non-Resonance:
   • The authors introduce a weak Diophantine condition (Definition 2.3) that is strictly weaker than the classical Diophantine condition but still sufficient for KAM persistence. This is achieved via a control function $E(\rho)$ that bounds the solution to the homological equation.
3. Resolution of the Aubry–MacKay Conjecture (Frequency-Preserving Case):
   • They prove that for weakly coupled oscillator networks (including the Klein-Gordon lattice), frequency-preserving almost periodic breathers exist.
   • This is the first rigorous proof of the frequency-preserving version of the Aubry–MacKay conjecture. Previous results established existence but not the invariance of the specific frequencies.

4. Main Results

Theorem 2.1 (Diophantine Case):
For an infinite-dimensional analytic Hamiltonian system satisfying a Legendre-type nondegeneracy condition, if the frequency $\omega$ satisfies Bourgain's infinite-dimensional Diophantine condition, then for sufficiently small perturbations, there exists a real analytic symplectic transformation mapping the system to a normal form where the frequency remains exactly $\omega$. The full-dimensional torus persists.

Theorem 2.2 (Weak Diophantine Case):
The result is extended to frequencies satisfying a weak Diophantine condition. If the small divisor estimates are controlled by a function $E(\rho)$ satisfying specific summability conditions, the frequency-preserving full-dimensional KAM tori still persist.

Theorem 3.1 & 3.2 (Application to Breathes):
Applied to networks of coupled oscillators (e.g., $d^2x_n/dt^2 + V'(x_n) = \text{coupling terms}$), the authors prove:

• There exists a large family of frequency-preserving almost periodic breathers.
• These breathers can have large, small, or mixed frequency magnitudes.
• The result holds for general coupling potentials and extends to higher-dimensional lattices ($\mathbb{Z}^d$).
• The frequencies of these breathers are of Bourgain's Diophantine type.

5. Significance and Impact

• Theoretical Advancement: The paper bridges a major gap between finite-dimensional and infinite-dimensional KAM theory by establishing a rigorous frequency-preserving framework. It demonstrates that the "drift" of frequencies in infinite dimensions is not inevitable but a consequence of the specific non-degeneracy assumptions used in prior works.
• Physical Relevance: In physical systems like crystal lattices and molecular chains, the preservation of specific frequencies is often physically meaningful (e.g., energy localization). The ability to prove the existence of breathers that retain their original frequencies without drift is a significant step for nonlinear physics.
• Resolution of Open Problems: It provides a definitive answer to the frequency-preserving aspect of the Aubry–MacKay conjecture, a problem that had remained open for decades.
• Methodological Innovation: The combination of the generating function method with a weak Diophantine condition and a specific spatial structure (thickened torus with growing analyticity radius) offers a robust template for future studies of infinite-dimensional dynamical systems, potentially applicable to other lattice models and discrete field theories.

In summary, Tong and Li have successfully constructed a new class of infinite-dimensional KAM theorems that preserve frequencies, thereby proving the existence of stable, frequency-preserving almost periodic breathers in weakly coupled networks, effectively solving a long-standing conjecture in the field.