Math 2.0

Harmonic analysis on Euclidean spaces Basic notions Example

Sawtooth wave

Builds on Dirichlet conditionsJump discontinuity

Example

Let ff be the 2π2\pi-periodic function with f(x)=π−x2f(x) = \frac{\pi - x}{2} for 0<x<2π0 < x < 2\pi and f(0)=0f(0) = 0. Its graph is a sawtooth: it falls linearly from π2\frac{\pi}{2} to −π2-\frac{\pi}{2} on each period and jumps back up at the multiples of 2π2\pi. It is odd, so its cosine coefficients vanish, and integration by parts gives for n≥1n \ge 1 bn=1π∫02ππ−x2sin⁡nx dx=1π⋅12⋅2πn=1n.b_n = \frac{1}{\pi} \int_0^{2\pi} \frac{\pi - x}{2} \sin nx \, dx = \frac{1}{\pi} \cdot \frac{1}{2} \cdot \frac{2\pi}{n} = \frac{1}{n}. So its Fourier series is ∑n=1∞sin⁡nxn.\sum_{n=1}^{\infty} \frac{\sin nx}{n}. The function has bounded variation, so by the Dirichlet conditions the series converges to π−x2\frac{\pi - x}{2} for 0<x<2π0 < x < 2\pi, and to 00 at the jumps x∈2πℤx \in 2\pi\Z.

Remarks

At x=π/2x = \pi/2 the series gives π4=1−13+15−⋯\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \cdots, the Leibniz formula. The coefficients 1n\frac{1}{n} are square summable but not summable, as expected for a function with a jump. Integrating the series term by term from 00 to xx gives ∑n≥11−cos⁡nxn2=πx2−x24\sum_{n \ge 1} \frac{1 - \cos nx}{n^2} = \frac{\pi x}{2} - \frac{x^2}{4} for 0≤x≤2π0 \le x \le 2\pi, and at x=πx = \pi this yields ∑n odd2n2=π24\sum_{n \text{ odd}} \frac{2}{n^2} = \frac{\pi^2}{4}.

Reading path

To understand this page from the ground up, read these 7 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. Bounded variation concept
  2. Dirichlet kernel concept
  3. Fourier series concept
  4. Jump discontinuity concept
  5. Periodic function concept
  6. Dirichlet conditions statement
  7. Sawtooth wave example

Further reading

  1. Web https://en.wikipedia.org/wiki/Sawtooth_wave
About this page
TagPW5SKE8D5R
URIm2://PW5SKE8D5R
Kindexample
WritingW0 stub
MSC42A16, 42A20
IllustratesFourier series
UsesDirichlet conditions, Jump discontinuity
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.