Hardy's inequalities for the Heisenberg group (Q2315967)

This article presents two types of Hardy's inequalities for the Heisenberg group. Let $\mathbb{H}^n$ be the $(2n+1)$-dimensional Heisenberg group $\mathbb{C}^n \times \mathbb{R}$ equipped with the group law \[ (z,t)(w,s)=(z+w, t+s+2\Im (z\cdot\overline{w})). \] and \[ \mathcal{L}=-\frac{1}{2}\sum_{j=1}^n(Z_{j}\overline{Z}_{j}+\overline{Z}_{j}Z_{j}) \] where \[ Z_{j}=\frac{\partial}{\partial z_{j}}+i\overline{z}_{j}\frac{\partial}{\partial t},\ \ \overline{Z}_{j}=\frac{\partial}{\partial \overline{z}_{j}}-iz_{j}\frac{\partial}{\partial t},\ \ 1 \leq j \leq n. \] The Fourier transform on $\mathbb{H}^n$ is defined to be the operator-valued function \[ \hat{f}(\lambda)=\int_{\mathbb{H}^n}f(z,t)\Pi_{\lambda}(z,t)\ dz d\overline{z}dt \] where $\Pi_{\lambda}(z,t)$ is the Schrödinger representation of $\mathbb{H}^n$ for each $\lambda \in \mathbb{R}^{*}=\mathbb{R} \setminus \{ 0\}$ on the Fock space $\mathcal{H}_{|\lambda|}$. For $\alpha \in \mathbb{N}^n$ and $\lambda >0$, write $E_{\alpha}^{\lambda}(\xi)=(\sqrt{2\lambda}\xi)^{\alpha}/\sqrt{\alpha!}$. The set $\{ E_{\alpha}^{\lambda}(\xi),\ \alpha \in \mathbb{N}^n \}$ is an orthogonal basis of $\mathcal{H}_{|\lambda|}$. The Hilbert-Schmidt operator $W_{\alpha}^{0}(\lambda)$ on $\mathcal{H}_{|\lambda|}$ is defined by \[ W_{\alpha}^{0}(\lambda)E_{\beta}^{\lambda}=\delta_{\alpha, \beta}E_{\alpha}^{\lambda},\quad \lambda > 0, \qquad W_{\alpha}^{0}(\lambda)=W_{\alpha}^{0}(-\lambda)^{*}, \quad \lambda < 0. \] Let $H^p(\mathbb{H}^n)$ be the Hardy space of the Heisenberg group $\mathbb{H}^n$. The authors prove the following Hardy's inequalities. Theorem 1. Suppose $f \in H^p(\mathbb{H}^n)$ with $0 < p \leq 1$. Then there exists a constant $c$ such that \[ \|\widehat{\mathcal{L}^{-\frac{\sigma}{p}}f}(\lambda)W_{\alpha}^{0}(\lambda)\|_{HS}^p \leq c\|f\|_{H^p(\mathbb{H}^n)}^p \] where $\sigma=\frac{Q}{2}(1-p)$ and $Q=2n+2$. Theorem 2. Suppose $f \in H^p(\mathbb{H}^n)$ with $0 < p \leq 1$. Then there exists a constant $c$ such that \[ \int_{\mathbb{R}^{*}}\|\widehat{\mathcal{L}^{-\frac{\tau}{p}}f}(\lambda)\|_{HS}^p \ d\mu(\lambda) \leq c\|f\|_{H^p(\mathbb{H}^n)}^p \] where $\tau=\frac{Q}{2}(2-p)$ and $d\mu(\lambda)= (2^{n-1}/\pi^{n+1})|\lambda|^n d\lambda$. The proofs are mainly based on estimates of the Fourier transform for atomic functions deduced by the horizontal Taylor formula and the properties of special Hermite functions on the Heisenberg group.