Hankel operator between weighted Bergman spaces (Q1122762): Difference between revisions

For \(-1<\alpha <\infty\) we define the measure \(\mu_{\alpha}\) on the unit disc \({\mathbb{D}}\) by \[ \frac{\alpha +1}{\pi}(1-r^ 2)^{\alpha} r dr d\theta. \] The space \(L^ 2(\mu_{\alpha})\) consists of all measurable functions on the unit disc for which the norm \[ \| f\|^ 2_{\alpha}=\frac{\alpha +1}{\pi}\iint_{D}| f(re^{i\theta})|^ 2(1-r^ 2)^{\alpha} r dr d\theta \] is finite. The analytic functions in \(L^ 2(\mu_{\alpha})\) constitute a subspace \(A^{\alpha}\) called the Bergman space. Let \(P_{\alpha}\) denote the orthogonal projection of \(L^ 2(\mu_{\alpha})\) onto \(A^{\alpha}\). The space of anti-analytic functions in \(L^ 2(\mu_{\alpha})\) is denoted by \(A^{\alpha}\) and the corresponding projection by \(\bar P_{\alpha}.\) For f a measurable function on \({\mathbb{D}}\) the big and small Hankel operators with symbol f, denoted by \(H_ f\) and \(\tilde H_ f\) respectively are defined by \[ H_ f(g)=(I-P_{\alpha})(\bar fg),\quad \tilde H_ f(g)=\bar P_{\alpha}(\bar fg), \] where g is an analytic function. Recall that a Hilbert space operator T belongs to the Schatten-Von Neumann class \(S_ p\) if the sequence of singular numbers \(\{s_ n(T)\}^{\infty}_{n=0}=\inf \{\| T-K\|:\quad rank(K)\leq n\}^{\infty}_{n=0}\) belongs to \(\ell^ p\). \textit{S. Axler} [Duke Math. J. 53, 315-332 (1986; Zbl 0633.47014)] characterizes the symbols f such that the big Hankel operator \(H_ f\) belongs to \(S_ p\) \((p=\infty\) and \(\alpha =0)\). The general case is done by \textit{J. Arazy}, \textit{S. Fisher} and \textit{J. Peetre} [Hankel operators in Bergman spaces, Am. J. Math., to appear]. The small Hankel operator is studied by \textit{V. V. Peller} [Integral equation, Oper. Theory 5, 244-272 (1982; Zbl 0478.47014) and ``Hankel operator on the Schatten-Von Neumann class \(S_ p\), \(0<p<1''\), LOMI preprints E-6-82, Leningrad] and \textit{S. Semmes} [Integral Equations Oper. Theory 7, 241-281 (1984; Zbl 0541.47023)]. For \(\alpha\),\(\beta\in (-1,\infty)\) the author studies the Hankel operators defined using \(P_{\alpha}\) as operators \(A^{\beta}\) into \(L^ 2(\mu_{\alpha})\). The class of \(S_ p\)-operators from \(A^{\beta}\) into \(L^ 2(\mu_{\alpha})\) is denoted by \(S_ p^{\beta \alpha}\). The questions dealt with are as follows. For which f does \(H_ f\) belong to \(S_ p^{\beta \alpha}?\) Let \(\alpha,\beta >-1\). For each f is \(H_ f(\tilde H_ f)\) compact from \(A^{\beta}\) into \(L^ 2(\mu_{\alpha})\) \((\bar A_{\alpha})?\) The author extends the results of Peller, Semmes, Arazy-Fisher-Peetre to this case.