A derivative-Hilbert operator acting on Bergman spaces (Q2236023)

Suppose \(0<p< \infty\) and let \(\mu\) be a positive Borel measure on \([0, 1)\). Let \(\mathcal{DH}_\mu\) be the Derivative-Hilbert operator. Then the authors prove that the power series in \[ \mathcal{DH}_\mu (f)(z) = \sum_{n=0}^\infty (\sum_{k=0}^\infty \mu_{n,k}a_k)z^n \] defines a well defined analytic function in \(\mathbb{D}\) for every \(f \in A^p\) in any of the thee following cases. (i) \(\mu\) is a \(2/p\)-Carleson measure if \(0<p \leq 1\). (ii) \(\mu\) is a \((2-(p-1)^2)/p\)-Carleson measure if \(1 \leq p \leq 2\). (iii) \(\mu\) is a \(1/p\)-Carleson measure if \(2 \leq p < \infty\). Furthermore, in such cases we have that \[ \mathcal{DH}_\mu (f)(z) = \int_{[0, 1)} \frac{f(t)}{(1-tz)^2} d\mu(t), z \in \mathbb{D}, f \in A^p .\] Let \(\mu\) satisfy \( \int_{[0, 1)} \mu([t, 1))/(1-t)^{2/(p-1)} d\mu(t) < \infty\), if \(1<p< \leq 2 ,\) or \( \int_{[0, 1)} \mu([t, 1))/(1-t)^{p/(p-1)} d\mu(t) < \infty\), if \(2 \leq p < \infty .\) Then they prove that the power series in \( \mathcal{DH}_\mu (f)(z) = \sum_{n=0}^\infty (\sum_{k=0}^\infty \mu_{n,k}a_k)z^n \) is well defined for every \(f \in A^p\) and \( \mathcal{DH}_\mu (f)(z) = \int_{[0, 1)} f(t)/(1-tz)^2 d\mu(t), z \in \mathbb{D}, f \in A^p\) holds. If for any choice of \(f \in A^p\) and \(z \in \mathbb{D}\) this integral converges, then they prove that \(\mu\) has the property that (i) \(\mu\) is a \(2/p\)-Carleson measure if \(0<p \leq 1\). (ii) \(\int_{[0, 1)} \mu([t, 1))/(1-t)^2 d\mu(t) < \infty \), if \(1<p< \leq 2 .\) (iii) \(\int_{[0, 1)} \mu([t, 1))/(1-t)^{2/(p-1)} d\mu(t) < \infty\), if \(2 \leq p < \infty .\) The authors prove that (i) If \(q \geq p\) and \(q>1\), then \(\mathcal{DH}_\mu\) is a bounded operator from \(A^p\) into \(A^q\) if and only if \(\mu\) is a \((2/p + 2/q')\)-Carleson measure. (ii) If \(q \geq p\) and \(q=1\), then \(\mathcal{DH}_\mu\) is a bounded operator from \(A^p\) into \(A^q\) if and only if \(\mu\) is a 1-logarithmic \(2/p\)-Carleson measure. (iii) \(\mathcal{DH}_\mu\) is a bounded operator from \(A^p\) into \(\mathcal{B}\) if and only if \(\mu\) is a \((2/p + 2)\)-Carleson measure. They prove that (i) If \(q \geq p\) and \(q>1\), then \(\mathcal{DH}_\mu\) is a compact operator from \(A^p\) into \(A^q\) if and only if \(\mu\) is a vanishing \((2/p + 2/q')\)-Carleson measure. (ii) If \(q \geq p\) and \(q=1\), then \(\mathcal{DH}_\mu\) is a compact operator from \(A^p\) into \(A^q\) if and only if \(\mu\) is a vanishing 1-logarithmic \(2/p\)-Carleson measure. (iii) \(\mathcal{DH}_\mu\) is a compact operator from \(A^p\) into \(\mathcal{B}\) if and only if \(\mu\) is a vanishing \((2/p + 2)\)-Carleson measure.