Pith. sign in

REVIEW 2 major objections 6 minor 24 references

The IVP for a higher dimensional version of the Benjamin-Ono equation in weighted Sobolev spaces

T0 review · 2 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read In d=2,3, weighted local well-posedness holds up to decay d/2+2, or d/2+3 with zero mean; endpoint decay at two or three times forces vanishing.

desk verdict Solid weighted LWP and a new Riesz commutator estimate, but the sharp decay theorems hinge on an unproved weighted product bound. read the letter →

arxiv 1908.07079 v1 pith:5YTFCTZK submitted 2019-08-19 math.AP

Oscar G. Riaño This is my paper · ORCID
classification math.AP MSC 35Q5335A0135B3042B2035B60
keywords higher-dimensionalBenjamin–OnoequationweightedSobolevspacesRiesztransformcommutatorestimatelocalwell-posednessuniquecontinuationoptimaldecayratezeromeandata
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

The paper studies the initial value problem for the higher-dimensional Benjamin-Ono equation $\partial_t u - R_1\Delta u + u\partial_{x_1}u = 0$ in $\mathbb{R}^d$, $d\ge 2$, where $R_1$ is the Riesz transform in the first coordinate. Its main claim is that for $d=2,3$ the problem is locally well-posed in the weighted Sobolev spaces $Z_{s,r}=H^s\cap L^2(|x|^{2r}dx)$ for every $s$ above the Sobolev threshold and $r

What carries the argument

The load-bearing object is Proposition 1.2, a new commutator estimate for Riesz transforms: for $1<p<\infty$ and any multi-index $\alpha$ with $|\alpha|\ge 1$, the difference $R_l(a\partial^\alpha f)-aR_l\partial^\alpha f$ minus the lower-order Taylor terms with the auxiliary Fourier-multiplier operators $D^\beta_{R_l}$ is controlled by $\sum_{|\beta|=|\alpha|}\|\partial^\beta a\|_{L^\infty}\|f\|_{L^p}$. This estimate transfers derivatives onto the weight in the energy method, exchanging polynomial decay for Sobolev regularity. The proof combines it with the $A_2$-weighted boundedness of Riesz transforms uniform in the truncation parameter $N$, an interpolation inequality for $J^a(\langle x\rangle^b f)$, and the known $H^s$ local theory. For the continuation theorems, the machinery is a family of frequency-domain operators $F^j_k(t,\xi,f)$ tracking derivatives of the phase $e^{it\xi_1|\xi|}$; the failure of $\partial^3_{\xi_k}(\xi_1|\xi|)$ or $\partial^4_{\xi_k}(\xi_1|\xi|)$ to lie in $L^2$ (respectively $H^{1/2}$) near the origin is the mechanism forcing the zero-mode or full-vanishing conclusions.

What would settle it

In dimension $d=2$, solve the equation numerically from a smooth compactly supported datum in $Z_{2+,2}(\mathbb{R}^2)\setminus Z_{3,3}(\mathbb{R}^2)$ over the existence time and monitor $F(t)=\|\langle x\rangle^3 u(t)\partial_{x_1}u(t)\|_{L^2}$. If $F$ becomes unbounded while $\|\langle x\rangle^3 u(t)^2\|_{L^2}$ stays finite, the Duhamel estimate in Claim 1 of Section 5.1 fails; if $F$ stays bounded, that gap is closed.

Watch

Extended reading notes

Core claim

The paper's central claim, Theorem 1.1, is local well-posedness in $Z_{s,r}(\mathbb{R}^d)$ for $d=2,3$, with $s>s_d$ ($s_2=5/3$, $s_3=2$) and $0\le r<d/2+2$, $r\le s$; under the zero-mean condition $\hat u_0(0)=0$, the same result holds in $\dot Z_{s,r}(\mathbb{R}^d)$ for $0\le r<d/2+3$. Theorems 1.2 and 1.3 turn the endpoint weights into rigidity statements: membership in $Z_{d/2+2,d/2+2}(\mathbb{R}^d)$ at two distinct times forces $\hat u_0(0)=0$, and membership in $Z_{d/2+3,d/2+3}(\mathbb{R}^d)$ at three distinct times forces $u\equiv 0$. The paper reads these as sharpness of Theorem 1.1: nontrivial solutions cannot keep $|x|^{d/2+2}u(t)$ in $L^2$ over a time interval, and nontrivial zero-mean solutions cannot keep $|x|^{d/2+3}u(t)$ in $L^2$, so the decay exponents in the well-posedness theorem are the best possible.

Load-bearing premise

The sharp decay conclusions rely on the product $u\partial_{x_1}u$ lying in the weighted space $Z_{1,3}(\mathbb{R}^2)$ under the stated solution regularity; the paper proves the bound $\|\langle x\rangle^3 u^2\|_{L^2}<\infty$ but not the needed $\|\langle x\rangle^3 u\partial_{x_1}u\|_{L^2}<\infty$, and that missing bound does not obviously follow from $u\in Z_{2+,2}(\mathbb{R}^2)$.

Editorial extensions

If this is right

  • For $d=2,3$, initial data in $Z_{s,r}$ with $r<d/2+2$ propagate their polynomial decay, and no nontrivial solution keeps $|x|^{d/2+2}u(t)$ in $L^2$ over a time interval unless $\hat u_0(0)=0$.
  • For zero-mean data, decay up to $r<d/2+3$ is propagated; hitting the endpoint at three distinct times forces $u\equiv 0$, so no nontrivial zero-mean solution sustains $|x|^{d/2+3}$ decay.
  • A two-time endpoint condition plus the vanishing of $\int x_1u$ at one of the two times forces $u\equiv 0$, whereas without that moment condition a nontrivial solution can reach the endpoint exactly once, at the time $t^*=-4\|u_0\|_{L^2}^{-2}\int x_1u_0\,dx$.
  • The results generalize the sharp decay theory of the one-dimensional Benjamin-Ono equation to higher dimensions, with the allowable decay exponent increasing by $1/2$ per added dimension and the same two-versus-three time structure.

Reading between the lines

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

  • Beyond the paper, the commutator estimate of Proposition 1.2 should transfer to any dispersive equation whose dispersion is a Riesz transform of a Laplacian, so a testable extension is weighted well-posedness for Zakharov-Kuznetsov-type variants in dimensions $d\ge 2$.
  • The proof isolates the obstruction to extra decay at the zero Fourier frequency, which suggests a quantitative conjecture: the shape of $\hat u(t,\xi)$ near $\xi=0$ controls exactly how much polynomial tail a solution can carry; the explicit time $t^*$ in Theorem 1.5 gives a concrete place to test this numerically.
  • The missing weighted product bound for $u\partial_{x_1}u$ in Section 5.1 is the one fragile step in the sharpness argument; if a counterexample with $\|\langle x\rangle^3 u\partial_{x_1}u\|_{L^2}=\infty$ under $u\in Z_{2+,2}(\mathbb{R}^2)$ exists, the continuation conclusions may still hold but would need a different Duhamel estimate.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 6 minor

Summary. The paper studies the initial value problem for the higher-dimensional Benjamin-Ono equation ∂tu − R1∆u + u∂x1u = 0 in Rd, d = 2, 3. It claims local well-posedness in weighted Sobolev spaces Z_{s,r} and ˙Z_{s,r} (Theorem 1.1), and uses a Duhamel/Fourier-weight analysis together with a new Riesz-transform commutator estimate (Proposition 1.2) to prove unique continuation results (Theorems 1.2–1.5). These continuation results are then used to identify optimal spatial L2 decay rates d/2+2 and d/2+3 for arbitrary versus zero-mean data. The weighted local well-posedness proof is an energy method with truncated weights and the operators Γl; the continuation proofs proceed by showing that extra decay at one, two, or three times forces certain Fourier coefficients to vanish.

Significance. If the results are correct, the paper gives sharp spatial decay rates for a genuinely multidimensional analogue of the Benjamin-Ono equation and introduces a commutator estimate of independent harmonic-analysis interest. The proof of Theorem 1.1 in Section 4 is detailed and appears internally consistent, and the paper correctly treats the author's earlier result [14] as an independent black box rather than assuming what it proves. However, the unique continuation part contains a missing product estimate at a load-bearing point: the displayed proof of the key claim in Section 5.1 establishes a bound for u^2 where a bound for u∂x1u is needed. The same gap reappears in the proofs of Theorems 1.3 and 1.5. Until this is repaired, the claimed optimal decay conclusions are not established.

major comments (2)
  1. [§5.1, Eqs. (5.11)–(5.12)] The proof of Claim 1 asserts that u∂x1u ∈ L∞([0,T]; Z_{1,3}(R2)) and then proves only the weighted L2 bound for u^2. Concretely, the displayed argument bounds ||⟨x⟩^3 u^2||_{L2}, whereas the quantity actually needed is ||⟨x⟩^3 u∂x1u||_{L2}; since ∂x1(u^2) = 2u∂x1u, the former does not control the latter without an additional weighted H1 estimate. The stated hypotheses u ∈ C([0,T]; Z_{2+,2}(R2)) do not imply this bound: taking u_N(x) = N^{-2}φ(x − Ne1) with φ a fixed unit-scale bump gives ||u_N||_{H^{2+}} and ||⟨x⟩^2u_N||_{L2} uniformly bounded while ||⟨x⟩^3u_N∂x1u_N||_{L2} grows like N. Since Claim 1 is the mechanism forcing u0(0) = 0, Theorem 1.2 and the claimed optimal decay rate for d = 2 are not established as written.
  2. [§6.1, Eq. (6.13); §6.2, Eq. (6.26); §8, Eq. (8.1)] The same gap reappears in the proofs of Theorems 1.3 and 1.5. In (6.13) the assertion u∂x1u ∈ L∞([0,T]; L2(|x|^5dx)) is used for the Duhamel terms in Claim 3, but the text only justifies the corresponding weighted bound for u^2, by the same argument as (5.12). In (6.26) the assertion u∂x1u ∈ L∞([0,T]; ˙Z_{3,9/2}(R3)) is stated as following from 'a similar reasoning to (5.12)', but again only u^2-type estimates are proved. In Section 8, Eq. (8.1) asserts u∂x1u ∈ L∞([0,T]; Z_{d/2+3,d/2+3}(Rd)) from u ∈ C([0,T]; ˙Z_{s,rd}(Rd)) with s ≥ d/2+4; for d = 2 this needs, in particular, |x|^4u∂x1u ∈ L2 and u∂x1u ∈ H^4, neither of which follows from H^4 ∩ L2(|x|^6dx) by the displayed reasoning. Since Theorems 1.3 and 1.5 rely on these assertions, the three-time continuation results and the sharp decay conclusions depending on them are not justified.
minor comments (6)
  1. [§5.2 and §6.2] In the statement of the d = 3 case of Theorem 1.2 and in the proof of Theorem 1.3, the target spaces are written as Z_{7/2,7/2}(R2) and Z_{9/2,9/2}(R2), respectively; these should be R3.
  2. [Theorem 1.5] The conclusion of Theorem 1.5 is stated for ˙Z_{d/2+3,d/2+3}(R2) although the hypotheses are written for d = 2,3; it should presumably be R^d.
  3. [Appendix] The appendix heading and the closing sentence refer to 'Proposition 1.5' and 'Proposition 9.1', but the result being proved is Proposition 1.2; the labels are inconsistent.
  4. [Remarks after Theorem 1.3] Remark (iv) refers to 'Theorem 1.2 (ii)', but the sharpness statement about the decay rate d/2+3 belongs to Theorem 1.1 (ii).
  5. [§4, after Eq. (4.4)] In several places the variable t is written as r in the supremum, for example 'sup_{r∈[0,T]}' after (4.4); this conflicts with the decay parameter r used throughout the section.
  6. [§5.2, Eq. (5.21)] The estimate in (5.21) reduces ∂ξ^m(ξ1u2)φ to weighted u^2 because φ has compact support in frequency, which allows the factor ξ1 to be absorbed; this should be stated explicitly, since it is the reason the d = 3 Claim 2 avoids the difficulty in (5.11).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the weighted and unique-continuation results are derived from independent prior H^s theory; no fitted parameter is repackaged as a prediction.

full rationale

I find no circular dependency in the derivation chain. The weighted local well-posedness theorem is proved by direct energy estimates with truncated weights w_N, using the H^s well-posedness result from [14] as a black box. That citation is an independent prior theorem: [14] is co-authored by the present author, but it does not state or assume the weighted Z_{s,r} conclusions proved here, and its hypotheses are only H^s data. Under the review rules, such an independent, parameter-free prior result counts as real evidence and does not raise the circularity score. The unique-continuation results (Theorems 1.2-1.5) are obtained from Duhamel's formula and frequency-domain singularity analysis: the conclusion that the Fourier transform of the data at the origin vanishes in Theorem 1.2 is a consequence of the non-integrability of the symbol near the origin, not an assumption. Similarly, the sharp-decay remarks follow from the theorems rather than being fed into them. No parameter is fitted and no prediction is a renamed fit. The one notable issue is a possible correctness gap in Section 5.1: the text proves (5.12), a bound for the weighted L2 norm of u^2, while Claim 1 through (5.11) needs control of the weighted L2 norm of u partial_{x1} u. This is a product-estimate gap in the proof, not a circular reduction: the missing estimate is not equivalent by construction to the stated hypotheses, and it is not obtained by assuming the theorem being proved. Correctness risk is therefore outside the circularity score.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities appear. The assumptions are standard harmonic analysis results and the prior H^s theory for this equation; the only non-standard input is the unproved product estimate flagged in the red flags.

assumptions (5)
  • domain assumption Local well-posedness in H^s and u∈L^1([0,T];W^{1,∞}) for (HBO), Theorem 2.3 from [14].
    The weighted theory in Proposition 1.1 and Theorem 1.1 takes this existence and regularity as a black box; if this failed, the weighted persistence proofs would collapse.
  • standard math Boundedness of Riesz transforms on L^p with A_p weights, Theorem 2.1 from [19].
    Used repeatedly, for example in Section 4.1, to keep estimates independent of the truncation parameter N.
  • standard math Stein's characterization of L^p_b Sobolev spaces, Theorem 2.2 from [22], and the fractional Leibniz estimates (2.18)-(2.19).
    Basis for several interpolation and product estimates used throughout the paper.
  • standard math Coifman-Meyer bilinear estimates and Fefferman-Stein maximal inequalities, used in Section 9.
    These are the core tools in the proof of the new commutator estimate Proposition 1.2.
  • standard math The interpolation inequality Lemma 2.2, credited to [10, Lemma 1].
    Used to trade regularity for decay in weighted estimates, especially in Sections 4 and 5.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The IVP for a higher dimensional version of the Benjamin-Ono equation in weighted Sobolev spaces." pith.science (2026). https://pith.science/paper/5YTFCTZK

@misc{pith2026190807079,
  author       = {Pith},
  title        = {Pith review of: The IVP for a higher dimensional version of the Benjamin-Ono equation in weighted Sobolev spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5YTFCTZK}},
  note         = {Machine review of arXiv:1908.07079}
}
read the original abstract

We study the initial value problem associated to a higher dimensional version of the Benjamin-Ono equation. Our purpose is to establish local well-posedness results in weighted Sobolev spaces and to determinate according to them some sharp unique continuation properties of the solution flow. In consequence, optimal decay rate for this model is determined. A key ingredient is the deduction of a new commutator estimate involving Riesz transforms.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [14]

    On a higher dimensional version of the Benjamin--Ono equation

    Linares, F., Ria ˜no, O. G., Rogers, K. M., and Wright, J. On a higher dimensional version of the Benjamin–Ono equation. arXiv e-prints (2019), arXiv:1901.04817

    work page Pith review arXiv 2019

  2. [1]

    A., Stepanyants, Y

    Abramyan, L. A., Stepanyants, Y. A., and Shrira, V. I. Multidimensional solitons in shear flows of the boundary-layer type. Sov. Phys. Dokl 37 , 12 (1992), 575–578

    work page 1992

  3. [2]

    L., and Smith, R

    Bona, J. L., and Smith, R. The Initial-Value Problem for the Korteweg-De Vries Equation. Philo- sophical Transactions of the Royal Society of London. Serie s A, Mathematical and Physical Sciences 278, 1287 (1975), 555–601

    work page 1975

  4. [3]

    Calder´on, A. P. Commutators of Singular Integral Operators. Proc. Natl. Acad. Sci. USA. 53 , 5 (1965), 1092–1099

    work page 1965

  5. [4]

    On Commutators of Singular Integrals and Bilinear Singular Integrals

    Coifman, R., and Meyer, Y. On Commutators of Singular Integrals and Bilinear Singular Integrals . Transactions of the American Mathematical Society 212 (1975), 315–331

    work page 1975

  6. [5]

    Au-del` a des op´ erateurs pseudo-diff´ erentiels

    Coifman, R., and Meyer, Y. Au-del` a des op´ erateurs pseudo-diff´ erentiels. Ast´ erisque 57, Soci´ et´ e Math´ ematique de France, 1978

    work page 1978

  7. [6]

    The IVP for the Benjamin-Ono-Zakharov-Kuznetsov equation in weighted Sobolev spaces

    Cunha, A., and Pastor, A. The IVP for the Benjamin-Ono-Zakharov-Kuznetsov equation in weighted Sobolev spaces. Journal of Mathematical Analysis and Applications 417 , 2 (2014), 660 – 693

    work page 2014

  8. [7]

    Fefferman, C., and Stein, E. M. Some Maximal Inequalities. American Journal of Mathematics 93, 1 (1971), 107–115

    work page 1971

Show all 24 references
  1. [8]

    The IVP for the Benjamin-Ono equation in weighted Sobolev spaces II

    Fonseca, G., Linares, F., and Ponce, G. The IVP for the Benjamin-Ono equation in weighted Sobolev spaces II. Journal of Functional Analysis 262 , 5 (2012), 2031 – 2049

    2012

  2. [9]

    The IVP for the dispersion generalized Benjamin-Ono equation in weighted Sobolev spaces

    Fonseca, G., Linares, F., and Ponce, G. The IVP for the dispersion generalized Benjamin-Ono equation in weighted Sobolev spaces. Annales de l’Institut Henri Poincare (C) Non Linear Analysi s 30 , 5 (2013), 763 – 790

    2013

  3. [10]

    The IVP for the Benjamin-Ono equation in weighted Sobolev spaces

    Fonseca, G., and Ponce, G. The IVP for the Benjamin-Ono equation in weighted Sobolev spaces. Journal of Functional Analysis 260 , 2 (2011), 436 – 459

    2011

  4. [11]

    Modern Fourier Analysis

    Grafakos, L. Modern Fourier Analysis . Graduate Texts in Mathematics. Springer New York, 2014

    2014

  5. [12]

    D., and Kenig, C

    Ionescu, A. D., and Kenig, C. E. Global Well-Posedness of the Benjamin-Ono Equation in Low- Regularity Spaces. Journal of the American Mathematical Society 20 , 3 (2007), 753–798

    2007

  6. [13]

    On Kato-Ponce and Fractional Leibniz

    Li, D. On Kato-Ponce and Fractional Leibniz. Revista Matem´ atica Iberoamericana 35, 1 (2019), 23–100

    2019

  7. [15]

    Nonlinear Anal

    Maris ¸, M.On the Existence, Regularity and Decay of Solitary Waves to a Gener alized Benjamin-Ono Equation. Nonlinear Anal. 51 , 6 (2002), 1073–1085

    2002

  8. [16]

    The Cauchy problem for the Benjamin-Ono equation in L2 revisited

    Molinet, L., and Pilod, D. The Cauchy problem for the Benjamin-Ono equation in L2 revisited. Anal. PDE 5 , 2 (2012), 365–395

    2012

  9. [17]

    On the Persistent Properties of Solutions to Semi-Linear Schr¨ odin ger Equation

    Nahas, J., and Ponce, G. On the Persistent Properties of Solutions to Semi-Linear Schr¨ odin ger Equation. Communications in Partial Differential Equations 34 , 10 (2009), 1208–1227. 37

    2009

  10. [18]

    E., and Shrira, V

    Pelinovsky, D. E., and Shrira, V. I. Collapse transformation for self-focusing solitary waves in boundary-layer type shear flows. Physics Letters A 206 , 3 (1995), 195 – 202

    1995

  11. [19]

    The sharp weighted bound for the Riesz transforms

    Petermichl, S. The sharp weighted bound for the Riesz transforms. Proc. Amer. Math. Soc 136 , 4 (2008), 1237 – 1249

    2008

  12. [20]

    On the global well-posedness of the Benjamin-Ono equation

    Ponce, G. On the global well-posedness of the Benjamin-Ono equation. Differential Integral Equations 4, 3 (1991), 527–542

    1991

  13. [21]

    On the Cauchy problem for higher dimensional Benjamin-Ono and Zak harov-Kuznetsov equations

    Schippa, R. On the Cauchy problem for higher dimensional Benjamin-Ono and Zak harov-Kuznetsov equations. arXiv e-prints (2019), arXiv:1903.02027

    2019 arXiv

  14. [22]

    Stein, E. M. The characterization of functions arising as potentials. Bull. Amer. Math. Soc. 67 , 1 (01 1961), 102–104

    1961

  15. [23]

    Global well-posedness of the Benjamin-Ono equation in H 1(R)

    Tao, T. Global well-posedness of the Benjamin-Ono equation in H 1(R). Journal of Hyperbolic Differ- ential Equations 01 , 01 (2004), 27–49

    2004

  16. [24]

    V., and Shrira, V

    Voronovich, V. V., and Shrira, V. I. Internal wave–shear flow resonance and wave breaking in the subsurface layer. In Nonlinear instability analysis , vol. II of Advances in fluid mechanics . 28 WIT Press, 2001, pp. 133–177. 38

    2001

Pith tools

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