Math 2.0

Functional analysis Distributions and generalized functions Theorem

Schwartz impossibility theorem

Builds on Dirac delta function

Statement

Let π’Ÿβ€²(ℝ)\mathcal{D}'(\R) be the space of distributions on ℝ\R, the dual of the space of test functions. Let C(ℝ)C(\R) be the space of continuous functions, viewed as distributions. There is no associative algebra (π’œ,∘)(\mathcal{A}, \circ) over ℝ\R with these properties:

  1. π’Ÿβ€²(ℝ)\mathcal{D}'(\R) is a linear subspace of π’œ\mathcal{A}, and the constant function 11 is the unit of π’œ\mathcal{A}.
  2. There is a linear map D ⁣:π’œβ†’π’œD \colon \mathcal{A} \to \mathcal{A} with D(u∘v)=(Du)∘v+u∘(Dv)D(u \circ v) = (Du) \circ v + u \circ (Dv) for all u,vβˆˆπ’œu, v \in \mathcal{A}.
  3. The restriction of DD to π’Ÿβ€²(ℝ)\mathcal{D}'(\R) is the derivative of distributions.
  4. The restriction of ∘\circ to C(ℝ)Γ—C(ℝ)C(\R) \times C(\R) is the pointwise product of functions.

Remarks

The proof computes inside π’œ\mathcal{A} with continuous functions such as xx, xlog⁑∣xβˆ£βˆ’xx \log\abs{x} - x and their derivatives in π’Ÿβ€²(ℝ)\mathcal{D}'(\R). The Leibniz rule and the pointwise product give identities for products like x∘δx \circ \delta, where Ξ΄\delta is the Dirac delta. Associativity then leads to a contradiction such as Ξ΄=0\delta = 0.

So distributions cannot be multiplied in a way that keeps all the rules of calculus. Colombeau algebras keep clauses 1, 2 and 3 and weaken clause 4: they keep the pointwise product of smooth functions only.

Going deeper

For a student

Nonlinear equations with distributional data, for example in shock waves or in quantum field theory, need products of distributions. The theorem shows which rule must be given up. In the Colombeau algebra the product agrees with the usual one on smooth functions, and on continuous functions only up to association, a weak equality tested against test functions.

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
Function, concept, no evidence levelFunctionconceptLaplace transform, definition, no evidence levelLaplace transformdefinitionHeaviside step function, object, no evidence levelHeaviside step functi…objectDirac delta function, object, no evidence levelDirac delta functionobjectSchwartz impossibility theorem, statement, no evidence levelSchwartz impossibilit…statement
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. Function concept
  2. Laplace transform definition
  3. Heaviside step function object
  4. Dirac delta function object
  5. Schwartz impossibility theorem statement

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Distribution_(mathematical_analysis)
About this page
TagQ0C1H111EN
URIm2://Q0C1H111EN
Kindstatement, theorem
WritingW0 stub
MSC46F10, 46F30
StatusThis copy of the site has no build data. Run m2 status Q0C1H111EN.
UsesDirac delta function
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

Used by