Geometric Aspects of Quasi-Periodic Property of Dirichlet Functions ()
1. Introduction
The theory of Dirichlet series started at the end of the 19-th Century with works of celebrated mathematicians as Hadamard, Landau, Bohr etc. These series are natural generalizations of the Riemann Zeta series. From the beginning questions were asked of what are those Dirichlet series which can be continued as meromorphic functions in the whole complex plane and satisfy there similar properties with those of the Riemann Zeta function, as for example a Riemann type of functional equation, similar display of non trivial zeros (the famous Riemann Hypothesis) etc. We devoted a lot of studies to these questions by using geometric methods. We perfected an idea of Speiser (1934) of studying the pre-image of the real axis by functions obtained as meromorphic continuations to the whole complex plane of general Dirichlet series. The key result was a way to identify the fundamental domains of these functions. These are domains represented conformally (hence injectively) by the functions onto the whole complex plane with some slits.
As Ahlfors [1] noticed, this is the most natural way to proceed when studying different classes of functions. The results are promising and there are a lot of followers mainly in the field of Blaschke products but also in that of Dirichlet functions.
By a general Dirichlet series we understand an expression of the form
(1)
where
is an arbitrary sequence of complex numbers and
is an increasing sequence
of non negative numbers with
. There is no loss of generality by considering only normalized series (1) in which
and
. It is known [2] that if the series (1) converges for
, then it converges for every s with
. The number
, when it exists, is called the abscissa of convergence of the series (1). When the series does not converge for any
we denote
and if it converges for every s we put
. The line
is called the line of convergence of (1), although there are examples of Dirichlet series (see [2] ) which do not converge for any s with
. Other series converge for all the points of that line, or only for some points.
When (1) does not converge for
, then (see [2] )1
(2)
If (1) converges for
, then
(3)
The abscissa
of absolute convergence of the series (1) is defined in an analogous way and it is obvious that
. For the Riemann Zeta function
, while for the alternate Zeta function
and
. When
then
converges uniformly on compact sets of the half plane
and
is an analytic function in that half plane and sometimes it can be continued analytically to the whole complex plane except possibly for some poles. We will deal with this problem in Section 3. We keep the notation
for this extended function and we call it Dirichlet function. Since
and
in the series (1) we have that
and it can be easily seen [3] that this limit is uniform with respect to t. In other words, for every
there is
such that for
we have
for every real t, hence
maps the half plane
into the disc
.
This fact suggests that the series (1) converges uniformly on that half plane. Harald Bohr defined the abscissa of uniform convergence of (1) as being the infimum
of the abscisas
such that (1) converges uniformly for
. It has been found that
and every value between
and
can be taken by
for particular series (1).
Studying Dirichlet L-functions
generated by ordinary Dirichlet series (the case where
) Harald Bohr (see [4] ) discovered that they display on vertical lines a quasi-periodic behavior, namely for every bounded domain
of uniform convergence of the series and for every
there is a sequence
,
(4)
such that for every
we have
.
This roughly means that the function comes (quasi)-periodically on a vertical line as close as we want to the value of it at any point of
belonging to that line.
We study in this paper the quasi-periodic property of functions defined by general Dirichlet series and show that this is a geometric property of the image by
of vertical lines related to the fundamental domains of these functions. These fundamental domains are obtained as shown in [3] and [5] .
2. The Quasi-Periodicity on Vertical Lines of General Dirichlet Series
Let us give first to the concept of quasi-periodicity a slightly different definition. We will say that
is quasi-periodic on a line
if for every
and for every
a sequence (4) exists such that
. We notice that this definition is no more attached to bounded domains, hence it appears less restrictive than that given by Bohr, yet the inequality refers only to the points of a given vertical line and not to the points of any vertical line intersecting the domain
, which is a restriction. This new definition serves better the purpose of studying the denseness properties of Dirichlet functions.
Theorem 1 If
with
are linearly independent in the field of rational numbers then the series (1) is quasi-periodic on every vertical line of the half plane
.
Proof Let s be arbitrary with
and divide
and
into the sum
of the first n terms and the rest
. Since the series converges uniformly on
, when
is given, there is a rank n such that
and
for every real number
. On the other hand
(5)
By Diophantine approximation, a sequence (4) exists such that for every
of that sequence
is as close to 1 on the unit circle as we whish. Since the set
is bounded, we have
for every
and then
for every
, which proves the theorem.
Remark For ordinary Dirichlet series we have
, for
and these are linearly independent in the field of rational numbers, therefore these series are quasi-periodic on every vertical line from the half plane of convergence.
It is known (see [5] ) that for every series (1) which can be continued analytically to a the whole complex plane except possibly for a simple pole at
, the complex plane is divided into infinitely many horizontal strips
bounded by components of the pre-image of the real axis which are mapped bijectively by
onto the interval
. These are unbounded curves
such that for
we have
and no
can be contained in a right half plane. If
,
contains
zeros of
counted with multiplicities, then it will contain
zeros of
. The strip
can contain infinitely many zeros of such a function. Every strip
containing
zeros counted with multiplicities can be divided into
unbounded subsets whose interiors
are fundamental domains of
, i.e. they are mapped conformally by
onto the whole complex plane with some slits. The strip
can contain infinitely many fundamental domains.
Every fundamental domain contains either a simple zero or no zero and in this last case a double zero belongs to the boundary of two adjacent fundamental domains. The zeros of
are all simple zeros (see [6] ) and are all located on the boundaries of the fundamental domains.
Figure 1 illustrates the pre-image of the real axis for t between −20 and 20 by two Dirichlet L-functions defined by Dirichlet characters modulo 13 studied in [3] , the first one by a complex character and the second by a real one. On both
![]()
Figure 1. The pre-image of the real axis by two Dirichlet L-functions.
of them the strips
,
and
can be seen, as well as the zeros belonging to these strips. For any Dirichlet function
every vertical line which does not pass through the pole is divided by the boundaries of the fundamental domains
into finite intervals which are mapped bijectively by
onto Jordan arcs
.
The image of the whole line by
is therefore the union of infinitely many Jordan arcs
. If two domains
are adjacent, then the ends of the corresponding
which are images of the same point of the vertical line will obviously coincide. Moreover, different arcs
can have some other common points.
The image of an interval determined by
is a bounded curve starting and ending on
and having a finite number of intersections with the real axis and also a finite number of self intersection points. These last points represent the intersections of different arcs
as well as points corresponding to zeros of
. At the points which are zeros of
the corresponding arcs are tangent to each other (see [7] ).
When the analytic continuation to the whole complex plane of the series (1) is possible the arcs
are defined for any vertical line, not only for the lines included in the half plane of convergence of this series. Then, expressing the quasi-periodic property in terms of these arcs, we can extend this concept to any vertical line. The extension can be performed by noticing that if
is quasi-periodic on a vertical line
from the half plane of uniform convergence of (1) then for every
and every s with
there is a sequence (4) such that
(6)
for
small enough where
is any term of the sequence (4). This means that to every term
of this sequence corresponds an arc
such that a point
on that arc is located at a distance less than
of
for
small enough. Then we can say that
is quasi-periodic on the arbitrary line
(not necessarily belonging to the half plane of uniform convergence of this series) if for every s with
and every
there are infinitely many fundamental domains
of
such that the inequality (6) is satisfied for some t with
.
3. Analytic Continuation of General Dirichlet Series
It is known that some functions defined by Dirichlet series cannot be extended across the line
since all the points of the abscissa of convergence are singular points. Examples of such series can be easily found as seen in [8] and [3] . On the other hand all the Dirichlet L-functions are analytic continuations to the whole complex plane, except for some poles of particular Dirichlet series. These continuations have been performed by using the Riemann technique of contour integration. In that follow, we will show that a similar technique is applicable also to general Dirichlet series.
We recall that the Gamma function can be expressed as
(7)
and this is a meromorphic function in the complex plane.
On replacing x by
in (7), we obtain
![]()
which multiplied by
and added gives
(8)
Here we have denoted by
the sequence
and we have interchanged the integration and the summation, which is allowed, since the integrals of the terms are absolutely convergent at both ends. We notice that Hardy and Riesz [2] have found (in Theorem 11) a similar formula to (8) in the case of a Dirichlet series convergent for
, yet they did not use it to extend the function
across the imaginary axis.
For the Riemann Zeta function we have
(see [1] ) and after summation under integral in (8) one obtains
(9)
Riemann has shown that the integral from (9) is equivalent to a contour integral of
on a curve C formed with a part of a circle of radius r centered at the origin and two half lines parallel to the real axis ( [1] , p. 216). The integrand is well defined on the respective curve and as
the integral approaches that in (9). We cannot do the same thing with (8) as long as we don't make sure that the circle is in the half plane of convergence of
. There is however a way to circumvent this difficulty by noticing that:
Theorem 2 If the series (1) has a finite abscissa of convergence
, then the abscissa of convergence of
is 0.
Proof Suppose that
. Then
![]()
and the abscissa of convergence of
is
![]()
If
, then the abscissa of convergence of
, which should be also less than or equal to zero, is given by the formula
![]()
Consequently, the half plane of convergence of
is the right half plane.
Once we know this half plane of convergence, we can try to use the Riemann technique, but taking care to choose the integration curve in the right half plane. Fortunately such a choice is possible and we can prove:
Theorem 3 If
has only isolated singularities on the imaginary axis, then the series (1) can be continued across the line
to a meromorphic function in the whole complex plane.
Proof Let us form a contour
with a half circle
, where
![]()
and the half lines
with
, respectively
with
, as seen in Figure 2.
Since the singularities of
are isolated, we can chose r such that the half circle
does not contain anyone of them. We study the line integral
. Let us notice first that
is unambiguously defined as
. The integrand is a continuous function on
and therefore it is bounded on
, since
is a compact set. If
is the blue contour,
the red one and
the green contour, then
![]()
as both of these integrals are obviously equal to
, therefore the integral on
does not really depend on r.
We can take r such that no singular point of
except possible the origin exits on the interval of the imaginary axis between
and
. Now, we can let
and show that the integral on
tends to zero. Indeed, with
we have
and
, thus
![]()
Since the function under the integral is bounded between
and
, the integral is finite and the whole expression tends to zero as
, now, we can use the argument from [1] , page 214 to infer that (8) is equivalent to
(10)
![]()
Figure 2. The integrals on
and
are equal.
The right hand side in (10) is defined for every complex value s and represents a meromorphic function in the whole complex plane.
4. Quasi-Periodicity and Denseness Property
The connection between the quasi-periodic property and the denseness property of the image of vertical lines by Dirichlet functions appears clearly when we interpret the first one in terms of the arcs
. Indeed, we can prove the following:
Theorem 4 The necessary and sufficient condition for
to be quasi-periodic on the line
is that for for every
and every point s on that line infinitely many fundamental domains
exist such that the corresponding arcs
intersect the disc
.
Proof The condition is necessary, since if for every
and every s on the line
a sequence (4) exists with the property that
, then the number of domains
containing points
must be infinite. Indeed, the inequality
implies that every
can contain only a finite number of points
. Then there must be infinitely many arcs
intersecting the disc
. Vice versa, if infinitely many such arcs exist, then choosing a point
belonging to that disc on each one of them, the sequence
satisfies obviously the conditions (4).
Hence, if
is quasi-periodic on the line
then any small neighborhood V of every point
with
intersects infinitely many arcs
, therefore the image of
is dense in (at least a part of) V. Indeed, there is an arc
passing through
and as close as we want of this arc pass infinitely many arcs
, which are parts of the image of the same line and every one of these arcs has the same property, hence the denseness of the image of
in the part of V around this arc is obvious. Then we can say that the quasi-periodic property of
on the line
implies the denseness in itself of the image of that line by
. Indeed, every point of
is either an intersection point with another arc
or a tangent point with such an arc or a limit point of arcs
in the sense that there is a sequence of such arcs whose distance to that point tends to zero.
No two arcs
and
can overlap partially. Indeed, in the contrary case, we would have that the conformal mapping of
onto
given by
, where
, maps an interval of
onto another interval of the same line, which would be possible only if
were a linear transformation and this is not the case. Hence the image of the line
by
cannot have arcs towards which no other arcs accumulate. Its closure is necessarily a two dimensional set whose boundary is formed by arcs
or limit points of such arcs.
In order to study the image of vertical lines by the series (1) the condition that the exponents
are linearly independent in the field of rational numbers has been assumed in [9] . As we suppose that
, we cannot use the results in [9] for the series (1), yet we can study the series
and translate the results obtained to
. By [9] , under the condition of linear independence of the exponents of
, the closure of the image by
of the line
, where
is greater than the abscissa of absolute convergence of the series (1) (which is obviously the same as that of
) is either a ring domain
or a disc
, according to the case where the sequence
has a leading (vorhanden) term or not. Consequently, under the same condition, this image by
will be a ring domain
, respectively a disc
. We say that the numericseries
has the leading term
if
. The previous numbers R and r are respectively
and
, where
.
The results of Bohr are in agreement with the fact that the function (1) tends uniformly with respect to t to 1 as
. Indeed, for
, where
is big enough, if there is a leading term
of the series
then the image by
of the line
is included in the ring domain
and it is a dense set in this domain. Here we have denoted by
the sequence
. As
gets smaller, some other term
can become leading term and then the image by
of the line
will be included in the ring domain
. If no leading term appears, then the respective ring domain will evolve into a disc. At the limit, as
we have
and the image of the line
is a dense set either in the whole complex plane or outside of an open disc. Hence we can state:
Theorem 5 For any Dirichlet function
the image of the line
,
is a dense set in either a ring domain
or a disc
according to the fact that
has a leading term or not. When
we have
and these domains become the exterior of an open disc or respectively the whole complex plane.
For the Riemann series, the term
is leading term for
as long as
. Let us denote by
the solution of the equation
. By inspecting a table of values of
we noticed that
, hence for
the image by
of the line
is included in the disc
and it is a dense set in this disc. For
, if we denote
then this image is included in the ring domain
.
5. Conclusion
A Dirichlet function is defined by an arbitrary sequence of complex numbers (the coefficients) and a sequence of increasing positive numbers (the exponents), otherwise also arbitrary. It is intriguing how two such arbitrariness can involve a strong property as that of quasi-periodicity. We have shown that this is in fact a geometric property related to the fundamental domains of the respective function. The domains are infinite strips which are mapped conformally by the function onto the whole complex plane with some slits. A vertical line intersects all those strips and the values of the function on each one of the segments obtained come quasi-periodically close to every given value on that line as illustrated in Figure 3 and Figure 4. The Diophantian approximation plays here
the same role as in the denseness property and this is the reason why the two properties come simultaneously. We brought in this paper some light into these two complex phenomena.
Conflicts of Interest
The authors declare no conflicts of interest regarding the publication of this paper.
NOTES
1We followed the tradition of this monograph by using the notation “log” for the principal branch of the multivalued function logarithm. Obviously, when the argument is positive, it simply means natural logarithm.