pith. sign in

arxiv: 2604.05851 · v1 · submitted 2026-04-07 · 🧮 math.AP

On the pointwise convergence of NLS flow on S²

Pith reviewed 2026-05-10 18:55 UTC · model grok-4.3

classification 🧮 math.AP
keywords nonlinear Schrödinger equationpointwise convergencesphererandomization methodmaximal estimatescubic nonlinearity
0
0 comments X

The pith

The cubic nonlinear Schrödinger flow on the sphere converges pointwise almost surely to initial data at low regularity.

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

This paper shows that solutions to the cubic nonlinear Schrödinger equation on the two-sphere converge back to their initial values pointwise for almost every point on the sphere, when the initial data is randomized in a low-regularity Sobolev space. The proof adapts a randomization procedure and a nonlinear ansatz to the eigenfunction basis of the sphere, extending a Euclidean-space result to this compact curved setting. As a supporting result, the authors derive a necessary condition proving that the linear Schrödinger maximal estimate cannot hold below a certain Sobolev index that depends on the integrability exponent p.

Core claim

By adapting a randomization technique and a specific ansatz for the nonlinear evolution, the authors show that for almost every choice of randomized initial data in H^s(S²) with s sufficiently small, the solution u(t) satisfies u(t,x) → u(0,x) as t → 0 for almost every point x on the sphere. They also prove that the L^p maximal estimate for the linear flow fails when s < 1/2 - 1/(2p) for p ≥ 2.

What carries the argument

Randomization of initial data via a random Fourier series on the sphere combined with a nonlinear ansatz that controls the solution's growth.

If this is right

  • The nonlinear solution is well-defined and continuous in time in a pointwise sense almost everywhere.
  • Pointwise convergence holds in regimes where deterministic well-posedness may fail.
  • The threshold for the maximal estimate on the sphere matches that on the plane for p=3.
  • This provides a new obstruction for proving stronger estimates on compact manifolds.

Where Pith is reading between the lines

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

  • The same randomization-plus-ansatz strategy may extend to other compact Riemannian manifolds with discrete spectrum.
  • Numerical simulations of the sphere NLS with randomized data could directly check the observed pointwise return rates.
  • The maximal-estimate failure suggests that Strichartz-based methods alone cannot reach the same low regularity on spheres.

Load-bearing premise

The randomization procedure and nonlinear ansatz can be transferred to the sphere's eigenfunction expansion without new divergences or obstructions from the geometry or spectrum.

What would settle it

A concrete sequence of randomized initial data on S² in H^s below the claimed threshold for which the nonlinear solution fails to converge pointwise on a set of positive measure.

read the original abstract

In this paper, we study the almost everywhere convergence of the cubic nonlinear Schr\"odinger flow to the initial data on $\mathbb S^2$, \begin{equation*} iu_t + \Delta_g u = |u|^2u, \quad (t,x)\in\R\times \S^2. \end{equation*} Inspired by the randomization method and the ansatz introduced by Burq, Camps, Sun, and Tzvetkov [Preprint, arXiv:2404.18229], we prove almost sure pointwise convergence almost everywhere for the nonlinear solution at very low regularity. This extends Compaan-Luc\`a-Staffilani [Int. Math. Res. Not. IMRN, (1) (2021), 596--647] to the spherical setting. We also provide a new necessary condition for the associated $L^p$ maximal estimate for the linear Schr\"odinger equation on $\S^2$. More precisely, we show that the $L^p$ maximal estimate fails for $s<\frac{1}{2}-\frac{1}{2p}$ with $p\ge 2$. In the special case $p=3$, our result matches the corresponding range in the $\R^2$ case, up to the endpoint, and improves the previous result of Chen-Duong-Lee-Yan [J. Math. Pures Appl. 163 (2022), 433--449].

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

0 major / 2 minor

Summary. The manuscript proves almost sure pointwise convergence almost everywhere for solutions of the cubic nonlinear Schrödinger equation on S² at low regularity, by adapting the randomization method and ansatz from Burq-Camps-Sun-Tzvetkov (arXiv:2404.18229). This extends the Euclidean result of Compaan-Lucà-Staffilani to the spherical setting. The paper also establishes a necessary condition for the failure of the associated L^p maximal estimate for the linear Schrödinger equation on S², namely that the estimate fails for s < 1/2 - 1/(2p) when p ≥ 2; the p=3 case matches the R² range up to the endpoint and improves Chen-Duong-Lee-Yan.

Significance. If the results hold, the work is significant because it demonstrates that the randomization-plus-ansatz approach extends to the compact manifold S² without introducing geometric or spectral obstructions that would invalidate the convergence or the maximal-estimate failure. The necessary condition sharpens the threshold for linear maximal estimates on the sphere and aligns precisely with the Euclidean case at p=3. No machine-checked proofs or reproducible code are present, but the explicit adaptation to spherical harmonics and the discrete spectrum constitutes a clear technical advance.

minor comments (2)
  1. [Abstract] The precise Sobolev index s for which the almost-sure convergence holds is stated only in the body; repeating the exact range (including any endpoint issues) in the abstract would improve readability.
  2. [§1 or §4] In the statement of the necessary condition (likely Theorem 1.2 or equivalent), the construction of the counterexample via spherical harmonics should include a brief remark on why no additional resonances arise from the discrete spectrum, even if the argument is otherwise complete.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and constructive report, which accurately summarizes the main contributions of the paper. We appreciate the recommendation for minor revision and will incorporate appropriate clarifications and improvements.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper adapts the randomization method and ansatz from the cited preprint arXiv:2404.18229 (with one overlapping author) to prove almost-sure pointwise convergence for cubic NLS on S² at low regularity, while also deriving a new necessary condition for the linear maximal estimate that matches the R² range at p=3. No step reduces by construction to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain; the adaptation to spherical harmonics and discrete spectrum introduces independent geometric content, and the cited work supplies an external method rather than the target result itself. The derivation chain remains non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard analytic frameworks for PDEs on compact Riemannian manifolds and the successful transfer of the cited ansatz to the sphere; no free parameters or new entities are introduced.

axioms (2)
  • standard math Standard Sobolev spaces H^s(S²) and the spectrum of the Laplace-Beltrami operator on the sphere are well-defined and satisfy the usual embedding and multiplier properties.
    Invoked for the low-regularity statements and maximal estimates.
  • domain assumption The randomization procedure and ansatz from Burq-Camps-Sun-Tzvetkov can be carried over to the spherical geometry.
    This is the key transfer assumption stated in the abstract.

pith-pipeline@v0.9.0 · 5575 in / 1429 out tokens · 66459 ms · 2026-05-10T18:55:29.550907+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

37 extracted references · 37 canonical work pages

  1. [1]

    Baker, C

    R. Baker, C. Chen, and I. E. Shparlinski,Large Weyl sums and Hausd¨ orff dimension, J. Math. Anal. Appl., 510(2022), 126030. 1.1

  2. [2]

    Baker, C

    R. Baker, C. Chen, and I. E. Shparlinski,Bounds on the norms of maximal operators on Weyl sums, J. Number Theory, 256(2024), 329–353. 1.1

  3. [3]

    Barron,AnL 4 maximal estimate for quadratic Weyl sums, Int

    A. Barron,AnL 4 maximal estimate for quadratic Weyl sums, Int. Math. Res. Not. IMRN, (22)(2022), 17305–17332. 1.1

  4. [4]

    Bourgain,Some new estimates on oscillatory integrals, Essays on Fourier Analysis in Honor of Elias M

    J. Bourgain,Some new estimates on oscillatory integrals, Essays on Fourier Analysis in Honor of Elias M. Stein (Princeton, NJ, 1991), Princeton Math. Ser., vol. 42, Princeton University Press, New Jersey, 1995, pp. 83–112. 1.1, 1.2

  5. [5]

    Bourgain,A note on the Schr¨ odinger maximal function, J

    J. Bourgain,A note on the Schr¨ odinger maximal function, J. Anal. Math., 130(2016), 393–396. 1.1

  6. [6]

    N. Burq, N. Camps, C. Sun, and N. Tzvetkov,Probabilistic well-posedness for the nonlinear Schr¨ odinger equation on the 2d sphere I: Positive regularities, Preprint, arXiv: 2404.18229. 1.2, 1.2, 2.7, 2.4, 5, 5.1, 5.1, 5.1, 5.2, 5.2, 5.2, 5.3, 5.4

  7. [7]

    N. Burq, N. Camps, M. Latocca, C. Sun, and N. Tzvetkov,The Second Picard iteration of NLS on the sphere does not regularize Gaussian random initial data, EMS Surv. Math. Sci., 12 (2025), 123–154. 1.2, 1.8, 2.1

  8. [8]

    N. Burq, P. G´ erard, and N. Tzvetkov,Bilinear eigenfunction estimates and the nonlinear Schr¨ odinger equation on surfaces, Invent. Math., 159(1):187– 223, 2005. 1.2

  9. [9]

    N. Burq, P. G´ erard, and N. Tzvetkov,An instability property of the nonlinear Schr¨ odinger equation onSd, Math. Res. Lett., 9:323–335, 2002. 1.2 24 F. MENG, Y. SONG, C. SUN, R. ZHANG, AND J. ZHENG

  10. [10]

    Bourgain and L

    J. Bourgain and L. Guth, Bounds on oscillatory integral operators based on multilinear estimates. Geom. Funct. Anal. 21 (2011), no. 6, 1239-1295. 1.1

  11. [11]

    Burq and G

    N. Burq and G. Lebeau,Injections de Sobolev probabilistes et applications, Ann. Sci. ´Ec. Norm. Sup´ er., (4) 46 (2013), 917–962. 2.3

  12. [12]

    N. Burq, L. Thomann, and N. Tzvetkov,Remarks on the Gibbs measures for nonlinear dispersive equations, Ann. Fac. Sci. Toulouse, Math., 27(2018), no. 3, 527–597. 1.2, 2.1

  13. [13]

    Carleson,Some analytic problems related to statistical mechanics, in Eu- clidean Harmonic Analysis(Proc

    L. Carleson,Some analytic problems related to statistical mechanics, in Eu- clidean Harmonic Analysis(Proc. Sem., Univ. Maryland, College Park, Md., 1979), Lecture Notes in Math. 779, Springer, Berlin, (1980), pp. 5–45. 1.1

  14. [14]

    X. Chen, X. Duong, S. Lee, and L. Yan,A sharp regularity estimate for the Schr¨ odinger propagator on the sphere, J. Math. Pures Appl., 163(2022), 433–

  15. [15]

    X. Chen, C. Miao, J. Yuan, and T. Zhao,L p maximal estimates for Weyl sums withk⩾3onT, Preprint, arXiv: 2408.15527. 1.1

  16. [16]

    Compaan, R

    E. Compaan, R. Luc` a, and G. Staffilani,Pointwise convergence of the Schr¨ odinger flow, Int. Math. Res. Not. IMRN, (1)(2021), 596–647. 1.1, 1.2, 1.2

  17. [17]

    B. E. J. Dahlberg, and C. E. Kenig,A note on the almost everywhere behavior of solutions to the Schr¨ odinger equation, in Harmonic Analysis(Minneapolis, Minn., 1981), Lecture Notes in Math. 908, Springer, Berlin-New York, (1982), pp. 205–209. 1.1

  18. [18]

    Y. Deng, A. Nahmod, and H. Yue,Invariant Gibbs measures and global strong solutions for nonlinear Schr¨ odinger equations in dimension two, Ann. Math., (2) 200 (2024), 399–486. 1.6, 1.2

  19. [19]

    X. Du, L. Guth, and X. Li,A sharp Schr¨ odinger maximal estimate inR 2, Ann. of Math., 186(2)(2017), 607–640. 1.1

  20. [20]

    Du and R

    X. Du and R. Zhang,SharpL 2 estimates of the Schr¨ odinger maximal function in higher dimensions, Ann. of Math., 189(2)(2019), 837–861. 1.1

  21. [21]

    Guth,A restriction estimate using polynomial partitioning, J

    L. Guth,A restriction estimate using polynomial partitioning, J. Amer. Math. Soc., 29(2016),371–413. 1.1

  22. [22]

    Guth,Restriction estimates using polynomial partitioning II, Acta Math., 221(2018), 81–142

    L. Guth,Restriction estimates using polynomial partitioning II, Acta Math., 221(2018), 81–142. 1.1

  23. [23]

    G. H. Hardy and E. M. Wright,An introduction to the theory of numbers, Oxford University Press, (1979). 3.2

  24. [24]

    Lee,On pointwise convergence of the solutions to Schr¨ odinger equations in R2, Int

    S. Lee,On pointwise convergence of the solutions to Schr¨ odinger equations in R2, Int. Math. Res. Not. IMRN, (2006), 1–21. 1.1

  25. [25]

    Luc´ a and P

    R. Luc´ a and P. Marino, Pointwise convergence of the Klein-Gordon flow, SIAM J. Math. Anal. 58 (2026), no.2, 1341-1366. 1.7

  26. [26]

    C. Miao, J. Yuan, and T. Zhao,Maximal estimates for the Weyl sums onT d (with an appendix by Alex Barron), J. Funct. Anal., 284(2)(2023), 1–38. 1.1

  27. [27]

    Moyua and L

    A. Moyua and L. Vega,Bounds for the maximal function associated to periodic solutions of one-dimensional dispersive equations, Bull. London Math. Soc., 40(1)(2008), 117–128. 1.1, 3.2

  28. [28]

    Oh and L

    T. Oh and L. Thomann,A pedestrian approach to the invariant Gibbs measures for the 2-d defocusing nonlinear Schr¨ odinger equations, Stoch. Partial Differ. Equ. Anal. Comput., 6(2018), 397–445. 2.1, 2.5

  29. [29]

    L. B. Pierce,On Bourgain’s counterexample for the Schr¨ odinger maximal func- tion, Quart. J. Math., 71(2020), 1309–1344. 1.1 ON THE POINTWISE CONVERGENCE OF NLS FLOW ONS 2 25

  30. [30]

    Simon,TheP(φ) 2 Euclidean (Quantum) Field Theory, Princeton Series in Physics, Princeton Univ

    B. Simon,TheP(φ) 2 Euclidean (Quantum) Field Theory, Princeton Series in Physics, Princeton Univ. Press, Princeton, N.J., (1974). 2.5, 2.3

  31. [31]

    Sj¨ olin,Regularity of solutions to the Schr¨ odinger equation, Duke Math

    P. Sj¨ olin,Regularity of solutions to the Schr¨ odinger equation, Duke Math. J., 55(3)(1987), 699–715. 1.1

  32. [32]

    Sogge,Concerning theL p norm of spectral clusters for second order elliptic operators on compact manifolds, J

    C. Sogge,Concerning theL p norm of spectral clusters for second order elliptic operators on compact manifolds, J. Funct. Anal., 77 (1988), 123–138. 2.2

  33. [33]

    E. M. Stein and R. Shakarchi,Fourier analysis, Princeton Lectures in Analysis, 1, Princeton Univ. Press, Princeton, NJ, 2003

  34. [34]

    Tenenbaum,Introduction ` a la th´ eorie analytique et probabiliste des nombres, Collection ´Echelles, ´Editions Belin, 2015

    G. Tenenbaum,Introduction ` a la th´ eorie analytique et probabiliste des nombres, Collection ´Echelles, ´Editions Belin, 2015. 3.1

  35. [35]

    Tzvetkov,Random data wave equation, Lecture Notes in Mathematics (LN- MCIME,volume 2253)

    N. Tzvetkov,Random data wave equation, Lecture Notes in Mathematics (LN- MCIME,volume 2253). 2.4

  36. [36]

    Wang and C

    X. Wang and C. Zhang,Pointwise convergence of solutions to the Schr¨ odinger equation on manifolds, Canad. J. Math., 71(4)(2019), 983–995. 1.1, 1.4, 2.4

  37. [37]

    Vega,Schr¨ odinger equations: pointwise convergence to the initial data, Proc

    L. Vega,Schr¨ odinger equations: pointwise convergence to the initial data, Proc. Amer. Math. Soc., 102(1988), 874–878. 1.1 Fanfei Meng College of Science, China agricultural university, Beijing, 100083 Email address:meng fanfei@cau.edu.cn Yilin Song The Graduate School of China Academy of Engineering Physics, Beijing, 100088, China Email address:songyili...