pith. sign in

arxiv: 2604.17499 · v1 · submitted 2026-04-19 · 🧮 math.AP

Energy asymptotics and blow-up phenomena for biharmonic Br\'{e}zis-Nirenberg problem

Jiamo Li , Qikai Lu , Minbo Yang This is my paper

Pith reviewed 2026-05-10 05:45 UTC · model grok-4.3

classification 🧮 math.AP
keywords biharmonic Brézis-Nirenberg problemenergy asymptoticsblow-up phenomenaNavier boundary conditioncritical Sobolev exponentconcentration pointsminimizing sequencesquotient functional
0
0 comments X

The pith

Under assumptions on V, sharp asymptotics hold for the energy difference S(0) minus S(εV) as ε tends to zero, with precise blow-up profiles, rates, and concentration locations for almost-minimizing sequences.

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

This paper examines a perturbed biharmonic Rayleigh quotient in dimensions at least eight under Navier boundary conditions. It establishes matching upper and lower bounds that yield the leading term in the expansion of the difference between the unperturbed and perturbed infima as the perturbation strength vanishes. The analysis further identifies the exact manner in which sequences nearly attaining the infimum must concentrate, including the blow-up speed and the points of concentration. A reader would care because these results connect the geometry of the potential to the variational behavior at the critical exponent, clarifying how small changes in the functional alter concentration phenomena.

Core claim

Under certain assumptions on V, sharp asymptotics for the energy difference S(0) - S(εV) as ε → 0+ are established by matching upper and lower bound estimates. A precise description is given of the blow-up profile of almost minimizing sequences, along with the blow-up rate and the location of concentration points, for the quotient functional in dimensions n ≥ 8 under Navier boundary conditions.

What carries the argument

The perturbed quotient functional S(εV) defined by the infimum of (∫|Δu|^2 + ε∫V|u|^2 dx) over (∫|u|^{2*})^{2/2*}, whose minimizers' blow-up is analyzed to extract the energy asymptotics.

If this is right

  • The energy difference S(0) - S(εV) admits sharp matching upper and lower estimates as ε → 0+.
  • Almost-minimizing sequences possess a blow-up profile that can be described precisely.
  • The blow-up rate of these sequences is characterized explicitly.
  • The locations at which concentration occurs are identified in terms of the assumptions on V.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The matching-bound method for extracting asymptotics may transfer to other higher-order critical-exponent problems with different boundary conditions.
  • Knowledge of the concentration locations could be used to construct actual solutions of the associated Euler-Lagrange equation when ε is small.
  • Adjustments to the assumptions on V might allow the same conclusions in lower dimensions or under alternative boundary conditions.

Load-bearing premise

The continuous potential V must satisfy certain unspecified conditions that permit matching upper and lower bounds on the energy difference and control the blow-up rate and locations.

What would settle it

Numerical approximation of S(εV) for small ε on a concrete domain such as the unit ball together with a V meeting the assumptions, followed by checking whether the observed energy difference deviates from the predicted asymptotic rate or whether the sequences concentrate away from the claimed points.

read the original abstract

For dimensions $n\geq8$, we are concerned with the quotient functional of the biharmonic Br\'{e}zis-Nirenberg problem under the Navier boundary condition $$ S(\varepsilon V):=\inf_{0\not\equiv u\in H^2(\Omega)\cap H_0^1(\Omega)}\frac{\int_{\Omega}|\Delta u|^2dx+\varepsilon\int_{\Omega}V|u|^2dx}{\big(\int_{\Omega}|u|^{2^\star}dx\big)^{2/2^\star}}, $$ where $2^\star=\frac{2n}{n-4}$ is the critical Sobolev exponent of the embedding $H^2(\Omega)\cap H_0^1(\Omega)\hookrightarrow L^{2^\star}(\Omega)$, $\Omega\subset\mathbb{R}^n$ is a bounded open set and $V:\overline{\Omega}\rightarrow\mathbb{R}$ is a continuous function. Under certain assumptions on $V$, we establish sharp asymptotics for the energy difference $S(0)-S(\varepsilon V)$, as $\varepsilon\rightarrow0^+$, by means of matching upper and lower bound estimates. Moreover, we give a precise description of the blow-up profile of (almost) minimizing sequences and characterize the blow-up rate and the location of concentration points.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript studies the perturbed biharmonic Brezis-Nirenberg quotient S(εV) on a bounded domain Ω ⊂ ℝ^n (n ≥ 8) with Navier boundary conditions. Under stated assumptions on the continuous potential V, it establishes sharp asymptotics for the energy difference S(0) − S(εV) as ε → 0+ via matching upper and lower bounds, and characterizes the blow-up profile, rate, and concentration locations of almost-minimizing sequences.

Significance. If the matching bounds and profile decomposition hold, the work supplies a precise energy expansion and blow-up analysis for a higher-order critical problem, extending classical second-order results. The approach relies on standard bubble test-function constructions for the upper bound and Green's-function-based profile decomposition for the lower bound; the restriction to n ≥ 8 is justified by explicit decay estimates on the biharmonic bubble that keep the perturbation term controllable at leading order.

minor comments (3)
  1. [§1] §1 (Introduction): the precise hypotheses on V (non-degenerate interior maximum and the sign condition coming from the Green's function expansion) are stated in Theorem 1.1 but should be recalled explicitly in the introduction to make the statement of the main result self-contained.
  2. The notation for the critical exponent in the abstract (2/2^*) is slightly ambiguous; writing it as (2n/(n-4)) or using the standard 2^* consistently would improve readability.
  3. [§2] A short remark on how the Navier boundary condition is incorporated into the Green's function expansion (without introducing extra error terms that would spoil the o(ε) matching) would help readers unfamiliar with the biharmonic setting.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary accurately reflects the main contributions: sharp asymptotics for S(0) − S(εV) via matching upper and lower bounds, together with the blow-up profile, rate, and concentration locations for almost-minimizing sequences in the biharmonic Brézis-Nirenberg problem under Navier boundary conditions when n ≥ 8.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper derives sharp asymptotics for S(0) - S(εV) via explicit matching of upper and lower bounds constructed from standard bubble test functions and profile decomposition in the space H²(Ω) ∩ H₀¹(Ω). These constructions rely on the external Sobolev constant S(0) and the Green's function for the biharmonic operator under Navier boundary conditions, neither of which is defined or fitted inside the paper. Assumptions on V (continuous, non-degenerate interior maximum with sign condition from Green's expansion) are stated upfront in Theorem 1.1 and applied uniformly to both bounds without any self-referential redefinition or renaming of fitted quantities as predictions. No load-bearing self-citations, uniqueness theorems imported from the authors' prior work, or ansatzes smuggled via citation appear; the restriction n ≥ 8 follows from explicit decay estimates on the biharmonic bubble that are computed directly in the manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard functional-analytic background for the biharmonic operator and Sobolev embeddings; no ad-hoc parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math The Sobolev embedding H²(Ω) ∩ H₀¹(Ω) ↪ L^{2*}(Ω) is continuous and compact for 2* = 2n/(n-4) when n ≥ 8
    Invoked to define the critical exponent and the functional space in the quotient.
  • domain assumption Navier boundary conditions are compatible with the biharmonic operator on bounded domains
    Used to set the function space H²(Ω) ∩ H₀¹(Ω).

pith-pipeline@v0.9.0 · 5546 in / 1382 out tokens · 49039 ms · 2026-05-10T05:45:07.835454+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    Angeloni and P

    S. Angeloni and P. Esposito, The quasi-linear Brézis-Nirenberg problem in low dimensions , J. Funct. Anal. 286 (2024), Paper No. 110176, 26 pp. 6

    work page 2024

  2. [2]

    Bahri and J.-M

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

    work page 1988

  3. [3]

    Ben Ayed and M

    M. Ben Ayed and M. Hammami, On a fourth order elliptic equation with critical nonlinearity in dimension six, Nonlinear Anal. 64 (2006), 924–957. 7, 8, 9

    work page 2006

  4. [4]

    Brezis, Elliptic equations with limiting Sobolev exponents—the impact of topology , Comm

    H. Brezis, Elliptic equations with limiting Sobolev exponents—the impact of topology , Comm. Pure Appl. Math. 39 (1986), S17–S39. 1

    work page 1986

  5. [5]

    Brezis and L

    H. Brezis and L. Nirenberg, Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents, Comm. Pure Appl. Math. 36 (1983), 437–477. 1

    work page 1983

  6. [6]

    Brezis and L

    H. Brezis and L. A. Peletier, Asymptotics for elliptic equations involving critical growth , In: Partial differential equations and the calculus of variations, Vol. I of the Progress Nonlinear Differential Equations and their Applications, (1989), 149–192. 2

    work page 1989

  7. [7]

    D. Cao, P. Luo, and S. Peng, The number of positive solutions to the Brézis-Nirenberg problem , Trans. Amer. Math. Soc. 374 (2021), 1947–1985. 2

    work page 2021

  8. [8]

    Chou and D

    K.-S. Chou and D. Geng, Asymptotics of positive solutions for a biharmonic equation involving critical exponent, Differential Integral Equations 13 (2000), 921–940. 3

    work page 2000

  9. [9]

    De Nitti and T

    N. De Nitti and T. König, Critical functions and blow-up asymptotics for the fractional Brézis-Nirenberg problem in low dimension , Calc. Var. Partial Differential Equations 62 (2023), Paper No. 114, 52 pp. 6

    work page 2023

  10. [10]

    Druet, Elliptic equations with critical Sobolev exponents in dimension 3 , Ann

    O. Druet, Elliptic equations with critical Sobolev exponents in dimension 3 , Ann. Inst. H. Poincaré C Anal. Non Linéaire 19 (2002), 125–142. 1, 2

    work page 2002

  11. [11]

    Ebobisse and M

    F. Ebobisse and M. O. Ahmedou, On a nonlinear fourth-order elliptic equation involving the critical Sobolev exponent, Nonlinear Anal. 52 (2003), 1535–1552. 3, 12

    work page 2003

  12. [12]

    D. E. Edmunds, D. Fortunato, and E. Jannelli, Critical exponents, critical dimensions and the biharmonic operator, Arch. Rational Mech. Anal. 112 (1990), 269–289. 3

    work page 1990

  13. [13]

    Esposito, On some conjectures proposed by Haïm Brézis , Nonlinear Anal

    P. Esposito, On some conjectures proposed by Haïm Brézis , Nonlinear Anal. 56 (2004), 751–759. 2

    work page 2004

  14. [14]

    El Mehdi and M

    K. El Mehdi and M. Hammami, Blowing up solutions for a biharmonic equation with critical nonlinearity , Asymptot. Anal. 45 (2005), 191–225. 3

    work page 2005

  15. [15]

    El Mehdi and A

    K. El Mehdi and A. Selmi, Concentration and multiplicity of solutions for a fourth-order equation with critical nonlinearity, Nonlinear Anal. 64 (2006), 417–439. 3, 6 22 JIAMO LI, QIKAI LU, AND MINBO YANG

    work page 2006

  16. [16]

    R. L. Frank, T. König, and H. Kovařík, Energy asymptotics in the Brézis-Nirenberg problem: the higher- dimensional case , Math. Eng. 2 (2020), 119–140. 2, 17

    work page 2020

  17. [17]

    R. L. Frank, T. König, and H. Kovařík, Energy asymptotics in the three-dimensional Brézis-Nirenberg problem, Calc. Var. Partial Differential Equations 60 (2021), Paper No. 58, 46 pp. 2, 11

    work page 2021

  18. [18]

    R. L. Frank, T. König, and H. Kovařík, Blow-up of solutions of critical elliptic equations in three dimensions, Anal. PDE 17 (2024), 1633–1692. 2

    work page 2024

  19. [19]

    Gazzola, H.-C

    F. Gazzola, H.-C. Grunau, and M. Squassina, Existence and nonexistence results for critical growth biharmonic elliptic equations , Calc. Var. Partial Differential Equations 18 (2003), 117–143. 3, 6

    work page 2003

  20. [20]

    Geng, On blow-up of positive solutions for a biharmonic equation involving nearly critical exponent , Comm

    D. Geng, On blow-up of positive solutions for a biharmonic equation involving nearly critical exponent , Comm. Partial Differential Equations 24 (1999), 2333–2370. 3

    work page 1999

  21. [21]

    Geng, Location of the blow up point for positive solutions of a biharmonic equation involving nearly critical exponent, Acta Math

    D. Geng, Location of the blow up point for positive solutions of a biharmonic equation involving nearly critical exponent, Acta Math. Sci. Ser. B (Engl. Ed.) 25 (2005), 283–295. 3

    work page 2005

  22. [22]

    Han, Asymptotic approach to singular solutions for nonlinear elliptic equations involving critical Sobolev exponent, Ann

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

    work page 1991

  23. [23]

    Hebey and M

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

    work page 2001

  24. [24]

    König, On the sharp constant in the Bianchi-Egnell stability inequality , Bull

    T. König, On the sharp constant in the Bianchi-Egnell stability inequality , Bull. Lond. Math. Soc. 55 (2023), 2070–2075. 14

    work page 2023

  25. [25]

    König and P

    T. König and P. Laurain, Multibubble blow-up analysis for the Brézis-Nirenberg problem in three dimensions, Preprint. arXiv:2208.12337 [math.AP]. 2

    work page arXiv

  26. [26]

    König and P

    T. König and P. Laurain, Fine multibubble analysis in the higher-dimensional Brézis-Nirenberg problem , Ann. Inst. H. Poincaré C Anal. Non Linéaire 41 (2024), 1239–1287. 2

    work page 2024

  27. [27]

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

    work page 1983

  28. [28]

    Lin, A classification of solutions of a conformally invariant fourth order equation in Rn, Comment

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

    work page 1998

  29. [29]

    Lions, The concentration-compactness principle in the calculus of variations

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

    work page 1985

  30. [30]

    Musso and A

    M. Musso and A. Pistoia, Multispike solutions for a nonlinear elliptic problem involving the critical Sobolev exponent, Indiana Univ. Math. J. 51 (2002), 541–579. 2

    work page 2002

  31. [31]

    R. A. C. M. Van der Vorst, Fourth-order elliptic equations with critical growth , C. R. Acad. Sci. Paris Sér. I Math. 320 (1995) 295–299. 3

    work page 1995

  32. [32]

    Rey, Proof of two conjectures of H

    O. Rey, Proof of two conjectures of H. Brézis and L. A. Peletier , Manuscripta Math. 65 (1989) 19–37. 2, 3

    work page 1989

  33. [33]

    Rey, The role of Green ’s function in a nonlinear elliptic equation involving the critical Sobolev exponent , J

    O. Rey, The role of Green ’s function in a nonlinear elliptic equation involving the critical Sobolev exponent , J. Funct. Anal. 89 (1990) 1–52. 3, 10

    work page 1990

  34. [34]

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

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

    work page 2004

  35. [35]

    Wei, Asymptotic behavior of a nonlinear fourth order eigenvalue problem , Comm

    J. Wei, Asymptotic behavior of a nonlinear fourth order eigenvalue problem , Comm. Partial Differential Equations 21 (1996) 1451–1467. 3

    work page 1996

  36. [36]

    Wei and X

    J. Wei and X. Xu, Classification of solutions of higher order conformally invariant equations , Math. Ann. 313 (1999) 207–228. 4 Jiamo Li School of Mathematical Sciences, Zhejiang Normal University, Jinhua, Zhejiang, 321004, People’s Republic of China Email address : lijiamo@zjnu.edu.cn BIHARMONIC BRÉZIS-NIRENBERG PROBLEM 23 Qikai Lu School of Mathematica...

    work page 1999