Pith. sign in

REVIEW 1 major objections 4 minor 26 references

Orbital Stability of Standing Waves for Fractional Hartree Equation with Unbounded Potentials

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 This paper proves that mass-subcritical fractional Hartree equations with growing potentials have ground-state sets that are orbitally stable, assuming global well-posedness.

desk verdict Solid variational existence and compactness for fractional Hartree ground states with unbounded potentials; the stability theorem is genuinely conditional on an open GWP hypothesis. read the letter →

arxiv 1908.01038 v1 pith:6HQF7PBG submitted 2019-08-02 math.AP math-phmath.MP

Jian Zhang , Shijun Zheng , Shihui Zhu This is my paper · ORCID
classification math.APmath-phmath.MP MSC 35Q5535B3535C08
keywords fractionalHartreeequationorbitalstabilitystandingwavesgroundstatesunboundedpotentialscompactembeddingmass-subcriticalconcentrationcompactness
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 studies the nonlinear fractional Hartree equation $i u_t = (-\Delta+m^2)^s u + V(x)u - (|x|^{-\gamma}*|u|^2)u$ with a potential $V\to\infty$ at infinity. In the mass-subcritical range $0<\gamma<2s$, it shows that the variational problem of minimizing the energy at fixed $L^2$-mass has a minimizer, so ground states exist in the energy space $\Sigma^s$. It then shows that the set of all such minimizers is relatively compact and, conditional on a global well-posedness hypothesis, that this set is orbitally stable: initial data close to a ground state remain close to the ground-state set for all time. The significance is that stability results for fractional Hartree equations with bounded or zero potentials are extended to confining potentials, which are physically natural for trapped boson stars.

What carries the argument

The machinery is the energy space $\Sigma^s=\{v\in L^2: (-\Delta+m^2)^{s/2}v\in L^2,\ |V|^{1/2}v\in L^2\}$ together with a compactness lemma (Lemma 3.2). Because $V(x)\to\infty$ as $|x|\to\infty$, boundedness in $\Sigma^s$ controls mass in the tails, and on bounded domains the fractional Sobolev embedding is compact; combining these, every weakly convergent sequence in $\Sigma^s$ has a subsequence converging strongly in $L^2$ and in the Hartree interaction integral. This compact embedding is what lets the proof run the minimizing-sequence argument without a profile decomposition. A Hardy-type inequality supplies the bound $\int (|x|^{-\gamma}*|v|^2)|v|^2 \le C\|v\|_{\dot H^s}^{\gamma/s}\|v\|_2^{(4s-\gamma)/s}$, which keeps the nonlinearity subcritical relative to the $\Sigma^s$ norm.

What would settle it

Exhibit a fixed-mass minimizing sequence for some admissible $V$ whose $\Sigma^s$-norm does not converge, and Proposition 4.1 fails; or, assuming well-posedness, evolve initial data within $\Sigma^s$-distance $\delta$ of $S_M$ and observe them leave an $\varepsilon$-neighborhood, falsifying Theorem 4.3.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.3: for $0<s<N/2$, $0<\gamma<2s$, and $V$ satisfying (2.1), the set $S_M$ of minimizers of the energy $E$ on the mass sphere $\|v\|_2^2=M$ is nonempty and orbitally stable, provided the Cauchy problem is globally well-posed with conservation of mass and energy. The proof proceeds through Proposition 4.1, which asserts that the variational problem $d_M=\inf_{\|v\|_2^2=M}E(v)$ attains its minimum and that every minimizing sequence is relatively compact in $\Sigma^s$. Under Hypothesis 1, if initial data approach $S_M$ and are evolved to times $t_n$, the conserved mass and energy turn $u(t_n,\cdot)$ into a minimizing sequence; relative compactness then forces it back to $S_M$, giving the stability estimate.

Load-bearing premise

Global well-posedness with conserved mass and energy (Hypothesis 1) is assumed, not proved; the stability conclusion applies only to solutions that exist for all time.

Editorial extensions

If this is right

  • For every mass $M>0$ in the subcritical range, the constrained energy problem $d_M$ admits a ground state, hence there exist standing waves $e^{i\omega t}v(x)$ solving the equation.
  • Any minimizing sequence at fixed mass is relatively compact in $\Sigma^s$: mass cannot escape to infinity, so variational limits are attained.
  • Orbital stability holds as a priori statement: if global well-posedness holds, closeness to $S_M$ is preserved for all time in the $\Sigma^s$ norm.
  • The result extends by a phase rotation to potentials that are merely bounded below and tend to infinity (Remark 4.4), covering harmonic and polynomial trapping potentials.
  • The mass-subcritical condition $\gamma<2s$ is needed: at $\gamma=2s$ the associated zero-potential theory exhibits mass-critical instability, so the stability statement occupies the subcritical side of that boundary.

Reading between the lines

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

  • The compactness argument does not use any structure special to the Hartree kernel beyond the Hardy bound, so the same route should yield orbital stability for other mass-subcritical nonlocal Schrödinger equations with confining potentials.
  • If Hypothesis 1 is ever proved, Theorem 4.3 becomes unconditional; the stability proof already provides the uniform $\Sigma^s$ bounds needed to turn local existence into global control.
  • A concrete testable extension is to simulate the fractional Hartree dynamics with $V=|x|^2$ and $s=1/2$ near a numerically computed ground state; the $\Sigma^s$ distance to $S_M$ staying small would corroborate both Hypothesis 1 and the stability conclusion.
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 studies the mass-subcritical fractional Hartree equation (1.1) with an unbounded potential V satisfying (2.1). The authors define an energy space Σ^s and an energy functional E, and prove (Proposition 4.1) that the constrained minimization d_M = inf_{∥v∥_2^2=M} E(v) is attained and that every minimizing sequence is relatively compact in Σ^s. Under the additional global well-posedness Hypothesis 1, they then prove (Theorem 4.3) the orbital stability of the set of ground states S_M. The proof relies on a compact embedding of Σ^s in L^2 obtained from the growth of V, Lemma 3.2, and a concentration-compactness argument adapted from Cazenave–Lions and Zhang.

Significance. The variational part of the paper is a clean and apparently correct extension of existing ground-state existence results to fractional Hartree equations with unbounded potentials. The compact-embedding observation is simple and useful, and Proposition 4.1 does not depend on the open hypothesis. The orbital stability result is a natural consequence of the variational compactness once global well-posedness is assumed. The authors are explicit in Remark 2.1 that Hypothesis 1 remains open for 0<s<1 with unbounded potentials, which is an honest limitation. The main weakness is that the abstract and theorem statement present the stability conclusion as unconditional, even though the proof and the theorem as written require Hypothesis 1.

major comments (1)
  1. [Section 2, Hypothesis 1 and Remark 2.1; Theorem 4.3] Theorem 4.3 as stated is missing the assumption that Hypothesis 1 holds. The sentence before the theorem says 'assuming Hypothesis 1', but the formal statement does not include it. Because Remark 2.1 states that the theoretical proof of Hypothesis 1 is open for the fractional Hartree equation with unbounded potentials, the orbital stability theorem is conditional in an essential way: without global well-posedness, the solutions u(t) to which the conclusion applies are not known to exist for arbitrary Σ^s data. The abstract and title should be revised to say that orbital stability is proved conditionally on Hypothesis 1, and the theorem statement should explicitly list it as an assumption.
minor comments (4)
  1. [Section 3, proof of Lemma 3.2] In the second part of the proof, the displayed inequality bounding the difference of the two Hartree terms uses | ∥vn∥_2^2 - ∥U∥_2^2 | as a factor, which is not a valid upper bound for the L^1 difference of the squared moduli. The argument can be repaired by writing ∥ |vn|^2 - |U|^2 ∥_1 ≤ (∥vn∥_2 + ∥U∥_2)∥vn - U∥_2 and using (3.11).
  2. [Abstract] The abstract states that the paper proves orbital stability without mentioning that this conclusion depends on Hypothesis 1, which Remark 2.1 acknowledges remains open; this should be qualified.
  3. [Section 5, proof of Proposition 5.1] In the computation of ⟨f, φ⟩_Σ, the second displayed line contains V^{1/2}v_n instead of V^{1/2}f; this appears to be a typographical error and should be corrected.
  4. [Remark 2.1 and reference list] The citation 'Zhang and Kirkpatrick [15]' should be 'Kirkpatrick and Zhang [15]' to match the reference list entry.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the paper's variational proof is self-contained, and its main theorem is explicitly conditional on an open well-posedness hypothesis rather than on a disguised version of the conclusion.

full rationale

The paper's central result, Theorem 4.3, is a conditional orbital stability theorem built from Proposition 4.1, a variational existence and compactness result for minimizers. The key steps are proved in the paper: Lemma 3.1 derives the Hartree nonlinearity bound from Hardy's inequality, and Lemma 3.2 establishes compact embedding of the energy space by using the growth of the potential, followed by a diagonal argument and the convolution estimate. Proposition 4.1 then proves the variational problem is attained and minimizing sequences are relatively compact. None of these steps is equivalent to the stability conclusion by definition. The proof of Theorem 4.3 invokes Hypothesis 1, an explicitly stated global well-posedness and conservation assumption; this is a genuine open limitation acknowledged in Remark 2.1, but it is an external hypothesis, not a redefinition of the target result. The self-citations to [22,23] provide the standard Cazenave-Lions variational template, not the specific compactness lemma or the stability theorem, so they are not load-bearing in a circular way. The abstract's phrase 'as a priori result' may overstate the conditional character of the theorem, but this is a correctness-risk issue about unstated assumptions, not circularity. Overall, the derivation chain is self-contained apart from standard inequalities and the openly stated well-posedness hypothesis.

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

No parameters are fitted to data. The central claim rests on standard analytic inequalities and, crucially, on Hypothesis 1, which is stated but unproved and openly acknowledged as open. No new entities are introduced.

assumptions (4)
  • domain assumption Hypothesis 1: global well-posedness of (1.1) in Σ^s and conservation of mass and energy
    Assumed in Section 2; Remark 2.1 admits the theoretical proof is open for fractional Hartree with harmonic potentials. Theorem 4.3 is conditional on it.
  • standard math Hardy inequality (3.1): sup_x ∫ |u(y)|^2/|x-y|^{2s}dy ≤ c||u||_{\dot H^s}^2
    Used in Lemma 3.1 to bound the Hartree nonlinearity; cited from Tao [20].
  • standard math Rellich compact embedding H^s(B)↪L^2(B) on bounded balls
    Used in Lemma 3.2 to extract strong L^2 convergence on {|x|≤B}.
  • standard math Hölder and Hardy-Littlewood-Sobolev inequalities
    Used in Lemma 3.1 and in the energy lower bound estimates.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Orbital Stability of Standing Waves for Fractional Hartree Equation with Unbounded Potentials." pith.science (2026). https://pith.science/paper/6HQF7PBG

@misc{pith2026190801038,
  author       = {Pith},
  title        = {Pith review of: Orbital Stability of Standing Waves for Fractional Hartree Equation with Unbounded Potentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6HQF7PBG}},
  note         = {Machine review of arXiv:1908.01038}
}
abstract

We prove the existence of the set of ground states in a suitable energy space $\Sigma^s=\{u: \int_{\mathbb{R}^N} \bar{u}(-\Delta+m^2)^s u+V |u|^2<\infty\}$, $s\in (0,\frac{N}{2})$ for the mass-subcritical nonlinear fractional Hartree equation with unbounded potentials. As a consequence we obtain, as a priori result, the orbital stability of the set of standing waves. The main ingredient is the observation that $\Sigma^s$ is compactly embedded in $L^2$. This enables us to apply the concentration compactness argument in the works of Cazenave-Lions and Zhang, namely, relative compactness for any minimizing sequence in the energy space.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    Bao and X

    W. Bao and X. Dong, Numerical methods for computing ground states and dynamics of nonlinear relativistic Hartree equation for boson stars. J. Comput. Phys. 230 (2011), 5449– 5469

    work page 2011

  2. [2]

    Cazenave, Semilinear Schr¨ odinger Equations.Courant Lecture Notes in Mathematics 10, NYU, CIMS, AMS 2003

    T. Cazenave, Semilinear Schr¨ odinger Equations.Courant Lecture Notes in Mathematics 10, NYU, CIMS, AMS 2003

    work page 2003

  3. [3]

    Cazenave and P

    T. Cazenave and P. L. Lions, Orbital stability of standing waves for some nonlinear Schr¨ odinger equations. Commun. Math. Phys. 85 (1982), 549–561

    work page 1982

  4. [4]

    Cheng, Bound state for the fractional Schr¨ odinger equ ation with unbounded potential

    M. Cheng, Bound state for the fractional Schr¨ odinger equ ation with unbounded potential. J. Math. Phys. 53 (2012), 043507

    work page 2012

  5. [5]

    Y. Cho, H. Hajaiej, G. Hwang and T. Ozawa, On the orbital sta bility of fractional Schr¨ odinger equations. Comm. Pure Appl. Anal. 13 (2014), 1267–1282

    work page 2014

  6. [6]

    Feng, Sharp threshold of global existence and instabil ity of standing wave for the Schr¨ odinger-Hartree equation with a harmonic potential

    B. Feng, Sharp threshold of global existence and instabil ity of standing wave for the Schr¨ odinger-Hartree equation with a harmonic potential. Nonlinear Analysis : Real W orld Applications 31 (2016), 132–145

    work page 2016

  7. [7]

    Feng and H

    B. Feng and H. Zhang, Stability of standing waves for the fr actional Schr¨ odinger-Hartree equation. J. Math. Anal. Appl. 460 (2018), 352–364

    work page 2018

  8. [8]

    Fr¨ ohlich and E

    J. Fr¨ ohlich and E. Lenzmann, Blowup for nonlinear wave eq uations describing boson stars. Comm. Pure Appl. Math. 60 (2007), 1691–1705

    work page 2007

Show all 26 references
  1. [9]

    Fukuizumi, Stability and instability of standing wave s for the nonlinear Schr¨ odinger equa- tion with harmonic potential

    R. Fukuizumi, Stability and instability of standing wave s for the nonlinear Schr¨ odinger equa- tion with harmonic potential. Discrete Contin. Dynam. Systems. 7 (2001), 525–544

    2001

  2. [10]

    Fukuizumi and M

    R. Fukuizumi and M. Ohta, Stability of standing waves for nonlinear Schr¨ odinger equations with potentials. Differential and Integral Eqs. 16 (2003), 111–128

    2003

  3. [11]

    Guo and D

    B. Guo and D. Huang, Existence and stability of standing w aves for nonlinear fractional Schr¨ odinger equations.J. Math. Phys. 53 (2012), 083702

    2012

  4. [12]

    Guo and S

    Q. Guo and S. Zhu, Sharp threshold of blow-up and scatteri ng for the fractional Hartree equation. J. Differ. Eqns . 264 (2018), 2802–2832

    2018

  5. [13]

    Hainzl, E

    C. Hainzl, E. Lenzmann, M. Lewin and B. Schlein, On blowup for time-dependent generalized Hartree-Fock Equations. Ann. Henri Poincar´ e, 11 (2010), 1023–1052

    2010

  6. [14]

    Huang , J

    J. Huang , J. Zhang and X. Li, Stability of standing waves f or the L2-critical Hartree equations with harmonic potential. Applicable Analysis 92 (2013), 2076–2083

    2013

  7. [15]

    Kirkpatrick and Y

    K. Kirkpatrick and Y. Zhang, Fractional Schr¨ odinger dy namics and decoherence. Physica D : Nonlinear Phenomena 332 (2016), 41–54

    2016

  8. [16]

    Lieb and H.-T

    E. Lieb and H.-T. Yau, The Chandrasekhar theory of stella r collapse as the limit of quantum mechanics. Comm. Math. Phys . 112 (1987), no. 1, 147–174

    1987

  9. [17]

    Oh, Cauchy problem and Ehrenfest’s law of nonlinea r Schr¨ odinger equations with po- tentials

    Y.-G. Oh, Cauchy problem and Ehrenfest’s law of nonlinea r Schr¨ odinger equations with po- tentials. J. Differ. Eqns , 81 (1989), 255–274

    1989

  10. [18]

    Rose and M

    H. Rose and M. W einstein, On the bound states of the nonlin ear Schr¨ odinger equation with a linear potential. Physica D. 30 (1988), 207–218

    1988

  11. [19]

    Secchi and M

    S. Secchi and M. Squassina, Soliton dynamics for fractio nal Schr¨ odinger equations.Applicable Analysis 93 (2014), Issue 8. 1702–1729

    2014

  12. [20]

    Tao, Nonlinear Dispersive Equations: Local and Global Analysis

    T. Tao, Nonlinear Dispersive Equations: Local and Global Analysis . CBMS regional confer- ence series in mathematics, 2006

    2006

  13. [21]

    W u, Existence and stability of standing waves for nonl inear fractional Schr¨ odinger equations with Hartree type nonlinearity

    D. W u, Existence and stability of standing waves for nonl inear fractional Schr¨ odinger equations with Hartree type nonlinearity. J. Math. Anal. Appl. 411 (2014), 530–542

    2014

  14. [22]

    Zhang, Stability of standing waves for the nonlinear S chr¨ odinger equations with unbounded potentials

    J. Zhang, Stability of standing waves for the nonlinear S chr¨ odinger equations with unbounded potentials. Z. Angew. Math. Phys. 51 (2000), 489–503. ORBITAL STABILITY FOR FRACTIONAL HARTREE EQUATION 11

    2000

  15. [23]

    Zhang, Stability of attractive Bose-Einstein conden sates

    J. Zhang, Stability of attractive Bose-Einstein conden sates. J. Stat. Phys. 101 (2000), 731– 745

    2000

  16. [24]

    Zhang and S

    J. Zhang and S. Zhu, Stability and instability of standin g waves for the nonlinear fractional Schr¨ odinger equation.J. Dyn. Differ. Eqns. 29 (2017), 1017–1030

    2017

  17. [25]

    Zhu, On the blow-up solutions for the nonlinear fracti onal Schr¨ odinger equation.J

    S. Zhu, On the blow-up solutions for the nonlinear fracti onal Schr¨ odinger equation.J. Differ. Eqns. 261 (2016), 1506–1531

    2016

  18. [26]

    Zhu, Existence of stable standing waves for the fracti onal Schr¨ odinger equations with com- bined nonlinearities

    S. Zhu, Existence of stable standing waves for the fracti onal Schr¨ odinger equations with com- bined nonlinearities. J. Evolu. Eqns. 17 (2017), 1003–1021. (Jian Zhang) School of Mathematical Science, University of Electronic Sc ience and Technology of China, Chengdu, Sichuan...

    2017

Pith tools

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