References & Citations
Mathematics > Functional Analysis
Title: Holomorphic functions of finite order generated by Dirichlet series
(Submitted on 21 Jul 2021 (this version), latest version 4 Nov 2021 (v2))
Abstract: Given a frequency $\lambda = (\lambda_n)$ and $\ell \ge 0$, we introduce the scale of Banach spaces $H_{\infty,\ell}^{\lambda}[Re > 0]$ of holomorphic functions $f$ on the right half-plane $[Re > 0]$, which satisfy $(A)$ the growth condition $|f(s)| = O((1 + |s|)^\ell)$, and $(B)$ are such that they on some open subset and for some $m \ge 0$ coincide with the pointwise limit (as $x \to \infty$) of the so-called $(\lambda,m)$-Riesz means $$\sum_{\lambda_n < x} a_n e^{-\lambda_n s}\Big( 1-\frac{\lambda_n}{x}\Big)^m ,\,x >0$$ of some $\lambda$-Dirichlet series $\sum a_n e^{-\lambda_n s}$. Reformulated in our terminology, an important result of M. Riesz shows that in this case the function $f$ for every $k >\ell$ is the pointwise limit of the $(\lambda,k)$-Riesz means of $D$. Our main contribution is an extension -- showing that 'after translation' every bounded set in $H_{\infty,\ell}^{\lambda}[Re > 0]$ is uniformly approximable by all its $(\lambda,k)$-Riesz means of order $k>\ell$. This follows from an appropriate maximal theorem, which in fact turns out to be at the very heart of a seemingly interesting structure theory of the Banach spaces $H_{\infty,\ell}^{\lambda}[Re > 0]$. One of the many consequences is that $H_{\infty,\ell}^{\lambda}[Re > 0]$ basically consists of those holomorphic functions on $[Re >0]$, which fulfill the growth condition $|f(s)| = O((1 + |s|)^\ell)$ and are of finite uniform order on all abscissas $[Re = \sigma], \, \sigma >0$. To establish all this and more, we need to reorganize(and to improve) various aspects and keystones of the classical theory of Riesz summability of general Dirichlet series as invented by Hardy and M. Riesz.
Submission history
From: Ingo Schoolmann [view email][v1] Wed, 21 Jul 2021 15:28:00 GMT (34kb)
[v2] Thu, 4 Nov 2021 07:35:28 GMT (42kb)
Link back to: arXiv, form interface, contact.