pith. sign in

arxiv: 2604.23202 · v1 · submitted 2026-04-25 · 🧮 math.DS

On the construction of almost periodic solutions for the derivative nonlinear Schr\"odinger equation

Yuchen Wu , Xiaoping Yuan This is my paper

Pith reviewed 2026-05-08 07:16 UTC · model grok-4.3

classification 🧮 math.DS
keywords derivative nonlinear Schrödinger equationalmost-periodic solutionstoruspotentialKAM theoryinfinite-dimensional Hamiltonian systemsnonlinear wave equations
0
0 comments X

The pith

For almost all potentials the derivative nonlinear Schrödinger equation admits an almost-periodic solution on the torus.

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

This paper proves existence of almost-periodic solutions for the derivative nonlinear Schrödinger equation i ∂_t u + ∂_xx u - V ∗ u + i |u|^2 ∂_x u = 0 on the torus when a convolution potential V is added. The result is shown to hold for almost all choices of V inside a suitable Banach space of functions. A sympathetic reader would care because almost-periodic solutions describe bounded, non-decaying wave patterns that recur indefinitely, which helps classify the possible long-time behaviors of this nonlinear wave model.

Core claim

The authors prove that for almost all potentials V, this equation admits an almost-periodic solution.

What carries the argument

A perturbative KAM-type construction that builds the almost-periodic solution as a quasi-periodic orbit in the infinite-dimensional Hamiltonian system associated to the equation.

If this is right

  • The long-time solutions remain bounded and recurrent for a full-measure set of potentials.
  • The derivative nonlinearity does not destroy the existence of almost-periodic motions once a generic potential is present.
  • The same perturbative method yields a large family of almost-periodic solutions rather than only periodic ones.
  • The result extends classical KAM persistence theorems from finite to infinite dimensions for this specific equation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The technique may carry over to other derivative nonlinear Schrödinger equations on the circle with different nonlinear terms.
  • Numerical checks with random potentials drawn from the space could verify whether solutions stay almost periodic in practice.
  • The construction suggests that almost-periodicity is typical rather than exceptional in this class of Hamiltonian PDEs.

Load-bearing premise

The potential V belongs to a Banach space of torus functions in which the notion of almost all V is well-defined and the small-divisor conditions needed for the construction can be satisfied.

What would settle it

An explicit potential V inside the given Banach space for which the equation possesses no almost-periodic solution at all.

read the original abstract

In this paper, we consider a derivative nonlinear Schr\"odinger equation $$ \mathrm{i}\partial_{t}u+\partial_{xx}u-V\ast u+\mathrm{i}\vert u\vert^{2}\partial_{x}u=0 $$ on the torus $\mathbb{T}$, depending on some potential $V$. We prove that for `almost all' potentials $V$, this equation admits an almost-periodic solution.

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 / 1 minor

Summary. The manuscript considers the derivative nonlinear Schrödinger equation i∂_t u + ∂_{xx} u - V ∗ u + i |u|^2 ∂_x u = 0 on the torus T, depending on a potential V. It claims to prove that for almost all potentials V (in a suitable Banach space of functions on the torus), the equation admits an almost-periodic solution, presumably via a perturbative KAM-type construction.

Significance. If the central claim holds with the necessary measure estimates and small-divisor control, the result would extend existence theorems for almost-periodic solutions in nonlinear dispersive PDEs to the derivative NLS case for generic potentials. This would be of interest in infinite-dimensional KAM theory, though the absence of explicit derivations in the provided text limits assessment of its novelty relative to prior work on NLS or DNLS.

major comments (1)
  1. [Abstract] Abstract: The central existence claim for almost all V is stated without any derivation, error estimates, definition of the Banach space for V, or outline of the perturbative construction. This is load-bearing, as the soundness of the 'almost all' statement depends entirely on unshown measure estimates and convergence of the KAM iteration.
minor comments (1)
  1. The equation is written with convolution V ∗ u; the manuscript should explicitly state the function space for V and how the convolution is defined on T.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and for highlighting the need for greater clarity in the abstract. We address the comment below and will make the requested revisions to improve the presentation of the main result.

read point-by-point responses

  1. Referee: [Abstract] Abstract: The central existence claim for almost all V is stated without any derivation, error estimates, definition of the Banach space for V, or outline of the perturbative construction. This is load-bearing, as the soundness of the 'almost all' statement depends entirely on unshown measure estimates and convergence of the KAM iteration.

    Authors: We agree that the abstract, as currently written, is too terse and does not indicate the structure of the argument. The full manuscript contains the complete perturbative KAM construction: the Banach space for V is defined in Section 2, the small-divisor estimates and measure estimates establishing the 'almost all' statement appear in Sections 3 and 4, and the convergence of the KAM iteration is proved in Section 5. To address the referee's concern directly, we will expand the abstract to include a one-sentence outline of the construction and a reference to the measure estimates that justify the generic statement. revision: yes

Circularity Check

0 steps flagged

No significant circularity; existence proof is self-contained

full rationale

The paper presents a perturbative (KAM-style) existence result for almost-periodic solutions of the derivative NLS on the torus, parameterized by a potential V drawn from a Banach space of functions. The central claim is an existence statement for a set of full measure in that space; no fitted parameters, self-referential definitions, or load-bearing self-citations appear in the abstract or the described derivation chain. Standard small-divisor and measure estimates in such constructions are independent of the target solution and do not reduce to the input data by construction. The derivation therefore remains non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; full manuscript would be required to audit the functional-analytic setting and any perturbative assumptions.

pith-pipeline@v0.9.0 · 5362 in / 990 out tokens · 41926 ms · 2026-05-08T07:16:55.075921+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

52 extracted references · 52 canonical work pages

  1. [1]

    G. P. Agrawal. Nonlinear Fiber Optics . Elsevier, London, 2019

    work page 2019

  2. [2]

    Berti and P

    M. Berti and P. Bolle. Quasi-periodic solutions with S obolev regularity of NLS on T ^d with a multiplicative potential. J. Eur. Math. Soc. (JEMS) , 15(1):229--286, 2013

    work page 2013

  3. [3]

    Berti and P

    M. Berti and P. Bolle. Quasi-periodic solutions of nonlinear wave equations on the d -dimensional torus . EMS Monographs in Mathematics. EMS Publishing House, Berlin, [2020] 2020

    work page 2020

  4. [4]

    Baldi, M

    P. Baldi, M. Berti, E. Haus, and R. Montalto. Time quasi-periodic gravity water waves in finite depth. Invent. Math. , 214(2):739--911, 2018

    work page 2018

  5. [5]

    Baldi, M

    P. Baldi, M. Berti, and R. Montalto. KAM for autonomous quasi-linear perturbations of KdV. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire , 33:1589-1638, 2016

    work page 2016

  6. [6]

    Berti, L

    M. Berti, L. Biasco, and M. Procesi. K AM theory for the H amiltonian derivative wave equation. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 46(2):301--373, 2013

    work page 2013

  7. [7]

    Brézis, J

    H. Brézis, J. M. Coron and L. Nirenberg Free vibrations for a nonlinear wave equation and a theorem of P. Rabinowitz. Commun. Pure. Appl. Math. , 33(5):667-684, 1980

    work page 1980

  8. [8]

    Bernier, B

    J. Bernier, B. Gr\' e bert, and T. Robert. Infinite dimensional invariant tori for nonlinear Schr\" o dinger equations. preprint , https://arxiv.org/abs/2412.11845, 2024

    work page arXiv 2024

  9. [9]

    Berti, Z

    M. Berti, Z. Hassainia, and N. Masmoudi. Time quasi-periodic vortex patches of Euler equation in the plane. Invent. Math. , 233:1279-1391, 2023

    work page 2023

  10. [10]

    Biasco, J.E

    L. Biasco, J.E. Massetti, and M. Procesi. Weak Sobolev almost periodic solutions for the 1D NLS. Duke Math. J. , 172(14):2643-2714, 2023

    work page 2023

  11. [11]

    Bourgain

    J. Bourgain. Construction of approximative and almost periodic solutions of perturbed linear S chr\" o dinger and wave equations. Geom. Funct. Anal. , 6(2):201--230, 1996

    work page 1996

  12. [12]

    Bourgain

    J. Bourgain. Quasi-periodic solutions of H amiltonian perturbations of 2 D linear S chr\" o dinger equations. Ann. of Math. , 148(2):363--439, 1998

    work page 1998

  13. [13]

    Bourgain

    J. Bourgain. Green's function estimates for lattice S chr\" o dinger operators and applications , volume 158 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2005

    work page 2005

  14. [14]

    Bourgain

    J. Bourgain. On invariant tori of full dimension for 1D periodic NLS. J. Funct. Anal. , 229:62-94, 2005

    work page 2005

  15. [15]

    H. Cong, J. Liu, Y. Shi and X. Yuan. The stability of full dimensional KAM tori for nonlinear Schrödinger equation. J. Differ. Equations , 264(7):4504-4563, 2018

    work page 2018

  16. [16]

    Corsi, R

    L. Corsi, R. Montalto, and M. Procesi. Almost-periodic response solutions for a forced quasi-linear Airy equation. J. Dyn. Differ. Equations , 33:1231-1267, 2021

    work page 2021

  17. [17]

    H. Cong. The existence of full dimension KAM tori for nonlinear S chr\" o dinger equation. Math. Ann. , 390:671-719, 2024

    work page 2024

  18. [18]

    Cong and X

    H. Cong and X. Yuan. The existence of full dimensional invariant tori for 1-dimensional nonlinear wave equation. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire , 38(3):759-786, 2021

    work page 2021

  19. [19]

    L. H. Eliasson, B. Gr\' e bert, and S. B. Kuksin. K AM for the nonlinear beam equation. Geom. Funct. Anal. , 26(6):1588--1715, 2016

    work page 2016

  20. [20]

    L. H. Eliasson and S. B. Kuksin. K AM for the nonlinear S chr\" o dinger equation. Ann. of Math. , 172(1):371--435, 2010

    work page 2010

  21. [21]

    Franzoi, N

    L. Franzoi, N. Masmoudi and R. Montalto. Space Quasi-Periodic Steady Euler Flows Close to the Inviscid Couette Flow. Arch. Rat. Mech. Anal. , 248(5):81, 2024

    work page 2024

  22. [22]

    Geng and X

    J. Geng and X. Xu. Almost-periodic solutions of one dimensional S chr\" o dinger equation with the external parameters. J. Dyn. Differ. Equations , 25:435-450, 2013

    work page 2013

  23. [23]

    Geng and W

    J. Geng and W. Hong. Invariant tori of full dimension for second KdV equations with the external parameters. J. Dyn. Differ. Equations , 29:1325-1354, 2017

    work page 2017

  24. [24]

    H\" o rmander

    L. H\" o rmander. The boundary problems of physical geodesy. Arch. Rat. Mech. Anal. , 62(1):1-52, 1976

    work page 1976

  25. [25]

    S. Hu, H. Xue, and X. Yuan. Long time stability for KAM tori of the derivative nonlinear S chr\" o dinger equation. preprint , https://arxiv.org/abs/2401.11639, 2024

    work page arXiv 2024

  26. [26]

    Klainerman

    S. Klainerman. Global existence for nonlinear wave equations. Commun. Pure. Appl. Math. , 33(1):43-101, 1980

    work page 1980

  27. [27]

    o schel. Invariant C antor manifolds of quasi-periodic oscillations for a nonlinear S chr\

    S. B. Kuksin and J. P\" o schel. Invariant C antor manifolds of quasi-periodic oscillations for a nonlinear S chr\" o dinger equation. Ann. of Math. , 143(1):149--179, 1996

    work page 1996

  28. [28]

    Kappeler and J

    T. Kappeler and J. P\" o schel. KdV&KAM. Springer-Verlag, Berlin, Heidelberg, 2003

    work page 2003

  29. [29]

    S. B. Kuksin. Nearly integrable infinite-dimensional H amiltonian systems , volume 1556 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1993

    work page 1993

  30. [30]

    S. B. Kuksin. On small-denominators equations with large variable coefficients. J. Appl. Math. Phys. , 48:262-271, 1997

    work page 1997

  31. [31]

    S. B. Kuksin. Analysis of H amiltonian PDE s , volume 19 of Oxford Lecture Series in Mathematics and its Applications . Oxford University Press, Oxford, 2000

    work page 2000

  32. [32]

    S. B. Kuksin. Fifteen years of KAM for PDE , volume 212 of American Mathematical Society Translation . American Mathematical Society, Providence, 2004

    work page 2004

  33. [33]

    Liu and X

    J. Liu and X. Yuan. Spectrum for quantum Duffing oscillator and small-divisor equation with large variable coefficient. Commun. Pure. Appl. Math. , 63(9):1145-1172, 2010

    work page 2010

  34. [34]

    Liu and X

    J. Liu and X. Yuan. A KAM theorem for H amiltonian partial differential equations with unbounded perturbations. Comm. Math. Phys. , 307(3):629--673, 2011

    work page 2011

  35. [35]

    Liu and X

    J. Liu and X. Yuan. KAM for the derivative nonlinear Schr\" o dinger equation with periodic boundary conditions. J. Differential Equations , 256:1627-1652, 2014

    work page 2014

  36. [36]

    K. Mio, T. Ogino, and S. Takeda. Modified Nonlinear Schrödinger Equation for Alfvén Waves Propagating along the Magnetic Field in Cold Plasmas. J. Phys. Soc. Jpn. , 41(1):265-271, 1976

    work page 1976

  37. [37]

    Mouhot and C

    C. Mouhot and C. Villani. On Landau damping. Acta Math. , 207(1):29-201, 2011

    work page 2011

  38. [38]

    P\" o schel

    J. P\" o schel. Small divisors with spatial structure in infinite-dimensional Hamiltonian systems. Comm. Math. Phys. , 127(2):351-393, 1990

    work page 1990

  39. [39]

    P\" o schel

    J. P\" o schel. A KAM -theorem for some nonlinear partial differential equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , 23(1):119--148, 1996

    work page 1996

  40. [40]

    P\" o schel

    J. P\" o schel. Quasi-periodic solutions for a nonlinear wave equation. Comment. Math. Helv. , 71(2):269--296, 1996

    work page 1996

  41. [41]

    o schel. On the construction of almost periodic solutions for a nonlinear S chr\

    J. P\" o schel. On the construction of almost periodic solutions for a nonlinear S chr\" o dinger equation. Ergodic Theory Dyn. Syst. , 22(5):1537-1549, 2002

    work page 2002

  42. [42]

    P. H. Rabinowitz. Periodic solutions of nonlinear hyperbolic partial differential equations. Commun. Pure. Appl. Math. , 20(1):145–205, 1967

    work page 1967

  43. [43]

    M. Struwe. Variational Methods. Springer-Verlag, Berlin, Heidelberg, 2008

    work page 2008

  44. [44]

    W. Wang. Energy supercritical nonlinear S chr\" o dinger equations: quasiperiodic solutions. Duke Math. J. , 165(6):1129--1192, 2016

    work page 2016

  45. [45]

    W. Wang. Quasi-periodic solutions to nonlinear PDE s. In Harmonic analysis and wave equations , volume 23 of Ser. Contemp. Appl. Math. CAM , pages 127--175. Higher Ed. Press, Beijing, 2019

    work page 2019

  46. [46]

    W. Wang. Space quasi-periodic standing waves for nonlinear S chr\" o dinger equations. Comm. Math. Phys. , 378(2):783--806, 2020

    work page 2020

  47. [47]

    C. E. Wayne. Periodic and quasi-periodic solutions of nonlinear wave equations via KAM theory. Comm. Math. Phys. , 127(3):479--528, 1990

    work page 1990

  48. [48]

    H. Xue, Z. You, and X. Yuan. Construction of periodic solutions of multi-dimensional nonlinear wave equations with unbounded perturbation. J. Differ. Equations , 453:113881, 2026

    work page 2026

  49. [49]

    X. Yuan. KAM Theorem with Normal Frequencies of Finite Limit‐Points for Some Shallow Water Equations. Commun. Pure. Appl. Math. , 74(6):1193-1281, 2021

    work page 2021

  50. [50]

    You and X

    Z. You and X. Yuan. Periodic Response Solutions to Multidimensional Nonlinear Schrödinger Equations with Unbounded Perturbation. Regular & Chaotic Dynamics , https://doi.org/10.1134/S1560354725530048, 2025

    work page doi:10.1134/s1560354725530048 2025

  51. [51]

    You and X

    Z. You and X. Yuan. Quasi-periodic Dynamics for Multi-dimensional Quasi-linear Schrödinger Equations via Resonant Mode Control. preprint. , https://arxiv.org/abs/2601.13611, 2026

    work page arXiv 2026

  52. [52]

    E. Zehnder. Moser's implicit function theorem in the framework of analytic smoothing. Math. Ann. , 219(2):105-121, 1976

    work page 1976