Zeros of functions in Hilbert spaces of Dirichlet series (Q358868)

The Dirichlet-Hardy space \[ {\mathcal H}^2=\left\{f(s)=\sum_{n=1}^\infty a_n n^{-s}: \sum_{n=1}^\infty |a_n|^2<\infty\right\} \] is a Hilbert space of analytic functions in the half-plane \(\{\text{Re}\,s>1/2\}\). The author studies the zeros of functions in \({\mathcal H}^2\). The main result is that there is a non-trivial function in \({\mathcal H}^2\) vanishing on the bounded sequence \(\{s_j\}\), \(\text{Re}\,s_j>1/2\), if and only if the sequence \(\{s_j\}\) satisfies the Blaschke condition \(\sum_{j}(\text{Re}\,s_j-1/2)<\infty\). The novel part of this theorem is the sufficiency of the Blaschke condition; the converse is a known result of Hedenmalm, Lindqvist, and Seip. Analogous results are proved for other Hilbert spaces of Dirichlet series, where the zero sets are related locally to the zeros of functions in weighted Dirichlet spaces on the half-plane \(\{\text{Re}\,s>1/2\}\). Partial results are then obtained for the zeros of functions in \({\mathcal H}^p\) (\(L^p\) analogues of \({\mathcal H}^2\)) for \(2<p<\infty\).