On the pointwise convergence of NLS flow on S²
Pith reviewed 2026-05-10 18:55 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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.
- [§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
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
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
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.
- domain assumption The randomization procedure and ansatz from Burq-Camps-Sun-Tzvetkov can be carried over to the spherical geometry.
Reference graph
Works this paper leans on
- [1]
- [2]
-
[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
work page 2022
-
[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
work page 1991
-
[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
work page 2016
- [6]
-
[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
work page 2025
-
[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
work page 2005
-
[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
work page 2002
-
[10]
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
work page 2011
-
[11]
N. Burq and G. Lebeau,Injections de Sobolev probabilistes et applications, Ann. Sci. ´Ec. Norm. Sup´ er., (4) 46 (2013), 917–962. 2.3
work page 2013
-
[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
work page 2018
-
[13]
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
work page 1979
-
[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–
work page 2022
- [15]
-
[16]
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
work page 2021
-
[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
work page 1981
-
[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
work page 2024
-
[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
work page 2017
- [20]
-
[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
work page 2016
-
[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
work page 2018
-
[23]
G. H. Hardy and E. M. Wright,An introduction to the theory of numbers, Oxford University Press, (1979). 3.2
work page 1979
-
[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
work page 2006
-
[25]
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
work page 2026
-
[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
work page 2023
-
[27]
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
work page 2008
- [28]
-
[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
work page 2020
-
[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
work page 1974
-
[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
work page 1987
-
[32]
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
work page 1988
-
[33]
E. M. Stein and R. Shakarchi,Fourier analysis, Princeton Lectures in Analysis, 1, Princeton Univ. Press, Princeton, NJ, 2003
work page 2003
-
[34]
G. Tenenbaum,Introduction ` a la th´ eorie analytique et probabiliste des nombres, Collection ´Echelles, ´Editions Belin, 2015. 3.1
work page 2015
-
[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]
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
work page 2019
-
[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...
work page 1988
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.