Blow-up phenomena for the constant scalar curvature and constant boundary mean curvature equation

Nan Wu; Xuezhang Chen

REVIEW 2 major objections 6 minor 23 references

Blow-up phenomena for the constant scalar curvature and constant boundary mean curvature equation

T0 review · 2 major / 6 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 In dimensions at least 62, the boundary Yamabe-type equation has noncompact sets of lower-energy solutions.

desk verdict A solid Brendle-style blow-up construction for the boundary Yamabe equation with both constants positive, dimensions n≥62, but Theorem 6.2 has a genuine gap: Proposition 6.1 is applied to a summed metric it does not cover. read the letter →

arxiv 1908.04815 v1 pith:4VZUCQIZ submitted 2019-08-13 math.DG math.AP

Xuezhang Chen , Nan Wu This is my paper · ORCID

classification math.DGmath.AP MSC 53C2135J2035B3334B18

keywords manifoldwithboundaryconstantscalarcurvaturemeanblow-upnoncompactnessLyapunov-SchmidtreductionYamabeproblemumbilic

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper constructs a smooth counterexample to compactness for the constant scalar curvature / constant boundary mean curvature equation (1.1) on the upper hemisphere $S^n_+$ when $n\ge 62$. It produces a metric with positive Yamabe constant, non-conformally flat interior, and umbilic boundary, together with a sequence of positive smooth solutions whose energy is below the single-bubble threshold $S_c$ but whose boundary maximum blows up. This shows that the lower-energy solution set is noncompact, settling the boundary analogue in high dimensions without identifying the sharp dimension. The paper also gives a warped-product example, valid for $n\ge5$, where the equation admits at least two distinct positive solutions.

What carries the argument

The central mechanism is a Lyapunov-Schmidt reduction to a family of half-space bubbles $u_{(\xi,\epsilon)}$ solving the flat model equation, with the linearized operator inverted on the orthogonal complement $E_{(\xi,\epsilon)}$. The reduced energy is a function $F_g(\xi,\epsilon)$ whose critical points yield solutions of (1.1); $F_g$ is approximated by $\lambda^4\mu^2F(\xi,\epsilon)$, where the auxiliary function $F$ is built from a trace-free, divergence-free tensor $H_{ij}(x)=f(|x'|^2)(W_{ikjl}x_kx_l)$ encoding the Weyl curvature of the perturbation. Choosing $f(s)=a_0-s$ with $a_0$ fixed by the discriminant condition forces the integral identities $I(1)>0$, $I'(1)=0$, $I''(1)<0$, and $J(1)<0$, so $F$ has a strict local minimum at $(0,1)$. Scaling the bubble parameters by $\lambda$ and the metric bump by $\mu\lambda^2$ converts this local minimum into a genuine solution of the nonlinear equation.

What would settle it

Compute the reduced functional $F_g(\lambda\xi,\lambda\epsilon)$ directly for the summed-bump metric of Theorem 6.2 and check whether cross terms between adjacent bumps violate the bound used in Proposition 6.1. If the cross-term error exceeds the strict-minimum margin $F(0,1)-\inf_{\partial\Omega'}F$, the perturbation argument produces no critical point and Theorem 1.1 collapses.

Watch

Extended reading notes

Core claim

For every $n\ge62$, there is a smooth Riemannian metric $g$ on $S^n_+$ with $Y(S^n_+,\partial S^n_+,[g])>0$, $g$ not conformally flat, and $\partial S^n_+$ umbilic, such that equation (1.1) has positive smooth solutions $v_\nu$ with $I(S^n_+,g)[v_\nu]<S_c$ and $\sup_{\partial S^n_+}v_\nu\to\infty$. In other words, solutions sitting strictly below the energy of a single boundary bubble can concentrate and leave every compact set, so the lower-energy solution set is not compact in this dimension range. The construction is the boundary version of the known high-dimensional blow-up phenomenon for the closed Yamabe problem, adapted to the free functional $I$ and its threshold $S_c$.

Load-bearing premise

The existence step is proved only for a single metric bump supported in $B_\rho^+$ and zero outside, while the final metric is an infinite sum of such bumps whose supports overlap (the $N$-th bump reaches radius about $0.7/N$ while neighboring centers are separated by about $1/N^2$); the paper does not establish that the other bumps' contributions are negligible in the reduction.

Editorial extensions

If this is right

For $n\ge62$ there exist metrics on $S^n_+$ for which a sequence of positive smooth solutions to (1.1) blows up on the boundary while each solution has energy below $S_c$; the lower-energy solution set is therefore noncompact.
Positive Yamabe constant, non-conformally flat interior, and umbilic boundary do not together prevent boundary bubbling below the energy threshold.
The warped-product construction gives non-uniqueness in all dimensions $n\ge5$: the constant solution $1$ coexists with a mountain-pass solution for suitable metrics.
The paper leaves open the critical dimension; no blow-up below $n=62$ is claimed, and compactness in lower dimensions is not excluded.

Reading between the lines

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

Supplying the missing cross-bump estimates for the summed metric would likely extend the same local-minimum mechanism to lower dimensions: the restriction to $n\ge62$ comes from a discriminant inequality for the polynomial $f$, not from a structural obstruction.
A similar reduction should yield boundary bubbling for other conformally covariant boundary problems, such as the fractional Yamabe or prescribed $Q$-curvature equations, wherever a single-bubble expansion with a Weyl-type tensor is available.
In the warped-product example, tracking the mountain-pass solution as the warping factor $k\to\infty$ would give a quantitative picture of how the two solutions separate, and might indicate a general multiplicity count for this PDE.

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.

Desk Editor's Note

read the letter

The real content here is the Lyapunov-Schmidt machinery in Sections 4-5. The paper adapts Brendle's closed-manifold counterexample and Almaraz's boundary work to the full equation (1.1) with c1,c>0, and the algebraic estimates that force the dimension threshold n≥62 look correct. The warped-product non-uniqueness example in Section 2 is a nice bonus. I checked the discriminant calculation in Proposition 5.9 and the q(62)>0 boundary: that part holds up. If the main theorem were fully justified, this would be the first non-compactness result for lower-energy solutions with both constants positive, which is exactly the direction Han-Li asked about.

The soft spot is in Theorem 6.2. Proposition 6.1 assumes the metric perturbation h is a single bump supported in B_ρ and zero outside. Theorem 6.2 defines h as an infinite sum of such bumps and invokes Proposition 6.1 with parameters for each bump. The stress-test note's specific overlap objection is actually mistargeted: the cut-off χ(4N^2|x-x_N|) has support radius about 1/(2N^2), which is smaller than the inter-center spacing ~1/N^2, so the supports do not overlap; there is even a positive gap. But the broader logical gap remains. Even with disjoint supports, the summed h is not equal to a single bump globally. Proposition 6.1 requires h=0 outside B_ρ, and Theorem 6.2 does not estimate the effect of the other bumps on the reduced functional F_g. Because the bubble width λ=2^{-N/2} is exponentially small compared with the inter-center distance ~1/N^2, the missing interaction estimate should be obtainable, and I suspect the theorem is true. But as written, Theorem 6.2 does not follow from Proposition 6.1.

I also note the paper leans on the authors' earlier existence results [5,6] for the non-uniqueness example. That is legitimate, though a referee should ask whether those results cover the warped product case without extra hypotheses. The citation pattern is otherwise standard for this literature.

Who is this for? Geometric analysts working on Yamabe-type problems with boundary. It is a technical paper, not a survey, and the construction is the point. It deserves a serious referee: the gap is fillable and the claimed result is significant. I would send it out, with the referee asked to focus on whether the summed metric can be handled by a perturbation/tail estimate or whether Proposition 6.1 needs to be reworked. If that gap is closed, this is publishable in a strong journal.

Referee Report

2 major / 6 minor

Summary. The paper has two main results. First, Proposition 2.1 constructs a warped product manifold with boundary on which the conformal equation (1.1) with constant positive scalar and boundary mean curvature terms has at least two positive solutions. Second, for n≥62, Theorem 1.1 claims existence of a smooth metric on S^n_+ with positive Yamabe constant, non-conformally-flat, umbilic boundary, and a sequence of positive solutions to (1.1) with c1,c>0, energies below the single-bubble threshold S_c, and boundary sup-norms blowing up. The proof follows the Brendle-Almaraz strategy: Lyapunov-Schmidt reduction on R^n_+ (Section 3), expansion of the reduced energy F_g (Section 4), construction of an auxiliary function F with a strict local minimum at (0,1) via a carefully chosen quadratic polynomial (Section 5), and a perturbation argument (Section 6). The non-compactness conclusion is obtained by applying a single-bubble existence result (Proposition 6.1) to each of infinitely many local bumps and summing them into one metric h.

Significance. If the proof were complete, Theorem 1.1 would be a substantial result: it gives the first non-compactness for the positive-constant scalar curvature and constant boundary mean curvature equation in dimensions n≥62, complementing the compactness results of Han-Li and the boundary blow-up results of Almaraz for the scalar-flat case. The explicit construction in Section 5—choosing the polynomial coefficient a0 via the discriminant of a quadratic and verifying I(1)>0, I'(1)=0, I''(1)<0, J(1)<0—is concrete and checkable, and the energy expansions in Section 4 are detailed. The main theorem, however, is not established by the current argument because Theorem 6.2 applies a single-bump proposition to an infinite-sum metric without the required interaction estimates.

major comments (2)

[Section 6 (Theorem 6.2)] The proof invokes Proposition 6.1 for the infinite-sum metric h(x)=Σ_N χ(4N^2|x-x_N|)2^{-N}f(2^N|x'-x_N|^2)H(x-x_N). Proposition 6.1 requires h to vanish identically outside B_ρ^+ and to equal μλ^2 f(λ^{-2}|x'|^2)H(x) inside B_ρ^+. The summed h fails this: the N-th bump has support radius about (2N^2)^{-1}, while neighboring centers are separated by about N^{-2}, so supports overlap, and the other summands as well as the cutoff annulus are never estimated in the expansion of F_g(λξ,λε) from Corollary 4.6. Without such estimates, the existence of solutions for the summed metric does not follow from Proposition 6.1, so Theorem 1.1 is not proven by the stated argument.
[Section 6 (Theorem 6.2)] The parameter choice in the invocation of Proposition 6.1 is inconsistent. With λ=2^{-N/2}, the N-th summand equals λ^2 f(λ^{-2}|y'|^2)H(y) up to the cutoff, whereas Proposition 6.1 defines h_ij=μλ^2 f(λ^{-2}|x'|^2)H_ij(x). Matching the two forms forces μ=1, not μ=2^{-N} as stated. With the stated μ=2^{-N}, the single-bump metric in Proposition 6.1 is smaller by a factor 2^N than the actual N-th bump in the summed metric, so the leading-order and error terms in Corollary 4.6 are evaluated for the wrong perturbation size. This is readily corrected by taking μ=1, but the correction does not address the interaction gap.

minor comments (6)

[Title page] The title contains a typo: 'con stant' should be 'constant'; Proposition 2.1 states 'c1,c2>0' but the equation and proof use c, not c2.
[Section 4 (proof of Proposition 4.1)] The citation in the proof is incomplete: '[?, Theorems 8.25 and 8.26]e have' should refer to [11] (Gilbarg-Trudinger) and should be written correctly.
[Section 2] The notation ω_n is used in the computation of Sc(∞) without a definition; the authors should state explicitly that ω_n denotes the volume of the unit n-sphere.
[Section 5] The Euler beta function B(·,·) appears in equations (5.4)-(5.6) without definition or reference; it should be identified for the reader.
[Section 6 (Theorem 6.2)] The infinite sum defining h is asserted to be smooth; the proof should justify uniform convergence of the sum and of its derivatives after choosing N0 large, given the bounds on χ and f.
[Theorem 1.1] The passage from the half-space metric of Theorem 6.2 to the closed hemisphere S^n_+ in Theorem 1.1 is not spelled out; this is standard since the metric is Euclidean outside a compact set and the boundary is totally geodesic, but it should be stated explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the blow-up construction is self-contained; self-citations are secondary, and the noted proof gaps are rigor gaps, not circularity.

full rationale

The proof of Theorem 1.1 is a Lyapunov–Schmidt reduction. It defines the reduced functional F_g and approximates it by an auxiliary functional F; the strict local minimum of F at (0,1) is obtained by an explicit choice of f(s)=a0−s with a0 determined by the algebraic condition I'(1)=0 and verified inequalities I(1)>0, I''(1)<0, J(1)<0 in Proposition 5.9 and Lemmas 5.7–5.8. This is a construction, not a fitted prediction: no solution data are used to choose a0, and the approximation estimates in Propositions 4.1–4.5 and Corollary 4.6 are proved within the paper. The self-citations [5] and [6] are used for a prior existence theorem in the secondary non-uniqueness example (Proposition 2.1) and for a coordinate picture, so they are not load-bearing for the main non-compactness claim. Two non-circular issues are noted and weighed: in the proof of Theorem 6.2, Proposition 6.1 (stated for a single bump supported in B_rho) is applied to an infinite sum of bumps without estimating the interaction of neighboring terms; and the proof of Proposition 4.1 contains a missing citation marker '[?]'. These are rigor/editorial gaps that may affect correctness, but they do not make any derived claim equal to its inputs by construction.

Assumptions & free parameters 3 free parameters · 5 assumptions · 0 invented entities

The central existence theorem is an existential construction, so it is legitimate to choose parameters (a0, W, polynomial degree) to make the reduced functional have a critical point. The main external inputs are prior analytic results: the spectral gap for the bubble, Sobolev trace inequalities, Cherrier regularity, and the existence theorem [5] used for the non-uniqueness example. No empirical data or fitted constants are involved.

free parameters (3)

a0 = explicit formula (5.10): a0 = (n+3)c1/[2(n-7)c0] * [3 + sqrt(9 - 8(n+7)(n-7)/((n+3)(n-9)) c0 c2 / c1^2)]
Chosen by hand to enforce I'(1)=0 in the auxiliary function F; this is a construction parameter, not fitted to external data.
Tc = negative constant, with c = -(n-2)Tc > 0
Bubble center offset parameter; fixed by the choice of c>0 in the PDE. It appears throughout the bubble definition and the energy computations.
polynomial degree d = 1
The polynomial f is chosen of degree 1; this satisfies the decay condition d < (n-6)/4 for n≥62 and makes the algebra tractable.

assumptions (5)

domain assumption Existence of a compact manifold (M1,g1) with positive constant scalar curvature and positive constant boundary mean curvature, from [5]
Used in Proposition 2.1 to build the warped product non-uniqueness example; not proved in this paper.
domain assumption Spectral gap estimate (3.5) on the spherical cap for the linearized boundary operator, from [12, Proposition 3.4]
Provides the coercivity constant µ in Proposition 3.1, which underpins the Lyapunov-Schmidt reduction.
standard math Sobolev trace inequality (3.3) of Escobar
Used to bound nonlinear terms in the Lyapunov-Schmidt reduction in Section 3.
domain assumption Existence of a boundary Weyl tensor W on R^{n-1} with (W_ikjl+W_iljk)^2 > 0
The metric perturbation h is built from W; such W exists for n≥5 (hence n≥62) but is not constructed here.
standard math Regularity theory of Cherrier for the boundary PDE
Used to conclude smoothness of the constructed solutions in Proposition 3.5.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Blow-up phenomena for the constant scalar curvature and constant boundary mean curvature equation." pith.science (2026). https://pith.science/paper/4VZUCQIZ

@misc{pith2026190804815,
  author       = {Pith},
  title        = {Pith review of: Blow-up phenomena for the constant scalar curvature and constant boundary mean curvature equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4VZUCQIZ}},
  note         = {Machine review of arXiv:1908.04815}
}

abstract

We first present a warped product manifold with boundary to show the non-uniqueness of the positive constant scalar curvature and positive constant boundary mean curvature equation. Next, we construct a smooth counterexample to show that the compactness of the set of "lower energy" solutions to the above equation fails when the dimension of the manifold is not less than $62$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

[1]

Almaraz, Blow-up phenomena for scalar-ﬂat metrics on manifolds with boundary, J

S. Almaraz, Blow-up phenomena for scalar-ﬂat metrics on manifolds with boundary, J. Differential Equations 251 (2011) ,1813-1840

work page 2011
[2]

Aubin, Some nonlinear problems in Riemannian geometry , Springer Monographs in Mathematics, Springer-V erlag, Berlin, 1998

T. Aubin, Some nonlinear problems in Riemannian geometry , Springer Monographs in Mathematics, Springer-V erlag, Berlin, 1998

work page 1998
[3]

Brendle, Blow-up phenomena for the Y amabe equation , J

S. Brendle, Blow-up phenomena for the Y amabe equation , J. Amer. Math. Soc. 21 (2008), no. 4, 951-979

work page 2008
[4]

Brendle and F

S. Brendle and F. Marques, Blow-up phenomena for the Y amabe equation II, J. Differential Geom. 81 (2009), no. 2, 225-250

work page 2009
[5]

X. Chen, Y . Ruan and L. Sun, The Han-Li conjecture in constant scalar curvature and constant bound- ary mean curvature problem on compact manifolds , preprint (2018), 49 pages, arXiv:1805.09597. 29

work page Pith review arXiv 2018
[6]

Chen and L

X. Chen and L. Sun, Existence of conformal metrics with constant scalar curvat ure and constant boundary mean curvature on compact manifolds , Commun. Contemp. Math. 21 (2019), no. 3, 1850021, 51 pp

work page 2019
[7]

Cherrier, Probl`emes de Neumann non lin ´eaires sur les vari ´et´es Riemannienes , J

P . Cherrier, Probl`emes de Neumann non lin ´eaires sur les vari ´et´es Riemannienes , J. Funct. Anal. 57 (1984) 154-206

work page 1984
[8]

Druet, Compactness for Y amabe metrics in low dimensions, Internat

O. Druet, Compactness for Y amabe metrics in low dimensions, Internat. Math. Res. Notices. 23 (2004) 1143-1191

work page 2004

Show all 23 references

[9]

Escobar, Conformal deformation of a Riemannian metric to a constant s calar curvature metric with constant mean curvature on the boundary , Indiana Univ

J. Escobar, Conformal deformation of a Riemannian metric to a constant s calar curvature metric with constant mean curvature on the boundary , Indiana Univ. Math. J. 45(4), (1996), 917-943

1996
[10]

Escobar, Uniqueness theorems on conformal deformation of metrics, S obolev inequalities, and an eigenvalue estimate, Comm

J. Escobar, Uniqueness theorems on conformal deformation of metrics, S obolev inequalities, and an eigenvalue estimate, Comm. Pure Appl. Math., 43 (1990), 857-883

1990
[11]

Gilbarg and N

D. Gilbarg and N. Trudinger, Elliptic partial differential equations of second order , Reprint of the 1998 edition. Classics in Mathematics. Springer-V erlag, Berlin, 2001

1998
[12]

Z. C. Han and Y . Y . Li,The existence of conformal metrics with constant scalar curvature and constant boundary mean curvature, Comm. Anal. Geom. 8 (2000), no. 4, 809-869

2000
[13]

Z. C. Han and Y . Y . Li,The Y amabe problem on manifolds with boundary: existence and compactness results, Duke Math. J. 99 (1999), no. 3, 489-542

1999
[14]

S. Kim, M. Musso and J. Wei, A non-compactness result on the fractional Y amabe problem i n large dimensions, J. Funct. Anal. 273 (2017), no. 12, 3759-3830

2017
[15]

Khuri, F

M. Khuri, F. Marques, and R. Schoen, A compactness theorem for the yamabe problem , J. Differential Geom. 81 (2009), no. 1, 143-196

2009
[16]

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

1995
[17]

Y . Y . Li and M. Zhu, Y amabe type equations on three-dimensional Riemannian man ifolds, Commun. Contemp. Math. 1 (1999) 1-50

1999
[18]

Li and L

Y .Y . Li and L. Zhang,Compactness of solutions to the Y amabe problem II, Calc. V ar. PDE. 24 (2005) 185-237

2005
[19]

Li and L

Y .Y . Li and L. Zhang,Compactness of solutions to the Y amabe problem III, J. Funct. Anal. 245 (2007) 438-474

2007
[20]

Marques, A priori estimates for the Y amabe problem in the non-locally conformally ﬂat case , J

F. Marques, A priori estimates for the Y amabe problem in the non-locally conformally ﬂat case , J. Differential Geom. 71 (2005) 315-346

2005
[21]

Schoen, V ariational theory for the total scalar curvature function al for Riemannian metrics and related topics , Topics in the calculus of variations (ed

R.M. Schoen, V ariational theory for the total scalar curvature function al for Riemannian metrics and related topics , Topics in the calculus of variations (ed. by Mariano Giaqui nta), Lecture Notes in Mathematics, 1365, Springer V erlag, 1989, 120-154

1989
[22]

Schoen, On the number of constant scalar curvature metrics in a confo rmal class , Differential geometry (ed

R. Schoen, On the number of constant scalar curvature metrics in a confo rmal class , Differential geometry (ed. by H. Blaine Lawson, Jr., and Keti Tenenblat), Pitman Monographs and Surveys in Pure and Applied Mathematics, 52, Longman Scientiﬁc & Techn ical, 1991, 311-320

1991
[23]

Wei and C

J. Wei and C. Zhao, Non-compactness of the prescribed Q-curvature problem in large dimensions , Calc. V ar. Partial Differential Equations 46 (2013), no. 1-2, 123-164. 30

2013

Pith tools

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

[1] [1]

Almaraz, Blow-up phenomena for scalar-ﬂat metrics on manifolds with boundary, J

S. Almaraz, Blow-up phenomena for scalar-ﬂat metrics on manifolds with boundary, J. Differential Equations 251 (2011) ,1813-1840

work page 2011

[2] [2]

Aubin, Some nonlinear problems in Riemannian geometry , Springer Monographs in Mathematics, Springer-V erlag, Berlin, 1998

T. Aubin, Some nonlinear problems in Riemannian geometry , Springer Monographs in Mathematics, Springer-V erlag, Berlin, 1998

work page 1998

[3] [3]

Brendle, Blow-up phenomena for the Y amabe equation , J

S. Brendle, Blow-up phenomena for the Y amabe equation , J. Amer. Math. Soc. 21 (2008), no. 4, 951-979

work page 2008

[4] [4]

Brendle and F

S. Brendle and F. Marques, Blow-up phenomena for the Y amabe equation II, J. Differential Geom. 81 (2009), no. 2, 225-250

work page 2009

[5] [5]

X. Chen, Y . Ruan and L. Sun, The Han-Li conjecture in constant scalar curvature and constant bound- ary mean curvature problem on compact manifolds , preprint (2018), 49 pages, arXiv:1805.09597. 29

work page Pith review arXiv 2018

[6] [6]

Chen and L

X. Chen and L. Sun, Existence of conformal metrics with constant scalar curvat ure and constant boundary mean curvature on compact manifolds , Commun. Contemp. Math. 21 (2019), no. 3, 1850021, 51 pp

work page 2019

[7] [7]

Cherrier, Probl`emes de Neumann non lin ´eaires sur les vari ´et´es Riemannienes , J

P . Cherrier, Probl`emes de Neumann non lin ´eaires sur les vari ´et´es Riemannienes , J. Funct. Anal. 57 (1984) 154-206

work page 1984

[8] [8]

Druet, Compactness for Y amabe metrics in low dimensions, Internat

O. Druet, Compactness for Y amabe metrics in low dimensions, Internat. Math. Res. Notices. 23 (2004) 1143-1191

work page 2004