Hardy's inequalities for the Heisenberg group (Q2315967)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hardy's inequalities for the Heisenberg group |
scientific article |
Statements
Hardy's inequalities for the Heisenberg group (English)
0 references
26 July 2019
0 references
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.
0 references
Heisenberg group
0 references
Hardy's inequality
0 references
Hardy space
0 references
Taylor formula
0 references
Hermite function
0 references
0 references
0 references