Math 2.0

Abstract harmonic analysis Definition

Fourier transform on locally compact abelian groups

Builds on Locally compact abelian groupHaar measurePontryagin dualGroup algebra of a locally compact group

Definition

Let GG be a locally compact abelian group with a Haar measure μ\mu, and let G^\widehat{G} be its Pontryagin dual. Let f∈L1(G,μ)f \in L^1(G, \mu), the group algebra of μ\mu-integrable functions. The Fourier transform of ff is the function f^ ⁣:G^→ℂ\widehat{f} \colon \widehat{G} \to \C given by f^(χ)=∫Gf(x)χ(x)‾ dμ(x).\widehat{f}(\chi) = \int_G f(x) \overline{\chi(x)} \, d\mu(x).

Remarks

Example: for G=ℝG = \R with Lebesgue measure, the continuous characters are χξ(x)=e2πiξx\chi_\xi(x) = e^{2\pi i \xi x} for ξ∈ℝ\xi \in \R, and the formula gives f^(χξ)=∫ℝf(x)e−2πiξx dx\widehat{f}(\chi_\xi) = \int_\R f(x) e^{-2\pi i \xi x} \, dx, the classical Fourier transform. For G=𝕋G = \mathbb{T} with normalised arc length and χn(z)=zn\chi_n(z) = z^n, it gives the Fourier coefficients of ff. Non-example: for f(x)=1f(x) = 1 on ℝ\R, the integral does not converge because f∉L1(ℝ)f \notin L^1(\R); the transform of such ff only makes sense as a distribution. The integral converges for f∈L1f \in L^1 because ∣χ(x)∣=1\abs{\chi(x)} = 1, and ∣f^(χ)∣≤∥f∥1\abs{\widehat{f}(\chi)} \le \norm{f}_1. The function f^\widehat{f} is continuous on G^\widehat{G} and vanishes at infinity, and f∗g^=f^ g^\widehat{f * g} = \widehat{f}\,\widehat{g} for the convolution f∗gf * g. Some authors use χ(x)\chi(x) instead of χ(x)‾\overline{\chi(x)}; this changes f^(χ)\widehat{f}(\chi) into f^(χ‾)\widehat{f}(\overline{\chi}).

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. Group algebra of a locally compact group concept
  2. Haar measure concept
  3. Locally compact abelian group concept
  4. Pontryagin dual concept
  5. Fourier transform on locally compact abelian groups definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Pontryagin_duality
About this page
TagA625F93ANV
URIm2://A625F93ANV
Kinddefinition
WritingW0 stub
MSC43A25, 42A38
DefinesFourier transform on locally compact abelian groups
UsesLocally compact abelian group, Haar measure, Pontryagin dual, Group algebra of a locally compact group
Changed2 November 2026

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.