Math 2.0

Functional analysis Definition

Tempered distribution

Builds on Schwartz spaceContinuous linear map

Definition

Let n≥1n \ge 1 and let 𝒮(ℝn)\mathcal{S}(\R^n) be the Schwartz space of smooth functions φ ⁣:ℝn→ℂ\varphi \colon \R^n \to \C such that pα,β(φ)=sup⁡x∈ℝn∣xα∂βφ(x)∣<∞p_{\alpha,\beta}(\varphi) = \sup_{x \in \R^n} \abs{x^\alpha \partial^\beta \varphi(x)} < \infty for all multi-indices α\alpha and β\beta. A tempered distribution on ℝn\R^n is a linear map T ⁣:𝒮(ℝn)→ℂT \colon \mathcal{S}(\R^n) \to \C for which there are a constant C≥0C \ge 0 and an integer N≥0N \ge 0 such that ∣T(φ)∣≤C∑∣α∣≤N, ∣β∣≤Npα,β(φ)for all φ∈𝒮(ℝn).\abs{T(\varphi)} \le C \sum_{\abs{\alpha} \le N, \, \abs{\beta} \le N} p_{\alpha,\beta}(\varphi) \quad \text{for all } \varphi \in \mathcal{S}(\R^n). The space of tempered distributions is written 𝒮′(ℝn)\mathcal{S}'(\R^n).

Remarks

The inequality says that TT is a continuous linear map for the Fréchet topology of 𝒮(ℝn)\mathcal{S}(\R^n) given by the seminorms pα,βp_{\alpha,\beta}. Equivalently, T(φk)→0T(\varphi_k) \to 0 whenever pα,β(φk)→0p_{\alpha,\beta}(\varphi_k) \to 0 for all α,β\alpha, \beta.

Example: the Dirac delta δ(φ)=φ(0)\delta(\varphi) = \varphi(0) is tempered. It is linear, and ∣δ(φ)∣≤p0,0(φ)\abs{\delta(\varphi)} \le p_{0,0}(\varphi), so the condition holds with C=1C = 1 and N=0N = 0. More generally, if ff is measurable and ∫∣f(x)∣(1+∣x∣)−m dx<∞\int \abs{f(x)} (1 + \abs{x})^{-m} \, dx < \infty for some m≥0m \ge 0, then φ↦∫fφ dx\varphi \mapsto \int f \varphi \, dx is tempered.

Non-example: on ℝ\R, the function φ(x)=e−1+x2\varphi(x) = e^{-\sqrt{1 + x^2}} lies in 𝒮(ℝ)\mathcal{S}(\R), but ∫exφ(x) dx=∞\int e^x \varphi(x) \, dx = \infty. So the formula φ↦∫exφ dx\varphi \mapsto \int e^x \varphi \, dx does not define a linear map on all of 𝒮(ℝ)\mathcal{S}(\R), and exe^x gives no tempered distribution. It still defines a distribution on compactly supported test functions.

Derivatives act by (∂βT)(φ)=(−1)∣β∣T(∂βφ)(\partial^\beta T)(\varphi) = (-1)^{\abs{\beta}} T(\partial^\beta \varphi), and the Fourier transform acts by T^(φ)=T(φ^)\hat{T}(\varphi) = T(\hat{\varphi}).

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. Continuous linear map concept
  2. Schwartz space concept
  3. Tempered distribution definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Distribution_(mathematical_analysis)
About this page
Tag8TK1JNG87X
URIm2://8TK1JNG87X
Kinddefinition
WritingW0 stub
MSC46F05, 46F10
DefinesTempered distribution
UsesSchwartz space, Continuous linear map
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.