Sharp Hardy–Trudinger–Moser inequalities in any N-dimensional hyperbolic spaces. (October 2020)

• Record Type: Journal Article
• Authors: Liang, Xining; Lu, Guozhen; Wang, Xumin; Yang, Qiaohua
• Is Part Of: Nonlinear analysis. Volume 199(2020)
• Publication Date: 2020-10
• Subjects: 46E35 -- 35J20 -- 42B35; Hardy–Trudinger–Moser inequalities -- Hyperbolic spaces -- Sharp constants; Mathematical analysis -- Periodicals; Functional analysis -- Periodicals; Nonlinear theories -- Periodicals; Analyse mathématique -- Périodiques; Analyse fonctionnelle -- Périodiques; Théories non linéaires -- Périodiques; Functional analysis; Mathematical analysis; Nonlinear theories; Periodicals; Electronic journals; 515.7248
• DOI: 10.1016/j.na.2020.112031
• Languages: English
• ISSNs: 0362-546X

Abstract

Abstract: The first order Hardy–Trudinger–Moser type inequalities were only known in two dimensional hyperbolic space B 2 in the literature (Wang and Ye, 2012; Mancini et al., 2013; Lu and Yang, 2016). In this paper, we establish the Hardy–Trudinger–Moser inequalities in any N -dimensional hyperbolic spaces B N for N ≥ 2 . Namely, for any N ≥ 2 there exists a constant C = C ( N ) > 0 such that for all u ∈ W 0 1, N ( B N ) with ∫ B N | ∇ H u | N d V − N − 1 N N ∫ B N | u | N d V ≤ 1, there holds ∫ B N Φ N ( β N | u | N N − 1 ) d V ≤ C and ∫ B N e β N | u | N N − 1 d x ≤ C, where d V = 2 1 − | x | 2 N d x is the hyperbolic volume, ∇ H u is the hyperbolic gradient, β N = N N π N 2 Γ ( N 2 + 1 ) 1 N − 1 and Φ N ( t ) = e t − ∑ k = 0 N − 1 t k k ! . In the two dimensional case N = 2, we further establish that if and only if λ < 1 4 there exists a constant C ′ = C ′ ( λ ) > 0 such that for all u ∈ W 0 1, 2 ( B 2 ) with ∫ B 2 | ∇ H u | 2 d V − 1 4 ∫ B 2 | u | 2 d V − λ ∫ B 2 ( 1 − | x | 2 ) | u | 2 d V ≤ 1, there holds ∫ B 2 e 4 π u 2 − 1 − 4 π u 2 ( 1 − | x | 2 ) 2 d x ≤ C ′ and ∫ B 2 e 4 π u 2 d x ≤ C ′ . In fact, 1 4 is the sharp constant on the right hand side of the following inequality ∫ B 2 | ∇ H u | 2 d V − 1 4 ∫ B 2 | u | 2 d V ≥ 1 4 ∫ B 2 ( 1 − | x | 2 ) | u | 2 d V . These improve the known results in dimension two in the literature.