Hankel matrices acting on the Hardy space $H^1$ and on Dirichlet spaces

Abstract

If $\,μ\,$ is a finite positive Borel measure on the interval $\,[0,1)$, we let $\,\mathcal H_μ\,$ be the Hankel matrix $\,(μ_{n, k})_{n,k\ge 0}\,$ with entries $\,μ_{n, k}=μ_{n+k}$, where, for $\,n\,=\,0, 1, 2, \dots $, $μ_n\,$ denotes the moment of order $\,n\,$ of $\,μ$. This matrix induces formally the operator $\,\mathcal{H}_μ(f)(z)= \sum_{n=0}^{\infty}\left(\sum_{k=0}^{\infty} μ_{n,k}{a_k}\right)z^n\,$ on the space of all analytic functions $\,f(z)=\sum_{k=0}^\infty a_kz^k\,$, in the unit disc $\,\mathbb D $. When $\,μ\,$ is the Lebesgue measure on $\,[0,1)\,$ the operator $\,\mathcal H_μ\,$ is the classical Hilbert operator $\,\mathcal H\,$ which is bounded on $\,H^p\,$ if $\,1<p<\infty $, but not on $\,H^1$. J. Cima has recently proved that $\,\mathcal H\,$ is an injective bounded operator from $\,H^1\,$ into the space $\,\mathscr C\,$ of Cauchy transforms of measures on the unit circle. \par The operator $\,\mathcal H_μ\,$ is known to be well defined on $\,H^1\,$ if and only if $\,μ\,$ is a Carleson measure and in such a case we have that $\mathcal H_μ(H^1)\subset \,\mathscr C$. Furthermore, it is bounded from $\,H^1\,$ into itself if and only if $\,μ\,$ is a $1$-logarithmic $1$-Carleson measure. \par In this paper we prove that when $\,μ\,$ is a $1$-logarithmic $1$-Carleson measure then $\,\mathcal H_μ\,$ actually maps $\,H^1\,$ into the space of Dirichlet type $\,\mathcal D^1_0\,$. We discuss also the range of $\,\mathcal H_μ\,$ on $\,H^1\,$ when $\,μ\,$ is an $α$-logarithmic $1$-Carleson measure ($0<α<1$). We study also the action of the operators $\,\mathcal H_μ\,$ on Bergman spaces and on Dirichlet spaces.