Zeros of functions in Hilbert spaces of Dirichlet series

TL;DR

This paper characterizes the zero sets of functions in Hilbert spaces of Dirichlet series, establishing Blaschke conditions for zeros and interpolation, and extends results to weighted and $L^p$ analogues.

Contribution

It provides necessary and sufficient conditions for zeros in Dirichlet-Hardy spaces and extends the theory to weighted and $L^p$ spaces, linking zeros to classical function space properties.

Findings

Blaschke condition characterizes zero sets in $ ilde{H}^2$.

Every $H^2$ function on half-plane can be interpolated by a $ ilde{H}^2$ function.

Partial results for $L^p$ spaces with $2<p< olinebreak ext{infinity}$.

Abstract

The Dirichlet--Hardy space $\Ht$ consists of those Dirichlet series $\sum_n a_n n^{-s}$ for which $\sum_n |a_n|^2<\infty$. It is shown that the Blaschke condition in the half-plane $\operatorname{Re} s>1/2$ is a necessary and sufficient condition for the existence of a nontrivial function $f$ in $\Ht$ vanishing on a given bounded sequence. The proof implies in fact a stronger result: every function in the Hardy space $H^2$ of the half-plane $\operatorname{Re} s>1/2$ can be interpolated by a function in $\Ht$ on such a Blaschke sequence. Analogous results are proved for the Hilbert space $\Da$ of Dirichlet series $\sum_n a_n n^{-s}$ for which $\sum_n |a_n|^2[d(n)]^\alpha <\infty$; here $d(n)$ is the divisor function and $\alpha$ a positive parameter. In this case, the zero sets are related locally to the zeros of functions in weighted Dirichlet spaces of the half-plane $\operatorname{Re} s>1/2$. Partial results are then obtained for the zeros of functions in $\Hp$ ($L^p$ analogues of $\Ht$) for $2<p<\infty$, based on certain contractive embeddings of $\Da$ in $\Hp$.