Research Article | Open Access
Trudinger-Moser Embedding on the Hyperbolic Space
Let be the hyperbolic space of dimension . By our previous work (Theorem 2.3 of (Yang (2012))), for any , there exists a constant depending only on and such that where , is the measure of the unit sphere in , and . In this note we shall improve the above mentioned inequality. Particularly, we show that, for any and any , the above mentioned inequality holds with the definition of replaced by . We solve this problem by gluing local uniform estimates.
Let be a bounded smooth domain in . The classical Trudinger-Moser inequality [1–3] says for some constant depending only on , where is the usual Sobolev space and denotes the Lebesgue measure of . In the case where is an unbounded domain of , the above integral is infinite, but it was shown by Cao , Panda , and do Ó  that for any and any there holds Later Ruf , Li and Ruf , and Adimurthi and Yang  obtained (2) in the critical case .
The study of Trudinger-Moser inequalities on compact Riemannian manifolds can be traced back to Aubin , Cherrier [11, 12], and Fontana . A particular case is as follows. Let be an -dimensional compact Riemannian manifold without boundary. Then there holds
In view of (2), it is natural to consider extension of (3) on complete noncompact Riemannian manifolds. In  we obtained the following results. Let be a complete noncompact Riemannian manifold. If the Trudinger-Moser inequality holds on it, then there holds . If the Ricci curvature has lower bound, say , the injectivity radius has a positive lower bound then for any there exists a constant depending only on , , , and such that Since depends on , (4) is weaker than (2) when is replaced by . Moreover, the condition that has lower bound is not necessary for the validity of the Trudinger-Moser inequality.
In this note, we will continue to study (4) in whole by gluing local uniform estimates. Particularly, we have the following.
Theorem 1. Let be an -dimensional hyperbolic space, , where is the measure of the unit sphere in . Then for any , any , and any satisfying , there exists some constant depending only on and such that
2. Local Estimates
Lemma 2. For any , any , and any with , there exists some constant depending only on such that where denotes the geodesic ball of which is centered at with radius .
Proof. It is well known (see, e.g., , II.5, Theorem 1) that there exists a homomorphism such that , that in these coordinates the Riemannian metric can be represented by
where is the standard Euclidean metric on , and that
where denotes a ball centered at with radius . Moreover, the corresponding polar coordinates read
where is the standard metric on .
Denote ; then , , and . Calculating directly, we have Since , we have . Noting that , we have by (10) The standard Trudinger-Moser inequality (1) implies where is a constant depending only on . This together with (10) immediately leads to This is exactly (6) and thus ends the proof of the lemma.
Corollary 3. For any , any , and any with , there exists some constant depending only on such that
Proof. Since it follows from (13) that there exists some constant depending only on such that In particular, Here and in the sequel we often denote various constants by the same ; the reader can easily distinguish them from the context. Noting that for any , , we conclude Combining (16) and (19), we obtain (14).
3. Proof of Theorem 1
Proof of Theorem 1. Let be a positive real number which will be determined later. By (, Lemma 1.6) we can find a sequence of points such that , that for any , and that for any , belongs to at most balls , where depends only on . Let be the cut-off function satisfies the following conditions: (i) ; (ii) on and on ; (iii) . Let be fixed. For any satisfying we have . For any , using an elementary inequality , we find some constant depending only on and such that where in the last inequality we choose a sufficiently large to make sure . Let and . Noting that , we have by (21) and Lemma 2 where is a constant depending only on and . By the choice of and (22), we have for some constant depending only on and . For any , we can choose sufficiently small such that . This ends the proof of Theorem 1.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This work is supported by the NSFC 11171347. The authors thank the referee for pointing out some grammar mistakes and the reference .
- J. Moser, “A sharp form of an inequality by N. Trudinger,” Indiana University Mathematics Journal, vol. 20, pp. 1077–1091, 1971.
- S. Pohozaev, “The Sobolev embedding in the special case ,” in Proceedings of the Technical Scientific Conference on Advances of Scientific Reseach 1964-1965, Mathematics Sections, pp. 158–170, Moscow Energetic Institute, 1965.
- N. S. Trudinger, “On embeddings into Orlicz spaces and some applications,” Journal of Applied Mathematics and Mechanics, vol. 17, pp. 473–484, 1967.
- D. Cao, “Nontrivial solution of semilinear elliptic equations with critical exponent in ,” Communications in Partial Differential Equations, vol. 17, pp. 407–435, 1992.
- R. Panda, “Nontrivial solution of a quasilinear elliptic equation with critical growth in ,” Proceedings of the Indian Academy of Science, vol. 105, pp. 425–444, 1995.
- J. M. do Ó, “N-Laplacian equations in with critical growth,” Abstract and Applied Analysis, vol. 2, pp. 301–315, 1997.
- B. Ruf, “A sharp Trudinger-Moser type inequality for unbounded domains in ,” Journal of Functional Analysis, vol. 219, no. 2, pp. 340–367, 2005.
- Y. Li and B. Ruf, “A sharp Trudinger-Moser type inequality for unbounded domains in ,” Indiana University Mathematics Journal, vol. 57, no. 1, pp. 451–480, 2008.
- A. Adimurthi and Y. Yang, “An interpolation of hardy inequality and trudinger-moser inequality in and its applications,” International Mathematics Research Notices, vol. 13, pp. 2394–2426, 2010.
- T. Aubin, “Sur la function exponentielle,” Comptes Rendus de l'Académie des Sciences. Series A, vol. 270, pp. A1514–A1516, 1970.
- P. Cherrier, “Une inegalite de Sobolev sur les varietes Riemanniennes,” Bulletin des Sciences Mathématiques, vol. 103, pp. 353–374, 1979.
- P. Cherrier, “Cas d'exception du theor`eme d'inclusion de Sobolev sur les varietes Riemanniennes et applications,” Bulletin des Sciences Mathématiques, vol. 105, pp. 235–288, 1981.
- L. Fontana, “Sharp borderline Sobolev inequalities on compact Riemannian manifolds,” Commentarii Mathematici Helvetici, vol. 68, no. 1, pp. 415–454, 1993.
- Y. Yang, “Trudinger-Moser inequalities on complete noncompact Riemannian manifolds,” Journal of Functional Analysis, vol. 263, pp. 1894–1938, 2012.
- Y. Yang, “Trudinger-Moser inequalities on the entire Heisenberg group,” Mathematische Nachrichten, 2013.
- Y. Yang and X. Zhu, “A new proof of subcritical Trudinger-Moser inequalities on the whole Euclidean space,” The Journal of Partial Differential Equations, vol. 26, no. 4, pp. 300–304, 2013.
- A. Adimurthi and K. Tintarev, “On a version of Trudinger-Moser inequality with Möbius shift invariance,” Calculus of Variations and Partial Differential Equations, vol. 39, no. 1-2, pp. 203–212, 2010.
- G. Mancini and K. Sandeep, “Moser-Trudinger inequality on conformal discs,” Communications in Contemporary Mathematics, vol. 12, no. 6, pp. 1055–1068, 2010.
- G. Mancini, K. Sandeep, and C. Tintarev, “Trudinger-Moser inequality in the hyperbolic space ,” Advances in Nonlinear Analysis, vol. 2, no. 3, pp. 309–324, 2013.
- I. Chavel, Eigenvalues in Riemannian Geometry, Academic Press, 1984.
- E. Hebey, Sobolev Spaces on Riemannian Maifolds, vol. 1635 of Lecture Notes in Mathematics, Springer, 1996.
Copyright © 2014 Yunyan Yang and Xiaobao Zhu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.