Singular Moser-Trudinger inequality with the exact growth condition on hyperbolic space

In this paper, we are concerned with a singular version of the Moser-Trudinger inequality with the exact growth condition in the n-dimension hyperbolic space \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathbb{H}^{n}$\end{document}Hn. Our result is a natural extension of the work of Lu and Tang in (J. Geom. Anal. 26:837-857, 2016).


Introduction
Let W ,p  ( ) denote the usual Sobolev space, i.e., the completion of C ∞  ( ) under the Sobolev norm The classical Sobolev embedding theorem states W ,n  ( ) ⊂ L q ( ) for all  ≤ q < ∞ but W ,n  ( ) L ∞ ( ). One can check this by choosing the function u(x) = ln(ln R |x-x  | ) for some R > , where x  is a fixed point in . It is natural to ask whether there exists an optimal embedding in this limiting case. Yudovic [], Pohozaev [] and Trudinger [] showed that, for some α > , W ,n  ( ) is continuously embedded into an Orlicz space with the Young function φ α (t) = exp(α|t| The above inequality is often referred as the Moser-Trudinger inequality. Carleson and Chang [] employed a symmetrization and rearrangement arguments to obtain the extremals of the Moser-Trudinger inequality when is a disk in R  . Later, the results of Carleson and Chang were extended by Flucher [] to arbitrary domains in R  , and by Lin [] for arbitrary domains in R n . The existence of extremals of the Moser-Trudinger inequality was also extended to compact Riemannian manifold cases by Li in [, ]. Cohn and Lu [] were concerned with the sharp constants for the Moser-Trudinger inequality on a bounded domain on Heisenberg group H n . The singular version of the Moser-Trudinger inequality on the Heisenberg group was also proved by Lam, Lu and Tang in []. For more results as regards the Moser-Trudinger inequalities and applications in partial differential equations, please see [-] and the references therein.
A natural idea is to consider the Moser-Trudinger inequality in the whole space R n . Adachi and Tanaka in [] proved the following nice result.
Moreover, the constant α n is sharp in the sense that if α ≥ α n , the supremum will become infinite.
They proved the sharpness of the exponent α by modifying a sequence of test functions introduced by Moser. In order to obtain the Moser-Trudinger inequality in the critical case α = α n , Ruf [] (in the dimension n = ) and Li and Ruf [] (in the dimension n ≥ ) replaced the Dirichlet norm with the standard Sobolev norm, i.e.
and obtained the Moser-Trudinger inequality in the whole space R n in the case of α = α n . Masmoudi and Sani in their elegant papers [, ] kept the two conditions α = α n and R n |∇u| n dx ≤ . They proved the following.
Moreover, this inequality fails if the power n n- in the denominator is replaced by any p < n n- .
The above result was also extended by Chen and Liu [] to singular version through the change of variables developed by Dong and Lu in [].
This paper is concerned with a singular version of Moser-Trudinger inequality with the exact growth condition on hyperbolic space H n . The hyperbolic space H n (n ≥ ) is a complete and simply connected Riemannian manifold and has constant curvature equal to -. There exist many types of models for hyperbolic space H n . However, the most important models are the half-space model, the ball model, and the hyperboloid (or Lorentz) model. Throughout this paper, we are concerned about the ball model because we can use symmetry and rearrangement argument in this setting.
We define B n = {x ∈ R n : |x| < } as a pen unit ball in R n equipped with the Riemannian metric g ij = (  -|x|  )  δ ij , which is referred to as the ball model of the hyperbolic space H n . A direct computation shows that the volume element of hyperbolic space H n is given by dV = (  -|x|  ) n dx and d(, x) = ln +|x| -|x| , where dx denotes the Lebesgue measure in R n and d(, x) denotes the hyperbolic distance between the origin and x. It is well known that the hyperbolic gradient ∇ g is defined as the ∇ g = ( -|x|   )  ∇, where ∇ denotes the general gradient in R n .
Let be a domain with finite measure on hyperbolic space H n . Denote f L n ( ) = ( |f | n dV )  n . A straightforward calculation yields We also define W ,n (H n ) as the completion of C ∞  (H n ) with the norm The Moser-Trudinger inequality on hyperbolic space was first established by Mancini and Sandeep [], they proved the Moser-Trudiner inequality on conformal discs. Lu and Tang in [] considered the subcritical Moser-Trudinger inequality on high dimensional hyperbolic space. They proved the following result.
Theorem D For any u ∈ W ,n (H n ) satisfying H n |∇ g u| n dV ≤ , there exists a positive constant C n such that for any α < α n . Furthermore the constant α n is sharp in the sense that the inequality does not hold if we replace the constant α with any α ≥ α n .
Recently, Lu and Tang in [] considered the sharp Moser-Trudinger inequality with the exact growth condition on hyperbolic space, they proved the following results.
Theorem E For any u ∈ W ,n (H n ) satisfying H n |∇ g u| n dV ≤ , there exists a positive constant C n such that Furthermore, the power n n- is sharp in the sense if the power n n- is replaced by any p < n n- , the () become infinite.
Motivated by the above results, we consider the singular version of the Moser-Trudinger inequality with the exact growth condition on hyperbolic space. We state our results as follows.
Theorem  For any radially decreasing function u ∈ W ,n (H n ) satisfying H n |∇ g u| n dV ≤ , there exists a positive constant C n independent of u such that We verify that the power n n- is optimal.
Theorem  If the power n n- is replaced by any p < n n- , there exists a sequence of functions This paper is organized as follows. In Section , we give some important lemmas which will play key roles in the proof of Theorem . In Section , we establish a singular version of Moser-Trudinger inequality with the exact growth condition on hyperbolic space (Theorem ). In Section , we give the proof of the sharpness of the singular Moser-Trudinger inequality with the exact growth condition in Theorem .

Some important lemmas
In this section, we give some key lemmas which play an important role in the proof of Theorem .
With the help of Lemma , one can obtain the following lemma.
Lemma  There exists a constant C such that for, any nonnegative decreasing function u with u(R) > K  n and ω n- ∞ R |u | n t n- dt ≤ K for some R, K > , Proof By scaling, it suffices to show that, for any nonnegative decreasing function u satisfying u() >  and ω n- ∞  |u | n t n- dt ≤ , Therefore, a (e) = a n  + k≥ a n k e (-β Next, we start to estimate h  . Set  < r < e /n , then . This completes the proof of Lemma .

Singular Moser-Trudinger inequality with the exact growth condition
In this section, we shall establish a singular version of Moser-Trudinger inequality with the exact growth condition on hyperbolic space. Namely, we will give the proof of Theorem . By the density, we can assume that u(x) is compactly supported in H n . We use the idea of Thus, it suffices to show that there exists a positive constant C n such that Next, we focus on the integral over (, R]. Set  < ε  <  and let R  (u) >  such that In order to estimate the integral over (, R], we need to consider two cases: R  ≥ R and R  ≤ R.
First, we consider the case that For any ε > , one can apply the following well-known inequality: Pick ε sufficiently small such that ( + ε) n- ε  < , then For R → , it is easy to check that For R → +∞, one can calculate On the other hand, Therefore, for R → , Thus, We can combine () and () to derive that Then by () and (), we obtain the desired inequality of Theorem  for R  ≥ R. Now, we consider the case R  < R. First, we consider the integral over (R  , R). By Using the same calculation as we did in the case R  ≥ R, we can derive Now, we only need to consider the integral on [, One can employ the equality () to derive that Then we obtain Since We can apply Lemma  to obtain () We can apply the singular Moser-Trudinger inequality on a bounded domain to obtain That is, Since sinh t t is monotone increasing on (, ∞), by (), () and () we derive Combining () with (), we obtain the desired inequality of Theorem  for R  ≤ R. This accomplishes the proof of Theorem .

Sharpness
In this section, we show that the desired inequality in Theorem  does not hold if the power n n- is replaced by any p < n n- . We choose {u k } ∞ k= as follows: where C k = (k -  e -k t -n (sinh t) n- dt) - n . It is easy to check that C k →  and C n n- By calculation, we derive that When p < n n- , we can apply () and () to obtain H n (α n ( -β n )|u k | n n- ) ( + u k ) p (d (, x) Thus, we accomplish the proof of Theorem .

Conclusions
In this paper, we prove a singular version of Moser-Trudinger inequality with the exact growth condition in the n-dimension hyperbolic space H n . It is well known that the Moser-Trudinger inequality plays an important role in nonlinear analysis and can be applied to study the ground state solutions of N -Laplacian equation with critical exponential growth.
Our results represent very good progress on modern analysis and geometric inequalities.