Pith. sign in

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 →

arxiv 2506.05149 v1 pith:DGP2HRLS submitted 2025-06-05 math.AP

classification math.AP MSC 35Q5335A0135B6537K10
keywords intermediatelongwaveequationBenjamin–Onowell-posednessSobolevspacesBirkhoffmapSmithinfinite-depthlimitlocalandglobal
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the intermediate long wave (ILW) equation on the torus is globally well-posed in every Sobolev space $H^s(\mathbb{T})$ with $s > -\frac12$, matching the sharp threshold known for the Benjamin–Ono equation. The previous record for well-posedness was $s \geq 0$, and the equation is known to be ill-posed below $-\frac12$. The authors also prove that, as the fluid depth tends to infinity, ILW solutions converge to Benjamin–Ono solutions in $H^s(\mathbb{T})$ on any finite time interval. The method deliberately avoids complete integrability: it treats ILW as a Benjamin–Ono equation plus an order-zero linear Fourier multiplier and establishes a general well-posedness theorem for that entire class, which also covers the Smith equation for continental-shelf waves.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [Lemma 5.2] In (5.7), the notation 'ω_k n' is likely a typo for 'ω_n(u_k(t))'; please correct it.

Circularity Check

0 steps flagged · score 2.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

The central claim depends on the Birkhoff-coordinate machinery and beta_s conserved quantities imported from previous papers, not on fitted numbers. There are no free parameters or invented entities. The axioms are dominated by standard theorems (analyticity of the Birkhoff map, equivalence of beta_s to Sobolev norms) plus the domain assumption that A is an order-zero multiplier.

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).
    Section 2.1, Proposition 2.1; central tool, cited from [14] and [12], not proven here.
  • 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).
    Section 4.3, Propositions 4.4 and 4.5, quoted from [19]; underpin the a-priori exponential growth estimate.
  • standard math Arzela-Ascoli characterization of relative compactness in H^s via equicontinuity and tightness (Lemma 4.3).
    Section 4.2; used to convert beta_s bounds into compactness.
  • 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).
    Section 1.1; defines the class of perturbations; the whole theorem is conditional on it.
  • domain assumption For ILW, A + delta^{-1} d_x is bounded on H^s uniformly in delta >= 1 with decay delta^{-2} (4.18).
    Section 6, from [6, Lem.2.1]; needed for uniform-in-depth convergence.

how reviews work

0 comments
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.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Abdelouhab, J

    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

  2. [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

  3. [3]

    Bambusi and P

    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

  4. [4]

    T. B. Benjamin, Internal waves of permanent form in fluids of great depth , J. Fluid Mech. 29 (1967), no. 3, 559–592

  5. [5]

    Bernier and B

    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

  6. [6]

    Chapouto, J

    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

  7. [7]

    Chapouto, G

    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

  8. [8]

    R. E. Davis and A. Acrivos, Solitary internal waves in deep water , J. Fluid Mech. 29 (1967), no. 3, 593–607

Show all 33 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [13]

    , On the analytic Birkhoff normal form of the Benjamin-Ono equation and applica- tions, Nonlinear Analysis 216 (2022), 112687

  6. [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

  7. [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

  8. [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

  9. [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

  10. [18]

    R. I. Joseph, Solitary waves in a finite depth fluid , J. Phys. A 10 (1977), no. 12, 225–227

  11. [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

  12. [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)

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [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

  25. [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 ...

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.