pith. sign in

arxiv: 2512.22613 · v2 · submitted 2025-12-27 · 🧮 math.AP

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

Zhiqiang Wan , Heng Zhang This is my paper

Pith reviewed 2026-05-16 19:23 UTC · model grok-4.3

classification 🧮 math.AP
keywords dispersive estimatesdiscrete Klein-Gordonquasi-periodic potentialsStrichartz estimatesglobal well-posednesslattice equations
0
0 comments X

The pith

Small real-analytic quasi-periodic potentials preserve the free (1/3) decay rate in ℓ¹ to ℓ^∞ estimates for the discrete Klein-Gordon equation on the integers.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes dispersive decay for solutions of the linear discrete Klein-Gordon equation on the one-dimensional lattice when a small real-analytic quasi-periodic potential is added. The ℓ¹ to ℓ^∞ norm bound continues to decay exactly as in the free case, at the rate (1 + |t|)^{-1/3}. This rate is strong enough to produce the associated Strichartz estimates, which then close a contraction mapping argument and yield global existence for small initial data in the corresponding nonlinear equation. A sympathetic reader would care because these linear estimates form the foundation for most well-posedness, scattering, and long-time behavior results for nonlinear waves on lattices with incommensurate perturbations.

Core claim

The authors prove that the time decay rate in the ℓ¹→ℓ^∞ dispersive estimate for the discrete Klein-Gordon propagator persists at the order (1/3)^- when the potential is real-analytic and quasi-periodic with sufficiently small amplitude. This persistence is the key step that unlocks the subsequent Strichartz estimates and the small-data global well-posedness result for the nonlinear equation.

What carries the argument

The smallness condition on the real-analytic quasi-periodic potential, which controls the perturbation to the dispersion relation sufficiently to preserve the free decay rate.

Load-bearing premise

The potential amplitude must be small enough relative to its analyticity radius so that the spectral properties supporting the free decay remain intact.

What would settle it

Numerical computation of the solution operator for a concrete small quasi-periodic potential showing that the ℓ¹ to ℓ^∞ norm ratio decays slower than t^{-1/3} at large times.

read the original abstract

We prove $\ell^{1}\!\to\!\ell^{\infty}$ dispersive estimates for the discrete Klein--Gordon equation on $\mathbb Z$ with small real-analytic quasi-periodic potentials, showing that the time-decay rate persists as $(\tfrac13)^{-}$. As applications, we derive the corresponding Strichartz estimates and establish small-data global well-posedness for the associated nonlinear discrete Klein--Gordon equation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript proves ℓ¹→ℓ^∞ dispersive estimates for the discrete Klein-Gordon equation on ℤ with small real-analytic quasi-periodic potentials, establishing that the free decay rate of order t^{-1/3} persists. Applications include corresponding Strichartz estimates and small-data global well-posedness for the nonlinear discrete Klein-Gordon equation.

Significance. If the central estimates hold, the result demonstrates robustness of dispersive decay under small analytic quasi-periodic perturbations in one-dimensional discrete settings. This extends stationary-phase techniques from the free case to perturbed operators while preserving non-vanishing curvature, with direct implications for Strichartz theory and nonlinear well-posedness on lattices.

major comments (1)
  1. [§3, Theorem 3.1] §3, Theorem 3.1: the smallness condition on the analytic norm of the potential is used to ensure the perturbed dispersion relation retains |∂²ω/∂k²| ≥ c > 0 near stationary points, but the proof sketch does not explicitly quantify how the Diophantine constant of the frequency interacts with this smallness to prevent new resonances in the relevant energy intervals.
minor comments (2)
  1. [Introduction] The notation for the quasi-periodic frequency vector α should be introduced with its Diophantine properties in the introduction rather than deferred to §2.
  2. [Theorem 1.1] In the statement of the main dispersive estimate, the dependence of the implicit constant on the analytic radius of the potential is not made explicit.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and positive recommendation. We address the single major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [§3, Theorem 3.1] §3, Theorem 3.1: the smallness condition on the analytic norm of the potential is used to ensure the perturbed dispersion relation retains |∂²ω/∂k²| ≥ c > 0 near stationary points, but the proof sketch does not explicitly quantify how the Diophantine constant of the frequency interacts with this smallness to prevent new resonances in the relevant energy intervals.

    Authors: We agree that the interaction between the Diophantine constant and the smallness parameter should be made fully explicit. In the proof of Theorem 3.1 the analytic norm of the potential is taken smaller than a constant depending on the Diophantine exponent and the minimal distance to resonances; this choice ensures that the perturbed frequency ω(k) satisfies |∂²ω/∂k²| ≥ c/2 > 0 on the relevant intervals by a standard perturbation argument for analytic functions. We will insert a short remark (or lemma) immediately after the statement of Theorem 3.1 that records the precise dependence of the smallness threshold on the Diophantine constant, thereby removing any ambiguity in the sketch. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper establishes ℓ¹→ℓ^∞ dispersive decay of order t^{-1/3} for the discrete Klein-Gordon equation on ℤ by viewing small real-analytic quasi-periodic potentials as perturbations of the free operator. Smallness in the analytic category is used to preserve absolute continuity of the spectrum and non-vanishing second derivative of the dispersion relation at stationary points, permitting the identical stationary-phase analysis employed in the free case. No step equates a derived quantity to a fitted parameter defined by the result itself, invokes a uniqueness theorem justified only by overlapping self-citation, or renames an empirical pattern as a new derivation. The argument relies on standard perturbation control and oscillatory-integral estimates whose validity is independent of the target decay rate. This is the normal non-circular outcome for a perturbation proof whose central estimates are externally verifiable against the free operator.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the smallness and analyticity of the quasi-periodic potential; these are domain assumptions rather than derived quantities. No free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption The potential is small, real-analytic, and quasi-periodic
    Explicitly required in the abstract for the dispersive estimates to hold with the stated decay rate.

pith-pipeline@v0.9.0 · 5355 in / 1186 out tokens · 19762 ms · 2026-05-16T19:23:49.795295+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    The absolutely continuous spectrum of the almost Mathieu operator

    A. Avila, The absolutely continuous spectrum of the almost Mathieu operator. arXiv: 0810.2965, 2008

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  2. [2]

    Avila and D

    A. Avila and D. Damanik, Absolute continuity of the integrated density of states for the almost Mathieu operator with non-critical coupling.Invent. Math., 172(2):439–453, 2008

    work page 2008

  3. [3]

    A. V. Balakrishnan, Fractional powers of closed operators and the semigroups generated by them. Pacific J. Math., 10:419–437, 1960

    work page 1960

  4. [4]

    Bambusi and Z

    D. Bambusi and Z. Zhao, Dispersive estimate for quasi-periodic Schrödinger operators on 1-d lattices. Adv. Math., 366:107071, 2020

    work page 2020

  5. [5]

    C. Bi, J. Cheng and B. Hua, The wave equation on lattices and oscillatory integrals. arXiv: 2312.04130, 2023

    work page arXiv 2023

  6. [6]

    C. Bi, J. Cheng and B. Hua, Sharp dispersive estimates for the wave equation on the 5-dimensional lattice graph. arxiv:2406.00949, 2024

    work page arXiv 2024

  7. [7]

    Borovyk and M

    V. Borovyk and M. Goldberg, The Klein–Gordon equation onZ2 and the quantum harmonic lattice. J. Math. Pures Appl.(9) 107 (2017), no. 6, 667–696

    work page 2017

  8. [8]

    E. A. Coddington and N. Levinson,Theory of Ordinary Differential Equations. McGraw-Hill, New York-Toronto-London, 1955

    work page 1955

  9. [9]

    Cuccagna and M

    S. Cuccagna and M. Tarulli, On asymptotic stability of standing waves of discrete Schrödinger equation inZ.SIAM J. Math. Anal., 41(3):953–981, 2009

    work page 2009

  10. [10]

    Cuenin and I

    J.-C. Cuenin and I. A. Ikromov, Sharp time decay estimates for the discrete Klein-Gordon equation. Nonlinearity, 34 (2021), no. 11, 7938–7962

    work page 2021

  11. [11]

    E. I. Dinaburg and Ya. G. Sina˘ ı, The one-dimensional Schrödinger equation with quasiperiodic potential.Funktsional. Anal. i Prilozhen., 9(4):8–21, 1975

    work page 1975

  12. [12]

    L. H. Eliasson, Floquet solutions for the 1-dimensional quasi-periodic Schrödinger equation.Comm. Math. Phys., 146(3):447–482, 1992

    work page 1992

  13. [13]

    Gustafson, D

    S. Gustafson, D. Pelinovsky and G. Schneider, Asymptotic stability of breathers in some Hamiltonian networks of weakly coupled oscillators.Comm. Math. Phys., 324(2):515–547, 2013

    work page 2013

  14. [14]

    Hadj Amor, Hölder continuity of the rotation number for quasi-periodic co-cycles inSL(2,R)

    S. Hadj Amor, Hölder continuity of the rotation number for quasi-periodic co-cycles inSL(2,R). Comm. Math. Phys., 287(2):565–588, 2009

    work page 2009

  15. [15]

    Herman, Une méthode pour minorer les exposants de Lyapounov et quelques exemples mon- trant le caractère local d’un théorème d’Arnold et de Moser sur le tore de dimension 2.Comment

    M.-R. Herman, Une méthode pour minorer les exposants de Lyapounov et quelques exemples mon- trant le caractère local d’un théorème d’Arnold et de Moser sur le tore de dimension 2.Comment. Math. Helv., 58(3):453–502, 1983. 28

    work page 1983

  16. [16]

    Johnson and J

    R. Johnson and J. Moser, The rotation number for almost periodic potentials.Comm. Math. Phys., 84(3):403–438, 1982

    work page 1982

  17. [17]

    Keel and T

    M. Keel and T. Tao, Endpoint strichartz estimates.Amer. J. Math., 120 (1998), no. 5, 955–980

    work page 1998

  18. [18]

    P. G. Kevrekidis, D. E. Pelinovsky and A. Stefanov, Asymptotic stability of small bound states in the discrete nonlinear Schrödinger equation.SIAM J. Math. Anal., 41(5):2010–2030, 2009

    work page 2010

  19. [19]

    A. I. Komech, E. A. Kopylova and M. Kunze, Dispersive estimates for 1D discrete Schrödinger and Klein-Gordon equations.Appl. Anal., 85(12):1487–1508, 2006

    work page 2006

  20. [20]

    Moser and J

    J. Moser and J. Pöschel, An extension of a result by Dinaburg and Sina˘ ı on quasiperiodic potentials. Comment. Math. Helv., 59(1):39–85, 1984

    work page 1984

  21. [21]

    D. E. Pelinovsky and A. Stefanov, On the spectral theory and dispersive estimates for a discrete Schrödinger equation in one dimension.J. Math. Phys., 49(11):113501, 2008

    work page 2008

  22. [22]

    Schultz, The wave equation on the lattice in two and three dimensions.Comm

    P. Schultz, The wave equation on the lattice in two and three dimensions.Comm. Pure Appl. Math., 51(6):663–695, 1998

    work page 1998

  23. [23]

    Stefanov and P

    A. Stefanov and P. G. Kevrekidis, Asymptotic behaviour of small solutions for the discrete nonlinear Schrödinger and Klein-Gordon equations.Nonlinearity, 18(4):1841, 2005

    work page 2005

  24. [24]

    E. M. Stein,Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton Mathematical Series, vol. 43, Princeton University Press, Princeton, NJ, 1993

    work page 1993

  25. [25]

    Zhao, Ballistic motion in one-dimensional quasi-periodic discrete Schrödinger equation.Comm

    Z. Zhao, Ballistic motion in one-dimensional quasi-periodic discrete Schrödinger equation.Comm. Math. Phys., 347(2):511–549, 2016. School of Mathematical Sciences, University of Science and Technology of China, Hefei Email address:ZhiQiang_Wan576@mail.ustc.edu.cn School of Mathematical Sciences, University of Science and Technology of China, Hefei Email a...

    work page 2016