Notes on interpolation of Hardy spaces (Q1203389)

Let \(H_ p\) denote the usual Hardy space of analytic functions on the unit disc \((0<p\leq\infty)\). We prove that for every function \(f\in H_ 1\) there exists a linear operator \(T\) defined on \(L_ 1({\mathbf T})\) which is simultaneously bounded from \(L_ 1({\mathbf T})\) to \(H_ 1\) and from \(L_ \infty({\mathbf T})\) to \(H_ \infty\) such that \(T(f)=f\). Consequently, we get the following results \((1\leq p_ 0,p_ 1\leq\infty)\): 1) \((H_{p_ 0},H_{p_ 1})\) is a Calderón-Mitjagin couple; 2) for any interpolation functor \(F\), we have \(F(H_{p_ 0},H_{p_ 1})=H(F(L_{p_ 0}({\mathbf T}),L_{p_ 1}({\mathbf T})))\), where \(H(F(L_{p_ 0}({\mathbf T}),L_{p_ 1}({\mathbf T})))\) denotes the closed subspace of \(F(L_{p_ 0}({\mathbf T}),L_{p_ 1}({\mathbf T}))\) of all functions whose Fourier coefficients vanish on negative integers. These results also extend to Hardy spaces associated to general rearrangement invariant spaces on the unit circle.