nLab Fourier transform

Contents

Contents

Idea

Basic idea

Generally, a Fourier transform is an isomorphism between the algebra of complex-valued functions on a suitable topological group and a convolution product-algebra structure on the Pontrjagin dual group. The study of Fourier transforms is also called Fourier analysis.

Typically, such as in the case over Cartesian space (def. below) this means to decompose any suitable function as a superposition of complex plane waves, which may be thought of as the “harmonics” of the given function. Therefore one speaks of harmonic analysis.

Generalizations

The concept of Fourier transforms of functions generalizes in a variety of ways. Core part of the subject of Fourier analysis is the generalization to Fourier transform of distributions (def. below). The asymptotic growth of the Fourier transform of distributions reflects the singularity structure of the distributions, in dependence of the direction of the wave vector (the “wave front set”). The study of this behaviour is called microlocal analysis.

If the role of complex plane waves in the Fourier transform are replaced by wavelets?, one speaks of the wavelet transform?.

For noncommutative topological groups, instead of continuous characters one should consider irreducible unitary representations, which makes the subject much more difficult. There are also generalizations in noncommutative geometry, see quantum group Fourier transform.

General definition

Let GG be a locally compact Hausdorff abelian topological group with invariant (= Haar) measure μ\mu. Then for each fL 1(G,μ)f\in L_1(G,\mu), define its Fourier transform f^\hat{f} as a function on its Pontrjagin dual group G^\hat{G} given by

f^(χ)= Gf(x)χ(x)¯dμ(x),χG^. \hat{f}(\chi) = \int_G f(x) \widebar{\chi(x)} d\mu(x),\,\,\,\chi\in\hat{G}.

The Fourier transform of fL 1(G,μ)f\in L_1(G,\mu) is always continuous and bounded on G^\hat{G}; the transform of the convolution of two functions is the product of the transforms of each of the functions separately.

Over the circle and the integers

In the classical case of Fourier series, where G=G=\mathbb{Z} (the additive group of integers) and G^=S 1\hat{G}=S^1 (the circle group), the Fourier transform restricts to a unitary operator between the Hilbert spaces L 2(S 1,dt)L_2(S^1,d t) and l 2()l_2(\mathbb{Z}) and the Fourier coefficients are the numbers

c n:=f^(χ n)= 0 1f(t)e 2πintdt,c_n := \hat{f}(\chi_n) = \int_0^1 f(t) e^{-2\pi i n t} d t,

for nn\in\mathbb{Z}, where the functions χ n(t)=e 2πint\chi_n(t)= e^{2\pi i n t} form an orthonormal basis of L 2(S 1,dt)L_2(S^1,d t). The Fourier transform χ n^\hat{\chi_n} is then viewed as the \mathbb{Z}-series δ n\delta_n which in the nn-th place has 11 and elsewhere 00. The Fourier transform replaces the operator of differentiation d/dtd/d t by the operator of multiplication by the series {2πin} n\{2\pi i n\}_{n\in\mathbb{Z}}.

Over compact abelian groups and discrete groups

In general, if GG is a compact abelian group (whose Pontrjagin dual is discrete), one can normalize the invariant measure by μ(G)=1\mu(G)=1 and μ^(X)=card(X)\hat{\mu}(X)=card(X) for XG^X\subset\hat{G}. Then the Fourier transform restricts to a unitary operator from L 2(X,μ)L_2(X,\mu) to L 2(G^,μ^)L_2(\hat{G},\hat{\mu}).

Over cyclic groups (the discretized circle)

Over Cartesian spaces

Throughout, let nn \in \mathbb{N} and write n\mathbb{R}^n for the Cartesian space of dimension nn and write ()()(-) \cdot (-) for the canonical inner product on n\mathbb{R}^n:

kxa=1nk nx n. k \cdot x \;\coloneqq\; \underoverset{a = 1}{n}{\sum} k_n x^n \,.

In the following by a smooth function fC ( n)f \in C^\infty(\mathbb{R}^n) on n\mathbb{R}^n we mean a smooth function with values in the complex numbers.

For fC ( n)f \in C^\infty(\mathbb{R}^n), we write f *C ( n)f^\ast \in C^\infty(\mathbb{R}^n) for its pointwise complex conjugate:

f *(x)(f(x)) *. f^\ast(x) \coloneqq (f(x))^\ast \,.

On functions with rapidly decreasing partial derivatives

Definition

(Schwartz space of functions with rapidly decreasing partial derivatives)

A complex-valued smooth function fC ( n)f \in C^\infty(\mathbb{R}^n) is said to have rapidly decreasing partial derivatives if for all α,β n\alpha,\beta \in \mathbb{N}^{n} we have

supx n|x β αf(x)|<. \underset{x \in \mathbb{R}^n}{sup} {\vert x^\beta \partial^\alpha f(x) \vert} \;\lt\; \infty \,.

Write

𝒮( n)C ( n) \mathcal{S}(\mathbb{R}^n) \hookrightarrow C^\infty(\mathbb{R}^n)

for the sub-vector space on the functions with rapidly decreasing partial derivatives regarded as a topological vector space for the Frechet space struzcture induced by the seminorms

p α,β(f)supx n|x β αf(x)|. p_{\alpha, \beta}(f) \coloneqq \underset{x \in \mathbb{R}^n}{sup} {\vert x^\beta \partial^\alpha f(x) \vert} \,.

This is also called the Schwartz space.

(e.g. Hörmander 90, def. 7.1.2)

Example

(compactly supported smooth function are functions with rapidly decreasing partial derivatives)

Every compactly supported smooth function (bump function) bC cp ( n)b \in C^\infty_{cp}(\mathbb{R}^n) has rapidly decreasing partial derivatives (def. ):

C cp ( n)𝒮( n). C^\infty_{cp}(\mathbb{R}^n) \hookrightarrow \mathcal{S}(\mathbb{R}^n) \,.
Proposition

(pointwise product and convolution product on Schwartz space)

The Schwartz space 𝒮( n)\mathcal{S}(\mathbb{R}^n) (def. ) is closed under the following operations on smooth functions f,g𝒮( n)C ( n)f,g \in \mathcal{S}(\mathbb{R}^n) \hookrightarrow C^\infty(\mathbb{R}^n)

  1. pointwise product:

    (fg)(x)f(x)g(x) (f \cdot g)(x) \coloneqq f(x) \cdot g(x)
  2. convolution product:

    (fg)(x)y nf(y)g(xy)dvol(y). (f \star g)(x) \coloneqq \underset{y \in \mathbb{R}^n}{\int} f(y)\cdot g(x-y) \, dvol(y) \,.
Proof

By the product law of differentiation.

Proposition

(rapidly decreasing functions are integrable)

Every rapidly decreasing function f: nf \colon \mathbb{R}^n \to \mathbb{R} (def. ) is an integrable function in that its integral exists:

x nf(x)d nx< \underset{x \in \mathbb{R}^n}{\int} f(x) \, d^n x \;\lt\; \infty

In fact for each α n\alpha \in \mathbb{N}^n the product of ff with the α\alpha-power of the coordinate functions exists:

x nx αf(x)d nx<. \underset{x \in \mathbb{R}^n}{\int} x^\alpha f(x)\, d^n x \;\lt\; \infty \,.
Definition

(Fourier transform of functions with rapidly decreasing partial derivatives)

The Fourier transform is the continuous linear functional

()^:𝒮( n)𝒮( n) \widehat{(-)} \;\colon\; \mathcal{S}(\mathbb{R}^n) \longrightarrow \mathcal{S}(\mathbb{R}^n)

on the Schwartz space of functions with rapidly decreasing partial derivatives (def. ), which is given by integration against the exponential plane wave functions

xe ikx x \mapsto e^{- i k \cdot x}

times the standard volume form d nxd^n x:

(1)f^(k) x ne ikxf(x)d nx. \hat f(k) \;\coloneqq\; \int_{x \in \mathbb{R}^n} e^{- i \, k \cdot x} f(x) \, d^n x \,.

Here the argument k nk \in \mathbb{R}^n of the Fourier transform is also called the wave vector.

(e.g. Hörmander, lemma 7.1.3)

Proposition

(Fourier inversion theorem)

The Fourier transform ()^\widehat{(-)} (def. ) on the Schwartz space 𝒮( n)\mathcal{S}(\mathbb{R}^n) (def. ) is an isomorphism, with inverse function the inverse Fourier transform

()ˇ:𝒮( n)𝒮( n) \widecheck {(-)} \;\colon\; \mathcal{S}(\mathbb{R}^n) \longrightarrow \mathcal{S}(\mathcal{R}^n)

given by

gˇ(x)k ng(k)e ikxd nk(2π) n. \widecheck g (x) \;\coloneqq\; \underset{k \in \mathbb{R}^n}{\int} g(k) e^{i k \cdot x} \, \frac{d^n k}{(2\pi)^n} \,.

Hence in the language of harmonic analysis the function gˇ: n\widecheck g \colon \mathbb{R}^n \to \mathbb{C} is the superposition of plane waves in which the plane wave with wave vector k nk\in \mathbb{R}^n appears with amplitude g(k)g(k).

(e.g. Hörmander, theorem 7.1.5)

Proposition

(basic properties of the Fourier transform)

The Fourier transform ()^\widehat{(-)} (def. ) on the Schwartz space 𝒮( n)\mathcal{S}(\mathbb{R}^n) (def. ) satisfies the following properties, for all f,g𝒮( n)f,g \in \mathcal{S}(\mathbb{R}^n):

  1. (interchanging coordinate multiplication with partial derivatives)

    (2)x af^=+i af^AAAAAi af^=k af^ \widehat{ x^a f } = + i \partial_a \widehat f \phantom{AAAAA} \widehat{ - i\partial_a f} = k_a \widehat f
  2. (interchanging pointwise multiplication with convolution product, remark ):

    (3)(fg)^=f^g^AAAAfg^=(2π) nf^g^ \widehat {(f \star g)} = \widehat{f} \cdot \widehat{g} \phantom{AAAA} \widehat{ f \cdot g } = (2\pi)^{-n} \widehat{f} \star \widehat{g}
  3. (unitarity, Parseval's theorem)

    x nf(x)g *(x)d nx=k nf^(k)g^ *(k)d nk \underset{x \in \mathbb{R}^n}{\int} f(x) g^\ast(x)\, d^n x \;=\; \underset{k \in \mathbb{R}^n}{\int} \widehat{f}(k) \widehat{g}^\ast(k) \, d^n k
  4. (4)k nf^(k)g(k)d nk=x nf(x)g^(x)d nx \underset{k \in \mathbb{R}^n}{\int} \widehat{f}(k) \cdot g(k) \, d^n k \;=\; \underset{x \in \mathbb{R}^n}{\int} f(x) \cdot \widehat{g}(x) \, d^n x

(e.g Hörmander 90, lemma 7.1.3, theorem 7.1.6)

On tempered distributions

The Schwartz space of functions with rapidly decreasing partial derivatives (def. ) serves the purpose to support the Fourier transform (def. ) together with its inverse (prop. ), but for many applications one needs to apply the Fourier transform to more general functions, and in fact to generalized functions in the sense of distributions (via this prop.). But with the Schwartz space in hand, this generalization is readily obtained by formal duality:

Definition

(tempered distribution)

A tempered distribution is a continuous linear functional

u:𝒮( n) u \;\colon\; \mathcal{S}(\mathbb{R}^n) \longrightarrow \mathbb{C}

on the Schwartz space (def. ) of functions with rapidly decaying partial derivatives. The vector space of all tempered distributions is canonically a topological vector space as the dual space to the Schwartz space, denoted

𝒮( n)(𝒮( n)) *. \mathcal{S}'(\mathbb{R}^n) \;\coloneqq\; \left( \mathcal{S}(\mathbb{R}^n) \right)^\ast \,.

e.g. (Hörmander 90, def. 7.1.7)

Example

(some non-singular tempered distributions)

Every function with rapidly decreasing partial derivatives f𝒮( n)f \in \mathcal{S}(\mathbb{R}^n) (def. ) induces a tempered distribution u f𝒮( n)u_f \in \mathcal{S}'(\mathbb{R}^n) (def. ) by integrating against it:

u f:gx ng(x)f(x)d nx. u_f \;\colon\; g \mapsto \underset{x \in \mathbb{R}^n}{\int} g(x) f(x)\, d^n x \,.

This construction is a linear inclusion

𝒮( n)dense𝒮( n) \mathcal{S}(\mathbb{R}^n) \overset{\text{dense}}{\hookrightarrow} \mathcal{S}'(\mathbb{R}^n)

of the Schwartz space into its dual space of tempered distributions. This is a dense subspace inclusion.

In fact already the restriction of this inclusion to the compactly supported smooth functions (example ) is a dense subspace inclusion:

C cp ( n)dense𝒮( n). C^\infty_{cp}(\mathbb{R}^n) \overset{dense}{\hookrightarrow} \mathcal{S}'(\mathbb{R}^n) \,.

This means that every tempered distribution is a limit of a sequence of ordinary functions with rapidly decreasing partial derivatives, and in fact even the limit of a sequence of compactly supported smooth functions (bump functions).

It is in this sense that tempered distributions are “generalized functions”.

(e.g. Hörmander 90, lemma 7.1.8)

Example

(compactly supported distributions are tempered distributions)

Every compactly supported distribution is a tempered distribution (def. ), hence there is a linear inclusion

( n)𝒮( n). \mathcal{E}'(\mathbb{R}^n) \hookrightarrow \mathcal{S}'(\mathbb{R}^n) \,.
Example

(delta distribution)

Write

δ 0()( n) \delta_0(-) \;\in\; \mathcal{E}'(\mathbb{R}^n)

for the distribution given by point evaluation of functions at the origin of n\mathbb{R}^n:

δ 0():ff(0). \delta_0(-) \;\colon\; f \mapsto f(0) \,.

This is clearly a compactly supported distribution; hence a tempered distribution by example .

We write just “δ()\delta(-)” (without the subscript) for the corresponding generalized function (example ), so that

x nδ(x)f(x)d nxf(0). \underset{x \in \mathbb{R}^n}{\int} \delta(x) f(x) \, d^n x \;\coloneqq\; f(0) \,.
Example

(square integrable functions induce tempered distributions)

Let fL p( n)f \in L^p(\mathbb{R}^n) be a function in the ppth Lebesgue space, e.g. for p=2p = 2 this means that ff is a square integrable function. Then the operation of integration against the measure fdvolf dvol

gx ng(x)f(x)d nx g \mapsto \underset{x \in \mathbb{R}^n}{\int} g(x) f(x) \, d^n x

is a tempered distribution (def. ).

(e.g. Hörmander 90, below lemma 7.1.8)

Property (4) of the ordinary Fourier transform on functions with rapidly decreasing partial derivatives motivates and justifies the fullowing generalization:

Definition

(Fourier transform of distributions on tempered distributions)

The Fourier transform of distributions of a tempered distribution u𝒮( n)u \in \mathcal{S}'(\mathbb{R}^n) (def. ) is the tempered distribution u^\widehat u defined on a smooth function f𝒮( n)f \in \mathcal{S}(\mathbb{R}^n) in the Schwartz space (def. ) by

u^(f)u(f^), \widehat{u}(f) \;\coloneqq\; u\left( \widehat f\right) \,,

where on the right f^𝒮( n)\widehat f \in \mathcal{S}(\mathbb{R}^n) is the Fourier transform of functions from def. .

(e.g. Hörmander 90, def. 1.7.9)

Example

(Fourier transform of distributions indeed generalizes Fourier transform of functions with rapidly decreasing partial derivatives)

Let u f𝒮( n)u_f \in \mathcal{S}'(\mathbb{R}^n) be a non-singular tempered distribution induced, via example , from a function with rapidly decreasing partial derivatives f𝒮( n)f \in \mathcal{S}(\mathbb{R}^n).

Then its Fourier transform of distributions (def. ) is the non-singular distribution induced from the Fourier transform of ff:

u f^=u f^. \widehat{u_f} \;=\; u_{\hat f} \,.
Proof

Let g𝒮( n)g \in \mathcal{S}(\mathbb{R}^n). Then

u f^(g) u f(g^) =x nf(x)g^(x)d nx =x nf^(x)g(x)d nx =u f^(g) \begin{aligned} \widehat{u_f}(g) & \coloneqq u_f\left( \widehat{g}\right) \\ & = \underset{x \in \mathbb{R}^n}{\int} f(x) \hat g(x)\, d^n x \\ & = \underset{x \in \mathbb{R}^n}{\int} \hat f(x) g(x) \, d^n x \\ & = u_{\hat f}(g) \end{aligned}

Here all equalities hold by definition, except for the third: this is property (4) from prop. .

Example

(Fourier transform of compactly supported distributions)

Under the identification of smooth functions of bounded growth with non-singular tempered distributions (example ), the Fourier transform of distributions (def. ) of a tempered distribution that happens to be compactly supported (example )

u( n)𝒮( n) u \in \mathcal{E}'(\mathbb{R}^n) \hookrightarrow \mathcal{S}'(\mathbb{R}^n)

is simply

u^(k)=u(e ik()). \widehat{u}(k) = u\left( e^{- i k \cdot (-)}\right) \,.

(Hörmander 90, theorem 7.1.14)

Example

(Fourier transform of the delta-distribution)

The Fourier transform (def. ) of the delta distribution (def. ), via example , is the constant function on 1:

δ^(k) =x nδ(x)e ikxdx =1 \begin{aligned} \widehat {\delta}(k) & = \underset{x \in \mathbb{R}^n}{\int} \delta(x) e^{- i k x} \, d x \\ & = 1 \end{aligned}

This implies by the Fourier inversion theorem (prop. ) that the delta distribution itself has equivalently the following expression as a generalized function

δ(x) =δ 0^ˇ(x) =k ne ikxd nk(2π) n \begin{aligned} \delta(x) & = \widecheck{\widehat {\delta_0}}(x) \\ & = \underset{k \in \mathbb{R}^n}{\int} e^{i k \cdot x} \, \frac{d^n k}{ (2\pi)^n } \end{aligned}

in the sense that for every function with rapidly decreasing partial derivatives f𝒮( n)f \in \mathcal{S}(\mathbb{R}^n) (def. ) we have

f(x) =y nf(y)δ(yx)d ny =y nk nf(y)e ik(yx)d nk(2π) nd ny =k ne ikxy nf(y)e ikyd ny=f^(k)d nk(2π) n =+k ne ikxy nf(y)e ikyd ny=f^(k)d nk(2π) n =f^ˇ(x) \begin{aligned} f(x) & = \underset{y \in \mathbb{R}^n}{\int} f(y) \delta(y-x) \, d^n y \\ & = \underset{y \in \mathbb{R}^n}{\int} \underset{k \in \mathbb{R}^n}{\int} f(y) e^{i k \cdot (y-x)} \, \frac{d^n k}{(2\pi)^n} \, d^n y \\ & = \underset{k \in \mathbb{R}^n}{\int} e^{- i k \cdot x} \underset{= \widehat{f}(-k) }{ \underbrace{ \underset{y \in \mathbb{R}^n}{\int} f(y) e^{i k \cdot y} \, d^n y } } \,\, \frac{d^n k}{(2\pi)^n} \\ & = + \underset{k \in \mathbb{R}^n}{\int} e^{i k \cdot x} \underset{= \widehat{f}(k) }{ \underbrace{ \underset{y \in \mathbb{R}^n}{\int} f(y) e^{- i k \cdot y} \, d^n y } } \,\, \frac{d^n k}{(2\pi)^n} \\ & = \widecheck{\widehat{f}}(x) \end{aligned}

which is the statement of the Fourier inversion theorem for smooth functions (prop. ).

(Here in the last step we used change of integration variables kkk \mapsto -k which introduces one sign (1) n(-1)^{n} for the new volume form, but another sign (1) n(-1)^n from the re-orientation of the integration domain. )

Equivalently, the above computation shows that the delta distribution is the neutral element for the convolution product of distributions.

Proposition

(Paley-Wiener-Schwartz theorem)

Let u( n)𝒮( n)u \in \mathcal{E}'(\mathbb{R}^n) \hookrightarrow \mathcal{S}'(\mathbb{R}^n) be a compactly supported distribution regarded as a tempered distribution by example . Then its Fourier transform of distributions (def. ) is a non-singular distribution induced from a smooth function that grows at most exponentially.

Proposition

(Fourier inversion theorem for Fourier transform of distributions)

The operation of forming the Fourier transform of distributions u^\widehat{u} (def. ) tempered distributions u𝒮( n)u \in \mathcal{S}'(\mathbb{R}^n) (def. ) is an isomorphism, with inverse given by

uˇ:gu(gˇ), \widecheck{ u } \;\colon\; g \mapsto u\left( \widecheck{g}\right) \,,

where on the right gˇ\widecheck{g} is the ordinary inverse Fourier transform of gg according to prop. .

Proof

By def. this follows immediately from the Fourier inversion theorem for smooth functions (prop. ).

We have the following distributional generalization of the basic property (3) from prop. :

Proposition

(Fourier transform of distributions interchanges convolution of distributions with pointwise product)

Let

u 1𝒮( n) u_1 \in \mathcal{S}'(\mathbb{R}^n)

be a tempered distribution (def. ) and

u 2( n)𝒮( n) u_2 \in \mathcal{E}'(\mathbb{R}^n) \hookrightarrow \mathcal{S}'(\mathbb{R}^n)

be a compactly supported distribution, regarded as a tempered distribution via example .

Observe here that the Paley-Wiener-Schwartz theorem (prop. ) implies that the Fourier transform of distributions of u 1u_1 is a non-singular distribution u 1^C ( n)\widehat{u_1} \in C^\infty(\mathbb{R}^n) so that the product u 1^u 2^\widehat{u_1} \cdot \widehat{u_2} is always defined.

Then the Fourier transform of distributions of the convolution product of distributions is the product of the Fourier transform of distributions:

u 1u 2^=u 1^u 2^. \widehat{u_1 \star u_2} \;=\; \widehat{u_1} \cdot \widehat{u_2} \,.

(e.g. Hörmander 90, theorem 7.1.15)

Remark

(product of distributions via Fourier transform of distributions)

Prop. together with the Fourier inversion theorem (prop. ) suggests to define the product of distributions u 1u 2u_1 \cdot u_2 for compactly supported distributions u 1,u 2( n)𝒮( n)u_1, u_2 \in \mathcal{E}'(\mathbb{R}^n) \hookrightarrow \mathcal{S}'(\mathbb{R}^n) by the formula

u 1u 2^(2π) nu 1^u 2^ \widehat{ u_1 \cdot u_2 } \;\coloneqq\; (2\pi)^n \widehat{u_1} \star \widehat{u_2}

which would complete the generalization of of property (3) from prop. .

For this to make sense, the convolution product of the smooth functions on the right needs to exist, which is not guaranteed (prop. does not apply here!). The condition that this exists is the Hörmander-condition on the wave front set of u 1u_1 and u 2u_2. See at product of distributions for more.

References

Textbook account in mathematical physics:

Lecture notes:

Discussion in the broader context of functional analysis and distribution theory:

  • Lars Hörmander, chapter 7 of The analysis of linear partial differential operators, vol. I, Springer 1983, 1990

  • Sergiu Klainerman, chapter 5 of of Lecture notes in analysis, 2011 (pdf)

category: analysis

Last revised on December 15, 2023 at 08:33:34. See the history of this page for a list of all contributions to it.