REVIEW 3 major objections 4 minor 39 references
Sub-critical well-posedness for the intermediate nonlinear Schr\"{o}dinger equation on the line
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A gauge transform with four auxiliary variables proves local well-posedness for the intermediate nonlinear Schrödinger equation in every positive Sobolev space.
desk verdict Genuine advance in low-regularity INLS well-posedness, with two fixable gaps in the proof of Theorem 1.1. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the gauged quartet (1.11): $v:=P_{+,hi}[e^{i\beta F[u]}u]$, $y:=P_{-,hi}[e^{i\beta F[u]}u]$, $z:=P_{lo}[e^{i\beta F[u]}u]$, and $w:=P_{-,hi}u$, with the primitive $F[f]=\partial_x^{-1}(|f|^2)$. The decomposition (1.10) is what carries the argument: it replaces every factor $|u|^2$ by $|v+y+z|^2$, producing a closed four-equation system in which the hardest trilinear terms can be decomposed further through $Y_{\mathrm{pos}}$ and $Y_{\mathrm{neg}}$; these terms gain spatial regularity in mixed Lebesgue spaces, and the bilinear Strichartz estimate (Lemma 3.3) can be applied twice to recover the full derivative. For the global results, the central object is the conserved quantity $A(\kappa;u,h)=\operatorname{tr}\{(L_{u;h}+i\kappa)^{-1}-(L_0+i\kappa)^{-1}\}$, split into a quadratic part $A^{[2]}$ defined by (6.13) and a quartic-and-higher part $A^{[\ge4]}$; trace-ideal estimates place the higher part under control using $L^2$-equicontinuity, and a weighted average of $A$ over $\kappa$ bounds the $H^s$ norm.
What would settle it
Construct a smooth solution of (1.1) whose maximal existence time is finite while $\|u(t)\|_{H^{1/2+9\delta}}$ remains bounded as $t$ approaches that time; equation (5.3) requires this norm to diverge, so such an example would falsify the proof's uniform lifespan step and with it Theorem 1.1 as argued.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for any $\beta,\gamma\in\mathbb{R}$ and $s>0$, the Cauchy problem (1.1) is locally well-posed in $H^s(\mathbb{R})$, with the solution lying in $C([0,T];H^s)$ and satisfying the Duhamel formula; the data-to-solution map is locally Lipschitz, and the gauged components $v$ and $w$ enjoy nonlinear smoothing. The proof establishes the claim by working not with $u$ alone but with the closed system (5.1) for the quartet $(v,y,z,w)$, in which $u$ is recovered in the explicit form $u=e^{-i\beta F[v+y+z]}(v+Y_{\mathrm{pos}}[v+y+z]+Y_{\mathrm{neg}}[v+y+z,w]+z)+w$ and $y$ obeys (1.12). Because $|u|^2=|v+y+z|^2$, the problematic exponentials disappear from the main nonlinear terms, and the operators $Y_{\mathrm{pos}}$, $Y_{\mathrm{neg}}$ are smoother in space, which lets the estimates close at every $s>0$ rather than only $s>\frac14$.
Load-bearing premise
The proof of Theorem 1.1 relies on a blow-up criterion for smooth approximate solutions: if such a solution has finite maximal time, its $H^{1/2+9\delta}$ norm must diverge at that time; the criterion is imported from a cited Benjamin–Ono result, and if it does not hold for INLS the uniform-in-$j$ lifespan argument in Section 5.1 collapses.
Editorial extensions
If this is right
- If Theorem 1.1 is correct, INLS is locally well-posed in every Sobolev space above $L^2$, for both focusing and defocusing signs and without a smallness condition on the data.
- The same argument yields local well-posedness for the continuum Calogero–Moser equation on the full line with no chirality assumption, matching the result that integrable methods give only in the Hardy space.
- Combining Theorems 1.3 and 1.5 gives global well-posedness in $H^s$ for $0<s<\frac12$ and data small in $L^2$; if one can prove that $L^2$-equicontinuity is preserved for larger masses, the global result would hold up to the mass threshold $M^*$ without any smallness condition.
- The nonlinear smoothing of $v$ and $w$ means the constructed solutions are the unique limits of smooth solutions, so the solution map is smooth on $H^s$ and the solutions agree with those constructed by integrable methods on the Hardy space.
- The method is robust to replacing the lower-order terms: Remark 1.6 states that the same proof works for $L^2$-critical perturbations such as $\gamma|u|^4u$ or filtered derivative nonlinearities.
Reading between the lines
- Editorial extension: the estimates here degrade as $s\to 0$, so the critical $L^2$ endpoint would need new ideas; the paper only reaches it indirectly by matching the separate small-data construction in [20].
- Editorial extension: Remark 1.6 points to filtered nonlinearities such as $uP_+|\partial_x|^{1-\theta}(|u|^2)$ as natural test cases; rerunning Lemmas 4.1–4.10 with that $Q_h$ would verify whether the four-variable mechanism, not integrability, is the real source of the gain.
- Editorial extension: if the defocusing conjecture $M^*=\infty$ holds, Theorem 1.5 becomes unconditional global well-posedness for all $L^2$-subcritical data; the only obstruction is a-priori equicontinuity, so a compactness or rigidity argument for the defocusing flow would complete the theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the intermediate nonlinear Schrödinger equation (INLS) on the line, (1.1), and proves three main results. Theorem 1.1 asserts local well-posedness in H^s(R) for every s>0, with a Duhamel formulation, uniqueness, local Lipschitz dependence, and a nonlinear smoothing estimate. The method introduces a gauge transform and a closed system for a quartet of auxiliary variables (v,y,z,w), and relies on bilinear Strichartz and smoothing estimates rather than complete integrability. Theorems 1.3 and 1.5 address the integrable cases (γ=0, including the continuum Calogero-Moser equation): they establish equicontinuity of orbits for small L^2 data, and global well-posedness in H^s for 0<s<1/2 under a mass/equicontinuity condition, using new conserved quantities built from the Lax pair of the authors' prior work [7].
Significance. If correct, Theorem 1.1 resolves local well-posedness for INLS in the full scaling-subcritical range, improving the authors' previous s>1/4 result and removing the Hardy-space restriction in the CCM case. The technical machinery, especially the closed four-variable system and the double use of bilinear Strichartz estimates to gain nonlinear smoothing, is original and substantial. The conservation-law section is also detailed and does not rely on fitting parameters. However, the proof of Theorem 1.1 has a load-bearing citation gap at the uniform-lifespan step, and the treatment of s>1/2 is not explicitly justified. These issues are local and fixable, so the paper merits major revision rather than rejection.
major comments (3)
- [Section 5.1, Eq. (5.3)] The proof of the uniform lifespan in Section 5.1 uses a local well-posedness statement for smooth INLS solutions and the blow-up criterion (5.3), both attributed to reference [31]. Reference [31] is Molinet–Pilod, 'The Cauchy problem for the Benjamin–Ono equation in L^2 revisited,' which treats Benjamin–Ono and contains no statement about INLS. Equation (5.3) is load-bearing: it is exactly what converts the high-regularity bootstrap bound into the j-uniform lower bound T_max(j) ≥ T_0 in (5.16). The criterion is plausible and should follow from the s>1/2 local well-posedness in [14] by a standard persistence-of-regularity argument, but the manuscript supplies neither a correct citation nor a derivation. The same mismatch appears in Lemma 5.2, where the X^{s_1,1} bounds for the gauged variables of smooth INLS solutions are said to follow from [31, Proposition 3.2]. Please correct these citations or provide the missing argument.
- [Section 5.1] The proof of Theorem 1.1 begins with 'Fix (δ, s, σ) as in Proposition 5.1 and such that s ≤ 1/2' and at the end states that the proof is complete, without returning to s > 1/2. If the intended reduction is that s > 1/2 is already covered by de Moura–Pilod [14], this must be stated explicitly. Moreover, Theorem 1.1 makes claims beyond mere local well-posedness, namely the decomposition (ii), the X^{s,b} memberships, and the nonlinear smoothing (iv), which are not obviously contained in [14]. As written, Theorem 1.1 asserts more than the proof establishes for s > 1/2.
- [Section 6, proof of Proposition 6.5] The sentence 'Uniform convergence guarantees that t ↦ A(κ;u(t)) is differentiable at t_0, and that the series differentiated term-by-term converges' is not a valid implication in general. Uniform convergence of a series of functions does not by itself imply differentiability of the sum or justify term-by-term differentiation. Since the conservation law (6.22) underpins Theorems 1.3 and 1.5, the authors need to justify the interchange, for example by showing that the differentiated series converges uniformly, using the estimates of Proposition 6.4 together with the H^1 bounds on the smooth flow.
minor comments (4)
- [Equation (1.2)] In the definition of T_h, the integral is written with f(y) dx; it should be f(y) dy.
- [Proposition 5.1] In the last line of the statement, the initial data are written as (v_0, y_0, w_0, z_0); the order should be (v_0, y_0, z_0, w_0) to match the system (5.1).
- [Lemma 3.4] The displayed loss N^{15δ}_3 is ambiguous; the proof below indicates the loss is N_3^{15δ}, so the notation should be defined explicitly.
- [Section 5.1, after (5.9)] The convergence u_j → u is first shown in C_{T_0} H^σ_x, and later upgraded to C_{T_0} H^s_x. The upgrade is plausible, but the sentence 'P_+ u_j converges to P_+ u in L^∞_{T_0} H^s_x' is stated before all terms on the right-hand side of (5.19) are shown to converge in that space; a brief ordering of the limits would improve readability.
Circularity Check
No circularity: the main theorems are derived from stated algebraic identities and nonlinear estimates; the flagged mis-citation in Section 5.1 is a rigor gap, not a circular reduction.
full rationale
The paper's derivation chain is not circular. Theorem 1.1 is proved by introducing the gauge decomposition (1.10)-(1.12), deriving the closed four-variable system (5.1), proving the nonlinear estimates in Lemmas 4.1-4.10, and running a contraction argument in X^{s,b} spaces; no quantity is fitted to data, and the Duhamel solution is not defined in terms of the theorem's conclusion. The decomposition is an algebraic identity, and the uniform lifespan argument for the smooth approximants rests on the system estimates rather than on the target local well-posedness. The global well-posedness results use the Lax pair from the authors' prior work [7], but that is a previously established parameter-free theorem independent of the present claims; while it is a self-citation, it does not smuggle in the result being proved. The one serious flagged issue is in Section 5.1: the blow-up criterion (5.3) and the local well-posedness statement for smooth INLS solutions are attributed to [31], which is a Benjamin-Ono paper and does not state the criterion for INLS. This is an unsupported or mis-cited input and a genuine gap in the uniform-in-j lifespan argument, but it is a correctness or completeness concern rather than circularity: the criterion is not shown to be equivalent to the theorem's conclusion, nor is it a renamed version of an input. Accordingly, no circular step is identified and the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- domain assumption Lax pair for (1.16) from [7, Proposition 6.1] holds for all 0<h<=infinity
- domain assumption Gauge transform estimates of Lemma 2.3 and boundedness of G_h in Lemma 2.4 hold as stated
- standard math Bilinear Strichartz estimates (Lemmas 3.3 and 3.4) and Fourier restriction norm embeddings (Lemma 3.1)
- domain assumption Cotlar-type identity for T_h in the proof of Proposition 6.5
Cite this review
Pith. "Pith review of Sub-critical well-posedness for the intermediate nonlinear Schr\"{o}dinger equation on the line." pith.science (2026). https://pith.science/paper/MJP7SFVP
@misc{pith2026260806298,
author = {Pith},
title = {Pith review of: Sub-critical well-posedness for the intermediate nonlinear Schr\"odinger equation on the line},
year = {2026},
howpublished = {\url{https://pith.science/paper/MJP7SFVP}},
note = {Machine review of arXiv:2608.06298}
}
abstract
We continue our study of the well-posedness theory for the intermediate nonlinear Schr\"{o}dinger equation (INLS). Firstly, we prove that INLS is locally well-posed in $H^s (\mathbb{R})$ for any $s>0$. This improves on our previous result of local well-posedness for any $s>\frac 14$, and covers the full scaling-subcritical range for INLS. In particular, we also obtain the local well-posedness for the continuum Calogero-Moser equation without chirality assumption in the full scaling-subcritical range. Our method relies on a gauge transformation, the derivation of a closed system for four auxiliary variables, and nonlinear smoothing estimates, but not on the completely integrable nature of these equations. Secondly, for the integrable models, we prove global well-posedness for $0<s<\frac12$ for initial data with small $L^2$-norm. Moreover, we show that our global well-posedness result applies whenever $L^2$-equicontinuous sets are preserved by the flow, and so the small-data restriction would be removed by an a-priori equicontinuity result. Our argument relies on a novel family of conserved quantities based upon the Lax pair we discovered in our prior work.
Reference graph
Works this paper leans on
-
[31]
L. Molinet, D. Pilod,The Cauchy problem for the Benjamin-Ono equation inL 2 revisited, Anal. PDE 5 (2012), no. 2, 365–395
work page 2012
-
[7]
A. Chapouto, J. Forlano, T. Laurens,On the well-posedness of the intermediate nonlinear Schr¨ odinger equation on the line, arXiv:2511.00302 [math.AP] (2025)
arXiv 2025
-
[14]
R. P. de Moura, D. Pilod,Local well-posedness for the nonlocal nonlinear Schr¨ odinger equation below the energy space, Adv. Differential Equations 15 (2010), no. 9-10, 925–952
work page 2010
-
[1]
Global well-posedness for intermediate NLS with nonvanishing conditions at infinity
T. Akahori, R. Baddredine, S. Ibrahim, N. Kishimoto,Global well-posedness for the generalized interme- diate NLS with a nonvanishing condition at infinity, arXiv:2512.18998 [math.AP] (2025)
work page Pith review arXiv 2025
-
[2]
R. Badreddine,On the global well-posedness of the Calogero-Sutherland derivative nonlinear Schr¨ odinger equation, Pure Appl. Anal. 6 (2024), no. 2, 379–414
work page 2024
- [3]
-
[4]
J. Bourgain,Refinements of Strichartz’ inequality and applications to 2D-NLS with critical nonlinearity, Int. Math. Res. Not. 1998, No. 5, 253–283 (1998)
work page 1998
-
[5]
J. Bourgain, D. Li,On an endpoint Kato-Ponce inequality, Differential Integral Equations 27 (2014), no. 11-12, 1037–1072
work page 2014
Show all 39 references
-
[6]
N. Burq, F. Planchon,On well-posedness for the Benjamin-Ono equation, Math. Ann. 340 (2008), no. 3, 497–542
2008
-
[8]
Chapouto, J
A. Chapouto, J. Forlano, T. Laurens,Well-posedness for the periodic intermediate nonlinear Schr¨ odinger equation, arXiv:2605.30657 [math.AP] (2026)
2026 arXiv
-
[9]
Chen,The defocusing Calogero–Moser derivative nonlinear Schr¨ odinger equation with a non-vanishing condition at infinity, SIAM Journal on Mathematical Analysis, Vol
X. Chen,The defocusing Calogero–Moser derivative nonlinear Schr¨ odinger equation with a non-vanishing condition at infinity, SIAM Journal on Mathematical Analysis, Vol. 58, Iss. 1 (2026)
2026
-
[10]
Chen,Scattering of the defocusing Calogero–Moser derivative nonlinear Schr¨ odinger equation arXiv:2511.06432v6 [math.AP] (2026)
X. Chen,Scattering of the defocusing Calogero–Moser derivative nonlinear Schr¨ odinger equation arXiv:2511.06432v6 [math.AP] (2026)
2026 arXiv
-
[11]
X. Chen, E. Lenzmann,Finite-time blow-up solutions for the Calogero–Sutherland derivative NLS, arXiv:2605.28789 [math.AP] (2026)
2026 arXiv
-
[12]
Christ, M
M. Christ, M. Weinstein,Dispersion of small amplitude solutions of the generalized Korteweg-de Vries equation, J. Funct. Anal. 100 (1991), 87–109
1991
-
[13]
R. P. de Moura,Well-posedness for the nonlocal nonlinear Schr¨ odinger equation, J. Math. Anal. Appl. 326 (2007), no. 2, 1254–1267
2007
-
[15]
M. B. Erdoˇ gan, N. Tzirakis,Dispersive partial differential equations. Wellposedness and applications, London Mathematical Society Student Texts 86. Cambridge: Cambridge University Press (ISBN 978-1- 316-60293-5/pbk; 978-1-107-14904-5/hbk; 978-1-316-56326-7/ebook). xvi, 186 p. (2016)
2016
-
[16]
G´ erard, E
P. G´ erard, E. Lenzmann,The Calogero-Moser derivative nonlinear Schr¨ odinger equation, Commun. Pure Appl. Math. 77, No. 10, 4008–4062 (2024)
2024
-
[17]
Grafakos, S
L. Grafakos, S. Oh,The Kato-Ponce inequality, Comm. Partial Differential Equations 39 (2014), no. 6, 1128–1157
2014
-
[18]
Z. Guo, Y. Lin, L. Molinet,Well-posedness in energy space for the periodic modified Benjamin-Ono equation, J. Differ. Equations 256, No. 8, 2778–2806 (2014)
2014
-
[19]
Hadama,Well-posedness in the full scaling-subcritical range for a class of nonlocal NLS on the line arXiv:2603.28055 [math.AP] (2026)
S. Hadama,Well-posedness in the full scaling-subcritical range for a class of nonlocal NLS on the line arXiv:2603.28055 [math.AP] (2026)
2026
-
[20]
Hadama,Small-dataL 2 theory for the intermediate NLS and the Calogero–Moser derivative NLS arXiv:2608.01138 [math.AP] (2026)
S. Hadama,Small-dataL 2 theory for the intermediate NLS and the Calogero–Moser derivative NLS arXiv:2608.01138 [math.AP] (2026)
2026 arXiv
-
[21]
Hogan, M
J. Hogan, M. Kowalski,Turbulent threshold for continuum Calogero-Moser models, Pure Appl. Anal. 6 (2024), no. 4, 941–954
2024
-
[22]
Ionescu, C
A. Ionescu, C. Kenig,Global well-posedness of the Benjamin-Ono equation in low-regularity spaces, J. Amer. Math. Soc. 20 (2007), no. 3, 753–798
2007
-
[23]
T. Kato, G. Ponce,Commutator estimates and the Euler and Navier-Stokes equations, Comm. Pure Appl. Math. 41 (1988) 891–907
1988
-
[24]
Killip, T
R. Killip, T. Laurens, M. Vi¸ san,Sharp well-posedness for the Benjamin–Ono equation, Invent. Math. 236 (2024), no. 3, 999–1054
2024
-
[25]
Killip, T
R. Killip, T. Laurens, M. Vi¸ san,Scaling-critical well-posedness for continuum Calogero-Moser models on the line, Commun. Am. Math. Soc. 5 (2025), 284–320
2025
-
[26]
Killip, K
R. Killip, K. Marsden, M. Vi¸ san,The Hamiltonian formulation of continuum Calogero-Moser models, arXiv:2604.09479 [math.AP] (2026)
2026 arXiv
-
[27]
Killip, M
R. Killip, M. Ntekoume, M. Vi¸ san,On the well-posedness problem for the derivative nonlinear Schr¨ odinger equation, Anal. PDE 16 (2023), no. 5, 1245–1270. 58 A. CHAPOUTO, J. FORLANO, T. LAURENS
2023
-
[28]
Killip, M
R. Killip, M. Vi¸ san, X. Zhang,Low regularity conservation laws for integrable PDE, Geom. Funct. Anal. 28 (2018), no. 4, 1062–1090
2018
-
[29]
K. Kim, T. Kim, S. Kwon,Construction of smooth chiral finite-time blow-up solutions to Calogero–Moser derivative nonlinear Schr¨ odinger equation, to appear in Mem. Amer. Math. Soc
-
[30]
T. Kim, S. Kwon,Soliton resolution for Calogero–Moser derivative nonlinear Schr¨ odinger equation, to appear in J. Eur. Math. Soc
-
[32]
Molinet, F
L. Molinet, F. Ribaud,Well-posedness inH 1 for generalized Benjamin-Ono equation on the circle, Dis- crete and Continuous Dynamical Systems-Series S, 23(4), 1295-1311
-
[33]
Ozawa, Y
T. Ozawa, Y. Tsutsumi,Space-time estimates for null gauge forms and nonlinear Schr¨ odinger equations, Differ. Integral Equ. 11, No. 2, 201–222 (1998)
1998
-
[34]
J. A. Pava, R. P. de Moura,Ill-posedness and the nonexistence of standing-waves solutions for the nonlocal nonlinear Schr¨ odinger equation, Differential Integral Equations 20 (2007), no. 10, 1107–1130
2007
-
[35]
D. E. Pelinovsky,Intermediate nonlinear Schr¨ odinger equation for internal waves in a fluid of finite depth, Phys. Lett. A, 197 (1995), 401–406
1995
-
[36]
D. E. Pelinovsky, R. H. J. Grimshaw,A spectral transform for the intermediate nonlinear Schr¨ odinger equation, J. Math. Phys., 36 (1995), 4203–4219
1995
-
[37]
D. E. Pelinovsky, R. H. J. Grimshaw,Nonlocal models for envelope waves in a stratified fluid, Stud. Appl. Math. 97 (1996), no. 4, 369–391
1996
-
[38]
Simon,Trace ideals and their applications, Mathematical Surveys and Monographs, vol
B. Simon,Trace ideals and their applications, Mathematical Surveys and Monographs, vol. 120, American Mathematical Society, Providence, RI, 2005
2005
-
[39]
Tao,Global well-posedness of the Benjamin-Ono equation inH 1(R), J
T. Tao,Global well-posedness of the Benjamin-Ono equation inH 1(R), J. Hyperbolic Differ. Equ. 1 (2004), no. 1, 27–49. Andreia Chapouto, CNRS, and School of Mathematics, Monash University, Clayton, VIC 3800, Australia Email address:andreia.chapouto@monash.edu Justin Forlano, S...
2004
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.