Hilbert-type operators acting between weighted Fock spaces (Q2090761)

This work extends analogous results for the Hilbert operator \(\mathbf{H}\) defined as \[ \mathbf{H} (f)(z):= \sum_{n=0}^\infty \left (\sum_{k=0}^\infty \frac {a_k}{k+n+1} \right )z^n \] for \(f=\sum_{n=0}^\infty a_nz^n\in \mathcal{H}(\Omega)\), where \(\Omega\) is an open domain in the complex domain \(\mathbb{C}\), and its generalizations defined on various spaces of holomorphic functions on the unit disc. The context here is the whole complex plane \(\mathbb{C}\). For \(\theta>0, \alpha \in \mathbb{R}\), the weighted Fock space, which is denoted \(\mathcal{F}_{\theta, \alpha}^2\), is defined as \[ \mathcal{F}_{\theta, \alpha}^2 = \left \{f=\sum_{n=0}^\infty a_nz^n \in \mathcal{H}(\mathbb{C}): \left \Vert f \right \Vert_{\theta, \alpha}^2:= \sum_{n=0}^\infty (n+\theta)^\alpha \vert a_n\vert^2 n!<\infty \right \}. \] Equipped with the inner product \[ \langle f, g\rangle=\sum_{n=0}^\infty (n+\theta)^\alpha a_n\overline{b_n} n!, \] where \(f=\sum_{n=0}^\infty a_nz^n\) and \(g=\sum_{n=0}^\infty b_nz^n\), the space \(\mathcal{F}_{\theta, \alpha}^2\) is a reproducing kernel Hilbert space. For \(\lambda >0, f=\sum_{n=0}^\infty a_nz^n\in \mathcal{H}(\mathbb{C})\), the Hilbert-type operator \(\mathbf{H}_\lambda\) is defined as \[ \mathbf{H}_\lambda (f)(z):=\sum_{n=0}^\infty \left [\frac 1{\sqrt {n!}}\sum_{k=0}^\infty \frac {a_k\sqrt {k!}}{(k+n)^\lambda+1}] \right ]z^n. \] The authors first prove that for \(-1<\alpha, \beta<1\) and any \(\theta>0\), \(\mathbf{H}_\lambda\) is bounded from to \(\mathcal{F}_{\theta, \alpha}^2\) to \(\mathcal{F}_{\theta, \beta}^2\) if and only if \(\lambda \geq 1+\frac 12(\beta-\alpha)\). They next generalize the case \(\lambda=1\) for which \(\mathbf{H}_1\) is not bounded from to \(\mathcal{F}_{\theta, \alpha}^2\) to \(\mathcal{F}_{\theta, \beta}^2\) if \(\alpha < \beta\). A positive Borel measure \(\mu\) on \([0, 1)\) is an \(s-\)Carleson measure (resp. a vanishing \(s-\)Carleson measure) with \(s>0\) if there exists a constant \(C>0\) such that \[ \mu([t, 1))\leq C(1-t)^s \] holds for all \(t\in [0, 1)\) [resp. if it satisfies further the estimate \[ \lim_{t\rightarrow 1^-} \frac {\mu([t, 1))}{(1-t)^s}=0]. \] Writing \[ \mu[n]=\int_0^1 t^nd\mu (t),\quad n\in \mathbb{N}_0 \] and introducing the Hilbert-type operator \(\mathbf{H}_\mu\) as \[ \mathbf{H}_\lambda (f)(z):=\sum_{n=0}^\infty \left (\frac 1{\sqrt {n!}}\sum_{k=0}^\infty \mu[k+n]a_k\sqrt{k!}\right )z^n, \] with \(f=\sum_{n=0}^\infty a_nz^n \in \mathcal{H}(\mathbb{C})\), the next two results are the following. For \(-1<\alpha, \beta<1, \mu\) a finite positive Borel measure on \([0, 1)\) and any \(\theta>0\), \(\mathbf{H}_\mu\) is bounded (resp. compact) from to \(\mathcal{F}_{\theta, \alpha}^2\) to \(\mathcal{F}_{\theta, \beta}^2\) if and only if \(\mu\) is a \([1+\frac 12(\beta-\alpha)]-\)Carleson measure (resp. a vanishing \([1+\frac 12(\beta-\alpha)]-\)Carleson measure) on \([0, 1)\). Other generalizations to other new Hilbert-type operators are also presented.