Characterization of Poisson integrals of vector-valued functions and measures on the unit circle (Q1110685)

An answer to the question whether, for a given complex-valued harmonic function f in the open unit disk D, there exists a finite measure on \([- \pi,\pi]\) (i.e. on the unit circle \(\Pi)\) such that f is the Poisson integral of this measure can be given in terms of the family of functions \(\{f_ r\); \(0\leq r<1\}\) defined on the unit circle by \[ (1)\quad f_ r: e^{i\theta}\mapsto f(re^{i\theta}),\quad \theta \in [-\pi,\pi]. \] Namely, such a measure exists if and only if there exists a constant \(\alpha\), independent of r, such that \(\int^{\pi}_{-\pi}| f_ r(e^{i\theta})| d\theta \leq \alpha\) for each \(0\leq r<1\). This condition means that the linear maps \(\Phi_ r\), \(0\leq r<1\), from the space C(\(\Pi)\) of continuous functions on the unit circle (equipped with the uniform norm) into the complex numbers defined by \[ (2)\quad \Phi_ r(\psi)=\int^{\pi}_{-\pi}\psi (\theta)f_ r(e^{i\theta})d\theta,\quad \psi \in C(\Pi), \] map the unit ball of this space into a bounded set independent of r. Just as well known is the criterion that f is the Poisson integral of an integrable function on \(\Pi\) if and only if the net of functions \(\{f_ r\); \(0\leq r<1\}\) is Cauchy in the space \(L^ 1(\Pi).\) If f is a harmonic function in D, but now with values in a Banach space X, in which case the family of functions \(\{f_ r\); \(0\leq r<1\}\) also assumes its values in the space X, then it is natural to ask whether the classical results for numerical-valued functions have vector analogues which characterize f as the Poisson integral of an X-valued measure or integrable function on the unit circle. The aim of this note is to show that this is indeed the case.