Inspired by a recent article on Fréchet spaces of ordinary Dirichlet series $\sum a_n n^{-s}$ due to J.~Bonet, we study topological and geometrical properties of certain scales of Fréchet spaces of general Dirichlet spaces $\sum a_n e^{-λ_n s}$. More precisely, fixing a frequency $λ= (λ_n)$, we focus on the Fréchet space of $λ$-Dirichlet series which have limit functions bounded on all half planes strictly smaller than the right half plane $[\mathrm{Re} >0]$. We develop an abstract setting of pre-Fréchet spaces of $λ$-Dirichlet series generated by certain admissible normed spaces of $λ$-Dirichlet series and the abscissas of convergence they generate, which allows also to define Fréchet spaces of $λ$-Dirichlet series for which $a_n e^{-λ_n/k}$ for each $k$ equals the Fourier coefficients of a function on an appropriate $λ$-Dirichlet group.
We consider various Hilbert spaces of Dirichlet series whose norms are given by weighted $\ell^2$ norms of the Dirichlet coefficients. We characterize the multiplier algebras for some of these spaces.
We present an abstract approach to the abscissas of convergence of vector-valued Dirichlet series. As a consequence we deduce that the abscissas for Hardy spaces of Dirichlet series are all equal. We also introduce and study weak versions of the abscissas for scalar-valued Dirichlet series.
Inspired by results of Bayart on ordinary Dirichlet series $\sum a_n n^{-s}$, the main purpose of this article is to start an $\mathcal{H}_p$-theory of general Dirichlet series $\sum a_n e^{-λ_{n}s}$. Whereas the $\mathcal{H}_p$-theory of ordinary Dirichlet series, in view of an ingenious identification of Bohr, can be seen as a sub-theory of Fourier analysis on the infinite dimensional torus $\mathbb{T}^\infty$, the $\mathcal{H}_p$-theory of general Dirichlet series is build as a sub-theory of Fourier analysis on certain compact abelian groups, including the Bohr compactification $\overline{\…
We study composition operators on spaces of double Dirichlet series, focusing our interest on the characterization of the composition operators of the space of bounded double Dirichlet series $\HCdos$. We also show how the composition operators of this space of Dirichlet series are related to the composition operators of the corresponding spaces of holomorphic functions. Finally, we give a characterization of the superposition operators in $\HC$ and in the spaces $\mathcal{H}^p$.
The main purpose of this article is to survey on some key elements of a recent $\mathcal{H}_p$-theory of general Dirichlet series $\sum a_n e^{-λ_{n}s}$, which was mainly inspired by the work of Bayart and Helson on ordinary Dirichlet series $\sum a_n n^{-s}$. In view of an ingenious identification of Bohr, the $\mathcal{H}_p$-theory of ordinary Dirichlet series can be seen as a sub-theory of Fourier analysis on the infinite dimensional torus $\mathbb{T}^\infty$. Extending these ideas, the $\mathcal{H}_p$-theory of $λ$-Dirichlet series is build as a sub-theory of Fourier analysis on what we ca…
We show that the symbol of a bounded composition operator on the Wiener algebra of Dirichlet series does not need to belong to this algebra. Our example even gives an absolutely summing (hence compact) composition operator.
For a Dirichlet series g, we study the Volterra operator Tg of symbol g, acting on a class of weighted Hilbert spaces of Dirichlet series. We obtain sufficient / necessary conditions for Tg to be bounded (resp. compact), involving BMO and Bloch type spaces on some half-plane. We also investigate the membership of Tg in Schatten classes. We also relate the boundedness of Tg to the boundedness of a multiplicative Hankel form of symbol g.
Given a frequency $λ$, we study general Dirichlet series $\sum a_n e^{-λ_n s}$. First, we give a new condition on $λ$ which ensures that a somewhere convergent Dirichlet series defining a bounded holomorphic function in the right half-plane converges uniformly in this half-plane, improving classical results of Bohr and Landau. Then, following recent works of Defant and Schoolmann, we investigate Hardy spaces of these Dirichlet series. We get general results on almost sure convergence which have an harmonic analysis flavour. Nevertheless, we also exhibit examples showing that it seems hard to g…
Opened up by early contributions due to, among others, H. Bohr, Hardy-Riesz, Bohnenblust-Hille, Neder and Landau the last 20 years show a substantial revival of systematic research on ordinary Dirichlet series $\sum a_n n^{-s}$, and more recently even on general Dirichlet series $\sum a_n e^{-λ_n s}$. This involves the intertwining of classical work with modern functional analysis, harmonic analysis, infinite dimensional holomorphy and probability theory as well as analytic number theory. Motivated through this line of research the main goal of this article is to start a systematic study of a …
We study boundedness and compactness of composition operators on weighted Bergman spaces of Dirichlet series. Particularly, we obtain in some specific cases, upper and lower bounds of the essential norm of these operators and a criterion of compactness on classicals weighted Bergman spaces. Moreover, a sufficient condition of compactness is obtained using the notion of Carleson's measure.
A new and simple proof of the embedding of the Hardy--Hilbert space of Dirichlet series into a conformally invariant Hardy space of the half-plane is presented, and the optimal constant of the embedding is computed.
We show that a composition operator on weighted Bergman spaces $\mathcal{A}_μ^p$ is invertible if and only if it is Fredholm if and only if it is an isometry.
Inversion theorems of Wiener type are essential tools in analysis and number theory. We derive a weighted version of an inversion theorem of Wiener type for general Dirichlet series from that of Edwards from 1957, and we outline an alternative proof based on the duality theory of convex cones and extension techniques for characters of semigroups. Variants and arithmetical applications are described, including the case of multidimensional weighted generalized Dirichlet series.
A result of Helson on general Dirichlet series $\sum a_{n} e^{-λ_{n}s}$ states that, whenever $(a_{n})$ is $2$-summable and $λ=(λ_{n})$ satisfies a certain condition introduced by Bohr, then for almost all homomorphism $ω\colon (\mathbb{R},+) \to \mathbb{T}$ the Dirichlet series $\sum a_{n} ω(λ_{n})e^{-λ_{n}s}$ converges on the open right half plane $[Re>0]$. For ordinary Dirichlet series $\sum a_n n^{-s}$ Hedenmalm and Saksman related this result with the famous Carleson-Hunt theorem on pointwise convergence of Fourier series, and Bayart extended it within his theory of Hardy spaces $\mathcal…
Hartman proved in 1939 that the width of the largest possible strip in the complex plane, on which a Dirichlet series $\sum_n a_n n^{-s}$ is uniformly a.s.-sign convergent (i.e., $\sum_n \varepsilon_n a_n n^{-s}$ converges uniformly for almost all sequences of signs $\varepsilon_n =\pm 1$) but does not convergent absolutely, equals $1/2$. We study this result from a more modern point of view within the framework of so called Hardy-type Dirichlet series with values in a Banach space.
Continuity, compactness, the spectrum and ergodic properties of the differentiation operator are investigated, when it acts in the Fréchet space of all Dirichlet series that are uniformly convergent in all half-planes $\{s \in \mathbb{C} \ | \ {\rm Re} s > \varepsilon \}$ for each $\varepsilon>0$. The properties of the formal inverse of the differentiation are also investigated.
The aim of this paper is to study when two composition operators on the Hilbert space of Dirichlet series with square summable coefficients belong to the same component or when their difference is compact. As a corollary we show that if a linear combination of composition operators with polynomial symbols of degree at most 2 is compact, then each composition operator is compact.
The Hardy spaces of Dirichlet series denoted by ${\cal H}^p$ ($p\ge1$) have been studied in [12] when p = 2 and in [3] for the general case. In this paper we study some Lp-generalizations of spaces of Dirichlet series, particularly two families of Bergman spaces denoted ${\cal A}^p$ and ${\cal B}^p$. We recover classical properties of spaces of analytic functions: boundedness of point evaluation, embeddings between these spaces and "Littlewood-Paley" formulas when p = 2. We also show that the ${\cal B}^p$ spaces have properties similar to the classical Bergman spaces of the unit disk while the…
The abscissas of convergence, uniform convergence and absolute convergence of vector valued Dirichlet series with respect to the original topology and with respect to the weak topology $σ(X,X')$ of a locally convex space $X$, in particular of a Banach space $X$, are compared. The relation of their coincidence with geometric or topological properties of the underlying space $X$ is investigated. Cotype in the context of Banach spaces, and nuclearity and certain topological invariants for Fréchet spaces play a relevant role.
We study linear and algebraic structures in sets of Dirichlet series with maximal Bohr's strip. More precisely, we consider a set $\mathscr M$ of Dirichlet series which are uniformly continuous on the right half plane and whose strip of uniform but not absolute convergence has maximal width, i.e., $\frac{1}{2}$. Considering the uniform norm, we show that $\mathscr M$ contains an isometric copy of $\ell_1$ (except zero) and is strongly $\aleph_0$-algebrable. Also, there is a dense $G_δ$ set such that any of its elements generates a free algebra contained in $\mathscr M\cup \{0\}$. Furthermore, …
We investigate the compactness of composition operators on the Hardy space of Dirichlet series induced by a map $φ(s)=c_0s+φ_0(s)$, where $φ_0$ is a Dirichlet polynomial. Our results depend heavily on the characteristic $c_0$ of $φ$ and, when $c_0=0$, on both the degree of $φ_0$ and its local behaviour near a boundary point. We also study the approximation numbers for some of these operators. Our methods involve geometric estimates of Carleson measures and tools from differential geometry.
We consider the space $\mathcal{H}(ces_p)$ of all Dirichlet series whose coefficients belong to the Cesàro sequence space $ces_p$, consisting of all complex sequences whose absolute Cesàro means are in $\ell^p$, for $1<p<\infty$. It is a Banach space of analytic functions, for which we study the maximal domain of analyticity and the boundedness of point evaluations. We identify the algebra of analytic multipliers on $\mathcal{H}(ces_p)$ as the Wiener algebra of Dirichlet series shifted to the vertical half-plane $\mathbb{C}_{1/q}:=\{s\in\mathbb{C}:\Re s>1/q\}$, where $1/p+1/q=1$.
The Bohr-Bohnenblust-Hille Theorem states that the width of the strip in the complex plane on which an ordinary Dirichlet series $\sum_n a_n n^{-s}$ converges uniformly but not absolutely is less than or equal to 1/2, and this estimate is optimal. Equivalently, the supremum of the absolute convergence abscissas of all Dirichlet series in the Hardy space $\mathcal{H}_\infty$ equals 1/2. By a surprising fact of Bayart the same result holds true if $\mathcal{H}_\infty$ is replaced by any Hardy space $\mathcal{H}_p$, $1 \le p < \infty$, of Dirichlet series. For Dirichlet series with coefficients i…
For a scalar matrix $\mathbf a=(a_{m, n})_{m, n=1}^{\infty},$ the Dirichlet series kernel $κ_{\mathbf a}$ is the double Dirichlet series $κ_{\mathbf a}(s, u) = \sum_{m, n =1}^{\infty} a_{m, n}m^{-s} n^{-\bar{u}}$ in the variables $s$ and $\bar{u},$ which is regularly convergent on some right half-plane $\mathbb H_ρ.$ The analytic symbols $A_{n, \mathbf a} = \sum_{m=1}^{\infty}a_{m, n}m^{-s},$ $n \geq 1$ play a central role in the study of the reproducing kernel Hilbert space $\mathscr H_{\mathbf a}$ associated with the positive semi-definite kernel $κ_{\mathbf a}.$ In particular, they form a t…
We obtain new results on Fourier multipliers for Dirichlet-Hardy spaces. As a consequence, we establish a Littlewood-Paley type inequality which yields a simple proof that the Dirichlet monomials form a Schauder basis for p>1.
We characterize the space of multipliers from the Hardy space of Dirichlet series $\mathcal H_p$ into $\mathcal H_q$ for every $1 \leq p,q \leq \infty$. For a fixed Dirichlet series, we also investigate some structural properties of its associated multiplication operator. In particular, we study the norm, the essential norm, and the spectrum for an operator of this kind. We exploit the existing natural identification of spaces of Dirichlet series with spaces of holomorphic functions in infinitely many variables and apply several methods from complex and harmonic analysis to obtain our results.…
We show that, in every weighted Dirichlet space on the unit disk with superharmonic weight, the Taylor series of a function in the space is $(C,α)$-summable to the function in the norm of the space, provided that $α>1/2$. We further show that the constant $1/2$ is sharp, in marked contrast with the classical case of the disk algebra.
This paper is associated with Nevanlinna class, Dirichlet series and Szegö's problem in infinitely many variables. As we will see, there is a natural connection between these topics. The paper first introduces the Nevanlinna class and the Smirnov class in this context, and generalizes the classical theory in finitely many variables to the infinite-variable setting. These results applied to Szegö's problem on Hardy spaces in infinitely many variables. Moreover, this paper is also devoted to the study of the correspondence between the Nevanlinna functions and Dirichlet series.
In this paper, we are interested in explicit zero-free discs for some Dirichlet series and we also study a general Beurling-Nyman criterion for $L$-functions. Our results generalize and improve previous results obtained by N. Nikolski and by A. de Roton. As a concrete application, we get, for example, a Beurling-Nyman type criterion for the Siegel zero problem.
We study the boundary behavior of functions in the Hardy spaces HD^p for ordinary Dirichlet series. Our main result, answering a question of H. Hedenmalm, shows that the classical F. Carlson theorem on integral means does not extend to the imaginary axis for functions in HD^\infty, i.e., for ordinary Dirichlet series in H^\infty of the right half-plane. We discuss an important embedding problem for HD^p, the solution of which is only known when p is an even integer. Viewing HD^p as Hardy spaces of the infinite-dimensional polydisc, we also present analogues of Fatou's theorem.
In this paper, we continue some work devoted to explicit zero-free discs for a large class of Dirichlet series. In a previous article, such zero-free regions were described using some spaces of functions which were defined with some technical conditions. Here we give two different natural ways in order to remove those technical conditions. In particular this allows to right down explicit zero-free regions differently and to obtain for them an easier description useful for direct applications.
In this paper, we introduce a general class of weighted spaces of holomorphic Dirichlet series (with real frequencies) analytic in some half-plane and study composition operators on these spaces. In the particular case when the symbol inducing the composition operator is an affine function, we give criteria for boundedness and compactness. We also study the cyclicity property and as a byproduct give a sufficient condition so that the direct sum of the identity plus a weighted forward shift operator on the Hardy space H^2 is cyclic.
We prove that the norm of the Riesz projection from $L^\infty(\Bbb{T}^n)$ to $L^p(\Bbb{T}^n)$ is $1$ for all $n\ge 1$ only if $p\le 2$, thus solving a problem posed by Marzo and Seip in 2011. This shows that $H^p(\Bbb{T}^{\infty})$ does not contain the dual space of $H^1(\Bbb{T}^{\infty})$ for any $p>2$. We then note that the dual of $H^1(\Bbb{T}^{\infty})$ contains, via the Bohr lift, the space of Dirichlet series in $\operatorname{BMOA}$ of the right half-plane. We give several conditions showing how this $\operatorname{BMOA}$ space relates to other spaces of Dirichlet series. Finally, relat…
We introduce a mean counting function for Dirichlet series, which plays the same role in the function theory of Hardy spaces of Dirichlet series as the Nevanlinna counting function does in the classical theory. The existence of the mean counting function is related to Jessen and Tornehave's resolution of the Lagrange mean motion problem. We use the mean counting function to describe all compact composition operators with Dirichlet series symbols on the Hardy--Hilbert space of Dirichlet series, thus resolving a problem which has been open since the bounded composition operators were described b…
We present some open problems and describe briefly some possible research directions in the emerging theory of Hardy spaces of Dirichlet series and their intimate counterparts, Hardy spaces on the infinite-dimensional torus. Links to number theory are emphasized throughout the paper.
We denote by $\Hp$ the Hilbert space of ordinary Dirichlet series with square-summable coefficients. The main result is that a bounded sequence of points in the half-plane $σ>1/2$ is an interpolating sequence for $\Hp$ if and only if it is an interpolating sequence for the Hardy space $H^2$ of the same half-plane. Similar local results are obtained for Hilbert spaces of ordinary Dirichlet series that relate to Bergman and Dirichlet spaces of the half-plane $σ>1/2$.
We show that the asymptotic behavior of the partial sums of a sequence of positive numbers determine the local behavior of the Hilbert space of Dirichlet series defined using these as weights. This extends results recently obtained describing the local behavior of Dirichlet series with square summable coefficients in terms of local integrability, boundary behavior, Carleson measures and interpolating sequences. As these spaces can be identified with functions spaces on the infinite-dimensional polydisk, this gives new results on the Dirichlet and Bergman spaces on the infinite dimensional poly…
A range of Hardy-like spaces of ordinary Dirichlet series, called the Dirichlet-Hardy spaces $\Hp^p$, $p \geq 1$, have been the focus of increasing interest among researchers following a paper of Hedenmalm, Lindqvist and Seip in Duke Math. J 86 (1997), 1-37. The Dirichlet series in these spaces converge on a certain half-plane, where one may also define the classical Hardy spaces $H^p$. In this paper, we compare the boundary behaviour of elements in $\Hp^p$ and $H^p$. Moreover, Carleson measures of the spaces $\Hp^p$ are studied. Our main result shows that for certain cases the following state…
We introduce and study some (infinite order) discrete derivative operators called Bernoulli operators. They are associated to a class of power series (tame power series), which include power series that converge in the unit disk, have at most a pole singularity at $z=1$, and have analytic continuation to the unit disk centered at $z=1$ with possible isolated singularities of Mittag-Leffler type. We show that they all naturally act on, and take values into, the vector space of functions $f(s,t)$ in the image of the Laplace-Mellin transform that have (single valued) analytic continuation to the …
