Math 2.0

Harmonic analysis on Euclidean spaces Definition

Fourier transform

Builds on Integrable functionLebesgue integral

Definition

Let n≥1n \ge 1 and let f ⁣:ℝn→ℂf \colon \R^n \to \C be a Lebesgue integrable function. The Fourier transform of ff is the function f^ ⁣:ℝn→ℂ\hat f \colon \R^n \to \C given by the Lebesgue integral f^(ξ)=∫ℝnf(x) e−2πi x⋅ξ dx,ξ∈ℝn,\hat f(\xi) = \int_{\R^n} f(x)\, e^{-2\pi i\, x \cdot \xi} \, dx, \qquad \xi \in \R^n, where x⋅ξ=x1ξ1+⋯+xnξnx \cdot \xi = x_1 \xi_1 + \dots + x_n \xi_n. It is also written ℱf\mathcal{F} f.

Remarks

The integral converges absolutely because ∣f(x)e−2πix⋅ξ∣=∣f(x)∣\abs{f(x) e^{-2\pi i x \cdot \xi}} = \abs{f(x)}. So ∣f^(ξ)∣≤∫∣f∣\abs{\hat f(\xi)} \le \int \abs{f}, and f^\hat f is continuous by dominated convergence. By the Riemann–Lebesgue lemma, f^(ξ)→0\hat f(\xi) \to 0 as ∣ξ∣→∞\abs{\xi} \to \infty. Other common conventions are ∫f(x)e−ix⋅ξ dx\int f(x) e^{-i x \cdot \xi}\, dx and (2π)−n/2∫f(x)e−ix⋅ξ dx(2\pi)^{-n/2} \int f(x) e^{-i x \cdot \xi}\, dx; they change the constants in the formulas below.

With the convention above, if ff and ∂jf\partial_j f are integrable, then ∂jf^(ξ)=2πiξjf^(ξ)\widehat{\partial_j f}(\xi) = 2\pi i \xi_j \hat f(\xi). If f^\hat f is also integrable, the inversion formula f(x)=∫f^(ξ)e2πix⋅ξ dξf(x) = \int \hat f(\xi) e^{2\pi i x \cdot \xi}\, d\xi holds for almost every xx. Plancherel's theorem extends ℱ\mathcal F to a unitary map of L2(ℝn)L^2(\R^n), and duality extends it to tempered distributions.

Example: f(x)=e−π∣x∣2f(x) = e^{-\pi \abs{x}^2} satisfies f^=f\hat f = f. For n=1n = 1, completing the square gives f^(ξ)=e−πξ2∫ℝe−π(x+iξ)2 dx\hat f(\xi) = e^{-\pi \xi^2} \int_\R e^{-\pi (x + i\xi)^2}\, dx, and the last integral equals ∫ℝe−πx2 dx=1\int_\R e^{-\pi x^2}\, dx = 1 by a contour shift.

Non-example: the constant function f=1f = 1 on ℝ\R is not integrable, and the integral ∫ℝe−2πixξ dx\int_\R e^{-2\pi i x \xi}\, dx diverges for every ξ\xi. Its Fourier transform exists only as a tempered distribution, namely the Dirac delta at 00.

Reading path

To understand this page from the ground up, read these 3 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. Integrable function concept
  2. Lebesgue integral concept
  3. Fourier transform definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Fourier_transform
About this page
Tag6V59T5KJBX
URIm2://6V59T5KJBX
Kinddefinition
WritingW0 stub
MSC42B10, 42A38, 35A22
DefinesFourier transform
UsesIntegrable function, Lebesgue integral
Changed2 November 2026

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.