Finite rank intermediate Hankel operators and the big Hankel operator (Q885599)

Let \(L_a^2\) be the Bergman space of the open unit disk and let \(M\) be a closed subspace of \(L^2\) such that \(zM\subset M\) and \(zL_a^2\subset M\). Denote by \(P^M\) the orthogonal projection from \(L^2\) onto \(M\) and consider the intermediate Hankel operator \(H_\varphi^M\) defined by \(H_\varphi^Mf=(I-P^M)(\varphi f)\) for \(f\in L_a^2\). Let \({\mathcal L}^p=L^p([0,1),2r\,dr)\) and denote \({\mathbb H}^2=\sum_{j=0}^\infty\oplus{\mathcal L}^2e^{ij\theta}\) and \(M_j=\{f_j\in{\mathcal L}^2,f\in M,f(z)=\sum_{j=-\infty}^\infty f_j(r)e^{ij\theta}\}\). The following result is proved. Theorem. Suppose that \(zL_a^2\subset M\subset e^{-ik\theta}{\mathbb H}^2\) for \(k\geq 0\) and that \(\varphi=\sum_{j=1+k}^\infty \varphi_{-j}(r)e^{-ij\theta}\) is a function in \(L^\infty\). Then there does not exist any finite rank \(H_\varphi^M\) except for \(H_\varphi^M=0\) if and only if \(M_{-(k-j)}\cap r^{j+1}{\mathcal L}^\infty=\{0\}\) for any \(j\geq 0\). The case \(k=0\) was considered earlier by \textit{T.\,Nakazi} and \textit{T.\,Osawa} [Int.\ J.\ Math.\ Math.\ Sci.\ 25, No.\,1, 19--31 (2001; Zbl 0987.47013)].