REVIEW 3 major objections 4 minor 33 references
Global well-posedness for the ILW equation in $H^s(\mathbb{T})$ for $s>-\frac12$
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The ILW equation is globally well-posed in H^s(T) for every s > -1/2, matching the sharp threshold of the Benjamin–Ono equation.
desk verdict Sharp GWP for ILW is likely correct and important, but the proof of the negative-regularity approximation theorem has a genuine gap around global existence of smooth approximants that a referee should push to close. 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 Birkhoff map $\Phi: H^s_0(\mathbb{T}) \to h^{s+\frac12}$, a real-analytic nonlinear Fourier transform that conjugates the Benjamin–Ono flow to the linear system $\frac{d}{dt}\zeta_n = i\omega_n(u)\zeta_n$. This map converts equation (1.1) into the Duhamel formula (2.7) in Birkhoff coordinates, expressing the solution as the BO evolution plus a perturbation term. At negative regularity, the fixed-point argument requires a-priori relative compactness of orbits in $H^s$, which is supplied by the conserved quantities $\beta_s(\kappa;u)$ built from the Lax–Toeplitz operator $L_u = -i\partial_x - T_u$; under the perturbation these quantities grow at most exponentially in time, yielding tightness of the Birkhoff coordinates and hence equicontinuity of trajectories.
What would settle it
Find an order-zero multiplier $A$ satisfying Definition 1.1 and initial data in $H^s_0(\mathbb{T})$ for some $s \in (-\frac12, 0)$ for which the solutions of (1.1) fail to exist globally, fail to be unique, or fail to depend continuously on the data; equivalently, exhibit a bounded subset of $H^s_0(\mathbb{T})$ on which the differential estimates (2.3)–(2.4) for $\Phi$ or $\Phi^{-1}$ are not uniform. Either result would directly contradict Theorem 1.4 or its key input.
Extended reading notes
Core claim
The central claim is Theorem 1.4: for any order-zero Fourier multiplier $A$ satisfying Definition 1.1, the equation $\partial_t u = H\partial_x^2 u - 2u\partial_x u + Au$ is locally well-posed in $H^s(\mathbb{T})$ for $s > -\frac12$, and globally well-posed for $-\frac12 < s < 0$; specializing $A$ to the ILW symbol yields global well-posedness of ILW for all $s > -\frac12$. The second claim is Theorem 1.7: for $-\frac12 < s < 0$, the global ILW solutions converge in $C([-T,T]; H^s(\mathbb{T}))$ to the Benjamin–Ono solution as the depth parameter $\delta$ tends to infinity. A key structural insight is that the perturbation $A$ need not be smoothing: the proof only uses that $A$ is bounded on $H^s$, so it applies to non-integrable models such as the Smith equation as well.
Load-bearing premise
The whole proof rests on the quoted fact (Proposition 2.1) that the Birkhoff map is a real-analytic diffeomorphism with uniform differential bounds (2.3)–(2.4) on bounded sets of $H^s_0(\mathbb{T})$ for every $s > -\frac12$; if that uniformity breaks down as $s$ approaches $-\frac12$ or on large bounded sets, the fixed-point and compactness arguments in Sections 3, 5, and 6 lose their foundation.
Editorial extensions
If this is right
- Global well-posedness of ILW on the torus now extends to the full sharp range $s > -\frac12$, matching the known ill-posedness at $s = -\frac12$.
- The same theorem applies to every equation of the form (1.1), giving global well-posedness in $H^s$ for $-\frac12 < s < 0$ for the Smith equation, damped Benjamin–Ono equations, and anti-dissipative perturbations.
- The infinite-depth limit result completes the sharp BO well-posedness picture: ILW solutions converge to BO on finite time intervals for all $s > -\frac12$.
- The compactness estimates are uniform in the depth parameter $\delta \geq 1$, yielding uniform control of ILW trajectories over bounded time intervals across all depths.
- Because the perturbation is only required to be bounded, the proof opens the door to treating other non-integrable perturbations of BO at the same low regularity.
Reading between the lines
- The method suggests that any sufficiently regular perturbation of BO that is merely bounded on $H^s$ may fit the same Birkhoff-coordinate framework; a testable extension is to check whether quadratic nonlinear terms such as $u^2\partial_x u$ can be handled with the same $\beta_s$ estimates.
- The exponential bound on $\beta_s(\kappa;u)$ provides a natural starting point for studying Sobolev-norm growth under order-zero perturbations, potentially determining whether any such $A$ can force super-exponential growth.
- The general theorem may extend to non-Fourier-multiplier perturbations, such as the projection-type damping terms in the damped BO example cited in the introduction, by verifying the same derivative bounds on $\beta_s$.
- Since the proof does not use integrability, the same a-priori compactness and Duhamel strategy could be applied to other integrable equations with known Birkhoff coordinates, such as KdV, to lower their well-posedness thresholds under bounded perturbations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Cauchy problem for the intermediate long wave equation (ILW) on the torus and, more generally, for equations of the form ∂_t u = H∂_x^2 u - 2u∂_x u + A u , where A is an order-zero Fourier multiplier. The main theorem states local well-posedness in H^s(T) for s > -1/2 and global well-posedness for -1/2 < s < 0, extending the known range s ≥ 0 and matching the sharp threshold for the Benjamin-Ono equation. The proof uses the Birkhoff map for the Benjamin-Ono equation, a Duhamel formula in Birkhoff coordinates, and a family of a-priori bounds β_s(κ;u) that grow at most exponentially under the perturbed flow. A second theorem establishes convergence of ILW solutions to Benjamin-Ono solutions in H^s as the depth δ tends to infinity. The paper also claims that the perturbation result applies to the Smith equation.
Significance. If the result holds, it closes the well-posedness theory for the periodic ILW equation down to the sharp endpoint s = -1/2 and provides a unified treatment of zeroth-order perturbations of Benjamin-Ono, including non-integrable models such as the Smith equation. The strategy is novel in that it avoids complete integrability of ILW and instead treats it as a perturbation of BO, leveraging the analytic Birkhoff map constructed in prior work. The paper makes no use of fitted parameters or normalizations, and the main estimates are stated as explicit a-priori bounds. The reliance on the deep results [14,12,19] is substantial, but those works are published and do not contain the perturbed-equation theorem claimed here; the perturbation argument, the compactness scheme, and the δ→∞ limit are new. The manuscript is generally well organized, with a clear separation between the local well-posedness, the compactness/a-priori section, and the negative-regularity global theory.
major comments (3)
- [Section 5, Theorem 5.1] The proof of Theorem 5.1 assumes that the smooth solutions u_j(t) to (1.1) exist on the whole interval [-T,T]. This is not established anywhere in the paper. Section 3 proves only local well-posedness for s ≥ 0, with an existence time that depends on the H^s norm of the data; smooth approximations of an H^s function with s < 0 may have arbitrarily large H^0 or H^N norms, so their local existence times can shrink to zero. Proposition 4.6 supplies a-priori control only on the H^s norm for s ∈ (-1/2,0), which does not prevent finite-time blow-up of higher-order Sobolev norms. Remark 1.6 promises a global extension for s ≥ 0 via polynomial conserved quantities and Gronwall, but no proof is given. Consequently, the set F_T^* in (4.1) on which Theorem 4.1 and (5.1) rely is not known to be well-defined, and Theorem 5.1 is vacuous in its present form. The authors should add a lemma proving that smooth solutions of (1.1) are global (e.g., deriving the estimate d/dt ||Φ(u)||^2_{h^{N+1/2}} ≲ ||Φ(u)||^2_{h^{N+1/2}} from (2.3) and Gronwall's inequality) or, for ILW, cite the existing global well-posedness results [6,7] and state the reduction explicitly.
- [Section 6, Lemma 6.1] In Lemma 6.1, Theorem 4.2 is applied to the family of solutions u_δ(t) with initial data u(0) ∈ H^s_0, but Theorem 4.2 is stated only for smooth initial data F ⊂ H^∞. The extension to non-smooth data is not explained. One must approximate u(0) by smooth data, apply Theorem 4.2 and the uniform-in-δ a-priori estimates to the resulting solutions, and then pass to the limit using the continuous dependence from Theorem 1.4 (or Theorem 5.1 uniform in δ). This reduction is absent and should be supplied.
- [Theorem 1.4 / Section 5] The proof of Theorem 1.4 defines S(t,u_0) as the limit of smooth solutions and proves joint continuity, but it does not verify that this limit satisfies the Duhamel equation (2.7) (or any other notion of solution) for s < 0. Since Theorem 1.4 asserts well-posedness (existence and uniqueness), the paper should show that the limiting object is a solution of (2.7) and that the solution map is unique; alternatively, the theorem should be stated as the unique extension of the smooth flow.
minor comments (4)
- [Definition 1.1, Eq. (1.3)] The condition for Au to be real-valued when u is real-valued should be a(-n) = \overline{a(n)}, not a(-n) = a(n). As stated, the ILW symbol in (4.17) does not satisfy a(-n) = a(n); the proofs only use (1.2), so this is a presentation issue, but the definition should be corrected.
- [Section 2.2] After the transformation (2.5), the text says 'so that v(0) = u(0)' but then chooses c(0) = -mean(u), yielding v(0) = u(0) - mean(u). The sentence should be adjusted to reflect the actual zero-mean projection.
- [After Proposition 4.6] The phrase 'a straightforward bootstrap argument' is too terse for the proof of Theorem 4.1; at least the equicontinuity step using (4.6) and (4.14) should be written out explicitly.
- [Lemma 5.2] In (5.7), the notation 'ω_k n' is likely a typo for 'ω_n(u_k(t))'; please correct it.
Circularity Check
No material circularity: the perturbational proof uses prior Birkhoff-map and beta-functional results as external inputs; the only notable issue is an unproved global-existence bootstrap, which is a gap rather than a circular derivation.
full rationale
The central claim (Theorem 1.4) is not equivalent to any of its inputs. The Birkhoff map analyticity and diffeomorphism estimates (Proposition 2.1) are quoted from [14] and [12], and the beta_s conserved quantities and equicontinuity criterion (Propositions 4.4-4.5, Lemma 4.3) from [19]. The reference [19] is co-authored by T. Laurens, but it is a published, parameter-free theorem about the Benjamin-Ono equation that does not assume the perturbed equation (1.1) or the ILW-to-BO convergence claims. The genuinely new content is that these inputs control the perturbed flow, through the Duhamel formula (2.7), the exponential bound (4.14), and the low-frequency comparison Lemma 5.2. No fitted quantity is renamed as a prediction, and no uniqueness theorem from the authors' own prior work is used to forbid alternatives. The most serious concern raised by a skeptical reading is a completeness gap, not circularity: Theorem 5.1 and Remark 1.6 assume that smooth solutions to (1.1) exist globally on [-T,T] before the compactness argument is run, and the 'straightforward bootstrap' after Proposition 4.6 is only sketched. If that global-existence step fails, the proof of Theorem 1.4 would be incomplete, but the missing argument would not make the conclusion an input of itself. Accordingly, the circularity score is low, reflecting one minor self-citation that is not load-bearing.
Assumptions & free parameters
assumptions (5)
- standard math Birkhoff coordinates: Phi is a real-analytic diffeomorphism H^s_0(T) -> h^{s+1/2} with estimates (2.3)-(2.4).
- standard math Conserved quantities beta_s(kappa;u) from the Lax operator satisfy differentiability (4.10), conservation under BO (4.11), and equivalence to H^s norms (4.12).
- standard math Arzela-Ascoli characterization of relative compactness in H^s via equicontinuity and tightness (Lemma 4.3).
- domain assumption The Fourier multiplier A is of order zero with bounded symbol a in l^infinity and a(-n) = a(n) (Definition 1.1).
- domain assumption For ILW, A + delta^{-1} d_x is bounded on H^s uniformly in delta >= 1 with decay delta^{-2} (4.18).
Cite this review
Pith. "Pith review of Global well-posedness for the ILW equation in $H^s(\mathbb{T})$ for $s>-\frac12$." pith.science (2026). https://pith.science/paper/DGP2HRLS
@misc{pith2026250605149,
author = {Pith},
title = {Pith review of: Global well-posedness for the ILW equation in $H^s(\mathbbT)$ for $s>-\frac12$},
year = {2026},
howpublished = {\url{https://pith.science/paper/DGP2HRLS}},
note = {Machine review of arXiv:2506.05149}
}
abstract
We prove that the intermediate long wave (ILW) equation is globally well-posed in the Sobolev spaces $H^s(\mathbb{T})$ for $s > -\frac12$. The previous record for well-posedness was $s\geq 0$, and the system is known to be ill-posed for $s<-\frac12$. We then demonstrate that the solutions of ILW converge to those of the Benjamin--Ono equation in $H^s(\mathbb{T})$ in the infinite-depth limit. Our methods do not rely on the complete integrability of ILW, but rather treat ILW as a perturbation of the Benjamin--Ono equation by a linear term of order zero. To highlight this, we establish a general well-posedness result for such perturbations, which also applies to the Smith equation for continental-shelf waves.
Reference graph
Works this paper leans on
-
[1]
L. Abdelouhab, J. L. Bona, M. Felland, and J.-C. Saut, Nonlocal models for nonlinear, dispersive waves, Phys. D 40 (1989), no. 3, 360–392
work page 1989
-
[2]
Baldi, Periodic solutions of fully nonlinear autonomous equations of Benjamin-Ono type , Ann
P. Baldi, Periodic solutions of fully nonlinear autonomous equations of Benjamin-Ono type , Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire30 (2013), no. 1, 33–77
work page 2013
-
[3]
D. Bambusi and P. G´ erard,A Nekhoroshev theorem for some perturbations of the Benjamin- Ono equation with initial data close to finite gap tori , Math. Z. 307 (2024), no. 3, 54
work page 2024
-
[4]
T. B. Benjamin, Internal waves of permanent form in fluids of great depth , J. Fluid Mech. 29 (1967), no. 3, 559–592
work page 1967
-
[5]
J. Bernier and B. Gr´ ebert, Long time dynamics for generalized Korteweg–de Vries and Benjamin–Ono equations, Arch. Ration. Mech. Anal. 241 (2021), no. 3, 1139–1241
work page 2021
-
[6]
A. Chapouto, J. Forlano, G. Li, T. Oh, and D. Pilod, Intermediate long wave equation in negative Sobolev spaces, Proc. Amer. Math. Soc. Ser. B 11 (2024), 452–468
work page 2024
-
[7]
A. Chapouto, G. Li, T. Oh, and D. Pilod, Deep-water limit of the intermediate long wave equation in L2, Math. Res. Lett. 31 (2024), no. 6, 1655–1692. GWP FOR THE PERIODIC IL W EQUATION 19
work page 2024
-
[8]
R. E. Davis and A. Acrivos, Solitary internal waves in deep water , J. Fluid Mech. 29 (1967), no. 3, 593–607
work page 1967
Show all 33 references
-
[9]
Gassot, Long time behavior of solutions for a damped Benjamin-Ono equation , Math
L. Gassot, Long time behavior of solutions for a damped Benjamin-Ono equation , Math. Z. 300 (2022), 1939–2006
2022
-
[10]
G´ erard and S
P. G´ erard and S. Grellier,On a Damped Szeg˝ o Equation (With an Appendix in Collaboration With Christian Klein) , SIAM J. Math. Anal. 52 (2020), no. 5, 4391–4420
2020
-
[11]
G´ erard and T
P. G´ erard and T. Kappeler,On the integrability of the Benjamin-Ono equation on the torus , Comm. Pure Appl. Math. 74 (2021), no. 8, 1685–1747
2021
-
[12]
G´ erard, T
P. G´ erard, T. Kappeler, and P. Topalov,On the analyticity of the nonlinear Fourier transform of the Benjamin-Ono equation on T, 2021. Preprint arXiv:2109.08988
2021 arXiv
-
[13]
, On the analytic Birkhoff normal form of the Benjamin-Ono equation and applica- tions, Nonlinear Analysis 216 (2022), 112687
2022
-
[14]
231 (2023), no
, Sharp well-posedness results of the Benjamin-Ono equation in H s(T, R) and quali- tative properties of its solution , Acta Math. 231 (2023), no. 1, 31–88
2023
-
[15]
R. H. Grimshaw, N. F. Smyth, and Y. A. Stepanyants, Decay of Benjamin–Ono solitons under the influence of dissipation , Wave Motion 78 (2018), 98–115
2018
-
[16]
Ifrim and T
M. Ifrim and T. Laurens, A-priori estimates for generalized Korteweg–de Vries equations in H −1(R), 2025. Preprint arXiv:2502.04614
2025
-
[17]
Ifrim and J.-C
M. Ifrim and J.-C. Saut, The lifespan of small data solutions for Intermediate Long Wave equation (IL W), Comm. Partial Differential Equations (2025), 1–43
2025
-
[18]
R. I. Joseph, Solitary waves in a finite depth fluid , J. Phys. A 10 (1977), no. 12, 225–227
1977
-
[19]
Killip, T
R. Killip, T. Laurens, and M. Vi¸ san, Sharp well-posedness for the Benjamin-Ono equation , Invent. Math. 236 (2024), no. 3, 999–1054
2024
-
[20]
Klein and J.-C
C. Klein and J.-C. Saut, Nonlinear dispersive equations—Inverse Scattering and PDE meth- ods, Appl. Math. Sci. 209 (2021)
2021
-
[21]
Koch and N
H. Koch and N. Tzvetkov, Nonlinear wave interactions for the Benjamin-Ono equation , Int. Math. Res. Not. IMRN 2005 (2005), no. 30, 1833–1847
2005
-
[22]
Kodama, M
Y. Kodama, M. J. Ablowitz, and J. Satsuma, Direct and inverse scattering problems of the nonlinear intermediate long wave equation , J. Math. Phys. 23 (1982), no. 4, 564–576
1982
-
[23]
Kodama, J
Y. Kodama, J. Satsuma, and M. J. Ablowitz, Nonlinear intermediate long-wave equation: analysis and method of solution , Phys. Rev. Lett. 46 (1981), no. 11, 687–690
1981
-
[24]
Kubota, D
T. Kubota, D. R. S. Ko, and L. D. Dobbs, Weakly-nonlinear, long internal gravity waves in stratified fluids of finite depth , Journal of Hydronautics 12 (1978), no. 4, 157–165
1978
-
[25]
Laurens, Global well-posedness for H −1(R) perturbations of KdV with exotic spatial asymptotics, Comm
T. Laurens, Global well-posedness for H −1(R) perturbations of KdV with exotic spatial asymptotics, Comm. Math. Phys. 397 (2023), no. 3, 1387–1439
2023
-
[26]
Li, Deep-water and shallow-water limits of the intermediate long wave equation , Nonlin- earity 37 (2024), no
G. Li, Deep-water and shallow-water limits of the intermediate long wave equation , Nonlin- earity 37 (2024), no. 7, Paper No. 075001, 44
2024
-
[27]
Liu and X
J. Liu and X. Yuan, A KAM theorem for Hamiltonian partial differential equations with unbounded perturbations, Comm. Math. Phys. 307 (2011), no. 3, 629
2011
-
[28]
Mi and K
L. Mi and K. Zhang, Invariant tori for Benjamin-Ono equation with unbounded quasi- periodically forced perturbation, Discrete Contin. Dyn. Syst.-A 34 (2014), no. 2, 689–707
2014
-
[29]
Molinet, J.-C
L. Molinet, J.-C. Saut, and N. Tzvetkov, Ill-posedness issues for the Benjamin–Ono and related equations, SIAM J. Math. Anal. 33 (2001), no. 4, 982–988
2001
-
[30]
Molinet and S
L. Molinet and S. Vento, Improvement of the energy method for strongly nonresonant dis- persive equations and applications , Anal. PDE 8 (2015), no. 6, 1455–1495
2015
-
[31]
Ono, Algebraic solitary waves in stratified fluids , J
H. Ono, Algebraic solitary waves in stratified fluids , J. Math. Soc. Japan 39 (1975), no. 4, 1082–1091
1975
-
[32]
Saut, Sur quelques g´ en´ eralisations de l’´ equation de Korteweg-de Vries, J
J.-C. Saut, Sur quelques g´ en´ eralisations de l’´ equation de Korteweg-de Vries, J. Math. Pures Appl. 58 (1979), 21–61
1979
-
[33]
Smith, Nonlinear Kelvin and continental-shelf waves , J
R. Smith, Nonlinear Kelvin and continental-shelf waves , J. Fluid Mech. 52 (1972), no. 2, 379–391. CNRS and Department of Mathematics, University of Rennes, France Email address : louise.gassot@cnrs.fr Department of Mathematics, University of Wisconsin–Madison, WI, 53706, USA ...
1972
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.