Mass and extremals associated with the Hardy-Schrödinger operator on hyperbolic space (Q1632061)

The Hardy-Schrödinger operator \(L_\gamma=-\Delta_{\mathbb{B}^n}-\gamma V_2\) is considered on the Poincaré ball model of the hyperbolic space \(\mathbb{B}^n\) with \(n\geq 3\). More precisely, the Euclidean unit ball \(B_1(0)=\{x\in \mathbb{R}^n:|x|<1\}\) endowed with the metric \[ g_{\mathbb{B}^n}=\left(\frac{2}{1-|x|^2}\right)^2g_{\text{Eucl}} \] is considered. Here, \(V_2\) is a given radial symmetric potential which is assumed to behave like the Hardy potential around its singularity at the origin; that is, \(V_2(r)\sim 1/r^2\). It is shown that \(L_\gamma\) is positive definite whenever \(\gamma<(n-2)^2/4\). In this case, the authors establish explicit solutions for the critical equation \[ L_\gamma u=V_{2^\ast(s)}u^{2^\ast(s)-1} \] in \(\mathbb{B}^n\) with \(0\leq s<2\), \(2^\ast(s)=2(n-2)/(n-2)\), and \(V_{2^\ast(s)}\) is a weight that behaves like \(1/r^s\) around the origin. The authors establish a ground state solution for \(n\geq 5\) for the equation \[ L_\gamma u-\lambda u=V_{2^\ast(s)}u^{2^\ast(s)-1} \] in a domain \(\Omega\) of \(\mathbb{B}^n\) away from the boundary that contains the origin assuming \(0<\gamma\leq n(n-4)/4\) and \(\lambda>\frac{n-2}{n-4}\left(n(n-4)/4-\gamma\right)\). For the special case \(n=3\) and \(n=4\), the authors show the existence of solutions under the assumption that the domain under consideration has a positive hyperbolic mass.