pith. sign in

arxiv: 2411.14719 · v2 · pith:LIVQOBRYnew · submitted 2024-11-22 · 🧮 math.AP

Global Compactness and Existence for Higher Order Critical Equations on Hyperbolic Spaces

Pith reviewed 2026-05-23 16:46 UTC · model grok-4.3

classification 🧮 math.AP
keywords higher-order Schrödinger equationcritical Sobolev exponenthyperbolic spaceprofile decompositionPalais-Smale sequencesGJMS operatorexistence of solutionsGreen function
0
0 comments X

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.

The paper establishes a profile decomposition for Palais-Smale sequences of the higher-order critical Schrödinger equation on hyperbolic space. Any such sequence splits into a weak limit plus concentrating bubbles arising from the conformal ball model and isometry bubbles that escape to infinity. The decomposition relies on the Moreau dual cone decomposition together with positivity of the Green function to obtain an energy doubling inequality that works for sign-changing functions when the order exceeds two. Under a concentration condition on the potential a(x), this compactness yields existence of at least one positive solution and, when the norm of a is small, a second positive solution.

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

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

  • 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.

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

1 major / 2 minor

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)
  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)
  1. 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.
  2. 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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard mathematical assumptions in the theory of elliptic operators on manifolds and critical Sobolev embeddings; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Positivity of the Green function of the GJMS operator P_m on hyperbolic space
    Invoked to overcome the failure of positive/negative decomposition in W^{m,2} for m ≥ 2 and to prove the energy doubling inequality for sign-changing solutions.

pith-pipeline@v0.9.0 · 5869 in / 1445 out tokens · 47440 ms · 2026-05-23T16:46:26.082660+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

60 extracted references · 60 canonical work pages

  1. [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

  2. [2]

    Aubin, ´Equations diff´ erentielles non lin´ eaires et probl` eme de yamabe con cernant la courbure scalaire, J

    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

  3. [3]

    Bahri and J.-M

    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

  4. [4]

    Bandle and Y

    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

  5. [5]

    Beckner, Sharp Sobolev inequalities on the sphere and the Mos er–Trudinger inequality, Annals of Mathematics 138 (1993), no

    W. Beckner, Sharp Sobolev inequalities on the sphere and the Mos er–Trudinger inequality, Annals of Mathematics 138 (1993), no. 1, 213-242. 3

  6. [6]

    Benci and G

    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

  7. [7]

    Benguria, The solution gap of the Br´ ezis–Nirenberg problem on the hyperbolic space, Monatshefte f¨ ur Mathematik 181 (2016), 537-559

    S. Benguria, The solution gap of the Br´ ezis–Nirenberg problem on the hyperbolic space, Monatshefte f¨ ur Mathematik 181 (2016), 537-559. 6

  8. [8]

    Berestycki and P.-L

    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

  9. [9]

    Berestycki and P

    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

  10. [10]

    Bhakta and K

    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

  11. [11]

    Br´ ezis, Elliptic equations with limiting Sobolev exponents—the im pact of topology, Communi- cations on Pure and Applied Mathematics 39 (1986), no

    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

  12. [12]

    Br´ ezis and E

    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

  13. [13]

    Br´ ezis and L

    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. [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

  15. [15]

    Druet and E

    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

  16. [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

  17. [17]

    Ganguly and S

    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

  18. [18]

    Ganguly and K

    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

  19. [19]

    Gazzola, Critical growth problems for polyharmonic operato rs, Proceedings of the Royal Society of Edinburgh Section A: Mathematics 128 (1998), no

    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

  20. [20]

    Gazzola and H.-C

    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

  21. [21]

    Gazzola, H.-C

    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

  22. [22]

    I. M. Gelfand, S. G. e. Gindikin and M. I. Graev, Selected topics in integral geometry, vol. 220, American Mathematical Soc., 2003. 9

  23. [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

  24. [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-

  25. [25]

    Hebey, Nonlinear analysis on manifolds: Sobolev spaces and ine qualities: Sobolev spaces and inequalities, vol

    E. Hebey, Nonlinear analysis on manifolds: Sobolev spaces and ine qualities: Sobolev spaces and inequalities, vol. 5, American Mathematical Soc., 2000. 3

  26. [26]

    Helgason, Groups and Geometric Analysis: Integral Geomet ry, Invariant Differential Operators, and Spherical Functions, Mathematical Surveys and Monographs , Vol

    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

  27. [27]

    Helgason, Geometric analysis on symmetric spaces, Vol

    S. Helgason, Geometric analysis on symmetric spaces, Vol. 39, A merican Mathematical Society (2024). 9, 10

  28. [28]

    Juhl, Explicit formulas for GJMS-operators and Q-curvatur es, Geometric and Functional Analysis 23 (2013), no

    A. Juhl, Explicit formulas for GJMS-operators and Q-curvatur es, Geometric and Functional Analysis 23 (2013), no. 4, 1278-1370. 11

  29. [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

  30. [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

  31. [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

  32. [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

  33. [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

  34. [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

  35. [35]

    Liu and L

    C. Liu and L. Peng, Generalized helgason-fourier transforms a ssociated to variants of the laplace- beltrami operators on the unit ball in Rn, Indiana University Mathematics Journal (2009), 1457-

  36. [36]

    Liu, Sharp higher-order sobolev inequalities in the hyperbolic s pace, Calculus of Variations and Partial Differential Equations 47 (2013), no

    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

  37. [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

  38. [38]

    Lu and Q

    G. Lu and Q. Yang, Paneitz operators on hyperbolic spaces and high order Hardy-Sobolev-Maz’ya inequalities on half spaces, American Journal of Mathematics 141 (2 019), no. 6, 1777-1816. 3

  39. [39]

    Lu and Q

    G. Lu and Q. Yang, Green’s functions of paneitz and gjms opera tors on hyperbolic spaces and sharp Hardy-Sobolev-Maz’ya inequalities on half spaces, Advances in Math ematics 398 (2022), 108156. 3, 9 42 JUNGANG LI AND ZHIWEI W ANG

  40. [40]

    Mancini and K

    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

  41. [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-

  42. [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

  43. [43]

    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

    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

  44. [44]

    S. I. Pohoˇ zaev, On the eigenfunctions of the equation ∆ u + λf (u) = 0. Dokl. Akad. Nauk SSSR , 165:36–39, 1965. 3

  45. [45]

    Pucci and J

    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

  46. [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

  47. [47]

    Sandeep and C

    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

  48. [48]

    Schoen, Conformal deformation of a riemannian metric to co nstant scalar curvature, Journal of Differential Geometry 20 (1984), no

    R. Schoen, Conformal deformation of a riemannian metric to co nstant scalar curvature, Journal of Differential Geometry 20 (1984), no. 2, 479-495. 2

  49. [49]

    Schechter and W

    M. Schechter and W. Zou, On the Br´ ezis–Nirenberg problem, A rchive for rational mechanics and analysis 197 (2010), no. 1. 1

  50. [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

  51. [51]

    Struwe, A global compactness result for elliptic boundary va lue problems involving limiting nonlinearities, Mathematische Zeitschrift 187 (1984), 511-517

    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

  52. [52]

    C. A. Swanson, The best Sobolev constant, Applicable Analysis 4 7 (1992), no. 1-4, 227-239. 3

  53. [53]

    Talenti, Best constant in Sobolev inequality, Annali di Matema tica pura ed Applicata 110 (1976), 353-372

    G. Talenti, Best constant in Sobolev inequality, Annali di Matema tica pura ed Applicata 110 (1976), 353-372. 2

  54. [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

  55. [55]

    X. J. Wang, Sharp constant in a Sobolev inequality, Nonlinear Ana lysis: Theory, Methods & Ap- plications 20 (1993), no. 3, 261-268. 3

  56. [56]

    Wei and X

    J. Wei and X. Xu, Classification of solutions of higher order conf ormally invariant equations, Math- ematische Annalen 313 (1999), 207-228. 3

  57. [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

  58. [58]

    Yang and X

    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

  59. [59]

    Yue and W

    X. Yue and W. Zou, Remarks on a Br´ ezis–Nirenberg’s result, Jo urnal of Mathematical Analysis and Applications 425 (2015), no. 2, 900-910. 1

  60. [60]

    Zhu and J

    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...