REVIEW 2 major objections 4 minor 2 cited by
Well- and ill-posedness of the Cauchy problem for semi-linear Schr\"odinger equations on the torus
T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Well-posedness of polynomial derivative Schrödinger equations on the torus is equivalent to a single integral condition on the nonlinearity.
desk verdict A complete iff characterization for polynomial derivative NLS on the torus, with a solid proof; caveats are the polynomial-only scope and non-optimal regularity threshold. 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 central object is the gauge-transformed second derivative $W = \exp\bigl(-\tfrac{i}{2}\partial_x^{-1} F_\beta(u,\partial_x u,\bar u,\partial_x\bar u)\bigr)\,\partial_x^2 u$, where $\partial_x^{-1}$ is the zero-mean inverse derivative on the torus. Applying this transformation removes the most dangerous term $F_\beta \,\partial_x w$ from the equation for $w=\partial_x^2 u$, leaving a term whose coefficient is the spatial average of $F_\beta$ times $\partial_x W$ plus lower-order polynomial terms. When condition (1.4) holds, that average is real, so the offending term becomes a pure derivative and contributes nothing to the $H^s$ energy; when the average has a nonzero imaginary part, a first-order Cauchy-Riemann-type elliptic operator survives, and the integration-by-parts argument shows that a solution would force one Fourier projection of the initial data to be smoother than $H^s$. The threshold $s>5/2$ arises from the commutator estimates needed for the energy method.
What would settle it
Take $F(\alpha,\beta,\bar\alpha,\bar\beta)=i(2|\alpha|^2\beta+\alpha^2\bar\beta)$ and $\psi\equiv 1$, so $\int_{\mathbb T}\operatorname{Im} F_\beta\,dx=2\neq 0$; the theorem predicts that some $H^s$ initial data admit no solution. Exhibiting a solution for every $H^s$ initial data for this equation, for any fixed $s>5/2$, would refute Theorem 1.4, while verifying the predicted loss on the $P_\pm$ side would corroborate it.
Extended reading notes
Core claim
Under the assumption that $F$ is a polynomial in $\alpha,\beta,\bar\alpha,\bar\beta$, the Cauchy problem is locally well-posed in $H^s(\mathbb T)$ for $s>5/2$ if and only if $\int_{\mathbb T} \operatorname{Im} F_\beta(\psi,\partial_x\psi,\bar\psi,\partial_x\bar\psi)\,dx = 0$ for every $\psi\in H^s(\mathbb T)$. Here $F_\beta$ is the partial derivative of $F$ with respect to its second argument, the slot occupied by $\partial_x u$. The well-posedness part upgrades Chihara's earlier existence and uniqueness result from weak to strong continuity in $H^s$. The ill-posedness part is proved as non-existence: if the integral is nonzero for some $\psi$, there is a $\varphi\in H^s(\mathbb T)$ such that no solution exists in $C([0,T];H^s(\mathbb T))$ or $C([-T,0];H^s(\mathbb T))$ for any $T>0$; in fact, any solution would force one of the projections $P_+\varphi$ or $P_-\varphi$ to gain regularity, depending on the sign of the integral.
Load-bearing premise
The proof treats $F$ as a polynomial nonlinearity: the composition estimates and the regularity of the parabolic smoothed solutions are established only in that setting, so a reader wanting the same equivalence for merely smooth nonlinearities would need a new argument.
Editorial extensions
If this is right
- For every polynomial $F$ and every $s>5/2$, well-posedness in $H^s(\mathbb T)$ is decided by the one condition (1.4); no other structure of the nonlinearity matters.
- When the condition fails, the Cauchy problem is ill-posed in the strongest sense: some $H^s$ initial data admit no solution at all, not merely a discontinuous solution map.
- The criterion reproduces the known split between conjugate-derivative models such as $\partial_x(\bar u^m)$, for which $F_\beta=0$ and the condition holds, and models such as $\partial_x(u^m)$ with $m\ge 2$, for which the condition fails and the problem is ill-posed.
- The well-posedness conclusion gives continuity of the solution map in the full $H^s$ norm, improving Chihara's earlier weak-continuity result, and yields persistence of regularity for smoother initial data on the same time interval.
Reading between the lines
- The sign-dependent half-line smoothing effect in Theorem 4.1 suggests that when (1.5) holds, initial data with one Fourier half-line sufficiently smooth may still evolve, while data rough on the wrong side are forbidden; the paper explicitly leaves such conditional existence questions open.
- One expects the same dichotomy for smooth, non-polynomial nonlinearities by approximation, but the paper's $C^7$ remark covers only the $H^3$ well-posedness side, so a full smooth analogue would require fractional composition estimates that are not provided.
- The mechanism connecting a nonzero Mizohata mean to a first-order elliptic operator and forced half-line regularity links this failure to Fourier half-space well-posedness, where the solution space itself imposes the one-sided smoothness that the obstruction demands.
- A concrete numerical check is possible: run the parabolic regularization for $F=i(2|\alpha|^2\beta+\alpha^2\bar\beta)$ with rough data whose Fourier modes are nonzero on both sides; the predicted non-existence should appear as catastrophic growth as the regularization parameter tends to zero, in contrast to the condition-holding model $\partial_x(|u|^2u)$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Cauchy problem for the semi-linear Schrödinger equation ∂_t u + i∂_x^2 u = F(u, ∂_x u, u̅, ∂_x u̅) on the torus, where F is a polynomial in its four arguments. Theorem 1.3 claims that for s > 5/2 the problem is well-posed in H^s(T) if and only if condition (1.4) holds, namely ∫_T Im F_β(ψ, ∂_x ψ, ψ̅, ∂_x ψ̅) dx = 0 for every ψ ∈ H^s(T). The well-posedness part is proved by parabolic regularization, a gauge transformation tailored to F_β, energy estimates, and a Bona–Smith approximation argument. The ill-posedness part is proved by a contrapositive regularity statement (Theorem 4.1) and a construction of rough initial data (Lemma 4.2). The polynomial restriction is explicitly stated and used in the composition estimates and in the smoothness of the regularized solutions.
Significance. If the proof is completed as written, Theorem 1.3 is a substantial result: it gives a complete nonlinear analogue of the Mizohata condition for polynomial derivative NLS on the torus, and it upgrades Chihara's earlier conditional well-posedness to strong H^s well-posedness while adding a sharp non-existence statement. The paper is carefully structured, the main estimates are stated explicitly, and the polynomial scope is honestly delimited. The well-posedness proof is genuinely constructive (parabolic approximation plus Bona–Smith), and the ill-posedness mechanism via Fourier-side regularity of P_± φ is a clean and falsifiable criterion. The paper also provides a useful sufficient condition for non-existence in Theorem 4.1 that is of independent interest.
major comments (2)
- [Section 3.1, Eqs. (3.11)–(3.12)] The text states that ∂_x Λ^ε, ∂_x^2 Λ^ε, and ∂_t Λ^ε are polynomials in u^ε, v^ε, w^ε and their conjugates, but this is not correct as written. Equation (3.11) contains the nonlocal term ∂_x^{-1} R_3^ε, which is not a polynomial in the field variables. Since the residual R^ε in (3.12) is subsequently estimated in Proposition 3.3 using polynomial composition estimates from Lemma 3.2, the proof of the key energy estimate is incomplete at this point. The gap is repairable: one needs a separate estimate for ∂_x^{-1} R_3^ε, for instance ‖∂_x^{-1} R_3^ε‖_{H^{r-1}} ≤ C(E_s^ε)(1+E_r^ε), and the residual in (3.12) should be rewritten so that this non-polynomial term is treated explicitly rather than absorbed into a polynomial class.
- [Section 3.1, Eq. (3.38)] In the derivation of the difference estimate, the term coming from (3.32) is (ε_1 − ε_2) e^{-Λ^{ε_1}} ∂_x^2 v^{ε_2}. The displayed I_1 in (3.38), however, is −(ε_1 − ε_2) Re(∂_x v^{ε_2}, ∂_x V̆)_{H^{s-2}}. This is not a direct identity: the factor e^{-Λ^{ε_1}} is dropped, and the commutator of e^{-Λ^{ε_1}} with ⟨∂_x⟩^{s-2} is not accounted for. Since the bound |I_1| ≤ C|ε_1−ε_2| enters the Gronwall inequality (3.35) that yields convergence in C([0,T];H^{s-1}), the missing justification should be supplied.
minor comments (4)
- [Section 1, notation] After the definition of A ∼ B, the line “A /greaterorsimilarB” appears to be a typographical corruption of A ≳ B; please correct it.
- [Section 3, Eq. (3.12) and elsewhere] Several expressions such as e^{-Λ^ε+Λ^ε} are ambiguous in the current typesetting. If the second Λ carries an overline, it should be typeset as e^{-Λ^ε+Λ̅^ε}; as printed the expression appears to be e^0, which is confusing and makes the gauge-transformation identities hard to verify.
- [Section 4, Lemma 4.2] In Cases 2-2 and 2-3 the construction is clear, but it would help to state explicitly that the added Fourier series is supported on even integers so that the non-smoothness of P_+ψ^(ℓ) and P_−ψ^(ℓ) is preserved after adding the H^{s+δ} term ψ.
- [References] Reference [4] is listed only as “preprint”; if an updated published or arXiv version is available, it should be cited with full bibliographic data.
Circularity Check
No significant circularity: the iff characterization is a deductive proof with an explicit hypothesis, and no fitted parameter is renamed as a prediction.
full rationale
This paper is a purely deductive PDE proof. There are no calibrated parameters, no empirical data, and no quantity that is fitted to a subset of the data and then announced as a prediction. The necessary-and-sufficient condition (1.4) is an explicit assumption in the well-posedness half and an explicit hypothesis in the non-existence theorem, not an output of the argument. The energy estimates in Section 3 are derived from the equation by direct computation using the gauge transformation, the commutator estimate in Proposition 2.5, and Proposition 3.3; the well-posedness proof then uses a Bona-Smith approximation argument to upgrade convergence to H^s. The ill-posedness proof in Section 4 is a contradiction argument: Theorem 4.1 derives, from the assumed existence of a solution, that P_-phi or P_+phi must gain regularity whenever the integral in (1.5) has a nonzero sign, and Lemma 4.2 constructs H^s initial data with P_+-phi not in H^{s+delta}, so no solution can exist. The quoted external results, such as Chihara [3] for existence for the parabolic regularized equation and Tao [21] or Iorio--Iorio [11] for bilinear estimates, are standard and do not assume the conclusion. The only self-citation, [16] by the same authors, appears in a background list of periodic derivative NLS references and is not load-bearing for Theorem 1.3. Remark 1.8 explicitly limits the main theorem to polynomial F and notes that a C^7 extension for H^3 would require additional technical work; this is an honest scope limitation rather than a hidden input. No circular step can be exhibited from the paper's own equations or citation chain.
Assumptions & free parameters
assumptions (3)
- standard math H^s(T) is a Banach algebra for s>1/2, and the bilinear estimates in Proposition 2.1 (from Tao [21]) and Proposition 2.2 hold.
- domain assumption The parabolic regularized problem (3.1) has a unique solution u^ε in C([0,T(ε)];H^s) that is smooth for t>0, as stated in Proposition 3.1 and cited to Chihara [3].
- domain assumption F is a polynomial in (α,β,α̅,β̅).
Cite this review
Pith. "Pith review of Well- and ill-posedness of the Cauchy problem for semi-linear Schr\"odinger equations on the torus." pith.science (2026). https://pith.science/paper/XS3MAXVL
@misc{pith2026250104205,
author = {Pith},
title = {Pith review of: Well- and ill-posedness of the Cauchy problem for semi-linear Schr\"odinger equations on the torus},
year = {2026},
howpublished = {\url{https://pith.science/paper/XS3MAXVL}},
note = {Machine review of arXiv:2501.04205}
}
abstract
We consider the Cauchy problem for semi-linear Schr\"odinger equations on the torus $\mathbb T$. We establish a necessary and sufficient condition on the polynomial nonlinearity for the Cauchy problem to be well-posed in the Sobolev space $H^s(\mathbb T)$ for $s>\frac 52$. For the well-posedness, we use the energy estimates and the gauge transformation. For the ill-posedness, we prove the non-existence of solutions to the Cauchy problem.
Forward citations
Cited by 2 Pith papers
-
On Balancing Sparsity with Reliable Connectivity in Distributed Network Design with Random K-out Graphs
Derivative fractional nonlinear Schrödinger equations on the torus are well-posed in Sobolev spaces exactly when a certain integral of the nonlinearity vanishes; otherwise solutions do not exist.
-
Well- and Ill-posedness of the Cauchy problem for derivative fractional nonlinear Schr\"odinger equations on the torus
For derivative fractional NLS on the torus with α>2, well-posedness holds in H^s for s > max(α/2+1, 5/2) exactly when the resonant integral of F_ω vanishes.
Reference graph
Works this paper leans on
-
[1]
D. M. Ambrose, G. Simpson, Local existence theory for derivative nonlinear Schr¨ odinger equations with noninteger power nonlinearit ies, SIAM J. Math. Anal. 47 (2015), no. 3, 2241–2264
work page 2015
-
[2]
J. L. Bona, R. Smith, The initial-value problem for the Korteweg-de Vries equati on, Philos. Trans. Roy. Soc. London Ser. A 278 (1975), no. 1287, 555–601
work page 1975
-
[3]
Chihara, The initial value problem for Schr¨ odinger equations on the torus, Int
H. Chihara, The initial value problem for Schr¨ odinger equations on the torus, Int. Math. Res. Not. (2002), no. 15, 789–820
work page 2002
-
[4]
Christ, Illposedness of a Schr¨ odinger equation with derivative no nlinearity, preprint
M. Christ, Illposedness of a Schr¨ odinger equation with derivative no nlinearity, preprint
- [5]
-
[6]
Y. Deng, A. R. Nahmod, H. Yue, Optimal local well-posedness for the periodic deriv- ative nonlinear Schr¨ odinger equation, Comm. Math. Phys. 384 (2021), no. 2, 1061– 1107
2021
-
[7]
A. Gr¨ unrock,On the Cauchy- and periodic boundary value problem for a cert ain class of derivative nonlinear Sch¨ odinger equations, arXiv:math/0006195
-
[8]
Hao, Well-posedness for one-dimensional derivative nonlinear Schr¨ odinger equa- tions, Commun
C. Hao, Well-posedness for one-dimensional derivative nonlinear Schr¨ odinger equa- tions, Commun. Pure Appl. Anal. 6 (2007), no. 4, 997–1021
work page 2007
Show all 24 references
-
[9]
Hayashi, T
N. Hayashi, T. Ozawa, On the derivative nonlinear Schr¨ odinger equation, Phys. D 55 (1992), no. 1–2, 14–36
1992
-
[10]
Herr, On the Cauchy problem for the derivative nonlinear Schr¨ odi nger equation with periodic boundary condition , Int
S. Herr, On the Cauchy problem for the derivative nonlinear Schr¨ odi nger equation with periodic boundary condition , Int. Math. Res. Not. (2006), Art. ID 96763, 33 pp
2006
-
[11]
R. J. Iorio, V. de M. Iorio, Fourier analysis and partial differential equations , Cam- bridge Stud. Adv. Math., 70, Cambridge University Press, Cambridge, 2001. xii+411 pp
2001
-
[12]
C. E. Kenig, G. Ponce, L. Vega, Small solutions to nonlinear Schr¨ odinger equations, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire10 (1993), no. 3, 255–288
1993
-
[13]
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
2023
-
[14]
Kishimoto, Y
N. Kishimoto, Y. Tsutsumi, Ill-posedness of the third order NLS equation with Raman scattering term , Math. Res. Lett. 25 (2018), no. 5, 1447–1484
2018
-
[15]
Kishimoto, Y
N. Kishimoto, Y. Tsutsumi, Well-posedness of the Cauchy problem for the kinetic DNLS on T, J. Hyperbolic Differ. Equ. 20 (2023), no. 1, 27–75. WP AND IP FOR PERIODIC SEMI-LINEAR SCHR ¨ODINGER EQUATIONS 35
2023
-
[16]
Kondo, M
T. Kondo, M. Okamoto, Norm inflation for a higher-order nonlinear Schr¨ odinger equation with a derivative on the circle , arXiv:2407.17782
-
[17]
Nakanishi, B
K. Nakanishi, B. Wang, Global wellposedness of general nonlinear evolution equat ions for distributions on the Fourier half space , arXiv:2401.09746 [math.AP]
-
[18]
Roy, Local well-posedness and parabolic smoothing of solutions of fully nonlinear third-order equations on the torus , Nonlinear Anal
T. Roy, Local well-posedness and parabolic smoothing of solutions of fully nonlinear third-order equations on the torus , Nonlinear Anal. 221 (2022), Paper No. 112845, 45 pp
2022
-
[19]
Takaoka, Well-posedness for the one-dimensional nonlinear Schr¨ od inger equation with the derivative nonlinearity , Adv
H. Takaoka, Well-posedness for the one-dimensional nonlinear Schr¨ od inger equation with the derivative nonlinearity , Adv. Differential Equations 4 (1999), no. 4, 561–580
1999
-
[20]
Tanaka, K
T. Tanaka, K. Tsugawa, Well-posedness and parabolic smoothing effect for higher order Schr¨ odinger type equations with constant coefficients, Osaka J. Math. 59 (2022), no. 2, 465–480
2022
-
[21]
Tao, Multilinear weighted convolution of L2-functions, and applications to nonlin- ear dispersive equations , Amer
T. Tao, Multilinear weighted convolution of L2-functions, and applications to nonlin- ear dispersive equations , Amer. J. Math. 123 (2001), no. 5, 839–908
2001
-
[22]
Tsugawa, Local well-posedness and parabolic smoothing effect of fifth o rder disper- sive equations on the torus , RIMS Kˆ okyˆ uroku Bessatsu, B60
K. Tsugawa, Local well-posedness and parabolic smoothing effect of fifth o rder disper- sive equations on the torus , RIMS Kˆ okyˆ uroku Bessatsu, B60
-
[23]
Tsugawa, Parabolic smoothing effect and local well-posedness of fifth o rder semi- linear dispersive equations on the torus , arXiv:1707.09550
K. Tsugawa, Parabolic smoothing effect and local well-posedness of fifth o rder semi- linear dispersive equations on the torus , arXiv:1707.09550
-
[24]
Tsugawa, Local well-posedness of derivative Schr¨ odinger equation s on the torus , preprint
K. Tsugawa, Local well-posedness of derivative Schr¨ odinger equation s on the torus , preprint. Toshiki Kondo, Department of Mathematics, Graduate School of Science, Osaka University, Toyonaka, Osaka, 560-0043, Japan Email address : u534463k@ecs.osaka-u.ac.jp Mamoru Okamoto, ...
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.