arxiv: v1 [math.nt] 19 Jul 2016

Transcription

1 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS MARCO CANTARINI arxiv:67.569v [math.nt] 9 Jul 6 Abstract. Let Λ be the von Mangoldt function and r Q n = m +m +m 3 =nλm be the counting function for the numbers that can be written as sum of a prime and two squares that we will call Linnik numbers, for brevity. Let N a sufficiently large integer and let M N,k = πnk+ 4Γk +3 + Nk+ 4Γk + π/ N k+3/ Γk +5/ M N,k = π 4 + π/ M 3 N,k = Nk/+ π k+ M 4 N,k = Nk/+ π k+ Γ Γk ++ Nk++ 4 Γ Γk +3/ + Nk+/+ l l J k+ π l /N +l / l +l k/+ π k N k/+/ Γ π N/ J k+ mπn / l l Nk/+3/4 π k+ Γ Γk ++ Nk+ J k++ π l /N +l / l +l k++/ J k+3/ mπn / m k+ m k+3/ π k N k+/ π N / Γ J k++ mπ N m k++ +π k N k/+/4 π N / Γ J k+/+ mπ N m k+/+, where J v u denotes the Bessel function of complex order v and real argument u. We prove that N nk r Q n Γk + = M N,k+M N,k+M 3 N,k+M 4 N,k+O N k+ n N for k > 3/, where runs over the non-trivial eros of the Riemann eta function ζs. We also prove that with this technique the bound k > 3/ is optimal.. Introduction We continue the recent work of Languasco and Zaccagnini on additive problems with prime summands. In [9] and [] they stu the Cesàro weighted explicit formula for the Goldbach numbers the integers that can be written as sum of two primes and for the Har-Littlewood numbers the integers that can be written as sum of a prime and a square. In a similar manner, we will stu a Cesàro weighted explicit formula for the integers that can be written as sum of a prime and two squares. We will obtain an asymptotic formula with a main term and more terms depending explicitly on the eros of the Riemann eta function. Mathematics Subject Classification: Primary P3; Secondary 44A, 33C Key words and phrases: Goldbach-type theorems, Laplace transforms, Cesàro average.

2 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS Letting and 3 4 r Q n = m +m +m 3 =n Λm M N,k = πnk+ 4Γk +3 + Nk+ 4Γk + π/ N k+3/ Γk +5/ M N,k = π 4 + π/ M 3 N,k = Nk/+ π k+ M 4 N,k = Nk/+ π k+ Γ Γk ++ Nk++ 4 Γ Γk +3/+ Nk+/+ J k+ π /N l +l / Γ Γk ++ Nk+ l l l +l k/+ π k N k/+/ Γ J k++ π /N l +l / π N/ l l l +l k++/ J k+ mπn / m k+ Nk/+3/4 J k+3/ mπn / π k+ π k N k+/ +π k N k/+/4 m k+3/ π N / Γ J k++ mπ N m k++ π N / Γ J k+/+ mπ N, m k+/+ where J v u is the Bessel function of complex order v and real argument u see below. The main result of this paper is the following Theorem. Let N be a sufficient large integer. We have N nk r Q n Γk + = M N,k+M N,k+M 3 N,k+M 4 N,k+O N k+ n N for k > 3/, where runs over the non-trivial eros of the Riemann eta function ζs and J v u is the Bessel function of complex order v and real argument u. Furthermore the bound k > 3/ is optimal using this technique. The stu of these numbers is classical. For example Har and Littlewood in [7] studied the number of solutions of the equation n = p+a +b and Linnik in [3] derived an asymptotic formula for the number of representations of these numbers. Similar averages of arithmetical functions are common in literature, see, e.g., Chandrasekharan - Narasimhan [] and Berndt [] who built on earlier classical work. For our work we will need the Bessel functions J v u of complex order v and real argument u. For their definition and main properties we refer to Watson [5], but we recall that they were introducted by Daniel Bernoulli and they are the canonical solution of the differential equation u d J du +udj du + u v J = for any complex number v. In particular, equation 8 on page 77 of [5] gives the Sonine representation 5 J ν u = u/ν e s s ν e u /4s ds. πi a

3 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 3 As noted by Languasco and Zaccagnini in [] the estimates of such Bessel functions are harder to perform than the ones alrea present in the Number Theory literature as far as we know, Bessel functions of complex order arise in a similar problem for the first time in [] since the real argument and the complex order are both unbounded while, in the previous papers, either the real order or the complex argument is bounded. The method we will use in this additive problem is based on a formula due to Laplace [], namely 6 πi a v s e v dv = Γs with Res > and a > see, e.g., formula 5.4 on page 38 of [4]. As in [], we combine this approach with line integrals with the classical methods dealing with infinite sum over primes and integers. Similarly as [] the problem naturally involves the modular relation for the complex Jacobi theta 3 function; the presence of the Bessel functions in our statement strictly depends on such modularity relation. I thank A. Zaccagnini and A. Languasco for their contributions and the conversations on this topic and Lior Silberman of Mathoverflow.net for his precious ideas for Lemma 5. This work is part of the Author s Ph.D. thesis. 7 8 Let = a+iy, a >, and. Preliminary definitions and Lemmas θ 3 = m Z e m S = Λme m 9 ω = e m and we can see that θ 3 = +ω. Furthermore we have the functional equation see, for example, the proposition VI.4.3 of Freitag-Busam [5] page 34 π /θ3 π θ 3 = and so ω = π A trivial but important estimation is / + π ω 3 ω ω a Let us introduce the following Lemma. Let = a+iy, a > and y R. Then π 4 S = π / π + e at dt = π a a /. Γ+Ea,y where = β +iγ runs over the non-trivial eros of ζs and Ea,y / {, y a +log y /a, y > a. /ω π.

4 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 4 For a proof see Lemma of [9]. The bound for Ea,y has been corrected in [8]. So in particular, taking = N +iy we have Γ = S+E N,y N + + E N,y 5 { N, y /N N + / log N y, y > /N. Now we have to recall that the Prime Number Theorem PNT is equivalent, via Lemma, to the statement Sa a, when a + see Lemma 9 of [7]. For our purposes it is important to introduce the Stirling approximation 6 Γx+iy πe π y / y x / see for example paragraph 4.4 of [4] uniformly for x [x,x ], x and x fixed, and the identity 7 w = Rew expimwarctany/a. We now quote Lemmas and 3 from [9]: Lemma 3. Let β +iγ run over the non-trivial eros of the Riemann eta function and let α > be a parameter. The series β / γ exp γ arctan/u u α+β,γ> converges provided that α > 3/. For α 3/ the series does not converge. The result remains true if we insert in the integral a factor log c u, for any fixed c. Lemma 4. Let β+iγ run over the non-trivial eros of the Riemann eta function, let = a+iy, a,, y R and α >. We have γ β /Y y exp γarctan Y a π γ α+β α a α where Y = {y R : γy } and Y = {y [ a,a] : yγ > }. The result remains true if we insert in the integral a factor log c y /a, for any fixed c. We now establish an important Lemma. We will use it to prove that there is a limitation in our technique. Essentially the lower bound of k is linked to the number of squares in the problem. We have Lemma 5. Let β+iγ run over the non-trivial eros of the Riemann eta-function, let N, d be positive integers and k > be a real number. Then the series k 3/ γ γ e N l v /γ e v v k+β dv, where l, d γ> l, d = converges if k > d / and this result is optimal. Proof. From we have that then ω d = d d m=, l l l d d d m θ3 m m

5 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 5 I = l, d γ> = γ> = d d γ k 3/ γ k 3/ γ γ ω d m= Nv γ e N l v /γ e v v k+β dv e v v k+β dv d d m k 3/ γ γ θ3 m m γ> Now, using the functional equation we have that I = d d m= m= d d m π m/ m N m/ m k 3/ γ γ θ3 m γ> = d d d m π m/ d γ m k 3/ I m N m/ γ,m, γ> Nv γ π γ e v v k+β dv. Nv e v v k+β m dv say. Now we claim that π γ θ 3 Nv [ π since θ 3 is a continuous function in the interval N, i.e. the range of /v and so we have I γ,m γ> lim θ 3 = γ m k 3/ γ e v v k+β m dv and now assuming k +β m+ > we have γ e v v k+β m dv and so I γ,m k γ> γ m k 3/ and the last series converges if k > m /. Since m =,...,d for a global convergence we must have k > d / and this result is optimal. Let us introduce another lemma Lemma 6. Let = β + iγ run over the non-trivial eros of the Riemann eta function, let = N + iy, N > natural number, y R and α > 3/. We have Γ e N α d α N α. /N Proof. Put a = N. Using the identity 7 and 6 we get that the left hand side in the statement above is 8 γ β / R y exp γarctan a π γ α+β. and so by Lemma 4 8 is α a α in Y Y. For the other part we can see that β / a γ exp γ arctan y a α+β

6 since ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 6 = a α β+ γ β / 9 exp γ arctan u u α+β { a y a, y y a, and so by Lemma 3 we have the convergence if α > 3/. 3. Settings Using 7, 8 and 9 it is not hard to see that Sω = e m m m 3 Λm m+m+m3 = r Q ne n n so let = a+iy, a > and let us consider e N k Sω πi d = a πi ae N k r Q ne n d. n Now we prove that we can exchange the integral with the series. From 3 and the Prime Number Theorem in the form quoted above we have rq ne n = Saω a a hence a n e N k a Sω d a e Na a k + n N k a k e Na assuming k >. So finally we have N nk r Q n Γk + = e N k Sω πi d. a Now, using 4, we can write as r Q n n N +O N nk Γk + = πi a a a a e N k Γ e N k ω Ea,y d a a y k ω d+ and the error term can be estimated, using Lemma, 3 and 9 as a a e Na a k + y k / +log y/a k e Na a k assuming k > /. Hereafter we will consider a = /N. We have N nk r Q n Γk + = e N k πi /N n N and now, using the functional equation, we get Γ ω d +O N k+

7 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 7 say. r Q n n N N nk Γk + = 8πi /N + πi + πi /N /N +O N k+ e N k e N k e N k =I +I +I 3 +O N k+, π / Γ d π π Γ ω d π Γ / π /ω π d 4. Evaluation of I From I we will find the main terms M N,k and M N,k of our asymptotic formulae. We have say. From I, we have I, = π 8πi I = 8πi /Ne N k π / d π / Γ d 8πi /N =I, I,, /Ne N k e N k 3 d + e N k d π/ e N k 5/ d 8πi /N 4πi /N so, if we put N = s, ds = N d and use 6 we have immediately From I, we have I, = π 4 N k+ πi =M N,k. e s s k 3 ds+ Nk+ 4 I, = π 8πi + 8πi π/ 4πi πi e s s k ds π N k+3/ e s s k 5/ ds πi /Ne N k /Ne N k /Ne N k 3/ =I,, +I,, I,,3, Γd Γd Γd say. We observe that by Lemma 6 we have the absolute convergence of these integrals if, respectively, we have k > /, k > / and k >. Hence for k > / we have I,, = π Γ 4 πi /Ne N k d = π Γ 4 Γk ++ Nk++

8 say. We have I,. We have that I,,3 = π/ ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 8 I,, = Γ 4 πi /Ne N k d = 4 Γ e N k 3/ d = π/ πi I = π πi π πi I, = π e N k 3 ω πi /N /N /N =I, I,, π 5. Evaluation of I e N k 3 ω /Ne N k d = π πi /N π d Γω Γ Γk ++ Nk+ Γ Γk +3/+ Nk+/+. π d e N k 3 l e l π / l e l π / d so let us prove that we can exchange the integral with the series. Let us consider A = e N k 3 e l π Re/ π ω d. l /N From Re/ = { N +N y N y /N / Ny y > /N we have A /N e l N l k+3ω N +N / ye l /Ny l /N k+3 = U +U hence, recalling 3 and 9, U N k+ ω N Nk+ and from 9 with a = /N we get U N / e l /Ny l /N y k+ N k/+ l N l l k+ u k/ / e u du k + Γ N k/+ l k+ k N k/+ l assuming k >. Now we have to stu the convergence of A = e N k 3 e l πre/ e l πre/ d l l /N and again from 9 we have A l l /N e l +l N k+3 + l = V +V. l /N e l +l /Ny k+3

9 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 9 For V we can repeat the same reasoning of U and for V, assuming k >, we have V l V N k+ ω N Nk+ l /N e l +l /Ny y k+3 k N k/+/. Then finally we have I, = π πi /Ne N k 3 e l +lπ / d = N k+ π l l l l l l e s s k 3 e l +l π N/s ds πi from which, recalling the definition of the Bessel functions 5 we have, takingu = π /N l +l / and assuming k >, J, = Nk/+ J k+ π /N l +l / π k+. l +l k/+ I,. We have to calculate I, = π πi /Ne N k Γ l e l π / l e l π / d and again we have to prove that is possible to exchange the integral with the series. So let us consider A 3 = e N k Γ l /N e l π Re/ π ω d. Now using 5 and 3 we have A 3 N / l /N e l N k+ +N3/ l For W and W we can easily see that and taking u = l / Ny N k/+3/ l W 3 N k/ /4 l /N ye l /Ny k+ +N / l = W +W +W 3. W N k+3/ ω N N k+ W N 3/ l l k l N l k / /N e l /Ny y k+ /N e u u k/ du k N k/+3/ log 4Nl u ylog Ny e l assuming k >. We have now to check W 3. Taking again u = l/ Ny we have, assuming k > 3/, l N e u u k/ 5/4 du Let us consider A 4 = l N k/ /4 l l /N l k / k N k/. e N k Γ e l πre/ e l πre/ d /Ny k+3/

10 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS and again for the estimation of Γ we have, using 5, A 4 N l l + l l /N =R +R +R 3, /N e l +l N k+ log Ny e l + l l +l /Ny k+3/ /N e l +l /Ny k+ say. So we have immediately and if we take u = l +l / Ny R N k+ ω N N k+ R l l k N k+/ /N e l +l /Ny y k+ for k >. So it remains to evaluate R 3. Again we take u = l +l / Ny and we have R 3 N k/+/4 l N k/+/4 l l l log 4N l +l l +l k/+/4 l +l k/+/4 l +l / N l +l / N e u u k/ 3/4 du log ue u u k/ 3/4 du and the convergence follows if k > 3/. Note that the estimation of R 3 is optimal. For proving it, take c = l +l /N, assume k 3/ and y >. We have S = l l /N log Ny e c/y y k+3/ l l Now, since y we have log Ny log N and since k 3/ we have S logn l = logn l Now we have to estimate A 5 = l Using 6 and 7 we have A 5 l l,γ> l l l e c/y y k+3/ logn l log Ny e c/y y k+3/. l e c N logn e /N c l l e c/y y 3 l +l =. Γ e N k e l πre/ e l πre/ d. /N β / e πγ/ γ k β expγarctannye l πre/ e l πre/ d. /N

11 Let Q k = sup β {Γ ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS } k + β + and assume y <. Using the obvious bound γarctanny γ π γπ we have 3 A 5 N k+ e l N l l +N k+/ Q k k N k l l e l N,γ> N β e πγ/ γ β / l +l k+/,γ> N βe πγ/ γ β / l +l β for k >, where 3 follows from the density estimate γ m πm logm where γ m is the imaginary part of the m-th non trivial eros of the Riemann Zeta function. If y > we have A 5 l + l l :γ> l :γ> β / /N e πγ/ γ N k++β e l +ln γ β / /N and from arctanx + arctan/x = π/ it follows and if we put A 5 N k+ + l l N k+ + l l γ Ny = v we get :γ> :γ> γ β / exp γ arctanny π e l +l /Ny y k++β /N γ β / /N exp γ arctan Ny exp γ Ny l +l Ny e l +l /Ny y k++β y k β 4 A 5 N k+ + l l N k+ + l l :γ> :γ> γ β / γ γ k 3/ e v e Nv l +l /γ γ k β γ Nv Nv dv e v e Nv l +l /γ v k+β dv. Now we can observe that we are in the situation of Lemma 5 with d = and so we can conclude immediately that we have the convergence for k > 3/ and this result is optimal. We studied the convergence, so we finally have, using again the identity 5, that I, = π k N k/+/ Γ π N/ l l J k++ π /N l +l / l +l k++/.

12 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS We have I 3 = πi = i /N /N π / i /N 6. Evaluation of I 3 e N k π / π / Γ 3/ + π e N k 3 ω d i /Ne N k π e N k 5/ ω + π / i =I 3, I 3, I 3,3 +I 3,4. /Ne N k 3/ π /ω π Γ d π Γω d Γω π d I 3,. We have I 3, = i /N e N k 3 ω π d = i /Ne N k 3 e m π / d hence we have to establish the convergence of A 6 = Using 3, 9 and we have /N e N k 3 e m Re/ d. A 6 N k+3/ + k N k+3/ for k >. So we obtain, recalling 5, that J 3, = Nk/+ π k+ y k 3 e m /Ny J k+ mπn / m k+. I 3,3. We have I 3,3 = π / i /Ne N k 5/ e m π / d so we have to establish the convergence of /N e N k 5/ e m Re/ d and so using the same argument that we used for the estimation of I 3, we have the convergence for k > / and so I 3,3 = Nk/+3/4 π k+ J k+3/ mπn /. m k+3/

13 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 3 I 3,. We have to establish the convergence of A 7 = e N k Γ /N so using 3, 9, and 5 we get Now if we put m / Ny = u we have N A 7 N k+/ +N /N +log N + /N /N /N e m π / y k e m /Ny y k 3/ e m /Ny log yy k 3/ e m /Ny. y k e m /Ny k + N k/+3/ Γ which converges if k >. With the same substitution we get log N /N d m k y k 3/ e m /Ny k log NN k/+/4 Γ + m k / 4 and so the convergence for k > /. For the estimation of the last integral in the bound of A 7 we observe that if we take ǫ > we have log yy k 3/ e m /Ny y k 3/+ǫ e m /Ny /N and so, following what we have done before, N k/+/4 ǫ/ Γ /N k + 4 ǫ m k /+ǫ and for the arbitrariness of ǫ we have the convergence for k > /. We have now to stu A 8 = Γ e N k e m π / d. /N By symmetry we may assume that γ >. If y we have γarctany/a π γ π γ and so using 6 and 7 we get A 8 γ β / exp π /N γ N k++β e mn e m /Ny + k++β γ> /N y provided that k > and Q k = sup β {Γ k N k+3/ + +N k/+/ Q k m k+ N β/γβ / m β γ> k N k+3/ } k + + β. Let y >. We have exp π γ

14 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 4 A 8 say. From 3 and 9 we have γ> + γ> =L +L, L N k+ γ β / exp π /N 4 γ N k++β e mn γ β / /N and recalling the identity arctanx+arctan x = π L γ> =N k+/ γ β / /N exp γarctanny π e m /Ny γ y k++β e m N γ>n β γ β / exp π 4 γ k N k+3/ exp m k+ γ> and taking v = m/ N / y we have y k++β γ Ny m Ny N β/ m N m β γβ / exp γv N / m v v k+β dv and now since e v v k = O k if k > we have, taking s = γv/ N / m, N k/+ 3/ m k N β γ exp ss β ds γ> k N k/+ for k >. Now we can exchange the series with the integral and so we have I 3, =π k N k+/ I 3,4. We have to establish the convergence of I 3,4 = π / i π N / Γ /Ne N k 3/ J k++ mπ N m k++ Γω π and so we have the similar situation of I 3,. Then we can use the same arguments to obtain the condition k >. We can exchange the series with the integral and obtain I 3,4 =π k N k/+/4 π N Γ References d J k+/+ mπ N. m k+/+ [] B. C. Berndt, Identities Involving the Coefficients of a Class of Dirichlet series. VIII, Trans. Amer. Math. Soc., 975, [] K. Chandrasekharan and R. Narasimhan, Hecke s Functional Equation and Arithmetical Identities, Annals of Math , -3. [3] A. Erdélyi, W. Magnus, F. Oberhettinger and F. G. Tricomi, Higher Transcendental Functions, Vol.. New York: Krieger, 98 [4] A. Erdélyi, W. Magnus, F. Oberhettinger, and F. G. Tricomi, Tables of integral transforms, Vol., McGraw-Hill, 954. [5] E. Freitag and R. Busam, Complex analysis, second ed., Springer-Verlag, 9. [6] G. H. Har and J. E. Littlewood, Contributions to the theory of the Riemann eta-function and the theory of the distribution of primes, Acta Math. 4 96, 9 96.

15 ON THE CESÀRO AVERAGE OF THE LINNIK NUMBERS 5 [7] G. H. Har and J. E. Littlewood, Some problems of Partitio Numerorum ; III: On the expression of a number as a sum of primes, Acta Math , 7. [8] A. Languasco, Applications of some exponential sums on prime powers: a survey. Proceedings of the Tero Incontro Italiano di Teoria dei Numeri", Scuola Normale Superiore, Pisa, -4 Settembre 5. To appear in Rivista Matematica della Universit di Parma, 6. [9] A. Languasco and A. Zaccagnini, A Cesàro Average of Goldbach numbers, Forum Mathematicum 7.4 5, [] A. Languasco and A. Zaccagnini, A Cesàro Average of Har-Littlewood numbers, J. Math. Anal. Appl. 4 3, [] P. S. Laplace, Théorie analytique des probabilités, Courcier, 8. [] Ju. V. Linnik, A new proof of the Goldbach-Vinogradov theorem, Rec. Math. [Mat. Sbornik] N.S , 3 8, Russian. [3] Ju. V. Linnik, An asymptotic formula in an additive problem of Har-Littlewood, Iv. Akad. Nauk SSSR Ser. Mat., Vol. 4, Issue 5, 96, Russian. [4] E. C. Titchmarsh, The Theory of Functions, second ed., Oxford U. P., 988. [5] G. N. Watson, A Treatise on the Theory of Bessel Functions, second ed., Cambridge U. P., 966. Marco Cantarini Università di Ferrara Dipartimento di Matematica e Informatica Via Machiavelli, 3 44 Ferrara, Italy marco.cantarini@unife.it