Global Compactness and Existence for Higher Order Critical Equations on Hyperbolic Spaces
Pith reviewed 2026-05-23 16:46 UTC · model grok-4.3
The pith
A global compactness theorem decomposes Palais-Smale sequences for higher-order critical equations on hyperbolic space into two bubble types.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Any Palais-Smale sequence for the functional associated to P_m u + a(x) u = |u|^{q-2} u on H^n decomposes into concentrating bubbles from the conformal equivalence H^n ≅ B^n, isometry bubbles escaping to infinity, and a remainder that vanishes strongly, with the energies adding up to the limit energy. For sign-changing sequences the inequality I_∞(u) ≥ (2m/n) S^{n/2m} holds via the dual cone decomposition.
What carries the argument
Profile decomposition into concentrating bubbles from the conformal ball model and isometry bubbles escaping to infinity, supported by the Moreau dual cone decomposition and positivity of the Green function of P_m.
If this is right
- The equation admits at least one positive solution under a Passaseo-type concentration condition on a(x).
- A second positive solution exists when the L^{n/2m} norm of a is sufficiently small.
- The energy lower bound I_∞(u) ≥ (2m/n) S^{n/2m} holds for every sign-changing function in the space.
Where Pith is reading between the lines
- The same decomposition technique could be examined on other non-compact symmetric spaces that admit a positive Green function for the corresponding operator.
- Existence statements might extend to equations whose nonlinearity is not exactly the critical power but satisfies similar growth conditions.
Load-bearing premise
The Green function of the GJMS operator P_m is positive on the hyperbolic space.
What would settle it
A Palais-Smale sequence whose energy cannot be accounted for by the sum of energies of concentrating bubbles, isometry bubbles, and the weak limit would falsify the claimed decomposition.
read the original abstract
We study the higher-order Schr\"odinger equation with critical Sobolev exponent on the hyperbolic space $\mathbb{H}^n$: $$P_m u + a(x)\,u = |u|^{q-2}u, \quad u \in D^{m,2}(\mathbb{H}^n),$$ where $P_m$ is the GJMS operator of order $2m$, $q = \frac{2n}{n-2m}$ is the critical exponent, and $a(x) \geq 0$ is a potential in $L^{n/2m}(\mathbb{H}^n)$. This problem simultaneously generalizes the classical work of Benci--Cerami from second-order to arbitrary order and from Euclidean space to hyperbolic space. We establish a global compactness theorem (profile decomposition) for Palais--Smale sequences associated to this equation. The decomposition features two types of bubbles: concentrating bubbles arising from the conformal equivalence $\mathbb{H}^n \cong \mathbb{B}^n$, and isometry bubbles escaping to infinity. A key difficulty in the higher-order setting is that the classical positive/negative decomposition $u = u^+ + u^-$ fails in $W^{m,2}$ for $m \geq 2$. To overcome this, we employ the Moreau dual cone decomposition together with the positivity of the Green function of $P_m$ on $\mathbb{H}^n$, establishing an energy doubling inequality for sign-changing solutions: $I_\infty(u) \geq \frac{2m}{n}S^{n/2m}$. As an application, under a concentration condition on the potential $a(x)$ of Passaseo type, we prove that the equation admits at least one positive solution, and a second positive solution under a smallness condition on $\|a\|_{L^{n/2m}}$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes a global compactness theorem (profile decomposition) for Palais-Smale sequences of the higher-order critical equation P_m u + a(x) u = |u|^{q-2} u on hyperbolic space H^n, with q the critical Sobolev exponent. The decomposition distinguishes concentrating bubbles (via the conformal equivalence H^n ≅ B^n) and isometry bubbles (escaping to infinity). To handle sign-changing functions for m ≥ 2, where the standard positive/negative decomposition fails in W^{m,2}, the authors invoke the Moreau dual cone decomposition together with positivity of the Green function of P_m to obtain the energy doubling I_∞(u) ≥ (2m/n) S^{n/2m}. As an application, under a Passaseo-type concentration condition on a(x) ∈ L^{n/2m}(H^n), they prove existence of at least one positive solution and a second positive solution under a smallness condition on ||a||.
Significance. If the technical steps are verified, the work extends the classical Benci-Cerami compactness and existence results from the second-order Euclidean case to arbitrary order m and to hyperbolic space. The profile decomposition with two distinct bubble types and the adaptation of Moreau decomposition for higher-order Sobolev spaces constitute the main technical contributions.
major comments (1)
- [Abstract (key difficulty paragraph)] Abstract (paragraph on key difficulty for m ≥ 2): The energy doubling inequality I_∞(u) ≥ (2m/n) S^{n/2m} for sign-changing solutions is obtained via Moreau dual cone decomposition in D^{m,2}(H^n) together with positivity of the Green function of P_m. For m=1 positivity is standard, but for m≥2 the higher-order GJMS operator on H^n has no automatic positivity guarantee (spectrum and conformal covariance can produce sign changes). The manuscript invokes this positivity to support the doubling step but supplies no proof or citation, leaving the global compactness result and the subsequent existence theorems unsupported for the sign-changing case that the Moreau decomposition is intended to address.
minor comments (2)
- Clarify the precise statement of the concentration condition on a(x) (Passaseo type) and verify that it is stated in a form that can be checked against the profile decomposition.
- Add a brief remark on the range of m for which the Green function positivity is assumed or proved, and confirm that the functional setting D^{m,2}(H^n) is correctly identified for the critical exponent q = 2n/(n-2m).
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive major comment. We address the point on positivity of the Green function directly below and commit to a revision that supplies the missing justification.
read point-by-point responses
-
Referee: [Abstract (key difficulty paragraph)] Abstract (paragraph on key difficulty for m ≥ 2): The energy doubling inequality I_∞(u) ≥ (2m/n) S^{n/2m} for sign-changing solutions is obtained via Moreau dual cone decomposition in D^{m,2}(H^n) together with positivity of the Green function of P_m. For m=1 positivity is standard, but for m≥2 the higher-order GJMS operator on H^n has no automatic positivity guarantee (spectrum and conformal covariance can produce sign changes). The manuscript invokes this positivity to support the doubling step but supplies no proof or citation, leaving the global compactness result and the subsequent existence theorems unsupported for the sign-changing case that the Moreau decomposition is intended to address.
Authors: We agree that the positivity of the Green function of the higher-order GJMS operator P_m on H^n for m ≥ 2 is not automatic and must be justified explicitly; the referee correctly identifies that the abstract (and the corresponding argument in the body) invokes the property without a proof or citation. In the revised manuscript we will insert a new subsection (placed after the preliminaries on the operator P_m) that either derives positivity from the explicit integral representation of the Green function on hyperbolic space or cites the relevant literature establishing this fact for the conformal powers of the Laplacian on H^n. With this addition the Moreau dual-cone decomposition and the resulting energy-doubling inequality I_∞(u) ≥ (2m/n) S^{n/2m} become fully rigorous for sign-changing functions, thereby supporting both the global compactness theorem and the existence results. revision: yes
Circularity Check
No circularity detected in derivation chain
full rationale
The paper derives its global compactness/profile decomposition for PS sequences via standard variational methods on D^{m,2}(H^n), conformal equivalence to the ball for concentrating bubbles, and isometry bubbles at infinity. The energy doubling I_∞(u) ≥ (2m/n) S^{n/2m} for sign-changing solutions is obtained by applying the external Moreau dual cone decomposition together with the (invoked) positivity of the Green function of P_m; this step does not reduce by construction to any fitted parameter, self-definition, or self-citation chain within the paper. The existence results under Passaseo-type conditions on a(x) likewise rest on these external tools plus the Benci-Cerami reference rather than any internal renaming or ansatz smuggling. The derivation is self-contained against the cited external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Positivity of the Green function of the GJMS operator P_m on hyperbolic space
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Moreau dual cone decomposition together with the positivity of the Green function of P_m on H^n, establishing an energy doubling inequality for sign-changing solutions: I_∞(u) ≥ (2m/n) S^{n/2m}
-
IndisputableMonolith/Foundation/Atomicity.leanatomic_tick echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
global compactness theorem (profile decomposition) for Palais–Smale sequences
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
C. O. Alves and J. Marcos do ´O, Positive solutions of a fourth-order semilinear problem involving critical growth, Advanced Nonlinear Studies 2 (2002), no. 4, 437- 458. 6
work page 2002
-
[2]
T. Aubin, ´Equations diff´ erentielles non lin´ eaires et probl` eme de yamabe con cernant la courbure scalaire, J. Math. Pures Appl.(9) 55 (1976), 269-296. 2
work page 1976
-
[3]
A. Bahri and J.-M. Coron, Sur une ´ equation elliptique non lin´ eaire avec l’exposant critique de sobolev, CR Acad. Sci. Paris 301 (1985), no. 1, 345-348. 3
work page 1985
-
[4]
C. Bandle and Y. Kabeya, On the positive,“radial” solutions of a sem ilinear elliptic equation in Hn, Advances in Nonlinear Analysis. 1 (2012) 1-25. 6
work page 2012
-
[5]
W. Beckner, Sharp Sobolev inequalities on the sphere and the Mos er–Trudinger inequality, Annals of Mathematics 138 (1993), no. 1, 213-242. 3
work page 1993
-
[6]
V. Benci and G. Cerami, Existence of positive solutions of the equ ation − ∆u + a(x)u = u(n+2)(n−2) in Rn, Journal of Functional Analysis 88 (1990), no. 1, 90-117. 3, 4
work page 1990
-
[7]
S. Benguria, The solution gap of the Br´ ezis–Nirenberg problem on the hyperbolic space, Monatshefte f¨ ur Mathematik 181 (2016), 537-559. 6
work page 2016
-
[8]
H. Berestycki and P.-L. Lions, Nonlinear scalar field equations. I . Existence of a ground state, Archive for Rational Mechanics and Analysis 82 (1983), no. 4, 313- 346. 1
work page 1983
-
[9]
H. Berestycki and P. Lions, Nonlinear scalar field equations. II. Existence of infinitely many solutions, Arch. Rational Mech. Anal 82 (1983), no. 4, 347-375. 1
work page 1983
-
[10]
M. Bhakta and K. Sandeep, Poincar´ e–Sobolev equations in the hyperbolic space, Calculus of Vari- ations and Partial Differential Equations 44 (2012), no. 1, pp. 247 -269. 7, 8
work page 2012
-
[11]
H. Br´ ezis, Elliptic equations with limiting Sobolev exponents—the im pact of topology, Communi- cations on Pure and Applied Mathematics 39 (1986), no. S1, S17-S3 9. 3
work page 1986
-
[12]
H. Br´ ezis and E. Lieb, A relation between pointwise convergenc e of functions and convergence of functionals, Proceedings of the American Mathematical Society 88 (1983), no. 3, 486-490. 14 HIGHER ORDER SCHR ¨ODINGER EQUATIONS ON HYPERBOLIC SPACES 41
work page 1983
-
[13]
H. Br´ ezis and L. Nirenberg, Positive solutions of nonlinear elliptic equations involving critical sobolev exponents, Communications on Pure and Applied Mathematics 36 (19 83), no. 4, 437-477. 1, 2, 5
-
[14]
Coron, Topologie et cas limite des injections de Sobolev, CR A cad
J.-M. Coron, Topologie et cas limite des injections de Sobolev, CR A cad. Sci. Paris S´ er. I Math 299 (1984), no. 7, 209-212. 3
work page 1984
-
[15]
O. Druet and E. Hebey, The AB program in geometric analysis. Sharp Sobolev inequalities and related problems, Memoirs of the American Mathematical Society 76 1 (2002), 160. 3
work page 2002
-
[16]
D. E. Edmunds, D. Fortunato and E. Jannelli, Critical exponent s, critical dimensions and the biharmonic operator, Archive for Rational Mechanics and Analysis 1 12 (1990), 269-289. 6
work page 1990
-
[17]
D. Ganguly and S. Kunnath, Sign changing solutions of the Br´ ez is-Nirenberg problem in the hyper- bolic space, Calculus of Variations and Partial Differential Equations 50 (2014), 69-91. 6
work page 2014
-
[18]
D. Ganguly and K. Sandeep, Nondegeneracy of positive solution s of semilinear elliptic problems in the hyperbolic space, Communications in Contemporary Mathematic s 17 (2015), no. 01, 1450019. 6
work page 2015
-
[19]
F. Gazzola, Critical growth problems for polyharmonic operato rs, Proceedings of the Royal Society of Edinburgh Section A: Mathematics 128 (1998), no. 2, 251-263. 1, 5
work page 1998
-
[20]
F. Gazzola and H.-C. Grunau, On the role of space dimension n = 2 + 2 √ 2 in the semilinear Br´ ezis-Nirenberg eigenvalue problem,Analysis (Munich) , vol. 20, no. 4, pp. 395–399, 2000. 1
work page 2000
-
[21]
F. Gazzola, H.-C. Grunau and G. Sweers, Polyharmonic boundar y value problems: Positivity pre- serving and nonlinear higher order elliptic equations in bounded domain s, Springer Science & Busi- ness Media, 2010. 1, 5
work page 2010
-
[22]
I. M. Gelfand, S. G. e. Gindikin and M. I. Graev, Selected topics in integral geometry, vol. 220, American Mathematical Soc., 2003. 9
work page 2003
-
[23]
C. R. Graham, R. Jenne, L. J. Mason and G. A. Sparling, Confor mally invariant powers of the laplacian, i: Existence, Journal of the London Mathematical Societ y 2 (1992), no. 3, 557-565. 11
work page 1992
-
[24]
H.-C. Grunau, Positive solutions to semilinear polyharmonic dirichle t problems involving critical Sobolev exponents, Calculus of Variations and Partial Differential E quations 3 (1995), no. 2, 243-
work page 1995
-
[25]
E. Hebey, Nonlinear analysis on manifolds: Sobolev spaces and ine qualities: Sobolev spaces and inequalities, vol. 5, American Mathematical Soc., 2000. 3
work page 2000
-
[26]
S. Helgason, Groups and Geometric Analysis: Integral Geomet ry, Invariant Differential Operators, and Spherical Functions, Mathematical Surveys and Monographs , Vol. 83 (1984), 667 pp. 9, 10
work page 1984
-
[27]
Helgason, Geometric analysis on symmetric spaces, Vol
S. Helgason, Geometric analysis on symmetric spaces, Vol. 39, A merican Mathematical Society (2024). 9, 10
work page 2024
-
[28]
A. Juhl, Explicit formulas for GJMS-operators and Q-curvatur es, Geometric and Functional Analysis 23 (2013), no. 4, 1278-1370. 11
work page 2013
-
[29]
Juhl, Families of conformally covariant differential operators , Q-curvature and holography, vol
A. Juhl, Families of conformally covariant differential operators , Q-curvature and holography, vol. 275, Springer Science & Business Media, 2009. 11
work page 2009
-
[30]
J. M. Lee and T. H. Parker, The Yamabe problem, Bulletin of the A merican Mathematical Society 17 (1987), no. 1, 37-91. 2
work page 1987
-
[31]
J. Li, G. Lu and Q. Yang, Higher order Br´ ezis-Nirenberg proble m on hyperbolic spaces: Existence, nonexistence and symmetry of solutions, Advances in Mathematics 399 (2022), 108259. 6, 7
work page 2022
-
[32]
E. H. Lieb, Sharp constants in the Hardy-Littlewood-Sobolev a nd related inequalities, Annals of Mathematics 118 (1983), no. 2, 349-374. 3
work page 1983
-
[33]
Lions, The concentration-compactness principle in the ca lculus of variations
P.-L. Lions, The concentration-compactness principle in the ca lculus of variations. The limit case, part 1, Revista Matem´ atica Iberoamericana 1 (1985), no. 1, 145 -201. 3, 6
work page 1985
-
[34]
Lions, The concentration-compactness principle in the ca lculus of variations
P.-L. Lions, The concentration-compactness principle in the ca lculus of variations. The limit case, part 2, Revista Matem´ atica Iberoamericana 1 (1985), no. 2, 45- 121. 3, 6
work page 1985
- [35]
-
[36]
G. Liu, Sharp higher-order sobolev inequalities in the hyperbolic s pace, Calculus of Variations and Partial Differential Equations 47 (2013), no. 3, 567-588. 3, 11, 12
work page 2013
-
[37]
Hua, Starting with the unit circle, Springer-Verlag, New Yor k, 1981
L.K. Hua, Starting with the unit circle, Springer-Verlag, New Yor k, 1981. 9
work page 1981
- [38]
- [39]
-
[40]
G. Mancini and K. Sandeep, On a semilinear elliptic equation in Hn. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 7(4):635–671, 2008. 6
work page 2008
-
[41]
J. J. Moreau, D´ ecomposition orthogonale d’un espace hilbertie n selon deux cˆ ones mutuellement polaires, Comptes rendus hebdomadaires des s´ eances de l’Acad´ emie des sciences 255 (1962), 238-
work page 1962
-
[42]
D. Passaseo, Some sufficient conditions for the existence of po sitive solutions to the equation − ∆u + a(x)u = u2∗−1 in bounded domains, Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, Elsevier (1996), 185-227. 4
work page 1996
-
[43]
R. Pederson, On the unique continuation theorem for certain s econd and fourth order elliptic equa- tions, Communications on Pure and Applied Mathematics 11 (1958), n o. 1, 67-80. 8
work page 1958
-
[44]
S. I. Pohoˇ zaev, On the eigenfunctions of the equation ∆ u + λf (u) = 0. Dokl. Akad. Nauk SSSR , 165:36–39, 1965. 3
work page 1965
-
[45]
P. Pucci and J. Serrin, Critical exponents and critical dimensio ns for polyharmonic operators, Jour- nal de Math´ ematiques Pures et Appliqu´ ees 69 (1990), no. 1, 55-83. 5
work page 1990
-
[46]
Indiana University mathematics journal 35.3 (1986): 681-703
Patrizia Pucci and James Serrin, A general variational identity . Indiana University mathematics journal 35.3 (1986): 681-703. 5
work page 1986
-
[47]
K. Sandeep and C. Tintarev, Profile decomposition in Sobolev spa ces of non-compact manifolds, Nonlinear Differential Equations and Applications NoDEA 26 (2019), n o. 6, 55. 7
work page 2019
-
[48]
R. Schoen, Conformal deformation of a riemannian metric to co nstant scalar curvature, Journal of Differential Geometry 20 (1984), no. 2, 479-495. 2
work page 1984
-
[49]
M. Schechter and W. Zou, On the Br´ ezis–Nirenberg problem, A rchive for rational mechanics and analysis 197 (2010), no. 1. 1
work page 2010
-
[50]
Stapelkamp, The Br´ ezis-Nirenberg problem on Hn
S. Stapelkamp, The Br´ ezis-Nirenberg problem on Hn. Existence and uniqueness of solutions, Elliptic and parabolic problems (Rolduc/Gaeta, 2001) (2002), 283-290. 6
work page 2001
-
[51]
M. Struwe, A global compactness result for elliptic boundary va lue problems involving limiting nonlinearities, Mathematische Zeitschrift 187 (1984), 511-517. 3, 7, 9, 12
work page 1984
-
[52]
C. A. Swanson, The best Sobolev constant, Applicable Analysis 4 7 (1992), no. 1-4, 227-239. 3
work page 1992
-
[53]
G. Talenti, Best constant in Sobolev inequality, Annali di Matema tica pura ed Applicata 110 (1976), 353-372. 2
work page 1976
-
[54]
N. S. Trudinger, Remarks concerning the conformal deforma tion of riemannian structures on com- pact manifolds, Annali della Scuola Normale Superiore di Pisa-Scienze Fisiche e Matematiche 22 (1968), no. 2, 265-274. 2
work page 1968
-
[55]
X. J. Wang, Sharp constant in a Sobolev inequality, Nonlinear Ana lysis: Theory, Methods & Ap- plications 20 (1993), no. 3, 261-268. 3
work page 1993
- [56]
-
[57]
Yamabe, On a deformation of Riemannian structures on comp act manifolds
H. Yamabe, On a deformation of Riemannian structures on comp act manifolds. Osaka Math. J. Vol. 12 (1960), 21–37. 2
work page 1960
-
[58]
J. Yang and X. Zhu, On the existence of nontrivial solution of a q uasilinear elliptic boundary value problem for unbounded domains: (i) positive mass case, Acta Mathe matica Scientia 7 (1987), no. 3, 341-359. 1, 5
work page 1987
- [59]
-
[60]
X. Zhu and J. Yang, The quasilinear elliptic equation on unbounded domain involving critical Sobolev exponent, J. Partial Differential Equations , Vol.2 (1989) no.2, pp. 53–64. 1 Jungang Li: Department of Mathematics, University of Scien ce and Techonology of China, Anhui Hefei, China Email address : jungangli@ustc.edu.cn Zhiwei W ang: Department of Mathem...
work page 1989
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.