arxiv: v2 [math.nt] 19 Dec 2018

Transcription

1 arxiv: v2 [math.nt] 19 Dec 2018 An Argument in Confirmation of the Riemann Hypothesis R.C. McPhedran, School of Physics, University of Sydney 2006, Australia December 20, 2018 Abstract Based on results due to Taylor, Lagarias and Suzuki, and Ki, the relationship between the zeros of two combinations of the Riemann zeta function and the function itself is considered. A correspondence is established between the three sets of zeros, giving rise to a new sufficient condition for the distribution function of zeros on the critical line being in accordance with that following from the Riemann hypothesis. This correspondence is made clear in a new function, whose contours of unit modulus incorporate the three sets of zeros. Arguments are presented as to why the new sufficient condition should hold, and regarding the multiplicity of the zeros of the zeta function. 1 Introduction The Riemann hypothesis is regarded as one of the most important and difficult unsolved problems in mathematics. The hypothesis is that all complex zeros of the Riemann zeta function ζ(s) where R(s) = σ, I(s) = t lie on σ = 1/2 [1, 2]. In the nearly hundred and fifty years since Riemann s paper, an extensive literature has developed around the hypothesis and other properties of ζ(s), including many deep analytic results and extensive numerical investigations. However, the hypothesis remains unproved. The approach followed here relies on certain basic properties of the zeta function, which we will now discuss, based on the texts [1, 2]. The zeta function has the series 1 ζ(s) = n s, (1) which converges absolutely in σ > 1. σ < 0 using the functional equation n=1 It may be continued analytically into ξ 1 (s) = Γ(s/2)ζ(s) π s/2 = ξ 1 (1 s), (2) 1

2 with an integral form defining it in the critical strip 0 σ 1. A variant of the function ξ 1 (s) having the same symmetric property under s 1 s is: ξ(s) = 1 2 s(s 1)ξ 1(s) = ξ(1 s). (3) Riemann was able to prove using the Euler product relation for ζ(s) that all its zeros lie in the critical strip, and asserted that the number of zeros whose imaginary parts lie between 0 and T is approximately T 2π log T 2π T 2π, (4) the relative error in the approximation being of order 1/T. (This was in fact proved by von Mangoldt in 1905 [1].) Knowing the formula (4) for the distribution of zeros in the critical strip, the crucial question becomes that of determining the proportion of these lying actually on the critical line. There have been notable successes in proving results close, in some sense, to the Riemann hypothesis that the distribution formula for zeros on the critical line is also given by (4). For example, Bohr and Landau [1, 3] proved that the number of complex roots t of ξ(1/2 + it) = 0 with 0 R(t) T and ε I(t) ε is equal to (4), for any ε 0, with a relative error which approaches zero as T. As another example, Bui, Conrey and Young [4] have proved that over 41% of the zeros of ζ(s) must lie on the critical line. Extensive numerical studies have been carried out on the zeros of ζ(s); it is known that all such zeros are simple and lie on the critical line, as far as the first O(10 9 ) zeros are concerned [2], p.391. Of direct importance to the remainder of this paper are the results concerning antisymmetric/symmetric combinations of two terms involving ξ(s) or ξ 1 (s) with the arguments differing by one. These are of interest because they have been shown to have the properties which one would like to prove hold true for ζ(s): all their complex zeros lie on the critical line, and are simple. The functions were studied by Taylor [5], Lagarias and Suzuki [6] and Ki[7]. The fact that all the non-trivial zeros of the antisymmetric combination lie on the critical line was first established by P.R. Taylor, and published posthumously. (Taylor was in fact killed on active duty with the RAF in North Africa during World War II; the paper was compiled from his notes by Mr. J.E. Rees, while the argument was revised and completed by Professor Titchmarsh.) Lagarias and Suzuki considered the symmetric combination, and showed that all its complex zeros lie on the critical line, while Ki proved that all the complex zeros were simple. A further useful property is that the complex zeros of the symmetric and antisymmetric combinations strictly alternate on the critical line, and have the same distribution function of zeros. The common distribution function is indeed that corresponding to any prescribed argument value of ξ 1 on the line σ = 1. In the remainder of this paper, we build on the work of Taylor [5], Lagarias and Suzuki [6] and Ki[7]. Section 2 contains a discussion of an important figure, 2

3 which encapsulates the key results of this paper. It is followed by a discussion of key theorems and definitions from the work of Taylor [5], Lagarias and Suzuki [6] and Ki[7]. In Section 4, two functions denoted U(s) and V(s) are studied. The first is formed from the ratio of ξ 1 (2s 1) and ξ 1 (2s), while the second is constructed from the ratio of the sum and difference of the two preceding functions. (The factor of two multiplying s in the arguments of these functions is inserted for generality; it has the result that the distribution function of zeros then becomes the same as that of certain double sums: see Chapter 3 of Borwein et al [8] and further comments in Section 3.) The function V(s) has all its complex zeros and poles placed alternately on the critical line: we can use this to reason from the inside out: by this we mean that the central properties are exploited as we move away from σ = 1/2. The function U(s) has its zeros in 1 > σ > 1/2 and its poles in 0 < σ < 1/2: the distribution function of each in the critical strip is given by (4) (if T is replaced by 2T to take into account the replacement of s by 2s). We may refer to U(s) as enabling reasoning from the outside in. The comparison of these two approaches is at the core of the two arguments constructed in Section 4. The first establishes a new sufficient condition: if V(s) > 1 when V (s) = 0, then the zeros or poles of V(s) may be placed into correspondence with a set either of zeros or of poles of U(s). As the distribution function of zeros of V(s) is that of the zeros of ζ(2s 1/2) in the critical strip, the zeros of U(s) must almost always be single (i.e not in the doublets corresponding to zeros of ζ(2s 1/2) off the critical line). The sufficient condition thus ensures that the distribution function of zeros of ζ(2s 1/2) on the critical line is that given by the Riemann hypothesis. The remaining discussion of Section 4 is directed towards establishing that the sufficient condition must indeed hold. A preliminary version of the content of Section 4 has been published previously [10]. Section 5 considers results related to a theorem of Speiser [9] concerning the positions of zeros of the derivative function ζ (s) and their relation to the position of zeros of ζ(s). 2 A Revealing Figure The topic concerning us in this paper is, in essence, a tale of two functions. That denoted V(s) has its fundamental properties well determined. It is a ratio of the symmetric and antisymmetric combinations of functions ξ(2s 1) and ξ(2s), all its zeros and poles lie on the critical line σ = 1/2, and their distribution function is established [5]-[7]. For that denoted U(s), the location of its zeros and poles is the subject of the important but unproved Riemann hypothesis, it is undetermined whether they are of first or higher order, and the distribution function of its zeros on the critical line is keenly sought. It is known, however, that the distribution function of its zeros within the critical strip 0 < σ < 1 is exactly that pertaining to the zeros or poles of V(s) on the critical line. We would like to link as tightly as possible the properties of the target function U(s) to those of the reference function V(s). In order to do this, we consider the simple relationship linking these two 3

4 t functions: V(s) = 1 + U(s) 1 U(s). (5) It is readily seen that this transformation has two fixed points V(s) = U(s) = i and V(s) = U(s) = i. These fixed points are made the zeros and poles of a new function: W(s) = V(s) i ( ) U(s) i V(s) + i = i. (6) U(s) + i Figure 1 shows contours W(s) = 1, and compares them with contours V(s) = σ Figure 1: The black full lines denote contours W(s) = 1, while the black dashed lines denote contours V(s) = 1. Blue dots denote zeros of V(s), while yellow dots denote poles. Black dots denote zeros of U(s), while red dots denote poles. The Riemann hypothesis locates zeros of U(s) on σ = 3/4, and poles on σ = 1/4. What is evident in Fig. 1 is that zeros and poles of U(s) sit between zeros and poles of V(s) on contours W(s) = 1, with the former lying where W(s) = 1 intersects V(s) = 1. These properties are important, because they establish a one-to-one correspondence between zeros of V(s) or W(s) and those of U(s). As 4

5 remarked, we know that the density function of the first is that corresponding to that of the zeros of U(s) everywhere in 0 < σ < 1. However, zeros of U(s) off the line σ = 3/4 occur not singly, but in pairs, so that such pairs must be sufficiently rare to not disturb the distribution function. Hence, we can deduce from Fig. 1, if the geometry shown holds for all zeros of W(s), then almost all zeros of U(s) lie on the line σ = 3/4. We also know that zeros of U(s) lying on a contour W(s) = 1 which has a simple zero of W(s) at its centre must also be simple. Hence, we further deduce that almost all zeros of U(s) are simple. It is the purpose of the remainder of this paper to unite known results and new results in order to show that Fig. 1 represents a universal behaviour. 3 Properties of Combinations of Zeta Functions In this section, we review the properties of combinations of ξ functions and their zeros, which will be needed for the arguments presented in Section The Results of Taylor The posthumous paper of P.R. Taylor contains results on five related topics, only the first of which is of interest here. The following result is proved: Theorem 1. (Taylor) The function f(s) = ξ 1 (s + 1/2) ξ 1 (s 1/2), odd under s 1 s, has all its complex zeros on σ = 1/2. Taylor s proof examines using the argument principle the difference between the number of zeros in the critical strip and on the critical line with 0 < t < T, and bounding the difference in such a way as to give the result. 3.2 The Results of Lagarias and Suzuki The substantial paper by Lagarias and Suzuki [6] was written at around the same time as that of Ki [7]. Although the two papers overlap in some results, there are results in both we will need for the arguments of Section 3. The main theorems proved by Lagarias and Suzuki are now given, using our notations. Theorem 2. (Lagarias and Suzuki ) The meromorphic function, even under s 1 s, 1 ξ 1 (2s) s 1 ξ 1(2s 1) 1 s has all its zeros on the critical line. (7) The next result quoted is for a more general function, again even under s 1 s: 5

6 Theorem 3. (Lagarias and Suzuki ) For each fixed T 1, the meromorphic function has all its zeros on the critical line. I(T, s) = ξ 1 (2s) T s 1 s 1 + ξ 1(2 2s) T s s (8) The third example is motivated by an Eisenstein series result, commonly viewed as due to Chowla and Selberg [11], but in its essence predated by a paper of H. Kober [12]. Kober s equation (5a) is: (ac b 2 ) s/2 1/4 1/2 Γ(s) a 8π s (m 1,m 2) (0,0) 1 (am bm 1m 2 + cm 2 2 )s = 1 4 u (s 1/2) ξ 1 (2s 1) u(s 1/2) ξ 1 (2s) ( ) (s 1/2) m1 + K s 1/2(2πum 1 m 2 ) cos(2πvm 1 m 2 ), (9) m 1,m 2=1, m 2 where v = b/a and u 2 + v 2 = c/a. The double sum on the left-hand side runs over all pairs of positive or negative integers, excluding the origin. This sum has been well studied, with the aim of discovering for what special values of a, b and c it can be represented as a finite superposition of products of Dirichlet L functions- see Table 1.6 of Borwein et al [8] for known results. In general, if more than one Dirichlet L product appears in the result for a sum, it will have non-trivial zeros off the critical line. The Macdonald function sum on the right-hand side is rapidly convergent for the imaginary part of s not large, but the region of summation required for accuracy increases linearly with the imaginary part. This sum can have zeros off the critical line [13]. The first term on the right-hand side has been studied by both Lagarias and Suzuki, and by Ki. Its zeros are governed in the following result: Theorem 4. (Lagarias and Suzuki) For each y 1 the zeros of the function a 0 (y, s) = ξ 1 (2s)y s + ξ 1 (2 2s)y 1 s (10) have the properties that, for 1 y y = 4πe γ all zeros lie on the critical line, while for y > y there are exactly two off the critical line and in the unit interval. Let N(f, T ) count the number of zeros of the function f(s) having 0 t T. Then Lagarias and Suzuki give the relationship between zero distributions of a 0 (y, s) and ξ 1 (2s): N(a 0 (y, s), T ) = N(ξ 1 (2s), T ) + 2 log(y)t + O(1), (11) π 6

7 where, from Titchmarsh and Heath-Brown [2], Theorem 9.4, N(ξ 1 (2s), T ) = T π log T T (log π + 1) + O(log T ). (12) π Note that, from equation (11), 3.3 The Results of Ki Ki proves results relating to the function N(a 0 (1, s), T ) = N(ξ 1 (2s), T ) + O(1). (13) f(y, s) = (s 1)s(2s 1)ξ 1 (2s)y s + s(1 s)(1 2s)ξ 1 (2 2s)y 1 s, (14) which is odd under y 1 s. Then Theorem 5. (Ki) All complex zeros of f(s) are simple and lie on the critical line. Then: For y = 1 this reduces to Taylor s result Theorem 1. Another valuable set of results relate to the following function: θ(t) = arg[(2it)(1/2 + it)( 1/2 + it)ξ 1 (1 + 2it)]. (15) Lemma 1. (Ki) The function θ(t) has the properties: (1) θ(0) = π, (2) θ(t) > π/2 for t > 0, (3) θ(t) is a convex function in (0, 7) and (4) θ(t) increases in [7, ), with θ (t) log t. 3.4 The Functions T + (s) and T (s) We continue with two discussions related to functions for which it is known that all non-trivial zeros are first-order and located on the critical line [7, 6, 14]. The first function is defined as: It has a pole of order unity at s = 0: T + (s) = 1 4 [ξ 1(2s) + ξ 1 (2s 1)]. (16) T + (s) 1 8s + 1 (3γ + π 3 log(4π)) + O(s). (17) 24 It tends to a constant at s = 1/2: It has a pole of order unity at s = 1: T + (s) T + (s) 1 4 (γ log(4π)) + O((s 1/2)2 ). (18) 1 8(s 1) + 1 (3γ + π 3 log(4π)) + O(s 1). (19) 24 7

8 It is even under s 1 s. The function T + (s) takes the following form on the critical line: T + (1/2 + it) = 2 ξ 1 (1 + 2it) cos[arg(ξ 1 (1 + 2it) ], (20) and thus its zeros correspond to arg(ξ 1 (1 + 2it) = (n + 1/2)π for any integer n. The author has compiled a list of the first 1517 zeros of T + (s), the last of which is at t = R(s) (A list of the first 1517 zeros of T + (s) is available via the electronic supplementary material to this paper.) The second function is defined as: T (s) = 1 4 [ξ 1(2s) ξ 1 (2s 1)]. (21) This function is odd under s 1 s. It has poles at s = 0, s = 1/2 and s = 1, and zeros on the real line at s = and s = The function T (s) takes the following form on the critical line: T (1/2 + it) = 2i ξ 1 (1 + 2it) sin[arg(ξ 1 (1 + 2it) ], (22) and thus its zeros correspond to arg(ξ 1 (1 + 2it) = nπ for any integer n. Once again, a list of the first 1517 zeros of T (s) is available via the electronic supplementary material to this paper. Let θ 1 (t) = arg[ξ 1 (1 + 2it)]. (23) Then, from (15), in t > 0, and θ(t) = π 2 + θ 1(t), (24) θ (t) = θ 1(t). (25) In so far as the properties of T + (s) and T (s) are concerned, these are collected in the following Theorem: Theorem 6. The functions T + (s) and T (s) have all their complex zeros on the critical line, and they occur in interlaced fashion, with a zero of the former lying between zeros of the latter, and vice versa. All zeros of each are simple, and the distribution functions of each satisfy: N(T + (s), T ) = N(T (s), T ) = N(ξ 1 (2s), T ) = T π log T T (log π+1)+o(log T ). π (26) Proof. These statements follow from the results of Taylor, Suzuki and Lagarias, and Ki, as well as from equation (25). The first complex zero of T + (s) occurs for t , while that for T (s) occurs for t , after which the interlacing property commences. We emphasise that in equation (26) the zeros counted all lie on the critical line for the first two functions, but for the third the zeros referred to lie in 0 < σ < 1/2. 8

9 It is interesting to investigate whether a positional relationship exists between the zeros of either T + (s) or T (s) and those of ξ 1 (2s 1/2), which under the Riemann hypothesis all lie on the critical line. We have investigated firstly whether zeros of ξ 1 (2s 1/2) all lie after those of T + (s). In fact, of the first 1500 zeros of the latter, this property does not hold in 232 or 15.5% of cases. We can also ask whether numbered zeros of ξ 1 (2s 1/2) lie between successive zeros of T (s). This property fails only in four cases: 921, 995, 1307 and Using translations we can make the property hold for all 1500 zeros: translations by s 0 = it 0 achieve this for t 0 in the range to This same translation along the critical line leads to a variation along it of the shifted ratio T + (s)/t (s) of the form T + (1/2 + i(t t 0 )) T (1/2 + i(t t 0 )) = i cot[arg ξ 1(1 + 2i(t t 0 ))]. (27) Hence, each point on the critical line can be made a zero of either the numerator or the denominator function in (27). In addition, each zero of ξ 1 (2s 1/2) on the critical line can be made to coincide with a zero of T (s s 0 ) or of T + (s s 0 ), or to lie between two such. 4 The Argument in Confirmation of the Riemann Hypothesis We now consider further properties of the functions T + (s) and T (s). As commented above, it has been proved [5, 6, 7] that both of these functions have all their non-trivial zeros on the critical line, and that the zeros of the two functions interlace there. The celebrated Riemann hypothesis is that ζ(2s 1/2) has all its non-trivial zeros on the critical line, while numerical evidence has been presented [14] that the distribution functions of the zeros of all three of these functions agree in terms which remain finite as their argument tends to infinity on the critical line. We discuss in this section new analytical and graphical arguments which confirm the Riemann hypothesis. From the functions T + (s) and T (s) we construct two further functions: where Note that V(s) = T +(s) T (s) = 1 + U(s) 1 U(s), (28) U(s) = ξ 1(2s 1). (29) ξ 1 (2s) V(s) = 1 + πγ(s 1/2)ζ(2s 1)/(Γ(s)ζ(2s)) 1 πγ(s 1/2)ζ(2s 1)/(Γ(s)ζ(2s)), (30) leading to the first-order estimate for V(s) for 1 << σ << t 2 V(s) 1 + t. (31) 9

10 t σ Figure 2: At left, three successive regions (coloured) in which V(σ + it) 1 are shown. Black dots represent zeros, red dots poles, while green and brown dots denote zeros of ξ1 (2s) and ξ1 (2s 1). At right, corresponding contours of constant modulus, with red denoting unit modulus, while green and blue contours correspond to moduli just above and below the values corresponding to the derivative zeros of V(σ + it). The corresponding argument estimate in 1 << σ << t is r 2π arg[v(s)]. t (32) We know that V(s) has all its non-trivial zeros and poles interlaced along the critical line, while the Riemann hypothesis is that U(s) has its zeros on <(s) = 3/4 and its poles on <(s) = 1/4. From (28), zeros of U(s) correspond to V(s) = 1 and poles to V(s) = 1. Both then must lie on contours of constant modulus V(s) = 1, which correspond to U(s) being pure imaginary: <[U(s)] = 0. An investigation has been carried out into the relationship between the contours of constant modulus V(s) = 1 and the location of the zeros and poles of U(s), for the first 1500 zeros of T+ (s) and T (s). A convenient way of doing this in the symbolic/numerical/graphical package Mathematica is to use the option RegionPlot, and in this case to construct the regions in which V(s) 1, or equivalently in which <[U(s)] < 0. These can be combined with contour plots of V(s), with contours appropriately chosen to highlight the location and behaviour around zeros of the derivative function U 0 (s), evaluated by numerical differentiation. The results of this (rather labour intensive) investigation are quite sugges

11 tive. In each of the 1500 cases, a zero of T + (s) on the critical line sits at the centre of a simply-connected region, whose boundary fully encloses the region V(s) 1. The region V(s) > 1 is multiply connected, in keeping with the estimate in equation (30) for σ not too close to the critical line. Two examples are given in Figs. 2 and 3. The first example (zero 518 of T + (s)) shows what may be described as typical behaviour, while the second (zero 1495) corresponds to one of the four exceptions mentioned in the previous section. In the first example, the contours of constant modulus shown are for the levels 0.90, 1.0, 1.018, 1.019, 1.1, 1.169, 1.170, 1.2, 1.3, 1.4. The zeros of U (s), or equivalently of V (s), are approximately s = i, where V(s) = , and s = i, where V(s) = The upper derivative zero is defined by four contours of constant modulus, two in green provided by the zeros of V(s), and two in blue, one pertaining to the intervening pole of V(s) and the other to a closed curve enclosing the two poles and one zero. The lower structure is not complete as shown, but the outermost curve encloses two poles and an intervening zero. In the second example, the zeros of U (s) are approximately s = i, where V(s) = , and s = i, where V(s) = The structure near the upper derivative zero could be described as nearly closed, with the two contours of constant modulus coming close to touching. In consequence, the modulus at the derivative zero is much closer to unity than for the far more open structure around the lower derivative zero. For this example, both derivative zeros referred to are provided by two zeros of V(s) surrounding an intervening pole. We now commence the analytical exploration of these numerical results. The aim is to say as much as possible in support of the validity of the Riemann hypothesis, using as a tool the results already referred to about the properties of the functions T + (s) and T (s), or U(s) and V(s). Remark: The only possible closed contours whose boundary is an equimodular contour of V(s) in t not small cut the critical line. This is a simple consequence of the Maximum/Minimum Modulus Theorems, since the only nontrivial zeros and poles of V(s) lie on the critical line. Furthermore, contours of constant modulus touching the critical line are precluded since V (s) is never zero on the critical line. Theorem 7. If all non-trivial zeros of V (s) correspond to a modulus V(s) > 1, then there exists a set of simple zeros of U(s) off the critical line in one-to-one correspondence with the zeros of T + (s) on the critical line. Proof. The proof generalises the reasoning of Macdonald [15] to functions having poles and zeros. We note that V(s) = V(1 s) is a symmetric function under reflection in the critical line, so curves of constant modulus share this property. Starting from a general zero of T + (s), we constrain the family of closed curves on which its modulus is constant. This family of curves has as its final member that curve of constant modulus touching a zero of V (s), and so by the assumption of this Theorem the corresponding constant modulus exceeds unity. It then follows that there is a closed curve of constant modulus unity enclosing the zero of T + (s). 11

12 This closed curve intersects the critical line at points where V(s) = U(s) = ±i, and at every point on it U(s) is pure imaginary. The curve encloses one simple zero of V(s), and thus the argument of this function increases monotonically through a range of 2π along it, ensuring that it passes through ±1 upon it. On each such curve of constant modulus unity there is then a simple pole and a simple zero of U(s), establishing the one-to-one correspondence referred to in the Theorem statement. Corollary 1. If all non-trivial zeros of V (s) correspond to a modulus V(s) > 1, then the distribution function for zeros of ξ 1 (2s 1/2) on the critical line with 0 < t < T is given by (26). Proof. From Theorem 7, there exists for each zero of T + (s) on the critical line a simple zero of U(s)(i.e. of ξ 1 (2s 1)) lying on the contour T + (s)/t (s) enclosing the zero of T + (s). By Theorem 6 the distribution function for zeros of T + (s) is the same as that for the number of zeros of ξ 1 (2s 1/2) lying in the strip 1/4 < σ < 3/4 with 0 < t < T. If any such zero were to lie off the critical line, it would have to occur in a pair of zeros symmetric about the critical line. However, we have established that there exists the set of simple zeros of ξ 1 (2s) in precise 1:1 correspondence with the zeros of T + (1/2 + it). Hence, any zeros off the critical line would have to be sufficiently rare to leave the distribution function (26) unaltered. In other words, the distributions functions for zeros on the critical line of ξ 1 (2s 1/2), T + (s) and T (s) are all the same and given by (26), if Theorem 7 holds. There is a nice duality inherent in the previous Theorem and Corollary. Each contour V(s) = 1 corresponds to points on the critical line where (going from smaller to larger t) V(s) = U(s) = i and then V(s) = U(s) = i. Along the critical line (where U(s) is pure imaginary), arg V(s) goes from π/2 below the zero of T + (s) to π/2 above it. Going around V(s) = 1 (i.e. where U(s) is pure imaginary) in the anti-clockwise sense, arg U(s) goes from π/2 before the zero of ξ 1 (2s 1) to π/2 after it. We now investigate the condition upon which Theorem 7 holds: all nontrivial zeros of V (s) correspond to a modulus V(s) > 1. The argument of the Theorem without this assumption being made leads to an association between zeros and poles of V(s) and zeros of the derivative V (s). We note that doublets consisting of a pole and a zero on the critical line do not have derivative zeros. If we consider triplets having two poles and an intermediate zero on the critical line, or two zeros and an intermediate pole, then in either case there is a pair of zeros of V (s) placed symmetrically about the critical line. We therefore regard the poles and zeros of V(s) as composed of repeating units containing one such triplet and then the other. More specifically, each zero of V (s), say s d, is associated with a triplet: either ZP Z, two zeros sandwiching an intervening pole, or P ZP, two poles sandwiching an intervening zero. The condition for Theorem 7 is necessary to show that the zero and pole of U(s) lie on the curve(s) of unit modulus perforce associated with zero(s) of V(s), and not with pole(s). Let us consider three 12

13 successive triplets: previous (associated with s dp ), current (associated with s dc ) and subsequent (associated with s ds ). Theorem 8. If V(s dc ) > 1 for a system ZP Z, then V(s dp ) > 1 and V(s ds ) > 1. If V(s dc ) < 1 for a system P ZP, then V(s dp ) < 1 and V(s ds ) < 1. Proof. Given a system ZP Z with V(s dc ) > 1. Then the system is enclosed by a curve of constant modulus larger than unity, and has before it and after it on the critical line systems P ZP. As the modulus of V(s) increases monotonically on the critical line going from a zero towards an adjacent pole, the curves of constant modulus bounding the previous and subsequent systems P ZP must also correspond to moduli exceeding unity. Given a system P ZP with V(s dc ) < 1. Then the system is enclosed by a curve of constant modulus smaller than unity, and has before it and after it on the critical line systems ZP Z. As the modulus of V(s) decreases monotonically on the critical line going from a pole towards an adjacent zero, the curves of constant modulus bounding the previous and subsequent systems ZP Z must also correspond to moduli smaller than unity. This argument, combined with numerical data for one derivative zero, provides a justification for the assumption underlying Theorem 7. A second argument is now presented, again leading to the conclusion that the the assumption underlying Theorem 7 must hold. Theorem 9. All zeros of V(s) in t > 0 lie within contours of constant modulus reaching and going beyond V(s) = 1. Proof. The first zero of V(s) in t > 0 is enclosed by such a system of contours. Assume the kth zero again is enclosed by such a system. Then the pole after this zero has surrounding it closed contours all with V(s) > 1. The (k + 1)th zero following this pole must then have surrounding it closed constant modulus contours including V(s) = 1 but going beyond V(s) = 1. This completes the proof by induction. As we have remarked, the argument of U(1/2 + it) monotonically decreases as t increases. This can be seen in Fig. 4, as well as the interesting property that U(1/4 + it) U(3/4 + it), with both decreasing monotonically. The equivalence property is a consequence of the relation arg U(1 s) = arg U(s). (33) A consequence of the monotonic decrease of the argument of U(1/2+it) is that as t increases, the following are encountered always in the specific order: U = i = V, zero of V, U = +i = V, pole of V, U = i = V,.... Further insights into the regions delimited by the contours V(s) = 1 can be found from Fig. 5. From the equations V(s) = 1 + U(s) V(s) 1, U(s) = 1 U(s) V(s) + 1, (34) 13

14 we see that and V(s) < 1 RU(s) < 0 arg[u(s)] U(s) < 1 RV(s) > 0 arg[v(s)] ( π 2, 3π ), (35) 2 ( π ) 2, +π. (36) 2 The first of these inequalities says that on going from inside the contour V(s) = 1 to outside it, RU(s) goes from negative through zero to positive. The second says that on crossing from σ < 1/2 to σ > 1/2, RV(s) goes from positive through zero to negative. In Fig. 5 at left, there are two regions with V(s) < 1, each containing a zero of V(s) at a point where U(s) = 1. The boundaries of these regions are composed of two segments, one with arg U(s) = +π/2 at the top, and the other with arg U(s) = π/2. The points on the boundaries corresponding to the joins of the segments are of course the points where zeros (σ > 1/2) and poles (σ < 1/2) of U(s) occur. Curves of constant argument of ξ 1 (2s) become curves of constant argument of ξ 1 (2s 1) after a translation of σ by unity to the right. Along the line σ = 1/4, arg ξ 1 (2s) is either 0 or ±π; the former value occurs in the interval between the two poles of U(s) evident in Fig. 5 (left), while the latter occurs between the lower pole and that preceding it on σ = 1/4. The line arg ξ 1 (2s) = 0 crosses the line σ = 1/4 at a point where ξ 1(2s) = 0. The line arg ξ 1 (2s 1) = π/2 cuts σ = 1/4 at a point on the boundary of V(s) < 1, given that that boundary segment corresponds to arg U = π/2.these same properties apply by translation to σ = 3/4 and ξ 1 (2s 1). Note finally that the region between the lower edges of the contours V(s) < 1 divides the whole of the lines σ = 1/4, 3/4 into parts where V(s) < 1 and V(s) > 1, joined by a pole and a zero of U(s) respectively. In Fig. 5 at right, the areas occupied by the different quadrants of arg U(s) are shown. As the inequality (35) shows, the regions inside the contours V(s) = 1 are occupied by quadrants 2 and 3, with the former over the latter. The boundaries between the two correspond to arg U(s) = ±π, so that the zeros of arg U(s) are located on them. The regions outside the contours V(s) = 1 are occupied by quadrants 1 and 4, with the latter being simply connected. The boundaries between the two correspond to arg U(s) = 0, so that the poles of arg U(s) are located on them. The points U(s) = i = V(s) sit on the boundaries between quadrants 1 and 2, while the points U(s) = i = V(s) sit on the boundaries between quadrants 3 and 4. There is an interesting contrast between the two parts of Fig. 5. At left, there are two curves corresponding to arg ξ 1 (2s) = 0 (cyan) and arg ξ 1 (2s 1) = 0 (magenta). These are translations of each other, and symmetric about σ = 1/4 and σ = 3/4 respectively. These properties mean that they intersect on σ = 1/2 at a pole of V(s), but nowhere else. They then cut their symmetry lines at points which are zeros of ξ 1(2s) and ξ 1(2s 1), before continuing towards σ 1/2 large. At right, the line arg U(s) = 0 leaves the pole of V(s) on σ = 1/2 and 14

15 Quadrant Line Quadrant Q2 V(s) = 1 Q1 V(s) < 1, arg U(s) = π 2 V(s) > 1, W(s) < 1 W(s) < 1 arg U(s) = ±π arg U(s) = 0 Q3 V(s) = 1 Q4 V(s) < 1, arg U(s) = π 2 V(s) > 1, W(s) > 1 W(s) > 1 Boundaries Properties Q1-Q4: W(s) = 1 V(s) > 1 Q1-Q2: W(s) < 1 V(s) = 1 Q2-Q3: W(s) = 1 V(s) < 1 Q3-Q4: W(s) > 1 V(s) = 1 Table 1: Properties of V(s) and W(s) in the four quadrants of arg U(s) and on the lines separating them proceeds symmetrically towards its terminations at the zero of U(s) in σ > 1/2 and the pole in σ < 1/2. Remark: These properties amount to a graphical argument that the zero of U(s) must lie on σ = 1/4 and the pole on σ = 3/4. If the zero and poles were elsewhere, they could not cover the full range of argument values [0, 2π] of U(s), lacking the values arg ξ 1 (2s) = 0 and arg ξ 1 (2s 1) = 0 provided respectively on σ = 1/4 and σ = 3/4. (These of course are offset with regard to the argument of U(s) by the value of the second function in the quotient (29).) A nice geometrical insight into the results of this section comes from writing (28) in the normal form [16] already given in Section 2: see (6). This equation is built around the fixed points where V(s) = i = U(s) and V(s) = i = U(s), which become the zeros and poles of W(s). Note that W(s) also incorporates the zeros and poles of U(s) and V(s): the poles and zeros of V(s) are where W(s) = 1 and W(s) = 1 respectively; the poles and zeros of U(s) are where W(s) = i and W(s) = i respectively. Some properties of W(s) are exemplified in Fig. 6, and Table 1. Lines W(s) = 1 correspond to IV(s) = 0, which also correspond to IU(s) = 0. The lines of constant argument join at the zeros and poles of W(s), and cut σ = 1/2 at zeros and poles of V(s), while cutting σ = 1/4, 3/4 at zeros and poles of U(s). Points where W (s) = 0 are also points where U (s) = 0 and V (s) = 0. In the example at right in Fig. 6, the derivative zero is located close to σ = 1/4, but still to its left. Note also that in this case the concavity of the constant modulus curves means that the alternating property of zeros along these curves does not carry over to their t values. Given the triplet of functions U(s), V(s) and W(s), we can also construct 15

16 relations other than (6) in normal form. That involving U(s) and W(s) is ( ) W(s) 1 U(s) 1 W(s) + 1 = i. (37) U(s) + 1 That involving V(s) and W(s) is more complicated. Let V 1 = exp[ iπ/4], V 2 = 2 3 exp[i3π/4], V 3 = i. (38) 2 Then the W, V equation in normal form is ( ) W(s) V 1 V(s) V1 = V 3. (39) W(s) V 2 V(s) + V 2 Theorem 10. To every closed contour V(s) = 1 around a zero of V(s) corresponds a closed contour W(s) = 1 around a zero of W(s). Proof. Given a closed contour V(s) = 1 around a point where U(s) = 1. From Table 1, this consists of elements in quadrants Q 2 and Q 3 of arg U(s) joined by a line W(s) = 1 where arg U(s) = ±π. On the closed contour V(s) = 1 lie a zero and a pole of U(s). All four quadrants of arg U(s) meet at the zero and pole of U(s). The area with U(s) in quadrant Q 2 is also a region where W(s) < 1. Outside the contour V(s) = 1 we have regions in Q 4 and Q 1, the former also being a region with W(s) > 1. The Q 1 region has W(s) < 1 and is joined to the Q 2 region along a contour V(s) = 1, arg U(s) = π/2. The desired region W(s) < 1 is then formed by the union of the Q 1, Q 2 regions. Corollary 2. Points where W (s) = 0 = U (s) = V (s) have arg U(s) lying in the fourth quadrant. Proof. This follows directly from Theorem 10 and Table 1. 5 Further Comments The arguments of Section 3 centred around the location of zeros of U(s) (or equivalently of V(s)) and their relationship to the zeros and poles of these two functions. There exist in the extensive literature devoted to the Riemann hypothesis several relevant papers concerning the location of zeros of the derivative of the Riemann zeta function. An early example is the paper in German of A. Speiser [9], for which detailed comments exist in English [17]. Arias-de-Reyna comments that Speiser s methods are between the proved and the acceptable, and gives numerical examples illustrating Speiser s reasoning. A further comment is that a flawless proof of a stronger result is that due to Levinson and Montgomery [18], which we now quote. Theorem 11. (Levinson and Montgomery) The Riemann hypothesis is equivalent to ζ (s) having no zeros in 0 < σ < 1/2. 16

17 It would be interesting to have an equivalent statement for U(s) for 1/2 < σ < 3/4. As a stimulus for those contemplating this question,we give in Fig. 7 graphs of arg U(σ + it) for σ = 1/2, σ = 3/4 and σ = The notable point is that the argument decreases monotonically as t increases for σ = 3/4 (as it has been shown by Ki to do for σ = 1/2), but for values in excess of σ = 3/4 it is no longer monotonic, but contains segments in which it increases with t. To clarify this issue, we list a number of propositions, and discuss their relationships. Proposition 1: All non-trivial zeros of V (s) correspond to a modulus V(s) > 1. Proposition 2: All non-trivial zeros of U(s) lie on σ = 3/4, and all nontrivial poles on σ = 1/4. Proposition 3: No zeros of U (s) or V (s) lie between or on the lines σ = 3/4 and σ = 1/ Comments based on assuming Proposition 1 Given Proposition 1 is assumed, we established in Section 3 that almost all nontrivial zeros of U(s) lie on σ = 3/4, and almost all non-trivial poles on σ = 1/4. In relation to Proposition 3, we note that in almost all cases where V (s 0 ) = 0, we must have that σ 0 lies outside the closed interval between σ = 3/4 and σ = 1/4. Indeed, if there is an s 0 with σ 0 inside the closed interval, we must be able to construct a closed contour V(s) = 1 lying inside 1/4 < σ < 3/4, and so find a zero of U(s) lying off σ = 3/4. This can only be possible in sufficiently few cases to not disturb the distribution function for such zeros. Thus, Proposition 1 implies that Propositions 2 and 3 hold in almost all cases. 5.2 Comments based on assuming both Propositions 2 and 3 If we assume Proposition 3 to hold, then all zeros of U (s) or V (s) lie either in σ > 3/4 or σ < 1/4. If we assume Proposition 2 to hold as well, then we know that the contour V(s) = 1 intersects the lines σ = 1/4, 3/4. We can then construct contours of constant modulus exceeding unity. The value of V(s) at the point s = s 0 = σ 0 + it 0 where the derivative is zero is the limit of values approaching from below as well as from above. For a given σ, the former are the maximum of those within the contour of constant modulus, and increase monotonically as σ increases towards σ 0, showing that V(s 0 ) > 0. Remark: These two subsections highlight the value of establishing a result in the style of the Theorem of Levinson and Montgomery quoted above. 6 Supplementary Data Data on the zeros up to t = 1000 on the critical line of the functions T + (s) and T + (s) is available in the electronic supplementary material, obtainable by 17

18 request from the author. 7 Acknowledgements The author acknowledges gratefully contributions from colleagues (C.G. Poulton, L.C. Botten, the late N-A. Nicorovici) to previous published work which laid the foundations for what is reported here. References [1] Edwards HM, 2001 Riemann s Zeta Function, Mineola NY:Dover pp [2] Titchmarsh EC, Heath-Brown DR, 1986 The Theory of the Riemann Zetafunction, Oxford UK: Oxford. [3] Bohr, H. & Landau, E., 1914 Eine Satz über Dirichletsche Reihen mit Anwendung auf die ζ-funktion und die L-Funktionen Rend. di Palermo [4] Bui, H.M., Conrey J.B. & Young, M.P More than 41% of the zeros of the zeta function are on the critical line Acta Arith [5] Taylor, P.R On the Riemann zeta-function, Q.J.O., 16, [6] Lagarias, J.C. and Suzuki, M The Riemann hypothesis for certain integrals of Eisenstein series J. Number Theory [7] Ki H 2006 Zeros of the constant term in the Chowla-Selberg formula Acta Arithmetica [8] Borwein JM, Glasser ML, McPhedran RC, Wan JG & Zucker IJ, 2013 Lattice Sums Then and Now, Cambridge UK: Cambridge. [9] Speiser, A Geometrisches zur Riemannschen Zetafunktion, Math. Ann [10] McPhedran RC 2018 Sum Rules for Functions of the Riemann Zeta Type, arxiv: [11] Chowla S & Selberg A 1967 On Epstein s zeta-function J. Reine Angeq. Math [12] Kober H 1935 Transformationsformeln gewisser Besselscher Reihen, Beziehungen zu Zeta-Funktionen Math. Z [13] McPhedran RC Smith GH Nicorovici NA & Botten LC 2004 Distributive and analytic properties of lattice sums JMathPhys 45,

19 [14] McPhedran, R.C. & Poulton, C.G The Riemann Hypothesis for Symmetrised Combinations of Zeta Functions, arxiv: [15] McPhedran, R.C Macdonald s Theorem for Analytic Functions, arxiv: [16] Knopp, K., 1952 Elements of the Theory of Functions, Dover NY Chapter 5. [17] Arias-de-Reyna, J X-ray of Riemann zeta-function,arxiv: [18] Levinson, N., & Montgomery, H. L Zeros of the Derivatives of the Riemann Zeta-Function, Acta Math.133,

20 t t σ σ t σ Figure 3: At left, three successive regions (coloured) in which V(σ + it) 1 are shown. Black dots represent zeros, red dots poles, while green and brown dots denote zeros of ξ1 (2s) and ξ1 (2s 1). At right, corresponding contours of constant modulus, showing the region around one of the derivative zeros of V(σ + it). Below: detail of contours of constant modulus in the region of the lower derivative zero

21 t t Arg[U] t Figure 4: Plots of the argument of U(σ + it) for σ = 1/2 (blue), in red for σ = 1/4 and in green for σ = 3/4. The green curve sits exactly on top of the red curve σ σ Figure 5: (Left) Contour plots of the argument of U(σ + it) as a function of σ and t. The blue contours correspond to arg U = π/2 and the blue dashed to arg U = +π/2. The contours of arg ξ 1 (2s) are for π/2 (red), π/2 (green) and 0 (cyan). The contours of arg ξ 1 (2s 1) are for π/2 (brown), π/2 (orange) and 0 (magenta). (Right) The areas occupied by the four quadrants of arg U(s) are shown: first quadrant- light brown; second quadrant-green; third quadrant-red; fourth quadrant-light blue. 21

22 t t σ σ Figure 6: Contour plots showing (black lines) contours W(s) = 1. Coloured lines denote lines of constant argument of W(σ + it) as a function of σ and t. The argument values are: 0- red; ±π- green, π/2-cyan; π/2- magenta. The dots on σ = 1/2 are zeros (blue) and poles (yellow) of V(s); those on σ = 3/4 are zeros of U(s), with the corresponding poles being located symmetrically on σ = 1/4. The other black dots show points where W (s) = Arg U 0 Arg U t t Figure 7: Plots of the argument of U(σ + it) for σ = 1/2 (blue) and in red for (left) σ = 3/4 and for (right) σ =