Circle companions of Hardy spaces of the unit disk (Q6072350)

Let \(\mathbb{D}=\{z\in \mathbb{C}: |z|<1\}\), \(\mathbb{T}=\{z\in \mathbb{C}: |z|=1\}\). For \(1 \leq p \leq \infty\) and \(X\) a Banach space, consider the Hardy space \(H^p(\mathbb{D}, X)\) of \(X\)-valued functions defined on the unit disk \(\mathbb{D}\). A Banach space \(X\) has the analytic Radon-Nikodým property (ARNP) if every function in \(H^1(\mathbb{D}, X)\) has radial limits a.e. on \(\mathbb{T}\). A function \(f:\mathbb{T}\to X\) is strongly measurable if there exists a sequence of simple functions \(f_n\) such that \(f(z)=\underset{n\to \infty}\lim\, f_n(z)\) for almost all \(z\in \mathbb{T}\). Let \(X\) and \(Y\) be Banach spaces and \(\mathcal{B}(X, Y)\) denote the space of all bounded linear operators from \(X\) to \(Y\). A function \(f:\mathbb{T}\to \mathcal{B}(X, Y)\) is called \(SOT\) measurable if the mapping \(z\to f(z)x\) is strongly measurable for every \(x\in X\). Denote by \(L^{p}_{sot}(\mathbb{T}, \mathcal{B}(X, Y))\) (\(1 \leq p \leq \infty\)) the space of all equivalence classes of \(SOT\) measurable functions \(f:\mathbb{T}\to \mathcal{B}(X, Y)\) such that \(N(f)\in L^{p}(\mathbb{T})\), where \[ N(f)(z)=\|f(z)\|_{\mathcal{B}(X, Y)}. \] Let \(H^{p}_{sot}(\mathbb{T}, \mathcal{B}(X, Y))\) be the space of all functions in \(L^{p}_{sot}(\mathbb{T}, \mathcal{B}(X, Y))\) such that \(f(\cdot)x\in H^p(\mathbb{T},Y)\) for every \(x\in X\). The\, ``strong Poisson integral''\, \(P_s[f]\) of \(f\) in \(H^{p}_{sot}(\mathbb{T}, \mathcal{B}(X, Y))\) is defined by \[ P_s[f](\zeta)x = P[f(\cdot)x](\zeta)\quad (x\in X,\, \zeta\in \mathbb{D}). \] The following is the main result of the paper. Theorem 1. Let \(X\) be a separable Banach space and \(Y\) be a Banach space satisfying the analytic Radon-Nikodým property. Then, for \(1 \leq p \leq \infty\), the mapping \(f\to P_s[f]\) is an isometric isomorphism from \(H^{p}_{sot}(\mathbb{T}, \mathcal{B}(X, Y))\) onto \(H^{p}(\mathbb{D}, \mathcal{B}(X, Y))\). The following corollary is immediate from Theorem 1. Corollary. Let \(D\) and \(E\) be separable Hilbert spaces. Then, for \(1 \leq p \leq \infty\), the mapping \(f\to P_s[f]\) is an isometric isomorphism from \(H^{p}_{sot}(\mathbb{T}, \mathcal{B}(D, E))\) onto \(H^{p}(\mathbb{D}, \mathcal{B}(D, E))\). These results give a complete answer to the following old problem: Find the circle companion of the Hardy space of the unit disk with values in the space of all bounded linear operators between two separable Hilbert spaces.