Dispersive estimates for discrete Klein-Gordon equations on one-dimensional lattice with quasi-periodic potentials

1. Problem Statement

The authors investigate the long-time behavior of solutions to the discrete Klein-Gordon (KG) equation on the one-dimensional integer lattice $\mathbb{Z}$ in the presence of a small, real-analytic quasi-periodic potential. The equation is given by:
$$(\partial_{tt} + G_\theta + m^2)u(n, t) = 0, \quad (n, t) \in \mathbb{Z} \times (0, \infty)$$
where $G_\theta = -\Delta_{\text{disc}} + V(\theta + n\omega)$ is the discrete Schrödinger operator with a quasi-periodic potential $V$, $\omega$ is a Diophantine frequency vector, and $m > 0$ is the mass.

Core Question: Do the dispersive decay properties of the free discrete KG equation persist when the system is perturbed by a quasi-periodic potential?

• Context: For the free case ($V=0$), it is known that solutions decay at a rate of $\langle t \rangle^{-1/3}$ (where $\langle t \rangle = \sqrt{1+t^2}$).
• Challenge: Quasi-periodic Schrödinger operators typically possess a Cantor-type spectrum (purely absolutely continuous but singular with respect to Lebesgue measure). This spectral structure is highly singular compared to the standard union of intervals found in periodic or random potentials, making standard dispersive techniques (like stationary phase on smooth intervals) inapplicable.

2. Methodology

The proof relies on a sophisticated combination of KAM (Kolmogorov-Arnold-Moser) theory, spectral theory, and harmonic analysis.

A. Spectral Decomposition via KAM Theory

The authors utilize recent advances in the spectral theory of quasi-periodic Schrödinger operators (specifically the work of Zhao [27]).

• Reducibility: They employ a KAM-based iterative scheme to show that for sufficiently small potentials, the Schrödinger cocycle is reducible on a full-measure subset of the spectrum.
• Approximation: The spectrum $\Sigma$ (a Cantor set) is approximated by a union of open intervals $\Gamma^{(J)}_j$. On these intervals, the system admits smooth "approximate" rotation numbers $\rho_J$ and conjugacy matrices.
• Gap Labeling: The spectrum is decomposed into regions where the rotation number is well-behaved, allowing the authors to treat the singular Cantor set as a limit of smooth structures.

B. Modified Spectral Transform

Instead of relying on the abstract spectral measure (which is difficult to construct explicitly for Cantor spectra), the authors construct an explicit approximate spectral transform $S$.

• They define generalized eigenfunctions $K(E)$ and $J(E)$ derived from the reducibility matrices.
• They establish that this transform is a bounded operator with a bounded inverse (norm equivalence) on $\ell^2(\mathbb{Z})$, effectively replacing the exact spectral measure with a density involving the derivative of the rotation number, $\rho' dE$.
• This allows the solution $u(n,t)$ to be represented as an oscillatory integral over the rotation number variable.

C. Oscillatory Integral Estimates

The core of the dispersive estimate reduces to bounding integrals of the form:
$$I(t) = \int e^{-it\Omega(E)} \cos((k-n)\rho(E)) \rho'(E) dE$$

• Van der Corput's Lemma: The authors apply Van der Corput's lemma to these integrals. The key difficulty is that the phase function $\Omega(E)$ and the amplitude depend on the fractal nature of the spectrum.
• Derivative Bounds: Using the KAM estimates, they derive quantitative lower bounds on the derivatives of the phase function (specifically the second and third derivatives with respect to the rotation number).
• Handling Singularities: They carefully separate the integration domain into "good" sets (where derivatives are large) and "bad" sets (near resonances or gaps). The measure of the "bad" sets is shown to be small enough to be controlled by the smallness of the potential $\varepsilon_0$.

3. Key Contributions and Results

Main Theorem (Dispersive Estimate)

Theorem 1.1: For any $0 < \tau < 1/3$, there exists a constant $K_1$ such that for small quasi-periodic potentials:
$$\|u(\cdot, t)\|_{\ell^\infty(\mathbb{Z})} \leq K_1 \langle t \rangle^{-\tau} (\|\phi\|_{\ell^1} + \|\psi\|_{\ell^1})$$

• Significance: This proves that the $\langle t \rangle^{-1/3}$ decay rate (the sharp rate for the free 1D discrete KG equation) persists under small quasi-periodic perturbations. The result holds for any Diophantine frequency and real-analytic potential.
• Note: The rate is stated as $(1/3)^-$, meaning any rate slightly slower than $1/3$ is achievable, with logarithmic corrections appearing in the constant.

Strichartz Estimates

Theorem 1.2: Using the dispersive decay and the Keel-Tao abstract framework, the authors derive Strichartz estimates for the inhomogeneous equation. These estimates are crucial for handling nonlinearities.

Nonlinear Applications

• Global Well-Posedness (Theorem 1.3): For the nonlinear KG equation with power nonlinearity $|u|^{p-1}u$ where $p > 7$, the authors prove global well-posedness for small initial data in $\ell^2$. The solution scatters in time.
• Scattering Theorem (Theorem 1.4): They establish a scattering theorem, showing that small global solutions to the nonlinear equation asymptotically behave like solutions to the linear equation as $t \to \pm \infty$.

4. Distinctions and Novelty

• Quasi-Periodic vs. Periodic/Random: Unlike previous works on potentials with spectra consisting of finite unions of intervals, this work addresses the Cantor spectrum case, which is the generic behavior for quasi-periodic operators.
• Mass Dependence: The authors clarify a subtle point regarding the mass parameter $m$. In the continuum case, scaling time can normalize $m$. However, on the lattice $\mathbb{Z}$, spatial dilation is not possible without breaking the lattice structure. Thus, the result for general $m^2 > 0$ is a genuine extension of the $m=1$ case, not a trivial rescaling.
• Methodological Bridge: The paper successfully bridges the gap between KAM theory (typically used for stability of invariant tori) and dispersive PDE estimates (typically relying on smooth spectral measures).

5. Significance

This work is a major advancement in the mathematical theory of wave propagation in quasicrystals and disordered media.

1. Stability of Dispersion: It demonstrates that the dispersive mechanism, which causes waves to spread out and decay, is robust even in the presence of the highly singular spectral structure characteristic of quasi-periodic media.
2. Nonlinear Dynamics: By establishing Strichartz estimates, the paper opens the door to studying long-time dynamics (global existence, scattering, blow-up) for nonlinear wave equations in quasi-periodic environments, a field previously limited by the lack of dispersive estimates.
3. Technical Innovation: The construction of the modified spectral transform and the application of KAM reducibility to derive derivative bounds for oscillatory integrals provide a new toolkit for analyzing PDEs on lattices with complex potentials.

In summary, Wan and Zhang prove that the "free" dispersive decay rate is preserved in the quasi-periodic setting, allowing for a complete nonlinear theory for small data, despite the fractal nature of the underlying spectrum.