#  $\boldsymbol{\mathcal{H}_{p}}$-theory of general Dirichlet series

Andreas Defant  Andreas Defant
Institut für Mathematik,
Carl von Ossietzky Universität,
26111 Oldenburg, Germany<EMAIL_ADDRESS>and  Ingo
Schoolmann  Ingo Schoolmann
Institut für Mathematik,
Carl von Ossietzky Universität,
26111 Oldenburg, Germany<EMAIL_ADDRESS>
###### Abstract.

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^{-\lambda_{n}s}$ . Whereas the
$\mathcal{H}_{p}$-theory of ordinary Dirichlet series, in view of an ingenious
identification of Bohr, may 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{\mathbb{R}}$ of the reals. Our approach allows to extend various
important facts on Hardy spaces of ordinary Dirichlet series to the much wider
setting of $\mathcal{H}_{p}$-spaces of general Dirichlet series.

††footnotetext: 2018 _Mathematics Subject Classification_ : Primary 43A17,
Secondary 30H10, 30B50††footnotetext: _Key words and phrases: general
Dirichlet series, Hardy spaces, Bohr compactification_

##  1\. Introduction

Within the last two decades the theory of ordinary Dirichlet series $\sum
a_{n}n^{-s}$ saw a remarkable renaissance which in particular led to the
solution of some long-standing problems.

A fundamental object in these investigations is given by the Banach space
$\mathcal{H}_{\infty}$ of all ordinary Dirichlet series $D:=\sum a_{n}n^{-s}$
which converge and define a bounded, and then necessarily holomorphic,
function on the open right half plane $[Re>0]$ (endowed with the supremum norm
on $[Re>0]$).

One of the celebrated results in this ’ordinary’ theory is a result of
Hedenmalm, Lindqvist and Seip from [15] which shows that
$\mathcal{H}_{\infty}$ equals the Hardy space
$H_{\infty}(\mathbb{T}^{\infty})$ on the infinitely dimensional torus as
Banach spaces . Let us explain this in more detail. The infinitely dimensional
torus $\mathbb{T}^{\infty}$ is the infinite product of
$\mathbb{T}=\\{w\in\mathbb{C}\colon|w|=1\\}$ which forms a natural compact
abelian group on which the Haar measure is given by the normalized Lebesgue
measure. The characters of this group are the monomials $z\mapsto z^{\alpha}$,
where $\alpha$ is a finite sequence of integers, and
$H_{\infty}(\mathbb{T}^{\infty})$ denotes the closed subspace of all $f\in
L_{\infty}(\mathbb{T}^{\infty})$ such that the Fourier coefficient
$\widehat{f}(\alpha)=\int_{\mathbb{T}^{\infty}}f(w)w^{-\alpha}dw=0\,,$
whenever $\alpha<0$ (in the sense that some $\alpha_{k}<0$). Then there is a
unique linear isometry

$\mathcal{B}\colon
H_{\infty}(\mathbb{T}^{\infty})\to\mathcal{H}_{\infty}\,,\,\,\,\,f\sim\sum_{\alpha\in\mathbb{N}^{(\mathbb{N})}}\widehat{f}(\alpha)z^{\alpha}\mapsto
D=\sum_{n\in\mathbb{N}}a_{n}n^{-s}\,,$

which preserves Fourier- and Dirichlet coefficients in the sense that

(1) $\widehat{f}(\alpha)=a_{n}\,\,\text{ whenever }n=p^{\alpha}.$

The crucial point here is the fact that each natural number has a unique prime
number decompostion (together with other nontrivial tools like e.g.
Diophantine approximation), and the result shows that the theory of ordinary
Dirichlet which generate bounded, holomorphic functions on the positive half
plane is intimately linked with Fourier analysis on the group
$\mathbb{T}^{\infty}$.

More generally, Bayart in [3] developed an $H_{p}$-theory of Dirichlet series.
Recall that the Hardy space $H_{p}(\mathbb{T}^{\infty})\,,\,1\leq
p\leq\infty$, is the closed subspace of all $f\in L_{p}(\mathbb{T}^{\infty})$
such that $\widehat{f}(\alpha)=0$ if $\alpha<0$. Then the Banach spaces
$\mathcal{H}_{p}$ of ordinary Dirichlet series by definition (!) is the
isometric image of $H_{p}(\mathbb{T}^{\infty})$ under the identification from
(1).

But all these ideas fail for general Dirichlet series. Given a frequency
$\lambda:=(\lambda_{n})$ (i.e. a non-negative strictly increasing sequence of
real numbers tending to $\infty$), a $\lambda$-Dirichlet series is a formal
sum

$\sum a_{n}e^{-\lambda_{n}s}$

with complex Dirichlet coefficients $a_{n}$ and a complex variable $s$. We
point out that making the jump from the ordinary case $\lambda=(\log n)$ to
arbitrary frequencies reveals challenging consequences.

Much of the ordinary theory relies on ’Bohr’s theorem’, the fact that for each
ordinary Dirichlet series the abscissas of uniform convergence and boundedness
coincide. This phenomenon fails for general Dirichlet series. Further due to
the fundamental theorem of arithmetics each natural number $n$ has its prime
number decomposition $n=\mathfrak{p}^{\alpha}$ and so the frequency $(\log n)$
can be written as a linear combination of $(\log p_{j})$ with natural
coefficients. This intimately links the theory of ordinary Dirichlet series
with the theory of holomorphic functions on polydiscs, and in particular with
the theory of polynomials $\sum c_{\alpha}z^{\alpha}$ in finitely many complex
variables. One of several consequences is that $m$-homogeneous Dirichlet
series $\sum a_{n}n^{-s}$, i.e. $a_{n}\neq 0$ only if $n$ has $m$ prim
factors, are linked with $m$-homogeneous polynomials. This way powerful tools
enter the game, as e.g. polynomial inequalities (like the Bohnenblust-Hille
inequalities, hypercontractivity of convolution with the Poisson kernel,
etc.), $m$-linear forms, or polarization. So Fourier analysis on the infinite
dimensional torus $\mathbb{T}^{\infty}$ and infinite dimensional holomorphy on
the open unit ball $B_{c_{0}}$ of $c_{0}$ enrich the theory of ordinary
Dirichlet series considerably. But unfortunately facing general Dirichlet
series many of these powerful bridges seem to collapse. New questions arise
which make the theory of general Dirichlet quite demanding.

We define the space $\mathcal{D}_{\infty}(\lambda)$ analogously to the space
$\mathcal{H}_{\infty}$. So $\sum a_{n}e^{-\lambda_{n}s}$ belongs to
$\mathcal{D}_{\infty}(\lambda)$ whenever it converges and defines a bounded,
and then necessarily holomorphic, function on $[Re>0]$. For instance, if
$\lambda=(n)$, then looking at the transformation $z=e^{-s}$ we easily
conclude that $\mathcal{D}_{\infty}((n))$ is simply $H_{\infty}(\mathbb{D})$,
the space of all bounded and holomorphic functions on the open unit ball
$\mathbb{D}$. And if $\lambda=(\log n)$, then we are in the ordinary case.
Hence, in both cases the space $\mathcal{D}_{\infty}(\lambda)$ can be
described in terms of Fourier analysis, that is, it can be considered as a
Hardy space, namely $\mathcal{D}_{\infty}((n))=H_{\infty}(\mathbb{T})$ and
$\mathcal{D}_{\infty}((\log n))=H_{\infty}(\mathbb{T}^{\infty})$. In view of
these two examples the following question arises naturally: _Given an
arbitrary frequency $\lambda$, is it possible to describe
$\mathcal{D}_{\infty}(\lambda)$ in terms of a sort of Hardy space on a compact
abelian group?_

Inspired by ideas of Bohr and Helson we show that in this much more general
situation, the so-called Bohr compactification $\overline{\mathbb{R}}$ of the
real numbers $\mathbb{R}$ is a suitable substitute for the infinite
dimensional torus $\mathbb{T}^{\infty}$. We note that $\overline{\mathbb{R}}$
being a compact abelian group carries a Haar measure, contains $\mathbb{R}$ as
a dense subset, and that its dual group may be identified again with
$\mathbb{R}$ (see Section 3.3 for the precise definitions). So in particular
ordinary Dirichlet series can be described in terms of functions on
$\overline{\mathbb{R}}$. This might be surprising since in contrast to the
infinitely dimensional torus $\mathbb{T}^{\infty}$ the Bohr compactification
$\overline{\mathbb{R}}$ is not metrizable and is moreover a sort of one-
dimensional object.

Motivated by this observation we introduce a Fourier analysis setting for the
study of general Dirichlet series. We restrict ourserlves to
$\lambda$-Dirichlet series with Dirichlet coefficients that actually are
Fourier coefficients defined by functions on compact abelian groups $G$ of a
certain type, namely compact abelian groups allowing a continuous homomorphism
$\beta\colon\mathbb{R}\to G$ with dense range (this includes $\mathbb{T}$ and
$\mathbb{T}^{\infty}$). Given a frequency $\lambda=(\lambda_{n})$, we call
such a pair $(G,\beta)$ a $\lambda$-Dirichlet group whenever every character
$e^{-i\lambda_{n}\cdot}:\mathbb{R}\to\mathbb{T}$ has an ’extension’
$h_{\lambda_{n}}$ (which then is unique) as a character on $G$:

$G$$\mathbb{T}$$\mathbb{R}$$h_{\lambda_{n}}$$e^{-i\lambda_{n}\cdot}$$\beta$

To see a first non-trivial example, look at the continuous homomorphism

$\beta_{\mathbb{T}^{\infty}}:\mathbb{R}\rightarrow\mathbb{T}^{\infty}\,,\,\,t\mapsto(p_{k}^{-it})\,.$

Then by Kronecker’s approximation theorem the pair
$(\mathbb{T}^{\infty},\beta_{\mathbb{T}^{\infty}})$ forms a
$\lambda$-Dirichlet group of the frequency $\lambda=(\log n)$.

Now given such a $\lambda$-Dirichlet group $(G,\beta)$ and $1\leq
p\leq\infty$, we define the Hardy space $H_{p}^{\lambda}(G)$ of all $f\in
L_{p}(G)$ having Fourier transforms $f:\widehat{G}\to\mathbb{C}$ supported in
$\\{h_{\lambda_{n}}\colon n\in\mathbb{N}\\}$. Then the Hardy space
$\mathcal{H}_{p}(\lambda)$ consists of all Dirichlet series

$D=\sum\widehat{f}(h_{\lambda_{n}})e^{-\lambda_{n}s}\,,\,\,\,f\in
H_{p}^{\lambda}(G)$

which together with the norm $\|D\|_{p}:=\|f\|_{p}$ forms a Banach space.

In fact it will turn out that $\mathcal{H}_{p}(\lambda)$ is independent of the
chosen $\lambda$-Dirichlet group $(G,\beta)$. Looking at $\lambda=(\log n)$
and the $\lambda$-Dirichlet group
$(\mathbb{T}^{\infty},\beta_{\mathbb{T}^{\infty}})$, Bayart’s theory of Hardy
space $\mathcal{H}_{p}$ of Dirichlet series is contained in the
$\mathcal{H}_{p}$-theory of general Dirichlet series we intend to present.

Assuming some restrictions on the frequency $\lambda$ and given a
$\lambda$-Dirichlet group $(G,\beta)$, we prove in Theorem 4.12 that
$H_{\infty}^{\lambda}(G)$ and $\mathcal{D}_{\infty}(\lambda)$ by means of the
identification $f\mapsto\sum\widehat{f}(h_{\lambda_{n}})e^{-\lambda_{n}s}$
coincide isometrically, and hence in particular

(2) $\mathcal{D}_{\infty}(\lambda)=\mathcal{H}_{\infty}(\lambda)\,.$

The crucial idea for the proof is inspired by Helson’s theorem 4.15 from [18]
which shows that almost all vertical limits of a general Dirichlet series
$\sum a_{n}e^{-\lambda_{n}s}$ with square summable coefficients, converge
pointwise on the positive half plane. In [11] we extend this result to
$\mathcal{H}_{p}(\lambda)$, $1\leq p<\infty$, adding the relevant maximal
inequality. We point out that in [15] the equality
$\mathcal{H}_{\infty}=H_{\infty}(\mathbb{T}^{\infty})$ is derived by first
showing that $\mathcal{H}_{\infty}$ equals the space $H_{\infty}(B_{c_{0}})$
of all bounded and holomorphic functions on the unit ball of $c_{0}$ and then
proving $H_{\infty}(B_{c_{0}})=H_{\infty}(\mathbb{T}^{\infty})$, which can be
seen as an ’infinite dimensional variant’ of the classical fact
$H_{\infty}(\mathbb{T})=H_{\infty}(\mathbb{D})$. Here we give a somewhat
direct proof of $\mathcal{H}_{\infty}=H_{\infty}(\mathbb{T}^{\infty})$ using
tools from Fourier analysis on $\mathbb{R}$.

Inspired by the isometric equality from (2), we start a sort of systematic
structure theory of $\mathcal{H}_{p}(\lambda)$-spaces of general Dirichlet
series modelled along Bayart’s $\mathcal{H}_{p}$-theory of ordinary Dirichlet
series. In Section 3 we invent our setting. In Section 3.6 we introduce
frequencies $\lambda$ of integer and natural type, and show how to reproduce
important facts on ordinary Dirichlet series (due to Bohr, Bohnenblust-Hille,
Hedenmalm-Lindqvist-Seip, and Bayart) from their analogs on general Dirichlet
series (see e.g. Theorem 3.31 and Corollary 3.32). In Section 4 we extend some
key results on ordinary Dirichlet series to our more general setting. In
Theorem 4.16 we show that the monomials $e^{-\lambda_{n}s}$ form a Schauder
basis of $\mathcal{H}_{p}(\lambda),\,1<p<\infty$. For $p=1$ we give upper
estimates of the basis constant of the $e^{-\lambda_{n}s}$ in
$\mathcal{H}_{1}(\lambda)$ (Corollary 4.17). In Theorem 4.19 we generalize
Bayart’s Montel type theorem from
$\mathcal{H}_{\infty}=\mathcal{D}_{\infty}(\log n)$ to
$\mathcal{H}_{p}(\lambda)$, and in Theorem 4.22 we show how Dirichlet series
in $\mathcal{H}_{p}(\lambda)$ are determined by their $N$th Abschnitte. And
finally we in Theorem 4.25 finish with a ‘brothers Riesz theorem’ identifying
$\mathcal{H}_{1}(\lambda)$ with certain analytic measures on
$\lambda$-Dirichlet groups.

##  2\. General Dirichlet series

As already mentioned in the introduction a general Dirichlet series is a
formal sum of the form $\sum a_{n}e^{-\lambda_{n}s}$, where $(\lambda_{n})$ is
a strictly increasing non negative sequence of real numbers (called
frequency), $(a_{n})$ a sequence of complex coefficients (called Dirichlet
coefficients), and $s$ a complex variable. All (formal) $\lambda$-Dirichlet
series are denoted by $\mathcal{D}(\lambda)$. The following ‘abscissas’ rule
the convergence theory of general Dirichlet series $D=\sum
a_{n}e^{-\lambda_{n}s}$:

$\displaystyle\sigma_{c}(D)=\inf\left\\{\sigma\in\mathbb{R}\mid D\text{
converges on }[Re>\sigma]\right\\},$
$\displaystyle\sigma_{a}(D)=\inf\left\\{\sigma\in\mathbb{R}\mid D\text{
converges absolutely on }[Re>\sigma]\right\\},$
$\displaystyle\sigma_{u}(D)=\inf\left\\{\sigma\in\mathbb{R}\mid D\text{
converges uniformly on }[Re>\sigma]\right\\}.$

By definition $\sigma_{c}(D)\leq\sigma_{u}(D)\leq\sigma_{a}(D)$ and in general
all these abscissas differ. Let us mention that general Dirichlet series
always define holomorphic functions on $[Re>\sigma_{c}(D)]$ (see e.g. [14]).

In [26] we introduce the following two spaces of $\lambda$-Dirichlet series.
The space $\mathcal{D}^{ext}_{\infty}(\lambda)$ of all somewhere convergent
$D\in\mathcal{D}(\lambda)$ allowing a holomorphic and bounded extension $f$ to
the open right half plane $[Re>0]$ endowed with the norm
$\|D\|_{\infty}:=\|f\|_{\infty}=\sup_{[Re>0]}|f(s)|$ (this in fact is a norm,
see [26, Corollary 3.8] or Corollary 4.11). Moreover,
$\mathcal{D}_{\infty}(\lambda)$ is the space of all $\lambda$-Dirichlet series
which converge and define a bounded (and then necessarily holomorphic)
function on $[Re>0]$. By definition we have
$\mathcal{D}_{\infty}(\lambda)\subset\mathcal{D}^{ext}_{\infty}(\lambda)$, and
in [26, Theorem 5.2] it is shown that in general this inclusion is strict and
$\mathcal{D}_{\infty}(\lambda)$ fails to be complete.

But there are sufficient conditions on $\lambda$ that forces
$\mathcal{D}_{\infty}(\lambda)=\mathcal{D}^{ext}_{\infty}(\lambda)$ and the
completeness of $\mathcal{D}_{\infty}(\lambda)$. Let us collect a few
’analytic’ conditions. The first one was isolated by Bohr (see [6]), we denote
it by $(BC)$:

$\exists\leavevmode\nobreak\ l=l(\lambda)>0\leavevmode\nobreak\
\forall\leavevmode\nobreak\ \delta>0\leavevmode\nobreak\
\exists\leavevmode\nobreak\ C>0\leavevmode\nobreak\
\forall\leavevmode\nobreak\ n\in\mathbb{N}:\leavevmode\nobreak\
\leavevmode\nobreak\ \lambda_{n+1}-\lambda_{n}\geq
Ce^{-(l+\delta)\lambda_{n}};$

roughly speaking this condition prevents the $\lambda_{n}$’s from getting too
close too fast. Secondly a strictly weaker condition of Landau $(LC)$ (see
[22]):

$\forall\leavevmode\nobreak\ \delta>0\leavevmode\nobreak\
\exists\leavevmode\nobreak\ C>0\leavevmode\nobreak\
\forall\leavevmode\nobreak\ n\in\mathbb{N}\colon\leavevmode\nobreak\
\leavevmode\nobreak\ \lambda_{n+1}-\lambda_{n}\geq
Ce^{-e^{\delta\lambda_{n}}}.$

Another important, say geometric, value associated to $\lambda$ is the maximal
width of the strip of convergence and non absolutely convergence:

$L(\lambda):=\sup_{D\in\mathcal{D}(\lambda)}\sigma_{a}(D)-\sigma_{c}(D)=\limsup_{N\to\infty}\frac{\log(n)}{\lambda_{n}}=\sigma_{c}(\sum
e^{-\lambda_{n}s}).$

Much of the abstract theory of ordinary Dirichlet series is based on a
fundamental theorem of Bohr [5] which shows that every
$D\in\mathcal{D}^{ext}_{\infty}((\log n))$ converges uniformly on all half
spaces $[\text{Re}>\varepsilon]$ for all $\varepsilon>0$, and this then easily
implies that $\mathcal{D}_{\infty}^{\text{ext}}((\log
n))=\mathcal{D}_{\infty}((\log n))$. In [6] and [22] Bohr and Landau extended
this result to general Dirichlet series for frequencies satisfying $(BC)$ or
$(LC)$, respectively.

######  Definition 2.1.

We say that a frequency $\lambda$ satisfies Bohr’s theorem, whenever every
$D\in\mathcal{D}^{ext}_{\infty}(\lambda)$ converges uniformly on all half
spaces $[\text{Re}>\varepsilon]$ for all $\varepsilon>0$.

As in the ordinary case the identity principle implies that for every
$\lambda$ with Bohr’s theorem we have

$\mathcal{D}_{\infty}^{ext}(\lambda)=\mathcal{D}_{\infty}(\lambda)\,.$

Some of the forthcoming results of this article hold under asumptions like
‘$\lambda$ satisfies Bohr’s theorem’ and/or
‘$\mathcal{D}_{\infty}^{\text{ext}}(\lambda)=\mathcal{D}_{\infty}(\lambda)$’
and/or ‘$\mathcal{D}_{\infty}(\lambda)$ is complete’. Analyzing the works of
Bohr and Landau, we in [26, Remark 4.8 and Theorem 5.1] collect a few
conditions which in concrete cases allow to verify these conditions for
concrete frequencies.

######  Theorem 2.2.

A frequency $\lambda$ satisfies Bohr’s theorem if one of the following
conditions holds:

  1. (1)

$L(\lambda)=0$,

  2. (2)

$\lambda$ is $\mathbb{Q}$-linearly independent,

  3. (3)

$(LC)$ (this includes $(BC)$).

Moreover, in each of these cases we have
$\mathcal{D}_{\infty}^{\text{ext}}(\lambda)=\mathcal{D}_{\infty}(\lambda)$,
but non of these conditions is necessary for Bohr’s theorem.

Let us face completeness.

######  Theorem 2.3.

Let $\lambda$ be a frequency. Then $\mathcal{D}_{\infty}(\lambda)$ is complete
if one of the following conditions holds

  1. (1)

$L(\lambda)=0$,

  2. (2)

$\lambda$ is $\mathbb{Q}$-linearly independent,

  3. (3)

$L(\lambda)<\infty$ and
$\mathcal{D}^{ext}_{\infty}(\lambda)=\mathcal{D}_{\infty}(\lambda)$.

Moreover, non of these conditions is necessary.

For later use we finally recall that Dirichlet series
$D\in\mathcal{D}^{ext}_{\infty}(\lambda)$ are approximated by their so-called
typical means (see again [26, §3]).

######  Proposition 2.4.

Let $D=\sum a_{n}e^{-\lambda_{n}s}\in\mathcal{D}^{ext}_{\infty}(\lambda)$ with
extension $f$. Then the sequence of polynomials

$R_{x}(D)(s):=\sum_{\lambda_{n}<x}a_{n}\left(1-\frac{\lambda_{n}}{x}\right)e^{-\lambda_{n}s}\,,\,\,x>0$

converges uniformly to $f$ on $[Re>\varepsilon]$ as $x\to\infty$ for all
$\varepsilon>0$.

##  3\. Fourier analysis setting

In this section we present a new abstract Fourier analysis approach to general
Dirichlet series. Basically we restrict ourselves to general Dirichlet series
with Dirichlet coefficients which actually are Fourier coefficients of
functions on certain compact abelian groups. This has several advantages. One
is that the class of all general Dirichlet series simply is too large to
obtain a good understanding. Assuming that the Dirchlet coefficients are
Fourier coefficients gives more structure and allows to use tools from
harmonic analysis like the Hausdorff-Young inequality or Plancherel’s theorem
(among others). A further advantage of our setting is that Bayart’s
$\mathcal{H}_{p}$-theory of ordinary Dirichlet series embeds in a natural way.
Whereas the $\mathcal{H}_{p}$-theory of ordinary Dirichlet series is basically
Fourier analysis on the infinite dimensional torus $\mathbb{T}^{\infty}$, this
group fails to be the right model for general Dirichlet series. In fact, the
Bohr compactification $\overline{\mathbb{R}}$ of $\mathbb{R}$ and products of
$\widehat{\mathbb{Q}_{d}}$ (the dual group of the rationals endowed with the
discrete topology) turn out to be suitable substitutes. Finally, fixing some
$\lambda$, regarding the different realisations of $\lambda$-Dirichlet series
of this type, another feature of our approach is that the
$\mathcal{H}_{p}$-theory of general Dirichlet series we intend to present will
be independent of the chosen suitable group for $\lambda$.

###  3.1. Dirichlet groups

We start by introducing the type of groups we are interested in.

######  Definition 3.1.

Let $G$ be a compact abelian group and $\beta\colon\mathbb{R}\to G$ a
homomorphism. Then we call the pair $(G,\beta)$ a Dirichlet group if $\beta$
is continuous and has dense range.

We will frequently use the notion of dual maps of homomorphisms $T\colon G\to
H$, where $G$ and $H$ are locally compact abelian groups. The dual map
$\widehat{T}\colon\widehat{H}\to\widehat{G}$ is then defined by
$\widehat{T}(h):=h\circ T$ (see [25, §1.2.1, p.6] for the definition of the
dual group $\widehat{G}$). By Pontryagin’s theorem (see [25, §1.7.2, Theorem,
p. 28]) we have $\widehat{\widehat{T}}=T$, and $\widehat{T}$ is continuous if
$T$ is continuous. Moreover, we need the following fact from the theory of
locally compact groups.

######  Lemma 3.2.

Let $T\colon G\to H$ be a continuous homomorphism of locally compact abelian
groups. Then $T$ is injective if and only if $\widehat{T}$ has dense range.

For the sake of completeness we give a proof. Given a locally compact abelian
group $G$ with unit $e$ and a subgroup $U$ of $G$, we call
$U^{\perp}:=\\{\gamma\in\widehat{G}\mid\gamma(u)=e\text{ for all }u\in U\\}$
the orthogonal group of $U$. Then ${(U^{\perp})}^{\perp}=\overline{U}$, where
the closure is taken in $G$ (see [24, §1.5.2]).

###### Proof of Lemma 3.2.

By definition $\ker\widehat{T}=(\text{Im}T)^{\perp}$, and consequently
$(\ker\widehat{T})^{\perp}=\overline{\text{Im}T}$. Using
$\widehat{\widehat{T}}=T$ gives $\ker T=(\text{Im}\widehat{T})^{\perp}$, and
hence $(\ker T)^{\perp}=\overline{\text{Im}\widehat{T}}$ which proves the
claim. ∎

With this, given a Dirichlet group $(G,\beta)$, the dual map of $\beta$ given
by

$\widehat{\beta}\colon\widehat{G}\to\widehat{\mathbb{R}},\leavevmode\nobreak\
\leavevmode\nobreak\ \gamma\mapsto\gamma\circ\beta$

is a monomorphism. Using $\widehat{\mathbb{R}}=\mathbb{R}$ (as topological
groups) implies that for every $\gamma$ there is a unique $x\in\mathbb{R}$
such that $\gamma\circ\beta=e^{-ix\cdot}$. Identifying
$\widehat{\beta}(\gamma)=x$ we obtain an embedding

$\widehat{\beta}\colon\widehat{G}\hookrightarrow\mathbb{R}.$

Another property of Dirichlet groups we are going to use is that they are
connected (see the proof of Theorem 4.16); this is an immediate consequence of
the fact that, given a connected set, its image under a continuous map as well
as its closure are again connected.

Observe that every character $e^{-ix\cdot}\in\widehat{\beta}(\widehat{G})$,
allows a unique ‘extension’ to $G$, say $h_{x}$, such that
$h_{x}\circ\beta=e^{-ix\cdot}$. Conversely, for every $\gamma\in\widehat{G}$
there is some $x\in\mathbb{R}$ such that $e^{-ix\cdot}=\gamma\circ\beta$,
which proves the following

######  Proposition 3.3.

Let $(G,\beta)$ be a Dirichlet group. The characters
$e^{-ix\cdot}\colon\mathbb{R}\to\mathbb{T}$ on $\mathbb{R}$, where
$x\in\widehat{\beta}(\widehat{G})$, are precisely those which allow a
continuous ‘extension’ $h_{x}$ to $G$. In particular

$\widehat{G}=\\{h_{x}\mid x\in\widehat{\beta}(\widehat{G})\\}.$

More precisely, we should denote the characters of $G$ by $h_{x}^{(G,\beta)}$
instead of $h_{x}$, but in most situations this in fact will not be necessary.

Motivated by the equality $G=\widehat{\widehat{G}}$ (Pontryagin’s duality
theorem) for notational convenience we for all $\omega\in G$ write

$\omega(x):=h_{x}(\omega),\leavevmode\nobreak\
x\in\widehat{\beta}(\widehat{G}).$

Let us consider some examples of Dirichlet groups. As explained, if
$(G,\beta)$ is a Dirichlet group, then $\widehat{G}\subset\mathbb{R}$ (via
$\widehat{\beta}$). In fact, the reverse of this implication holds, which
gives a handy criterion to establish a list of main examples of Dirichlet
groups. The proof of the following proposition is an immediate consequence of
Lemma 3.2; recall that the dual group $\widehat{G}$ carries the discrete
topology, since $G$ is compact (see [25, §1.2.5, Theorem, p. 9]).

######  Proposition 3.4.

Let $G$ be a compact abelian group. If there is an injective homomorphism
$T\colon\widehat{G}\hookrightarrow\mathbb{R}$, then $(G,\widehat{T})$ is a
Dirichlet group.

We write $G_{d}$ for a group $G$ with the discrete topology $d$. In the
following we give four central examples – and start with the ‘mother’ of all
of them.

######  Example 3.5.

Let $U$ be a subgroup of $\mathbb{R}$. Then the topological group
$\widehat{U_{d}}$ together with the mapping

$\beta_{\widehat{U_{d}}}\colon\mathbb{R}\to\widehat{U_{d}},\leavevmode\nobreak\
\leavevmode\nobreak\ t\mapsto\left[u\mapsto e^{-itu}\right]$

forms a Dirichlet group. In particular, for $U=\mathbb{Z}$ and identifying
$\mathbb{T}=\widehat{\mathbb{Z}_{d}}$, we obtain the Dirichlet group
$(\mathbb{T},\beta_{\mathbb{T}})$, where

$\beta_{\mathbb{T}}:\mathbb{R}\rightarrow\mathbb{T},\,t\mapsto e^{-it}.$

######  Example 3.6.

The compact abelian group $\overline{\mathbb{R}}:=\widehat{(\mathbb{R},d)}$ is
the so-called Bohr compactification of $\mathbb{R}$ which forms a Dirichlet
group with the embedding

$\beta_{\overline{\mathbb{R}}}\colon\mathbb{R}\hookrightarrow\overline{\mathbb{R}},\,\,x\mapsto\left[t\mapsto
e^{-ixt}\right]\,.$

In Proposition 3.9 we will see that
$(\overline{\mathbb{R}},\beta_{\overline{\mathbb{R}}})$ is in some sense the
smallest Dirichlet group.

######  Example 3.7.

Let $B:=(b_{1},b_{2},\ldots)$ be a $\mathbb{Z}$-linearly independent
(equivalently, $\mathbb{Q}$-linearly independent) sequence of real numbers of
length $N\in\mathbb{N}\cup\\{\infty\\}$ (choose for instance
$b_{n}:=\log(p_{n})$ where $p_{n}$ is the $n$th prime number). Then
$\bigoplus_{n=1}^{N}\mathbb{Z}$ in view of the injective homomorphism

$\bigoplus_{n=1}^{N}\mathbb{Z}\hookrightarrow\mathbb{R},\leavevmode\nobreak\
\leavevmode\nobreak\ \alpha\mapsto\sum\alpha_{j}b_{j}$

is a subgroup of $\mathbb{R}$, and hence the compact abelian group

$\mathbb{T}^{N}=\prod_{n=1}^{N}\widehat{\mathbb{Z}_{d}}=\widehat{\bigoplus_{n=1}^{N}\mathbb{Z}_{d}}$

together with

$\beta_{\mathbb{T}^{N}}\colon\mathbb{R}\to\mathbb{T}^{N},\leavevmode\nobreak\
\leavevmode\nobreak\ t\mapsto(e^{-itb_{j}})_{j=1}^{N}$

forms a Dirichlet group.

The density of $\beta_{\mathbb{T}^{N}}$ is nothing else than Kronecker’s
theorem, which is a key argument in the theory of ordinary Dirichlet series
(choosing the $\mathbb{Q}$-linearly independent sequence $B:=(\log p_{n})$,
where $p_{n}$ is the $n$th prime number).

######  Example 3.8.

Let $B:=(b_{1},b_{2},\ldots)$ be a $\mathbb{Q}$-linearly independent sequence
of real numbers of length $N\in\mathbb{N}\cup\\{\infty\\}$. Then

(3)
$T_{B}:\bigoplus_{n=1}^{N}\mathbb{Q}\hookrightarrow\mathbb{R},\leavevmode\nobreak\
\leavevmode\nobreak\ \alpha\mapsto\sum\alpha_{j}b_{j}$

is an injective homomorphism, and its dual map

$\widehat{T_{B}}\colon\mathbb{R}\to\prod_{n=1}^{N}\widehat{\mathbb{Q}_{d}},\leavevmode\nobreak\
\leavevmode\nobreak\ t\mapsto\left[(q_{j})_{j}\mapsto e^{-it\sum
q_{j}b_{j}}\right]$

has dense range. In short

$\left(\widehat{\mathbb{Q}_{d}}^{N},\widehat{T_{B}}\right):=\left(\prod_{n=1}^{N}\widehat{\mathbb{Q}_{d}},\widehat{T_{B}}\right)$

is a Dirichlet group.

To see the relevance of these examples within the study of general Dirichlet
series we refer to Section 3.5. In view of the preceding examples we explain
in which sense the Bohr compactification $\overline{\mathbb{R}}$ is the
’smallest’ Dirichlet group. Later this in particular allows to link
$L_{p}$-spaces on different Dirichlet groups.

######  Proposition 3.9.

For every Dirichlet group $(G,\beta)$ there is a unique continuous
homomorphism

$\pi_{G}:\overline{\mathbb{R}}\rightarrow G$

with dense range and such that
$\beta=\pi_{G}\circ\beta_{\overline{\mathbb{R}}}$. Moreover,
$\overline{\mathbb{R}}$ is the unique Dirichlet group with this property up to
isomorphisms of groups.

###### Proof.

We define $\pi_{G}$ to be the dual map of
$\iota\colon\widehat{G}\to(\mathbb{R},d),\leavevmode\nobreak\
\iota(\gamma):=\widehat{\beta}(\gamma)$ (identifying
$\widehat{(\mathbb{R},|\cdot|)}=(\mathbb{R},d)$). Indeed, $\iota$ is
injective, and consequently
$\pi_{G}:=\widehat{\iota}\colon\overline{\mathbb{R}}\to G$ has dense range by
Lemma 3.2 (and Pontryagin’s duality theorem). To see the second statement,
assume that $(H,\beta_{H})$ is another Dirichlet group with the desired
property. Then there are two continuous homomorphisms
$\pi_{\overline{\mathbb{R}}}\colon H\to\overline{\mathbb{R}}$ and
$\pi_{H}\colon\overline{\mathbb{R}}\to H$ with dense range and such that
$\beta_{\overline{\mathbb{R}}}=\pi_{\overline{\mathbb{R}}}\circ\beta_{H}$ and
$\beta_{H}=\pi_{H}\circ\beta_{\overline{\mathbb{R}}}$. This implies
$\beta_{\overline{\mathbb{R}}}=\pi_{\overline{\mathbb{R}}}\circ\pi_{H}\circ\beta_{\overline{\mathbb{R}}}$
and $\beta_{H}=\pi_{H}\circ\pi_{\overline{\mathbb{R}}}\circ\beta_{H}$. Since
$\beta_{H}$ and $\beta_{\overline{\mathbb{R}}}$ both have dense range, we get
$\pi_{\overline{\mathbb{R}}}\circ\pi_{H}=id_{\overline{\mathbb{R}}}$ and
$\pi_{H}\circ\pi_{\overline{\mathbb{R}}}=id_{H}$, hence
$H=\overline{\mathbb{R}}$. ∎

We close this section introducing several devices which transport tools from
Fourier analysis on $\mathbb{R}$ to Fourier analysis on Dirichlet groups. The
first two show how to ’restrict’ functions on $G$ to $\mathbb{R}$, and we here
distinguish between continuous functions and integrable functions.

######  Proposition 3.10.

Let $(G,\beta)$ be a Dirichlet group, and $f\in C(G)$. Then

$\int_{G}f(\omega)d\omega=\lim_{T\to\infty}\frac{1}{2T}\int_{-T}^{T}f(\beta(t))dt\,.$

In particular, for every polynomial $\sum_{n=1}^{N}a_{n}h_{x_{n}}$ with
$x_{1},\ldots,x_{N}\in\hat{\beta}(\widehat{G})$ and $1\leq p<\infty$

$\int_{G}\bigg{|}\sum^{N}_{n=1}a_{n}h_{x_{n}}(\omega)\bigg{|}^{p}dm(\omega)=\lim_{T\to\infty}\frac{1}{2T}\int_{-T}^{T}\bigg{|}\sum^{N}_{n=1}a_{n}e^{-ix_{n}t}\bigg{|}^{p}dt.$

###### Proof.

Obviously, the second equality in an immediate consequence of the first one.
On the left side of the first equality we have a bounded functional on $C(G)$,
and the density of the range of $\beta$ implies that the set of all
functionals $f\to\frac{1}{2T}\int_{-T}^{T}f(\beta(t))dt,\,T>0$ is uniformly
bounded on $C(G)$. Then, by the density of the polynomials in $C(G)$ (see [25,
§8.7.3]), it suffices to check the desired equality for all characters
$h_{x},x\in\widehat{\beta}(\widehat{G})$. For $x=0$ the conclusion is trivial,
and for $x\neq 0$ this follows from the fact that
$\lim_{T\to\infty}\frac{1}{2T}\int_{-T}^{T}h_{x}(\beta(t))dt=\lim_{T\to\infty}\frac{1}{2T}\int_{-T}^{T}e^{-ixt}dt=0$
. ∎

Note that Proposition 3.10 is a reformulation of an important fact of the
theory of almost periodic functions. Recall that a continuous and bounded
function $f\colon\mathbb{R}\to\mathbb{C}$ is almost periodic if and only if it
has a continuous extension $F$ to $\overline{\mathbb{R}}$ such that
$f=F\circ\beta_{\overline{\mathbb{R}}}$ (see [24, §1.5, Theorem 1.5.5 and
Theorem 1.5.6]), and in this case

$\lim_{T\to\infty}\frac{1}{2T}\int_{-T}^{T}f(t)dt=\int_{\overline{\mathbb{R}}}F(\omega)dm(\omega).$

To deduce a similar result for integrable functions one should have in mind
that $\beta(\mathbb{R})$ may be a null set in $G$, hence the restriction of
some function $f\in L_{1}(G)$ to the subgroup $\beta(\mathbb{R})$ of $G$ in
fact may equal $0$. Indeed, choosing the Dirichlet group $G=\mathbb{T}$ with
$\beta(t):=e^{-it}$ we have $\beta(\mathbb{R})=\mathbb{T}$, which is obviously
not a null set in $\mathbb{T}$. But, if
$G=(\overline{\mathbb{R}},\beta_{\overline{\mathbb{R}}})$ (Example 3.6), then
$\beta_{\overline{\mathbb{R}}}(\mathbb{R})$ is a null set in
$\overline{\mathbb{R}}$ (see [21, Theorem 4.3] or [27]).

######  Lemma 3.11.

Let $(G,\beta)$ be a Dirichlet group and $f\colon G\to\mathbb{C}$ be
measurable. Then
$f_{\omega}:=f(\omega\beta(\cdot))\colon\mathbb{R}\to\mathbb{C}$ is measurable
for almost all $\omega\in G$. If, additionally, $f\in L_{\infty}(G)$, then
$f_{\omega}\in L_{\infty}(\mathbb{R})$ with
$\|f_{\omega}\|_{\infty}\leq\|f\|_{\infty}$ for almost all $\omega\in G$.
Moreover, for every $f\in L_{1}(G)$ and $g\in L_{1}(\mathbb{R})$ the
convolution

$g*f_{\omega}(t):=\int_{\mathbb{R}}f(\omega\beta(t-y))g(y)dy$

is almost everywhere defined on $\mathbb{R}$ and measurable.

###### Proof.

Denote by $\mu$ the product measure of the Lebesgue measure $\lambda$ and the
Haar measure $m$ on $\mathbb{R}\times G$. Since the map

(4) $F\colon\mathbb{R}\times G\to\mathbb{C},\leavevmode\nobreak\
\leavevmode\nobreak\ (t,\omega)\mapsto f(\omega\beta(t))$

is measurable, $f_{\omega}$ is measurable on $\mathbb{R}$ for almost every
$\omega\in G$ by the Fubini-Tonelli theorem.

For the proof of the second statement assume that $f\in L_{\infty}(G)$. We
claim that $F\in L^{\infty}(\mathbb{R}\times G)$ and
$\|F\|_{\infty}\leq\|f\|_{\infty}$, which clearly finishes the argument. Let
$C>0$ and $N\subset G$ be a null set such that $|f(\omega)|\leq C$ for all
$\omega\in G\setminus N$. Since the map

$M\colon\mathbb{R}\times G\to G,\,\,M(t,\omega):=\beta(t)\omega$

is continuous, the set $\widetilde{N}:=M^{-1}(N)$ is measurable. For any fixed
$y\in\mathbb{R}$ the set $\widetilde{N}_{y}:=N\beta(y)^{-1}=\\{\omega\in
G\mid\omega\beta(y)\in N\\}$ is measurable. Since $m$ is translation
invariant, we still have $m(\widetilde{N}_{y})=0$ for all $y\in\mathbb{R}$.
Therefore
$\mu(\widetilde{N})=\int_{\mathbb{R}}m(\widetilde{N}_{y})d\lambda(y)=0$. By
definition, $|F(y,\omega)|\leq C$ for all $(y,\omega)\notin\widetilde{N}$.
Hence $F\in L_{\infty}(\mathbb{R}\times G)$ and
$\|F\|_{\infty}\leq\|f\|_{\infty}$.
It remains to show the third statement, i.e. there is a null set $N\subset G$
such that for all $\omega\notin N$ the function $g*f_{\omega}$ is defined
almost everywhere on $\mathbb{R}$ and measurable. Take the Poisson kernel
$P_{1}(t):=\frac{1}{\pi}\frac{1}{1+t^{2}}$ on $\mathbb{R}$. Then the map

$F(\omega,t,y):=g(y)f(\omega\beta(t-y))P_{1}(t)\colon
G\times\mathbb{R}\times\mathbb{R}\to\mathbb{C}$

is measurable, and since the Haar measure $m$ on $G$ is translation invariant
(and $\|P_{1}\|_{L_{1}(\mathbb{R})}=1$) we obtain

$\displaystyle\int_{\mathbb{R}}\int_{\mathbb{R}}\int_{G}|F(\omega,t,y)|dm(\omega)dtdy$
$\displaystyle\leq\|g\|_{L_{1}(\mathbb{R})}\|f\|_{L_{1}(G)}.$

So by the Fubini-Tonelli theorem there is a null set $N\subset G$ such that
the map

$\omega\mapsto\int_{\mathbb{R}}\int_{\mathbb{R}}g(y)f(\omega\beta(t-y))P_{1}(t)dydt$

is defined on $G\setminus N$ and measurable on $G$. Let $\omega\in G\setminus
N$. Since

$\int_{\mathbb{R}}\int_{\mathbb{R}}g(y)f(\omega\beta(t-y))P_{1}(t)dydt<\infty,$

another application of the Fubini-Tonelli theorem implies that the map

$t\mapsto\int_{\mathbb{R}}g(y)f(\omega\beta(t-y))P_{1}(t)dy=(g*f_{\omega})(t)P_{1}(t)$

is defined for almost all $t\in\mathbb{R}$ and measurable. So multiplying with
the measurable function $t\mapsto P_{1}^{-1}(t)$ we obtain that

$g*f_{\omega}(t)=\int_{\mathbb{R}}g(y)f_{\omega}(t-y)dy$

is defined almost everywhere on $\mathbb{R}$ and measurable. ∎

The second device allows to interpret functions in $L_{1}(\mathbb{R})$ as
measures on the Dirichlet group $G$. Therefore we denote by $M(G)$, $G$ any
locally compact group, the Banach space of all bounded and regular complex
Borel measures on $G$.

######  Lemma 3.12.

Let $(G,\beta)$ be a Dirichlet group. Then there is a contraction

$\Phi\colon M(\mathbb{R})\to M(G),\leavevmode\nobreak\ \leavevmode\nobreak\
\varphi\mapsto\mu$

such that $\hat{\varphi}\circ\widehat{\beta}=\hat{\mu}$. In particular, every
$f\in L^{1}(\mathbb{R})$ defines a measure $\Phi(fd\lambda)$ on $G$. Moreover,
$\|f\|_{1}=\|\Phi(f)\|$ provided $f\geq 0$.

###### Proof.

Let $\varphi\in M(\mathbb{R})$. Then we define $\mu:=\Phi(\varphi)$ to be the
push forward measure of $\varphi$ with respect to $\beta$. Indeed, the
functional

$T_{\varphi}\colon C(G)\to\mathbb{C},\leavevmode\nobreak\ \leavevmode\nobreak\
g\mapsto\int_{\mathbb{R}}g\circ\beta\leavevmode\nobreak\ d\varphi$

has norm $\leq\|\varphi\|$, which by the Riesz’s representation theorem
implies that $\mu\in M(G)$ with $\|\mu\|\leq\|\varphi\|$. Moreover,
$\widehat{\varphi}(x)=T_{\varphi}(\overline{h_{x}})=\widehat{\mu}(h_{x})$ for
all $x\in\widehat{\beta}(\widehat{G})$. For the last statement of the lemma
note that $h_{0}\circ\beta=1$ so that
$\|\Phi(f)\|\geq\left|\int_{\mathbb{R}}f(t)dt\right|=\|f\|_{1}$ provided $f\in
L_{1}(\mathbb{R})$ with $f\geq 0$. ∎

Observe, that the choice $(G,\beta)=(\mathbb{T},\beta_{\mathbb{T}})$ and
$\varphi=(\chi_{[0,2\pi]}-\chi_{[2\pi,4\pi]})d\lambda$ leads to
$\|\Phi(\varphi)\|=0<4\pi=\|\varphi\|$, so that in general $\Phi$ may fail to
be isometric.

As a first application of Lemma 3.12 we interpret the Poisson kernel on
$\mathbb{R}$

$P_{u}\colon\mathbb{R}\to\mathbb{R},\leavevmode\nobreak\
t\mapsto\frac{1}{\pi}\frac{u}{u^{2}+t^{2}}\,,\leavevmode\nobreak\ u>0,$

as a measure on $G$. More precisely we define the ’Poisson measure’
$p_{u}:=\Phi(P_{u}dt)\in M(G)$. Then $\|p_{u}\|=1$ and for $f\in L_{p}(G)$ we
obtain $f*p_{u}\in L_{p}(G)$ with
$\widehat{f*p_{u}}(h_{x})=\widehat{f}(h_{x})e^{-u|x|}$ for all
$x\in\widehat{\beta}(\widehat{G})$. See Lemma 4.8, where this convolution is
needed.

###  3.2. Hardy spaces over groups

The following definition is essential.

######  Definition 3.13.

Let $G$ be a compact abelian group $G$, $E\subset\widehat{G}$, and $1\leq
p\leq\infty$. Then we denote the subspace of all $f\in L_{p}(G)$ which have
Fourier transforms $\widehat{f}:\widehat{G}\to\mathbb{C}$ supported by $E$
(i.e. $\widehat{f}(\gamma)\neq 0$ implies $\gamma\in E$) by $H_{p}^{E}(G)$.

Note that $H_{p}^{E}(G)\subset L^{p}(G)$ is closed by continuity of the
Fourier transform, and hence it is a Banach space. Additionally we define
$M_{E}(G)$ as the subspace of all regular and bounded complex Borel measures
$\mu\in M(G)$ such that $\widehat{\mu}(\gamma)\neq 0$ implies $\gamma\in E$.
Further, we write $Pol_{E}(G):=\operatorname{span}_{\mathbb{C}}E$.

We need the following two tools (Proposition 3.14 and Proposition 3.17) which
follow from standard arguments from harmonic analysis. For the sake of
completeness we give full proofs.

######  Proposition 3.14.

Let $1\leq p<\infty$, $G$ be a compact abelian group and
$E\subset\widehat{G}$. Then $Pol_{E}(G)$ is dense in
$(H_{p}^{E}(G),\|\cdot\|_{p})$, and dense in $H_{\infty}^{E}(G)$ with respect
to the weak star topology $w(L_{\infty}(G),L_{1}(G))$.

###### Proof.

Let $f\in H_{p}^{E}(G)$. We claim, that there is a sequence $(u_{n})\subset
L_{\infty}(G)$ such that $(f*u_{n})$ converges to $f$ with respect to the norm
of $H_{p}^{E}(G)$. Then, since all $f*u_{n}\in C(G)$, using the fact that
every continuous function in $H_{p}^{E}(G)$ can be approximated with respect
to the sup-norm on $G$ by polynomials in $Pol_{E}(G)$ (see [25, §8.7.3]), the
claim follows. Let $\varepsilon>0$. Since the translation map $T\colon G\to
L_{p}(G),\leavevmode\nobreak\ y\mapsto f_{y}:=f(y-\cdot)$ is uniformly
continuous, there is a zero-neighborhood $V$, such that
$\|f-f_{y}\|_{p}<\varepsilon$ for all $y\in V$. Let $m$ be the Haar measure of
$G$. Then $m(V)>0$ and $u_{V}:=\frac{1}{m(V)}\chi_{V}\in L_{\infty}(G)$ with
$\|u_{V}\|_{1}=1$. Since

$(f*u_{V})(x)-f(x)=\int_{G}(f(x-y)-f(x))u_{V}(y)\leavevmode\nobreak\ dy,$

we obtain with Minkowski’s inequality

$\displaystyle\|f-f*u_{V}\|_{p}$
$\displaystyle=\left(\int_{G}\left|\int_{G}(f(x-y)-f(x))u_{V}(y)dy\right|^{p}dx\right)^{\frac{1}{p}}$
$\displaystyle\leq\int_{G}\left(\int_{G}\left|(f(x-y)-f(x))u_{V}(y)\right|^{p}dx\right)^{\frac{1}{p}}dy$
$\displaystyle=\int_{G}\|f-f_{y}\|_{p}|u_{V}(y)|dy\leq\varepsilon.$

Further $\widehat{f*u_{V}}=\widehat{f}\,\,\widehat{u_{V}}$, which implies,
that $f*u_{V}\in H_{p}^{E}(G)$. Finally, for the case $p=\infty$ note that by
the bipolar theorem

$\overline{Pol_{E}(G)}^{w^{*}}=\left(Pol_{E}(G)^{\circ_{L^{1}}}\right)^{\circ_{L^{\infty}}}.$

Then a direct calculation shows that
$Pol_{E}(G)^{\circ_{L_{1}}}=H_{1}^{G\setminus E}(G)$ and
$\left(H_{1}^{G\setminus E}(G)\right)^{\circ_{L_{\infty}}}=H_{\infty}^{E}(G)$
which finishes the proof. ∎

For the proof of our second tool we need more abstract harmonic analysis.

######  Lemma 3.15.

Let $1\leq p\leq\infty$, $G$ and $H$ compact abelian groups, and $\phi\colon
G\to H$ an injective continuous homomorphism with dense range. Then there are
onto isometries

(5) $T_{p}\colon L_{p}(H)\to L_{p}(G)\,\,\,\text{ with
$\widehat{f}=\widehat{T_{p}(f)}\circ\widehat{\phi}$}$

and

(6) $T\colon M(H)\to M(G)\,\,\,\text{ with
$\widehat{\mu}=\widehat{T(\mu)}\circ\widehat{\phi}$\,.}$

###### Proof.

Since $G$ is compact, the dual group $\widehat{G}$ carries the discrete
topology, and so by Lemma 3.2 the map
$\widehat{\phi}\colon\widehat{H}\to\widehat{G},\leavevmode\nobreak\
\gamma\mapsto\gamma\circ\phi$ is bijective. This implies that

$\Phi_{\infty}\colon(C(H),\|\cdot\|_{\infty})\to(C(G),\|\cdot\|_{\infty}),\leavevmode\nobreak\
\leavevmode\nobreak\ f\mapsto f\circ\phi$

is an onto isometry (to see this define $\Phi_{\infty}$ first only for
polynomials and extend by density). Taking the transposed of
$\Phi_{\infty}^{-1}$, we by the Riesz representation theorem get the onto
isometry

$T:=(\Phi_{\infty}^{-1})^{\prime}:M(H)=C(H)^{\prime}\to M(G)=C(G)^{\prime}\,,$

which for all $\mu\in C(H)^{\prime}$ satisfies
$\widehat{\mu}=\widehat{T(\mu)}\circ\widehat{\phi}$; indeed, for
$h\in\widehat{H}$

$\widehat{T(\mu)}(\widehat{\phi}(h))=[(\Phi_{\infty}^{-1})^{\prime}(\mu)](\overline{h\circ\phi})=\mu(\Phi_{\infty}^{-1}(\overline{h}\circ\phi))=\widehat{\mu}(h)\,.$

This proves (6). Next we check (5) for $p=1$. Since the two embeddings
$i_{G}:L_{1}(G)\hookrightarrow M(G)$ and $i_{H}:L_{1}(H)\hookrightarrow M(H)$
are isometric, we from another application of the fact that
$\widehat{\phi}:\widehat{H}\to\widehat{G}$ is bijective and (6) obtain that
the map

$T_{0}:(Pol(H),\|\cdot\|_{1})\to(Pol(G),\|\cdot\|_{1}),\leavevmode\nobreak\
\leavevmode\nobreak\ P\mapsto P\circ\phi$

is an isometric bijection; for this check that

$(T\circ i_{H})(h)=(i_{G}\circ T_{0})(h)\,\,\,\text{for each
$h\in\widehat{H}$}\,.$

Additionally, we have $\widehat{P\circ\phi}\circ\widehat{\phi}=\widehat{P}$
for all $P\in Pol(H)$, and consequently by density of the polynomials we find
as desired the isometric bijection $T_{1}:L_{1}(H)\rightarrow L_{1}(G)$, which
indeed satisfies $\widehat{T_{1}(f)}\circ\widehat{\phi}=\widehat{f}$ for all
$f\in L_{1}(H)$. In order to extend this result to all $L_{p}$’s note first
that

(7)
$\Phi_{1}:(C(H),\|\cdot\|_{1})\mapsto(C(G),\|\cdot\|_{1}),\leavevmode\nobreak\
\leavevmode\nobreak\ f\mapsto f\circ\phi$

defines an onto isomorphism. Indeed, let us first check that $\Phi_{1}$ is an
isometry. Take $f\in C(H)$, and $P_{N}\in Pol(H)$ such that $\lim_{N}P_{N}=f$
in $C(H)$. Then
$f\circ\phi=\Phi_{1}(f)=\lim_{N}\Phi_{\infty}(P_{N})=\lim_{N}P_{N}\circ\phi$
in $C(G)$ by continuity of $\Phi_{\infty}$, and hence in particular
$\|f\circ\phi\|_{1}=\lim_{N}\|P_{N}\circ\phi\|_{1}=\lim_{N}\|P_{N}\|_{1}=\|f\|_{1}$.
It remains to prove that $\Phi_{1}$ is onto. So let $g\in C(G)$ and $Q_{N}\in
Pol(G)$ such that $\lim_{N}Q_{N}=g$ in $C(G)$. Define
$P_{N}:=\Phi_{\infty}^{-1}(Q_{N})$. Then $(P_{N})$ is Cauchy in $C(H)$ with
limit, say, $f:=\lim_{N}P_{N}$. This implies that $\|f\|_{1}=\|g\|_{1}$, and
we for all $x\in G$ have

$f\circ\phi(x)=\lim_{N}P_{N}(\phi(x))=\lim_{N}Q_{N}(x)=g(x).$

Now $(\ref{zui})$ in particular implies that

$(Pol(H),\|\cdot\|_{p})\mapsto(Pol(G),\|\cdot\|_{p}),\leavevmode\nobreak\
\leavevmode\nobreak\ P\mapsto P\circ\phi$

is an onto isometry, and we as desired see that by density of the polynomials
the onto isometry $T_{p}:L_{p}(H)\rightarrow L_{p}(G)$ for all $1\leq
p<\infty$ exists. Finally, the remaining case $p=\infty$ follows by duality
from the case $p=1$: Define
$T_{\infty}=[(T_{1})^{\prime}]^{-1}:L_{\infty}(H)\rightarrow L_{\infty}(G)$. ∎

Moreover, we need the following fact from the theory of idempotent measures
(see [25, §3.1.2, p. 59 and §3.1.3, Theorem, p. 60]).

######  Lemma 3.16.

Let $G$ be a compact abelian group and $U\subset\widehat{G}$ a subgroup. Then
there is some $\mu\in M(G)$ with $\|\mu\|=1$ and $\widehat{\mu}=\chi_{U}$,
where $\chi_{U}$ is the characteristic function on $U$.

Finally, we are prepared to prove the announced second tool; note that for
injective maps $\phi$ and $E=\widehat{H}$ this is precisely Lemma 3.15.

######  Proposition 3.17.

Let $1\leq p\leq\infty$, $G$ and $H$ two compact abelian groups, and
$\phi\colon G\to H$ a continuous homomorphism with dense range. Then for all
$E\subset\widehat{H}$ there are onto isometries

(8) $\Psi_{p}\colon H_{p}^{E}(H)\to H_{p}^{\widehat{\phi}(E)}(G)\,\,\,\text{
with $\widehat{f}=\widehat{\Psi_{p}(f)}\circ\widehat{\phi}$\,,}$

and

(9) $\Psi\colon M_{E}(H)\to M_{\widehat{\phi}(E)}(G)\,\,\,\text{ with
$\hat{\mu}=\widehat{\Psi(\mu)}\circ\widehat{\phi}$\,.}$

The construction of our proof shows that the mapping $\Psi$ from (9) in fact
is an extension of the mapping $\Psi_{p}$ from (8).

###### Proof.

Since $\phi$ is continuous and has dense range, the map

$[\phi]\colon G/\ker\phi\hookrightarrow H,\leavevmode\nobreak\
[g]\mapsto\phi(g)$

is injective, and it still has dense range. Hence by Lemma 3.15 we have that
$L_{p}(G/\ker\phi)=L_{p}(H)$ for all $1\leq p\leq\infty$ as well as
$M(G/\ker\phi)=M(H)$, where the Fourier coefficients are preserved with
respect to $\widehat{[\phi]}$, and consequently

$H^{\widehat{[\phi]}(E)}_{p}(G/\ker\phi)=H^{E}_{p}(H)\,\,\,\text{and}\,\,\,M_{\widehat{[\phi]}(E)}(G/\ker\phi)=M_{E}(H)\,.$

Moreover, we have the bijective homomorphism

$\iota:\text{Im}\widehat{\phi}\hookrightarrow(G/\ker\phi)^{\widehat{}},\,\,\,\widehat{\phi}(\gamma)\to\big{[}[g]\to\gamma(\phi(g))\big{]}$

(see also the proof of Lemma 3.2, where we checked that
$(G/\ker\phi)^{\widehat{}}=(\ker\phi)^{\perp}=\overline{\text{Im}\widehat{\phi}}=\text{Im}\widehat{\phi}$,
since $\widehat{H}$ carries the discrete topology), and hence it suffices to
show that for every $K\subset\operatorname{Im}\widehat{\phi}$

$H_{p}^{K}(G)=H_{p}^{\iota(K)}(G/\ker\phi)\,\,\,\text{and}\,\,\,M_{K}(G)=M_{\iota(K)}(G/\ker\phi)\,.$

Let $\pi:G\to G/\ker\phi$ be the canonical surjection. Since the Haar measure
$m_{\pi}$ of $G_{1}/\ker\phi$ is the pushforward measure of $\pi$, the map

$L_{p}(G/\ker\phi)\to L_{p}(G),\leavevmode\nobreak\ \leavevmode\nobreak\
f\mapsto f\circ\pi$

for all $1\leq p\leq\infty$ defines an into isometry. In particular, fixing
$K\subset\operatorname{Im}\widehat{\phi}$, we obtain the isometric mapping

(10) $A_{p}\colon H_{p}^{\iota(K)}(G/\ker\phi)\to
H_{p}^{K}(G),\leavevmode\nobreak\ \leavevmode\nobreak\ f\mapsto f\circ\pi.$

Since $Pol_{K}(G)$ is dense in $H_{p}^{K}(G)$ (Proposition 3.14), we have that
$A_{p}$ is onto for all $1\leq p<\infty$. For $p=\infty$ let $g\in
H_{\infty}^{K}(G)$. Then, since $H_{\infty}^{K}(G)\subset H_{p}^{K}(G)$ for
all $1\leq p<\infty$, by what we have proved so far, there is
$f\in\bigcap_{1\leq p<\infty}H_{p}^{\iota(K)}(G/\ker\phi)$ such that
$\|f\|_{p}=\|g\|_{p}\leq\|g\|_{\infty}$ for all $1\leq p<\infty$. Hence,
$\lim_{p\to\infty}\|f\|_{p}\leq\|g\|_{\infty}$, and so $f\in
H_{\infty}^{\iota(K)}(G/\ker\phi)$, $A_{\infty}(f)=g$ and
$\|f\|_{\infty}=\lim_{p\to\infty}\|f\|_{p}\leq\|g\|_{\infty}$. This completes
the proof of (8).

For the proof of (9) we use, given a compact abelian group $L$ and
$F\subset\widehat{L}$, the notation

$C(L)^{\prime}_{F}:=\\{\varphi\in C(L)^{\prime}\colon\varphi(\gamma)\neq
0\Rightarrow\gamma\in F\\}\,.$

Then by the Riesz representation theorem $M_{F}(L)=C(L)^{\prime}_{F}$.

Fix again some $K\subset\operatorname{Im\widehat{\phi}}$. Restricting the map
$A_{\infty}$ in (10) to continuous functions, we conclude that the map

$B_{\infty}\colon C_{\iota(K)}(G/\ker\phi)\to C_{K}(G),\leavevmode\nobreak\
\leavevmode\nobreak\ f\mapsto f\circ\pi$

is also an onto isometry. Now consider the mapping

$\Phi\colon C(G)^{\prime}_{K}\to
C(G/\ker\phi)^{\prime}_{K},\leavevmode\nobreak\ \leavevmode\nobreak\
\varphi\mapsto\varphi\circ B_{\infty}.$

Then $\Phi$ is defined and isometric; indeed, since $\varphi$ is supported on
$K$, we have

$\|\Phi(\varphi)\|=\sup_{g\in C(G/\ker\phi),\leavevmode\nobreak\
\|g\|_{\infty}=1}|\varphi(g\circ\pi)|=\sup_{f\in C_{K}(G),\leavevmode\nobreak\
\|f\|_{\infty}=1}|\varphi(f)|=\|\varphi\|.$

To prove surjectivity choose $\mu\in M(G)$ with $\|\mu\|=1$ and
$\widehat{\mu}=\chi_{\operatorname{Im\widehat{\phi}}}$, where
$\chi_{\operatorname{Im}\widehat{\phi}}$ denotes the characteristic function
on $\operatorname{Im}\widehat{\phi}$ (Lemma 3.16). Then, given $\eta\in
C(G/\ker\phi)^{\prime}_{K}$, the functional $\varphi\colon
C(G)\to\mathbb{C},\varphi(f):=\eta(f*\mu)$ belongs to $C(G)^{\prime}_{K}$ and
$\Phi(\varphi)=\eta$ (using again
$C_{\iota(K)}(G/\ker\phi)=C_{\operatorname{Im}\widehat{\phi}}(G)$ via
$B_{\infty}$). So $\Phi$ is an onto isometry, and now applying the Riesz
representation theorem, the mapping $\Psi:=\Phi^{-1}$ fulfils the claim. ∎

###  3.3. Hardy spaces over $\boldsymbol{\lambda}$-Dirichlet groups

The following notion will turn out to be fundamental for our purposes.

######  Definition 3.18.

Let $\lambda$ be a frequency and $(G,\beta)$ a Dirichlet group. Then $G$ is
called $\lambda$-Dirichlet group whenever
$\lambda\subset\widehat{\beta}(\widehat{G})$.

So for instance for ordinary Dirichlet series, $\lambda_{n}=\log(n)$, the
groups $\mathbb{T}^{\infty}$ and $\overline{\mathbb{R}}$ are
$\log(n)$-Dirichlet groups. But more can be said.

######  Example 3.19.

From Example 3.6 we immediately deduce that the pair
$(\overline{\mathbb{R}},\beta_{\overline{\mathbb{R}}})$ forms a
$\lambda$-Dirichlet group for any frequency $\lambda$.

We explain in Section 3.5 that for every frequency $\lambda$ there is a
suitable map $T_{\lambda}$ such that
$(\widehat{\mathbb{Q}_{d}}^{\infty},T_{\lambda})$ is a $\lambda$-Dirichlet
groups, which can be seen as an analog of
$(\mathbb{T}^{\infty},\beta_{\mathbb{T}^{\infty}})$ from the ordinary case
(see Example 3.7). Further in Section 3.6 we define classes of frequencies
$\lambda$ (natural and integer type) for which $\mathbb{T}^{\infty}$ is a
$\lambda$-Dirichlet group (including $\lambda=(\log n)$).

Let $(G,\beta)$ be a $\lambda$-Dirichlet group and $1\leq p\leq\infty$. Then
$E=\\{h_{\lambda_{n}}\colon n\in\mathbb{N}\\}\subset\widehat{G}$, and we
define

$H_{p}^{\lambda}\left(G\right):=H_{p}^{E}(G).$

So $H_{p}^{\lambda}\left(G\right)$ is the Banach space of all functions $f\in
L_{p}(G)$ such that $\widehat{f}(\gamma)\neq 0$ only if
$\gamma=h_{\lambda_{n}}$ for some $n$. Note that, the definition of
$H_{p}^{\lambda}(G)$ also depends on the choice of $\beta$, although our
notation does not indicate this.

######  Theorem 3.20.

Let $1\leq p\leq\infty$ and $(G,\beta)$ a $\lambda$-Dirichlet group. Then

$H_{p}^{\lambda}(G)=H_{p}^{\lambda}(\overline{\mathbb{R}})\,\,\,\text{
isometrically}.$

More precisely, there is an onto isometry $\Psi\colon H_{p}^{\lambda}(G)\to
H_{p}^{\lambda}(\overline{\mathbb{R}}),f\mapsto g$ such that
$\widehat{f}(h^{(G,\beta)}_{\lambda_{n}})=\widehat{g}(h^{(\overline{\mathbb{R}},\beta_{\overline{\mathbb{R}}})}_{\lambda_{n}})$
for all $n\in\mathbb{N}$.

###### Proof.

The result is immediate from Proposition 3.9 and Proposition 3.17. ∎

######  Corollary 3.21.

Let $\lambda$ be a frequency and $(G,\beta_{G})$ and $(H,\beta_{H})$ two
$\lambda$-Dirichlet groups. Then

$H_{p}^{\lambda}(G)=H_{p}^{\lambda}(H)\,\,\,\text{ isometrically},$

where, if $f\in H_{p}^{\lambda}(G)$ and $g\in H_{p}^{\lambda}(H)$ are
associated to each other, we have that
$\widehat{f}(h_{\lambda_{n}}^{(G,\beta_{G})})=\widehat{g}(h_{\lambda_{n}}^{(H,\beta_{H})})$
for all $n\in\mathbb{N}$.

In the next result we show that every $f\in H_{\infty}^{\lambda}(G)$ in a
natural way defines holomorphic functions on the open right half plane; in
Section 4.3 we take advantages of this important feature.

######  Proposition 3.22.

Let $\lambda$ be an arbitrary frequency and $f\in H_{\infty}^{\lambda}(G)$.
Then for almost all $\omega\in G$ the function

$F_{\omega}\colon[Re>0]\to\mathbb{C}\,,\,\,\,F_{\omega}(u+it):=(f_{\omega}*P_{u})(t)$

defines a holomorphic function on $[Re>0]$ which is bounded by
$\|f\|_{\infty}$.

###### Proof.

By Lemma 3.11 we know that $f_{\omega}\in L_{\infty}(\mathbb{R})$ for almost
all $\omega\in G$ (say, for all $\omega$ not contained in a null set $M\subset
G$). So $F_{\omega}$ defines a continuous function on $[Re>0]$ (actually a
harmonic function on $[Re>0]$, see [19]). For polynomials
$g=\sum_{n=1}^{N}b_{n}e^{-i\lambda_{n}\cdot}$ we have that for all
$x\in\mathbb{R}$ and $u>0$ by Abel summation

$\mathcal{F}_{L_{1}(\mathbb{R})}\left(e^{-u|\cdot|}\sum_{\lambda_{n}<\cdot}b_{n}\right)(x)=\frac{1}{u+ix}\sum_{n=1}^{N}b_{n}e^{-(u+ix)\lambda_{n}}=\frac{(g*P_{u})(x)}{u+ix}\,.$

Since the right hand side (as a function of $x$) is in $L_{2}(\mathbb{R})$, we
apply the Fourier transform on $L_{2}(\mathbb{R})$ and obtain

(11)
$\mathcal{F}_{L_{2}(\mathbb{R})}\left(\frac{g*P_{u}}{u+i\cdot}\right)(-\cdot)=e^{-u|\cdot|}\sum_{\lambda_{n}<\cdot}b_{n}\,\,\,\text{in
$L_{2}(\mathbb{R})$}.$

Now we want to apply this formula for $f_{\omega}$. Therefore fix $u>0$ and
consider the mapping

$\Psi_{u}:L_{2}(G)\to
L_{2}(G,L_{2}(\mathbb{R})),\,\,g\mapsto\Big{[}\omega\mapsto\frac{g_{\omega}*P_{u}}{u+i\cdot}\Big{]}\,.$

This operator is well-defined and bounded. Since the sequence
$f^{N}:=\sum_{n=1}^{N}a_{n}h_{\lambda_{n}}$ converges to $f$ in $L_{2}(G)$, we
obtain some subsequence $(N_{k})_{k}$ such that for almost all $\omega\in G$,
say $\omega\notin N_{u}\cup M$, where $N_{u}\subset G$ is a null set,

$\lim_{k\to\infty}\frac{f^{N_{k}}_{\omega}*P_{u}}{u+i\cdot}=\frac{f_{\omega}*P_{u}}{u+i\cdot}\,\,\,\text{in
$L_{2}(\mathbb{R})$}\,.$

Then by the continuity of the Fourier transform on $L_{2}(\mathbb{R})$ and
(11) we obtain for all $\omega\notin N_{u}\cup M$

(12)
$\mathcal{F}_{L_{2}(\mathbb{R})}\left(\frac{f_{\omega}*P_{u}}{u+i\cdot}\right)(-\cdot)=e^{-u|\cdot|}\sum_{\lambda_{n}<\cdot}a_{n}\omega(\lambda_{n})\in
L_{2}(\mathbb{R})\,.$

In particular for all $u>0$ and $\omega\notin N_{u}\cup M$

$\displaystyle\left\|e^{-2u|\cdot|}\sum_{\lambda_{n}<\cdot}a_{n}\omega(\lambda_{n})\right\|_{L_{1}(\mathbb{R})}=\int_{0}^{\infty}e^{-2ux}\left|\sum_{\lambda_{n}<x}a_{n}\omega(\lambda_{n})\right|dx$
$\displaystyle\leq\left(\int_{0}^{\infty}\left|\left(\sum_{\lambda_{n}<x}a_{n}\omega(\lambda_{n})\right)e^{-ux}\right|^{2}dx\right)^{\frac{1}{2}}\left(\int_{-\infty}^{\infty}e^{-2u|x|}dx\right)^{\frac{1}{2}}<\infty,$

hence $e^{-u|\cdot|}\sum_{\lambda_{n}<\cdot}a_{n}\omega(\lambda_{n})\in
L_{1}(\mathbb{R})$ for all $\omega\notin N_{u}\cup M$. Now we write
$\mathbb{Q}_{+}:=\mathbb{Q}\cap]0,\infty[=\\{q_{1},q_{2},\ldots\\}=(q_{n})_{n}$
and choosing $u_{n}=q_{n}$ we obtain a null set
$N:=\bigcup_{n\in\mathbb{N}}N_{q_{n}}\subset G$ such that
$e^{-u|\cdot|}\sum_{\lambda_{n}<\cdot}a_{n}\omega(\lambda_{n})\in
L_{1}(\mathbb{R})$ for all $u\in\mathbb{Q}_{+}$ and $\omega\notin N\cup M$. So
for all $\omega\notin N\cup M$ the function

$g_{\omega}:[\text{Re}>0]\to\mathbb{C}\,,\,\,g_{\omega}(z)=\int_{0}^{\infty}\left(\sum_{\lambda_{n}<x}a_{n}\omega(\lambda_{n})\right)e^{-zx}dx$

is well-defined and holomorphic. Now together with (12) we obtain for all
$u\in\mathbb{Q}_{+}$ and $\omega\notin N\cup M$

$\displaystyle\int_{0}^{\infty}\Big{(}\sum_{\lambda_{n}<x}a_{n}\omega(\lambda_{n})\Big{)}e^{-(u+i\cdot)x}dx=\mathcal{F}_{L_{1}(\mathbb{R})}\left(e^{-u|\cdot|}\sum_{\lambda_{n}<\cdot}a_{n}\omega(\lambda_{n})\right)$
$\displaystyle=\mathcal{F}_{L_{2}(\mathbb{R})}\left(e^{-u|\cdot|}\sum_{\lambda_{n}<\cdot}a_{n}\omega(\lambda_{n})\right)=\mathcal{F}_{L_{2}(\mathbb{R})}\left(\mathcal{F}_{L_{2}(\mathbb{R})}\left(\frac{f_{\omega}*P_{u}}{u+i\cdot}\right)(-\cdot)\right)=\frac{f_{\omega}*P_{u}}{u+i\cdot}.$

So finally for all $u\in\mathbb{Q}_{+}$ and for all $\omega\notin N\cup M$ and
almost all $t$

(13)
$\frac{F_{\omega}(u+it)}{u+it}=\int_{0}^{\infty}\Big{(}\sum_{\lambda_{n}<x}a_{n}\omega(\lambda_{n})\Big{)}e^{-(u+it)x}dx=g_{\omega}(u+it)\,.$

Since both sides are continuous functions, equation (13) holds on $[Re>0]$. So
since

$F_{\omega}(z)=zg_{\omega}(z)\,\,\text{on $[\text{Re}>0]$}\,,$

$F_{\omega}$ is indeed holomorphic on the open right half plane for all
$\omega\notin N\cup M$. ∎

###  3.4. Hardy spaces of general Dirichlet series

We now come to the actual goal of this work. Let $1\leq p\leq\infty$ and
$(G,\beta)$ be a $\lambda$-Dirichlet group, and consider the following map
which we call Bohr map:

$\mathcal{B}\colon
H^{\lambda}_{p}(G)\hookrightarrow\mathcal{D}(\lambda),\,\,\,f\sim\sum_{\gamma\in\widehat{G}}\widehat{f}(\gamma)\gamma\,\,\,\mapsto\,\,\,\sum_{n\in\mathbb{N}}\widehat{f}(h_{\lambda_{n}})e^{-\lambda_{n}s}.$

The following definition is at the very heart of this work.

######  Definition 3.23.

The Hardy space $\mathcal{H}_{p}(\lambda)$ of $\lambda$-Dirichlet series is
the space of all $\sum a_{n}e^{-\lambda_{n}s}$ for which there is some $f\in
H_{p}^{\lambda}(G)$ such that $a_{n}=\widehat{f}(h_{\lambda_{n}})$ for all
$n$.

Together with the norm $\|D\|_{p}:=\|f\|_{p}$ the space
$\mathcal{H}_{p}(\lambda)$ clearly forms a Banach space, and then by
definition the Bohr map $\mathcal{B}$ gives an isometric onto isomorphism from
$\mathcal{H}_{p}(\lambda)$ onto $H_{p}^{\lambda}(G)$. The following immediate
consequence of Corollary 3.21 is crucial.

######  Theorem 3.24.

$\mathcal{H}_{p}(\lambda)$ is independent of the chosen $\lambda$-Dirichlet
group $(G,\beta)$.

Recall that in the ordinary case $\lambda:=(\log n)$, the groups
$\mathbb{T}^{\infty}$ and $\overline{\mathbb{R}}$ are suitable $(\log
n)$-Dirichlet groups, which immediately leads to the following consequence.

######  Corollary 3.25.

$H_{p}^{\log(n)}(\overline{\mathbb{R}})=\mathcal{H}_{p}(\log(n))=H_{p}(\mathbb{T}^{\infty}).$

So the above definition of $\mathcal{H}_{p}(\lambda)$ actually coincides with
Bayart’s definition of $\mathcal{H}_{p}$ in the ordinary case (see [3]).

Dealing with concrete problems in $\mathcal{H}_{p}(\lambda)$ it suffices to
restrict ourselves thinking on $\overline{\mathbb{R}}$ (or
$\widehat{\mathbb{Q}_{d}}^{\infty}$, see Section 3.5) instead of considering
an ’abstract’ Dirichlet group $G$. The choice of the group may depend then on
the problem we are interested in. Of course considering particular frequencies
like $\lambda=(n)$ or $\lambda=(\log n)$ it has advantages to work with the
torus instead of $\overline{\mathbb{R}}$ due to its connection to complex
analysis (on products of the unit disk $\mathbb{D}$).

Note that now there are two ‘$H_{\infty}$-spaces of $\lambda$-Dirichlet
series’ around, namely $\mathcal{D}_{\infty}(\lambda)$ and
$\mathcal{H}_{\infty}(\lambda)$. In Section 4.3 we show that they coincide if
$\mathcal{D}^{ext}_{\infty}(\lambda)=\mathcal{D}_{\infty}(\lambda)$ and
$L(\lambda)<\infty$ (Theorem 4.12), which answers the question posed in the
introduction.

We close this section by giving an internal description of
$\mathcal{H}_{p}(\lambda)$ through $\lambda$-Dirichlet polynomials without
considering Dirichlet groups. We denote by $Pol(\lambda)$ the space of all
$\lambda$-Dirichlet polynomials $D=\sum_{n=1}^{N}a_{n}e^{-\lambda_{n}s}$. For
such polynomials we define

$\|D\|_{p}:=\left(\lim_{T\to\infty}\frac{1}{2T}\int_{-T}^{T}\left|\sum^{N}_{n=1}a_{n}e^{-\lambda_{n}it}\right|^{p}dt\right)^{\frac{1}{p}}\,,$

where due to Proposition 3.10 this limit exists and gives a norm on
$Pol(\lambda)$. Then the following result is an immediate consequence of
Proposition 3.14.

######  Theorem 3.26.

Let $1\leq p<\infty$ and $\lambda$ be a frequency. Then the space
$\mathcal{H}_{p}(\lambda)$ is the completion of
$(Pol(\lambda),\|\cdot\|_{p})$.

###  3.5. Several variables

As already mentioned in Corollary 3.25, in the ordinary case $\lambda=(\log
n)$ the $\mathcal{H}_{p}$-spaces coincide with the Hardy space
$H_{p}(\mathbb{T}^{\infty})$ which consists of functions in infinitely many
variables. On the other hand by Theorem 4.12 ordinary Dirichlet series can be
understood in terms of the ’one dimensional’ object $\overline{\mathbb{R}}$.
So the (vague) question might arise where are all the variables gone in the
general case?

Recall the following notions going back to Bohr (see [7, §5]). An infinite
matrix $R:=(r^{n}_{k})_{n,k\in\mathbb{N}}$ of rational numbers is called Bohr
matrix whenever each row $R_{n}=(r_{k}^{n})_{k}$ is finite, i.e.
$r^{n}_{k}\neq 0$ for only finitely many $k$’s. Given a sequence
$\lambda:=(\lambda_{n})$ of real numbers, a sequence $B:=(b_{n})$ in
$\mathbb{R}$ is said to be a basis for $\lambda$ if it is
$\mathbb{Q}$-linearly independent and for each $n$ there is a finite sequence
$(r^{n}_{k})_{k}$ of rational coefficients such that
$\lambda_{n}=\sum_{k}r^{n}_{k}b_{k}$. In this case, $R:=(r^{n}_{k})_{n,k}$ is
said to be a Bohr matrix of $\lambda$ with respect to the basis $B$. If
$\lambda$ is a frequency, such a basis always exists (in fact it can be chosen
as a subsequence of $\lambda$), and if $R$ is the associated Bohr matrix $R$,
we write $\lambda=(R,B)$.

Note that $(\log p_{j})$ is a basis of $\lambda=(\log n)$, where
$\mathfrak{p}=(p_{j})$ is the sequence of prime numbers. In this case all
finite sequences of natural numbers form the rows of $R$.

We come back to Example 3.8 within the setting of $\lambda$-Dirichlet groups.

######  Example 3.27.

Let $B:=(b_{n})$ be a $\mathbb{Q}$-linearly independent sequence of length
$N\in\mathbb{N}\cup\\{\infty\\}$. Then for every frequency $\lambda=(R,B)$ we
have that $\big{(}\widehat{\mathbb{Q}_{d}}^{N},\widehat{T_{B}}\big{)}$ is a
$\lambda$-Dirichlet group, where $T_{B}$ is the mapping defined in (3).

On the other hand, if $R$ is a Bohr matrix and all rows $R_{n}$ have length
$N\in\mathbb{N}\cup\\{\infty\\}$, then obviously each of these rows belongs to
the dual of $\widehat{\mathbb{Q}_{d}}^{N}$ , and we denote for $1\leq
p\leq\infty$ the corresponding Hardy space (see Definition 3.13) by

$H^{R}_{p}\big{(}\widehat{\mathbb{Q}_{d}}^{N}\big{)}\,.$

Then Example 3.27 and Theorem 3.20 show that in this case the three objects
$H_{p}^{R}\big{(}\widehat{\mathbb{Q}_{d}}^{N}\big{)}$,
$\mathcal{H}_{p}(\lambda)$, and $H_{p}^{\lambda}(\overline{\mathbb{R}})$ can
not be distinguished in terms of Fourier- and Dirichlet coefficients.

######  Theorem 3.28.

Let $1\leq p\leq\infty$ and $R$ be a Bohr matrix. Then for for every frequency
$\lambda=(R,B)$ with a basis of length $N\in\mathbb{N}\cup\\{\infty\\}$

$H_{p}^{R}\big{(}\widehat{\mathbb{Q}_{d}}^{N}\big{)}=\mathcal{H}_{p}(\lambda)=H_{p}^{\lambda}(\overline{\mathbb{R}})\,\,\,\text{isometrically}\,.$

More precisely, there are unique onto isometries between these spaces such
that if $F$, $D$, and $f$ are associated to each other, then for each $n$

$\widehat{F}(R_{n})=a_{n}(D)=\widehat{f}(\lambda_{n})\,.$

Thinking of multi indices as rows in the Bohr matrix of $(\log n)$ the Hardy
type space $H_{p}^{R}(\widehat{\mathbb{Q}_{d}}^{N})$ could be considered as
the ’multi variable’ substitute of $H_{p}(\mathbb{T}^{\infty})$ in the general
case. The difference of $H_{p}^{R}(\widehat{\mathbb{Q}_{d}}^{N})$ and
$H_{p}^{\lambda}(\overline{\mathbb{R}})$ lies in the kind of perspective:
Either the focus lies on the frequency $\lambda$ itself or on its coefficients
with respect to some decomposition $(R,B)$. Calculations are sometimes easier
in $H_{p}^{\lambda}(\overline{\mathbb{R}})$ than in
$H_{p}^{R}(\widehat{\mathbb{Q}_{d}}^{N})$, since we do not have to deal with
’infinitely many variables’. On the other hand the spaces
$H_{p}^{R}(\widehat{\mathbb{Q}_{d}}^{N})$ decompose the frequency with respect
to the basis (’separates the variables’), and they are independent of a chosen
basis for $\lambda$. Moreover $\widehat{\mathbb{Q}_{d}}^{N}$ is metrizable
(since its dual group is countable).

An immediate consequence of Theorem 3.28 is the following (which may be is not
immediate considering $H_{p}^{\lambda}(\overline{\mathbb{R}})$).

######  Corollary 3.29.

Assume that $1\leq p\leq\infty$ and that $\lambda=(R,B)$ and
$\widetilde{\lambda}=(\widetilde{R},\widetilde{B})$ are two frequencies. If
there is a permutation $\phi\colon\mathbb{N}\to\mathbb{N}$ such that
$\widetilde{R_{n}}=R_{\phi(n)}$ for all $n\in\mathbb{N}$, that is $\lambda$
and $\widetilde{\lambda}$ have the same Bohr matrix without regard to the
order of the rows, then
$\mathcal{H}_{p}(\lambda)=\mathcal{H}_{p}(\widetilde{\lambda})$ (as Banach
spaces) and the coefficient are preserved with respect to $\phi$.

For instance choosing $\lambda:=(\log 2^{n})$ and $\widetilde{\lambda}=(\log
3^{n})$, then Corollary 3.29 implies
$\mathcal{D}_{\infty}(\lambda)=H_{\infty}(\mathbb{T})=\mathcal{D}_{\infty}(\widetilde{\lambda})$
(which of course can be deduced directly).

###  3.6. Frequencies of integer type

In this section we consider frequencies which allow a decomposition $(R,B)$
such that the Bohr matrix $R$ consists exclusively of integers or natural
numbers. We call a Bohr matrix of integers or natural numbers full, if any
possible finite sequence of integers or numbers in $\mathbb{N}_{0}$ appears as
a row. This includes the Bohr matrix $R$ generated by the ordinary case
$\lambda=(\log n)$ and its basis $B=(\log p_{n})$. If $\alpha$ is a row of
$R$, then we shortly write $\alpha\in R$. For $1\leq p\leq\infty$ we keep to
the standard denoting by $\mathcal{H}_{p}$ the Hardy space of ordinary
Dirichlet series.

######  Definition 3.30.

We call a frequency $\lambda$ of integer (resp. natural) type if there is a
basis $B$ for $\lambda$ such that the Bohr matrix $R$ only consists of integer
(resp. natural) numbers.

So for these frequencies $\lambda=(R,B)$ of integer type the group
$\mathbb{T}^{N}$ is a $\lambda$-Dirichlet group (use Example 3.7), where
$N\in\mathbb{N}\cup\\{\infty\\}$ is the length of the basis $B$, and we obtain
the following

######  Theorem 3.31.

Let $1\leq p\leq\infty$ and $\lambda=(R,B)$ a frequency of integer type with
basis of length $N\in\mathbb{N}\cup\\{\infty\\}$. Then there is a unique onto
isometry

$\psi\colon\mathcal{H}_{p}(\lambda)\to
H_{p}^{R}(\mathbb{T}^{N}),\leavevmode\nobreak\ \leavevmode\nobreak\ D\mapsto
F$

such that $\hat{F}(\alpha)=a_{n}(D)$ for all multi indices $\alpha\in R$ and
$\lambda_{n}=\sum\alpha_{j}b_{j}$.

Theorem 3.31 also implies that the ordinary $\mathcal{H}_{p}$ is in the
following sense the ’biggest’ Hardy type space of natural type.

######  Corollary 3.32.

Let $1\leq p\leq\infty$ and $\lambda=(R,B)$ a frequency of natural type. Then
there is a unique into isometry

$\psi\colon\mathcal{H}_{p}(\lambda)\hookrightarrow\mathcal{H}_{p},\leavevmode\nobreak\
\leavevmode\nobreak\ \sum a_{n}e^{-\lambda_{n}s}\to\sum b_{n}n^{-s}$

such that $a_{n}=b_{\mathfrak{p}^{\alpha}}$ for all $\alpha\in R$, where
$\lambda_{n}=\sum\alpha_{j}b_{j}$.

So, if $\lambda$ is of integer or natural type, then the group
$\mathbb{T}^{\infty}$ is appropriate. The following remark can be seen as a
sort of converse.

######  Remark 3.33.

If $(\mathbb{T}^{\infty},\beta)$ is a $\lambda$-Dirichlet group, then
$\lambda$ is of integer type.

###### Proof.

By assumption and Lemma 3.2 there is a monomorphism
$T\colon\oplus_{n=1}^{N}\mathbb{Z}\hookrightarrow\mathbb{R}$ such that
$\lambda\subset\text{Im}\leavevmode\nobreak\ T$. Denoting by $e_{k}$ the $k$th
unit vectors in $\oplus_{n=1}^{N}\mathbb{Z}$ the sequence $(T(e_{k}))_{k}$ is
$\mathbb{Z}$-linearly independent and
$\lambda\subset\operatorname{span}_{\mathbb{Z}}(T(e_{k}))_{k}$. ∎

###  3.7. On Bohr’s problem

A prominent problem in Bohr’s time was to determine the maximal width of the
strip of uniform but non absolutely convergence

$S(\lambda):=\sup_{D\in\mathcal{D}(\lambda)}\sigma_{a}(D)-\sigma_{u}(D).$

Note that we always have $S(\lambda)\leq\frac{L(\lambda)}{2}$ by the Cauchy-
Schwarz inequality. In the ordinary case, where $L(\log(n))=1$, a celebrated
result is that $S(\log(n))=\frac{1}{2}$ (see [4, §5, Theorem V], [9], [16], or
[24]). So the question may arise whether $S(\lambda)=\frac{L(\lambda)}{2}$
always holds. But this is in general false due to a result of Neder (see [23,
§4], actually $\sigma_{b}^{ext}$, see [26] for definition, is considered
instead of $\sigma_{u}$, but Neder’s construction can easily be modified for
$\sigma_{u}$).

######  Proposition 3.34.

To every $x>0$ and $0\leq y\leq\frac{x}{2}$ there is a frequency $\lambda$
such that $L(\lambda)=x$ and $S(\lambda)=y$.

If $\lambda$ satisfies Bohr’s theorem, then we may reformulate $S(\lambda)$ as
follows

$S(\lambda)=\sup_{D\in\mathcal{D}_{\infty}(\lambda)}\sigma_{a}(D),$

which actually in a sense is one of the key steps for proving $S((\log
n))=\frac{1}{2}$. This motivates to define (like already done in the ordinary
case, see [9, §12.2]) the following ’$p$-version’ of $S(\lambda)$:

$S_{p}(\lambda):=\sup_{D\in\mathcal{H}_{p}(\lambda)}\sigma_{a}(D).$

Note that $S_{p}(\lambda)$ is decreasing in $p$ and that $S_{1}(\lambda)\leq
L(\lambda)$. In the particular case $p=2$ we have
$S_{2}(\lambda)=\frac{L(\lambda)}{2}$ for all $\lambda$’s. Indeed, the Cauchy-
Schwarz inequality gives $S_{2}(\lambda)\leq\frac{L(\lambda)}{2}$, and
conversely $D_{\varepsilon}(s)=\sum
e^{-\left(\frac{L(\lambda)}{2}+\varepsilon\right)\lambda_{n}}e^{-\lambda_{n}s}\in\mathcal{H}_{2}(\lambda)$
satisfies $\sigma_{a}(D_{\varepsilon})=\frac{L(\lambda)}{2}-\varepsilon$ for
all $\varepsilon>0$.

Given $\lambda$, the exact value of $S_{p}(\lambda)$ seems hard to determine.
But at least if $\lambda$ is of full natural type, then we will show that
$S(\lambda)=\frac{L(\lambda)}{2}$ as a consequence of Theorem 3.32. For
$\mathbb{Q}$-linearly independent frequencies see Corollary 3.36.

######  Corollary 3.35.

Let $\lambda=(R,B)$ be a frequency of natural type, where $R$ is full. If
$\lim_{n\to\infty}\frac{\log(n)}{\lambda_{n}}$ exists, then
$S_{p}(\lambda)=\frac{L(\lambda)}{2}$ for all $1\leq p\leq\infty$. Further, if
$\lambda$ satisfies $(LC)$ and $L(\lambda)<\infty$, then there is a Dirichlet
series $D\in\mathcal{D}_{\infty}(\lambda)$ with
$\sigma_{a}(D)=\frac{L(\lambda)}{2}$ and $S(\lambda)=\frac{L(\lambda)}{2}$.

Maximal width of uniform and but non absolute convergence of Dirichlet series
for frequencies $\lambda$ as in the previous corollary were also studied in
the recent article [8]. There the authors look at the special case
$S(\lambda)=S_{\infty}(\lambda)$ assuming $(BC)$, but without assuming that
$\lim_{n\to\infty}\frac{\log(n)}{\lambda_{n}}$ exists. Their reasoning is
based on the fact the set $\operatorname{mon}H_{\infty}(B_{c_{0}})$ of
monomial convergence is included in
$\ell_{2+\varepsilon}\cap\mathbb{D}^{\mathbb{N}}$ for all $\varepsilon>0$,
which is basically a consequence of a probabilistic argument (Kahane-Zygmund
inequality). Their proof extends word by word for $\lambda$’s satisfying
$(LC)$. Using the fact that
$\operatorname{mon}H_{p}(\mathbb{T}^{\infty})=\ell_{2}\cap\mathbb{D}^{\mathbb{N}}$,
$1\leq p<\infty$, and $\mathcal{H}_{p}(\lambda)=H_{p}(\mathbb{T}^{\infty})$
(see [9, §12.4.2]) the same argument gives
$S_{p}(\lambda)=\frac{L(\lambda)}{2}$ without any assumption on the
$\lambda$’s. We feel that our proof of Corollary 3.35 (under the stronger
assumption that $\lim_{n\to\infty}\frac{\log(n)}{\lambda_{n}}$ exists) is more
elementary.

###### Proof of Corollary 3.35.

By Corollary 3.32 we have that $\mathcal{H}_{p}(\lambda)=\mathcal{H}_{p}((\log
n))$, where the isometry preserves the Dirichlet coefficients. Then by
assumption for all $\varepsilon>0$ there is $n_{0}$ such that
$\lambda_{n}(L(\lambda)-\varepsilon)\leq\log(n)\leq\lambda_{n}(L(\lambda)+\varepsilon)$
for all $n\geq n_{0}$. From this by an easy calculation we see that
$\sigma_{a}(D)=\sigma_{a}(E)L(\lambda)$ for all $D\in\mathcal{H}_{p}(\lambda)$
and $E\in\mathcal{H}_{p}((\log n))$ associated to each other. This gives
$S_{p}(\lambda)=L(\lambda)S_{p}((\log n))=\frac{L(\lambda)}{2}$. By Theorem
4.10 and Theorem 4.12 (applied to $(\log n)$) we have
$\mathcal{D}_{\infty}(\lambda)\subset\mathcal{D}_{\infty}((\log n))$ since
$\lambda$ is of natural type. Assuming $(LC)$ and $L(\lambda)<\infty$ we
actually have equality (again Theorem 4.12), and we obtain $S(\lambda)=S((\log
n))L(\lambda)=\frac{L(\lambda)}{2}$. Since there is
$E\in\mathcal{D}_{\infty}((\log n))$ with $\sigma_{a}(E)=\frac{1}{2}$ (see [9,
§4]), the claim is proven.

∎

Now we consider the case of $\mathbb{Q}$-linearly independent frequencies
$\lambda$. Note that in this case we already know from [26] that
$\mathcal{H}_{\infty}(\lambda)=\mathcal{D}_{\infty}(\lambda)=\ell_{1}(\mathbb{N})$
and therefore that $S_{\infty}(\lambda)=S(\lambda)=0$.

######  Corollary 3.36.

Let $1\leq p<\infty$ and $\lambda$ be $\mathbb{Q}$-linearly independent.Then
the following isometric equalities hold:

$\mathcal{H}_{p}(\lambda)=H^{(1)}_{p}(\mathbb{T}^{\infty}):=\\{f\in
H_{p}(\mathbb{T}^{\infty})\mid\widehat{f}(\alpha)\neq
0\Rightarrow\sum\alpha_{j}=1\\}$

and

$\mathcal{D}_{\infty}(\lambda)=H^{(1)}_{\infty}(\mathbb{T}^{\infty})\,.$

In particular, $S_{p}(\lambda)=\frac{L(\lambda)}{2}.$

###### Proof.

By Theorem 3.32 we know that
$\mathcal{H}_{p}(\lambda)=\mathcal{B}(H^{(1)}_{p}(\mathbb{T}^{\infty}))=:\mathcal{H}^{(1)}_{p}((\log
n))$ is the space of $1$-homogeneous ordinary Dirichlet series. Since
$\mathcal{H}^{(1)}_{p}((\log n))=\mathcal{H}_{2}((\log n))$ isomorphically (by
Khinchine’s inequality, see [9, §11.2.2]) we have
$\mathcal{H}_{p}(\lambda)=\mathcal{H}_{2}(\lambda)$ and so
$S_{p}(\lambda)=S_{2}(\lambda)=\frac{L(\lambda)}{2}$. ∎

We close this section by giving an example of $\lambda$ which is not of
integer type.

######  Example 3.37.

Let $(p_{n})$ be the sequence of prime numbers and define $\lambda_{1}:=1$,
$\lambda_{n}:=\frac{p_{n}^{2}+1}{p_{n}}$, $n\geq 2$. Then clearly
$B:=(1,0,\ldots)$ is a basis with Bohr matrix

$R:=\begin{pmatrix}1&0&\ldots\\\ \frac{2^{2}+1}{2}&0&\ldots\\\
\frac{3^{2}+1}{3}&0&\ldots\\\ \frac{5^{2}+1}{5}&0&\ldots\\\ \vdots&\vdots&&\\\
\end{pmatrix}.$

Assume that $\lambda$ is of integer type. Then there is a basis
$X=(x,0,\ldots)$ of length $1$ with an integer Bohr matrix (see [7], §5, pp.
121-122). Choose $(k_{n})\subset\mathbb{Z}\setminus\\{0\\}$ such that

$\frac{p_{n}^{2}+1}{p_{n}}=k_{n}\,x$

for all $n\in\mathbb{N}$. Hence $x\in\mathbb{Q}$. Now write $x=\frac{a}{b}$,
where $a,b\neq 0$. Then

$b(p_{n}^{2}+1)=p_{n}k_{n}a.$

Since $p_{n}^{2}+1$ is not divisible by $p_{n}$, we conclude that $b$ is
divisible by $p_{n}$ for all $n\in\mathbb{N}$. Hence $b=0$, a contradiction.
Moreover,

$\lambda_{n+1}-\lambda_{n}=p_{n+1}-p_{n}-\left(\frac{1}{p_{n}}-\frac{1}{p_{n+1}}\right)\geq
1-\frac{1}{2}=\frac{1}{2}\,,$

implying that $\lambda$ is strictly increasing and satisfies $(BC)$ with
$l=0$.

##  4\. Structure theory

Based on the Fourier analysis setting from the preceding section we extend
some important cornerstones of the $\mathcal{H}_{p}$-theory of ordinary
Dirichlet series to the range of general Dirichlet series.

###  4.1. Translations

In this section we fix a frequency $\lambda$, and collect a few independently
interesting tools on translations of $\lambda$-Dirichlet series which also
later will be important.

######  Definition 4.1.

Let $D=\sum a_{n}e^{-\lambda_{n}s}$ be a $\lambda$-Dirichlet series and
$z\in\mathbb{C}$. Then we call

$D_{z}(s):=\sum a_{n}e^{-\lambda_{n}z}e^{-\lambda_{n}s}$

the translation of $D$ about $z$.

We call the translation $D_{z}$ horizontal if $z\in\mathbb{R}$, and vertical
if $z=i\tau$, $\tau\in\mathbb{R}$. Given a $\lambda$-Dirichlet group
$(G,\beta)$ and a Dirichlet series $D=\sum a_{n}e^{-\lambda_{n}s}$, we for
every $\tau\in\mathbb{R}$ have

$D_{i\tau}=\sum a_{n}e^{-i\lambda_{n}\tau}e^{-\lambda_{n}s}=\sum
a_{n}h_{\lambda_{n}}(\beta(\tau))e^{-\lambda_{n}s}\,.$

More generally, we consider so-called vertical limits.

######  Definition 4.2.

Given a $\lambda$-Dirichlet group $(G,\beta)$ and a Dirichlet series $D=\sum
a_{n}e^{-\lambda_{n}s}$, we call Dirichlet series of the form

$D^{\omega}(s)=\sum
a_{n}\omega(\lambda_{n})e^{-\lambda_{n}s},\leavevmode\nobreak\ \omega\in G$

vertical limits of $D$ associated to $G$.

In the following we study in which sense $\lambda$-Dirichlet series belonging
to $\mathcal{H}_{p}(\lambda)$ are stable under taking vertical limits and
horizontal translations.

The first observation shows that the translation invariance of the Haar
measure on $G$ and the definition of $\mathcal{H}_{p}(\lambda)$ immediately
imply that all mappings $D\mapsto D^{\omega}$ constitute onto isometries on
$\mathcal{H}_{p}(\lambda)$.

######  Proposition 4.3.

Let $(G,\beta)$ be a $\lambda$-Dirichlet group, $1\leq p\leq\infty$ and
$D\in\mathcal{H}_{p}(\lambda)$. Then for $\omega\in G$ we have that
$D\in\mathcal{H}_{p}(\lambda)$ if and only if
$D^{\omega}\in\mathcal{H}_{p}(\lambda)$, and in this case and
$\|D^{\omega}\|_{p}=\|D\|_{p}$.

The following corollary applies the case $p=\infty$ to polynomials.

######  Corollary 4.4.

Let $(G,\beta)$ be a $\lambda$-Dirichlet group. Then for all $\omega\in G$ and
$a_{1},\ldots,a_{N}\in\mathbb{C}$

$\sup_{s\in[Re>0]}\Big{|}\sum_{n=1}^{N}a_{n}e^{-\lambda_{n}s}\Big{|}=\sup_{t\in\mathbb{R}}\Big{|}\sum_{n=1}^{N}a_{n}e^{-t\lambda_{n}i}\Big{|}=\sup_{t\in\mathbb{R}}\Big{|}\sum_{n=1}^{N}a_{n}\omega(\lambda_{n})e^{-t\lambda_{n}i}\Big{|}\,.$

###### Proof.

Applying Proposition 4.3 to polynomials in $Pol_{\lambda}(G)$ (and
’restricting’ them to $\mathbb{R}$) we obtain the second equality. The first
equality follows from a standard maximum modulus principle. ∎

Let us prove the analog of Proposition 4.3 for
$\mathcal{D}_{\infty}(\lambda)$.

######  Proposition 4.5.

Let $(G,\beta)$ be a $\lambda$-Dirichlet group, $D:=\sum
a_{n}e^{-\lambda_{n}s}\in\mathcal{D}_{\infty}(\lambda)$, and assume that
$\mathcal{D}_{\infty}(\lambda)$ is complete. Then for all $\omega\in G$ we
have that $D\in\mathcal{D}_{\infty}(\lambda)$ if and only if
$D^{\omega}\in\mathcal{D}_{\infty}(\lambda)$, and in this case
$\|D^{\omega}\|_{\infty}=\|D\|_{\infty}$.

###### Proof.

Indeed, by Proposition 2.4 the Dirichlet series $D=\sum
a_{n}e^{-\lambda_{n}s}\in\mathcal{D}_{\infty}(\lambda)$ is approximated by
typical means. Hence, given $\omega\in G$ and $\varepsilon>0$, by Corollary
4.4 the sequence

$\left(\sum_{\lambda_{n}<x}a_{n}\left(1-\frac{\lambda_{n}}{x}\right)\omega(\lambda_{n})e^{-\varepsilon\lambda_{n}}e^{-\lambda_{n}s}\right)_{x\geq
0}$

is a Cauchy sequence in $\mathcal{D}_{\infty}(\lambda)$. Then
$D^{\omega}_{\varepsilon}\in\mathcal{D}_{\infty}(\lambda)$ and
$\|D^{\omega}_{\varepsilon}\|_{\infty}=\|D_{\varepsilon}\|_{\infty}$ for all
$\omega\in G$ and $\varepsilon>0$. This immediately gives
$D^{\omega}\in\mathcal{D}_{\infty}(\lambda)$ and
$\|D^{\omega}\|_{\infty}=\|D\|_{\infty}$ for all $\omega\in G$. ∎

In the rest of this section we justify the chosen name ’vertical limit’.

######  Proposition 4.6.

Let $(G,\beta)$ be a $\lambda$-Dirichlet group, and $D=\sum
a_{n}e^{-\lambda_{n}s}$ a $\lambda$-Dirichlet series with $\sigma_{a}(D)\leq
0$. Then

  * (1)

For every $\omega\in G$ there is a sequence $(\tau_{k})_{k}\subset\mathbb{R}$
such that $D_{i\tau_{k}}$ converges to $D^{\omega}$ uniformly on
$[Re>\varepsilon]$ for all $\varepsilon>0$.

  * (2)

Assume conversely that for $(\tau_{k})_{k}\subset\mathbb{R}$ the vertical
translations $D_{i\tau_{k}}$ converge uniformly on $[Re>\varepsilon]$ for
every $\varepsilon>0$ to a holomorphic function $f$ on $[Re>0]$. Then there is
$\omega\in G$ such that $f(s)=D^{\omega}(s)$ for all $s\in[Re>0]$ .

###### Proof.

$(1)$ By Pontryagin’s duality theorem we have $G=\widehat{(\widehat{G},d)}$
(as topological groups), where the right group carries the compact open
topology. Hence in the following we interpret $\omega\in G$ as a character on
$\widehat{G}$. Since $\mathbb{R}$ is dense in $G$, by definition of the
compact open topology, for every $N\in\mathbb{N}$ there is
$\tau_{N}\in\mathbb{R}$ such that

$\max_{1\leq j\leq
N}|e^{-i\lambda_{j}\tau_{N}}-\omega(\lambda_{j})|\leq\frac{1}{N}.$

Hence the sequence $(e^{-i\lambda_{j}\tau_{N}})_{j}$ converges to
$(\omega(\lambda_{j}))_{j}$ in $\mathbb{T}^{\infty}$ whenever $N$ tends to
$\infty$. For each $N$ we define $D_{i\tau_{N}}(s):=\sum
a_{j}e^{-i\lambda_{j}\tau_{N}}e^{-\lambda_{j}s}$ and take $\varepsilon>0$.
Then for all $s=\sigma+it\in[Re>\varepsilon]$ and $M,N\in\mathbb{N}$ we obtain

$\displaystyle|D_{i\tau_{N}}(s)-D^{\omega}(s|$
$\displaystyle\leq\sum_{n=1}^{\infty}|a_{n}|e^{-\lambda_{n}\varepsilon}|e^{-i\lambda_{n}\tau_{N}}-\omega(\lambda_{n})|$
$\displaystyle\leq
2\sum_{n=M}^{\infty}|a_{n}|e^{-\lambda_{n}\varepsilon}+\max_{1\leq n\leq
M}|a_{n}|e^{-\lambda_{n}\varepsilon}\sum_{n=1}^{M}|e^{-i\lambda_{n}\tau_{N}}-\omega(\lambda_{n})|.$

Since $\sigma_{a}(D)\leq 0$, we may choose $M$ and $N$ large enough to get the
desired conclusion.
$(2)$ We claim that there is $\omega\in G$ and a subsequence
$(\tau_{n_{k}})_{k}$ such that $(e^{-i\tau_{n_{k}}\lambda_{j}})_{j}$ converges
to $(\omega(\lambda_{j}))_{j}$ in $\mathbb{T}^{\infty}$ whenever $k$ tends to
$\infty$. Then we may argue as in the proof of $(1)$ to show that
$D_{i\tau_{n_{k}}}$ converges to $D^{\omega}$ uniformly on $[Re>\varepsilon]$
for all $\varepsilon>0$, and consequently $f=D^{\omega}$ on $[Re>0]$. For
$m\in\mathbb{N}$ we define $T_{m}:=\overline{\\{\beta(\tau_{n})\mid n\geq
m\\}}$, where the closure is taken in $G$. Then $\bigcap_{m\in A}T_{m}$ for
all finite subsets $A\subset\mathbb{N}$, and since $G$ is compact, we find
some $\omega\in\bigcap_{m\in\mathbb{N}}T_{m}\neq\emptyset$. Consider now the
following zero neighborhoods in $G$

$U_{N}:=\left\\{\eta\in G\mid\max_{1\leq j\leq
N}|\eta(\lambda_{j})-1|\leq\frac{1}{N}\right\\},\leavevmode\nobreak\
N\in\mathbb{N}.$

So for $N=1$ there is $\tau_{k_{1}}$ such that
$\beta(\tau_{k_{1}})\in\omega+U_{1}$, since $\omega\in T_{1}$. Then for $N=2$
there is $\tau_{k_{2}}$, $k_{2}\geq k_{1}$, such that
$\beta(\tau_{k_{2}})\in\omega+U_{2}$, since $\omega\in T_{k_{1}}$. Inductively
we get a subsequence $(\tau_{n_{k}})_{k}$ such that

$\max_{1\leq j\leq
k}|e^{-i\tau_{n_{k}}\lambda_{j}}-\omega(\lambda_{j})|\leq\frac{1}{k}$

for all $k\in\mathbb{N}$. This proves the claim. ∎

###  4.2. $\boldsymbol{\mathcal{H}_{p}(\lambda)}$ equals
$\boldsymbol{\mathcal{H}^{+}_{p}(\lambda)}$

The next result shows that a Dirichlet series $D:=\sum a_{n}e^{-\lambda_{n}s}$
belongs to $\mathcal{H}_{p}(\lambda)$ if and only if all its translations
$D_{z},z\in[Re>0]$ do with uniformly bounded norms. For ordinary
$\mathcal{H}_{p}$’s this was first proved in [10] (see also [9, Theorem
11.21]).

######  Theorem 4.7.

Let $1\leq p<\infty$ and $D:=\sum a_{n}e^{-\lambda_{n}s}$. Then
$D\in\mathcal{H}_{p}(\lambda)$ if and only if
$D_{z}\in\mathcal{H}_{p}(\lambda)$ for all $z\in[Re>0]$ and
$\sup_{z\in[Re>0]}\|D_{z}\|_{p}<\infty$. Moreover, in this case
$\sup_{z\in[Re>0]}\|D_{z}\|_{p}=\|D\|_{p}$.

We will give two important applications of this description of
$\mathcal{H}_{p}(\lambda)$ in the coming two sections.

For the proof it is convenient to define the Banach space
$\mathcal{H}^{+}_{p}(\lambda)$ of all $\lambda$-Dirichlet series such that
$\|D\|_{\mathcal{H}^{+}_{p}(\lambda)}:=\sup_{z\in[Re>0]}\|D_{z}\|_{p}<\infty$,
and then the preceding equivalence in short tells that
$\mathcal{H}_{p}(\lambda)=\mathcal{H}^{+}_{p}(\lambda)$ holds isometrically.

We show each of the implications of the preceding theorem separately. The ’if
part’ is based on a lemma which relates horizontal translations of Dirichlet
series $D\in\mathcal{H}_{p}(\lambda)$ (i.e. the Dirichlet coefficients of $D$
are Fourier coefficients of a function $f\in H_{p}^{\lambda}(G)$) with the
convolution of $f$ with the Poisson measure $p_{u}$ on $G$ (see Lemma 3.12).

######  Lemma 4.8.

Let $(G,\beta)$ be a $\lambda$-Dirichlet group and $1\leq p\leq\infty$.
Moreover, let $f\in H_{p}^{\lambda}(G)$ and $D\in\mathcal{H}_{p}(\lambda)$
with $\mathcal{B}(f)=D$. Then for each $u>0$, we have that $p_{u}*f\in
H_{p}^{\lambda}(G)$, $D_{u}\in\mathcal{H}_{p}(\lambda)$ with
$\mathcal{B}(p_{u}*f)=D_{u}$, and $\lim_{u\to 0}D_{u}=D$ in
$\mathcal{H}_{p}(\lambda)$ (for $p=\infty$ with respect to the weak star
topology generated by the duality of $L_{\infty}(G)$ and $L_{1}(G)$).

###### Proof.

Since
$\widehat{p_{u}*f}(h_{x})=\widehat{p_{u}}(h_{x})\widehat{f}(h_{x})=e^{-u|x|}\widehat{f}(h_{x})$
for all $x\in\widehat{\beta}(\widehat{G})$, we have $p_{u}*f\in
H_{p}^{\lambda}(G)$ with $\|p_{u}*f\|_{p}\leq\|f\|_{p}$, and also
$\mathcal{B}(p_{u}*f)=D_{u}$. For the second statement notice that $\lim_{u\to
0}p_{u}*f=f$, where the limit for $1\leq p<\infty$ is taken in $L_{p}(G)$, and
for $p=\infty$ in the weak star topology (check for polynomials, then use
density). ∎

###### Proof of the ’if part’ of Theorem 4.7.

Proposition 4.3 implies that $\|D_{it}\|_{p}=\|D\|_{p}$ (choose
$\omega=\beta(t)$). Then together with Lemma 4.8

$\sup_{z\in[Re>0]}\|D_{z}\|_{p}=\sup_{u>0}\|D_{u}\|_{p}=\|D\|_{p}\,.\qed$

For the proof of the ’only if’ part of Theorem 4.7 we follow an idea which was
invented in [10]. Given a Banach space $X$, we denote by
$\mathcal{D}_{\infty}(\lambda,X)$ the space of all $\lambda$-Dirichlet series
$D=\sum a_{n}e^{-\lambda_{n}s}$, which have coefficients $a_{n}\in X$ and
which converge and define a bounded (and then necessarily holomorphic)
function on $[Re>0]$ with values in $X$. Together with the supremum norm this
gives a Banach space provided $\mathcal{D}_{\infty}(\lambda)$ is complete (see
[12]).

######  Lemma 4.9.

Let $1\leq p<\infty$, and assume that $\mathcal{D}_{\infty}(\lambda)$ is
complete. Then the map

$\Phi\colon\mathcal{H}_{p}(\lambda)\hookrightarrow\mathcal{D}_{\infty}(\lambda,\mathcal{H}_{p}(\lambda)),\leavevmode\nobreak\
\leavevmode\nobreak\ \sum
a_{n}e^{-\lambda_{n}s}\mapsto\sum\left(a_{n}e^{-\lambda_{n}s}\right)e^{-\lambda_{n}z}$

is an into isometry.

In the ordinary case this was proved in [10, Theorem 2.4] (see also [9,
Section 11.3]), and substituting $\mathbb{T}^{\infty}$ by any
$\lambda$-Dirichlet group $(G.\beta)$ our proof follows the same strategy.

###### Proof.

We consider a $\lambda$-Dirichlet polynomial
$D=\sum_{n=1}^{N}a_{n}e^{-\lambda_{n}s}$. Then, by the ’if part’ of Theorem
4.7, the map

$F\colon[Re>0]\to\mathcal{H}_{p}(\lambda),\leavevmode\nobreak\
\leavevmode\nobreak\
z\mapsto\sum_{n=1}^{N}a_{n}e^{-\lambda_{n}z}e^{-\lambda_{n}s}$

is holomorphic and $\|F\|_{\infty}=\|D\|_{p}$. Hence $\Phi$, defined as above
on polynomials only, is isometric. Let $\Phi$ be the unique extension of this
isometry to all of $\mathcal{H}_{p}(\lambda)$ (Theorem 3.26). We claim that
this is the map $\Phi$ from the lemma. Indeed, given
$D\in\mathcal{H}_{p}(\lambda)$, let $(D^{N})_{N}$ be a sequence of Dirichlet
polynomials which in $\mathcal{H}_{p}(\lambda)$ converges to $D$. We write
$\Phi(D)=\sum b_{n}e^{-\lambda_{n}z}$, where
$b_{n}\in\mathcal{H}_{p}(\lambda)$. Then the continuity of $\Phi$ implies
$b_{n}=\lim_{N}a_{n}(\Phi(D^{N}))=\lim_{N}a_{n}(D^{N})e^{-\lambda_{n}s}=a_{n}(D)e^{-\lambda_{n}s},$
the conclusion. ∎

Now we are prepared for the

###### Proof of the ’only if’ part of Theorem 4.7.

Let $D=\sum a_{n}e^{-\lambda_{n}s}\in\mathcal{H}_{p}^{+}(\lambda)$, i.e.
$D_{\varepsilon}\in\mathcal{H}_{p}(\lambda)$ for all $\varepsilon>0$ and
$\sup_{\varepsilon>0}\|D_{\varepsilon}\|_{p}=\|D\|_{\mathcal{H}_{p}^{+}(\lambda)}<\infty$.
Hence by Lemma 4.9 the maps

$F_{\varepsilon}(D)(z):=\Phi(D_{\varepsilon})(z)=\sum\left(a_{n}e^{-\varepsilon\lambda_{n}}e^{-\lambda_{n}s}\right)e^{-\lambda_{n}z}\colon[Re>0]\to\mathcal{H}_{p}(\lambda)$

are holomorphic for all $\varepsilon>0$, and bounded uniformly in
$\varepsilon$ by $\|D\|_{\mathcal{H}_{p}^{+}(\lambda)}$. Now the function

$F(z):=\sum
a_{n}e^{-\lambda_{n}s}e^{-\lambda_{n}z}\colon[Re>0]\to\mathcal{H}_{p}(\lambda)$

is holomorphic and bounded. Let
$\varphi(z):=\frac{1+z}{1-z}\colon\mathbb{D}\to[Re>0]$ be the Cayley
transformation (with inverse $\varphi^{-1}(s)=\frac{s-1}{s+1}$), and consider
the function $f:=F\circ\varphi\colon\mathbb{D}\to\mathcal{H}_{p}(\lambda)$.
Then $\lim_{\varepsilon\to
0}\varphi^{-1}(\varepsilon+it)=\frac{it-1}{it+1}=:w\in\mathbb{T}$ and as a
matter of fact the so called Stolz region
$S(\alpha,w):=\\{z\in\mathbb{D}\mid|z-w|<\alpha(1-|z|)\\}$ for any $\alpha>1$
contains the set $\\{\varphi^{-1}(\varepsilon+it)\mid
0<\varepsilon<\varepsilon_{0}\\}$ for some $\varepsilon_{0}>0$ (see [9,
§11.4]). Since $\mathcal{H}_{p}(\lambda)$, being a closed subspace of some
$L_{p}(G)$, has the analytic Radon-Nikodym property, the limits
$\lim_{S(\alpha,w)\ni z\to\frac{it-1}{it+1}}f(z)$ exists for almost all
$t\in\mathbb{R}$. But then

$\lim_{\varepsilon\to 0}F(\varepsilon+it)=\lim_{S(\alpha,w)\ni
z\to\frac{it-1}{it+1}}f(z)$

exists in $\mathcal{H}_{p}(\lambda)$ for almost all $t\in\mathbb{R}$ and
equals $D_{it}$ (since the Dirichlet coefficients of $F(\varepsilon+it)$ are
given by $(a_{n}(D)e^{-\lambda_{n}(\varepsilon+it)})$). Now Proposition 4.3
(applied to some admissible $\omega:=\beta(t)$) gives
$D\in\mathcal{H}_{p}(\lambda)$. ∎

###  4.3. $\boldsymbol{\mathcal{D}_{\infty}(\lambda)}$ equals
$\boldsymbol{\mathcal{H}_{\infty}(\lambda)}$

As already mentioned, there are now two ‘$H_{\infty}$-spaces of
$\lambda$-Dirichlet series’ around, namely $\mathcal{D}_{\infty}(\lambda)$ and
$\mathcal{H}_{\infty}(\lambda)$. Note that by [26] there are frequencies
$\lambda$ such that $\mathcal{D}_{\infty}(\lambda)$ is not complete, hence in
these cases $\mathcal{D}_{\infty}(\lambda)\neq\mathcal{H}_{\infty}(\lambda)$.
In this subsection we show that both spaces coincide isometrically for
$\lambda$’s satisfying
$\mathcal{D}^{ext}_{\infty}(\lambda)=\mathcal{D}_{\infty}(\lambda)$ and
$L(\lambda)<\infty$. See Theorem 2.2 as well as Theorem 2.3 for ’testable’
sufficient conditions on this.

######  Theorem 4.10.

Let $(G,\beta)$ be a $\lambda$-Dirichlet group, and $\lambda$ a frequency.
Then there is an injective contraction map

(14) $\Psi\colon\mathcal{D}^{ext}_{\infty}(\lambda)\to
H^{\lambda}_{\infty}(G),\leavevmode\nobreak\ \leavevmode\nobreak\ D\mapsto f$

such that $a_{n}(D)=\widehat{f}(h_{\lambda_{n}})$ for all $n\in\mathbb{N}$.

An interesting by-product of Theorem 4.10 is that under no additional further
assumptions on the frequency $\lambda$, each Dirichlet series
$D\in\mathcal{D}_{\infty}(\lambda)$ has Dirichlet coefficients which are
Fourier coefficients of an $L_{\infty}$-function on a compact abelian group
(e.g. the Bohr compactification of $\mathbb{R}$). Hence the following
corollary is an immediate consequence of Parseval’s equality.

######  Corollary 4.11.

Let $D\in\mathcal{D}^{ext}_{\infty}(\lambda)$ with Dirichlet coefficients
$(a_{n})_{n}$. Then

$\left(\sum_{n=1}^{\infty}|a_{n}|^{2}\right)^{\frac{1}{2}}\leq\|D\|_{\infty}.$

In view of Theorem 2.2 the following results collects a couple of sufficient
conditions under which $\mathcal{D}_{\infty}(\lambda)$ and
$\mathcal{H}_{\infty}(\lambda)$ even coincide isometrically.

######  Theorem 4.12.

Let $(G,\beta)$ be a $\lambda$-Dirichlet group, and assume that
$L(\lambda)<\infty$ and that
$\mathcal{D}^{ext}_{\infty}(\lambda)=\mathcal{D}_{\infty}(\lambda)$. Then the
mapping $\Psi$ from Theorem 4.10 is an onto isometry and its inverse is given
by the Bohr map

(15) $\mathcal{B}\colon
H_{\infty}^{\lambda}(G)\to\mathcal{D}_{\infty}(\lambda),\leavevmode\nobreak\
\leavevmode\nobreak\
f\mapsto\sum\widehat{f}(h_{\lambda_{n}})e^{-\lambda_{n}s}.$

In particular, $\mathcal{D}_{\infty}(\lambda)=\mathcal{H}_{\infty}(\lambda)$
isometrically.

For polynomials the proof of the desired norm equality is rather easy. Since
$\beta(\mathbb{R})$ is dense in $G$, a standard distinguished maximum modulus
principle gives the following

######  Lemma 4.13.

Let $(G,\beta)$ be a Dirichlet group. Then for all $a_{1},\ldots
a_{N}\in\mathbb{C}$ and $\lambda_{1},\ldots,\lambda_{N}\in\mathbb{R}_{\geq 0}$

$\sup_{\text{Re}\,s>0}\bigg{|}\sum_{n=1}^{N}a_{n}e^{-s\lambda_{n}}\bigg{|}=\sup_{t\in\mathbb{R}}\bigg{|}\sum_{n=1}^{N}a_{n}e^{-it\lambda_{n}}\bigg{|}=\sup_{\omega\in
G}\bigg{|}\sum_{n=1}^{N}a_{n}\omega(\lambda_{n})\bigg{|}.$

This gives the desired isometry between $(Pol(\lambda),\|\cdot\|_{\infty})$
and $(Pol_{\lambda}(G),\|\cdot\|_{\infty})$. We have to prove that statement
beyond polynomials.

###### Proof of Theorem 4.10.

Let $D=\sum a_{n}e^{-\lambda_{n}s}\in\mathcal{D}^{ext}_{\infty}(\lambda)$ with
extension $F$, and consider for $x,\sigma>0$ the polynomials

$R_{x}^{\sigma}(\omega):=R_{x}(D_{\sigma})(\omega)=\sum_{\lambda_{n}<x}a_{n}\left(1-\frac{\lambda_{n}}{x}\right)e^{-\sigma\lambda_{n}}\omega(\lambda_{n})$

from Theorem 2.4 which are associated to $D_{\sigma}$. Then by Lemma 4.13 the
net $(R_{x}^{\sigma})_{x}$ for each $\sigma$ forms a Cauchy net in
$H_{\infty}^{\lambda}(G)$ with limit, say $f_{\sigma}$. Moreover, for all
$n,\sigma$

$\widehat{f_{\sigma}}(h_{\lambda_{n}})=\lim_{x\to\infty}\widehat{R_{x}^{\sigma}}(h_{\lambda_{n}})=a_{n}e^{-\sigma\lambda_{n}}\,,$

and

$\|f_{\sigma}\|_{\infty}=\lim_{x\to\infty}\|P^{\sigma}_{x}\|_{\infty}=\|D_{\sigma}\|_{\infty}\leq\|F\|_{\infty}.$

Now recall that the unit ball of $L_{\infty}(G)$ together with its weak star
topology is metrizable and compact (by the Alaoglu-Bourbarki theorem and the
fact that $L_{1}(G)$ is separable). Hence, $(f_{1/n})_{n}$ has a weak star
convergent subsequence $(f_{1/n_{k}})_{k}$ with limit $f\in L_{\infty}(G)$,
$\|f\|_{\infty}\leq\|D\|_{\infty}$. Then for each $n$

$a_{n}=\lim_{k}a_{n}e^{-\frac{1}{n_{k}}\lambda_{n}}=\lim_{k}\int_{\overline{\mathbb{R}}}f_{\frac{1}{n_{k}}}(w)\overline{h_{\lambda_{n}}(w)}dw=\widehat{f}(h_{\lambda_{n}})\,,$

and moreover for each $x\notin(\lambda_{n})_{n}$

$\widehat{f}(h_{x})=\lim_{k}\int_{\overline{\mathbb{R}}}f_{\frac{1}{n_{k}}}(w)\overline{h_{x}}(w)dw=0,$

since $f_{\frac{1}{n_{k}}}\in H_{\infty}^{\lambda}(G)$. Hence $f\in
H_{\infty}^{\lambda}(G)$ and $\Psi(D)=f$ . ∎

The proof of Theorem 4.12 needs more preparation, and will be given after the
following result inspired by the work of Helson from [16].

######  Lemma 4.14.

Let $(G,\beta)$ be a $\lambda$-Dirichlet group and $L(\lambda)<\infty$. For
$f\in H_{\infty}^{\lambda}(G)$ consider the Dirichlet series $D=\sum
a_{n}e^{-\lambda_{n}s}$, where $a_{n}:=\widehat{f}(h_{\lambda_{n}})$ for
$n\in\mathbb{N}$. Then $D^{\omega}\in\mathcal{D}^{ext}_{\infty}(\lambda)$ for
almost all $\omega\in G$, and moreover

$f_{\omega}*P_{u}(t)=D^{\omega}(u+it)$

for almost all $\omega\in G$ and for all
$u+it\in[Re>\max\\{0,\sigma_{c}(D^{\omega})\\}]$ .

###### Proof.

Since $L(\lambda)<\infty$ and $(a_{n})_{n}$ is bounded, we have that
$\sigma_{a}(D^{\omega})\leq L(\lambda)<\infty$ for all $\omega\in G$. We
already know from Proposition 3.22 that there is a null set $N\subset G$ such
for all $\omega\notin N$ the function

$F_{\omega}\colon[Re>0]\to\mathbb{C}\,,\,\,F_{\omega}(u+it):=(f_{\omega}*P_{u})(t)$

is holomorphic and bounded by $\|f\|_{\infty}$. On the other side $D^{\omega}$
defines a holomorphic function on $[Re>\sigma_{c}(D^{\omega})]$ for all
$\omega\in G$. So it suffices to verify that there is some null set $M\subset
G$ which contains $N$ and is such that $F_{\omega}=D^{\omega}$ on $[Re=u]$ for
all $u>\max\\{0,\sigma_{c}(D^{\omega})\\}$ and $\omega\notin M$. Let
$u:=L(\lambda)+1$ (note that $L(\lambda)=0$ is possible) and as in the proof
of Proposition 3.22 we find a sequence $(N_{k})$ in $\mathbb{N}$ and a null
set $N_{u}\subset G$ such that for all $\omega\notin N\cup N_{u}$ we have
$\lim_{k\to\infty}\frac{f^{N_{k}}_{\omega}*P_{u}}{u+i\cdot}=\frac{f_{\omega}*P_{u}}{u+i\cdot}$
in $L_{2}(\mathbb{R})$. Hence for every $\omega\notin N\cup N_{u}$ there is a
subsequence $(N_{k_{j}})_{j}$ such that for almost all $t\in\mathbb{R}$

$D^{\omega}(u+it)=\lim_{j\to\infty}\sum_{n=1}^{N_{k_{j}}}a_{n}\omega(\lambda_{n})e^{-u\lambda_{n}}e^{-\lambda_{n}it}=f_{\omega}*P_{u}(t)=F_{\omega}(u+it)\,.$

But for $\omega\notin N\cup N_{u}$ both functions $D^{\omega}$ and
$F_{\omega}$ are continuous on $[Re=u]$, and so with $M:=N\cup N_{u}$ we have
$D^{\omega}=F_{\omega}$ on $[Re=L(\lambda)+1]$ for all $\omega\notin M$.
Finally, the identity principle from complex analysis implies that
$D^{\omega}=F_{\omega}$ on $[Re>\max\\{0,\sigma_{c}(D^{\omega})\\}]$ for all
$\omega\notin M$. ∎

We obtain as an immediate consequence the following variant of an important
theorem on general $\lambda$-Dirichlet series in $\mathcal{H}_{2}(\lambda)$
due to Helson from [18].

######  Theorem 4.15.

Assume that $L(\lambda)<\infty$ and
$\mathcal{D}^{ext}_{\infty}(\lambda)=\mathcal{D}_{\infty}(\lambda)$, and let
$D\in\mathcal{H}_{\infty}(\lambda)$. Then for all $\lambda$-Dirichlet groups
$(G,\beta)$ and for almost all $\omega\in G$ the vertical limits $D^{\omega}$
converge on $[Re>0]$.

Moreover, if $f\in H_{\infty}^{\lambda}(G)$ in view of Bohr’s map
$\mathcal{B}$ corresponds to $D$, then for almost all $\omega\in G$ and all
$u+it\in[Re>0]$

(16) $P_{u}*f_{\omega}(t)=D^{\omega}(u+it).$

In [11] we extend Theorem 4.15 to $\mathcal{H}_{p}(\lambda)$, $1\leq
p<\infty$, adding the relevant maximal inequality.

Finally, we close the circle and prove

###### Proof of Theorem 4.12.

Take $f\in H_{\infty}^{\lambda}(G)$, and let
$D\in\mathcal{H}_{\infty}(\lambda)$ be the associated $\lambda$-Dirichlet
series under the Bohr map $\mathcal{B}$. From Theorem 4.15 we know that there
is some $\omega\in G$ such that $D_{\omega}\in\mathcal{D}_{\infty}(\lambda)$
with $\|D_{\omega}\|_{\infty}\leq\|f\|_{\infty}$. Then, applying Proposition
4.5 with $\omega^{-1}$, we obtain $D\in\mathcal{D}_{\infty}(\lambda)$ and
$\|D\|_{\infty}\leq\|f\|_{\infty}$. ∎

###  4.4. Schauder basis

It is known that $(n^{-s})$ is a Schauder basis for $\mathcal{H}_{p}(\log(n))$
in the range $1<p<\infty$ (see [1]). This result extends to arbitrary
frequencies $\lambda$.

######  Theorem 4.16.

Let $1<p<\infty$ and $\lambda$ be a frequency. Then the monomials
$(e^{-\lambda_{n}s})$ form a Schauder basis for $\mathcal{H}_{p}(\lambda)$.

###### Proof.

Let $(G,\beta)$ be any $\lambda$-Dirichlet group. We then claim that
$(h_{\lambda_{n}})$ is a Schauder basis for $H^{\lambda}_{p}(G)$. By
Proposition 3.14 it suffices to verify, that there is a constant $C\geq 1$,
such that for all $m>n$ and for all $a_{1},\dotsc,a_{m}\in\mathbb{C}$

$\Big{\|}\sum_{n=1}^{n}a_{k}h_{\lambda_{k}}\Big{\|}_{p}\leq
C\Big{\|}\sum_{n=1}^{m}a_{k}h_{\lambda_{k}}\Big{\|}_{p}.$

By Proposition 3.3 there is a natural order on $\widehat{G}$: We call a
character $h_{x},x\in\widehat{\beta}(\widehat{G}),$ positive if $x\geq 0$.
Then the ’Riesz projection’

$\Phi\left(\sum a_{k}h_{x_{k}}\right):=\sum_{x_{k}\geq 0}a_{k}h_{x_{k}}$

is bounded on $Pol(G)\subset L_{p}(G)$ with norm $C=C(p)>0$ (see [25, Theorem
8.7.2.], here connectedness of $G$ is needed), and hence for $m>n$ and each
$f:=\sum_{k=1}^{m}a_{k}h_{\lambda_{k}}\in Pol_{\lambda}(G)$ we as desired have

$\displaystyle\Big{\|}\sum_{k=1}^{n}a_{k}h_{\lambda_{k}}\Big{\|}_{p}$
$\displaystyle\leq\Big{\|}\sum_{k=1}^{m}a_{k}h_{\lambda_{k}}\Big{\|}_{p}+\Big{\|}\sum_{k=n+1}^{m}a_{k}h_{\lambda_{k}}\Big{\|}_{p}$
$\displaystyle=\Big{\|}\sum_{k=1}^{m}a_{k}h_{\lambda_{k}}\Big{\|}_{p}+\Big{\|}h_{\lambda_{n+1}}\Phi\left(h_{-\lambda_{n+1}}\sum_{k=1}^{m}a_{k}h_{\lambda_{k}}\right)\Big{\|}_{p}$
$\displaystyle\leq(1+C)\Big{\|}\sum_{k=1}^{m}a_{k}h_{\lambda_{k}}\Big{\|}_{p}.\qed$

An equivalent formulation of Theorem 4.16 is that for $1<p<\infty$ all
projections

$\pi^{N}_{p}:\mathcal{H}_{p}(\lambda)\to\mathcal{H}_{p}(\lambda),\,\,\sum
a_{n}e^{-\lambda_{n}s}\mapsto\sum_{n=1}^{N}a_{n}e^{-\lambda_{n}s}$

are uniformly bounded. But for the border cases $p=1$ and $p=\infty$ this in
general is false (e.g., for the frequencies $\lambda=(\log n)$ or
$\lambda=(n)$). We give an upper bound for the growth of the partial sum
operators in $\mathcal{H}_{1}(\lambda)$; thereby the quality of the upper
bounds depends on the quality of $\lambda$.

######  Proposition 4.17.

Let $\lambda$ be a frequency and $p=1$ or $\infty$. Assuming $(BC)$ for
$\lambda$ there is a constant $C=C(\lambda)$ such that for all $N$

$\|\pi^{N}_{p}:\mathcal{H}_{p}(\lambda)\to\mathcal{H}_{p}(\lambda)\|\leq
C\lambda_{N}\,,$

and, assuming $(LC)$ and $L(\lambda)<\infty$, for every $\delta$ there is a
constant $C_{1}=C_{1}(\delta,\lambda)$ such that for all $N$

$\|\pi^{N}_{p}:\mathcal{H}_{p}(\lambda)\to\mathcal{H}_{p}(\lambda)\|\leq
C_{1}e^{\delta\lambda_{N}}\,.$

The case $p=\infty$ follows from a careful analysis of results due to Bohr [6]
and Landau [22], and this was done in [26, §3]. The case $p=1$, in a sense,
reduces to the case $p=\infty$, and in the following we sketch this argument.

######  Remark 4.18.

Given a Banach space $X$, a straightforward Hahn-Banach argument shows that
for $p=\infty$ Proposition 4.17 transfers to
$\mathcal{D}_{\infty}(\lambda,X)$, i.e. under the assumptions of (BC) or [(LC)
and $L(\lambda)<\infty$], the projection on $\mathcal{D}_{\infty}(\lambda,X)$
which assigns to each $D$ its $N$th partial sum, is bounded by a universal
constant times $\lambda_{N}$ and $e^{\delta\lambda_{N}}$, respectively.

###### Proof of Proposition 4.17.

Together with Lemma 4.9 and Remark 4.18 we obtain assuming $(BC)$ that for all
$D\in\mathcal{H}_{p}(\lambda)$

$\left\|\sum_{n=1}^{N}a_{n}e^{-\lambda_{n}s}\right\|_{1}=\sup_{\text{Re}z>0}\left\|\sum_{n=1}^{N}\left(a_{n}e^{-\lambda_{n}\cdot}\right)e^{-\lambda_{n}z}\right\|_{\infty}\leq
C\lambda_{N}\|D\|_{1}\,.$

Under the assumption[(LC) and $L(\lambda)<\infty$] the result follows
similarly. ∎

###  4.5. Montel theorem

Bayart proved in [3, Lemma 18] that for every bounded sequence
$(D^{N})_{N}\subset\mathcal{D}_{\infty}((\log n))$ there is a subsequence
$(D^{N_{k}})_{k}$ and some $D\in\mathcal{D}_{\infty}((\log n))$ such that
$(D^{N_{k}})_{k}$ converges to $D$ on $[Re>\varepsilon]$ for all
$\varepsilon>0$. In [26, §4.4] we extend this Montel type theorem to
$\mathcal{D}_{\infty}(\lambda)$. Here, using Lemma 4.9, we transport this
result to $\mathcal{H}_{p}(\lambda)$.

######  Theorem 4.19.

Assume that $\lambda$ satisfies $L(\lambda)=0$, or [(LC) and
$L(\lambda)<\infty$], or is $\mathbb{Q}$-linearly independent. Given $1\leq
p\leq\infty$, let $(D^{N})_{N}\subset\mathcal{H}_{p}(\lambda)$ be a bounded
sequence. Then there is a subsequence $(D^{N_{k}})_{k}$ and some
$D\in\mathcal{H}_{p}(\lambda)$ such that the translations
$D^{N_{k}}_{\varepsilon}$ converge to $D$ in $\mathcal{H}_{p}(\lambda)$ for
all $\varepsilon>0$.

###### Proof.

We give a proof under the assumption that $\lambda$ satisfies
$L(\lambda)<\infty$ and $(LC)$. Let us write $D^{N}(s)=\sum
a_{n}^{N}e^{-\lambda_{n}s}$. Then by Lemma 4.9 the Dirichlet series
$\Phi(D^{N})\in\mathcal{D}_{\infty}(\lambda,\mathcal{H}_{p}(\lambda))$ have
the coefficients $a^{N}_{n}e^{-\lambda_{n}s}\in\mathcal{H}_{p}(\lambda)$ and
so
$|a_{n}^{N}|=\|a_{n}^{N}e^{-\lambda_{n}s}\|_{p}\leq\|\Phi(D^{N})\|_{\infty}\leq\sup_{M\in\mathbb{N}}\|D^{M}\|_{p}:=C<\infty$
for all $n,N$. Hence by a diagonal process there is a subsequence $(N_{k})$
such the limits $\lim_{k\to\infty}a_{n}^{N_{k}}=:a_{n}$ exist for all $n$. We
define $D:=\sum a_{n}e^{-\lambda_{n}s}$ and claim that
$D\in\mathcal{H}_{p}(\lambda)$ and that
$\lim_{k\to\infty}D_{\varepsilon}^{N_{k}}=D_{\varepsilon}$ in
$\mathcal{H}_{p}(\lambda)$ for all $\varepsilon>0$. By Lemma 4.9 and Theorem
4.16 ($1<p<\infty$) as well as Proposition 4.17 ($p=1$ or $\infty$) for all
$\delta>0$ there is $C_{1}=C_{1}(\delta,\lambda)$ such that for all $n,k$

$\sup_{z\in[Re>0]}\left\|\sum_{j=1}^{n}a_{j}^{N_{k}}e^{-\lambda_{j}s}e^{-\lambda_{j}z}\right\|_{p}=\left\|\sum_{j=1}^{n}a_{j}^{N_{k}}e^{-\lambda_{j}s}\right\|_{p}\leq
C_{1}e^{\delta\lambda_{n}}\|D^{N_{k}}\|_{p}\leq C_{1}e^{\delta\lambda_{n}}C.$

Then the Bohr-Cahen formula for sequences of Dirichlet series from [26,
Proposition 2.4.] (for vector valued Dirichlet series the formula follows as
in the scalar case replacing the absolute value by the norm) implies that
$E(z):=\sum a_{n}e^{-\lambda_{n}s}e^{-\lambda_{n}z}$ converges on $[Re>0]$ and
that $\Phi(D^{N_{k}})$ converges to $E$ uniformly on $[Re>\varepsilon]$ for
all $\varepsilon>0$. Hence
$E\in\mathcal{D}_{\infty}(\lambda,\mathcal{H}_{p}(\lambda))$. Since
$\Phi(D^{N_{k}}_{\varepsilon})(z)=\Phi(D^{N_{k}})(\varepsilon+z)$ on $[Re>0]$,
this implies, again using Lemma 4.9, that $(D^{N_{k}}_{\varepsilon})_{k}$ is
Cauchy in $\mathcal{H}_{p}(\lambda)$ with limit
$D_{\varepsilon}\in\mathcal{H}_{p}(\lambda)$ and $\|D_{\varepsilon}\|_{p}\leq
C$ for all $\varepsilon>0$. Hence by Theorem 4.7 we have as desired that
$D\in\mathcal{H}_{p}(\lambda)$ and
$\lim_{k\to\infty}D_{\varepsilon}^{N_{k}}=D_{\varepsilon}$ in
$\mathcal{H}_{p}(\lambda)$ for all $\varepsilon>0$. The remaining cases
($\lambda$ satisfies $L(\lambda)=0$ or is $\mathbb{Q}$-linearly independent)
follow with the same strategy using the corresponding quantitative version of
Bohr’s theorem from [26]. ∎

As an immediate consequence we state the counterpart in $H_{p}^{\lambda}(G)$.

######  Corollary 4.20.

Assume that $\lambda$ satisfies the assumptions of Theorem 4.19, and $1\leq
p\leq\infty$. Then for every bounded sequence $(f^{N})_{N}\subset
H_{p}^{\lambda}(G)$ there are a subsequence $(f^{N_{k}})_{k}$ and a function
$f\in H_{p}^{\lambda}(G)$ such that $p_{\sigma}*f^{N_{k}}$ converges to
$p_{\sigma}*f$ for all $\sigma>0$.

###  4.6. $N$th Abschnitte

As already mentioned the ’ordinary’ $\mathcal{H}_{\infty}$ isometrically
equals $H_{\infty}(B_{c_{0}})$, identifying Dirichlet and monomial
coefficients. A cruicial argument in the proof of this result (see [9, §2.3])
is that a continuous function $f\colon B_{c_{0}}\to\mathbb{C}$ belongs to
$H_{\infty}(B_{c_{0}})$ if and only if all restriction maps
$f_{N}\colon\mathbb{D}^{N}\to\mathbb{C}$ belong to
$H_{\infty}(\mathbb{D}^{N})$ with $\sup_{N}\|f_{N}\|_{\infty}<\infty$.

Formulated for ordinary Dirichlet series this says that $D=\sum
a_{n}n^{-s}\in\mathcal{H}_{\infty}$ if and only if all of its so-called $N$-th
abschnitte $D|_{N}=\sum a_{n}n^{-s}\,,$ where the sum is taken over those $n$
which have only the first $N$ primes as divisors, belong to
$\mathcal{H}_{\infty}$ with uniformly bounded norms. In more vague terms,
$D\in\mathcal{H}_{\infty}$ if and only if all its finite dimensional blocks
are in $\mathcal{H}_{\infty}$ with uniformly bounded norms.

This phenomenon is also true for general Dirichlet series. If $\lambda$ is a
frequency with decomposition $(R,B)$, then the $N$-th abschnitt $D|_{N}$ of a
$\lambda$-Dirichlet series $D$ is $\sum a_{n}(D)e^{-\lambda_{n}s}$, where
$a_{n}(D)\neq 0$ implies that
$\lambda_{n}\in\operatorname{span}_{\mathbb{Q}}(b_{1},\ldots,b_{N}).$ Looking
at the identification
$\mathcal{H}_{p}(\lambda)=H_{p}^{R}(\widehat{\mathbb{Q}_{d}}^{\infty}),D\mapsto
F$, given in Theorem 3.28, this restriction $D|_{N}$ simply corresponds to

$F|_{N}\colon\widehat{\mathbb{Q}_{d}}^{N}\to\mathbb{C}\,,\,\,\,F|_{N}(\omega):=\int_{\widehat{\mathbb{Q}_{d}}^{\infty}}F(\omega,\eta)dm(\eta)\,,$

the ‘restriction’ of $F$ to the first $N$ variables. Then an application of
Hölder’s inequality gives $\|F|_{N}\|_{p}\leq\|F\|_{p}$, and so (again by
Theorem 3.28) $\|D|_{N}\|_{p}\leq\|D\|_{p}$.

######  Remark 4.21.

Let $\lambda=(R,B)$, $1\leq p\leq\infty$ and $D\in\mathcal{H}_{p}(\lambda)$.
Then $D|_{N}\in\mathcal{H}_{p}(\lambda)$ with $\|D|_{N}\|_{p}\leq\|D\|_{p}$
for all $N\in\mathbb{N}$.

######  Theorem 4.22.

Assume that $1\leq p\leq\infty$, $\lambda=(R,B)$ is a frequency satisfying one
of the conditions of Theorem 4.19, and $D$ a $\lambda$-Dirichlet series. Then
$D\in\mathcal{H}_{p}(\lambda)$ if and only if
$D|_{N}\in\mathcal{H}_{p}(\lambda)$ for all $N$ and
$\sup_{N}\|D|_{N}\|_{p}<\infty$. Moreover, in this case
$\|D\|_{p}=\sup\|D|_{N}\|_{p}.$

Together with Theorem 4.12 we obtain as an immediate consequence the following

######  Corollary 4.23.

Assume that $\lambda=(R,B)$ satisfies one of the conditions of Theorem 4.19,
and $D$ is a $\lambda$-Dirichlet series. Then
$D\in\mathcal{D}_{\infty}(\lambda)$ if and only if
$D|_{N}\in\mathcal{D}_{\infty}(\lambda)$ for all $N$ and
$\sup_{N}\|D|_{N}\|_{\infty}<\infty$. Moreover, in this case
$\|D\|_{\infty}=\sup_{N\in\mathbb{N}}\|D|_{N}\|_{\infty}.$

In view of the definition of the $\mathcal{H}_{p}(\lambda)$’s from 3.23 we may
reformulate Theorem 4.22 in terms of Hardy spaces on $\lambda$-Dirichlet
groups.

######  Theorem 4.24.

Let $\lambda=(R,B)$ be a frequency satisfying one of the condition of Theorem
4.19, $(G,\beta)$ a $\lambda$-Dirichlet group, and $1\leq p\leq\infty$. Then
for every sequence $(a_{n})_{n}$ in $\mathbb{C}$ the following are equivalent:

  1. (1)

$\exists\leavevmode\nobreak\ f\in
H_{p}^{\lambda}(G)\,\,\forall\leavevmode\nobreak\
n\in\mathbb{N}:\leavevmode\nobreak\ \widehat{f}(h_{\lambda_{n}})=a_{n}$

  2. (2)

$\forall N\in\mathbb{N}\leavevmode\nobreak\ \exists f_{N}\in
H_{p}^{\lambda}(G):$

$\widehat{f_{N}}(h_{\lambda_{n}})=\begin{cases}a_{n}&\text{if
}\lambda_{n}\in\operatorname{span}_{\mathbb{Q}}(b_{1},\ldots,b_{N}),\\\
0&\text{else}\end{cases}$

and $\sup_{N\in\mathbb{N}}\|f_{N}\|_{p}<\infty$.

Moreover, in this case $\|f\|_{p}=\sup_{N\in\mathbb{N}}\|f_{N}\|_{p}$.

###### Proof.

Although the implication $(1)\Rightarrow(2)$ already follows from Remark 4.21,
we like to give another argument of different flavour. For each $N$ we
consider the subgroup

$U_{N}:=\operatorname{span}_{\mathbb{Q}}(b_{1},\ldots,b_{N})\cap\widehat{G}\subset\widehat{G}\,,$

and take, according to Lemma 3.16, some $\mu_{N}\in M(G)$ with $\|\mu_{N}\|=1$
such that $\widehat{\mu_{N}}=\chi_{U_{N}}$. Then the functions
$f_{N}:=f*\mu_{N}\in H_{p}^{\lambda}(G)$ fulfill the claim.

It remains to prove that $(2)\Rightarrow(1)$: Let us start with the case
$p=1$. Denote by $D^{N}$ those Dirichlet series which correspond to the
functions $f_{N}$. Then by Theorem 4.19 there is
$D\in\mathcal{H}_{1}(\lambda)$ and a subsequence $(D^{N_{k}})$ such that
$D^{N_{k}}_{\varepsilon}\to D_{\varepsilon}$ in $\mathcal{H}_{1}(\lambda)$ for
all $\varepsilon>0$. Then $f:=\mathcal{B}(D)$ has the right Fourier
coefficients and by Theorem 4.7

$\displaystyle\|f\|_{1}=\|D\|_{1}$
$\displaystyle=\sup_{\varepsilon>0}\|D_{\varepsilon}\|_{1}\leq\sup_{\varepsilon>0}\sup_{N}\|D^{N}_{\varepsilon}\|_{1}$
$\displaystyle=\sup_{N}\sup_{\varepsilon>0}\|D^{N}_{\varepsilon}\|_{1}=\sup_{N}\|D^{N}\|_{1}=\sup_{N}\|f_{N}\|_{1}.$

In the case $1<p\leq\infty$ the sequence $(f_{N})_{N}$ is bounded, and hence
weakly bounded in $L_{p^{\prime}}(G)$. Then by the Alaoglu-Bourbaki theorem
there is $f\in H_{p}^{\lambda}(G)$ with the right Fourier coefficients and
$\|f\|_{p}\leq\sup_{N}\|f_{N}\|_{p}$. ∎

###  4.7. Brothers Riesz theorem

The aim of our last section is to discuss the following brothers Riesz type
theorem.

######  Theorem 4.25.

Let $\lambda$ be a frequency and $(G,\beta)$ a $\lambda$-Dirichlet group. Then
the Bohr map

$\mathcal{B}\colon H_{1}^{\lambda}(G)\to M_{\lambda}(G),\leavevmode\nobreak\
\leavevmode\nobreak\ f\mapsto f\leavevmode\nobreak\ dm$

is an onto isometry preserving the Fourier coefficients.

Note that for the frequency $\lambda=(n)$ this result is the classical
brothers Riesz theorem on $\mathbb{T}$, and for the ordinary case
$\lambda=(\log n)$ it means that the Hardy space $H_{1}(\mathbb{T}^{\infty})$
isometrically equals the space $M_{+}(\mathbb{T}^{\infty})$ of all bounded,
regular and analytic Borel measures on $\mathbb{T}^{\infty}$ (due to Helson
and Lowdenslager from [20], see also [9, §13.1]).

The proof of Theorem 4.25 is an immediate consequence of [13, Theorem 4],
which in terms of Dirichlet groups states that every $\mu\in M(G)$ is
absolutely continuous with respect to the Haar measure on $G$, whenever for
every $\delta>0$ the set $S_{\delta}(\mu):=\\{h_{x}\mid x<\delta\text{ and
}\widehat{\mu}(h_{x})\neq 0\\}$ is finite. Clearly, any $\mu\in
M_{\lambda}(G)$ satisfies this condition.

We now like to give a proof of Theorem 4.25 within the theory of Dirichlet
series by applying the Montel Theorem 4.19. But then we of course have to put
the additional assumptions on $\lambda$ needed for that theorem. Moreover, we
need the existence of so called ‘local units’, which follows as an immediate
consequence of [25, Theorem 2.6.8].

######  Lemma 4.26.

Let $\varepsilon>0$ and $G$ a $\lambda$-Dirichlet group. Then there is a
sequence of polynomials $(k_{N})_{N}\subset Pol(G)$ such that
$\widehat{k_{N}}(h_{\lambda_{j}})=1$ for all $N\in\mathbb{N}$ and all
$j=1,\ldots,N$, and moreover $\sup_{N}\|k_{N}\|_{L^{1}(G)}\leq 1+\varepsilon$.

Actually [13, Theorem 4] is an easy consequence of the generalized version of
the brothers Riesz theorem by Helson and Lowdenslager (see [25, §8.2.3.]) and
Lemma 4.26. So in this sense the Montel Theorem 4.19 replaces the former
result in the proof of Theorem 4.25 (but then for a smaller class of
$\lambda$’s).

###### Proof of Theorem 4.25 under the assumptions on $\lambda$ needed in
Theorem 4.19.

Take some $\mu\in M_{\lambda}(G)$ and $\varepsilon>0$. We choose $(k_{N})_{N}$
from Lemma 4.26. Then $(\mu*k_{N})_{N}$ is bounded in $H_{1}^{\lambda}(G)$ by
$\|\mu\|(1+\varepsilon)$. By Theorem 4.19 (more precisely Corollary 4.20)
there is a subsequence $(N_{k})_{k}$ and $f\in H_{1}^{\lambda}(G)$ such that
$p_{u}*\mu*k_{N_{k}}$ converges to $p_{u}*f$ for all $u>0$. This implies that
$\widehat{f}(h_{\lambda_{n}})=\widehat{\mu}(h_{\lambda_{n}})$ for all $n$, and
so with Lemma 4.8 we get that

$\|f\|_{1}=\lim_{u\to 0}\|p_{u}*f\|_{1}\leq(1+\varepsilon)\|\mu\|$

for all $\varepsilon>0$. This proves the claim. ∎

We like to mention that Theorem 4.12, 4.25 and 4.22 have extensions to the
setting of vector valued general Dirichlet series (see [12]).

## References

  * [1] A. Aleman, JF. Olsen, and E. Saksman: _Fourier multipliers for Hardy spaces of Dirichlet series_ , Int. Math. Res. Not. IMRN, (16) (2014) 4368–4378
  * [2] R. Balasubramanian, B. Calado, and H. Queffelec: _The Bohr inequality for ordinary Dirichlet series_ , Studia Math. 175 (3) (2006) 285-304
  * [3] F. Bayart: _Hardy spaces of Dirichlet series and their compostion operators_ , Monatsh. Math. 136 (2002) 203-236
  * [4] H. F. Bohnenblust, E. Hille: _On the absolute convergence of Dirichlet series_ , Ann. of Math. 32 (1931) 600-622
  * [5] H. Bohr: _Über die Bedeutung der Potenzreihen unendlich vieler Variabeln in der Theorie der Dirichletschen Reihen $\sum{\frac{a_{n}}{n^{s}}}$_, Nachr. Ges. Wiss. Gött. Math. Phys. Kl. 4 (1913) 441-488
  * [6] H. Bohr: _Über die gleichmäßige Konvergenz Dirichletscher Reihen_ , J. Reine Angew. Math. 143 (1913) 203-211
  * [7] H. Bohr: _Zur Theorie der fastperiodischen Funktionen II_ , Acta Math. 46 (1925) 101-214
  * [8] Y. S. Choi, U. Y. Kim, and M. Maestre: _Banach spaces of general Dirichlet series_ , J. Math. Anal. Appl. 465 (2018) 839-856
  * [9] A. Defant, D. Garcia, M. Maestre, and P. Sevilla Peris: _Dirichlet series and holomorphic functions in high dimensions_ , New Mathematical Monographs Series, Cambridge University Press (2019)
  * [10] A. Defant, A. Pérez: _Hardy spaces of vector-valued Dirichlet series_ , Studia Math. 243 (1) (2018) 53-78
  * [11] A. Defant, I. Schoolmann: _On a theorem of Helson for general Dirichlet series_ , in preparation (2019)
  * [12] A. Defant, D. Carando, F. Marcerca, and I. Schoolmann: _Vector valued Hardy spaces of general Dirichlet series_ , in preparation (2019)
  * [13] R. Doss: _One the Fourier-Stieltjes transforms of singular or absolutely continuous measures_ , Math. Zeitschr. 97 (1967) 77-84
  * [14] G. H. Hardy, M. Riesz: _The general theory of Dirichlet’s series_ , Cambridge Tracts in Mathematics and Mathematical Physics 18 (1915)
  * [15] H. Hedenmalm, P. Lindqvist, and K. Seip: _A Hilbert space of Dirichlet series and systems of dilated function in $L^{2}(0,1)$_, Duke Math. J. 86 (1) (1997) 1-37
  * [16] H. Helson: _Dirichlet series_ , Regent Press (2005)
  * [17] H. Helson: _Compact groups with ordered duals_ , Proc. London Math. Soc 3. (1965) 144-156
  * [18] H. Helson: _Compact groups and Dirichlet series_ , Ark. Mat. 8 (16) (1969)
  * [19] H. Helson: _Harmonic analysis_ , Texts and Readings in Mathematics 7 (2010)
  * [20] H. Helson, D. Lowdenslager: _Prediction theory and Fourier series in several variables_ , Acta Math. 99 (1958) 165-202
  * [21] E. Hewitt: _Linear functionals on almost periodic functions_ , Trans. Amer. Math. Soc. 74 (2) (1953) 303-322
  * [22] E. Landau: _Über die gleichmäßige Konvergenz Dirichletscher Reihen_ , J. Reine Angew. Math. 143 (1921) 203-211
  * [23] L. Neder: _Zum Konvergenzproblem der Dirichletschen Reihen beschränkter Funktionen_ , Math. Z. 14 (1922) 149-158
  * [24] H. Queffélec, M.Queffélec: _Diophantine approximation and Dirichlet series_ , Hindustan Book Agency, Lecture Notes (2013)
  * [25] W. Rudin: _Fourier analysis on groups_ , Interscience Publishers (1962)
  * [26] I. Schoolmann: _Bohr’s theorem for general Dirichlet series_ , to appear in Math. Nachr. (2019).
  * [27] N. Th. Varopoulos, _A theorem on the Bohr compactification of a locally compact Abelian group_ , Proc. Camb. Phil. Soc. 61 (1963) 65-68