Math 2.0

Harmonic analysis on Euclidean spaces Basic notions Example

Fourier series of Bernoulli polynomials

Builds on Bernoulli polynomialsFourier coefficientRiemann zeta function

Example

Let BkB_k be the kk-th Bernoulli polynomial, and let k≥2k \ge 2 be an integer. Then for every x∈[0,1]x \in [0, 1], Bk(x)=−k!(2πi)k∑n∈ℤ, n≠0e2πinxnk,B_k(x) = -\frac{k!}{(2\pi i)^k} \sum_{n \in \Z, \, n \ne 0} \frac{e^{2\pi i n x}}{n^k}, and the series converges absolutely and uniformly on [0,1][0, 1]. So the 11-periodic function equal to BkB_k on [0,1)[0, 1) has the Fourier coefficients 00 at n=0n = 0 and −k!(2πin)k-\frac{k!}{(2\pi i n)^k} at n≠0n \ne 0, for period 11.

Check of the coefficients: ∫01Bk(x) dx=0\int_0^1 B_k(x) \, dx = 0 for k≥1k \ge 1, which gives the coefficient at n=0n = 0. For n≠0n \ne 0, integration by parts with Bk′=kBk−1B_k' = k B_{k-1} and Bk(1)=Bk(0)B_k(1) = B_k(0) for k≥2k \ge 2 gives ∫01Bk(x)e−2πinx dx=k2πin∫01Bk−1(x)e−2πinx dx\int_0^1 B_k(x) e^{-2\pi i n x} \, dx = \frac{k}{2\pi i n} \int_0^1 B_{k-1}(x) e^{-2\pi i n x} \, dx. For k=1k = 1, ∫01(x−12)e−2πinx dx=−12πin\int_0^1 (x - \frac{1}{2}) e^{-2\pi i n x} \, dx = -\frac{1}{2\pi i n}, and induction gives −k!(2πin)k-\frac{k!}{(2\pi i n)^k}. For k≥2k \ge 2 the coefficients are summable and the periodic extension is continuous, so the series converges uniformly to it.

Remarks

Grouping nn and −n-n gives real forms; for k=2mk = 2m with m≥1m \ge 1, B2m(x)=(−1)m+12 (2m)!(2π)2m∑n=1∞cos⁡2πnxn2m.B_{2m}(x) = (-1)^{m+1} \frac{2 \, (2m)!}{(2\pi)^{2m}} \sum_{n=1}^{\infty} \frac{\cos 2\pi n x}{n^{2m}}. At x=0x = 0, where B2m(0)B_{2m}(0) is the Bernoulli number B2mB_{2m}, this is Euler's formula ζ(2m)=(−1)m+1(2π)2mB2m2 (2m)!\zeta(2m) = (-1)^{m+1} \frac{(2\pi)^{2m} B_{2m}}{2 \, (2m)!} for the Riemann zeta function. For m=1m = 1 it gives ζ(2)=π26\zeta(2) = \frac{\pi^2}{6}, and for m=2m = 2 it gives ζ(4)=π490\zeta(4) = \frac{\pi^4}{90}. For k=1k = 1 the same series, −∑n≥1sin⁡2πnxπn-\sum_{n \ge 1} \frac{\sin 2\pi n x}{\pi n}, converges to x−12x - \frac{1}{2} only for 0<x<10 < x < 1; at x=0x = 0 it gives 00, the midpoint of the jump.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Bernoulli polynomials object
  2. Fourier coefficient concept
  3. Riemann zeta function concept
  4. Fourier series of Bernoulli polynomials example

Further reading

  1. Web https://en.wikipedia.org/wiki/Bernoulli_polynomials
About this page
TagZ8T8YYF5ZZ
URIm2://Z8T8YYF5ZZ
Kindexample
WritingW0 stub
MSC42A16, 11B68
IllustratesFourier series
UsesBernoulli polynomials, Fourier coefficient, Riemann zeta function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.