_{1}

^{*}

We study a class of Dirichlet functions obtained as analytic continuation across the line of convergence of Dirichlet series which can be written as Euler products. This class includes that of Dirichlet L-functions. The problem of the existence of multiple zeros for this last class is outstanding. It is tacitly accepted, yet not proved that the Riemann Zeta function, which belongs to this class, does not possess multiple zeros. In a previous study we provided an example of Dirichlet function having double zeros, but that function is not an Euler product function. In this paper we deal with Euler product functions and by using the geometric properties of the mapping realized by these functions, we tackle the problem of the multiplicity of their zeros.

We are dealing with normalized series of the form:

ζ A , Λ ( s ) = ∑ n = 1 ∞ a n e − λ n s = 1 + a 2 e − λ 2 s + ⋯ (1)

where A = { a 1 = 1 , a 2 , ⋯ } is an arbitrary sequence of complex numbers (the coefficients of the series) and Λ = { λ 1 = 0 , λ 2 , ⋯ } is a sequence of non decreasing real numbers (the exponents of the series).

When λ n = ln n , then the series has the form ζ A , Λ ( s ) = ∑ n = 1 ∞ a n n s and it is

called ordinary Dirichlet series. There is a vast literature on general Dirichlet series, a part of which has been mentioned in [

We suppose that the function a ( n ) = a n is totally multiplicative, i.e. a ( m n ) = a ( m ) a ( n ) for every m , n ∈ ℕ . Then for every prime decomposition n = n 1 k 1 n 2 k 2 ⋯ n j k j we have a ( n ) = a ( n 1 ) k 1 a ( n 2 ) k 2 ⋯ a ( n j ) k j .

If the series is an ordinary one, then

λ ( n ) = λ n = ln n = k 1 ln n 1 + k 2 ln n 2 + ⋯ + k j ln n j = k 1 λ ( n 1 ) + k 2 λ ( n 2 ) + ⋯ + k j λ ( n j ) .

Assuming that we have also this last property for a general Dirichlet series, then it can be easily shown (see [

ζ A , Λ ( s ) = ∏ p ∈ ℘ ( 1 − a p e − λ p s ) − 1 (2)

where ℘ is the set of prime numbers. For such a series we have

ζ ′ A , Λ ( s ) ζ A , Λ ( s ) = − ∑ p ∈ ℘ λ p a p e − λ p s / ( 1 − a p e − λ p s ) (3)

The series on the left hand side of this equality have the same half plane of convergence which must coincide with that of the right hand side.

We denote by e Λ the sequence { e λ 1 , e λ 2 , ⋯ } .

It is known that (see [

Moreover, if ζ A , e Λ ( s ) has a discrete set of singular points on the imaginary axis, then ζ A , Λ ( s ) can be continued as a meromorphic function in the whole complex plane. Dirichlet L-series can be continued in this way.

Suppose that the series ζ A , Λ ( s ) admits such a continuation and satisfies (2). We will call the extended function Euler product Dirichlet function.

Meromorphic continuations are possible also for the series ζ ′ A , Λ ( s ) and for the right hand side term in (3).

Let us denote by φ ( s ) the meromorphic function obtained on the right hand side in (3) by this continuation.

By the uniqueness theorem of analytic functions, φ ( s ) coincides with ζ ′ A , Λ ( s ) ζ A , Λ ( s ) ; therefore it can have only simple poles.

From (1) it can be easily seen that lim σ → + ∞ ζ A , Λ ( σ + i t ) = 1 . We have shown in [

This simple fact has important consequences regarding the landscape of the pre-image of the real axis by a Dirichlet function (see

Let us list a few facts valid for any Dirichlet function. The proofs can be found in [

Proposition 2.1: The pre-image of the real axis by ζ A , Λ ( s ) contains infinitely many disjoint curves Γ ′ k extending for σ from − ∞ to + ∞ which are mapped each one bijectively by ζ A , Λ ( s ) onto the interval ( 1, + ∞ ) of the real axis. Consecutive curves Γ ′ k and Γ ′ k + 1 form infinite strips S k , k ∈ ℤ , where S 0 contains the real axis.

Proposition 2.2: Every strip S k , k ≠ 0 contains a unique component Γ k ,0 of the pre-image of the real axis which is mapped bijectively by ζ A , Λ ( s ) onto the interval ( − ∞ ,1 ) and a unique unbounded component of the pre-image of the unit circle. It contains also a finite number of curves Γ k , j , j ≠ 0 which are mapped bijectively onto the whole real axis. Every curve Γ k , j contains a unique zero of ζ A , Λ ( s ) .

Proposition 2.3: The curves Γ k , j are disjoint, except that Γ k ,0 can meet Γ k ,1 or Γ k , − 1 into a double zero of ζ A , Λ ( s ) .

Proposition 2.4: If we color, for example, red the pre-image of the negative real half axis and blue the pre-image of the positive real half axis, then the pre-image of any circle centered at the origin will meet alternatively the color red and the color blue. This is the color alternating rule. It is illustrated in

Proposition 2.5: When represented in the same plane, the pre-image of the real axis by both ζ A , Λ ( s ) and ζ ′ A , Λ ( s ) , come in couples of curves Γ ′ k and ϒ ′ k , respectively Γ k , j and ϒ k , j (see [

Proposition 2.6: The intertwining curves intersect each other in points where the tangent to Γ k , j , respectively Γ ′ k is horizontal, or in multiple zeros, where the tangents do not exist. An illustration of this fact can be seen in

Proposition 2.7: If we denote by a the color of the pre-image of the negative real half axis by ζ A , Λ ( s ) and b that of the positive real half axis and by c and d the colors of the pre-image of the same half axes by ζ ′ A , Λ ( s ) , then color a can meet only color d and color b can meet only color c, except for the case of Γ k ,0 and ϒ k ,0 , where color d meets both color a and b. This is the color matching rule.

We notice that there is no exception to this rule when instead of the couple ζ A , Λ ( s ) and ζ ′ A , Λ ( s ) we take the couple ζ ′ A , Λ ( s ) and ζ ″ A , Λ ( s ) since ϒ k ,0 does not change color. The same thing can be said for any couple of consecutive derivatives of ζ A , Λ ( s ) .

Proposition 2.8: The color matching rule forbids double zeros at the intersection of Γ k , j and ϒ k , j when j ≠ 0 .

Proposition 2.9: If s k , j are the zeros of ζ ′ A , Λ ( s ) in S k , then the pre-image of the segment l k , j from z = 1 to z = ζ A , Λ ( s k , j ) and the curves Γ k , j and Γ ′ k bound fundamental domains which are mapped conformally by ζ A , Λ ( s ) onto the whole complex plane with slits alongside these segments and the interval [ 1, + ∞ ) of the real axis. In a similar way fundamental domains are obtained also for ζ ′ A , Λ ( s ) .

It is known (see [

Proposition 3.1: If z 0 is a regular point of the analytic function f ( z ) , then in a neighborhood of z 0 we have:

f ( z ) = f ( z 0 ) + ( z − z 0 ) n h ( z ) (4)

where n is a positive integer and h ( z ) is analytic at z 0 and h ( z 0 ) ≠ 0

Depending on the value of n, the local mapping by f ( z ) at z 0 has the form seen in

Here the arcs γ : s = s ( x ) are mapped by f ( z ) onto the interval ( 0, r ) , where r is the radius of the image disc, such that f ( s ( x ) ) = x .

They are analytic arcs (see [

We proved in [

If f τ ( s ) = ( 1 − τ ) f 1 ( s ) + τ f 2 ( s ) ,0 ≤ τ ≤ 1 is such a linear combination, the when τ varies from 0 to 1 the zeros of f 1 ( s ) move continuously to the zeros of f 2 ( s ) .

When a couple of zeros of f 1 ( s ) symmetric with respect to the critical line move to a couple of zeros of f 2 ( s ) on the critical line, there must be a value of τ for which the two zeros coincide, and therefore f τ ( s ) has a double zero.

An illustration of such a zero can be seen in

These linear combinations cannot be Euler product functions. We will deal next with Euler product Dirichlet functions.

Theorem 4.1 Euler product Dirichlet functions do not have any multiple zero.

Proof: Suppose that ζ A , Λ ( s ) is an Euler product Dirichlet function. Then the formula (3) is valid for ζ A , Λ ( s ) , where the function φ ( s ) is meromorphic in the whole plane and has only simple poles. Indeed, by the section 3 at any point s 0 the function ζ A , Λ ( s ) has the form ζ A , Λ ( s ) = ( s − s 0 ) m g ( s ) , where m ∈ ℤ and g ( s ) is analytic at s 0 and g ( s 0 ) ≠ 0 .

When m = 0 , the function ζ A , Λ ( s ) is analytic at s 0 and ζ A , Λ ( s 0 ) ≠ 0 , therefore φ ( s ) is analytic at s 0 . When m ≠ 0 then

ζ ′ A , Λ ( s ) = m ( s − s 0 ) m − 1 g ( s ) + ( s − s 0 ) m g ′ ( s ) , hence φ ( s ) = m s − s 0 + g ′ ( s ) g ( s ) ,

where g ( s 0 ) ≠ 0 , thus φ ( s ) has a simple pole at s 0 .

Let us assume that s 0 is a multiple zero of ζ A , Λ ( s ) , i.e. ζ A , Λ ( s 0 ) = ζ ′ A , Λ ( s 0 ) = 0 . Then, when trying to compute φ ( s 0 ) we get an indetermination of the form 0/0. The l'Hospital rule is applicable, and

φ ( s 0 ) = lim s → s 0 ζ ″ A , Λ ( s ) ζ ′ A , Λ ( s ) . If ζ ″ A , Λ ( s 0 ) ≠ 0 then by Proposition 2.9 s 0 is an

interior point of a fundamental domain Δ of ζ ′ A , Λ ( s ) . Since lim σ → + ∞ ζ ′ ( σ + i t ) = 0 the function ζ ′ A , Λ ( s ) maps any unbounded curve Γ originating at s 0 and such that lim σ → + ∞ ζ ′ ( σ + i t ) = 0 , for σ + i t ∈ Γ onto a closed curve γ passing through the origin. We can take Γ completely included in the fundamental domain Δ . Suppose that z 1 is a point interior to γ and let s 1 ∈ Δ be such that ζ ′ ( s 1 ) = z 1 . If s 2 is an arbitrary point of Δ \ Γ we can connect s 1 and s 2 by a curve Γ 1 ⊂ Δ not intersecting Γ . Then the image of Γ 1 by ζ ′ ( s ) cannot intersect γ . But if z 2 = ζ ′ ( s 2 ) was outside γ , this is a contradiction, hence we cannot have ζ ″ A , Λ ( s 0 ) ≠ 0 .

On the other hand, if ζ ″ A , Λ ( s 0 ) = 0 then we still get an indetermination of the form 0/0 and the l'Hospital rule can be applied again giving

φ ( s 0 ) = lim s → s 0 ζ ‴ A , Λ ( s ) ζ ″ A , Λ ( s ) . By using the same argument as in the previous case we

infer that ζ ‴ A , Λ ( s 0 ) cannot be different of zero and the process continues indefinitely. Hence all the coefficients of the Taylor expansion of ζ A , Λ ( s ) at s 0 cancel and then ζ A , Λ ( s ) is identically equal to zero in a neighborhood of s 0 , which is impossible.

The final conclusion is that ζ A , Λ ( s ) cannot have any multiple zero and the only zeros of φ ( s ) are the zeros of ζ ′ A , Λ ( s ) , which as we have seen cannot be at the same time zeros of ζ A , Λ ( s ) .

Remark: We have seen that the Dirichlet functions f τ ( s ) defined in [

We emphasize also the fact that the Dirichlet L-functions, and in particular the Riemann Zeta function, are Euler product Dirichlet functions and therefore they cannot have multiple zeros. For a reader willing to aquire more information on this topic we recommend Chapter 11, Dirichlet series and Euler products of the monograph Multiplicative Number Theory by H. Montgomery and R. C. Vaughan.

Theorem 4.1 gives the solution of the outstanding problem, whether the Dirichlet functions admit or not multiple zeros. The answer is negative and it concerns a wider class of functions, namely those obtained by analytic continuation across the converging line of general Dirichlet series which can be written as Euler products.

We thank Aneta Costin for her support with technical matters.

The author declares no conflicts of interest regarding the publication of this paper.

Ghisa, D. (2019) On the Zeros of Euler Product Dirichlet Functions. Advances in Pure Mathematics, 9, 959-966. https://doi.org/10.4236/apm.2019.912048