Math 2.0

Harmonic analysis on Euclidean spaces Definition

Absolutely convergent Fourier series

Builds on Fourier seriesFourier coefficientIntegrable function

Definition

Let f ⁣:ℝ→ℂf \colon \R \to \C be a 2π2\pi-periodic function that is integrable on [−π,π][-\pi, \pi]. For n∈ℤn \in \Z let f^(n)=12π∫−ππf(t)e−int dt\hat f(n) = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(t) e^{-int} \, dt be its Fourier coefficients. The Fourier series of ff is absolutely convergent if ∑n∈ℤ∣f^(n)∣<∞.\sum_{n \in \Z} \abs{\hat f(n)} < \infty.

Remarks

If the series converges absolutely, then ∑nf^(n)einx\sum_n \hat f(n) e^{inx} converges uniformly on ℝ\R to a continuous function gg. The function gg has the same Fourier coefficients as ff, so g=fg = f almost everywhere. One often says simply that ff has an absolutely convergent Fourier series.

Example: let f(x)=∣x∣f(x) = \abs{x} for −π≤x≤π-\pi \le x \le \pi, extended with period 2π2\pi. Integration by parts gives f^(0)=π/2\hat f(0) = \pi/2 and f^(n)=(−1)n−1πn2\hat f(n) = \frac{(-1)^n - 1}{\pi n^2} for n≠0n \ne 0. So ∣f^(n)∣≤2/(πn2)\abs{\hat f(n)} \le 2/(\pi n^2), and the sum ∑n∣f^(n)∣\sum_n \abs{\hat f(n)} is finite.

Non-example: the square wave equal to 11 on (0,π)(0, \pi) and −1-1 on (−π,0)(-\pi, 0) has ∣f^(n)∣=2π∣n∣\abs{\hat f(n)} = \frac{2}{\pi \abs{n}} for odd nn. The sum of these over odd nn diverges like the harmonic series. This also follows from the remark above: the square wave is not equal almost everywhere to a continuous function.

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. Fourier coefficient concept
  2. Fourier series concept
  3. Integrable function concept
  4. Absolutely convergent Fourier series definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Wiener_algebra
About this page
TagBX9ZH25FW5
URIm2://BX9ZH25FW5
Kinddefinition
WritingW0 stub
MSC42A20, 42A16
DefinesAbsolutely convergent Fourier series
UsesFourier series, Fourier coefficient, Integrable 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.