Math 2.0

Functional analysis Definition

Integral transforms of tempered distributions

Builds on Schwartz spaceTempered distributionIntegral transformFubini's theoremFourier transform

Definition

Let 𝒮(ℝn)\mathcal{S}(\R^n) be the Schwartz space and 𝒮′(ℝn)\mathcal{S}'(\R^n) the space of tempered distributions, with pairing ⟨u,φ⟩\langle u, \varphi \rangle. Let K ⁣:ℝn×ℝn→ℂK \colon \R^n \times \R^n \to \C be a measurable kernel and let TT be the integral transform (Tφ)(x)=∫ℝnK(x,y) φ(y) dy(T\varphi)(x) = \int_{\R^n} K(x, y)\, \varphi(y)\, dy. Let TtT^t be the transform with the transposed kernel, (Ttφ)(y)=∫ℝnK(x,y) φ(x) dx(T^t\varphi)(y) = \int_{\R^n} K(x, y)\, \varphi(x)\, dx. Assume that TT and TtT^t map 𝒮(ℝn)\mathcal{S}(\R^n) continuously into 𝒮(ℝn)\mathcal{S}(\R^n). The transform of u∈𝒮′(ℝn)u \in \mathcal{S}'(\R^n) is the tempered distribution TuTu given by ⟨Tu,φ⟩=⟨u,Ttφ⟩(φ∈𝒮(ℝn)).\langle Tu, \varphi \rangle = \langle u, T^t \varphi \rangle \quad (\varphi \in \mathcal{S}(\R^n)).

Remarks

The definition agrees with the integral on Schwartz functions: for f,φ∈𝒮(ℝn)f, \varphi \in \mathcal{S}(\R^n), Fubini's theorem gives ∫(Tf)φ=∬K(x,y)f(y)φ(x) dy dx=∫f (Ttφ)\int (Tf)\varphi = \iint K(x, y) f(y) \varphi(x)\, dy\, dx = \int f\, (T^t\varphi), when the double integral converges absolutely. Example: the Fourier transform has the symmetric kernel K(x,y)=e−2πix⋅yK(x, y) = e^{-2\pi i x \cdot y}, so Tt=TT^t = T maps 𝒮\mathcal{S} onto 𝒮\mathcal{S}. For the Dirac delta δ\delta at 00, ⟨Tδ,φ⟩=(Tφ)(0)=∫φ\langle T\delta, \varphi \rangle = (T\varphi)(0) = \int \varphi, so Tδ=1T\delta = 1. Non-example: the kernel K(x,y)=exyK(x, y) = e^{xy} on ℝ\R does not qualify, since for the Schwartz function φ(y)=e−1+y2\varphi(y) = e^{-\sqrt{1 + y^2}} the integral ∫ℝe2yφ(y) dy\int_\R e^{2y} \varphi(y)\, dy diverges, so TφT\varphi is not defined at x=2x = 2.

Reading path

To understand this page from the ground up, read these 22 pages in order. The foundations come first.

Show the path as a graph
Continuous linear map, concept, no evidence levelContinuous linear mapconceptEuclidean space, object, no evidence levelEuclidean spaceobjectFréchet space, concept, no evidence levelFréchet spaceconceptFunction, concept, no evidence levelFunctionconceptIntegrable function, concept, no evidence levelIntegrable functionconceptIntegral transform, concept, no evidence levelIntegral transformconceptLebesgue integral, concept, no evidence levelLebesgue integralconceptSchwartz space, concept, no evidence levelSchwartz spaceconceptSmooth function, concept, no evidence levelSmooth functionconceptFunction of several variables, concept, no evidence levelFunction of several v…conceptTempered distribution, definition, no evidence levelTempered distributiondefinitionFourier transform, definition, no evidence levelFourier transformdefinitionIterated integral, definition, no evidence levelIterated integraldefinitionLimit of a function of several variables, concept, no evidence levelLimit of a function o…conceptPartial derivative, definition, no evidence levelPartial derivativedefinitionContinuity in R^n, definition, no evidence levelContinuity in R^ndefinitionHigher partial derivatives, definition, no evidence levelHigher partial deriva…definitionDouble integral, definition, no evidence levelDouble integraldefinitionMulti-index notation, concept, no evidence levelMulti-index notationconceptFubini's theorem, statement, no evidence levelFubini's theoremstatementSchwartz space, definition, no evidence levelSchwartz spacedefinitionIntegral transforms of tempered distributions, definition, no evidence levelIntegral transforms o…definition
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. Euclidean space object
  3. Fréchet space concept
  4. Function concept
  5. Integrable function concept
  6. Integral transform concept
  7. Lebesgue integral concept
  8. Schwartz space concept
  9. Smooth function concept
  10. Function of several variables concept
  11. Tempered distribution definition
  12. Fourier transform definition
  13. Iterated integral definition
  14. Limit of a function of several variables concept
  15. Partial derivative definition
  16. Continuity in R^n definition
  17. Higher partial derivatives definition
  18. Double integral definition
  19. Multi-index notation concept
  20. Fubini's theorem statement
  21. Schwartz space definition
  22. Integral transforms of tempered distributions definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Distribution_(mathematical_analysis)
About this page
TagTKBH6F3VXT
URIm2://TKBH6F3VXT
Kinddefinition
WritingW0 stub
MSC46F12, 44A05
DefinesIntegral transforms of tempered distributions
UsesSchwartz space, Tempered distribution, Integral transform, Fubini's theorem, Fourier transform

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.