Pith. sign in

REVIEW 3 minor 33 references

Energy asymptotics in the three-dimensional Brezis--Nirenberg problem

T0 review · 0 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read For critical potentials, small perturbations lower the sharp Sobolev energy quadratically, with the coefficient set by a nonlocal Green-function average.

desk verdict Solid, careful analysis that nails the 3D Brezis–Nirenberg energy gap at order ε^2; the reliance on Druet's theorem is real but standard. read the letter →

arxiv 1908.01331 v1 pith:T6CZ375U submitted 2019-08-04 math.AP

classification math.AP MSC 35J2035J6035B4046E35
keywords criticalSobolevexponentRobinfunctionzerosetGreen'sregularpartenergyasymptoticsalmostminimizerconcentrationnonlocalperturbationfunctionalthree-dimensionalinequality
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper studies the sharp Sobolev minimization problem in a bounded three-dimensional domain when the potential is critical—meaning its infimum already equals the sharp Sobolev constant and any pointwise smaller potential lowers it—and is then perturbed by a small multiple of an arbitrary bounded function. It proves that the first-order energy change vanishes, so the leading effect is a quadratic drop in the perturbation parameter, whose coefficient is a nonlocal average of the perturbation against the square of the Dirichlet Green function, optimized over the zero set of the Robin function. It also proves that almost minimizers concentrate at the optimizing point, with a blow-up rate proportional to the inverse perturbation size. The result matters because it identifies the precise order at which a critical threshold turns into strict subcritical behavior and gives a nearly sharp criterion for when a perturbation lowers the energy.

What carries the argument

The driving object is the zero set of the Robin function $\varphi_a(x)=H_a(x,x)$, the diagonal of the regular part of the Green function of $-\Delta+a$ with Dirichlet boundary conditions. Criticality forces $\varphi_a\ge0$ with a nonempty zero set, and the paper shows concentration must occur there. The new mechanism is the nonlocal functional $Q_V(x)=\int_\Omega V(y)G_a(x,y)^2\,dy$: negative values of $Q_V$ on $N_a$ select the concentration point and set the energy coefficient, so the perturbation acts through a Green-weighted average rather than pointwise. Technically, the argument is carried by projected bubbles $\psi_{x,\lambda}=PU_{x,\lambda}-\lambda^{-1/2}(H_a(x,\cdot)-H_0(x,\cdot))$ and by the coercivity of the quadratic form $\int_\Omega(|\nabla v|^2+av^2-15U_{x,\lambda}^4v^2)\,dy$ on the orthogonal complement of the finite-dimensional tangent space of the bubble ansatz; three successive applications of this coercivity extract the remainder structure to order $\epsilon^2$.

What would settle it

Work in the unit ball with the constant potential $a=-\pi^2/4$, which is critical and has $N_a=\{0\}$. For any bounded $V$ with $q_V=\int_B V(y)\cos^2(\pi|y|/2)/|y|^2\,dy<0$, the theorem predicts $S(a+\epsilon V)-S=-(3/S)^{1/2}(2\pi^4)^{-1}q_V^2\epsilon^2+o(\epsilon^2)$. A high-precision numerical minimization of the quotient over $H_0^1(B)$ for several small $\epsilon$ should reproduce this exact quadratic slope; a systematically different slope would falsify the theorem.

Watch

Extended reading notes

Core claim

The paper's central claim is a second-order energy expansion for the critical Sobolev quotient under a small potential perturbation. Let $G_a$ be the Dirichlet Green function of $-\Delta+a$, let $H_a(x,y)=|x-y|^{-1}-G_a(x,y)$ be its regular part, and set $\varphi_a(x)=H_a(x,x)$. For a critical $a$, one has $\varphi_a\ge0$ and the zero set $N_a=\{\varphi_a=0\}$ is nonempty. The paper proves that if $Q_V(x)=\int_\Omega V(y)G_a(x,y)^2\,dy$ is negative somewhere on $N_a$, then $S(a+\epsilon V)<S$ for all $\epsilon>0$ and $$S(a+\epsilon V)-S=-\left(\frac{3}{S}\right)^{1/2}\frac{1}{8\$pi^{2}$}\sup_{x\in N_a(V)}\frac{Q_V(x)^2}{|a(x)|}\$epsilon^{2}$+o(\$epsilon^{2}$),$$ with $N_a(V)=\{x\in N_a: Q_V(x)<0\}$. Moreover, almost minimizers concentrate at a point attaining the supremum and satisfy $\epsilon\lambda\to4\pi^2|a(x_0)|/|Q_V(x_0)|$. In the complementary case the drop is only $o(\epsilon^2)$, and if $Q_V$ is strictly positive on $N_a$ the energy stays exactly at $S$ for all sufficiently small $\epsilon$.

Load-bearing premise

The proof depends on a previously established result that, for a potential sitting exactly at the critical threshold, the minimization problem has no minimizer at all; without that result, the argument that almost minimizers must have zero weak limit, and hence the entire concentration decomposition, would collapse.

Editorial extensions

If this is right

  • If $N_a(V)\neq\emptyset$, the strict inequality $S(a+\epsilon V)<S$ holds for every $\epsilon>0$, and the energy drop is quadratic with the explicit leading coefficient given by the supremum of $Q_V^2/|a|$.
  • Any family of almost minimizers concentrates, along a subsequence, at a point in $N_a(V)$ maximizing $Q_V(x)^2/|a(x)|$, with the blow-up scale $\epsilon\lambda\to4\pi^2|a(x_0)|/|Q_V(x_0)|$.
  • If $N_a(V)=\emptyset$, the energy drop is only $o(\epsilon^2)$; if additionally $Q_V>0$ on $N_a$, the energy remains exactly at the Sobolev constant for all sufficiently small $\epsilon$.
  • The condition $N_a(V)\neq\emptyset$ is therefore almost necessary and sufficient for a small perturbation to lower the critical energy, with the only unresolved borderline being $\min_{N_a}Q_V=0$.
  • In the unit-ball example the whole formula becomes explicit: the coefficient is a universal constant times $q_V^2$, where $q_V=\int_B V(y)\cos^2(\pi|y|/2)/|y|^2\,dy$.

Reading between the lines

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

  • Because the coefficient is a Green-weighted average rather than a pointwise value, a sign-changing perturbation $V$ can lower the energy even where $V$ is locally positive, so the zero set of the Robin function acts as a nonlocal 'sensor' for the perturbation.
  • The iterative coercivity scheme is not obviously limited to two orders; pushing it further should produce the $\epsilon^3$ term and a systematic asymptotic expansion of $S(a+\epsilon V)$, likely with the same maximization principle applied to higher-order Green-function functionals.
  • The leftover borderline case $\min_{N_a}Q_V=0$ is a natural next target: there the $\epsilon^2$ coefficient vanishes, and one expects the next nonzero order to be governed by higher-order terms in the regular-part expansion around the zero set.
  • The same machinery could transfer to compact manifolds or to perturbations that depend on $\epsilon$ themselves, wherever a Dirichlet Green function and its Robin function are available.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. This paper studies the three-dimensional Brezis–Nirenberg problem for the functional S(a+εV) with a critical function a in the sense of Hebey and Vaugon. The main result, Theorem 1.3, gives a two-term asymptotic expansion of S(a+εV)-S with leading order -(3/S)^{1/2}(8π²)^{-1} sup_{x∈N_a(V)} Q_V(x)²/|a(x)| ε², where Q_V is defined via the Green's function G_a and N_a(V) is the subset of the Robin-function zero set where Q_V<0. Theorem 1.4 treats the complementary case N_a(V)=∅, showing S(a+εV)=S+o(ε²) and equality for small ε when Q_V>0 everywhere on N_a. Theorem 1.7 characterizes almost minimizers: they concentrate at maximizers of Q_V²/|a| in N_a(V), with ελ → 4π²|a(x_0)|/|Q_V(x_0)|. The upper bound is obtained by explicit trial functions ψ_{x,λ}; the lower bound is obtained through a three-stage bootstrap (Sections 4–6) using coercivity of a quadratic form on the orthogonal complement of the approximate kernel, together with a concentration-compactness argument for almost minimizers in Appendix B.

Significance. Assuming the main results are correct, this is a significant contribution: it computes a higher-order (ε²) asymptotic in the critical case where the first-order term cancels, and it shows that the coefficient is non-local (through Q_V) rather than pointwise in V. The proof is careful: the upper bound is parameter-free and the lower bound tracks error terms explicitly to o(ε²). The paper also gives precise concentration-point selection for almost minimizers, going beyond earlier works that identify only N_a. Strengths include the explicit two-sided bounds in Theorem 2.1, the transparent three-step refinement of the decomposition of almost minimizers, and the honest identification of the external input from Druet's non-attainment theorem in Proposition 3.1. I find no circularity or parameter fitting in the argument, provided the cited external theorem is sound.

minor comments (3)
  1. [Section 2.2, Lemma 2.6] The proof of Lemma 2.6 is omitted: the text says the proof is similar but simpler than that of Lemma 2.5. Since this lemma is used in the denominator expansion (2.3) and in the estimate leading to Lemma 6.6, the authors should supply the short proof or give a precise reference. In its present form this is a missing support for a step in the main argument; I do not regard it as fatal, but it should be fixed before publication.
  2. [Section 6.4, around (6.18)] The symbols 'opλ2q' and 'opǫλ´1q' in the display (6.18) and in the surrounding text should presumably read o(λ^{-2}) and o(ελ^{-1}), respectively. Please correct these typographical errors so the order estimates are unambiguous.
  3. [Appendix B, Step 1] The proof that u_ε converges weakly to zero imports Druet's non-attainment theorem [12, Step 1]. The authors note this dependence and that the relevant part of [12] requires only a∈L^{3/2}. For completeness, please state the imported theorem precisely and confirm that the hypotheses of the present setting (in particular, criticality in the sense of Definition 1.1 and the regularity of a) match those of [12, Step 1]. This is a clarification request about a load-bearing literature result, not an assertion of circularity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the asymptotic coefficient in (1.6) is computed from independently defined Green's-function data, and the cited non-attainment theorem is external support rather than a recycled input.

full rationale

The paper's main formula (1.6) expresses the ǫ² coefficient through Q_V, φ_a and a(x), all defined from the Green's function of −Δ+a before any asymptotic claim is made. The upper bound in Section 2 evaluates the quotient on explicit trial functions; the lower bound in Sections 4–6 uses coercivity, concentration-compactness and a three-step bootstrap, with no parameter fitted to the target coefficient. Proposition 3.1 and Appendix B establish the asymptotic form of almost minimizers using the external theorem of Druet that S(a) is not attained for critical a; this is explicitly identified and is a standard literature result, not a self-citation and not an input equivalent to the paper's conclusion. The paper also cites Esposito's coercivity lemma as an external tool, and the only self-citation (Ekholm–Frank–Kovařík, reference [14]) appears in an introductory comparison and is not load-bearing. No step was found in which a prediction reduces by construction to a fitted parameter or to a prior claim by the same authors, so the derivation is self-contained relative to its stated external inputs.

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

No free parameters appear in the proof. The main external inputs are Druet's non-attainment theorem, Esposito's coercivity lemma, and Rey's projection estimates, all from the cited literature and independent of the target result. The paper introduces no new postulated physical entities.

assumptions (5)
  • standard math Sharp Sobolev inequality with constant S = 3(π/2)^{4/3} and classification of optimizers U_{x,λ}(y) = λ^{1/2}/(1+λ^2|y-x|^2)^{1/2} as the only positive extremals.
    Used as the benchmark in (1.1) and as the ansatz in the upper and lower bounds; invoked in Section 1.1 and Appendix B Step 2 via Lions, Talenti, Aubin, Rodemich, Rosen.
  • domain assumption Druet's non-attainment theorem: for critical a, S(a) is not attained.
    Used in Appendix B, Step 1, to rule out a nonzero weak limit u_0 of the almost minimizers via equality in Brézis-Lieb around (B.1); without this, the concentration profile in Proposition 3.1 would not follow.
  • domain assumption Coercivity of the quadratic form on the orthogonal complement T^⊥_{x,λ}: Lemma 4.3, due to Esposito [15, Lem. 2.2], with the underlying non-degeneracy inequality from Rey [23, (D.1)].
    The three-stage refinement of almost minimizers in Sections 4, 5, and 6 rests on this bound; the paper gives only a sketch and refers to [15] for details.
  • domain assumption Rey's projection estimates [23, Prop. 1] for PU_{x,λ} and the regular part H_0, including bounds (2.7), (2.18), and (5.10).
    Used throughout to control boundary effects and the finite-dimensional tangential part T_{x,λ}; for example, (2.18) bounds ||f_{x,λ}||_8 and Appendix A uses (B.2)-(B.7).
  • domain assumption Regularity hypotheses: Ω open bounded with C^2 boundary, a ∈ C(Ω̄) ∩ C^1(Ω), V ∈ L∞(Ω), and Assumption 1.2 including a(x) < 0 on N_a.
    Stated as Assumption 1.2; the C^2 boundary enters through the lower bound on dist(y,∂Ω) φ_0(y) in Proposition 4.1, and C^1(a) is used in Lemma 2.5 Step 2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Energy asymptotics in the three-dimensional Brezis--Nirenberg problem." pith.science (2026). https://pith.science/paper/T6CZ375U

@misc{pith2026190801331,
  author       = {Pith},
  title        = {Pith review of: Energy asymptotics in the three-dimensional Brezis--Nirenberg problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T6CZ375U}},
  note         = {Machine review of arXiv:1908.01331}
}
abstract

For a bounded open set $\Omega\subset\mathbb R^3$ we consider the minimization problem $$ S(a+\epsilon V) = \inf_{0\not\equiv u\in H^1_0(\Omega)} \frac{\int_\Omega (|\nabla u|^2+ (a+\epsilon V) |u|^2)\,dx}{(\int_\Omega u^6\,dx)^{1/3}} $$ involving the critical Sobolev exponent. The function $a$ is assumed to be critical in the sense of Hebey and Vaugon. Under certain assumptions on $a$ and $V$ we compute the asymptotics of $S(a+\epsilon V)-S$ as $\epsilon\to 0+$, where $S$ is the Sobolev constant. (Almost) minimizers concentrate at a point in the zero set of the Robin function corresponding to $a$ and we determine the location of the concentration point within that set. We also show that our assumptions are almost necessary to have $S(a+\epsilon V)<S$ for all sufficiently small $\epsilon>0$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    M. Amar, A. Garroni, Γ -convergence of concentration problems. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 2 (2003), no. 1, 151–179

  2. [2]

    F. V. Atkinson, L. A. Peletier, Elliptic equations with nearly critical growth . J. Differential Equations 70 (1987), no. 3, 349–365

  3. [3]

    Aubin, Problèmes isoperimétriques et espaces de Sobolev

    Th. Aubin, Problèmes isoperimétriques et espaces de Sobolev . J. Differ. Geometry 11 (1976), 573–598. 42 RUPERT L. FRANK, TOBIAS KÖNIG, AND HYNEK KOV AŘÍK

  4. [4]

    Bahri, Critical points at infinity in some variational problems

    A. Bahri, Critical points at infinity in some variational problems . Pitman Research Notes in Mathematics Series,

  5. [5]

    Bahri, J.-M

    A. Bahri, J.-M. Coron, On a nonlinear elliptic equation involving the critical Sob olev exponent: the effect of the topology of the domain . Comm. Pure Appl. Math. 41 (1988), no. 3, 253–294

  6. [6]

    Brézis, Elliptic equations with limiting Sobolev exponents—the im pact of topology

    H. Brézis, Elliptic equations with limiting Sobolev exponents—the im pact of topology. Frontiers of the mathemat- ical sciences: 1985 (New York, 1985). Comm. Pure Appl. Math. 39 (1986), no. S, suppl., S17–S39

  7. [7]

    Brézis, E

    H. Brézis, E. H. Lieb, A relation between pointwise convergence of functions and c onvergence of functionals . Proc. Amer. Math. Soc. 88 (1983), no. 3, 486–490

  8. [8]

    Brézis, L

    H. Brézis, L. Nirenberg, Positive solutions of nonlinear elliptic equations involv ing critical Sobolev exponents . Comm. Pure Appl. Math. 36 (1983), 437–477

Show all 33 references
  1. [9]

    Brézis, L

    H. Brézis, L. A. Peletier, Asymptotics for elliptic equations involving critical gro wth. Partial differential equations and the calculus of variations, Vol. I, 149–192, Progr. Nonl inear Differential Equations Appl., 1, Birkhäuser Boston, Boston, MA, 1989

  2. [10]

    Budd, Semilinear elliptic equations with near critical growth ra tes

    C. Budd, Semilinear elliptic equations with near critical growth ra tes. Proc. Roy. Soc. Edinburgh Sect. A 107 (1987), no. 3-4, 249–270

  3. [11]

    Davies, Heat kernels and spectral theory

    E.B. Davies, Heat kernels and spectral theory . Cambridge University Press, Cambridge, 1989

  4. [12]

    Druet, Elliptic equations with critical Sobolev exponents in dime nsion 3

    O. Druet, Elliptic equations with critical Sobolev exponents in dime nsion 3. Ann. I. H. Poincaré-AN 19 (2002), 125–142

  5. [13]

    Druet, E

    O. Druet, E. Hebey, F. Robert, Blow-up theory for elliptic PDEs in Riemannian geometry . Mathematical Notes,

  6. [14]

    Ekholm, R

    T. Ekholm, R. L. Frank, H. Kovařík, Weak perturbations of the p-Laplacian. Calc. Var. Partial Differential Equations 53 (2015), no. 3-4, 781–801

  7. [15]

    Esposito, On some conjectures proposed by Haim Brezis

    P. Esposito, On some conjectures proposed by Haim Brezis . Nonlinear Analysis 54 (2004), 751–759

  8. [16]

    Flucher, Variational problems with concentration

    M. Flucher, Variational problems with concentration . Progress in Nonlinear Differential Equations and their Applications, 36. Birkhäuser Verlag, Basel, 1999

  9. [17]

    Flucher, A

    M. Flucher, A. Garroni, S. Müller, Concentration of low energy extremals: identification of co ncentration points. Calc. Var. Partial Differential Equations 14 (2002), no. 4, 483–516

  10. [18]

    Han, Asymptotic approach to singular solutions for nonlinear el liptic equations involving critical Sobolev exponent

    Z.-C. Han, Asymptotic approach to singular solutions for nonlinear el liptic equations involving critical Sobolev exponent. Ann. Inst. H. Poincaré Anal. Non Linéaire 8 (1991), no. 2, 159–174

  11. [19]

    Hebey, M

    E. Hebey, M. Vaugon, From best constants to critical functions . Math. Z. 237 (2001), no. 4, 737–767

  12. [20]

    E. H. Lieb, M. Loss, Analysis. Second edition. Graduate Studies in Mathematics, 14. Amer ican Mathematical Society, Providence, RI, 2001

  13. [21]

    Lions, The concentration-compactness principle in the calculus o f variations

    P.-L. Lions, The concentration-compactness principle in the calculus o f variations. The limit case. I . Rev. Mat. Iberoamericana 1 (1985), no. 1, 145–201

  14. [22]

    Rey, Proof of two conjectures of H

    O. Rey, Proof of two conjectures of H. Brezis and L.A. Peletier . Manuscripta Math. 65 (1989), 19–37

  15. [23]

    Rey, The role of the Green ’s function in a non-linear elliptic equ ation involving the critical Sobolev exponent

    O. Rey, The role of the Green ’s function in a non-linear elliptic equ ation involving the critical Sobolev exponent . J. Funct. Anal. 89 (1990), 1–52

  16. [24]

    Rodemich, The Sobolev inequality with best possible constant

    E. Rodemich, The Sobolev inequality with best possible constant . Analysis Seminar Caltech, Spring 1966

  17. [25]

    Rosen, Minimum value for c in the Sobolev inequality }φ3} ď c}∇φ}3

    G. Rosen, Minimum value for c in the Sobolev inequality }φ3} ď c}∇φ}3. SIAM J. Appl. Math. 21 (1971), 30–32

  18. [26]

    Schoen, Conformal deformation of a Riemannian metric to constant sc alar curvature

    R. Schoen, Conformal deformation of a Riemannian metric to constant sc alar curvature . J. Differential Geom. 20 (1984), no. 2, 479–495

  19. [27]

    Simon, The bound state of weakly coupled Schrödinger operators in o ne and two dimensions

    B. Simon, The bound state of weakly coupled Schrödinger operators in o ne and two dimensions . Ann. Phys. 97 (1976), 279–288

  20. [28]

    Struwe, A global compactness result for elliptic boundary value pro blems involving limiting nonlinearities

    M. Struwe, A global compactness result for elliptic boundary value pro blems involving limiting nonlinearities . Math. Z. 187 (1984), no. 4, 511–517

  21. [29]

    Takahashi, On the location of blow up points of least energy solutions to the Brezis–Nirenberg equation

    F. Takahashi, On the location of blow up points of least energy solutions to the Brezis–Nirenberg equation . Funkcial. Ekvac. 47 (2004), no. 1, 145–166

  22. [30]

    Talenti, Best constants in Sobolev inequality

    G. Talenti, Best constants in Sobolev inequality . Ann. Mat. Pura Appl. 110 (1976), 353–372

  23. [31]

    Wei, Asymptotic behavior of least energy solutions to a semiline ar Dirichlet problem near the critical exponent

    J. Wei, Asymptotic behavior of least energy solutions to a semiline ar Dirichlet problem near the critical exponent . J. Math. Soc. Japan 50 (1998), no. 1, 139–153. ENERGY ASYMPTOTICS IN THE THREE-DIMENSIONAL BREZIS–NIREN BERG PROBLEM 43 (Rupert L. Frank) Ma thema tisches Inst...

  24. [45]

    Princeton University Press, Princeton, NJ, 2004

  25. [182]

    Longman Scientific & Technical, Harlow, 1989

Pith tools

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