Schatten classes of integration operators on Dirichlet spaces (Q393418)

Let \(\mathcal{D}_\alpha\), \(\alpha\geq 0\), be the weighted Dirichlet-type space consisting of all analytic functions \(f\in H(\mathbb{D})\) on the unit disc for which \[ \|f\|^2_{\mathcal{D}_\alpha}\overset{\mathrm{def}}{=}|f(0)|^2+\int_{\mathbb{D}}|f'(z)|^2(\alpha+1)(1-|z|^2)^\alpha dA(z) <\infty \] with \(A\) denoting the normalized area measure on \(\mathbb{D}\). Weighted Dirichlet spaces are reproducing kernel Hilbert spaces; in the case of \(\alpha=0\) we obtain the classical Dirichlet space, \(\alpha=1\) produces the classical Hardy space \(H^2\), and \(\alpha>1\) gives the weighted Bergman space \(A^2_{\alpha-2}\). The authors consider conditions characterizing the fact that an integral operator \(T_g\), \(g\in H(\mathbb{D})\), defined on \(\mathcal{D}_\alpha\) as \[ (T_gf)(z)=\int_0^zf(\zeta)g'(\zeta)d\zeta \] belongs to the Schatten-von Neumann ideal \(\mathcal{S}_p\), \(p>0\). In case \(p>1\) it is known for some ranges of \(\alpha\) (\(\alpha\geq 1\) or \(0<\alpha<1\) with \(p(1-\alpha)<2\)) that \(T_g\in\mathcal{S}_p (\mathcal{D}_\alpha)\) if and only if \(g\) belongs to the Besov space \(B_p\), see [\textit{A. Aleman} and \textit{A. Siskakis}, Complex Variables, Theory Appl. 28, No. 2, 149--158 (1995; Zbl 0837.30024); Indiana Univ. Math. J. 46, No. 2, 337--356 (1997; Zbl 0951.47039); \textit{X. Wu}, Proc. Indian Acad. Sci., Math. Sci. 124, No. 1, 81--92 (2014; Zbl 1290.42041)]. The authors extend this result to the case \(0<\alpha<1\) with \(p(1-\alpha)<4\), replacing the Besov space \(B_p\) with a newly introduced space \(X_\alpha^p\subset H(\mathbb{D})\). In the classical Dirichlet space case (\(\alpha=0\)), the condition \(g\in B_p\) is not sufficient for \(T_g\) to belong to the Schatten-von Neumann class \(\mathcal{S}_p\) for \(p>1\). The authors provide some necessary and sufficient conditions for \(T_g\in \mathcal{S}_p(\mathcal{D}_0)\), \(1<p<2\), in terms of the spaces \(B_p\), \(X_0^p\) and auxiliary spaces \(B_{p,\log \gamma}\). In the case \(0<p\leq 1\) the authors extend a result known for \(\alpha>0\), proving that \(T_g\) belongs to the Schatten-von Neumann class \(\mathcal{S}_p(\mathcal{D}_0)\) if and only if \(g\) is constant. The authors consider also analogous problem for multiplication, Hankel and Toeplitz operators, extending in particular the result on Toeplitz operators by \textit{D. H. Luecking} [J. Funct. Anal. 73, 345--368 (1987; Zbl 0618.47018)].