Pith. sign in

REVIEW 2 major objections 5 minor 60 references

Classification of nonnegative solutions to static Schr\"{o}dinger-Hartree-Maxwell type equations

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

Pith's one-line read This paper proves that in the critical case all nonnegative solutions of the fractional Schrödinger–Hartree–Maxwell equation are scaled translates of a single explicit profile, and that subcritical nonnegative solutions vanish identically.

desk verdict A strong full-range classification paper with a real but fixable gap: the PDE-to-integral-equivalence proof skips the m=0 case, and fractional-order ingredients lean on a same-group preprint. read the letter →

arxiv 1909.00492 v2 pith:GJKPRWPP submitted 2019-09-01 math.AP

classification math.AP MSC 35B5335J3035J9135B06
keywords higher-orderfractionalLaplaciansSchrödinger-Hartree-Maxwellequationsclassificationofnonnegativesolutionssuperpoly-harmonicpropertiesmethodmovingspheresintegralHardy-Littlewood-SobolevinequalityLiouvilletheorem
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 establishes a complete classification of nonnegative solutions to a family of higher-order and fractional Schrödinger–Hartree–Maxwell equations in which a fractional Laplacian is coupled to a Hartree-type nonlinearity through a Riesz potential. The authors first show that every nonnegative classical solution has all intermediate fractional Laplacians nonnegative, the super poly-harmonic property, and then prove that the PDE is equivalent to a single integral equation. Applying the method of moving spheres in integral form, they show that in the critical exponent range every nonzero solution is a scaled and translated copy of one explicit profile, while in the subcritical range the only nonnegative solution is zero. This classification transfers back to the PDE, and a parallel argument gives a Liouville theorem in critical and super-critical order cases. The result pins down the extremal functions and best constants for the associated Hardy–Littlewood–Sobolev inequality.

What carries the argument

The load-bearing object is the Kelvin transform $u_{x_0,\lambda}(x)=(\lambda/|x-x_0|)^{n-2s}u(x_\lambda)$ centered at $x_0$, with $x_\lambda=x_0+\lambda^2(x-x_0)/|x-x_0|^2$, applied to the integral equation. The method of moving spheres starts from small $\lambda$ where $u_{x_0,\lambda}\ge u$ in the ball $B_\lambda(x_0)$, increases $\lambda$ up to a critical scale $\lambda_{x_0}$, and uses a contradiction argument to prove that at a finite critical scale the Kelvin transform coincides with $u$, forcing the explicit conformal profile; if no finite critical scale exists, the solution must be constant, which the integrability condition rules out. A calculus lemma classifies functions invariant under all such Kelvin transforms as the one-parameter family of $Q$. The earlier sections supply the two ingredients that make this legitimate for the PDE: the super poly-harmonic sign conditions and the equivalence theorem that converts the higher-order fractional PDE into the integral equation by iterated Riesz potentials.

What would settle it

Search for a nonnegative classical solution of (1.1) in the subcritical range that is not identically zero; even a single numerical example with admissible parameters (for instance $n=4$, $s=1$, $\sigma=2$, $p=2$, $q=1$) would contradict the classification. Alternatively, compute $( -\Delta)^{i+\alpha/2}Q$ for the explicit $Q$ and check for a sign change, which would invalidate the super poly-harmonic premise behind the PDE-to-integral-equation transfer.

Watch

Extended reading notes

Core claim

The central discovery is that the integral equation (1.5), and hence the PDE (1.1) through the equivalence theorem, admits only the explicit one-parameter family in the critical case. For $n\ge 1$, $0<s:=m+\alpha/2<n/2$, $0<\sigma<n$, every nonnegative continuous solution with $p=(2n-\sigma)/(n-2s)$ and $q=(n+2s-\sigma)/(n-2s)$ is either identically zero or $$u(x)=\$mu^{{\frac{n-2s}}${2}}Q(\mu(x-x_0)),\qquad Q(x)=\left(\frac{1}{R_{2s,n}I(\$\sigma$/2)I((n-2s)/2)}\right)^{\frac{n-2s}{2(n+2s-\$\sigma$)}}\left(\frac{1}{1+|x|^2}\right)^{\frac{n-2s}{2}},$$ with $\mu>0$ and $x_0\in\mathbb{R}^n$. In the subcritical cases $0<p<(2n-\sigma)/(n-2s)$ or $0<q<(n+2s-\sigma)/(n-2s)$, the only nonnegative solution is $u\equiv 0$. The proof routes through three steps: super poly-harmonic inequalities, the equivalence between the PDE and the integral equation, and the moving-spheres classification of the integral equation; the explicit $Q$ then yields the best constant of the corresponding Hardy–Littlewood–Sobolev inequality.

Load-bearing premise

The classification for PDEs rests on the super poly-harmonic property—every nonnegative classical solution has $( -\Delta)^{i+\alpha/2}u\ge 0$ for all intermediate orders; if that property fails in any admissible parameter range, the integral-equation classification no longer transfers to the PDE.

Editorial extensions

If this is right

  • In the critical case, every nonzero nonnegative solution of the PDE is a scaling-translation of the explicit profile $Q$; in the subcritical case the zero solution is unique.
  • The explicit $Q$ is the unique extremal function of the associated Hardy–Littlewood–Sobolev inequality, and the best constant $S_{\sigma,s,n}$ can be computed in closed form.
  • For $s\ge n/2$, no nonzero nonnegative classical solution exists for any admissible $p,q$ and $\sigma<n$ (Liouville theorem).
  • The PDE–integral-equation equivalence means classification results proved for integral equations automatically transfer to the original fractional Laplacian problem, including the nonlocal-nonlocal interaction.
  • Earlier classifications for special parameter choices are subsumed by one statement covering the full range of $n$, $s$, $\sigma$, $p$ and $q$.

Reading between the lines

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

  • If the equivalence and classification hold, the same explicit $Q$ should control sharp constants in weighted Hardy–Littlewood–Sobolev inequalities across the full admissible parameter range, not only the special cases computed before.
  • The moving-spheres proof provides a template for classifying solutions of systems of coupled integral equations with different exponents $p,q$, a natural next step for multi-component Hartree systems.
  • A direct check suggested by the proof is whether the explicit $Q$ satisfies the super poly-harmonic inequalities $( -\Delta)^{i+\alpha/2}Q\ge 0$ for every intermediate order $i$; computing these for representative parameters would test the consistency of the equivalence theorem with the classification.
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

2 major / 5 minor

Summary. The paper studies nonnegative classical solutions of the higher-order/fractional static Schrödinger-Hartree-Maxwell equation (1.1). It establishes super poly-harmonic properties (Theorem 1.1), proves an equivalence between the PDE and the integral equation (1.5) (Theorem 1.3), classifies all nonnegative continuous solutions of the integral equation (Theorem 1.4), and transfers this classification to PDEs (Corollary 1.5). It also proves a Liouville theorem in critical and super-critical order cases (Theorem 1.8) and derives the best constant for a Hardy-Littlewood-Sobolev inequality (Corollary 1.7). The central classification result states that, for 0<s<n/2 in the critical exponent case, every nontrivial solution has the explicit form μ^{(n-2s)/2} Q(μ(x-x0)); in the subcritical cases only the zero solution exists.

Significance. The integral-equation classification is the core achievement and is largely convincing: the moving-sphere argument is detailed, the small-radius starting estimates (4.27)-(4.30) are standard, and the final profile is verified by direct substitution using the explicit identity (4.47). If the PDE-to-IE bridge is completed for all stated parameter ranges, this substantially generalizes earlier results by Liu, Cao-Dai, Dai-Fang-Qin, Dai-Liu, and others, and gives a complete classification over the full range of n, s, σ, p, q. The explicit best-constant formula in Corollary 1.7 is a useful byproduct. The main weakness is that Theorem 1.3, the bridge used for the PDE classification, omits the m=0 case in its written proof; this is a fixable but load-bearing gap.

major comments (2)
  1. [Section 3 (Theorem 1.3)] The case m=0 is included in the statement of Theorem 1.3 and in Corollary 1.5, but the proof begins with the definition u_i := (-Δ)^{i-1+α/2}u for i=1,...,m and then proves the representation (3.19) for u_m, followed by the iteration (3.27)-(3.29) over k=1,...,m-1. For m=0 none of these objects is defined, so the PDE-to-IE representation is not proved in the range m=0. The direct Green-Poisson step that would handle m=0, namely applying the argument of (3.30)-(3.45) with f_1(u) as the right-hand side, is not written. Because Corollary 1.5 explicitly covers m=0, this is a load-bearing gap and not a purely notational issue.
  2. [Section 4 (subcritical case, Eq. (4.45))] In the subcritical cases the text says 'Without loss of generality, suppose that τ>0 and μ>0.' This is not a WLOG reduction: if p is subcritical while q is critical then μ>0 and τ=0, and if q is subcritical while p is critical then τ>0 and μ=0. The displayed strict inequalities in (4.45) use both (λx0/|z-x0|)^μ - 1 > 0 and (λx0/|y-x0|)^τ - 1 > 0; when one exponent is critical, one of these factors vanishes. The mixed cases should be proved explicitly, for example by keeping only the surviving positive factor, since the subcritical classification is the conclusion being established.
minor comments (5)
  1. [Abstract and Corollary 1.5] The abstract states n≥1, but the PDE classification Corollary 1.5 assumes n≥2, Theorem 1.1 assumes n≥2, and Theorem 1.3 assumes n≥2; the abstract should be aligned with the statements.
  2. [Section 3] The proof of Theorem 1.3 establishes the PDE-to-IE direction only; the asserted converse IE-to-PDE direction is not proved, though it is standard via Riesz potential properties. A sentence or short argument should be added for completeness.
  3. [Section 4 (Proposition 4.3 and Eq. (4.43))] Proposition 4.3 states the identity u_{x0,λx0}(x)=u(x) only for x in B_{λx0}(x0)\setminus{x0}, but Eq. (4.43) uses it for all x∈R^n\setminus{x0}. The extension by Kelvin reflection should be justified either in the proposition or in the proof of Lemma 4.2.
  4. [Section 2 (Remark 1.2)] For 0<α<2 the proof of Theorem 1.1 refers to the same-group preprint [5] for the key integral estimates leading to (2.18), and the induction for the remaining layers is only summarized by 'through a similar argument'. Since this property is used in the PDE-to-IE equivalence, the proof should either be fully self-contained or the precise result from [5] should be quoted with all hypotheses in force.
  5. [Throughout] There are several minor typographical issues, such as inconsistent use of |u|^p versus u^p in places where u≥0, and notational overload of the constant C in different estimates; these do not affect the mathematics but should be cleaned up.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the integral-equation classification is derived self-contained by moving spheres, and the PDE equivalence is supported by a proof of the super poly-harmonic property in Section 2.

full rationale

The core classification result, Theorem 1.4, is proved for the integral equation (1.5) using the method of moving spheres in integral form. Its inputs are standard inequalities (Hardy-Littlewood-Sobolev), a known calculus lemma of Li-Zhang (Lemma 4.4), and a beta-integral identity (4.47); none of these are fitted to the target classification, and none assume the conclusion. The explicit constant in (4.48) is computed by substitution into the integral equation, not by matching a fitted parameter. The PDE-to-IE equivalence in Theorem 1.3 rests on the super poly-harmonic property in Theorem 1.1, and Section 2 contains a proof of Theorem 1.1 for both integer and fractional higher-order cases, including the fractional case, so the remark that the fractional case also follows from the same-group preprint [5] is not load-bearing. There is no step in which a quantity defined in terms of the claimed output is renamed as a prediction. One expository gap does exist: the proof of Theorem 1.3 in Section 3 is written for m >= 1 and does not explicitly treat the m = 0 case that appears in the theorem statement; however, this is an omitted-case correctness issue rather than a circular reduction, since the m = 0 case would be a direct Green-function representation. Therefore the paper is not circular in the sense of this review.

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

The paper introduces no new free parameters, fitted constants, or invented physical entities. Its deductive load is carried entirely by standard potential-theoretic facts plus the super poly-harmonic and Liouville theorems for higher-order fractional Laplacians, part of which is imported from the same-group preprints [5,6].

assumptions (6)
  • standard math Hardy-Littlewood-Sobolev inequality (Lemma 4.1) and the Riesz potential composition formula (3.44).
    Used to bound the moving-sphere difference in (4.17) and to reduce the iterated integral representation in (3.43) to the single-kernel integral equation (1.5).
  • standard math Maximum principle and Liouville theorems for harmonic functions and for the fractional Laplacian (Lemma 3.1 and Lemma 3.2).
    Used in Section 3 to identify the constants C_i in the PDE-IE equivalence and in Section 5 for positivity propagation.
  • standard math Green-Poisson representation of (-Delta)^{alpha/2} in balls, equations (2.13) through (2.15).
    The super poly-harmonic proof in the fractional case uses this representation and requires u in L_alpha together with the stated C^{[alpha],{alpha}+epsilon}_{loc} regularity.
  • domain assumption Nonnegative classical solutions of (1.1) satisfy the weighted integrability condition integral u^p / |x|^sigma dx < infinity.
    Stated in Section 2 just before (2.1) and used throughout Sections 3 and 4 to force the constants C_i to be zero and to justify lower bounds; it is derived from the equation at points where u is positive, but the derivation is not given for every admissible case.
  • domain assumption Theorem 1.1 of [5] (super poly-harmonic property for higher-order fractional Laplacians) and Theorem 1.14 of [5] (Liouville theorem) for the cases 0<alpha<2.
    Remarks 1.2 and 1.9 state that the fractional higher-order cases of Theorems 1.1 and 1.8 follow from [5]. If [5] is not independently verified or accepted, the proof is incomplete.
  • standard math Lemma 4.4 from Li and Zhang, the moving-spheres calculus lemma for Kelvin transforms.
    Used at the end of Section 4 to convert the moving-spheres dichotomy into the explicit bubble form or the constant-solution conclusion.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Classification of nonnegative solutions to static Schr\"{o}dinger-Hartree-Maxwell type equations." pith.science (2026). https://pith.science/paper/GJKPRWPP

@misc{pith2026190900492,
  author       = {Pith},
  title        = {Pith review of: Classification of nonnegative solutions to static Schr\"odinger-Hartree-Maxwell type equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GJKPRWPP}},
  note         = {Machine review of arXiv:1909.00492}
}
abstract

In this paper, we are mainly concerned with the physically interesting static Schr\"{o}dinger-Hartree-Maxwell type equations \begin{equation*} (-\Delta)^{s}u(x)=\left(\frac{1}{|x|^{\sigma}}\ast |u|^{p}\right)u^{q}(x) \,\,\,\,\,\,\,\,\,\,\,\, \text{in} \,\,\, \mathbb{R}^{n} \end{equation*} involving higher-order or higher-order fractional Laplacians, where $n\geq1$, $0<s:=m+\frac{\alpha}{2}<\frac{n}{2}$, $m\geq0$ is an integer, $0<\alpha\leq2$, $0<\sigma<n$, $0<p\leq\frac{2n-\sigma}{n-2s}$ and $0<q\leq\frac{n+2s-\sigma}{n-2s}$. We first prove the super poly-harmonic properties of nonnegative classical solutions to the above PDEs, then show the equivalence between the PDEs and the following integral equations \begin{equation*} u(x)=\int_{\mathbb{R}^n}\frac{R_{2s,n}}{|x-y|^{n-2s}}\left(\int_{\mathbb{R}^{n}}\frac{1}{|y-z|^{\sigma}}u^p(z)dz\right)u^{q}(y)dy. \end{equation*} Finally, we classify all nonnegative solutions to the integral equations via the method of moving spheres in integral form. As a consequence, we obtain the classification results of nonnegative classical solutions for the PDEs. Our results completely improved the classification results in \cite{CD,DFQ,DL,DQ,Liu}. In critical and super-critical order cases (i.e., $\frac{n}{2}\leq s:=m+\frac{\alpha}{2}<+\infty$), we also derive Liouville type theorem.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

60 extracted references · 59 canonical work pages

  1. [1]

    Bertoin, L´ evy Processes, Cambridge Tracts in Mathematics, 121, Cambridge University Press, Cam- bridge, 1996

    J. Bertoin, L´ evy Processes, Cambridge Tracts in Mathematics, 121, Cambridge University Press, Cam- bridge, 1996

  2. [2]

    Berchio, F

    E. Berchio, F. Gazzola and E. Mitidieri, Positivity preserving property for a class of biharmonic el liptic problems, J. Diff. Equations, 229 (2006), 1-23

  3. [3]

    Bogdan, T

    K. Bogdan, T. Kulczycki and A. Nowak, Gradient estimates for harmonic and q-harmonic functions of symmetric stable processes , Illinois J. Math., 46 (2002), 541-556

  4. [4]

    Cao and W

    D. Cao and W. Dai, Classification of nonnegative solutions to a bi-harmonic eq uation with Hartree type nonlinearity, Proc. Royal Soc. Edinburgh-A: Math., 149 (2019), 979-994

  5. [5]

    D. Cao, W. Dai and G. Qin, Super poly-harmonic properties, Liouville theorems and cl assification of non- negative solutions to equations involving higher-order fr actional Laplacians , preprint, submitted, arXiv: 1905.04300

  6. [6]

    W. Chen, W. Dai and G. Qin, Liouville type theorems, a priori estimates and existence o f solutions for critical order Hardy-H´ enon equations inRn, preprint, submitted, arXiv: 1808.06609

  7. [7]

    D. Cao, W. Dai and Y. Zhang, Existence and symmetry of positive solutions to 2-D Schr¨ od inger-Newton equations, preprint, submitted, 2019

  8. [8]

    Chen and Y

    W. Chen and Y. Fang, A Liouville type theorem for poly-harmonic Dirichlet probl ems in a half space , Adv. Math., 229 (2012), 2835-2867

Show all 60 references
  1. [9]

    W. Chen, Y. Fang and C. Li, Super poly-harmonic property of solutions for Navier bound ary problems on a half space , J. Funct. Anal., 265 (2013), 1522-1555

  2. [10]

    W. Chen, Y. Fang and R. Yang, Liouville theorems involving the fractional Laplacian on a half space , Adv. Math., 274 (2015), 167-198

  3. [11]

    Caffarelli, B

    L. Caffarelli, B. Gidas and J. Spruck, Asymptotic symmetry and local behavior of semilinear ellip tic equations with critical Sobolev growth , Comm. Pure Appl. Math., 42 (1989), 271-297

  4. [12]

    Chen and C

    W. Chen and C. Li, On Nirenberg and related problems - a necessary and sufficient condition, Comm. Pure Appl. Math., 48 (1995), 657-667

  5. [13]

    Chen and C

    W. Chen and C. Li, Moving planes, moving spheres, and a priori estimates , J. Differential Equations, 195 (2003), no. 1, 1-13

  6. [14]

    Chen and C

    W. Chen and C. Li, Classification of positive solutions for nonlinear differen tial and integral systems with critical exponents, Acta Math. Sci., 29B (2009), 949-960

  7. [15]

    Chen and C

    W. Chen and C. Li, Super poly-harmonic property of solutions for PDE systems a nd its applications , Comm. Pure Appl. Anal., 12 (2013), 2497-2514

  8. [16]

    Cao and H

    D. Cao and H. Li, High energy solutions of the Choquard equation , Disc. Cont. Dyn. Syst. - A, 38 (2018), no. 6, 3023-3032

  9. [17]

    W. Chen, C. Li and Y. Li, A direct method of moving planes for the fractional Laplacia n, Adv. Math., 308 (2017), 404-437

  10. [18]

    W. Chen, C. Li and B. Ou, Classification of solutions for an integral equation , Comm. Pure Appl. Math., 59 (2006), 330-343

  11. [19]

    W. Chen, Y. Li and P. Ma, The Fractional Laplacian , World Scientific Publishing Co. Pte. Ltd., 2019, 350pp, https://doi.org/10.1142/10550

  12. [20]

    W. Chen, Y. Li and R. Zhang, A direct method of moving spheres on fractional order equati ons, J. Funct. Anal., 272 (2017), no. 10, 4131-4157

  13. [21]

    Constantin, Euler equations, Navier-Stokes equations and turbulence, in Mathematical Foundation of Turbulent Viscous Flows , Vol

    P. Constantin, Euler equations, Navier-Stokes equations and turbulence, in Mathematical Foundation of Turbulent Viscous Flows , Vol. 1871 of Lecture Notes in Math., 1-43, Springer, Berlin, 2006

  14. [22]

    Caffarelli and L

    L. Caffarelli and L. Silvestre, An extension problem related to the fractional Laplacian , Comm. PDEs, 32 (2007), 1245-1260

  15. [23]

    Cabr´ e and J

    X. Cabr´ e and J. Tan, Positive solutions of nonlinear problems involving the squ are root of the Laplacian , Adv. Math., 224 (2010), 2052-2093

  16. [24]

    Caffarelli and L

    L. Caffarelli and L. Vasseur, Drift diffusion equations with fractional diffusion and the q uasi-geostrophic equation, 171 (2010), no. 3, 1903-1930

  17. [25]

    Cingolani and T

    S. Cingolani and T. Weth, On the planar Schr¨ odinger-Poisson system, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire,33 (2016), no. 1, 169-197. 30 WEI DAI, ZHAO LIU, GUOLIN QIN

  18. [26]

    S.-Y. A. Chang and P. C. Yang, On uniqueness of solutions of n-th order differential equations in conformal geometry, Math. Res. Lett., 4 (1997), 91-102

  19. [27]

    W. Dai, Y. Fang, J. Huang, Y. Qin and B. Wang, Regularity and classification of solutions to static Hartree equations involving fractional Laplacians , Discrete and Continuous Dynamical Systems - A, 39 (2019), no. 3, 1389-1403

  20. [28]

    W. Dai, Y. Fang and G. Qin, Classification of positive solutions to fractional order Ha rtree equations via a direct method of moving planes , J. Diff. Equations, 265 (2018), 2044-2063

  21. [29]

    Dai and Z

    W. Dai and Z. Liu, Classification of nonnegative solutions to static Schr¨ odinger-Hartree and Schr¨ odinger- Maxwell equations with combined nonlinearities , Calc. Var. & PDEs, 58 (2019), no. 4: 156, https://doi.org/10.1007/s00526-019-1595-z

  22. [30]

    Dai and G

    W. Dai and G. Qin, Classification of nonnegative classical solutions to third -order equations, Adv. Math., 328 (2018), 822-857

  23. [31]

    Dai and G

    W. Dai and G. Qin, Liouville type theorem for critical order H´ enon-Lane-Emden type equations on a half space and its applications , preprint, arXiv: 1811.00881

  24. [32]

    Frohlich, E

    J. Frohlich, E. Lenzmann, Mean-field limit of quantum bose gases and nonlinear Hartree equation, in: Sminaire E. D. P. (2003-2004), Expos nXVIII. 26p

  25. [33]

    Gidas, W

    B. Gidas, W. Ni and L. Nirenberg, Symmetry and related properties via maximum principle , Comm. Math. Phys., 68 (1979), 209-243

  26. [34]

    Q. Jin, Y. Y. Li and H. Xu, Symmetry and Asymmetry: The Method of Moving Spheres , Adv. Differential Equations, 13 (2007), no. 7, 601-640

  27. [35]

    V. L. Karpman, Stabilization of soliton instabilities by high-order disp ersion: fourth order nonlinear Schr¨ odinger-type equations, Phys. Rev. E 53, 2 (1996), 1336-1339

  28. [36]

    Kulczycki, Properties of Green function of symmetric stable processes , Probability and Mathematical Statistics, 17 (1997), 339-364

    T. Kulczycki, Properties of Green function of symmetric stable processes , Probability and Mathematical Statistics, 17 (1997), 339-364

  29. [37]

    Lei, Qualitative analysis for the Hartree-type equations , SIAM J

    Y. Lei, Qualitative analysis for the Hartree-type equations , SIAM J. Math. Anal., 45 (2013), 388-406

  30. [38]

    Y. Y. Li, Remark on some conformally invariant integral equations: t he method of moving spheres , J. European Math. Soc., 6 (2004), 153-180

  31. [39]

    E. H. Lieb, Sharp constants in the Hardy-Littlewood-Sobolev and relat ed inequalities, Ann. of Math., 118 (1983), no. 2, 349-374

  32. [40]

    C. S. Lin, A classification of solutions of a conformally invariant fou rth order equation in Rn, Comment. Math. Helv., 73 (1998), 206-231

  33. [41]

    P. L. Lions, The concentration-compactness principle in the calculus o f variations. The locally compact case, parts1 and 2 , Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire.,1 (1984), no. 2, 109-145, no. 4, 223-283

  34. [42]

    P. L. Lions, The concentration-compactness principle in the calculus o f variations. The limit case, parts1 and 2 , Revista Math. Iberoamericana, 1 (1985), no. 1, 145-201, no. 2, 45-121

  35. [43]

    Liu, Regularity, symmetry, and uniqueness of some integral type quasilinear equations, Nonlinear Anal., 71 (2009), 1796-1806

    S. Liu, Regularity, symmetry, and uniqueness of some integral type quasilinear equations, Nonlinear Anal., 71 (2009), 1796-1806

  36. [44]

    D. Li, C. Miao and X. Zhang, The focusing energy-critical Hartree equation , J. Diff. Equations, 246 (2009), 1139-1163

  37. [45]

    Lieb and B

    E. Lieb and B. Simon, The Hartree-Fock theory for Coulomb systems , Comm. Math. Phys., 53 (1977), 185-194

  38. [46]

    Li and M

    Y. Li and M. Zhu, Uniqueness theorems through the method of moving spheres , Duke Math. J., 80 (1995), 383-417

  39. [47]

    Li and L

    Y. Li and L. Zhang, Liouville type theorems and Harnack type inequalities for s emilinear elliptic equations , J. Anal. Math, 90 (2003), 27-87

  40. [48]

    Moroz and J

    V. Moroz and J. Van Schaftingen, Groundstates of nonlinear Choquard equations: existence, qualitative properties and decay asymptotics , J. Funct. Anal., 265 (2013), no. 2, 153-184

  41. [49]

    Moroz and J

    V. Moroz and J. Van Schaftingen, Existence of groundstates for a class of nonlinear Choquard equations, Trans. Amer. Math. Soc., 367 (2015), no. 9, 6557-6579

  42. [50]

    C. Miao, G. Xu and L. Zhao, Global wellposedness and scattering for the focusing energ y-critical nonlinear Schr¨ odinger equations of fourth order in the radial case , J. Diff. Equations, 246 (2009), 3715-3749

  43. [51]

    C. Miao, G. Xu, and L. Zhao, Global well-posedness, scattering and blow-up for the ener gy-critical, focusing Hartree equation in the radial case , Colloq. Math., 114 (2009), 213-236. STATIC SCHR ¨ODINGER-HARTREE-MAXWELL TYPE EQUATIONS 31

  44. [52]

    Ma and L

    L. Ma and L. Zhao, Classification of positive solitary solutions of the nonlin ear Choquard equation, Arch. Rational Mech. Anal., 195 (2010), no. 2, 455-467

  45. [53]

    Padilla, On some nonlinear elliptic equations , Thesis, Courant Institute, 1994

    P. Padilla, On some nonlinear elliptic equations , Thesis, Courant Institute, 1994

  46. [54]

    E. M. Stein, Singular integrals and differentiability properties of fun ctions, Princeton Landmarks in Math- ematics, Princeton University Press, Princeton, New Jersey, 197 0

  47. [55]

    Serrin, A symmetry problem in potential theory , Arch

    J. Serrin, A symmetry problem in potential theory , Arch. Rational Mech. Anal., 43 (1971), 304-318

  48. [56]

    Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace operator, Comm

    L. Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace operator, Comm. Pure Appl. Math., 60 (2007), 67-112

  49. [57]

    Wei and X

    J. Wei and X. Xu, Classification of solutions of higher order conformally inv ariant equations, Math. Ann., 313 (1999), no. 2, 207-228

  50. [58]

    Xu and Y

    D. Xu and Y. Lei, Classification of positive solutions for a static Schr¨ odin ger-Maxwell equation with fractional Laplacian, Applied Math. Letters, 43 (2015), 85-89

  51. [59]

    Xu, Exact solutions of nonlinear conformally invariant integr al equations in R3, Adv

    X. Xu, Exact solutions of nonlinear conformally invariant integr al equations in R3, Adv. Math., 194 (2005), 485-503

  52. [60]

    R. Zhuo, W. Chen, X. Cui and Z. Yuan, A Liouville theorem for the fractional Laplacian , arXiv: 1401.7402. School of Mathematics and Systems Science, Beihang Univers ity (BUAA), Beijing 100083, P. R. China, and LAGA, Universit Paris 13 (UMR 7539), Paris, F rance E-mail address...

Pith tools

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