_{1}

^{*}

The purpose of this research is to extend to the functions obtained by meromorphic continuation of general Dirichlet series some properties of the functions in the Selberg class, which are all generated by ordinary Dirichlet series. We wanted to put to work the powerful tool of the geometry of conformal mappings of these functions, which we built in previous research, in order to study the location of their non-trivial zeros. A new approach of the concept of multiplier in Riemann type of functional equation was necessary and we have shown that with this approach the non-trivial zeros of the Dirichlet function satisfying a Reimann type of functional equation are either on the critical line, or they are two by two symmetric with respect to the critical line. The Euler product general Dirichlet series are defined, a wide class of such series is presented, and finally by using geometric and analytic arguments it is proved that for Euler product functions the symmetric zeros with respect to the critical line must coincide.

The fundamental domains, as defined by Ahlfors, are for the complex functions of one complex variable the similar of the intervals of monotony for the real ones, in the sense that in both cases the functions are injective there. However, for the analytic functions of one complex variable the concept of fundamental domain plays a much deeper role. Such a domain is mapped conformally by the function onto the whole complex plane with some slits. The rational functions have a finite number of fundamental domains (the same as their degree), while the transcendental ones have infinitely many fundamental domains. Their closure covers the entire complex plane.

The Dirichlet functions are meromorphic functions in the complex plane having an essential singular point at infinity. We have shown in previous works that every neighbourhood of an essential singular point of an analytic function contains infinitely many fundamental domains. Therefore a Dirichlet function has infinitely many fundamental domains outside any bounded region of complex plane. We found that these domains are infinite strips which can be obtained by using the pre-image of the real axis and the zeros of the derivative of the function, necessarily situated on the common boundaries of these domains. These are basic knowledge in the study of the location of non-trivial zeros of Dirichlet functions.

The symmetric zeros with respect to the critical line are located in adjacent fundamental domains, which can be mapped conformally one onto the other such that the image of a zero is the other zero. This function can be extended to an involution on the union of the two domains and this is instrumental in using the Euler product in order to prove RH, which is the final result of this paper.

The Dirichlet functions are meromorphic continuations into the whole complex plane of general Dirichlet series. The study of general Dirichlet series has its origins in the works of Cahen [

We are dealing with normalized series defined by using an arbitrary sequence of complex numbers A = ( 1 = a 1 , a 2 , ⋯ ) , (the coefficients) and an increasing sequence Λ = ( 0 = λ 1 < λ 2 < ⋯ ) , lim n → ∞ λ n = ∞ , (the exponents) in the following way:

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

When λ n = ln n we obtain the ordinary (proprement dites [

σ c = lim sup n → → ∞ ln | ∑ k = 1 n a k | λ n ≥ 0 (2)

and when (1) does converge for s = 0 , then:

σ c = lim sup n → ∞ 1 λ n + 1 ln | ζ A , Λ ( 0 ) − ∑ k = 1 n a k | (3)

The number σ c is called the abscissa of convergence of the series. The series (1) converges uniformly on compact sets included in the half plane Re s > σ c and therefore it is an analytic function there. The abscissa of absolute convergence σ a of the series (1) is by definition the abscissa of convergence of the series ∑ n = 1 ∞ | a n | e − λ n s . The line Re s = σ c is called the line of convergence of the series, although as we will see later, there are Dirichlet series which are divergent at every point of that line. Obviously, for those series, there cannot be meromorphic continuation across the convergence line and therefore they do not generate Dirichlet functions. We deal in this paper only with series generating Dirichlet functions. We found in [

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

in which the exponents λ n are replaced by e λ n . The relationship between ζ A , Λ ( s ) and ζ A , e Λ ( s ) has been studied by Cahen [

Proposition 1: If the series (1) has a finite abscissa of convergence, then the series (4) has the abscissa of convergence zero.

Analogously, if the series (1) has a finite abscissa of absolute convergence, then the series (4) has the abscissa of absolute convergence zero.

The sufficient condition found in [

Theorem 1: Suppose that the series (1) has a finite abscissa of absolute convergence σ a and the series (4) has a discrete set of singular points on the imaginary axis in the neighborhood of the origin. Then the series (1) can be continued meromorphically into the whole complex plane.

Proof: We will use the Riemann’s technique of contour integration ( [

Γ ( s ) = ∫ 0 ∞ x s − 1 e − x d x (5)

we replace x by e λ n x . Then (5) implies:

e − λ n s = 1 Γ ( s ) ∫ 0 ∞ x s − 1 e − e λ n x d x (6)

If we multiply here the n-th term by a n and add from n = 1 to ∞ we get

ζ A , Λ ( s ) = 1 Γ ( s ) ∫ 0 ∞ x s − 1 ζ A , e Λ ( x ) d x (7)

Indeed, the series ζ A , e Λ ( x ) converges for x > 0 by Proposition 1, hence the integral (7) makes sense. On the other hand, the interchange of summation and integration was possible since the integral in (6) is absolutely convergent at both ends, the integral in (5) being absolutely convergent at both ends (see [

The function Γ ( s ) can be uniquely continued to a meromorphic function into the whole complex plane, hence the formula (7) is true for Re s > σ c even if σ c < 1 . Yet, the right hand side in (7) has a meaning for all the values of s for which the integral in (7) is convergent, given the fact that Γ ( s ) has no zero. When that integral is convergent for Re s ≤ σ c the formula (7) provides a continuation of ζ A , Λ ( s ) . Trying to extend this continuation to the whole complex plane by proceeding as Riemann did for ζ ( s ) (see [_{r} formed with the half circle γ r : z = r e i θ , − π / 2 ≤ θ ≤ π / 2 , where r is small enough such that no divergence point of (4) except the origin is located on the diameter of this half circle, and the half lines Im z = ± r , Re z ≥ 0 (see

It can be easily checked that ∫ C r ( − z ) s − 1 ζ A , e Λ ( z ) d z does not depend on r and the integral on γ r tends to zero as r → 0 .

Indeed, if C r 1 is the red contour, C r 2 is the blue one and we form also the contour C colored green, then ∫ C r 1 ( − z ) s − 1 ζ A , e Λ ( z ) d z = ∫ C r 2 ( − z ) s − 1 ζ A , e Λ ( z ) d z

since both of these integrals are equal to ∫ C ( − z ) s − 1 ζ A , e Λ ( z ) d z .

The fact that the integral on γ r tends to zero as r → 0 can be shown as follows:

| ∫ γ r ( − z ) s − 1 ζ A , e Λ ( z ) d z | ≤ e − π t ∑ n = 1 ∞ | a n | r σ ∫ − π / 2 π / 2 e − ( θ t + e λ n r cos ( θ ) ) d θ = e − π t ∑ n = 1 ∞ | a n | r σ ∫ − π / 2 π / 2 [ 1 − ( θ t + e λ n r cos ( θ ) ) + 1 2 ! ( θ t + e λ n r cos ( θ ) ) 2 + ⋯ ] d θ .

The series (4) converges absolutely on γ r , hence when evaluating this integral we are free to deal separately with different groups of terms. The sum of terms under the integral which do not contain r is 1 − θ t + 1 2 ! ( θ t ) 2 + ⋯ = e − θ t and ∫ − π / 2 π / 2 e − θ t d θ = 2 t s h ( π t 2 ) , thus lim r → 0 r σ ∫ − π / 2 π / 2 e − θ t d θ = 0 . The terms which contain r under that integral tend all to zero as r → 0 , and therefore their integrals cancel too at the limit. We conclude that:

lim r → 0 ∫ γ r ( − z ) s − 1 ζ A , e Λ ( z ) d z = 0 (8)

When r = 0 the curve C becomes the positive real half axis traversed back and forth. On the upper edge we have ( − z ) s − 1 = x s − 1 e − ( s − 1 ) π i and on the lower edge ( − z ) s − 1 = x s − 1 e ( s − 1 ) π i and then:

∫ C ( − z ) s − 1 ζ A , Λ ( z ) d z = − ∫ 0 ∞ x s − 1 e − ( s − 1 ) π i ζ A , e Λ ( x ) d x + ∫ 0 ∞ x s − 1 e ( x − 1 ) π i ζ A , e Λ ( x ) d x = 2 i sin ( ( s − 1 ) π ) ∫ 0 ∞ x s − 1 ζ A , e Λ ( x ) d x = − 2 i sin ( π s ) ζ A , Λ ( s ) (9)

Since Γ ( s ) Γ ( 1 − s ) = π sin ( π s ) the formula (9) becomes:

ζ A , Λ ( s ) = − Γ ( 1 − s ) 2 π i ∫ C ( − z ) s − 1 ζ A , e Λ ( z ) d z (10)

The limit (8) guarantees that this integral is convergent no matter if lim x ↘ 0 ζ A , e Λ ( x ) is finite or not and the theorem is completely proved. Obviously, at a point s where the integral does not cancel, ζ A , Λ ( s ) can have a pole if Γ ( 1 − s ) has a pole.

Let us examine some Dirichlet series which do not admit meromorphic continuation across the convergence line. The series ∑ n = 1 ∞ 1 ( n ! ) s has been suggested by Dan Asimov in a private communication. This is an ordinary Dirichlet series, i.e. a series of the form ∑ m = 1 ∞ a m m s , where a m = 1 if m = n ! for some n and a m = 0 otherwise. Let A be this sequence of coefficients and let Λ the sequence of exponents be defined by λ n = ln ( n ! ) . Then

∑ n = 1 ∞ 1 ( n ! ) s = ∑ n = 1 ∞ e − ln ( n ! ) s = ζ A , Λ ( s ) (11)

and

ζ A , e Λ ( s ) = ∑ n = 1 ∞ e − ( n ! ) s (12)

Using the formula (2) it can be easily checked that both of these series have the abscissa of convergence 0, which agrees with the Proposition 1. A result of Tanaka ( [

Theorem 2. The series (12) diverges at every point of the imaginary axis.

Proof: Let us notice that ζ A , e Λ ( s ) = ∑ n = 1 ∞ ( e − s ) n ! , which is a power series of the form ∑ m = 1 ∞ a m w m , where a m = 1 if m = n ! for some n and a m = 0 otherwise, and w = e − s .

The Hadamard’s formula shows that the radius of convergence of this series is 1, i.e. the series converges for | w | < 1 and it diverges for | w | > 1 . Let us show that the series diverges at every point of the unit circle. Since the set of points w = e i θ with the argument θ rational multiple of 2 π is dense in the unit circle, it will be enough to show that the series diverges at every one of these points. Suppose w = e 2 π i p / q , where p and q are integers.

Then, for 0 < ρ < 1 we have ∑ n = 1 ∞ ( ρ w ) n ! ≥ | ∑ n = q ∞ ( ρ w ) n ! | − | ∑ n = 1 q − 1 ( ρ w ) n ! | . Let us notice that ( ρ w ) n ! = ρ n ! e 2 π i n ! p / q , thus for n ≥ q we have ( ρ w ) n ! = ρ n ! , since n ! is a multiple of q and therefore 2 π i n ! p / q is an integer multiple of 2 π i , hence w n ! = 1 . For n < q we have | ( ρ w ) n ! | = ρ n ! < 1 , thus | ∑ n = 1 q − 1 ( ρ w ) n ! | = ∑ n = 1 q − 1 ρ n ! < q , therefore | ∑ n = 1 ∞ ( ρ w ) n ! | ≥ ∑ n = q ∞ ρ n ! − q → ∞ as ρ → 1 , which means that ∑ n = 1 ∞ w n ! diverges for | w | = 1 . Yet, 1 = | w | = | e − ( σ + i t ) | = e − σ implies σ = 0 , hence the series (12) diverges at every point of the imaginary axis. This means that Theorem 2 cannot be used in this case in order to prove that the series (11) admits a meromorphic continuation into the whole complex plane. However, Tanaka’s result confirms that this is not the case.

Numerous other examples can be given of Dirichlet series having the imaginary axis as their natural boundary. If in the formula (11) we take instead of the sequence A a sequence A m depending on an integer m ≥ 2 such that a n = 1 if n = m k for some integer k ≥ 1 and a n = 0 otherwise, and we chose the exponents λ n = ln ( n ) then ζ A m , Λ ( s ) = ∑ n = 1 ∞ 1 ( n m ) s = ∑ n = 1 ∞ 1 n m s = ζ ( m s ) and ζ A m , e Λ ( s ) = ∑ n = 1 ∞ e − n m s = ∑ n = 1 ∞ ( e − s ) n m , for which, by Tanaka’s theorem, the imaginary axis is the natural boundary. However, the associated series ζ A , Λ ( s ) admits meromorphic continuation into the whole complex plane.

We dealt in [

Theorem 3. For any Dirichlet function ζ A , Λ ( s ) generated by a general Dirichlet series with σ a < ∞ we have lim σ → + ∞ ζ A , Λ ( σ + i t ) = 1 uniformly with respect to t.

Proof: Let σ a be the abscissa of absolute convergence of ζ A , Λ ( s ) . For any σ 0 > σ a and σ > σ 0 we have:

| ∑ n = 2 ∞ a n e − λ n s | ≤ ∑ n = 2 ∞ | a n | e − λ n ( σ − σ 0 ) e − λ n σ 0 = e − λ 2 ( σ − σ 0 ) ∑ n = 2 ∞ | a n | e − ( λ n − λ 2 ) ( σ − σ 0 ) e − λ n σ 0 ≤ K e − λ 2 σ → 0 as σ → + ∞ . Here K is a constant (not depending on σ ) given the fact that e − ( λ n − λ 2 ) ( σ − σ 0 ) ≤ 1 , e λ 2 σ 0 is a constant and ∑ n = 2 ∞ | a n | e − λ n σ 0 is convergent. Hence ∑ n = 2 ∞ a n e − λ n ( σ + i t ) converges to zero uniformly with respect to t when σ → + ∞ , thus lim σ → + ∞ ζ A , Λ ( σ + i t ) = 1 uniformly with respect to t. This means that given ε > 0 , there is σ ε such that for σ > σ ε we have | ζ A , Λ ( σ + i t ) − 1 | < ε i.e. the whole half plane Re s > σ ε is mapped by z = ζ A , Λ ( s ) into the disc centered at z = 1 and having the radius ε .

In what follows we will deal only with Dirichlet functions satisfying the condition of Theorem 3. It is obvious that the zeros of such a function are isolated points, since otherwise the function would be identically zero. This implies that for any bounded domain D the components of the pre-image of a circle | z | = r included in D are disjoint closed curves if r is small enough. For such an r the domains bounded by those curves are mapped by ζ A , Λ ( s ) onto the disc | z | < r . The mapping is conformal for those domains containing a simple zero. If the zero is multiple of order m, then the pre-image of the radius 0 ≤ Re z ≤ 1 partitions D into m sets whose interior are mapped conformally by ζ A , Λ ( s ) onto 0 < | z | < 1 (see [

Theorem 4: For every Dirichlet function ζ A , Λ ( s ) defined by a normalized series (1) the pre-image of the unit disc has at least one unbounded component.

Proof: Assume that all the components of the pre-image of the closed unit disc were bounded. By Theorem 3, for every ε > 0 , there is σ ε such that the half plane U ε = { σ + i t | σ > σ ε } is mapped by ζ A , Λ ( s ) into the disc | z − 1 | < ε . For arbitrary δ > 0 , let us denote by V a δ -neighborhood of the pre-image of the closed unit disc . The components of V are bounded connected open sets. Due to the fact that ζ A , Λ ( s ) is an open mapping, V is mapped by ζ A , Λ ( s ) onto an open set containing the closed unit disc. If ε > 0 is small enough, the closed disc centered at the origin and of radius 1 + ε is included in that open set, hence its pre-image is included in V. Therefore it can have only bounded connected components. Since | z − 1 | < ε implies | z | < 1 − ε one of these components should contain the half plane U ε , which is a contradiction. Thus the pre-image of the unit disc must contain at least one unbounded component.

Starting with Speiser’s work [

A historic account of this technique can be found in [

Given such a partition, a slight deformation of one fundamental domain implies different deformations of all the other domains. The only points which must remain unchanged are the branch points, which are common boundary points of different fundamental domains. They are the zeros of f ′ ( z ) , the multiple poles, as well as the essential singular points. By Big Picard Theorem, every neighborhood of an essential singular point of f ( s ) intersects infinitely many fundamental domains and it is mapped (not necessarily one-to-one) onto the whole complex plane with one possible point removed.

In what follows we will use the concept of continuation above a curve (see [_{0} along the interval ( 1, + ∞ ) is a curve Γ such that when x = ζ A , Λ ( σ + i t ) → 1

we have that σ → + ∞ with s = σ + i t on Γ , or there is a point u ∈ Γ such that ζ A , Λ ( u ) = 1 and the continuation can be carried along the real axis for values less than 1. When s does not meet any pole in its way, we have that s → ∞ on Γ when x → − ∞ , i.e. Γ is unbounded at both ends and it is mapped one-to-one onto the whole real axis. If s meets a pole, the continuation stops there in the sense that when x → − ∞ , s approaches that pole.

Let us take a ray η α making a small angle α > 0 with the positive real half axis in the z-plane and let z α be the intersection of this ray with the unit circle. The pre-image of z α by ζ A , Λ ( s ) is a set of points belonging each one to a component of the pre-image of the unit circle. One of them s α = σ α + i t α belongs to the unbounded component. The continuation over η α from s α is an unbounded curve Γ α starting at a zero of ζ A , Λ ( s ) and such that when s = σ + i t ∈ Γ α we have that σ ↛ + ∞ , since z α = ζ A , Λ ( s ) ↛ 1 (see

By taking α < 0 we conclude again that Γ ″ α is a part of Γ k ,0 , while Γ ′ α is below that unbounded component of the pre-image of the unit circle.

We summarize by saying (see [

Proposition 2: There are infinitely many connected components Γ ′ k , k ∈ ℤ of the pre-image of the real axis by ζ A , Λ ( s ) . No two such components can intersect each other and consecutive ones Γ ′ k and Γ ′ k + 1 form infinite strips S k , 0 ∈ S 0 extending for σ from − ∞ to + ∞ (see [

All these affirmations are proved in Section 3 of [

Every strip S k can be partitioned into sub-strips, which are fundamental domains of ζ A , Λ ( s ) , i.e. which are mapped conformally by ζ A , Λ ( s ) onto the whole complex plane with some slits. For example, if the strip S k contains a

zero v k , j of ζ ′ A , Λ ( s ) , then the pre-image of the segment I k , j from z = 1 to z = ζ A , Λ ( v k , j ) included in S k is formed with either disjoint arcs η k , j originating in points u k , j on curves Γ k , j with ζ A , Λ ( u k , j ) = 1 and ending in some points u k j ′ on Γ k , j ′ such that ζ A , Λ ( u k , j ′ ) = 1 , or with disjoint unbounded curves η k , j originating in u k , j and such that when z on I k , j approaches 1, the corresponding point s = σ + i t ∈ η k , j is such that σ → + ∞ . These arcs or unbounded curves are mapped two to one onto the segment I k , j . Together with the pre-image of the interval ( 1, + ∞ ) they bound domains which are mapped conformally by ζ A , Λ ( s ) onto the whole complex plane with a slit alongside the interval [ 1, + ∞ ) followed by I k , j . We get arcs η k , j in the case of embraced curves as shown in

It is obvious that every curve Γ k , j contains a unique zero, since Γ k , j is projected

one to one onto the real axis if j ≠ 0 and onto the interval ( − ∞ ,1 ) if j = 0 . Moreover, no zero can exist outside these curves and if a zero s 0 has the order of multiplicity m then m curves Γ k , j must pass through s 0 . We have shown (see [

Let us notice first that the functional equation Riemann has found for the ζ -function has been a by-product of the continuation process of the ζ -series through contour integration (see [

ζ ( s ) = 2 s π s − 1 sin ( π s 2 ) Γ ( 1 − s ) ζ ( 1 − s ) we obtain

ζ a ( s ) = [ ( 2 s − 2 ) / ( 1 − 1 / 2 s ) ] π s − 1 sin ( π s 2 ) Γ ( 1 − s ) ζ a ( 1 − s ) . It is obvious that besides the trivial zeros of ζ ( s ) , the function ζ a ( s ) has the trivial zeros ( 1 + 2 k π i ) / ln 2 , k ∈ ℤ . The non-trivial zeros of ζ ( s ) and ζ a ( s ) coincide. Analogously (see [

Proposition 3: If ζ A , Λ ( s ) satisfies a Riemann type of functional equation, but does not satisfy the RH, then:

(a) The off critical line non-trivial zeros appear in couples of the form s 1 = σ 1 + i t and s 2 = σ 2 + i t = 1 − σ 1 + i t , where σ 1 > 1 / 2 . There is τ 0 , 0 < τ 0 < 1 such that ζ ′ A , Λ ( s ( τ 0 ) ) = 0 , where s ( τ ) = ( 1 − τ ) s 1 + τ s 2

(b) Re s ( τ 0 ) < 1 / 2

This affirmation is illustrated in

interval from 0 to ζ A , Λ ( s 0 ) (the yellow parts), what remains is an unbounded curve γ separating s 1 and s 2 . This curve is mapped two-to-one onto the part of the ray from ζ A , Λ ( s 0 ) (marked f ( s 0 ) on

φ ( s ) = ζ A , Λ − 1 | Ω 2 ∘ ζ A , Λ ( s ) (13)

of Ω 1 onto Ω 2 can be extended to an involution of Ω 1 ∪ Ω 2 ∪ γ in which γ is mapped one to one onto itself with the fix point s 0 .

In what follows we will deal with general Dirichlet series whose coefficients and exponents satisfy some special conditions. We consider the coefficients as being the values of arithmetic functions: χ : ℕ → ℂ defined by χ ( n ) = a n . We say that the function χ is totally multiplicative if χ ( 1 ) = 1 and for every m and n we have χ ( m n ) = χ ( m ) χ ( n ) . The Dirichlet characters are totally multiplicative arithmetic functions defined on ℤ for which there exists a positive integer m such that χ ( n + m ) = χ ( n ) for all n ∈ ℤ . We say that χ is a Dirichlet character modulo m. The ordinary Dirichlet series defined by such coefficients are called Dirichlet L-series. We notice that if χ is totally multiplicative and n has the prime decomposition n = p 1 α 1 p 2 α 2 ⋯ p k α k then

χ ( n ) = χ ( p 1 ) α 1 χ ( p 2 ) α 2 ⋯ χ ( p k ) α k (*)

The exponents can be considered also as generated by an arithmetic function λ : ℕ → ℝ + by λ ( n ) = λ n We say that λ is an additive function if λ ( m n ) = λ ( m ) + λ ( n ) for every m and n. It can be easily checked that if λ is additive then for any n with prime decomposition n = p 1 α 1 p 2 α 2 ⋯ p k α k we have

λ ( n ) = a 1 λ ( p 1 ) + α 2 λ ( p 2 ) + ⋯ + α k λ ( p k ) . (**)

Theorem 5. Suppose that the general Dirichlet series

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

converges absolutely for some s and is such that χ ( n ) is totally multiplicative and λ ( n ) is additive. Then

ζ A , Λ ( s ) = ∏ p ∈ ℘ [ 1 − χ ( p ) e − λ ( p ) s ] − 1 (15)

where ℘ is the set of prime numbers.

Proof: On multiplying both terms in (14) by 1 − χ ( 2 ) e − λ ( 2 ) s we get

[ 1 − χ ( 2 ) e − λ ( 2 ) s ] ζ A , Λ ( s ) = 1 + χ ( 3 ) e − λ ( 3 ) s + χ ( 5 ) e − λ ( 5 ) s + ⋯ (16)

where in the right hand side all the terms with even arguments have cancelled since χ ( 2 ) χ ( k ) = χ ( 2 k ) and e − λ ( 2 ) s e − λ ( k ) s = e − [ λ ( 2 ) + l ( k ) ] s = e − λ ( 2 k ) s . If we now multiply in (16) by 1 − χ ( 3 ) e − λ ( 3 ) s we get

[ 1 − χ ( 2 ) e − λ ( 2 ) s ] [ 1 − χ ( 3 ) e − λ ( 3 ) s ] ζ A , Λ ( s ) = 1 + χ ( 5 ) e − λ ( 5 ) s + χ ( 7 ) e − λ ( 7 ) s + ⋯ (17)

where in the right hand side all the terms with arguments multiple of 2 and 3 have cancelled. After n − 1 steps in which we have used consecutive primes p 1 , p 2 , ⋯ , p n − 1 the right hand side becomes 1 + χ ( p n ) e − λ ( p n ) s + ⋯ all the other coefficients and exponents depending on arguments which are not multiple of p 1 , p 2 , ⋯ , p n − 1 .

Let us take σ = Re s > σ 0 > σ a where σ a is the abscissa of absolute convergence of the series (14). By using the notation Σ ′ for the summation of terms with arguments not multiple of p 1 , p 2 , ⋯ , p n − 1 we have:

| Σ ′ k ≥ p n χ ( k ) e − λ ( k ) s | ≤ Σ ′ k ≥ p n | χ ( k ) | e − λ ( k ) σ = Σ ′ k ≥ p n | χ ( k ) | e − λ ( k ) ( σ − σ 0 ) e − λ ( k ) σ 0 = e − λ ( p n ) ( σ − σ 0 ) Σ ′ k ≥ p n | χ ( k ) | e − [ λ ( k ) − λ ( p n ) ] ( σ − σ 0 ) e − λ ( k ) σ 0 ≤ ∑ k = p n ∞ | χ ( k ) | e − λ ( k ) s 0 → 0

as n → ∞ , since the series ∑ k = 1 ∞ | χ ( k ) | e − λ ( k ) σ 0 is convergent. The last inequality is true because e − λ ( p n ) ( σ − σ 0 ) < 1 and e − [ λ ( k ) − λ ( p n ) ] ( σ − σ 0 ) ≤ 1 for k ≥ p n . This shows that the formula (15) is true.

We say that the series (14) is an Euler product series. When it can be continued as a meromorphic function into the whole complex plane we will say that the respective function is an Euler product function. It can be easily checked that the Dirichlet L-functions are Euler product functions. On the other hand, totally multiplicative functions can be built by taking χ : ℘ → ℂ arbitrary and extending it to ℕ by the formula (*). Obviously, any logarithm function is an additive function, yet the class of additive functions is much larger. Indeed, we can define an arbitrary additive function as follows. Take λ : ℘ → ℝ + and extend it to ℕ by the formula (**) in the following way. First, λ 1 = 0 and then λ 2 and

λ 3 are arbitrary subject to the conditions 0 < 3 2 λ 2 < λ 3 < 2 λ 2 . Then set

λ 4 = 2 λ 2 . Next, take λ 5 arbitrary, subject to the only condition λ 4 < λ 5 < λ 2 + λ 3 and set λ 6 = λ 2 + λ 3 . Then take λ 7 arbitrary subject to the condition λ 6 < λ 7 < 3 λ 2 and set λ 8 = 3 λ 2 , and λ 9 = 2 λ 3 . By the initial inequalities we made sure that λ 8 < λ 9 , etc. We can do the same for any two consecutive subscripts and then the function λ : ℕ → ℝ + is increasing and the equation (**) is satisfied. With the two functions χ and λ we build arbitrary Euler product general Dirichlet series.

Let us denote by L the class of functions obtained by meromorphic continuation to the whole complex plane of the series (1) which satisfy a Riemann type of functional equation and are Euler product functions. We suppose also that the series (1) has the abscissa of convergence σ c ≤ 0 . The off critical line non-trivial zeros of these functions come in couples s 1 = σ 1 + i t 0 and s 2 = σ 2 + i t 0 , where σ 2 = 1 − σ 1 and σ 1 ≥ 1 / 2 .

What follows is a new approach to the problem of the location of non-trivial zeros of functions of the class L undertaken in [

Theorem 6: The functions of the class L satisfy the Riemann Hypothesis, i.e. for every non-trivial zero s = σ + i t we have σ = 1 / 2 .

Proof: Let us denote for the n-th prime number p n and any p ∈ ℘ :

f n ( s ) = ∏ p ≤ p n [ 1 − a p e − λ p s ] (18)

and notice that f n ( s ) are integer functions with lim n → ∞ f n ( s ) = 1 / ζ A , Λ ( s ) uniformly on compact sets of the half plane of convergence. Since σ c ≤ 0 , a neighborhood of the fix point s 0 from

lim n → ∞ f n ( φ ( s ) ) / f n ( s ) = ζ A , Λ ( s ) / ζ A , Λ ( φ ( s ) ) ≡ 1 (19)

in that neighborhood. There is a unique extension of this last ratio to an analytic function in the domain Ω 1 ∪ Ω 2 ∪ γ of the Proposition 3. The functions f n ( φ ( s ) ) and f n ( s ) are also defined in that domain. By the permanence of functional equations (see [

However, ζ A , Λ ( σ 1 + i t 0 ) = ζ A , Λ ( σ 2 + i t 0 ) = 0 and therefore their ratio is not defined. Yet, the two zeros have the same order of multiplicity and the l’Hospital rule applies.

The conclusion is that ζ A , Λ ( s ) / ζ A , Λ ( φ ( s ) ) is identically equal to 1 in Ω 1 ∪ Ω 2 ∪ γ . In particular lim n → ∞ f n ( φ ( σ 1 + i t 0 ) ) / f n ( σ 1 + i t 0 ) = 1 = ζ A , Λ ( σ 1 + i t 0 ) / ζ A , Λ ( σ 2 + i t 0 ) . By (18), this limit is:

lim n → ∞ ∏ p ≤ p n [ ( 1 − a p e − λ p ( 1 − σ 1 + i t 0 ) ) / ( 1 − a p e − λ p ( σ 1 + i t 0 ) ) ] = lim n → ∞ { a p 1 a p 2 ⋯ a p n exp [ − ( λ p 1 + λ p 2 + ⋯ + λ p n ) ( 1 − σ 1 + i t 0 ) ] + ⋯ } / { a p 1 a p 2 ⋯ a p n exp [ − ( λ p 1 + λ p 2 + ⋯ + λ p n ) ( σ 1 + i t 0 ) ] + ⋯ }

The ratio of the leading terms is

exp [ ( λ p 1 + λ p 2 + ⋯ + λ p n ) ( 2 σ 1 − 1 ) ] and at the limit as n → ∞ it should be (19). Yet the limit is ∞ if σ 1 > 1 / 2 . Therefore, since (19) is true, we must have σ 1 = 1 / 2 , in which case the ratio of the leading terms in (19) is 1 and therefore the limit is 1, as expected. Then we have also σ 2 = 1 − σ 1 = 1 / 2 . This doesn't mean that we have necessarily a double zero. However, if a double zero exists, it should be on the critical line, which agrees with Theorem 6. On the other hand, since simple zeros off critical line cannot exist, RH for the class L is completely proved.

In order to properly tackle the extension of the Riemann Hypothesis to a class of functions generated by general Dirichlet series, we needed to reformulate the concept of trivial and non-trivial zeros. This fact required to redefine the concept of multiplier in a Riemann type of functional equation as a meromorphic function in the complex plane whose zeros can be trivially found. Therefore the multiplier is not necessarily a real function, as usually thought of, and a Riemann type of functional equation in our meaning is more general. What remains the same is the fact that the off critical line non-trivial zeros of a Dirichlet function satisfying a Riemann type of functional equation appear in couples symmetric with respect to the critical line Re s = 1 / 2 . For the functions derived from Euler product series, it is shown that those zeros must coincide. We used as a tool in proving this assertion known facts about the geometry of mappings by Dirichlet functions, as well as the classic theorem of permanence of functional equations.

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. (2021) On the Non-Trivial Zeros of Dirichlet Functions. Advances in Pure Mathematics, 11, 187-204. https://doi.org/10.4236/apm.2021.113014