Circle companions of Hardy spaces of the unit disk

DOI10.1016/J.JFA.2023.110159MaRDI QIDQ6072350zbMATH OpenFDO

Authors Raúl E. Curto, In Sung Hwang, Sumin Kim, Woo Young Lee

Publication date 13 October 2023

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JFA.2023.110159

circle companions operator-valued Hardy spaces strong boundary functions strong Poisson integrals

Hardy spaces (30H10) (H^p)-spaces (42B30) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30) Spaces of vector- and operator-valued functions (46E40)

Review text

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.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Circle companions of Hardy spaces of the unit disk

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6072350)