Existence of extremal functions for the Stein-Weiss inequalities on the Heisenberg group (Q2421529)

The existence of extremals for two kinds of Stein-Weiss inequalities on the Heisenberg group is established using the concentration compactness principle. Let \(\mathbb{H}^n = \mathbb{C}^n \times \mathbb{R}\) be an \(n\)-dimensional Heisenberg group. Let \( 1 < p <\infty\), \(1 < q < \infty\), \(0 < \lambda < Q=2n+2\), \(\alpha+\beta \geq 0\) such that \(\lambda +\alpha + \beta \leq Q\), \(\beta < \frac{Q}{p}\), \(\alpha < \frac Qq\) and \(\frac 1p +\frac{1}{q}+\frac{\lambda +\alpha+\beta}{Q}=2\). Define the operator \[ I_{\lambda}(g)(u)=\int_{\mathbb{H}^n}\frac{g(v)}{|u^{-1}v|^{\lambda}} dv. \] Consider the following maximizing problem: \[ C_{Q, \alpha, \beta, p, q}:= \sup \{ ||I_{\lambda}(g)|u|^{-\alpha} ||_{L^q(\mathbb{H}^n)} \, : \, g \geq 0, ||g|v|^{\beta} ||_{L^p(\mathbb{H}^n)} =1 \}. \] The following theorems are proved. Theorem 1. If \(p,q,\alpha, \beta, \lambda, Q\) satisfy the above-mentioned assumptions and if \(q>p\), then there exists some nonnegative function \(g\) satisfying \(||g|v|^{\beta}||_{L^p(\mathbb{H}^n)} =1\) and \(||I_{\lambda}(g)|u|^{-\alpha} ||_{L^q(\mathbb{H}^n)} = C_{Q, \alpha, \beta, p, q}\). Theorem 2. For \(1 < p < \infty\), \(1 < q < \infty\), \(0 < \lambda < n\), \(\alpha+\beta \geq 0\) such that \(\lambda +\alpha + \beta \leq n+m\), \(\beta < \frac{m}{p}\), \(\alpha < \frac mq\) and \(\frac 1p +\frac{1}{q}+\frac{\lambda +\alpha+\beta}{n+m}=2\), there exists some constant \(C_{n,m,\alpha, \beta, p, q} >0\) such that for any functions \(f\in L^{q}(\mathbb{R}^{n+m})\) and \(g \in L^{p}(\mathbb{R}^{n+m})\) there holds \[ \int_{\mathbb{R}^{n+m}} \int_{\mathbb{R}^{n+m}} \frac{f(x)g(y)}{|x'|^{\alpha} |x-y|^{\lambda} |y'|^{\beta}} dx dy \leq C_{n,m,\alpha, \beta, p, q} || f||_{L^{q}(\mathbb{R}^{n+m})} ||g||_{L^{p}(\mathbb{R}^{n+m})}, \] where \(x=(x',x'')\), \(y=(y',y'') \in \mathbb{R}^{m} \times \mathbb{R}^{n}\). Furthermore, if we assume that \(q>p\), then the best constant \(C_{n,m,\alpha, \beta, p, q}\) could be achieved.