arxiv: v1 [math.nt] 22 Dec 2017

Transcription

1 ZEROS OF COMBINATIONS OF THE RIEMANN Ξ-FUNCTION AND THE CONFLUENT HYPERGEOMETRIC FUNCTION ON BOUNDED VERTICAL SHIFTS arxiv:7.035v [math.nt] Dec 07 ATUL DIXIT, RAHUL KUMAR, BIBEKANANDA MAJI AND ALEXANDRU ZAHARESCU Abstract. In 9, Hardy proved that infinitely many non-trivial zeros of the Riemann zeta function lie on the critical line using the transformation formula of the Jacobi theta function. Recently the first author obtained an integral representation involving the Riemann Ξ-function and the confluent hypergeometric function linked to the general theta transformation. Using this result, we show that a series consisting of bounded vertical shifts of a product of the Riemann Ξ-function and the real part of a confluent hypergeometric function has infinitely many zeros on the critical line, thereby generalizing a previous result due to the first and the last authors along with Roy and Robles. The latter itself is a generalization of Hardy s theorem.. Introduction Ever since the appearance of Riemann s seminal paper [] in 59, the zeros of the Riemann zeta function ζs have been a constant source of inspiration and motivation for mathematicians to produce beautiful mathematics. While the Riemann Hypothesis, which states that all non-trivial zeros of ζs lie on the critical line Res = /, has defied all attempts towards its proof as of yet, the beautiful area of analytic number theory has been blossomed to what it is today because of these attempts. One of the major breakthroughs in this area occurred with G. H. Hardy [3] proving that infinitely many non-trivial zeros of ζs lie on the critical line Res = /. Let N 0 T denote the number of non-trivial zeros lying on the critical line such that their positive imaginary part is less than or equal to T. Hardy and Littlewood [] showed that N 0 T > AT,where A is some positive constant. Selberg [] remarkably improved this to N 0 T > AT log T. Levinson [6] further improved this by proving that more than one-third of the non-trivial zeros of ζs lie on the critical line. Conrey [] raised this proportion to more than two-fifths. This was later improved by Bui, Conrey and Young [3], Feng [], Robles, Roy and one of the authors [], with the Mathematics Subject Classification: Primary M06 Secondary M6 Keywords: Riemann zeta function, theta transformation, confluent hypergeometric function, bounded vertical shifts, zeros.

2 ZEROS OF COMBINATIONS OF Ξt AND F current record, due to Pratt and Robles [], being that.9% of the zeros lie on the critical line. The proof of Hardy s result in [3], which acted as a stimulus to the aforementioned developments, is well-known for its beauty and elegance. One of the crucial ingredients in his proof is the transformation formula satisfied by the Jacobi theta function. The latter is defined by ϑλ; τ := q n λ n, n= where q = expiτ for τ H upper half-plane and λ = e iu for u C. If we let τ = ix for x > 0 and u = 0, then the theta function becomes ϑ; ix = e nx =: ψx +, n= so that ψx = n= x e n. The aforementioned transformation formula employed by Hardy in his proof is due to Jacobi and is given by [6, p., Equation.6.3] xψx + = ψ +,. x which can be alternatively written as a a e a n = b b e b n n= n=. for Rea > 0, Reb > 0 and ab =. The former is the same version of the theta transformation using which Riemann [] derived the functional equation of the Riemann zeta function ζs in the form [6, p., eqn..6.] s s Γ ζs = s s Γ ζ s. In fact, the functional equation of ζs is known to be equivalent to the theta transformation. Another crucial step in Hardy s proof is the identity 0 Ξt t + where Ξt is the Riemann Ξ-function defined by with ξs being the Riemann ξ-function coshαtdt = e iα e iα ψ e iα,.3 Ξt = ξ + it ξs := ss s Γ s ζs.

3 ZEROS OF COMBINATIONS OF Ξt AND F 3 Equation.3 is easily seen to be equivalent to Ξt/ + t cos t log a dt = a a e a n 0 by replacing t by t and letting a = e iα, < α <, in the latter. n=. At this juncture, it is important to state that the above theta transformation, that is., has a generalization [, Equation.], also due to Jacobi, and is as follows. Let z C. If a and b are positive numbers such that ab =, then e z / a e z / e a n cos anz a n= = e z / b b / e z e b n cosh bnz..5 n= It is then natural to seek for an integral representation equal to either sides of the above transformation similar to how the expressions on either sides of. are equal to the integral on the left-hand side of.. Such a representation was recently obtained by the first author [5, Thm..]. This result is stated below. Theorem. Let x, z, s := µx, z, s + µx, z, s, µx, z, s := x / s e z / s F ; ; z, c nz n n=0 where F c; d; z := d nn! is the confluent hypergeometric function, c n := n Γc+n i=0 c + i =, for any c, d, z, s C. Then either sides of the transformation Γc in.5 equals Ξ t 0 + t a, z, + it dt..6 The next question that comes naturally to our mind is, with the additional parameter z in the above theorem at our disposal, can we generalize the proof of Hardy s result to obtain information on the zeros of a function which generalizes Ξt? Even though one could possibly get a generalization of Hardy s result this way, unfortunately it would not be striking since in the integrand of the generalization of the left side of.3, one would have Ξt e αt it F ; ; z + e αt +it F ; ; z, and then saying that for z fixed in some domain, this function has infinitely many real zeros does not appeal much, for, it is already known that Hardy s theorem implies that Ξt has infinitely many real zeros. However, even though this approach fails, one can still use the generalized theta transformation in.5 and the integral.6 linked to it to obtain information about

4 ZEROS OF COMBINATIONS OF Ξt AND F zeros of a function which generalizes Ξt. This function is obtained through vertical shifts s s + iτ of ζs and of the confluent hypergeometric function. Many mathematicians have studied the behavior of ζs on vertical shifts. See [], [7], [9], [0], [5] and [7] for some papers in this direction. Let s ηs := s/ Γ ζs and ρt := η + it. These are related to Riemman s ξs and Ξt functions by ξs = ss ηs and Ξt = + it + it ρt. It is known that ηs is a meromorphic function of s with poles at 0 and. For real t, ρt is a real-valued even function of t. Recently the first and the last authors along with Robles and Roy [9, Theorem.] obtained the following result : Let {c j be a sequence of non-zero real numbers so that j= c j <. Let {λ j be a bounded sequence of distinct real numbers that attains its bounds. Then the function F s = j= c jηs + iλ j has infinitely many zeros on the critical line Res =. Note that the restriction c j 0 is not strict but only for removing redundancy since if c j = 0 for some j N, then the corresponding term does not contribute anything towards the function F s. But if we let all but one elements in the sequence {c j to be equal to zero and the non-zero element, say c j to be along with the corresponding λ j = 0, we recover Hardy s theorem. The goal of the present paper is to generalize the above theorem, that is, [9, Theorem.], which, in turn, as we have seen, generalizes Hardy s theorem. Our main result is as follows. Theorem. Let {c j be a sequence of non-zero real numbers so that j= c j <. Let {λ j be a bounded sequence of distinct real numbers such that it attains its bounds. Let D denote the region Rez Imz < RezImz in the z-complex plane. Then for any z D, the function { F z s := c j ηs + iλ j j= s + iλj F ; ; z has infinitely many zeros on the critical line Res = /. s iλj + F ; ; z There are some typos in the proof of this result in [9]. Throughout the paper, lim α + should be changed to lim α. The summation sign j= is missing on the left-hand sides of 3.6 and 3.9. The expression F + it + λ j on the left-hand side of 3. should be replaced by F + it. Also, mθ M in 3., and p n θ M and q n θ M in 3.6 and 3.7 should be replaced by mθ M, p n θ M and q n θ M. Finally, the integration on the right side of 3. should be performed over t > T rather than on T,.

5 ZEROS OF COMBINATIONS OF Ξt AND F 5 The region D is sketched in Figure. The vertices of the square in the center are given by A = i, B = + i, C = + i and D = i. It is easy to see that when z = 0, this theorem reduces to the result of the first and the last author along with Robles and Roy [9, Theorem.] given above. This paper is organized as follows. In Section, we collect necessary tools and derive lemmas that are necessary in the proof of Theorem. Section 3 is then devoted to proving Theorem. In Section, we give concluding remarks and possible directions for future work. Figure. Region D in the z-complex plane given by Rez Imz < RezImz.. Preliminaries We begin with a lemma which gives a bound on Ξt. It readily follows by using elementary bounds on the Riemann zeta function and Stirling s formula on a vertical strip which states that if s = σ + it, then for a σ b and t, Γs = t σ e t + O t as t. Lemma. For t, we have Ξt = O t A e t, where A is some positive constant. We will also need the following estimate for the confluent hypergeometric function proved in [5, p. 39, Eqn..9].

6 ZEROS OF COMBINATIONS OF Ξt AND F 6 Lemma. For z C and s, F s; ; z = e z cos z s + / + O z s + / /. Lemma 3. Let D be a collection of all those complex numbers z such that Rez Imz < { RezImz. Then D = z : Rez <, Imz < { z : Rez >, Imz < { z : Rez <, Imz >. Proof. Let c =, Rez = x and Imz = y. One can easily verify that z / D if x = ±c or y = ±c. According to the given hypothesis, all points z = x + iy of D satisfy x y < c xy c. We divide the domain into three parts. First, if x < c, i.e. x + c > 0 and x c < 0, then x y < c xy y y c x c < x c > y > c.. c c Again, x y > c + xy c x + c > y x + c c > y.. c { Thus combining. and., we have y < c. Therefore, the domain x, y : x < c, y < c is a sub-domain of D. and Now if x > c, so that x ± c > 0. We have x y < c xy y c x c < x c y < c,.3 c x y > c + xy c x + c > y x + c y < c.. c Therefore.3 and. imply that y < c when x > c. Similarly it can be seen that if x < c, then y > c. The following lemma, due to Kronecker, will be used in the proof of the main theorem. See [5, p. 376, Chapter XXIII] for proofs. Lemma. Let {nθ denote the fractional part of nθ. If θ is irrational, then the set of points {nθ is dense in the interval 0,.

7 Let ZEROS OF COMBINATIONS OF Ξt AND F 7 ψx, z := Replacing a = x in.5, we have e z / x x / ez ψx, z so that e nx cos xnz..5 n= = x e z / x e z / ψ x, iz / ψx, z = e z / ψ x x, iz + e z x..6 In particular, if we let z = 0 then we recover.. We now prove a lemma which is instrumental in the proof of Theorem. Lemma 5. Let z D. Then the expressions δ e z + i δ ψ, iz + i and δ δ δ e z + i δ ψ, iz + i and their derivatives tend to zero as δ 0 along any δ δ route in argδ <. Proof. We prove that lim δ 0 e z + i δ ψ δ δ, iz + i = 0..7 δ The second part can be analogously proved. Now ψ δ, iz + i = e n n δ cos δ n= δ iz + i δ = e n δ cosh n i + δ z δ n= e n z i+δ δ = n= e n δ + e n z i+δ δ.. Since the function ψx, z is analytic as a function of x in the right half plane Rex > 0 and as a function of z for any z C, it suffices to show that each term of. goes to zero as δ goes to 0 +. Therefore, lim e z δ 0 + δ + i δ e n e n z i+δ δ δ + e n z i+δ δ

8 e z = lim δ 0 + δ e z = lim δ 0 + δ ere ZEROS OF COMBINATIONS OF Ξt AND F z i δ n δ e n δ Rez i+δ + e n δ Rez i+δ e δn +Rez i n Rez i+δ + e δn +Rez i+n Rez i+δ. Note that Re z i = RezImz and Rez i + δ = Rez Imz, since δ 0 +. For n >, the above limit goes to zero because of the presence of n in the exponentials. So we will be done if we can show that it goes to zero for n = too. To ensure this happens, the condition to be imposed on z is RezImz ± Rez Imz > 0 Rez Imz < RezImz, The points which satisfy the above inequality are nothing but those which lie in the region D. This proves.7. Since exp δ goes to zero faster than δ r for any r > 0 as δ 0 +, derivatives of all orders of δ e z + i δ ψ, iz + i also tend to zero δ δ as δ. This completes the proof of the lemma. Now let ψ α, z := e i λ jα e z / We prove the following result. + e z / ψ e iα, z..9 Lemma 6. Let z D and < α <. Then the mth derivative of the function ψ α, z with respect to α, tends to i λ m j e i λ j sinh z as α. Proof. Observe that for X := e iα, lim α X = i. Note that X tends to i in a circular path where both x and y coordinates are positive. We now let i + δ tend to i as δ goes to zero along any route in argδ <. We first show that ψi + δ, z goes to / and its derivatives with respect to δ go to zero as δ 0 along any route argδ <. One can easily check that m d lim ψe iα, z = i m lim α dα X i = i m lim δ 0 m j= m j= where a j s are positive integers depending on j. j d a j X j ψx, z dx a j i + δ j d dδ j ψi + δ, z,.0

9 ZEROS OF COMBINATIONS OF Ξt AND F 9 Using the definition.5 of ψx, z, we have ψi + δ, z = = e ni+δ cos i + δnz n= n e nδ cos i + δnz n= = n even =ψ δ, e nδ cos i + δnz e nδ cos i + δnz i + δ z ψ δ, δ i + δ z δ n odd. Invoking the transformation formula.6 of ψx, z, we get ψi + δ, z = e z + i δ ψ δ δ, iz + i e z + i δ ψ δ δ δ, iz + i δ. Along with Lemma 5, this implies that e z / + e z / z ψi + δ, z tends to sinh and its derivatives go to zero as δ 0 along any route in an angle argδ <, that is, e z / + e z / ψe iα z, z goes to sinh, and, due to.0, its derivatives go to zero as α. With the help of this result, m d lim ψ α, z α dα m = lim α = lim α 0 j,k m j+k=m j 0 j<m,0<k m j+k=m m d + m dα i = λ j d dα m j m e i λ jα m e i λ j z sinh j e k i λ jα d e z / + e z / ψe iα, z dα j d e k i λ jα d e z / + e z / ψe iα, z dα dα 0 d e z / + e z / ψe iα, z dα, since the finite sum in the penultimate line vanishes. This completes the proof of the lemma.

10 ZEROS OF COMBINATIONS OF Ξt AND F 0 3. Proof of Theorem Theorem implies e z / Ξ t it a it/ F 0 + t ; ; z + it + a it/ F = e z / a e z / e a n cos anz. a n= ; ; z dt Replace t by t and a by e iα, < α <, and then add and subtract the term e z / e iα/ on the right hand side of the resulting equation to arrive at e z / 0 Ξt + t e αt F it ; ; z = e z / cos α/ e iα/ e z / + e αt F + it + e z / ψ e iα, z. ; ; z dt The integrand on the left side is an even function of t. Hence e z / ρte αt F it ; ; z dt = e z / cos α/ + e iα/ e z / + e z / ψ e iα, z. Replacing t by t + λ j, we find it + e αt λj ρt + λ j F ; ; z dt = e αλ j cos α/ + e z / e iα/ e z / + e z / ψ e iα, z [ = e iα αλ j + e iα αλ j e z / e iα αλ j e z / + e z / e n e αi cos ne iα z ]. 3. n=0

11 ZEROS OF COMBINATIONS OF Ξt AND F Differentiating both sides m times with respect to α, one gets it + t m e αt λj ρt + λ j F ; ; z dt [ m m i = λ j e αi αλ j i + + λ j e αi αλ j e z / m e αi α m αλ j e z / + e z / e n e αi cos ne iα z ]. Let i λ j = r j e iθ j. Without loss of generality, let 0 < θ j <. Then dt it + t m e αt λj ρt + λ j F = e αλ j e i α +mθ j + r m r m j + e z / m α m = e αλ j rj m cos e αi αλ j α + mθ j j e z / α e i n=0 ; ; z +m mθ j + e z / e n e αi cos ne iα z n=0 + e z / m α ψ α, z, 3. m where ψ α, z is defined in.9. Using Lemmas and, we see that ρt t A e t it, and Re F ; ; z z e z t / as t, where A is some positive constant. Since {λ j is bounded, one sees that it + λj c j ρt + iλ j Re F ; ; z z t A e t + z t c j j= as t. Along with the fact that j= c j converges absolutely, this implies that the above series is uniformly convergent, as a function of t, on any compact interval of,. Take real parts on both sides of 3., multiply both sides by c j, sum over j, and then interchange the order of summation and integration, which is justified from the uniform convergence of the above series and the fact that α < /, so as to obtain = t m e αt j= j= it + λj c j ρt + iλ j Re F [ α + mθ j + Re e z c j e αλ j rj m cos ; ; z j= dt c j m α m ψ α, z j= ]. 3.3

12 ZEROS OF COMBINATIONS OF Ξt AND F Now using the notation F z + it for the series on the left-hand side of 3.3 as defined in the statement of Theorem and letting α on both sides, we see that lim α t m e αt F z + it dt = c j e λ j rj m cos + mθ j j= [ Re e z i c j λ j = j= j= c j e λ j r m j m e i λ j z sinh { cos + mθ j + Re where in the penultimate step we used Lemma 6. j= ] [e i +mθ j e z sinh z ], 3. Note that if z is real or purely imaginary, the right-hand side of 3. becomes { + e z z sinh c j e λ j rj m cos + mθ j, and thus the logic to prove that the above expression changes sign infinitely often is similar to that in [9]. Now let us assume that z is a complex number lying in the region D that is neither real nor purely imaginary. Then from 3., Now let lim α = j= t m e αt F z + it dt { c j e λ j rj m cos + mθ j + Re sin + mθ j u z := + Re e z z sinh From 3.5 and 3.6, lim α t m e αt F z + it dt = w z Im e z z sinh e z z sinh. 3.5 and v z := Im e z z sinh. 3.6 j= c j e λ j rj m cos + β z + mθ j, 3.7

13 where ZEROS OF COMBINATIONS OF Ξt AND F 3 w z := u z + v z and β z := cos uz. w z Since u z and v z are real, the quantities w z and β z are real too. We now show that the series on the right side of 3.7 changes sign infinitely often. By the hypothesis, there exists a positive integer M such that λ M = max{ λ j, u and λ M λ j for M j. j Then the series on the right-hand side of 3.7 without the constant term in the front can be written as c M rm m e λ M cos + β z + mθ M + EX, z + HX, z, 3. where as well as EX, z := j M j X HX, z := j M j>x c j c M e c j c M e λ j λ M rj r M λ j λ M rj r M X being a real number that is sufficiently large. m cos + β z + mθ j cos + β z + mθ M, 3.9 m cos + β z + mθ j cos + β z + mθ M, 3.0 We now claim that there exists a subsequence of natural numbers such that for each value m in it, the inequality cos + β z + mθ M c holds for some positive constant c. Note that i λ M = r M e iθ M Observe that cos + β z + mθ M for 0 < θ M <. Then r M > r j for M j. 3. = cos = cos = cos + β mθm z + + β mθm z + { + β mθm z +. { mθm + In the remainder of the proof we construct two subsequences {p n and {q n of N such that { pnθ M and { qnθ M tend to some specific numbers inside the interval 0,

14 resulting in ZEROS OF COMBINATIONS OF Ξt AND F { { cos + β mθm z + > 0 and cos + β mθm z + < 0, where for the first inequality, m takes values from the sequence {p n with n N where N is large enough, and for the second, m takes values from {q n with n N. To that end, we divide the proof of the claim into two cases. First consider the case when θ M is irrational. This case itself is divided into five subcases depending upon the location of β z in the interval [0, ]. In all these cases, Kronecker s lemma, that is, Lemma plays an instrumental role. Case : Let 0 β z < 3. Take j to be a large enough natural number and consider the subsequence {p n of N such that { p nθ M and so that < lim j+ n + β z + { p nθ M <. This ensures that cos + β z + { mθ M > 0 for n N for some N N large enough. { It is also clear that if we let m run through the subsequence {q n of N such that qnθm, then cos + β z + { mθ M < 0 for n N for some N N large enough. In the subcases that follow, the argument is similar to that in Case, and hence in each such case we only give the two subsequences {p n and {q n that we can let m run through so that cos + β z + { mθ M > 0 and cos + β z + { mθ M < 0 respectively for n N for some N N large enough. Case : Let 3 β z < 7. Choose {p n to be such that { p nθ M 3 and {q n to be such that { q nθ M. Case 3: Let 7 β z <. Here we can select {p n so that { p nθ M 3 and {q n so that { q nθ M where j N is large enough so that < lim n + β z + { q nθ M < 3. Case : Let β z < 5. Choose {p n to be such that { p nθ M Case 5: Let 5 β z <. Here we can allow {p n to be such that { p nθ M. { qnθ M j +, and {q n to be such that { q nθ M 3. 6 and {q n to be such that

15 ZEROS OF COMBINATIONS OF Ξt AND F 5 From the above construction it is clear that, according to the location of β z, we can always find a positive real number c such that cos + β z + mθ M c, 3. when m runs over the sequence {p n {q n for n N, where N is large enough. If m runs over the above mentioned sequence then 3.0, 3. and 3. imply HX, z c j e λ j λ M. 3.3 c c M j M j>x By our hypothesis {λ j λ M is also a bounded sequence, so that e λ j λ M < A for some positive constant A. Therefore from 3.3, HX, z A c j. 3. c c M Since j= c j is convergent, this implies HX, z = O for X large enough. { rj Now C X := max j X r M is finite, in fact, 3. implies C X <. Similarly using 3.9 and 3., it can be shown that when m runs over the same sequence, EX, z A CX m c j, 3.5 c c M where A is some constant, independent of m. Since C X <, we conclude that EX, z 0 as m through the above sequence {p n {q n. It is to be noted that when m runs over the sequence that we have constructed, cos + β z + mθ M changes sign infinitely often. Thus, from 3., 3. and 3.5, it is clear that the right hand side of 3.7 changes sign infinitely often for infinitely many values of m. Our aim is to prove that the function F z s has infinitely many zeros on the critical line Res = /. Suppose not. Then F z + it never changes sign for t > T for some T large. First, consider F z + it > 0 for t > T. Define L z,m T := lim F z α t T + it t m e αt dt. Since the integrand of the above integral is positive, for any T > T, lim F z α T t T + it t m e αt dt lim F z α t T + it t m e αt dt = L z,m T. j M j>x j M j X

16 Therefore, ZEROS OF COMBINATIONS OF Ξt AND F 6 Now if T tends to, T t T F z T t + it t m e t dt L z,m T. F z + it t m e t dt L z,m T so that F z + it t m e t dt L z,m T + T T F z + it t m e t dt. Since the integrand on the right hand side is an analytic function of t in [ T, T ], F z + it t m e t dt is convergent. Using [3, p. 9, Theorem 7.], for example, it can be checked that that the integrand on the left hand side of 3.7 is uniformly convergent, with respect to α, on 0 α <. Then 3.7 implies t m e t F z + it dt = w z c j e λ j rj m cos + β z + mθ j, j= for every m N. As per our construction of the sequences {p n and {q n, there exist infinitely many m {p n {q n large enough such that the right hand side of the above identity is negative, and hence F z + it t m e t dt < F z + it t m e t dt T t where B := BT is independent of m. t T < T m t T F z + it e t dt BT m, 3.6 By our assumption on F z + it, we can find a positive number δ = δt such that F z + it > δ for all t T, T +. Hence T + F z + it t m e t dt δt m e t dt T t T T + δ t m dt T T + m+ = δ m + T m+ m + δt m. 3.7

17 From 3.6 and 3.7, δt m ZEROS OF COMBINATIONS OF Ξt AND F 7 T t F z + it t m e t dt < BT m for infinitely many large m {p n {q n. This implies that m δ < B 3. holds for infinitely many m {p n {q n. However this is impossible since m can be chosen to be arbitrarily large. So our assumption that F z + it > 0 for t > T is not true. Similar contradiction can be reached at when F z + it < 0 for t > T and θ M irrational. is Lastly if F z + it > 0 for t > T and F z + it < 0 for t < T or vice-versa, we differentiate 3. m + times with respect to α. If θ M is irrational, one can construct the subsequences {p n and {q n of N, similarly as done in the first case, that is, according to the location of β z. For example, if 0 β z < 3, one can find j N large enough such that +β z + < j. Now if θ M <, then by Kronecker s lemma Lemma, there exists a sequence j+ {p n such that { pnθ M θ j+ M, so that cos + β z + p n + θ M > 0. Now if θ M >, by Kronecker s lemma again one can find a sequence {p j+ n such that { pnθ M θ j+ M. Since + β z + p n + θ M = { + β pn θ M pn θ M z θ M, by periodicity, cos + β z + p n + θ M Thus, { = cos + β pn θ M z + + θ M. { cos + β pn θ M z + + θ M = cos + β z + > 0 j+ for n N, where N N is large enough. Similarly we can find a subsequence {q n of N such that { q nθ M cos + β z + { q nθ M < 0 for n N, where N N is large enough. θ M, then Similarly corresponding to other locations of β z, one can obtain corresponding subsequences {p n and {q n of N such that cos + β z + p n + θ M > 0 and that cos + β z + q n + θ M < 0 for n N, where N N is large enough. One can then use them to obtain a contradiction similar to that in 3. by using argument similar to that given in equations 3. through 3..

18 ZEROS OF COMBINATIONS OF Ξt AND F Thus, we conclude that F z + it changes sign infinitely often. This proves Theorem when θ M / is irrational. It only remains to prove Theorem in the case when θ M / is rational. We reduce it to the previous case, that is, when θ M / is irrational, by performing the following trick. Fix a small positive real number ɛ 0 and consider the function F ɛ0,zs := F z s + iɛ 0. Then F ɛ0,z is a vertical shift of F z, and the statement that F z has infinitely many zeros on the critical line is equivalent to the statement that F ɛ0,z has infinitely many zeros on the critical line. Moreover, F ɛ0,zs satisfies the conditions from the statement of Theorem, with the same value of z, the same sequence of coefficients c j, and with the sequence {λ j replaced by {λ j + ɛ 0. Therefore, up to this point, the proof of the theorem would work even with F z replaced by F ɛ0,z. In the course of doing this, the angle θ M, however, changes to, say, θ M. But since we have the liberty of choosing ɛ 0, we choose it in such a way that the angle θ M becomes an irrational multiple of. With this choice of ɛ 0 and the analysis done so far, it is clear that the function F ɛ0,zs has infinitely many zeros on the critical line. Thus F z s also has infinitely many zeros on the critical line when θ M / is rational. This completes the proof of Theorem in all cases.. Concluding remarks In this work, we saw an application of the general theta transformation.5 and the integral.6 equal to each of its expressions towards proving that a certain function involving the Riemann Ξ-function and the confluent hypergeometric function has infinitely many zeros on the critical line, thereby vastly generalizing Hardy s theorem. There are plethora of new modular-type transformations, that is, the transformations governed by the relation a b, where ab =, that have linked to them certain definite integrals having Ξt under the sign of integration. See the survey article [6], [], [0], and [, Section 5], for example. Recently in [7, Theorems.3,.5], a higher level theta transformation and the integral involving the Riemann Ξ-function linked to it was obtained. It may be interesting to see up to what extent one can extend Hardy s idea to obtain new interesting results. One thing is clear - when one has Ξ t under the sign of integration, the sign change argument as in the case of Ξt cannot be used. Nevertheless, the higher level theta transformation in [7, Theorems.3,.5] has two additional parameters in it, so it would be interesting to see what information could be extracted from it. Acknowledgements The first author s research is supported by the SERB-DST grant RES/SERB/MA/ P03/67/00 whereas the third author is a SERB National Post Doctoral Fellow NPDF supported by the fellowship PDF/07/ Both sincerely thank SERB- DST for the support.

19 ZEROS OF COMBINATIONS OF Ξt AND F 9 References [] B.C. Berndt, C. Gugg, S. Kongsiriwong and J. Thiel, A proof of the general theta transformation formula, in Ramanujan Rediscovered: Proceedings of a Conference on Elliptic Functions, Partitions, and q-series in memory of K. Venkatachaliengar: Bangalore, 5 June, 009, pp [] B. C. Berndt, A. Dixit, A. Roy and A. Zaharescu, New pathways and connections in number theory and analysis motivated by two incorrect claims of Ramanujan, Adv. Math , [3] H.M. Bui, J.B. Conrey and M.P. Young, More than % of the zeros of the zeta function are on the critical line, Acta Arith., 50 0, No., [] J.B. Conrey, More than two fifths of the zeros of the Riemann zeta function are on the critical line, J. Reine Angew. Math., , 6. [5] A. Dixit, Analogues of the general theta transformation formula, Proc. Roy. Soc. Edinburgh, 3A, , 03. [6] A. Dixit, Ramanujan s ingenious method for generating modular-type transformation formulas, The Legacy of Srinivasa Ramanujan, RMS-Lecture Note Series No. 0 03, pp [7] A. Dixit, A. Kesarwani and V. H. Moll, A generalized modified Bessel function and a higher level analogue of the theta transformation formula with an appendix by N. M. Temme, J. Math. Anal. Appl. 59 0, 35. [] A. Dixit and V. H. Moll, Self-reciprocal functions, powers of the Riemann zeta function and modular-type transformations, J. Number Theory 7 05, 9. [9] A. Dixit, N. Robles, A. Roy and A. Zaharescu, Zeros of combinations of the Riemann ξ-function on bounded vertical shifts, J. Number Theory [0] A. Dixit, N. Robles, A. Roy and A. Zaharescu, Koshliakov kernel and identities involving the Riemann zeta function, J. Math. Anal. Appl , 07. [] S. Feng, Zeros of the Riemann zeta function on the critical line, J. Number Theory 3 No. 0, 5 5. [] A. Good, Diskrete Mittel für einige Zetafunktionen, J. Reine Angew. Math 303/30 97, [3] G. H. Hardy, Sur les zéros de la fonction ζs de Riemann, Comptes Rendus, 5, 0, 9. [] G. H. Hardy and J. E. Littlewood, The zeros of Riemann s zeta-function on the critical line, Math. Z. 0 9, [5] G.H. Hardy, E.M. Wright, An Introduction to the Theory of Numbers, 3rd ed.,clarendon Press, Oxford, 95. [6] N. Levinson, More than one third of zeros of Riemann s zeta function are on σ = /, Adv. Math. 3 97, [7] X. Li and M. Radziwi l l, The Riemann zeta-function on vertical arithmetic progression, Int. Math. Res. Not. IMRN 05, no [] K. Pratt and N. Robles, Perturbed moments and a longer mollifier for critical zeros of ζ, submitted for publication. [9] C. R. Putnam, On the non-periodicity of the zeros of the Riemann zeta-function, Amer. J. Math , [0] C. R. Putnam, Remarks on periodic sequences and the Riemann zeta-function, Amer. J. Math , 30. [] N. Robles, A. Roy and A. Zaharescu, Twisted second moments of the Riemann zeta-function and applications, J. Math. Anal. Appl. 3 No. 06, 7 3. [] B. Riemann, Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse, Monatsberichte der Berliner Akademie, 59.

20 ZEROS OF COMBINATIONS OF Ξt AND F 0 [3] W. Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw-Hill, New York, 976. [] A. Selberg, On the zeros of Riemann s zeta-function, Skr. Norske Vid. Akad. Oslo 9, no. 0, 59. [5] J. Steuding and E. Wegert, The Riemann zeta function on arithmetic progressions, Experiment. Math. 3 0, [6] E. C. Titchmarsh, The Theory of the Riemann Zeta-function, Clarendon Press, Oxford, 96. [7] M. van Frankenhuijsen, Arithmetic progressions of zeros of the Riemann zeta function, J. Number Theory 5 005, Department of Mathematics, Indian Institute of Technology Gandhinagar, Palaj, Gandhinagar 3355, Gujarat, India address: adixit@iitgn.ac.in, rahul.kumr@iitgn.ac.in, bibekananda.maji@iitgn.ac.in Department of Mathematics, University of Illinois, 09 West Green Street, Urbana, IL 60, USA and Simion Stoilow Institute of Mathematics of the Romanian Academy, P.O. Box 76, RO 0700 Bucharest, Romania. address: zaharesc@illinois.edu