arxiv: v1 [math.ca] 12 Mar 2015

Transcription

1 axiv: v [math.ca] 2 Ma 205 AN APPLICATION OF FOURIER ANALYSIS TO RIEMANN SUMS TRISTRAM DE PIRO Abstact. We develop a method fo calculating Riemann sums using Fouie analysis.. Poisson Summation Fomula Definition.. If f L (R), we define; (f) (y) = f(x)e 2πixy (f) (y) = f( y) (f) (y) = f(x)e2πixy and, if g L ([0,]), m Z, we define; (g) (m) = 0 g(x)e 2πixm Remaks.2. If f S(R), we have that; f(x) = (f) (y)e 2πixy dy, (x R) and, if g C ([0,]), ( ), the seies; m Z (g) (m)e 2πixm conveges unifomly to g on [0,]. See [4],[2] and [3]. Also obseve that (f) = (f ) and (f) = (f ). Theoem.3. Let f S(R), and let; By which we mean that g (0,) C (0,), and thee exist {g k C[0,] : k Z 0 }, such that g k (0,) = g (k), and g k (0) = g k ().

2 2 TRISTRAM DE PIRO g(y) = m Z f(y +m), (y [0,]) Then g C ([0,]) and the seies m Z (f) (m)e 2πiym conveges unifomly to g on [0,]. In paticula; m Z f(m) = m Z (f) (m) Poof. Obseve that, as f S(R), fo y 0 [0,], Z 0, n 2; m Z d f dy y0 +m m Z m Z C,n (+ y 0 +m n ) C,n (+ m n ) C,n +2C,n m m n C,n +2C,n (+[ y n+ n+ ] = C,n (+2(+ n ) 5C,n ( ) whee C,n = sup w R ( w nd f w ) Suppose, inductively, that d g dy y0 = d f m Z dy y0 +m, fo y 0 [0,], ( 2 ), then, using ( ), we have, fo, that; d + g = d ( d f m dy + m Z ) = d + f m dy m Z dy + whee f m (x) = f(x+m), fo m Z. Moeove, fo 0; d g dy 0 = d f m m Z dy 0 = d f m m Z dy = d g dy It follows that g C [0,]. Moeove, we have that, fo n Z; 2 Given d g dy, we intepet d+ g dy + 0 = lim h 0,+ h (d g dy h d g dy 0 )

3 AN APPLICATION OF FOURIER ANALYSIS TO RIEMANN SUMS 3 (g) (n) = 0 g(y)e 2πiyn = 0 ( m Z f(y +m))e 2πiyn = 0 ( m Z f(y +m))e 2πi(y+m)n = f(y)e 2πiyn = (f) (n) Using Remak.2, the seies; m Z ˆf(m)e 2πiym conveges unifomly to g on [0,] as equied. Lemma.4. If h C 2 (R), and thee exists C R, with; sup x R ( x 2 h(x), x 2 h (x), x 2 h (x) ) C then the Invesion theoem holds fo h. That is (h) L (R) and; h(x) = R (h) (y)e 2πixy dy (x R) Poof. The esult follows fom inspection of the poof in[2], see Remak 0.4. Lemma.5. If h satisfies the conditions of Lemma.4, and f = (h), then (f) = h. Poof. As h satisfies the conditions of Lemma.4, so does h, and, theefoe, the invesion theoem holds fo h. Then; ((h ) ) = (((h ) ) ) = (h ) theefoe; (((h ) ) ) = h. As f = h = (h ), we have that; (f) = (h ) ) = h

4 4 TRISTRAM DE PIRO Lemma.6. Let f be given by Lemma.5. Then, if thee exists D R, with; sup x R ( x 4 h(x), x 4 h (x), x 4 h (x) ) D we have that f C 2 (R), and, moeove, thee exists a constant F R, such that; sup y R ( y 2 f(y), y 2 f (y), y 2 f (y) ) F. Poof. Letting E = h [,] C[,], we have that, fo y R, x ; h(x)e 2πixy = h(x) D x 4 D x 2 2πixh(x)e 2πixy = 2π x h(x) 2πD 2πD x 3 x 2 4π 2 x 2 h(x)e 2πixy = 4π 2 x 2 h(x) 4π2 D 4π2 D x 2 x 2 and, fo y R, x ; x 2 h(x)e 2πixy h(x) E x 2 2πixh(x)e 2πixy 2π h(x) 2πE x 2 4π 2 x 2 h(x)e 2πixy 4π 2 h(x) 4π 2 E Hence; sup x R { x 2 h(x)e 2πixy, x 2 2πixh(x)e 2πixy, x 2 4π 2 x 2 h(x)e 2πixy } 4π 2 max(d,e) and {h(x)e 2πixy,2πixh(x)e 2πixy, 4π 2 x 2 h(x)e 2πixy } C(R). It follows that, fo y 0 R, we can diffeentiate unde the integal sign, to obtain that {f(y 0 ),f (y 0 ),f (y 0 )} ae all defined. By the DCT, using the fact that 4π 2 x 2 h(x) L (R), we obtain that f C(R), hence, f C 2 (R). Diffeentiating by pats, using the fact that; {h,h,h,xh,xh,xh,x 2 h,x 2 h,x 2 h } (L (R) C 0 (R))

5 AN APPLICATION OF FOURIER ANALYSIS TO RIEMANN SUMS 5 by the hypotheses of Lemma.4 and this Lemma, we have that; (h ) = 4πy 2 (h) = 4πy 2 f (4πih +2πixh ) = ((2πixh) ) = 4πy 2 (2πixh) = 4πy 2 f (8π 2 h+6π 2 xh +4π 2 x 2 h ) = ((4π 2 x 2 h) ) = 4πy 2 (4π 2 x 2 h) = 4πy 2 f, ( ) We have, by ( ), fo y, that; f(y) (h ) (y) 4πy 2 h L (R) 4πy 2 2D 3 +2E 4πy 2 f (y) (4πih +2πixh ) (y) 4πy 2 (4πih +2πixh ) L (R) 4πy 2 2 h L (R) + xh L (R) 2y 2 2(2D 3 +2E )+D+2E 2y 2 f (y) (8π2 h+6π 2 xh +4π 2 x 2 h ) (y) 4πy 2 (8π2 h+6π 2 xh +4π 2 x 2 h ) L (R) 4πy 2 2π h L (R) +4π xh L (R) +π x 2 h L (R) y 2 2π(2D 3 +2E)+4π(D+2E )+π(2d+2e ) y 2 whee E = h [,] C[,] and E = h [,] C[,] Fo y, we have that; f(y) h L (R) 2D 3 +E f (y) (2πixh) L (R) 2πD +2E f (y) 4π 2 x 2 h L (R) 8π 2 D +2E Hence, we can take F = max(8π 2 D+2E, 22πD 3 +4πE+8πE +2πE )

6 6 TRISTRAM DE PIRO Definition.7. Let f be given by satisfying the conditions of Lemmas.5 and.6, we let; g(y) = m Z f(y +m), (y [0,]) Lemma.8. Let g be given by Definition.7, then g C 2 [0,]. Poof. Using Lemma.6 and Weiestass M-test, we have that the seies; m Z f(y +m), m Z f (y +m), m Z f (y +m) ae unifomly convegent on [0,]. It follows, that g C 2 (0,), and clealy; g + (0) = m Z f (m) = m Z f (m+) = g () hence, g C 2 [0,]. Lemma.9. Let f L (R), such that; g(y) = m Z f(y +m) is defined, fo y [0,]. Then, if g C 2 [0,], we have that the seies m Z (f) (m)e 2πiym conveges unifomly to g on [0,]. In paticula; m Z f(m) = m Z (f) (m) Poof. Following though the calculation in Theoem.3, we have that g L ([0,]), and (g) (m) = (f) (m), fo m Z. Using the esult of [3] o [4], we obtain the second pat, the final claim is clea. Lemma.0. Let f be given by satisfying the conditions of Lemmas.5 and.6, with espect to h, then; m Z f(m) = m Z h(m) Poof. Using Lemmas.5 and.6, we have that g C 2 [0,], whee g is defined by.8, and (f) (m) = h(m), fo m Z. By Lemmas.8

7 AN APPLICATION OF FOURIER ANALYSIS TO RIEMANN SUMS 7 and.9, we have that; m Z f(m) = m Z (f) (m) Hence; m Z f(m) = m Z h(m) as equied. Lemma.. If s Z 2, s even, then; n= = ( ) s+2 2 (2π) s B s n s 2(s!) Poof. The poof of this esult can be found in [4]. Definition.2. If s C, with Re(s) 4, and Z, we define; h s, (x) = x s, (x ) h s, (x) = ( )s x s = e iπs x s, (x ) Remaks.3. h s, is symmetic, that is h s, (x) = h s, ( x), fo x. Lemma.4. Thee exists a polynomial p s, of degee 2 + 3, with the popeties; (i). p s, is symmetic, that is p s, (x) = p s, ( x), fo x R. (ii). p s, (n) = n s, fo n. (iii). p (k) s,() = h (k),+ s, (), (0 k 2) (iv). p (k) s,( ) = h (k), s, ( ), (0 k 2) Poof. We let, fo j +, k ;

8 8 TRISTRAM DE PIRO j (+)... A = k 2... k 2j... k 2(+) j... 2(+) j 2j... 2( +) j(2j ) 2j ( +)(2+) 2 s 2 s... b s, = k s... s s (+s) s(s+) (2+s) Wehavethatdet(A ) 0,hence, wecansolvetheequationa (a s, ) = b s,. Let p s, (x) = + j=0 (a s,) (j+) x 2j. We have, by constuction, that p s, ( x) = p s, (x), and p (k) s,() = h s, (k),+ (). As both p s, and h s, ae symmetic, we also have that, p (k) s,() = h s, (k), ( ), as equied. Definition.5. We define; g s, (x) = h s, (x), (if x ) g s, (x) = p s, (x), (if x ) Lemma.6. We have that g s, C 2 (R), g s, is symmetic, and, moeove, the hypotheses of Lemmas.4 and.6 hold fo g s,. Poof. The fact that g s, C 2 (R) follows immediately fomconditions (iii) and(iv) of Lemma.4. The symmety condition is a consequence of Condition (i). If x, we have that; g s, (x) x Re(s) x Im(s) x 4 Hence, as g s, is symmetic, g s, (x) x 4, fo x.

9 AN APPLICATION OF FOURIER ANALYSIS TO RIEMANN SUMS 9 If x ; g s, (x) = p s, (x) j=0 (a s,) (j+) a s, It follows that sup x R ( x 4 g s, (x) ) max(, a s, ). Similaly, as g s, s (x) =, g s(s+) x s+ s (x) =, x >, then, if x >, we x s+2 have that; g s, (x) s x 5 g s,(x) s s x 6 and, if x ; g s,(x) = p s,(x) 2+2 ( + j= 2j(a s,) (j+) ) 2(+) a s, g s (x) = p s (x) 2+2 ( + j= 2j(2j )(a s,) (j+) ) (2+2)(2+ ) a s so that; sup x R ( x 5 g s,(x) ) max( s,2( +) a s ) sup x R ( x 6 g s, (x) ) max( s s,(2+2)(2+) a s ) ( ) It follows that Lemmas.4 and.6 holds fo g s,, with C = D = max( s s,(2+2)(2+) a s. Definition.7. We let f s, (y) = R g s,(x)e 2πixy. R s,, = n Z 0 ( R s,,2 = n Z 0 ( R s, = R s,, +R s,,2 e 2πinx ) x s e 2πinx ) x s P s,, = n Z 0 ( 0 p s,(x)e 2πinx )

10 0 TRISTRAM DE PIRO P s,,2 = n Z 0 ( 0 p s,(x)e 2πinx ) P s, = P s,, +P s,,2 Lemma.8. We have that f s, is symmetic, and f s, satisfies the conclusions of Lemmas.5 and.6. Moeove; f s, (0)+P s, +R s, = p s, (0)+2 n= n s Poof. The second pat follows immediately fom Definition.7, and Lemmas.6,.5 and.6. It follows that f s, L (R), and; f s, ( y) = R g s,(x)e 2πixy = R g s,( x)e 2πixy = R g s,(x)e 2πixy = f s, (y) Hence, f s, is symmetic. By Lemma.0, we have that; n Z f s,(n) = n Z g s,(n) As both f s, and g s, ae symmetic, using Definition.5 and popety (ii) of Lemma.4, we obtain; f s, (0)+P s, +R s, = f s, (0)+ n Z 0 f s, (n) = g s, (0)+2( n= g s,(n)) = p s, (0)+2( n= n s ) Lemma.9. We have that; R s, 2 s 2 3(Re(s)+) Re(s)+

11 AN APPLICATION OF FOURIER ANALYSIS TO RIEMANN SUMS P s, = p s, (0)+p s, ()+2 l= p s,(l) 2 0 p s,(x) Poof. We have that; R s,, = n Z 0 2πin s + n Z 0 s e 2πinx 2πin x s+ = s + s(s+) e 2πinx n Z 0 s+ (2πin) 2 n Z 0 (2πin) 2 x s+2 = 2s 4 s+ π 2 n= = s 2 s+ π 2 π 2 6 +D s,, = s 2 s+ +D s,, whee; D s,, s(s+) C s,, 4π 2 and C s,, = = x Re(s)+2 (Re(s)+) Re(s)+ It follows that; R s,, n 2 +D s,, x s+2 = s(s+) C s,, n Z 0 n 2 2 s s(s+) + 2 Re(s)+ 2(Re(s)+) Re(s)+ s (Re(s)+) s(s+) + 2(Re(s)+) Re(s)+ 2(Re(s)+) Re(s)+ = s (Re(s)+)+ s(s+) 2(Re(s)+) Re(s)+ 2 s(s+) 2(Re(s)+) Re(s)+ s 2 3(Re(s)+) Re(s)+ Similaly, R s,,2 We have that; s 2 3(Re(s)+) Re(s)+, so that R s, 2 s 2 3(Re(s)+) Re(s)+.

12 2 TRISTRAM DE PIRO P s,, = ( p n Z 0 0 s,(x)e 2πinx = n Z 0 ( l=0 l+ l p s, (x)e 2πinx ) = l=0 ( ( l+ p n Z 0 s, (x)e 2πinx )) l = l=0 ( n Z 0 ( 0 p s,(x+l)e 2πin(x+l) )) = l=0 ( n Z 0 ( 0 p s,(x+l)e 2πinx )) = l=0 ( n Z 0 (p l s, ) (n)) = l=0 ( n Z (pl s, ) (n) 0 pl s, ), (3 ) 3 If f (C[0,] C 2 (0,)), and thee exist {a +,j,a,j : 0 j 2} C, with lim x 0 +f (j) (x) = a +,j and lim x f (j) (x) = a,j, ( ), fo 0 j 2, then a classical esult in the theoy of Fouie seies, says that; lim N N n= N (f)( ) (n)e 2πinx = f(x) (x (0,)) lim N N n= N (f)( ) (n) = a+,0+a,0 2 We give a simple poofofthis esult. Fist obsevethat thee exists a polynomial p C[x], with deg(p) = 5, such that p (j) (0) = 0 and p (j) () = a,j a +,j, fo 0 j 2. This follows fom the fact that we can find c C 3, such that M c = a, whee a(j) = a,j a +,j, fo j 3, and; M = as det(m) 0, and, setting p(x) = 2 k=0 c kx 3+k. We have that p+f C 2 (S ), in which case the esult follows fom [3]. Hence, it is sufficient to veify the esult fo the powes {x k : 0 k 5}. We have that, fo k, n Z 0 ; 0 xk e 2πinx [ xk e 2πinx 2πin ] 0 + k 2πin 2πin + k 2πin 0 xk e 2πinx 0 xk e 2πinx 0 xk e 2πinx = ( k k! l= )+ (k l+)!(2πin) l 0 e 2πinx = ( k l= k! (k l+)!(2πin) l )

13 AN APPLICATION OF FOURIER ANALYSIS TO RIEMANN SUMS 3 = l=0 (pl s, ()+pl s, (0) 2 0 pl s, ) = l=0 (ps,(l+)+ps,(l) p 2 0 s,(x+l)) = l=0 (ps,(l+)+ps,(l) l+ 2 l p s, (x)) = ps,(0)+ps,() 2 + l= p s,(l) 0 p s,(x) Similaly; P s,,2 = ps,(0)+ps,() 2 + l= p s,(l) 0 p s,(x) so that; P s, = P s,, +P s,,2 lim N N n= N (xk ) (n) = k+ 2 k l= n= k! (k l+)!(2πin) l Case k =, we obtain S k = 2 k = 2, S k = π 2 ( n= n 2 ) k = 3, S k = π 2 ( n= n 2 ) k = 4, S k = π 2 ( n= n 2 ) π 4 ( n= n 4 ) k = 5, S k = π 2 ( n= n 2 ) π 4 ( n= n 4 ) Using Lemma., we have that; n= n = π[cot(πz)z](2) ! = π. 4π 6.2.2! = π2 6 n= n = π[cot(πz)z](4) ! = π. 48π ! = π4 90 S 2 = π 2 ( π2 6 ) = = 2 S 3 = π 2 π 2 6 = = 2 S 4 = π 2 π π 4 π 4 90 = 2 S 5 = π 2 π π 4 π 4 90 = 2

14 4 TRISTRAM DE PIRO = p s, (0)+p s, ()+2 l= p s,(l) 2 0 p s,(x) Lemma.20. If Re(s) 4,, we have that; n= = n s + ps,() + Rs, x s 2 2 = + Rs, + s (s ) s 2 2 If 2; n= n s = + j=0 (a s,) j+ ( B 2j+() 2j+ ) Poof. The fist claim is just a simple eaangement of the claim in Lemma.8, using Lemma.9. We have that; x s = (s ) s and ps,() = s 2 2 Moeove; n= n s = l= p s,(l) = + l=0 j=0 (a s,) j+ l 2j = + j=0 (a s,) j+ ( l=0 l2j ), by popety (ii) in Lemma.4. = + j=0 (a s,) j+ ( B 2j+() B 2j+ (0) 2j+ ) = + j=0 (a s,) j+ ( B 2j+() 2j+ ) Remaks.2. Using Lemma.9, we have that lim R s, = 0, hence, Lemma.20 educes the calculation of n= to a calculation n s

15 AN APPLICATION OF FOURIER ANALYSIS TO RIEMANN SUMS 5 involving Benoulli polynomials. Moeove, letting A s, = n=, we n s have that; A x s s, x s A x Re(s) s, x s (Re(s) ) Re(s) A s, 3( ) 3 Obseving that; s 2 3(Re(s)+) Re(s)+ (Re(s) ) if s (Re(s) ) Re(s) 3(Re(s)+), we havethatthe estimate + j=0 (a s,) j+ ( B 2j+() 2j+ )+ (s ) s + 2 s impoves upon + j=0 (a s,) j+ ( B 2j+() 2j+ ), fo sufficiently lage values of. The coefficients (a s, ) j, j +2 can be computed using simple linea algeba. The computation of absolutely convegent Riemann sums, and thei diffeences, occus in the evaluation of ζ(s), fo 0 < Re(s) <, it is well known that ζ(s) 0, fo Re(s). It is hoped that the above method might lead to some pogess in the diection of solving the famous Riemann hypothesis, that, ζ(s) = 0 iff Re(s) = 2 o s = 2w, fo w Z, see []. Refeences [] Intoduction to Analytical Numbe Theoy, Spinge, T. Apostol, (976) [2] A Simple Poof of the Invesion Theoem using Nonstandad Analysis, available at T. de Pio, (203). [3] A Simple Poof of the Unifom Convegence of Fouie Seies using Nonstandad Analysis, available at T.de Pio, (203). [4] Fouie Analysis: An Intoduction, Pinceton Lectue Seies, E. Stein, R. Shakachi, (2003). Mathematics Depatment, Haison Building, Steatham Campus, Univesity of Exete, Noth Pak Road, Exete, Devon, EX4 4QF, United Kingdom