Next Article in Journal
Temporal Consistency-Based Loss Function for Both Deep Q-Networks and Deep Deterministic Policy Gradients for Continuous Actions
Previous Article in Journal
Brain Asymmetry: Towards an Asymmetrical Neurovisceral Integration
Previous Article in Special Issue
On Independent Secondary Dominating Sets in Generalized Graph Products
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Values of the Periodic Zeta-Function at the Nontrivial Zeros of Riemann’s Zeta-Function

by
Janyarak Tongsomporn
1,*,
Saeree Wananiyakul
1 and
Jörn Steuding
2
1
School of Science, Walailak University, Nakhon Si Thammarat 80160, Thailand
2
Department of Mathematics, Würzburg University, Am Hubland, 97218 Würzburg, Germany
*
Author to whom correspondence should be addressed.
Symmetry 2021, 13(12), 2410; https://doi.org/10.3390/sym13122410
Submission received: 29 October 2021 / Revised: 29 November 2021 / Accepted: 9 December 2021 / Published: 13 December 2021
(This article belongs to the Special Issue Number Theory and Discrete Mathematics)

Abstract

:
In this paper, we prove an asymptotic formula for the sum of the values of the periodic zeta-function at the nontrivial zeros of the Riemann zeta-function (up to some height) which are symmetrical on the real line and the critical line. This is an extension of the previous results due to Garunkštis, Kalpokas, and, more recently, Sowa. Whereas Sowa’s approach was assuming the yet unproved Riemann hypothesis, our result holds unconditionally.

1. Introduction

The periodic zeta-function, introduced by Berndt and Schorenfeld [1] in 1975, is defined by
F ( s ; α ) = n 1 e ( n α ) n s ,
for ( s ) > 1 and a real parameter α where the abbreviation e ( α ) = exp ( 2 π i α ) is used; the naming reflects the periodicity F ( s ; α + 1 ) = F ( s ; α ) for which we may assume α ( 0 , 1 ] in the sequel. The periodic zeta-function admits a meromorphic continuation to the whole complex plane (details about this in the following section). Of particular interest are special values of the parameter,
F ( s ; 1 ) = ζ ( s ) and F s ; 1 2 = 2 1 s 1 ζ ( s ) ,
where ζ ( s ) is the Riemann zeta-function. We shall prove that for no other values of α than 0 or 1 / 2 mod 1 the quotient F ( s ; α ) / ζ ( s ) is an entire function.
As usual, we denote the nontrivial (non-real) zeros of ζ ( s ) as ρ = β + i γ . The number of nontrivial zeros ρ = β + i γ of ζ ( s ) satisfying 0 < γ < T is by the Riemann–von Mangoldt formula asymptotically given by
N ( T ) : = # { ρ = β + i γ : 0 < γ T } = T 2 π log T 2 π e + O log T
(here, every multiple zero would be counted according to its multiplicity; however, there is no multiple ζ -zero known so far). The Riemann hypothesis states that all nontrivial zeros ρ lie on the critical line ( s ) = 1 / 2 . Recently, Sowa [2] obtained under assumption of the truth of this unproven conjecture the limit
lim T 1 N ( T ) 0 < γ < T F ( ξ + i γ ; α ) = exp ( 2 π i α )
where the convergence type is (i) distributional whenever ξ > 0 , (ii) in L 2 -norm whenever ξ > 1 , and (iii) uniform whenever ξ > 3 / 2 . His approach relies on Fourier analysis, and his motivation came from theoretical physics. There have been notable investigations in this direction before Sowa’s work. The first result of this type is probably due to Fujii [3] who proved a similar asymptotic formula with the Hurwitz zeta-function in place of the periodic zeta-function conditional to the Riemann hypothesis. Garunkštis and Kalpokas [4] succeeded with the case of the periodic zeta-function associated with a rational parameter α unconditionally. These approaches rely on approximate functional equations and contour integration, respectively. This is also the method that we shall use in our proof below. Notice that we also recover the rational case α = k / q with coprime integers 1 k < q integers, namely
0 < γ T F ρ ; k q = exp 2 π i k q μ ( q ) ϕ ( q ) T 2 π log T 2 π e + 1 ϕ ( q ) χ mod q χ χ 0 χ ( k ) τ ( χ ¯ ) L L ( 1 , χ ) T 2 π + + μ ( q ) ϕ ( q ) Ψ k q + p | q log p p 1 + γ 0 T 2 π + p | q log p j = 1 exp 2 π i p j k q p j T 2 π + O T 1 c ( log T ) 3 4 ε .
Here, μ denotes the Möbius μ -function and ϕ is Euler’s totient; furthermore, Dirichlet characters χ mod q and their associated Gauss sums τ ( χ ) and Dirichlet L -functions appear; finally, we observe the Euler–Mascheroni constant γ 0 = lim x ( n x 1 / n log x ) as well as the Digamma function Ψ ( x ) = Γ ( x ) / Γ ( x ) . In the special case k / q = 1 / 2 , the main term vanishes since the character sum is empty, and Ψ ( 1 / 2 ) = 2 log 2 γ 0 in coincidence with Formula (1).
Our main result is as follows.
Theorem 1.
For irrational α ( 0 , 1 ) ,
0 < γ < T F ( ρ + ξ ; α ) = e ( α ) T 2 π log T 2 π e T 2 π n 2 Λ ( n ) e ( n α ) n 1 + ξ + ε ( T ; ξ , α ) ,
where the error term is
ε ( T ; ξ , α ) ( log T ) 2 i f ξ > 1 , T 1 ξ log T i f 0 < ξ 1 , T 4 / 5 ( log T ) 4 i f ξ = 0 .
Here and in the sequel, the abbreviation e ( α ) = exp ( 2 π i α ) and Λ is the von Mangoldt-function, defined by
Λ ( n ) = log p if n = p k , p prime , k N , 0 otherwise .
It follows that the mean-value of F ( ρ + ξ ; α ) exists and is equal to e ( α ) for any irrational parameter α .
The case of rational  α , however, is rather different. The case of α = 1 is trivial (see Formula (1)). Then, the proof of the above theorem will show that the same asymptotics hold whenever ξ > 0 ; however, for ξ = 0 , the main term is significantly different and has been treated by different means.
In the following section, we recall several useful facts about zeta-functions in number theory as well as some classical results on exponential integrals. In Section 3, we provide the proof of the main theorem. The so far unsettled case of irrational parameters relies on an estimate of exponential sums due to Vinogradov in the context of his famous work on the Goldbach conjecture.

2. Preliminaries

We begin with the formula
F ( s ; α ) = n 1 e ( n α ) n s = 1 Z ( α ) s 1 + O ( 1 ) ,
valid in a neighbourhood of s = 1 with
1 Z ( α ) 1 if α Z , 0 otherwise .
This follows for rational α = k / q with w.l.o.g. gcd ( k , q ) = 1 from the representation
F s ; k q = q s 1 b q e b k q ζ s ; b q ,
valid for σ > 1 , where the Hurwitz zeta-function to a real parameter β ( 0 , 1 ] is defined by
ζ ( s ; β ) = m 0 ( m + β ) s for σ > 1 , = 1 s 1 + O ( 1 ) in a neighbourhood of s = 1 ,
respectively. The formula
F ( 1 ; α ) = 1 2 log 2 + log 1 cos ( 2 π α ) + i π ( 1 + 2 α )
is valid for 0 < α < 1 . For details, we refer to [5].
The functional equation for the Riemann zeta-function plays an important role, i.e.,
ζ ( s ) = Δ ( s ) ζ ( 1 s ) with Δ ( s ) 2 ( 2 π ) s 1 Γ ( 1 s ) sin π s 2 .
Applying the logarithmic derivative, we deduce
ζ ζ ( s ) = Δ Δ ( s ) ζ ζ ( 1 s ) ,
and from Stirling’s formula, we find
Δ Δ ( σ + i t ) = log t 2 π + O 1 t .
In addition,
ζ ζ ( s ) = m 2 Λ ( m ) m s for σ > 1 = 1 s 1 + O ( 1 ) in a neighbourhood of s = 1
with von Mangoldt’s Λ -function. Moreover, we shall use
ζ ζ ( s ) = O ( log t ) 2 for 1 σ 2 , | t γ | c log t ,
where c is a positive constant, as follows from partial fraction decomposition:
F ( s ; α ) = Γ ( 1 s ) ( 2 π ) 1 s e 1 s 4 ζ ( 1 s ; α ) + e s 1 4 ζ ( 1 s ; 1 α ) .
This functional equation and Stirling’s formula plus the Phragmén-Lindelöf principle lead to
F ( s ; α ) 1 if σ > 1 , t 1 σ 2 if 1 log T σ 1 + 1 log T , 1 t T , t 1 2 σ if σ < 0 ,
as t .
Furthermore, we shall make use of the so-called first derivative test:
Lemma 1.
Let F ( x ) and G ( x ) be real functions, G ( x ) F ( x ) monotonic, and F ( x ) G ( x ) m > 0 , or m < 0 ; then,
a b G ( x ) exp i F ( x ) 4 m .
A proof of this statement can be found, for example, in [6].
Another crucial tool in our approach is Gonek’s lemma [7]:
Lemma 2.
For large A r B 2 A ,
A B exp i t log t r e t 2 π a 1 2 d t = ( 2 π ) 1 a r a exp i r π 4 1 [ A , B ) ( r ) + E ( r ; A , B )
where the real number a is fixed,
E ( r ; A , B ) = O A a 1 2 + A a + 1 2 | A r | + A 1 2 + B a + 1 2 | B r | + B 1 2
and
1 [ A , B ) ( r ) : = 1 if A r < B , 0 otherwise .
Finally, we need a simple form of an approximate functional equation:
Lemma 3.
For σ σ 0 > 0 , | t | π α x and 0 < α < 1 ,
F ( σ + i t ; α ) = 1 n x e ( n α ) n σ + i t + O x σ .
This last lemma is a special case of an approximate functional equation for the Lerch zeta-function (see [5], page 32), and it is easily proved by partial summation.

3. Proof of the Main Theorem

Recall that the logarithmic derivative ζ ζ of ζ has simple poles at the zeros of ζ and is analytic elsewhere except for a simple pole at s = 1 . Hence, by Cauchy’s theorem,
0 < γ < T F ( ρ + ξ ; α ) = 1 2 π i C ζ ζ ( s ) F ( s + ξ ; α ) d s ,
where C is a counter-clockwise oriented contour with vertices a + i ,   a + i T ,   1 a + i T , 1 a + i with a : = 1 + 1 log T . Moreover, we assume—for the first—that T 3 satisfies
T γ c log T ,
where γ is any ordinate of a ζ -zero ρ = β + i γ , and c is a positive constant; note that every interval [ T 0 , T 0 + 1 ) contains such a real number T as follows from the Riemann–von Mangoldt formula.
Notice that the least ordinate γ of a ζ -zero in the upper half-plane is a little larger than 14 . We rewrite the contour integral as
1 2 π i a + i a + i T + a + i T 1 a + i T + 1 a + i T 1 a + i + 1 a + i a + i ζ ζ ( s ) F ( s + ξ ; α ) d s = j = 1 4 I j ,
for instance. The main term comes from the integral I 3 over the vertical line segment on the left; all other integrals contribute to the error term.
We begin with the integral I 4 over the lower horizontal line segment, since this is independent of T . We have I 4 = O ( 1 ) .
Since the vertical line segment on the right lies inside the half-plane of absolute convergence for the defining Dirichlet series, we find
I 1 = 1 2 π i a + i a + i T m 2 Λ ( m ) m s n 1 e ( n α ) n s ξ d s
or, after interchanging integration and summation,
I 1 = m 2 Λ ( m ) m a n 1 e ( n α ) n a ξ 1 2 π 1 T ( m n ) i t d t .
Since m n 2 , the latter integral is bounded, and it follows from the Laurent expansions of ζ ζ ( s ) and of F ( s + ξ ; α ) at s = 1 that
I 1 = O ζ ζ ( a ) F ( a + ξ ; α ) = O ( log T ) 2 .
Note that
ζ ζ ( a ) = 1 a 1 + O ( 1 ) = 1 1 + 1 log T 1 + O ( 1 ) = O ( log T ) .
Observe that I 1 = O ( log T ) if α are irrational or ξ > 0 ; however, there will be bigger error terms.
In view of the estimates for ζ ζ and F , we obtain for the upper horizontal integral
I 2 = 1 2 π i a + i T 1 a + i T ζ ζ ( s ) F ( s + ξ ; α ) d s = 1 2 π i 1 a a ζ ζ ( σ + i T ) F ( σ + ξ + i T ; α ) d σ = O ( log T ) 2 max 1 , T 1 ξ 2 .
It remains to consider the vertical integral on the left:
I 3 = 1 2 π i 1 a + i T 1 a + i ζ ζ ( s ) F ( s + ξ ; α ) d s .
Here we have to distinguish cases.
1st case: ξ > 1 . Then, F ( s + ξ ; α ) can be replaced by its absolutely convergent Dirichlet series. For the logarithmic derivative ζ ζ , we apply the functional equation and obtain
I 3 = 1 2 π i 1 a + i 1 a + i T ζ ζ ( 1 s ) Δ Δ ( s ) F ( s + ξ ; α ) d s = 1 2 π 1 T m 2 Λ ( m ) m a i t n 1 e ( n α ) n 1 + ξ a + i t d t + 1 2 π 1 T log t 2 π + O 1 t n 1 e ( n α ) n 1 + ξ a + i t d t = J 1 + J 2 , say .
Since ξ > 1 , we may interchange integration and summation which yields
J 1 = 1 2 π m 2 Λ ( m ) m a n 1 e ( n α ) n 1 + ξ a 1 T m n i t d t .
The latter integral is equal to T + O ( 1 ) if m = n , respectively,
1 T exp i t log m n d t = O ( 1 ) if m n .
Hence,
J 1 = T 2 π n 2 Λ ( n ) e ( n α ) n 1 + ξ + O log T
(by taking into account the Laurent expansion of ζ ζ ( s ) at s = 1 ). Obviously, the infinite series is absolutely convergent (since ξ > 1 ). For the other integral, we similarly find
J 2 = 1 2 π 1 T log t 2 π + O 1 t d t · e ( α ) + 1 2 π n > 1 e ( n α ) n 1 + ξ a 1 T log t 2 π · exp i t log n d t + O ( log t ) .
Applying the first derivative test shows that
u T log t 2 π exp i t log n d t = O log T log n
for every sufficiently large constant u . Hence, we obtain
J 2 = e ( α ) T 2 π log T 2 π e + O log T .
Collecting all results so far thus leads, for the case ξ > 1 , to
0 < γ < T F ρ + ξ ; α = e ( α ) T 2 π log T 2 π e T 2 π n 2 Λ ( n ) e ( n α ) n 1 + ξ + O ( log T ) 2 .
2nd case: 0 < ξ 1 . Then, F ( s + ξ ; α ) is for s [ 1 a + i , 1 a + i T ] no longer represented by an absolutely convergent Dirichlet series. In this case, we use the simple approximate functional equation in I 3 and arrive at
I 3 = 1 2 π i 1 a + i 1 a + i T ζ ζ ( 1 s ) Δ Δ ( s ) n x e ( n α ) n 1 + ξ a + i t + O x ( 1 + ξ a ) d s ,
where σ = 1 + ξ a is positive for sufficiently large T and T π α x . Integrating the error term leads to an error term of size
O T log T x ( 1 + ξ a ) = O T 1 ξ log T = o ( T ) .
For the remaining terms, we find, similar to the first case,
I 3 = 1 2 π 1 T m 2 Λ ( m ) m a i T + log t 2 π + O 1 t e ( α ) + 1 < n x e ( n α ) n 1 + ξ a + i t d t = k = 1 6 J k , say .
By the same methods as above,
J 1 = 1 2 π 1 T m 2 Λ ( m ) m a i t d t · e ( α ) = 1 2 π m 2 Λ ( m ) m a 1 T m i t d t · e ( α ) = O log T ,
J 2 = 1 2 π 1 T m 2 Λ ( m ) m a i t 1 n x e ( n α ) n 1 + ξ a + i t d t = 1 2 π m 2 Λ ( m ) m a 1 n x e ( n α ) n 1 + ξ a 1 T m n i t d t = T 2 π 1 < n x Λ ( n ) e ( n α ) n 1 + ξ + O ( log T ) 2 ,
where the latter series now is finite; however, in view of its convergence as x (since ξ > 0 ), we have
1 < n x Λ ( n ) e ( n α ) n 1 + ξ = n 2 Λ ( n ) e ( n α ) n 1 + ξ + O log x x ξ
(since n > x log n n 1 + ξ = O x log u u 1 + ξ d u = O log x x ξ ); hence,
J 2 = T 2 π n 2 Λ ( n ) e ( n α ) n 1 + ξ + O T 1 ξ log T
by choosing T = π α x . The integral J 3 has already been computed in the first case and contributes to the main term. Next,
J 4 = 1 2 π 1 T log t 2 π 1 < n x e ( n α ) n 1 + ξ a + i t d t = 1 2 π 1 < n x e ( n α ) n 1 + ξ a 1 T log t 2 π exp i t log n d t
and applying the first derivative test once more yields
J 4 = O log T .
Obviously, J 5 = O log T , too, and, finally,
J 6 = 1 2 π 1 < n x e ( n α ) n 1 + ξ a 1 T O 1 t n i t d t = O log T .
Collecting together, we thus obtain, for 0 < ξ 1 , that
0 < γ < T F ρ + ξ ; α = e ( α ) T 2 π log T 2 π e T 2 π n 2 Λ ( n ) e ( n α ) n 1 + ξ + O T 1 ξ log T .
It thus remains to consider the last case.
3rd case: ξ = 0 . In view of the above formula, this is the most interesting case since the error term estimate would exceed the main terms for ξ = 0 .
By the functional equation and substituting s 1 s , we obtain
I 3 = 1 2 π i 1 a + i 1 a + i T ζ ζ ( 1 s ) Δ Δ ( s ) F ( s ; α ) d s = 1 2 π i a i a i T Δ Δ ( 1 s ) ζ ζ ( s ) F ( 1 s ; α ) d s
which is the conjugate of
I 3 ¯ = 1 2 π i a + i a + i T Δ Δ ( 1 s ) ζ ζ ( s ) F ( 1 s ; 1 α ) d s = 1 2 π i a + i a + i T Δ Δ ( 1 s ) ζ ζ ( s ) Γ ( s ) ( 2 π ) s e s 4 ζ ( s ; 1 α ) + e s 4 ζ ( s ; α ) d s = k = 1 4 J k , say ,
where we also used the functional equation for F ; note that conjugation here requires switching the parameter in the periodic zeta-function to α , respectively, 1 α . Moreover, observe that the Hurwitz zeta-functions appearing above as well as the periodic zeta-function are represented as absolutely convergent Dirichlet series. By Stirling’s formula,
Γ ( s ) ( 2 π ) s e ± s 4 s = σ + i t = t 2 π σ 1 2 + i t exp i t + π 4 O exp ( π t ) for + " , 1 + O 1 t for " .
This implies that the integrals J 1 with e ± s 4 contribute to the error term. More precisely,
J 1 = O m 0 ( m + 1 α ) a 1 T log t 2 π + O 1 t t 1 2 exp ( π t ) d t = O ( log T )
where the integral is bounded, and O ( log T ) arises from
m 0 ( m + 1 α ) a = ζ ( a ; 1 α ) = O 1 a 1 .
Furthermore, in a similar way as above,
J 3 = O n 2 Λ ( n ) n a m 0 1 ( m + 1 α ) a 1 T t 1 2 exp ( π t ) d t = O ( log T ) 2
since both Dirichlet series have a simple pole at s = 1 (and a = 1 + 1 log T ).
It thus remains to evaluate J 2 and J 4 . For this purpose, we shall use “Gonek’s lemma”. We begin with J 2 , and as an application of the fundamental theorem of calculus,
J 2 = 1 2 π i a + i a + i T Δ Δ ( 1 s ) Γ ( s ) ( 2 π ) s e s 4 ζ ( s ; α ) d s = 1 T log τ 2 π + O 1 τ d 1 2 π i a + i a + i τ Γ ( s ) ( 2 π ) s e s 4 ζ ( s ; α ) d s .
Next, we rewrite the integrator as follows:
J : = 1 2 π i a + i a + i τ Γ ( s ) ( 2 π ) s e s 4 m 0 ( m + α ) s d s = m 0 ( m + α ) a 1 j J 1 2 π 2 j τ 2 1 j τ Γ ( a + i t ) ( 2 π ) a + i t e a + i t 4 ( m + α ) i t d t + O ( log T )
where J N is uniquely determined by
2 J τ < 1 2 1 J τ ,
and the error term arises from
2 𝒥 τ 1 Γ ( a + i t ) ( 2 π ) a + i t e a + i t 4 ( m + α ) i t d t = O ( 1 )
and summation over m 0 . Applying Gonek’s lemma, we find
1 2 π 2 j τ 2 1 j τ Γ ( a + i t ) ( 2 π ) a + i t e a + i t 4 ( m + α ) i t d t = 1 2 π A B t 2 π a 1 2 exp i t log t r e exp π i 4 + O 1 t d t = r 2 π a exp ( i r ) 1 [ A , B ) ( r ) + E ( r ; A , B )
where B = 2 A = 2 1 j τ , r = 2 π ( m + α ) , and E ( r ; A , B ) is the corresponding error term. This leads to
J = m 0 ( m + α ) a 1 j J ( m + α ) a exp ( 2 π i ( m + α ) 1 [ 2 j τ , 2 1 j τ ) ( 2 π ( m + α ) ) + + E 2 π ( m + α ) ; 2 j τ , 2 1 j τ = 0 m τ 2 π e ( α ) + O τ 1 2
(since exp ( 2 π i ( m + α ) ) = e ( α ) and r = 2 π ( m + α ) τ is equivalent to m τ 2 π α , but the difference to summing up according to m τ 2 π is negligible); the error term estimate follows as in the case of Gonek’s original work (see his Lemma 4).
Hence, J = e ( α ) τ 2 π + O τ 1 2 ; plugging this into the formula for J 2 and applying partial integration, we arrive at
J 2 = e ( α ) T 2 π log T 2 π e + O T 1 2 .
It remains to evaluate
J 4 = 1 2 π i a + i a + i T ζ ζ ( s ) Γ ( s ) ( 2 π ) s e s 4 ζ ( s ; α ) d s = n 2 Λ ( n ) n a m 0 1 ( m + α ) a 1 2 π 1 T Γ ( a + i t ) ( 2 π ) a + i t e a + i t 4 ( n ( m + α ) ) i t d t .
Applying Gonek’s lemma once more (this time with r = 2 π n ( m + α ) ) leads to
J 4 = n 2 m 2 n ( m + α ) T 2 π Λ ( n ) e ( n α ) + O T 1 2 .
For rational α = k q , where w.l.o.g. k and q are coprime, we follow Kalpokas’ reasoning and consider
n 2 m 2 n ( m + α ) x Λ ( n ) e ( n α ) = 1 b q gcd ( b , q ) = 1 + 1 b q gcd ( b , q ) > 1 e b k q n m + k q x n b mod q Λ ( n ) = Σ 1 + Σ 2 , say .
Using the orthogonality relation for characters
1 φ ( q ) χ mod q χ ¯ ( b ) χ ( n ) = 1 if n b mod q 0 otherwise
is valid if gcd ( b , q ) = 1 . We find
Σ 1 = 1 φ ( q ) χ mod q 1 b q χ ¯ ( b ) e b k q n m + k q x Λ ( n ) χ ( n ) = 1 φ ( q ) χ mod q τ ( k , χ ¯ ) W ( x ) .
where τ ( r , χ ) b mod q χ ( b ) e r b q is the Gauss sum associated with χ and
W ( x ) : = W x ; k q , χ : = n m + k q x Λ ( n ) χ ( n ) ,
which we may rewrite by Perron’s formula as
W ( x ) = 1 2 π i a i u a + i u L L ( s ; χ ) ζ s ; k q x s s d s + O x ( log x ) 2 u .
Moving the path of integration to the left and taking into account a suitable zero-free region for Dirichlet L -functions, one obtains
W ( x ) = res s = 1 L L ( s , χ ) ζ s ; k q x s s + 1 2 π i a + i u b + i u + b + i u b i u + b i u a i u L L ( s ; χ ) ζ s ; k q x s s d s + O x ( log x ) 2 u
where b can be chosen as 1 c ( log u ) 3 4 ε with an appropriate c > 0 . As usual, we denote the principal character by χ 0 . Taking into account the Laurent expansion of the integrand, one obtains
res s = 1 L L ( s , χ ) ζ s ; k q x s s = x log x e + x Ψ k q + γ 0 + p | q log p p 1 if χ = χ 0 , L L ( 1 , χ ) x otherwise .
The integral can be estimated in a straightforward way; using this with u = T 1 b and x = T 2 π leads to
Σ 1 = 1 ϕ ( q ) χ mod q χ χ 0 τ ( k , χ ¯ ) L L ( 1 , χ ) T 2 π 1 φ ( q ) τ ( k , χ 0 ) T 2 π log T 2 π e + T 2 π Ψ k q + γ 0 + p | q log p p 1 + O T 1 c ( log T ) 3 4 ε .
Since
τ ( k , χ 0 ) = b mod q gcd ( b , q ) = 1 e k b q = c mod q gcd ( c , q ) = 1 e c q = μ ( q )
as well as
τ ( k , χ ¯ ) = b mod q χ ¯ ( b ) e b k q = χ ( k ) c mod q χ ¯ ( c ) e c q = χ ( k ) τ ( 1 ; χ ¯ ) ,
we finally arrive at
Σ 1 = 1 ϕ ( q ) χ mod q χ χ 0 χ ( k ) τ ( 1 ; χ ¯ ) L L ( 1 , χ ) T 2 π μ ( q ) ϕ ( q ) T 2 π log T 2 π e + T 2 π Ψ k q + γ 0 + p | q log p p 1 + O T 1 c ( log T ) 3 4 ε .
It remains to consider
Σ 2 = b mod q gcd ( b , q ) > 1 e k b q n 2 n b mod q Λ ( n ) m 0 n m + k q x 1 = T 2 π p | q log p j 1 e k p j q p j + O log T
since Λ ( m ) 0 only if n = p j and n b mod q , where gcd ( b , q ) > 1 . This gives an asymptotic formula for I 4 , and, finally, it reproduces Formula (3).
If the parameter α , however, is not rational, we cannot apply the theory of Dirichlet L -functions, but we may apply a deep result of Vinogradov [8]. We have
n 2 m 2 n ( m + α ) T 2 π Λ ( n ) e n α = 2 n T 2 π α Λ ( n ) e ( n α ) 2 m T 2 π n α 1 = n T 2 π α Λ ( n ) e ( n α ) T 2 π n α 1 .
Vinogradov proved
V ( N ) : = n N Λ ( n ) e ( n α ) = O N q 1 2 + N 4 5 + N 1 2 q 1 2 ( log N ) 4 ,
where q is from a sequence of integers tending to and satisfying α a q 1 q 2 with gcd ( a , q ) = 1 . Hence,
V ( N ) = O N 4 5 ( log N ) 4
and thus, by partial summation,
N < n M Λ ( n ) e ( n α ) n = n M n N Λ ( n ) e ( n α ) n = V ( M ) M V ( N ) N + N M V ( u ) d u u 2 = O N 1 5 ( log N ) 4 + M 1 5 ( log M ) 4 + N M ( log u ) 4 u 6 5 d u
or, after letting M ,
n > N Λ ( n ) e ( n α ) n = O ( log N ) 4 N 1 5 ;
This shows that
Σ : = n 2 Λ ( n ) e ( n α ) n
is a constant. This gives
n 2 2 n ( m + α ) T 2 π Λ ( n ) e n α = T 2 π n 2 Λ ( n ) e ( n α ) n + O T 1 1 5 ( log T ) 4 .
Plugging this in yields
0 < γ < T F ρ ; α = e ( α ) T 2 π log T 2 π e T 2 π Σ + O T 4 5 ( log T ) 4 .

4. Conclusions

Formula (2) of the Sowa’s result was derived based on the Riemann hypothesis, in which the nontrivial zeros lie on the critical line. However, the nontrivial zeros are symmetrical on the real line and the critical line ( σ = 1 / 2 ). In our study, we applied the contour integration over this assumption and obtained an extended formula of the former results (including Sowa’s result) without conditions.

Author Contributions

Conceptualization, J.S. and J.T.; methodology, J.S., S.W. and J.T.; formal analysis, J.T.; investigation, J.S., S.W. and J.T.; writing—original draft preparation, S.W.; writing—review and editing, J.S., S.W. and J.T.; visualization, J.T.; supervision, J.S.; project administration, J.T.; funding acquisition, J.T. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the National Research Council of Thailand (NRCT) and Walailak University grant number NRCT5-RSA63019-06 (2563NRCT322800).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Acknowledgments

The authors are grateful to the anonymous referee for her or his valuable comments and corrections.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Berndt, B.; Schoenfeld, L. Periodic analogues of the Euler-Maclaurin and Poisson summation formulas with applications to number theory. Acta Arith. 1975, 28, 23–68. [Google Scholar] [CrossRef] [Green Version]
  2. Sowa, A. Riemann’s zeta function and the broadband structure of pure harmonics. IMA J. Appl. Math. 2017, 82, 1238–1252. [Google Scholar] [CrossRef]
  3. Fujii, A. Zeta zeros, Hurwitz zeta functions and L(1,χ). Proc. Jpn. Acad. Ser. Math. Sci. 1989, 65, 139–142. [Google Scholar]
  4. Garunkštis, R.; Kalpokas, J. Sum of the periodic zeta-function over the nontrivial zeros of the Riemann zeta-function. Analysis 2008, 28, 209–217. [Google Scholar] [CrossRef]
  5. Laurinčikas, A.; Garunkštis, R. The Lerch Zeta-Function; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2002. [Google Scholar]
  6. Titchmarsh, E.C.; Heath-Brown, D.R. The Theory of the Riemann Zeta-Function, 2nd ed.; Oxford University Press: Oxford, UK, 1986. [Google Scholar]
  7. Gonek, S.M. Mean values of the Riemann zeta-function and its derivatives. Invent. Math. 1984, 75, 123–141. [Google Scholar] [CrossRef]
  8. Vinogradov, I.M. Representation of an odd number as the sum of three primes. Dokl. Akad. Nauk SSSR 1937, 15, 129–132. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Tongsomporn, J.; Wananiyakul, S.; Steuding, J. The Values of the Periodic Zeta-Function at the Nontrivial Zeros of Riemann’s Zeta-Function. Symmetry 2021, 13, 2410. https://doi.org/10.3390/sym13122410

AMA Style

Tongsomporn J, Wananiyakul S, Steuding J. The Values of the Periodic Zeta-Function at the Nontrivial Zeros of Riemann’s Zeta-Function. Symmetry. 2021; 13(12):2410. https://doi.org/10.3390/sym13122410

Chicago/Turabian Style

Tongsomporn, Janyarak, Saeree Wananiyakul, and Jörn Steuding. 2021. "The Values of the Periodic Zeta-Function at the Nontrivial Zeros of Riemann’s Zeta-Function" Symmetry 13, no. 12: 2410. https://doi.org/10.3390/sym13122410

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop