Math 2.0

Harmonic analysis on Euclidean spaces Definition

Fourier coefficient

Builds on Periodic functionIntegrable functionLebesgue integralFourier monomial on the circle

Definition

Let f ⁣:ℝ→ℂf \colon \R \to \C be a periodic function of period 2π2\pi that is Lebesgue integrable on [−π,π][-\pi, \pi], and let n∈ℤn \in \Z. The nn-th Fourier coefficient of ff is the complex number f^(n)=12π∫−ππf(x)e−inx dx,\hat f(n) = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(x) e^{-inx} \, dx, where the integral is the Lebesgue integral.

Remarks

In terms of the Fourier monomials ene_n, f^(n)=⟨f,en⟩\hat f(n) = \langle f, e_n \rangle for the inner product ⟨f,g⟩=12π∫−ππfg‾\langle f, g \rangle = \frac{1}{2\pi} \int_{-\pi}^{\pi} f \overline{g}. By periodicity the integral may be taken over any interval of length 2π2\pi. The bound ∣f^(n)∣≤12π∫−ππ∣f∣\abs{\hat f(n)} \le \frac{1}{2\pi} \int_{-\pi}^{\pi} \abs{f} holds for every nn. Example: for f(x)=cos⁡xf(x) = \cos x, the formula cos⁡x=12(eix+e−ix)\cos x = \frac{1}{2}(e^{ix} + e^{-ix}) and the orthogonality of the ene_n give f^(1)=f^(−1)=12\hat f(1) = \hat f(-1) = \frac{1}{2} and f^(n)=0\hat f(n) = 0 for ∣n∣≠1\abs{n} \ne 1. Non-example: the 2π2\pi-periodic function equal to 1/x1/x on (0,2π](0, 2\pi] is not integrable on a period, so its Fourier coefficients are not defined. The real coefficients an=1π∫−ππf(x)cos⁡nx dxa_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \cos nx \, dx and bn=1π∫−ππf(x)sin⁡nx dxb_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \sin nx \, dx satisfy an=f^(n)+f^(−n)a_n = \hat f(n) + \hat f(-n) and bn=i(f^(n)−f^(−n))b_n = i(\hat f(n) - \hat f(-n)). Other notations are cnc_n and ℱf(n)\mathcal{F}f(n); for period TT the coefficient is 1T∫0Tf(x)e−2πinx/T dx\frac{1}{T} \int_0^T f(x) e^{-2\pi i n x / T} \, dx.

Reading path

To understand this page from the ground up, read these 5 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 monomial on the circle concept
  2. Integrable function concept
  3. Lebesgue integral concept
  4. Periodic function definition
  5. Fourier coefficient definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Fourier_series
About this page
TagSG5Q94QTQE
URIm2://SG5Q94QTQE
Kinddefinition
WritingW0 stub
MSC42A16
DefinesFourier coefficient
UsesPeriodic function, Integrable function, Lebesgue integral, Fourier monomial on the circle

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.