REVIEW 2 major objections 5 minor 43 references
On isolated singularities of the conformal Gaussian curvature equation and $Q$-curvature equation
T0 review · 2 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read The paper proves that any finite-volume solution of $-\Delta u=K(x)e^u$ near an isolated singularity must take the form $u(x)=\alpha\ln|x|+\phi(x)$ with $\alpha>-2$ and $\phi$ H\"older continuous, for any nonnegative bounded curvature…
desk verdict Variable-K Gaussian and even-dimensional Q-curvature results are solid, but the odd-dimensional proof rests on a false L^{n/2} integrability claim for the logarithmic potential, so Theorem 1.3 needs repair. 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 load-bearing tool is Theorem 1.4, a representation formula for sign-changing solutions of the polyharmonic Poisson equation $(-\Delta)^m u=f$: any solution decomposes as a Newtonian or logarithmic potential $N(x)$, a smooth homogeneous solution $h$, and a finite sum of derivatives $D^\beta\varphi$ of the fundamental solution with $|\beta|\le 2m-1$. Finite volume forces coefficients with $|\beta|\ge 1$ to vanish and bounds the coefficient of the logarithmic term, yielding $u=\alpha\ln|x|$ plus a regular remainder. The remainder's H\"older regularity comes from Br\'ezis-Merle exponential integrability: the weighted nonlinearity $K e^h |x|^\alpha e^v$ lies in $L^{p_0}$, so classical $W^{2m,p}$ estimates apply.
What would settle it
Compute $\int_{B_{1/2}}e^{k v(x)}dx$ for the logarithmic potential $v(x)=\int\ln(5/|x-y|)K(y)e^{u(y)}dy$ with an admissible unbounded coefficient $|x|^{\alpha}e^h$, $\alpha>-2$; if for some nonnegative bounded $K$ and finite-volume $u$ this integral diverges for every $k>0$, the regularity step in Theorem 1.1 fails. Equivalently, a solution satisfying the hypotheses whose angular first-derivative coefficient $a_{(1,0)}$ in (38) is nonzero would refute the theorem, because the paper's sector integrals show such a term forces $\int e^u$ to diverge.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for $K\in L^\infty(B_1)$, $K\ge 0$, and $u\in C^2(B_1\setminus\{0\})$ solving $-\Delta u=K e^u$ with $\int e^u<\infty$, there is $\alpha>-2$ and $\phi\in C^\gamma_{\rm loc}(B_1)$, $0<\gamma<1$, such that $u=\alpha\ln|x|+\phi$ near $0$. The higher-dimensional analogue, Theorems 1.2 and 1.3, asserts the same logarithmic form $u=\alpha\ln|x|+\phi$ with $\alpha>-2m$ for even $n=2m\ge 4$ and $\alpha>-n$ for odd $n\ge 3$, under $\int e^u<\infty$ and an additional $|u|$-integrability condition. The authors prove that all derivative-of-fundamental-solution singularities are killed by the finite-volume condition, leaving only the logarithmic term; the remainder is regularized via exponential integrability estimates.
Load-bearing premise
The proof assumes that the Br\'ezis-Merle exponential-integrability estimate remains valid when the coefficient $V(x)=5^{-\alpha}K(x)e^{h(x)}|x|^{\alpha}$ is unbounded near the origin; the paper invokes this as a direct consequence of [3] without spelling out a proof for unbounded $V$.
Editorial extensions
If this is right
- For the exterior-domain Gaussian curvature problem, the Kelvin transform turns Theorem 1.1 into the statement that solutions have $v(x)=\beta\ln|x|+O(1)$ near infinity with $\beta<-2$.
- The logarithmic asymptotics are stable under $C^0$ perturbations of $K$, unlike the scalar-curvature equation in higher dimensions, where $C^0$ and $C^1$ perturbations can destroy Fowler-type estimates.
- Unbounded kernels of the form $|x|^{-\gamma}K(x)$ are covered by the same theorem after the shift $w=u-\gamma\ln|x|$, giving $(\alpha+\gamma)\ln|x|+\phi$ with $\alpha>-2$.
- For the $Q$-curvature equation, the same form holds in even and odd dimensions, including the nonlocal odd-dimensional case, under finite volume and $\int_{B_r}|u|\,dx=o(r^{n-2})$.
- The representation theorem also applies when $f$ is not integrable, satisfying only $\int |x|^s|f|dx<\infty$, so the method is ready for finite-volume-type assumptions that fail.
- The proof never uses differentiability or flatness of $K$, so the value of $\alpha$ should vary continuously under $L^\infty$ perturbations of $K$ while the logarithmic form persists; the paper does not discuss this continuity.
- The method suggests that the extra $|u|$-integrability condition in Theorems 1.2 and 1.3 may be relaxable: the representation formula already controls the singular terms, so a weaker integrability hypothesis might suffice.
- A natural test of sharpness is the radial family $u_\alpha=\alpha\ln r$ with $K=0$; finite volume holds exactly for $\alpha>-2$ (or $\alpha>-n$), matching the theorem's range, so the range is likely optimal.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies isolated singularities of the conformal Gaussian curvature equation -Δu=K(x)e^u in a punctured disk and of the higher-order analogue (-Δ)^{n/2}u=K(x)e^u in dimensions n≥3. Under the assumptions that K∈L^∞ is nonnegative and that ∫e^u is finite (plus, in higher dimensions, a mild integrability condition on |u| near the puncture), the authors claim that every such solution has the asymptotic form u(x)=α ln|x|+ϕ(x) with a Hölder continuous remainder ϕ, where α>-2 for n=2 and α>-n for n≥3. The proof is based on a representation theorem for polyharmonic Poisson equations with sign-changing solutions, followed by sector arguments that exclude derivative singularities, and potential estimates that yield Hölder regularity of the remainder. The paper also states an extension to odd dimensions using a distributional formulation of the nonlocal operator (-Δ)^{n/2}.
Significance. If the proof is completed, the results are significant: they provide a PDE proof of the known constant-K logarithmic asymptotics for the Gaussian curvature equation, extend the conclusion to variable L^∞ nonnegative K with no flatness conditions, and exhibit stability of the asymptotics under C^0 perturbations of K, in contrast to the scalar curvature equation. The approach is unified across the second-order, higher-order even-dimensional, and nonlocal odd-dimensional settings, and the representation theorem in Section 2 is of independent interest. The paper is largely self-contained and the main architecture of the proof is convincing; however, one of the key integrability claims in the odd-dimensional case is false as stated, and one application of a cited estimate needs explicit verification.
major comments (2)
- [§3.3, Lemma 3.2] The proof of Lemma 3.2 asserts that for v defined in (67), the bound |v(x)|≤C ln|x| for large |x| implies v∈L^{n/2}(R^n). This implication is false for n≥3: if ∫f>0, then |v(x)| is comparable to ln|x| on a set of positive measure, and ∫_{|x|>R}(ln|x|)^{n/2}dx diverges. In the application to Theorem 1.3, f=Ke^u≥0 and ∫f>0 unless K≡0, so this is a genuine obstruction. The subsequent step defining w=u−v∈L^{n/2}(R^n) and treating (−Δ)^{n/2}w as a tempered distribution supported at {0} is therefore not justified as written. The gap appears repairable, for example by replacing v with a modified potential v~(x)=∫[ln(5/|x−y|)−ln(5/|x|)]f(y)dy, which has |v~(x)|≤C(1+|x|)^{-1} and satisfies (−Δ)^{n/2}v~=f in B1\{0}; however, the representation (66) and the subsequent estimates in the proof of Theorem 1.3 must be re-derived for the modified potential.
- [§3.1, proof of Theorem 1.1, equations (42)-(43)] The proof applies Brézis–Merle [3, Theorem 1, Corollary 1 and Remark 2] to the equation −Δv=V e^v with V=5^{−α}K e^h |x|^α. This potential is unbounded near the origin because α>−2, so the hypotheses of the cited theorem are not automatically satisfied if that theorem is stated for bounded potentials. The authors should either state the precise variant of [3] they are invoking and verify that V∈L^p for some p>1 and ∫V e^v<∞ are sufficient, or provide a self-contained argument as is done in Lemma 3.1 and the odd-dimensional case. This point is load-bearing because the conclusion e^v∈L^p underlies the W^{2,p} estimate and the Hölder regularity of ϕ in Theorem 1.1.
minor comments (5)
- [Theorem 1.4 statement] The text 'n /greaterorequalslant2m' should read 'n≥2m'.
- [Lemma 3.2] There is a typo 'h ∈∈ L^{n/2}(R^n)'; it should be 'h∈L^{n/2}(R^n)'.
- [Lemma 3.1, inequality (60)] The inequality ∫_{B_r}(5/|x−y|)^{k c_m}dx ≤ ∫_{B_r}(5/|x|)^{k c_m}dx is not literally true for every y∈B_r because the ball is not translation-invariant; the right-hand side should be an integral over a slightly enlarged ball with a harmless constant. The intended estimate is correct, but the line as written is imprecise.
- [Theorem 1.3, proof of conclusion (i)] The proof of conclusion (i) is omitted with the remark that it is similar to that of Theorem 1.2. Since the odd-dimensional setting is nonlocal and the fundamental solution is logarithmic, the analogous sector argument should be sketched or at least the necessary modifications explained.
- [Abstract] There is a typographical error 'con formal' in the abstract; it should be 'conformal'.
Circularity Check
No significant circularity: the asymptotic logarithmic forms are derived from an internal representation formula and standard external estimates; self-citations are contextual only.
full rationale
The paper's central claims are not equivalent to their inputs by construction. The asymptotic form u = α ln|x| + φ is obtained after the fact: Theorem 1.4 is proved in Section 2 and yields the representation u = N + h + Σ aβDβφ; the coefficient α is then defined as -a0/(2π) (or -cma0) after the integrability of e^u rules out the higher-order singular terms. Thus α is not a fitted parameter and the logarithmic form is not assumed. The Hölder regularity of φ rests on standard external tools: Brezis-Merle [3] or the paper's own Lemma 3.1 for exponential integrability, classical W^{2,p}/W^{2m,p} estimates, and potential estimates from Gilbarg-Trudinger [20]. These are independent published results, not outputs of the present paper. Citations involving author Hui Yang, such as [23], [29], and [16], are used only as background or as related later developments and do not carry any step of the proof. There is, however, a genuine mathematical gap in Lemma 3.2: the assertion that |v(x)| ≤ C ln|x| implies v ∈ L^{n/2}(R^n) is false for n ≥ 3 when the total mass of f is positive. This makes the proof of Theorem 1.3 incomplete as written, but it is a repairable correctness gap, not a circularity, because the conclusion is not assumed or fitted.
Assumptions & free parameters
assumptions (5)
- standard math A distribution supported at a single point is a finite linear combination of derivatives of the Dirac delta.
- domain assumption Brezis-Merle exponential integrability: for -Δv=V e^v with V in a suitable L^q class and ∫V e^v finite, one has e^v∈L^p for all p.
- standard math Polyharmonic maximum principle in Lemma 3.1: if (-Δ)^m v≥0 in B_r and (-Δ)^i v≥0 on ∂B_r for i=0,...,m-1, then (-Δ)^i v≥0 in B_r.
- standard math Regularity of homogeneous solutions: (-Δ)^{n/2}h=0 in B1 implies h∈C∞(B1), including for nonlocal odd n.
- standard math φ(x)=c_n ln(5/|x|) is a fundamental solution of (-Δ)^{n/2} in R^n for all n, including odd n.
Cite this review
Pith. "Pith review of On isolated singularities of the conformal Gaussian curvature equation and $Q$-curvature equation." pith.science (2026). https://pith.science/paper/WA4D53W3
@misc{pith2026250208318,
author = {Pith},
title = {Pith review of: On isolated singularities of the conformal Gaussian curvature equation and $Q$-curvature equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/WA4D53W3}},
note = {Machine review of arXiv:2502.08318}
}
abstract
In this paper, we study the isolated singularities of the conformal Gaussian curvature equation \[ -\Delta u = K(x) e^{u} \quad ~ in ~ B_{1} \setminus \{ 0 \}, \] where $B_1 \setminus \{ 0 \} \subset \mathbb{R}^2$ is the punctured unit disc. Under the assumption that the Gaussian curvature $K \in L^\infty(B_1)$ is nonnegative, we establish the asymptotic behavior of solutions near the singularity. When $K \equiv 1$, a similar result has been obtained by Chou and Wan (Pacific J. Math. 1994) using the method of complex analysis. Our proof is entirely based on the PDE method and applies to the general Gaussian curvature $K(x)$. Furthermore, our approach is also available for characterizing isolated singularities of the conformal $Q$-curvature equation $(-\Delta)^{\frac{n}{2}} u = K(x) e^{u}$ in any dimension $n\geq 3$. This equation arises from the prescribing $Q$-curvature problem.
Reference graph
Works this paper leans on
-
[3]
H. Br´ ezis, F. Merle, Uniform estimates and blow-up behavior for solutions of −∆ u = V (x)eu in two dimensions . Comm. Partial Differential Equations 16 (1991), no. 8-9, 1223- 1253
work page 1991
-
[1]
J. H. Andrade, J. M. do ´O, Asymptotics for singular solutions to conformally invariant fourth order systems in the punctured ball . J. Differential Equations 413 (2024), 190-239
work page 2024
-
[2]
H. Br´ ezis, P .-L. Lions, A note on isolated singularities for linear elliptic equati ons. Math- ematical analysis and applications, Part A, pp. 263-266, Ad v. Math. Suppl. Stud., 7a, Aca- demic Press, New Y ork-London, 1981
work page 1981
-
[4]
L. Caffarelli, B. Gidas, J. Spruck, Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth . Comm. Pure Appl. Math. 42 (1989), no. 3, 271-297. 17
work page 1989
- [5]
- [6]
-
[7]
C.-C. Chen, C.-S. Lin, Estimates of the conformal scalar curvature equation via th e method of moving planes. Comm. Pure Appl. Math. 50 (1997), no. 10, 971-1017
work page 1997
-
[8]
C.-C. Chen, C.-S. Lin, On the asymptotic symmetry of singular solutions of the scal ar cur- vature equations. Math. Ann. 313 (1999), no. 2, 229-245
work page 1999
Show all 43 references
-
[9]
W. Chen, C. Li, Classification of solutions of some nonlinear elliptic equa tions. Duke Math. J. 63 (1991), no. 3, 615-622
1991
-
[10]
W. Chen, C. Li, Qualitative properties of solutions to some nonlinear elli ptic equations in R2. Duke Math. J. 71 (1993), no. 2, 427-439
1993
-
[11]
W. Chen, C. Li, What kinds of singular surfaces can admit constant curvatur e? Duke Math. J. 78 (1995), no. 2, 437-451
1995
-
[12]
Cheng, C.-S
K.-S. Cheng, C.-S. Lin, On the asymptotic behavior of solutions of the conformal Gau ssian curvature equations in R2. Math. Ann. 308 (1997), no. 1, 119-139
1997
-
[13]
Cheng, W.-M
K.-S. Cheng, W.-M. Ni, On the structure of the conformal Gaussian curvature equati on on R2. Duke Math. J. 62 (1991), no. 3, 721-737
1991
-
[14]
Chou, Y .-H
K.-S. Chou, Y .-H. Wan, Asymptotic radial symmetry for solutions of ∆ u +eu = 0 in a punctured disc. Pacific J. Math. 163 (1994), no. 2, 269-276
1994
-
[15]
Djadli, A
Z. Djadli, A. Malchiodi, Existence of conformal metrics with constant Q-curvature. Ann. of Math. (2) 168 (2008), no. 3, 813-858
2008
-
[16]
X. Du, H. Y ang, Asymptotic expansions for conformal scalar curvature equa tions near iso- lated singularities. arXiv:2402.16597
-
[17]
Futamura, K
T. Futamura, K. Kishi, Y . Mizuta, A generalization of B ˆocher’s theorem for polyharmonic functions. Hiroshima Math. J. 31 (2001), no. 1, 59-70
2001
-
[18]
Garofalo, Fractional thoughts
N. Garofalo, Fractional thoughts. New developments in the analysis of nonlocal operators, 1-135, Contemp. Math., 723, Amer. Math. Soc., 2019
2019
-
[19]
Ghergu, A
M. Ghergu, A. Moradifam, S. Taliaferro, Isolated singularities of polyharmonic inequalities. J. Funct. Anal. 261 (2011), no. 3, 660-680
2011
-
[20]
Gilbarg, N
D. Gilbarg, N. Trudinger, Elliptic partial differential equations of second order . Reprint of the 1998 edition. Classics in Mathematics. Springer-V erlag, Berlin, 2001
1998
-
[21]
Z. Guo, Z. Liu, Asymptotic behavior of solutions for some elliptic equatio ns in exterior domains. Pacific J. Math. 309 (2020), no. 2, 333-352
2020
-
[22]
Z. Guo, Z. Liu, F. Wan, Asymptotic expansions for singular solutions of conformal Q- curvature equations. J. Geom. Anal. 32. (2022), no. 7, Paper No. 193, 44 pp
2022
-
[23]
Z. Guo, F. Wan, Y . Y ang,Asymptotic expansions for singular solutions of ∆ u +eu = 0 in a punctured disc. Calc. V ar. Partial Differential Equations 60 (2021), no. 1, Paper No. 51, 35 pp. 18
2021
-
[24]
Q. Han, X. Li, Y . Li, Asymptotic expansions of solutions of the Yamabe equation a nd the σk-Yamabe equation near isolated singular points . Comm. Pure Appl. Math. 74 (2021), no. 9, 1915-1970
2021
-
[25]
Han, Prescribing Gaussian curvature on S2
Z.-C. Han, Prescribing Gaussian curvature on S2. Duke Math. J. 61 (1990), no. 3, 679-703
1990
-
[26]
Hyder, G
A. Hyder, G. Mancini, L. Martinazzi, Local and nonlocal singular Liouville equations in Euclidean spaces. Int. Math. Res. Not. IMRN (2021), no. 15, 11393-11425
2021
-
[27]
T. Jin, A. Maalaoui, L. Martinazzi, J. Xiong, Existence and asymptotics for solutions of a non-localQ-curvature equation in dimension three. Calc. V ar. Partial Differential Equations 52 (2015), no. 3-4, 469-488
2015
-
[28]
T. Jin, J. Xiong, Asymptotic symmetry and local behavior of solutions of high er order con- formally invariant equations with isolated singularities . Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire38 (2021), no. 4, 1167-1216
2021
-
[29]
T. Jin, H. Y ang, Local estimates for conformal Q-curvature equations. J. Funct. Anal. 285 (2023), no. 2, Paper No. 109940, 70 pp
2023
-
[30]
Kazdan, Prescribing the curvature of a Riemannian manifold
J. Kazdan, Prescribing the curvature of a Riemannian manifold . NSF-CBMS Regional Con- ference Lecture Notes 57 (1985)
1985
-
[31]
Korevaar, R
N. Korevaar, R. Mazzeo, F. Pacard, R. Schoen, Refined asymptotics for constant scalar cur- vature metrics with isolated singularities . Invent. Math. 135 (1999), no. 2, 233-272
1999
-
[32]
Li, Local asymptotic symmetry of singular solutions to nonline ar elliptic equations
C. Li, Local asymptotic symmetry of singular solutions to nonline ar elliptic equations . In- vent. Math. 123 (1996), no. 2, 221-231
1996
-
[33]
Lin, Estimates of the scalar curvature equation via the method of moving planes III
C.-S. Lin, Estimates of the scalar curvature equation via the method of moving planes III . Comm. Pure Appl. Math. 53 (2000), no. 5, 611-646
2000
-
[34]
Malchiodi, M
A. Malchiodi, M. Struwe, Q-curvature flow on S4. J. Differential Geom. 73 (2006), no. 1, 1-44
2006
-
[35]
Moser, On a nonlinear problem in differential geometry
J. Moser, On a nonlinear problem in differential geometry . Dynamical systems (Proc. Sym- pos., Univ. Bahia, Salvador, 1971), pp. 273-280 Academic Pr ess, Inc. [Harcourt Brace Jo- vanovich, Publishers], New Y ork-London, 1973
1971
-
[36]
Ratzkin, On constantQ-curvature metrics with isolated singularities
J. Ratzkin, On constantQ-curvature metrics with isolated singularities . arXiv:2001.07984
2001 arXiv
-
[37]
Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace opera- tor
L. Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace opera- tor. Comm. Pure Appl. Math. 60 (2007), no. 1, 67-112
2007
-
[38]
Taliaferro, Existence of large singular solutions of conformal scalar c urvature equations in Sn
S. Taliaferro, Existence of large singular solutions of conformal scalar c urvature equations in Sn. J. Funct. Anal. 224 (2005), no. 1, 192-216
2005
-
[39]
Taliaferro, L
S. Taliaferro, L. Zhang, Arbitrarily large solutions of the conformal scalar curvature problem at an isolated singularity . Proc. Amer. Math. Soc. 131 (2003), no. 9, 2895-2902
2003
-
[40]
Taliaferro, L
S. Taliaferro, L. Zhang, Asymptotic symmetries for conformal scalar curvature equa tions with singularity. Calc. V ar. Partial Differential Equations 26 (2006), no. 4, 401-428
2006
-
[41]
J. Wei, X. Xu, On conformal deformations of metrics on Sn. J. Funct. Anal. 157 (1998), no. 1, 292-325. 19
1998
-
[42]
J. Wei, X. Xu, PrescribingQ-curvature problem on Sn. J. Funct. Anal. 257 (2009), no. 7, 1995-2023
2009
-
[43]
Zhang, Refined asymptotic estimates for conformal scalar curvatur e equation via moving sphere method
L. Zhang, Refined asymptotic estimates for conformal scalar curvatur e equation via moving sphere method. J. Funct. Anal. 192 (2002), no. 2, 491-516. Hui Y ang School of Mathematical Sciences, CMA-Shanghai Shanghai Jiao Tong University, Shanghai 200240, China Email: hui-yang@sj...
2002
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.