Hardy-type spaces arising from a vector-valued Cauchy kernel (Q1689819)

The author studies Hardy-type spaces on the unit ball \(\mathbb B\subset\mathbb C^n\) arising from a reproducing formula with a vector-valued kernel. Let \(A(\mathbb B,\mathbb C^n)\), \(n\in\mathbb N\), denote the space of continuous \(f:\overline{\mathbb B}\to\mathbb C^n\) that are holomorphic in \(\mathbb B\). The space of holomorphic mappings from \(\mathbb B\) into \(\mathbb C^n\) is denoted by \(H(\mathbb B,\mathbb C^n)\). For the unique rotation-invariant Borel probability measure \(\sigma\) on \(\mathbb S=\partial\mathbb B\) and for continuous \(f:\mathbb B\to\mathbb C^n\), consider the integral mean \[ M_p(f;r)=\left(\int_{\mathbb S}\|f(ru)\|^pd\sigma(u)\right)^{1/p},\;\;p\geq1,\;\;r\in(0,1). \] The Hardy space \(H^p(\mathbb B,\mathbb C^n)\) consists of all \(f\in H(\mathbb B,\mathbb C^n)\) for which \[ \|f\|_{H^p(\mathbb B,\mathbb C^n)}=\sup_{0<r<1}M_p(f;r)<\infty. \] If \(E\subseteq\mathbb C^n\) and \(f:E\to\mathbb C^n\), define \(S[f](z)=\langle f(z),z\rangle\), \(z\in E\), where \(\langle\cdot,\cdot\rangle\) is the inner product in \(\mathbb C^n\). Let \(Y^p(\mathbb S)\), \(p\geq1\), be the closure in \(L^p(\sigma)\) of the set of functions \(\big\{\varphi|_{\mathbb S}:\varphi\in S[A(\mathbb B,\mathbb C^n)]\big\}\). Set \[ J_0:\mathbb B\times\mathbb S\to\mathbb C,\;\; J_0(z,u)=\frac{n(\langle u,z\rangle-\|z\|^2)}{(1-\langle z,u\rangle)^{n+1}},\;\; Y^p(\mathbb B)=J_0[Y^p(\mathbb S)], \] where the integral transform on \(L^1(\sigma)\) is given by \[ J_0[g](z)=\int_{\mathbb S}J_0(z,u)g(u)d\sigma(u),\;\;z\in\mathbb B. \] The following theorem is the main result on \(Y^p(\mathbb B)\). Theorem 4.6. Suppose \(\varphi\in S[H(\mathbb B,\mathbb C^n)]\) is such that \[ \sup_{0<r<1}M_p(\varphi;r)<\infty. \] Then \(\varphi\in Y^p(\mathbb B)\) and \(\|\varphi\|_p=\lim_{r\to1^-}M_p(\varphi;r)\). For \(p\geq1\), let \(F^p(\mathbb B,\mathbb C^n)=\{f\in H(\mathbb B,\mathbb C^n):S[f]\in Y^p(\mathbb B)\}\). Let \[ \overline{\nabla}=\sum_{k=1}^ne_k\frac{\partial}{\partial\overline z_k} \] with the canonical basis \(e_1,\dots,e_n\) in \(\mathbb C^n\). Theorem 5.1: For all \(p\geq1\), \(H^p(\mathbb B,\mathbb C^n)\subseteq F^p(\mathbb B,\mathbb C^n)\subseteq H_p^p(\mathbb B,\mathbb C^n)\). Moreover, these inclusions are continuous through \(Y^p(\mathbb B)\) in the sense that the operators \(S:H^p(\mathbb B,\mathbb C^n)\to Y^p(\mathbb B)\) and \(\overline{\nabla}:Y^p(\mathbb B)\to H_p^p(\mathbb B,\mathbb C^n)\) are each bounded.