Fourier Expansions of Polynomials and Values of Ζ
Total Page:16
File Type:pdf, Size:1020Kb
(September 13, 2011) Fourier expansions of polynomials and values of ζ Paul Garrett [email protected] http:=/www.math.umn.edu/egarrett/ 1. Fourier expansions of polynomials 2. Sample computations This is an example of the impact of harmonic analysis on number theory. We start from the fact that Fourier series expansions of sufficiently good functions represent the functions pointwise. More precisely, for present o o purposes, it suffices to know that for piecewise-C periodic functions f, at points xo where f is C and has left and right derivatives, X 2πinxo R 1 −2πinx f(xo) = fb(n) e (where fb(n) = 0 e f(x) dx) n2Z and it is implicit that the two-sided series converges. Applying this to polynomials restricted to [0; 1] gives a systematic approach to summing series [1] such as 1 1 1 1 1 1 π2 ζ(2) = + + + + + + ::: = 12 22 32 42 52 62 6 1 1 1 1 1 1 π4 ζ(4) = + + + + + + ::: = 14 24 34 44 54 64 90 P s Small extensions of the same idea evaluate certain more complicated Dirichlet series n≥1 an=n at positive integers of suitable parity. More elementary methods can produce a few results. For example, from the geometric series 1 = 1 − x2 + x4 − x6 + x8 − x10 + ::: 1 + x2 integrate to obtain x3 x5 x7 arctan x = x − + − + ::: 3 5 7 Letting x = 1 gives Leibniz' result 1 1 1 1 π 1 − + − + − ::: = 3 5 7 9 4 However, elementary methods were powerless against ζ(2). 1. Fourier expansions of polynomials On the unit interval [0; 1], there are two simple types of functions: polynomials, and exponentials e2πinx. They are very unlike each other, and expressing one in terms of the other produces interesting information. The sawtooth function 1 f(x) = x − [[x]] − (where [[x]] is the greatest integer ≤ x) 2 [1] Euler summed these series circa 1750, although at first he had more a heuristic than proof. Even a heuristic had eluded the Bernoullis, and Euler's success was one of the things that made a big impression. 1 Paul Garrett: Fourier expansions of polynomials and values of ζ (September 13, 2011) is a linear polynomial made periodic. The subtraction of the 1=2 conveniently makes the 0th Fourier coefficient 0. All the other Fourier coefficients are readily computed by integration by parts: Z 1 1 1 e−2πinx 1 Z 1 e−2πinx 1 fb(n) = (x − ) e−2πinx dx = (x − ) − dx = 0 2 2 −2πinx 0 0 −2πinx −2πin [2] This begins an inductive description of a family of polynomials B`(x), arranged to have easily computed Fourier coefficients, [1.0.1] Definition: (Beware: not quite compatible with other normalizations of Bernoulli polynomials) 1 d Z 1 B1(x) = x − Bk(x) = Bk−1(x) Bk(x) dx = 0 2 dx 0 Taking Bk(x) so that its derivative is Bk−1(x) is entirely motivated by wanting an integration by parts to work nicely: Z 1 −2πinx Z 1 −2πinx −2πinx e 1 0 e Bk(x) e dx = [Bk(x) ]0 − Bk(x) dx 0 −2πin 0 −2πinx Z 1 −2πinx Z 1 Z 1 −2πinx 1 1 0 e 1 0 0 e = [Bk(x) ]0 + Bk(x) dx = Bk(x) dx + Bk(x) dx −2πin 0 2πinx −2πin 0 0 2πinx −1 1 −1 = 0 + · = (using R 1 B (x) dx = 0) (2πin)k−1 2πin (2πin)k 0 k−1 0 Since Bk(x) = Bk−1(x), the only new thing to be determined in Bk is its constant, which is completely determined by the integral condition. Thus, this description does unambiguously specify a sequence of polynomials. [1.0.2] Remark: In computing Fourier coefficients, we think either of the restriction of Bk(x) to [0; 1], or of the periodicized version Bk(x − [[x]]). [1.0.3] Claim: The Fourier series of Bk(x) is −1 X e2πinx B (x − [[x]]) ∼ k (2πi)k nk 06=n2Z For k > 1, Bk(0) = Bk(1). [1.0.4] Remark: The equality Bk(0) = Bk(1) for k > 1 assures that the periodicized version Bk(x − [[x]]) of Bk(x) is continuous. Piecewise-polynomial functions have left and right derivatives everywhere, so the Fourier series for Bk(x) with k > 1 will converge to Bk(x − [[x]]) for all x. Thus, for even k, we evaluate ζ(k) in terms of Bk(x): [1.0.5] Corollary: 8 −2 ζ(2k) < B2k(0) = (for 2k even) (2πi)2k : B2k+1(0) = 0 (for 2k + 1 > 1 odd) (For k odd, in the previous claim the ±n terms cancel.) === [2] These polynomials are roughly Bernoulli polynomials. We are not worrying about conventional normalization or indexing, nor other definitions. 2 Paul Garrett: Fourier expansions of polynomials and values of ζ (September 13, 2011) Proof: (of claim) First, the matching at endpoints is easy: Z 1 Bk(1) − Bk(0) = Bk−1(t) dt = 0 (for k > 1) 0 th since, by construction, Bk−1(x) has vanishing 0 Fourier coefficient. Integrating by parts, recapitulating earlier observations, Z 1 −2πinx 1 Z 1 −2πinx −2πinx e e Bbk(n) = Bk(x) e dx = Bk(x) − Bk−1(x) dx 0 −2πin 0 0 −2πin B (1) − B (0) −1 1 −1 = k k − · = −2πin (2πin)k−1 −2πin (2πin)k k−1 by the inductive hypothesis that Bbk−1(n) = −1=(2πin) . === [1.0.6] Claim: The polynomials Bk(x) can be characterized by a generating function: t · etx 1 + t B (x) + t2 B (x) + t3 B (x) + ::: = 1 2 3 et − 1 [1.0.7] Remark: It is wise to say that we consider this as a formal power series in x and t. This is not to say that the discussion is a mere heuristic! The formal power series ring R[[x; t]] over a coefficient ring R is a (projective) limit [3] lim [x; t]=In (with ideal I generated by x; t)) n C [1.0.8] Remark: The latter relation shows that the polynomials Bk(x) have rational coefficients. Rationality also follows from the recursive definition. Proof: Let 2 3 f(t; x) = 1 + t B1(x) + t B2(x) + t B3(x) + ::: [3] Recall (!) that a projective limit X of a family ::: ! X2 ! X1 ! X0 is an object with maps X ! Xi such that the natural diagram of curvy trangles commutes: X ::: , X2 /+ X1 /* X0 and, for all collections Y ! Xi with commuting Y ::: , X2 /+ X1 /* X0 there exists a unique Y ! X giving commuting ::: , + * X X2 6/ X1 h4/ X0 `A {= mmm hhhh A { mm hhhh A {{ mmm hhhh {{ mmmhhhh A {{mmmhhh Y hmhh The most basic naive-category-theory ideas show that the object X (and maps X ! Xi) is unique up to unique isomorphism. This should be very reassuring. Unfortunately, this way of thinking is not as common as it should be, so one may be put off by this description of formal power series rings. If so, one should correct this weakness, since such descriptions/explanations are essential in higher mathematics. 3 Paul Garrett: Fourier expansions of polynomials and values of ζ (September 13, 2011) [4] 0 Applying a standard idea, differentiate in x, use B`(x) = B`−1(x), and see what happens: @ f(t; x) = t · 1 + t2 B (x) + t3 B (x) + ::: = t · f(t; x) @x 1 2 Therefore, [5] tx f(t; x) = C(t) · e (for some C(t) 2 C[[t]], independent of x) [6] R 1 The conditions 0 Bk(x) dx = 0 give, on one hand, Z 1 Z 1 Z 1 Z 1 tx X ` C(t) · e dx = (1 + t B1(x) + :::) dx = 1 dt + t B`(x) dx = 1 0 0 0 `≥1 0 On the other hand, Z 1 Z 1 et − 1 C(t) · etx dx = C(t) etx dx = C(t) · 0 0 t Thus, t C(t) = et − 1 Therefore, t · etx 1 + t B (x) + t2 B (x) + ::: = 1 2 et − 1 as claimed. === [1.0.9] Corollary: 2 ζ(2) 2 ζ(4) 2 ζ(6) 2 ζ(8) t t t2 · + t4 · + t6 · + t8 · + ::: = 1 − − (2πi)2 (2πi)4 (2πi)6 (2πi)8 2 et − 1 1 Proof: Subtract 1 + tB1(x) = 1 + t(x − 2 ) from both sides of the identity t · etx 1 + t B (x) + t2 B (x) + t3 B (x) + ::: = 1 2 3 et − 1 evaluate at x = 0, and multiply through by −1, noting that, from above, Bk(0) = 0 for odd k > 1, while 2k B2k(0) = −2ζ(2k)=(2πi) . === [4] When we've dodged convergence issues by saying formal power series ring, we can't talk about differentiation as the usual sort of limit. Instead, define a derivation D on C[x; t] or C[[x; t]] by requiring that D be a linear map such that Dx = 1 and Dt = 0, and satisfying Leibniz' rule D(fg) = Df · g + f · Dg An induction proves Dxn = nxn−1. A bit of thought shows that the limit-taking version of derivative was not essential. Some of the properties are essential: linearity, Leibniz' rule, annihilation of constants. [5] The differential equation @f(t; x)=@x = t·f(t; x) has the convergent power series solution etx. Further, the obvious induction on coefficients proves that, given C(t) 2 C[[t]], there is a unique solution f(t; x) with f(t; 0) = C(t). [6] These definite integrals can be rewritten as linear functionals on vector spaces of polynomials, again avoiding any genuine limit-taking.