REVIEW 3 major objections 4 minor 1 cited by
Local asymptotics for singular solutions to critical Hartree equations
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Singular solutions to critical Hartree equations are controlled by a single radial blow-up profile near an isolated singularity.
desk verdict Theorem 1.2 is not proven in this version—the lower-bound half is deferred to an unstated removable classification theorem—but the symmetry result and the moving-spheres adaptation are real contributions worth refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is an integral moving-spheres method run in asymptotic form. Solutions of the differential equation are first shown to satisfy an equivalent integral equation $u=R_2*[(R_\alpha*F(u))f(u)]+h$ locally, with $R_2$ and $R_\alpha$ the Riesz kernels of the Laplacian and of the Hartree interaction; the technique then compares $u$ with its Kelvin transform $u_{x,\mu}(z)=(\mu/|z-x|)^{n-2}u(x+\mu^2(z-x)/|z-x|^2)$ and uses positivity of the two kernels $K_2$ and $K_\alpha$ to show the transform stays below $u$ up to the critical radius. In the blow-up argument this comparison is applied to renormalized sequences converging to a classified bubble, forcing a contradiction unless the upper bound holds; the lower bound is meant to follow from a removable-singularity classification theorem governed by the sign of a Pohozaev invariant. The double convolution kernel is the main technical obstacle, and the paper's new estimates control the difference between a solution and its Kelvin transform in the presence of that double convolution.
What would settle it
One concrete check: take a positive singular solution of $(P_{n,\alpha,R})$ in $L^{2^*_\alpha}(B_R)$ and evaluate $\liminf_{x\to 0}|x|^{(n-2)/2}u(x)$; Theorem 1.2 predicts this limit equals the corresponding finite positive value of the limiting profile $u_\infty$. Finding a solution with $\liminf=0$ but $\limsup=\infty$ would refute (1.7). Alternatively, writing out the announced removable classification theorem and verifying its hypotheses for $L^{2^*_\alpha}$ solutions would settle whether the lower bound currently follows.
Extended reading notes
Core claim
On its own terms, the paper's central discovery is Theorem 1.2: if $u\in C^\infty(B_R\setminus\{0\})\cap L^{2^*_\alpha}(B_R)$ is a positive singular solution of $-\Delta u=(R_\alpha*F(u))f(u)$ in the punctured ball $B_R$, then $u(x)=(1+o(1))u_\infty(|x|)$ as $x\to 0$ for a blow-up limit solution $u_\infty$ of the same equation on $\mathbb{R}^n\setminus\{0\}$. The force of the statement is that the convergence is not along a subsequence but as a full limit with a single limiting profile, so the local blow-up rate $|x|^{(n-2)/2}u(x)$ is asymptotically radial and universal. Complementarily, Theorem 1.1 asserts that any positive singular solution in $C^2(\mathbb{R}^n\setminus\{0\})\cap L^{2^*_\alpha}(\mathbb{R}^n)$ of the blow-up limit equation is radially symmetric about the origin and decreasing in $|x|$. Together these reduce the classification of isolated singularities to the study of radial solutions and set up the paper's conjecture that refined asymptotics are given by periodic Delaunay solutions with exponentially small error.
Load-bearing premise
The lower-bound half of Theorem 1.2 depends on a removable-singularity classification theorem, based on the sign of a Pohozaev invariant, that the paper mentions but neither states, proves, nor cites, and whose hypotheses may require stronger integrability than the $L^{2^*_\alpha}$ assumption of the theorem.
Editorial extensions
If this is right
- Theorem 1.2 pins the singularity: any positive solution that blows up at an isolated point has the same leading profile as a solution on the punctured space, up to a factor $1+o(1)$.
- Theorem 1.1 turns the blow-up limit equation into a one-dimensional problem: radial symmetry and monotonicity justify the Emden–Fowler change of variables used for Delaunay-type analysis.
- The upper-bound estimate $|x|^{(n-2)/2}u(x)$ bounded near the origin and the asymptotic radial symmetry result hold for positive solutions of the integral equation under $L^{(n+2)/(n-2)}$ integrability.
- The asymptotic integral moving-spheres technique becomes available for nonlocal critical equations with double-convolution structure, not just for local conformally invariant equations.
- The conjectured refined asymptotics with Delaunay solutions would give the blow-up rate in terms of indicial roots of the linearized operator, completing the classical picture for critical equations with isolated singularities.
Reading between the lines
- A likely extension: the same asymptotic moving-spheres scheme should apply to Choquard-type systems and to fractional Hartree equations, where the same double-convolution structure appears with different Riesz kernels.
- If the removable classification theorem implied by the text exists and holds under $L^{2^*_\alpha}$ integrability, then Theorem 1.2 would also rule out intermediate blow-up profiles, leaving only the bubble profile and periodic Delaunay profiles as candidates.
- The Pohozaev invariant mentioned in Section 4, if properly defined, could give a sign test to distinguish removable singularities from Delaunay-type behavior in explicit radial solutions.
- Refined asymptotics of the type in Conjecture 1.3 would connect Hartree singularities to the constant-scalar-curvature and constant-$Q$-curvature literature, where the same Delaunay family and indicial-root analysis appear.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies positive singular solutions of the critical Hartree equation -Δu = (R_α * F(u)) f(u) in punctured domains and in R^n \ {0}. It claims two main results: Theorem 1.1, asserting that entire singular solutions in R^n \ {0} are radially symmetric about the origin and monotonically decreasing, and Theorem 1.2, asserting that singular solutions in a punctured ball satisfy u(x) = (1+o(1))u_∞(|x|) as x → 0 for a blow-up limit solution u_∞ of the limit equation. The authors develop an asymptotic integral moving-spheres method, prove an integral representation, and derive a sharp upper bound and asymptotic spherical symmetry for solutions under stronger integrability assumptions.
Significance. If fully established, Theorem 1.2 would be a substantial extension of the Caffarelli–Gidas–Spruck local-asymptotics theory to critical Hartree equations, and the asymptotic integral moving-spheres technique developed in the paper would be of independent interest. The proof of Theorem 1.1 is long and structurally detailed, and the upper-bound part of Theorem 1.2 (Proposition 4.6) and the asymptotic radial symmetry part (Proposition 4.7) are argued in detail. However, the paper's headline Theorem 1.2 is not actually proved: the lower-bound half is deferred to an unstated external theorem, and the final identification of the limit profile is never carried out. As submitted, the central claim is therefore unsupported.
major comments (3)
- [Section 4, after Proposition 4.3] The lower-bound half of Theorem 1.2 is deferred to an unstated 'removable classification theorem, which is based on the sign of the so-called Pohozaev invariant.' No such theorem is stated, proved, or cited anywhere in the manuscript, and the invariant is never defined. The conclusion (1.7) requires a positive lower bound on |x|^{(n-2)/2}u(x) (or an equivalent control) to exclude vanishing and to identify a nonzero blow-up limit; without the missing theorem, the lower bound is simply absent. As a consequence, Theorem 1.2, the paper's headline result, is not proven.
- [Propositions 4.6 and 4.7] Both propositions assume u∈C(B*_2)∩L^{(n+2)/(n-2)}(B_2), whereas Theorem 1.2 assumes only u∈L^{2*_α}(B_R)=L^{(n+α)/(n-2)}(B_R). For α∈(0,2) the former integrability is strictly stronger, and the manuscript gives no bootstrap from L^{2*_α} to L^{(n+2)/(n-2)}. Hence even the upper-bound estimate and the asymptotic radial symmetry are not established under the hypotheses of Theorem 1.2.
- [Section 4, end] The proof of Theorem 1.2 ends with Proposition 4.7; the passage from the upper bound and the spherical-average asymptotics u(x)=ū(|x|)(1+O(|x|)) to the asserted existence of a single blow-up limit profile u_∞∈C^∞(R^n\{0}) satisfying (1.7) is never written. Since the blow-up procedure in Proposition 4.6 produces a limit only along a subsequence, additional compactness and identification arguments are required, and these are not supplied.
minor comments (4)
- [Title page] The title is typeset as 'HAR TREE EQUA TIONS' instead of 'HARTREE EQUATIONS'.
- [Introduction, literature discussion] The sentence 'by an earlier result by Chen, Li and Ou [26]' cites reference [26], which is Jin, Li, and Xiong; the intended citation is presumably [9].
- [Section 4.1, after Proposition 4.3] The phrase 'and sacling' appears where 'and scaling' is meant.
- [Proposition 3.4] The statement claims the integral representation (3.11) for x∈R^n, but since u is singular at the origin, the statement should presumably be for x∈R^n\{0} or should otherwise clarify the meaning at x=0.
Circularity Check
No significant circularity: the main theorems are derived from external classification and moving-spheres results, not from restatements of the target; the Section 4 lower-bound gap is an omitted proof, not a circular reduction.
full rationale
The paper's derivation chain does not reduce to its own inputs. Theorem 1.1 is proved by an integral moving-spheres argument adapted from Jin, Li and Xiong [26,27], with a Kelvin-transform invariance verified by direct computation (Proposition 2.2). The identified limiting profile in Theorem 1.2 comes from Theorem B, the external Liouville/classification theorem for entire non-singular Hartree bubbles, cited to [40,12,19,29]; although two of those works include coauthor M. Yang, they are parameter-free published classifications whose assumptions do not include the singular-asymptotics conclusion, so they are independent support rather than a circular self-citation chain. The upper-bound Proposition 4.6 and the asymptotic-symmetry Proposition 4.7 use the standard blow-up argument plus moving spheres and are not fitted-input-called-prediction. The only serious concern is flagged by the manuscript itself: Section 4 states, 'For the proof of the lower bound estimates, we rely on a removable classification theorem, which is based on the sign of the so-called Pohozaev invariant,' yet no such theorem is stated, proved, or cited and the invariant is not defined. This is a load-bearing omitted proof, and the stated hypotheses of Propositions 4.6 and 4.7 (L^{(n+2)/(n-2)}) are stronger than the L^{2*_alpha} assumption of Theorem 1.2, so the theorem is not fully established by the written arguments. But an omitted or inapplicable theorem is a correctness gap, not circularity: there is no quote or equation showing the conclusion is equivalent to the inputs by construction. No self-definitional, fitted-input-as-prediction, or ansatz-smuggled-via-citation pattern appears. Accordingly, the circularity score is 0.
Assumptions & free parameters
assumptions (6)
- standard math Hardy-Littlewood-Sobolev inequality with sharp constant (Theorem A)
- standard math Classification of positive entire solutions to (P_{n,α}) (Theorem B)
- standard math Liouville theorem for harmonic functions in L^0(R^n) from [2]
- standard math Moving-spheres lemmas of Li-Zhang [33] (Lemma A and Lemma B)
- domain assumption Regularity and integral-representation theory for Hartree equations from [32, 41, 13]
- ad hoc to paper Unstated removable classification theorem based on a Pohozaev-type invariant
invented entities (1)
-
Pohozaev invariant (homological invariant)
Cite this review
Pith. "Pith review of Local asymptotics for singular solutions to critical Hartree equations." pith.science (2026). https://pith.science/paper/ZWZEPXN5
@misc{pith2026250519021,
author = {Pith},
title = {Pith review of: Local asymptotics for singular solutions to critical Hartree equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZWZEPXN5}},
note = {Machine review of arXiv:2505.19021}
}
read the original abstract
We investigate the qualitative properties of a critical Hartree equation defined on punctured domains. Our study has two main objectives: analyzing the asymptotic behavior near isolated singularities and establishing radial symmetry of positive singular solutions. First, employing asymptotic analysis, we characterize the local behavior of solutions near the singularity. Specifically, we show that, within a punctured ball, solutions behave like the blow-up limit profile. This is achieved through classification results for entire bubble solutions, a standard blow-up procedure, and a removable singularity theorem, yielding sharp upper and lower bounds near the origin. To run the blow-up analysis, we develop an asymptotic integral version of the moving spheres technique, a technique of independent interest. Second, we establish the radial symmetry of blow-up limit solutions using an integral moving spheres method. On the technical level, we apply the integral dual method from Jin, Li, Xiong \cite{MR3694645, arxiv:1901.01678} to provide local asymptotic estimates within the punctured ball and to prove that solutions in the entire punctured space are radially symmetric with respect to the origin. Our results extend seminal theorems of Caffarelli, Gidas, and Spruck \cite{MR982351} to the setting of Hartree equations.
Forward citations
Cited by 1 Pith paper
-
Delaunay solutions to the fractional Hartree equation with critical growth
Radial symmetry and existence of nonconstant periodic singular (Delaunay-type) solutions are established for the critical fractional Hartree equation with a Riesz convolution.
Reference graph
Works this paper leans on
-
[1]
J. H. Andrade and J. M. do ´O, Asymptotics for singular solutions to conformally invariant fourth order systems in the punctured ball,J. Differential Equations413(2024) 190–239
work page 2024
-
[2]
W. Ao, M. d. M. Gonz´ alez, A. Hyder and J. Wei, Removability of singularities and superharmonicity for some fractional Laplacian equations,Indiana Univ. Math. J.71(2022) 735–766
work page 2022
-
[3]
Aubin, Probl` emes isop´ erim´ etriques et espaces de Sobolev,J
T. Aubin, Probl` emes isop´ erim´ etriques et espaces de Sobolev,J. Differential Geometry11(1976) 573–598. 34 J.H. ANDRADE, T. FENG, P. PICCIONE, AND M. YANG
work page 1976
-
[4]
L. Caffarelli, T. Jin, Y. Sire and J. Xiong, Local analysis of solutions of fractional semi-linear elliptic equations with isolated singularities,Arch. Ration. Mech. Anal.213(2014) 245–268
work page 2014
-
[5]
L. Caffarelli, B. Gidas and J. Spruck, Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth,Comm. Pure Appl. Math.42(1989) 271–297
work page 1989
-
[6]
H. Chen and F. Zhou, Classification of isolated singularities of positive solutions for Choquard equations,J. Differential Equations261(2016) 6668–6698
work page 2016
-
[7]
W. Chen and C. Li, A necessary and sufficient condition for the Nirenberg problem,Comm. Pure Appl. Math. 48(1995) 657–667
work page 1995
-
[8]
W. Chen, C. Li and B. Ou, Qualitative properties of solutions for an integral equation,Discrete Contin. Dyn. Syst.12(2005) 347–354
work page 2005
Show all 47 references
-
[9]
W. Chen, C. Li and B. Ou, Classification of solutions for an integral equation,Comm. Pure Appl. Math.59 (2006) 330–343
2006
-
[10]
W. Dai, Z. Liu and G. Qin, Classification of nonnegative solutions to static Schr¨ odinger-Hartree-Maxwell type equations,SIAM J. Math. Anal.53(2021) 1379–1410
2021
-
[11]
DelaTorre, M
A. DelaTorre, M. del Pino, M. d. M. Gonz´ alez and J. Wei, Delaunay-type singular solutions for the fractional Yamabe problem,Math. Ann.369(2017) 597–626
2017
-
[12]
Du and M
L. Du and M. Yang, Uniqueness and nondegeneracy of solutions for a critical nonlocal equation,Discrete Contin. Dyn. Syst.39(2019) 5847–5866
2019
-
[13]
Du and H
X. Du and H. Yang, Local behavior of positive solutions of higher order conformally invariant equations with a singular set,Calc. Var. Partial Differential Equations60(2021) Paper No. 204, 35
2021
-
[14]
Emden,Gaskugeln: Anwendungen der mechanischen W¨ armetheorie auf kosmologische und meteorologische Probleme, Leipzig, Berlin, B.G
R. Emden,Gaskugeln: Anwendungen der mechanischen W¨ armetheorie auf kosmologische und meteorologische Probleme, Leipzig, Berlin, B.G. Teubner (1907)
1907
-
[15]
R. H. Fowler, Further studies on Emden’s and similar differential equations,Quart. J. Math.2(1931) 259–288
1931
-
[16]
R. L. Frank and T. K¨ onig, Classification of positive singular solutions to a nonlinear biharmonic equation with critical exponent,Anal. PDE12(2019) 1101–1113
2019
-
[17]
Fr¨ ohlich, Theory of electrical breakdown in ionic crystal,Proc
H. Fr¨ ohlich, Theory of electrical breakdown in ionic crystal,Proc. R. Soc. Ser. A160(1937) 230–241
1937
-
[18]
Fr¨ ohlich, Electrons in lattice fields,Adv
H. Fr¨ ohlich, Electrons in lattice fields,Adv. Phys.3(2003)
2003
-
[19]
Gao and M
F. Gao and M. Yang, The Brezis-Nirenberg type critical problem for the nonlinear Choquard equation,Sci. China Math.61(2018) 1219–1242
2018
-
[20]
Ghergu and S
M. Ghergu and S. D. Taliaferro, Asymptotic behavior at isolated singularities for solutions of nonlocal semilinear elliptic systems of inequalities,Calc. Var. Partial Differential Equations54(2015) 1243–1273
2015
-
[21]
Ghergu and S
M. Ghergu and S. D. Taliaferro, Pointwise bounds and blow-up for Choquard-Pekar inequalities at an isolated singularity,J. Differential Equations261(2016) 189–217
2016
-
[22]
Gidas, W
B. Gidas, W. M. Ni and L. Nirenberg, Symmetry and related properties via the maximum principle,Comm. Math. Phys.68(1979) 209–243
1979
-
[23]
L. Guo, T. Hu, S. Peng and W. Shuai, Existence and uniqueness of solutions for Choquard equation involving Hardy-Littlewood-Sobolev critical exponent,Calc. Var. Partial Differential Equations58(2019) Paper No. 128, 34
2019
-
[24]
Z. Guo, X. Huang, L. Wang and J. Wei, On Delaunay solutions of a biharmonic elliptic equation with critical exponent,J. Anal. Math.140(2020) 371–394
2020
-
[25]
G. H. Hardy and J. E. Littlewood, Some properties of fractional integrals. I,Math. Z.27(1928) 565–606
1928
-
[26]
T. Jin, Y. Li and J. Xiong, The Nirenberg problem and its generalizations: a unified approach,Math. Ann.369 (2017) 109–151
2017
-
[27]
Jin and J
T. Jin and J. Xiong, Asymptotic symmetry and local behavior of solutions of higher order conformally invariant equations with isolated singularities,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire38(2021), no. 4, 1167–1216
2021
-
[28]
Korevaar, R
N. Korevaar, R. Mazzeo, F. Pacard and R. Schoen, Refined asymptotics for constant scalar curvature metrics with isolated singularities,Invent. Math.135(1999) 233–272
1999
-
[29]
Le, On classical solutions to the Hartree equation,J
P. Le, On classical solutions to the Hartree equation,J. Math. Anal. Appl.485(2020) 123859
2020
-
[30]
Le, Symmetry and classification of solutions to an integral equation of the Choquard type,C
P. Le, Symmetry and classification of solutions to an integral equation of the Choquard type,C. R. Math. Acad. Sci. Paris357(2019) 878–888
2019
-
[31]
Li, Local asymptotic symmetry of singular solutions to nonlinear elliptic equations,Invent
C. Li, Local asymptotic symmetry of singular solutions to nonlinear elliptic equations,Invent. Math.123(1996) 221–231
1996
-
[32]
Li, Remark on some conformally invariant integral equations: the method of moving spheres,J
Y. Li, Remark on some conformally invariant integral equations: the method of moving spheres,J. Eur. Math. Soc. (JEMS)6(2004) 153–180
2004
-
[33]
Li and L
Y. Li and L. Zhang, Liouville-type theorems and Harnack-type inequalities for semilinear elliptic equations,J. Anal. Math.90(2003) 27–87. LOCAL ASYMPTOTICS FOR CRITICAL HARTREE EQUATIONS 35
2003
-
[34]
Li and M
Y. Li and M. Zhu, Uniqueness theorems through the method of moving spheres,Duke Math. J.80(1995) 383–417
1995
-
[35]
E. H. Lieb, Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation,Studies in Appl. Math.57(1976/77) 93–105
1976
-
[36]
E. H. Lieb, Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities,Ann. of Math. (2)118 (1983) 349–374
1983
-
[37]
Lin, A classification of solutions of a conformally invariant fourth order equation inR n,Comment
C.-S. Lin, A classification of solutions of a conformally invariant fourth order equation inR n,Comment. Math. Helv.73(1998) 206–231
1998
-
[38]
Ma and L
L. Ma and L. Zhao, Classification of positive solitary solutions of the nonlinear Choquard equation,Arch. Ration. Mech. Anal.195(2010) 455–467
2010
-
[39]
P. Ma, X. Shang and J. Zhang, Symmetry and nonexistence of positive solutions for fractional Choquard equations,Pacific J. Math.304(2020) 143–167
2020
-
[40]
Forum Math.27(2015) 373–447
Changxing, Miao, Yifei Wu, Guixiang Xu, Dynamics for the focusing, energy-critical nonlinear Hartree equation. Forum Math.27(2015) 373–447
2015
-
[41]
Moroz and J
V. Moroz and J. Van Schaftingen, A guide to the Choquard equation,J. Fixed Point Theory Appl.19(2017) 773–813
2017
-
[42]
Pekar,Untersuchung¨uber die Elektronentheorie der Kristalle, Akademie Verlag, Berlin (1954)
S. Pekar,Untersuchung¨uber die Elektronentheorie der Kristalle, Akademie Verlag, Berlin (1954)
1954
-
[43]
Ratzkin, On constant Q-curvature metrics with isolated singularities,arXiv:2001.07984 [math.DG](2020)
J. Ratzkin, On constant Q-curvature metrics with isolated singularities,arXiv:2001.07984 [math.DG](2020)
2020 arXiv
-
[44]
Rodemich,The Sobolev inequality with best possible constant, Analysis Seminar Caltech, Spring (1966)
E. Rodemich,The Sobolev inequality with best possible constant, Analysis Seminar Caltech, Spring (1966)
1966
-
[45]
S. L. Sobolev,Applications of functional analysis in mathematical physics, Translations of Mathematical Monographs, Vol. 7, American Mathematical Society, Providence, RI (1963), translated from the Russian by F. E. Browder
1963
-
[46]
Squassina, M
M. Squassina, M. Yang and S. Zhao, Local uniqueness of blow-up solutions for critical Hartree equations in bounded domain,Calc. Var. Partial Differential Equations62(2023) Paper No. 217, 51
2023
-
[47]
Talenti, Best constant in Sobolev inequality,Ann
G. Talenti, Best constant in Sobolev inequality,Ann. Mat. Pura Appl. (4)110(1976) 353–372. (J.H. Andrade)Institute of Mathematics and Statistics, University of S˜ao Paulo 05508-090, S˜ao Paulo-SP, Brazil Email address:andradejh@ime.usp.br (T. Feng)School of Mathematical Scienc...
1976
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.