- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2014 (2014), Article ID 908216, 4 pages

http://dx.doi.org/10.1155/2014/908216

## Trudinger-Moser Embedding on the Hyperbolic Space

Department of Mathematics, Renmin University of China, Beijing 100872, China

Received 6 November 2013; Accepted 26 December 2013; Published 18 February 2014

Academic Editor: Julio Rossi

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.

#### Abstract

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.

#### 1. Introduction

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 [4], Panda [5], and do Ó [6] that for any and any there holds Later Ruf [7], Li and Ruf [8], and Adimurthi and Yang [9] obtained (2) in the critical case .

The study of Trudinger-Moser inequalities on compact Riemannian manifolds can be traced back to Aubin [10], Cherrier [11, 12], and Fontana [13]. 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 [14] 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
*

The proof of Theorem 1 is based on local uniform estimates (Lemma 2 below). This idea comes from [14] and can also be used in other cases [15, 16].

We remark that critical case of (5) was studied by Adimurthi and Tintarev [17], Mancini and Sandeep [18], and Mancini et al. ([19]) via different methods.

The remaining part of this note is organized as follows. In Section 2 we derive local uniform Trudinger-Moser inequalities; in Section 3, Theorem 1 is proved.

#### 2. Local Estimates

To get (5), we need the following uniform local estimates which is an analogy of ([15], Lemma 4.1) or ([16], Lemma 1), and it is of its own interest.

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., [20], 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.

As a corollary of Lemma 2, the following estimates can be compared with (1).

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

In this section, we will prove Theorem 1 by gluing local estimates (6).

*Proof of Theorem 1. *Let be a positive real number which will be determined later. By ([21], 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.

#### Acknowledgment

This work is supported by the NSFC 11171347. The authors thank the referee for pointing out some grammar mistakes and the reference [19].

#### References

- 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 $\mathrm{pl}=n$,” 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 ${\mathbb{R}}^{2}$,”
*Communications in Partial Differential Equations*, vol. 17, pp. 407–435, 1992. - R. Panda, “Nontrivial solution of a quasilinear elliptic equation with critical growth in ${\mathbb{R}}^{n}$,”
*Proceedings of the Indian Academy of Science*, vol. 105, pp. 425–444, 1995. - J. M. do Ó, “
*N*-Laplacian equations in ${\mathbb{R}}^{N}$ 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 ${\mathbb{R}}^{2}$,”
*Journal of Functional Analysis*, vol. 219, no. 2, pp. 340–367, 2005. View at Publisher · View at Google Scholar · View at Scopus - Y. Li and B. Ruf, “A sharp Trudinger-Moser type inequality for unbounded domains in ${\mathbb{R}}^{N}$,”
*Indiana University Mathematics Journal*, vol. 57, no. 1, pp. 451–480, 2008. View at Publisher · View at Google Scholar · View at Scopus - A. Adimurthi and Y. Yang, “An interpolation of hardy inequality and trudinger-moser inequality in ${\mathbb{R}}^{N}$ and its applications,”
*International Mathematics Research Notices*, vol. 13, pp. 2394–2426, 2010. View at Publisher · View at Google Scholar · View at Scopus - 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. View at Publisher · View at Google Scholar · View at Scopus - 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. View at Publisher · View at Google Scholar - 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. View at Publisher · View at Google Scholar · View at Scopus - G. Mancini and K. Sandeep, “Moser-Trudinger inequality on conformal discs,”
*Communications in Contemporary Mathematics*, vol. 12, no. 6, pp. 1055–1068, 2010. View at Publisher · View at Google Scholar · View at Scopus - G. Mancini, K. Sandeep, and C. Tintarev, “Trudinger-Moser inequality in the hyperbolic space ${\mathbb{H}}^{N}$,”
*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.