Pith. sign in

REVIEW 1 major objections 4 minor 30 references

Energy scattering for a class of inhomogeneous nonlinear Schr\"odinger equation in two dimensions

T0 review · 1 major / 4 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 Radial 2D NLS solutions scatter in both time directions

desk verdict Genuine extension of the 2D INLS scattering result, but Proposition 3.2 contains a load-bearing false exponent estimate that the proof, as written, cannot absorb. read the letter →

arxiv 1908.02987 v2 pith:4Z5FP6Q2 submitted 2019-08-08 math.AP

Van Duong Dinh This is my paper · ORCID
classification math.AP MSC 35Q5535Q44
keywords inhomogeneousnonlinearSchrödingerequationenergyscatteringradialsymmetryMorawetzestimatesgroundstatethresholdStrichartztwodimensions
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 establishes energy scattering for a two-dimensional inhomogeneous nonlinear Schrödinger equation with nonlinearity $\pm |x|^{-b}|u|^\alpha u$, where $02-b$, for radially symmetric $H^1$ initial data. In the focusing case, any radial datum satisfying the ground-state threshold conditions (1.6) and (1.7) gives a global solution that converges to a free wave in $H^1$ as $t\to\pm\infty$. In the defocusing case, the same scattering conclusion holds for every radial $H^1$ datum. The proof works by deriving Morawetz estimates that yield polynomial-in-time space-time bounds, then bootstrapping these into a global $L^{\alpha+2+b}(\mathbb{R}\times\mathbb{R}^2)$ bound, which forces the solution to approach linear evolution. This settles the focusing 2D case across the full range of $b$ for which local well-posedness is available, extending previous results that were restricted to $b<2/3$.

What carries the argument

The load-bearing machinery is a radial Morawetz estimate, Proposition 2.6, derived from a virial identity with a cutoff radial weight $\phi_R$. Radial Sobolev embedding controls the contribution from the annulus $\{R\le |x|\le 2R\}$, and a localized variational lemma keeps the difference between kinetic energy and weighted nonlinear energy positive below the ground-state threshold. The result is the polynomial bounds $\int_0^T\int |x|^{-b}|u|^{\alpha+2}\,dx\,dt\lesssim T^{\beta_1}$ and $\int_I\|u(t)\|_{L^{\alpha+2+b}}^{\alpha+2+b}\,dt\lesssim |I|^{\beta_2}$, with $\beta_1+\beta_2<1$. These feed a bootstrap argument that upgrades the local-in-time bounds to the global space-time bound from which scattering follows.

What would settle it

Numerically simulate the focusing 2D equation with radial data at, say, $b=0.8$ and $\alpha=1.3$ satisfying (1.6) and (1.7), and monitor $\|u\|_{L^{\alpha+2+b}([-T,T]\times\mathbb{R}^2)}$; if this quantity fails to stay bounded while the solution remains smooth, the global bound (3.4) and hence the scattering conclusion would be false.

Watch

Extended reading notes

Core claim

The central discovery is that radial symmetry, together with the ground-state subthreshold conditions in the focusing case, forces a finite global space-time norm: $\|u\|_{L^{\alpha+2+b}(\mathbb{R}\times\mathbb{R}^2)}\le C(u_0,Q)<\infty$. Once this global bound is available, a Strichartz argument shows that the full nonlinear solution has finite Strichartz norm, and consequently the limits defining the scattering states $u_0^\pm$ exist in $H^1$ and $u(t)-e^{it\Delta}u_0^\pm\to0$. Theorems 1.3 and 1.6 state exactly this for the focusing and defocusing problems, respectively, in two dimensions with $0<b<1$ and $\alpha>2-b$.

Load-bearing premise

The argument rests on the initial data being radially symmetric, which is what controls the annulus term in the Morawetz estimate, and, in the focusing case, on the data satisfying the ground-state threshold conditions (1.6) and (1.7).

Editorial extensions

If this is right

  • In the focusing case, scattering below the ground state now holds for every $b\in(0,1)$ in two dimensions, the full range where the local theory used here is available.
  • In the defocusing case, radial $H^1$ data in two dimensions scatter, extending energy scattering to a setting not covered by the previous nonradial dimensions-$N\ge3$ result.
  • The global bound $\|u\|_{L^{\alpha+2+b}(\mathbb{R}\times\mathbb{R}^2)}<\infty$ implies the global Strichartz bound $\|\langle\nabla\rangle u\|_{S(L^2,\mathbb{R})}<\infty$, which is exactly what secures existence of the wave operators.
  • The proof avoids concentration-compactness arguments, giving a direct route from Morawetz estimates to scattering in the radial 2D focusing case.
  • The same mechanism covers both signs of the nonlinearity, so the scattering phenomenon is not tied to the defocusing sign.

Reading between the lines

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

  • The Morawetz machinery in Proposition 2.6 is written for all $N\ge2$, so the method is likely to extend to higher-dimensional radial focusing INLS with the same type of subthreshold conditions, with exponents adjusted for the dimension.
  • The polynomial space-time bounds may carry quantitative information, potentially yielding explicit decay rates for the nonlinear term along the solution and hence rates of convergence to the scattering states, not merely qualitative convergence.
  • Radial symmetry is used only to control the annulus contribution through the radial Sobolev embedding; replacing that control by an angular-averaged or nonradial argument, if possible, would open the way to nonradial 2D scattering below the same threshold.
  • The threshold conditions (1.6) and (1.7) enter only through uniform coercivity and the localized variational lemma, so one can test whether the scattering conclusion remains true for perturbations of the ground state or for nearby thresholds.
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

1 major / 4 minor

Summary. The paper proves energy scattering for radial H^1 solutions of the two-dimensional inhomogeneous nonlinear Schrödinger equation i∂_t u + Δu = ±|x|^{-b}|u|^α u, in the L^2-supercritical range 0<b<1, α>2-b. In the focusing case, Theorem 1.3 assumes the standard ground-state threshold (1.6)-(1.7) and extends earlier results from b<2/3 to b<1; in the defocusing case, Theorem 1.6 establishes scattering for all radial H^1 data. The proof combines Morawetz/virial estimates that yield polynomial-in-time space-time bounds (Proposition 2.6 and Corollary 2.7) with an Arora-Dodson-Murphy type bootstrap (Proposition 3.2) producing a global L^{α+2+b}(R×R^2) bound, from which scattering follows via Strichartz estimates. An appendix gives an alternative interaction-Morawetz proof for the defocusing problem in dimensions N≥3.

Significance. If the proofs were correct as written, the main results would be a solid extension of the scattering theory for the inhomogeneous NLS and a useful alternative to concentration-compactness arguments. The paper is carefully organized, gives explicit Morawetz estimates, and correctly leverages prior variational lemmas (Lemmas 2.3 and 2.4) and Strichartz technology. However, the central bootstrap step in Proposition 3.2 contains a quantitative assertion that is false: the claimed ε^{1/2} smallness in (3.8) is not established. Because this step drives both the focusing and the defocusing theorems, the manuscript needs a substantive revision. The error appears repairable by re-running the bootstrap with a different smallness exponent, so the underlying approach remains credible.

major comments (1)
  1. [Proposition 3.2, step leading to (3.8)] The proof asserts that by taking ∞−=1/ε in Lemma 3.1 one obtains αθ/(α+2+b)>1/2. This is incompatible with the θ constructed in Lemma 3.1. For the unit-ball term, θ(ε)=(2-b-η-2αε)/(4α/(α+2+b)-2αε), hence αθ(ε)/(α+2+b)=(2-b-η-2αε)/(4-2ε(α+2+b)) → (2-b-η)/4 as ε→0, which is strictly below 1/2 for every η>0 and 0<b<1. The complementary exterior term gives the limit (2-b+η)/4, which is also below 1/2 because the condition 2/ν=b-η forces η<b. Therefore the contribution of [t0,t1] is bounded by C ε^{αθ/(α+2+b)} with exponent smaller than 1/2, and the displayed bound in (3.8) does not follow. This is a load-bearing step for Proposition 3.2 and hence for Corollary 3.3 and Theorems 1.3 and 1.6. The argument can likely be repaired by replacing ε^{1/2} with ε^p for p=(2-b-η)/4 (or an analogous power) and choosing ε small enough for the subsequent continuity argument, but the manuscript as written contains a false estimate at the core of the proof.
minor comments (4)
  1. [Lemma 3.1] The displayed formula for θ in Lemma 3.1 is missing parentheses and is easy to misread; it should be written as θ(ε)=(2-b-η-2αε)/(4α/(α+2+b)-2αε) with explicit brackets.
  2. [Proposition 3.2] The notation ∞−=1/ε in Proposition 3.2 reuses the same symbol ε as the small parameter chosen at the start of the proof; these are logically independent and should be denoted by different symbols, especially since the erroneous exponent claim in (3.8) depends on the confusion.
  3. [Remark 1.4] Remark 1.4 says the result extends to the whole range of b where local well-posedness is available, but in two dimensions local well-posedness is available for all α>0, while Theorem 1.3 imposes α>2-b; the remark should be phrased as the whole range of b for the L^2-supercritical regime.
  4. [Proofs of Theorem 1.3 and Theorem 1.6] The proofs end with the literal token "/Box" instead of the usual end-of-proof symbol; this is a formatting artifact that should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the scattering bounds are derived from Morawetz and Strichartz estimates, not from the desired conclusion.

full rationale

The derivation chain in Theorem 1.3 is self-contained in the relevant sense: Proposition 3.2 proves the global spacetime bound ||u||_{L^{α+2+b}(R×R^2)} ≤ C(u0,Q) using the Morawetz estimates (2.7)-(2.8), the Strichartz estimates, and a standard bootstrap. The bootstrap does not assume scattering and has no fitted parameter that is later relabelled as a prediction. The scattering conclusions then follow from the global bound via Duhamel convergence, using the nonlinear estimate (3.2), not by assuming the existence of u±. In the focusing case, the threshold (1.6)-(1.7) and the variational Lemmas 2.3 and 2.4 are quoted from Farah-Guzman and Campos; these are external prior results about global well-posedness and coercivity, with assumptions that do not contain the scattering conclusion. The author’s self-citations ([8], [10], [11]) concern either different settings (weighted-space scattering, N≥3 defocusing, interaction Morawetz identity) or are used as comparisons; they are not fitted inputs and do not pre-assume the 2D radial scattering result. The skeptical objection about the exponent αθ/(α+2+b)>1/2 in Proposition 3.2 concerns the correctness of a quantitative bootstrap estimate, not circularity: no displayed equation in the argument is equivalent to its inputs by construction. Therefore no circular step is present, and the appropriate score is 0.

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

The paper introduces no new physical or mathematical entities. All assumptions are standard results in the field or established prior lemmas. The central claim rests on Strichartz estimates, the sharp Gagliardo-Nirenberg inequality, the radial Sobolev embedding, and two prior variational lemmas from Farah-Guzmán and Campos.

assumptions (7)
  • standard math Strichartz estimates for the linear Schrödinger equation (Proposition 2.2)
    Cited to [4,26] and used throughout the scattering proof to control linear evolutions and Duhamel terms.
  • domain assumption Sharp Gagliardo-Nirenberg inequality with optimal constant from the ground state Q
    Standard in NLS scattering theory; used to derive the variational control in Lemma 2.3.
  • standard math Pohozaev identities for the ground state Q
    Cited to [13]; used to relate mass, gradient, and the weighted nonlinear term for Q.
  • standard math Radial Sobolev embedding (2.10): || |x|^{(N-1)/2} f ||_{L^∞} ≲ ||f||_{H^1}
    Used in Proposition 2.6 to control exterior contributions in the Morawetz estimate.
  • domain assumption Local well-posedness of (1.1) in H^1 with Strichartz regularity
    The proof assumes the existence of a global H^1 solution for data satisfying the threshold; local existence follows from Genoud-Stuart and Guzmán-Dinh results cited in the introduction.
  • domain assumption Lemma 2.3 (Farah-Guzmán): global variational control ||∇u(t)|| ||u(t)||^σ < (1-2ρ) ||∇Q|| ||Q||^σ
    Cited to [15, Lemma 4.2]; ensures global existence and provides coercivity needed in the Morawetz estimate.
  • domain assumption Lemma 2.4 (Campos): localized variational control and coercivity (2.4)-(2.5)
    Cited to [3, Lemma 4.4]; essential for extracting the space-time bound from the virial identity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Energy scattering for a class of inhomogeneous nonlinear Schr\"odinger equation in two dimensions." pith.science (2026). https://pith.science/paper/4Z5FP6Q2

@misc{pith2026190802987,
  author       = {Pith},
  title        = {Pith review of: Energy scattering for a class of inhomogeneous nonlinear Schr\"odinger equation in two dimensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4Z5FP6Q2}},
  note         = {Machine review of arXiv:1908.02987}
}
abstract

We consider a class of $L^2$-supercritical inhomogeneous nonlinear Schr\"odinger equations in two dimensions \[ i\partial_t u + \Delta u = \pm |x|^{-b} |u|^\alpha u, \quad (t,x) \in \mathbb{R} \times \mathbb{R}^2, \] where $0<b<1$ and $\alpha>2-b$. By adapting a new approach of Arora-Dodson-Murphy \cite{ADM}, we show the energy scattering for the equation with radially symmetric initial data. In the focusing case, our result extends the one of Farah-Guzm\'an \cite{FG-high} to the whole range of $b$ where the local well-posedness is available. In the defocusing case, our result extends the one in \cite{Dinh-scat} where the energy scattering for non-radial initial data was established in dimensions $N\geq 3$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    A. K. Arora, B. Dodson and J. Murphy, Scattering below the ground state for the 2D radial nonlinea r Schr¨ odinger equation, preprint arXiv:1906.00515, 2019. 1, 3

    work page Pith review arXiv 1906

  2. [2]

    Berg´ e, Solition stability versus collapse, Phys

    L. Berg´ e, Solition stability versus collapse, Phys. Rev. E 62(3), R3071R3074, 2000. 1

    work page 2000

  3. [3]

    Scattering of radial solutions to the Inhomogeneous Nonlinear Schr\"odinger Equation

    L. Campos, Scattering of radial solutions to the inhomog eneous nonlinear Schr¨ odinger equation, preprint arXiv:1905.02663, 2019. 2, 4

    work page Pith review arXiv 1905

  4. [4]

    Cazenave, Semilinear Schr¨ odinger Equations, Courant Lecture Notes in Mathematics 10, American Mathema tical Society, Courant Institute of Mathematical Sciences, 2003

    T. Cazenave, Semilinear Schr¨ odinger Equations, Courant Lecture Notes in Mathematics 10, American Mathema tical Society, Courant Institute of Mathematical Sciences, 2003 . 3, 4

    work page 2003

  5. [5]

    Combet and F

    V. Combet and F. Genoud, Classification of minimal mass bl ow-up solutions for an L2-critical inhomogeneous NLS, J. Evol. Equ. 16(2):483–500, 2016. 1, 2

    work page 2016

  6. [6]

    Chen, On a class of nonlinear inhomogeneous Schr¨ odin ger equation, J

    J. Chen, On a class of nonlinear inhomogeneous Schr¨ odin ger equation, J. Appl. Math. Comput. 32:237–253, 2010. 1

    work page 2010

  7. [7]

    Chen and B

    J. Chen and B. Guo, Sharp global existence and blowing up r esults for inhomogeneous Schr¨ odinger equations,Discrete Contin. Dyn. Sys. Ser. B 8(2):357–367, 2007. 1, 2

    work page 2007

  8. [8]

    V. D. Dinh, Scattering theory in a weighted L2 space for a class of the defocusing inhomogeneous nonlinear Schr¨ odinger equation, preprint arXiv:1710.01392, 2017. 2, 3

    work page Pith review arXiv 2017

Show all 30 references
  1. [9]

    V. D. Dinh, Blowup of H 1 solutions for a class of the focusing inhomogeneous nonline ar Schr¨ odinger equation,Nonlinear Anal. 174:169–188, 2018. 2, 5

    2018

  2. [10]

    V. D. Dinh, Energy scattering for a class of the defocusi ng inhomogeneous nonlinear Schr¨ odinger equation, J. Evol. Equ. 19(2):411–434, 2019. 1, 3, 13

    2019

  3. [11]

    V. D. Dinh, On nonlinear Schr¨ odinger equations with re pulsive inverse-power potentials, preprint arXiv:1812.08405,

    arXiv

  4. [12]

    Dodson and J

    B. Dodson and J. Murphy, A new proof of scattering below t he ground state for the 3D radial focusing cubic NLS, Proc. Amer. Math. Soc. 145(11):4859–4867, 2017. 2

    2017

  5. [13]

    L. G. Farah, Global well-posedness and blow-up on the en ergy space for the inhomogeneous nonlinear Schr¨ odinger equation, J. Evol. Equ. 16(1):193–208. 2, 4, 5

  6. [14]

    L. G. Farah and C. M. Guzm´ an, Scattering for the radial 3 D cubic focusing inhomogeneous nonlinear Schr¨ odinger equation, J. Differential Equations 262(8):4175–4231, 2017. 2

    2017

  7. [15]

    L. G. Farah and C. Guzm´ an, Scattering for the radial foc using INLS equation in higher dimensions, Bull. Braz. Math. Soc., 2019 (in press). 1, 2, 3, 4

    2019

  8. [16]

    Fibich and X

    G. Fibich and X. P. W ang, Stability of solitary waves for nonlinear Schr¨ odinger equations with inhomogeneous nonlin- earities, Physica D 175:96–108, 2003. 1

    2003

  9. [17]

    Genoud and C

    F. Genoud and C. A. Stuart, Schr¨ odinger equations with a spatially decaying nonlinearity: existence and stabilit y of standing waves, Discrete Contin. Dyn. Syst. 21(1):137–186, 2008. 2

    2008

  10. [18]

    Genoud, A uniqueness result for ∆ u − λu + V (|x|)up = 0 on R2, Adv

    F. Genoud, A uniqueness result for ∆ u − λu + V (|x|)up = 0 on R2, Adv. Nonlinear Stud. 11(3):483–491, 2011. 2

    2011

  11. [19]

    Genoud, An inhomogeneous, L2-critical, nonlinear Schr¨ odinger equation,Z

    F. Genoud, An inhomogeneous, L2-critical, nonlinear Schr¨ odinger equation,Z. Anal. Anwend. 31(3):283–290, 2012. 2

    2012

  12. [20]

    C. M. Guzm´ an, On well posedness for the inhomogeneous n onlinear Schr¨ odinger equation,Nonlinear Anal. Real World Appl. 37:249–286, 2017. 2

    2017

  13. [21]

    C. E. Kenig and F. Merle, Global well-posedness, scatte ring and blow-up for the energy-critical, focusing, non-li near Schr¨ odinger equation in the radial case, Invent. Math. 166(3):645–675, 2006. 2

    2006

  14. [22]

    Y. Liu, X. P. W ang and K. W ang, Instability of standing wa ves of the Schr¨ odinger equations with inhomogeneous nonlinearity, Trans. Amer. Math. Soc. 385(5):2105–2122, 2006. 1

    2006

  15. [23]

    Merle, Nonexistence of minimal blow-up solutions of equations iut = − ∆ u − k(x)|u| 4 d u in RN , Ann

    F. Merle, Nonexistence of minimal blow-up solutions of equations iut = − ∆ u − k(x)|u| 4 d u in RN , Ann. Inst. H. Poincar´ e Phys. Th´ eor.64(1):35–85, 1996. 1

    1996

  16. [24]

    Rapha¨ el and J

    P. Rapha¨ el and J. Szeftel, Existence and uniqueness of minimal blow-up solutions to an inhomogeneous mass critica l NLS, J. Amer. Math. Soc. 24(2):471–546, 2011. 1

    2011

  17. [25]

    W. A. Strauss, Existence of solitary waves in higher dim ensions, Comm. Math. Phys. 55(2):149–162, 1977. 6

    1977

  18. [26]

    Tao, Nonlinear dispersive equations: local and global analysis , CBMS Regional Conference Series in Mathematics 106, AMS, 2006

    T. Tao, Nonlinear dispersive equations: local and global analysis , CBMS Regional Conference Series in Mathematics 106, AMS, 2006. 3, 4

    2006

  19. [27]

    Towers and B

    I. Towers and B. A. Malomed, Stable (2+1)-dimensional s olitions in a layered medium with sign-alternating Kerr nonlinearity, J. Opt. Soc. Amer. B Opt. Phys. 19(3):537–543, 2002. 1

    2002

  20. [28]

    Xu and T

    C. Xu and T. Zhao, A remark on the scattering theory for th e 2D radial focusing INLS, preprint arXiv.1908.00743,

    1908 arXiv

  21. [29]

    Yanagida, Uniqueness of positive radial solutions o f ∆ u + g(r)u + h(r)up = 0 in RN , Arch

    E. Yanagida, Uniqueness of positive radial solutions o f ∆ u + g(r)u + h(r)up = 0 in RN , Arch. Ration. Mech. Anal. 115:257–274, 1991. 2

    1991

  22. [30]

    Zhu, Blow-up solutions for the inhomogeneous Schr¨ o dinger equation with L2 supercritical nonlinearity, J

    S. Zhu, Blow-up solutions for the inhomogeneous Schr¨ o dinger equation with L2 supercritical nonlinearity, J. Math. Anal. Appl. 409:760–776, 2014. 1 (V. D. Dinh) Laboratoire Paul Painlev´e UMR 8524, Universit ´e de Lille CNRS, 59655 Villeneuve d’Ascq Cedex, France and Departm...

    2014

Pith tools

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