1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
---
title: "Schwartz distribution"
firstLetter: "S"
publishDate: 2021-02-25
categories:
- Mathematics
date: 2021-02-25T13:47:16+01:00
draft: false
markup: pandoc
---
# Schwartz distribution
A **Schwartz distribution**, also known as a **generalized function**,
is a generalization of a function,
allowing us to work with otherwise pathological definitions.
Notable examples of distributions are
the [Dirac delta function](/know/concept/dirac-delta-function/)
and the [Heaviside step function](/know/concept/heaviside-step-function/),
whose unusual properties are justified by this generalization.
We define the **Schwartz space** $\mathcal{S}$ of functions,
whose members are often called **test functions**.
Every such $\phi(x) \in \mathcal{S}$ must satisfy
the following constraint for any $p, q \in \mathbb{N}$:
$$\begin{aligned}
\mathrm{max} \big| x^p \phi^{(q)}(x) \big| < \infty
\end{aligned}$$
In other words, a test function and its derivatives
decay faster than any polynomial.
Furthermore, all test functions must be infinitely differentiable.
These are quite strict requirements.
The **space of distributions** $\mathcal{S}'$ (note the prime)
is then said to consist of *functionals* $f[\phi]$
which map a test function $\phi$ from $\mathcal{S}$,
to a number from $\mathbb{C}$,
which is often written as $\braket{f}{\phi}$.
This notation looks like the inner product of
a [Hilbert space](/know/concept/hilbert-space/),
for good reason: any well-behaved function $f(x)$ can be embedded
into $\mathcal{S}'$ by defining the corresponding functional $f[\phi]$ as follows:
$$\begin{aligned}
f[\phi]
= \braket{f}{\phi}
= \int_{-\infty}^\infty f(x) \: \phi(x) \dd{x}
\end{aligned}$$
Not all functionals qualify for $\mathcal{S}'$:
they also need to be linear in $\phi$, and **continuous**,
which in this context means: if a series $\phi_n$
converges to $\phi$, then $\braket{f}{\phi_n}$
converges to $\braket{f}{\phi}$ for all $f$.
The power of this generalization is that $f(x)$ does not need to be well-behaved:
for example, the Dirac delta function can also be used,
whose definition is nonsensical *outside* of an integral,
but perfectly reasonable *inside* one.
By treating it as a distribution,
we gain the ability to sanely define e.g. its derivatives.
Using the example of embedding a well-behaved function $f(x)$ into $\mathcal{S}$,
we can work out what the derivative of a distribution is:
$$\begin{aligned}
\braket{f'}{\phi}
= \int_{-\infty}^\infty f'(x) \: \phi(x) \dd{x}
= \Big[ f(x) \: \phi(x) \Big]_{-\infty}^\infty - \int_{-\infty}^\infty f(x) \: \phi'(x) \dd{x}
\end{aligned}$$
The test function removes the boundary term, yielding the result
$- \braket{f}{\phi'}$. Although this was an example for a specific $f(x)$,
we use it to define the derivative of any distribution:
$$\begin{aligned}
\boxed{
\braket{f'}{\phi} = - \braket{f}{\phi'}
}
\end{aligned}$$
Using the same trick, we can find the
[Fourier transform](/know/concept/fourier-transform/) (FT)
of a generalized function.
We define the FT as follows,
but be prepared for some switching of the names $k$ and $x$:
$$\begin{aligned}
\tilde{\phi}(x)
= \int_{-\infty}^\infty \phi(k) \exp(- i k x) \dd{k}
\end{aligned}$$
The FT of a Schwartz distribution $f$ then turns out to be as follows:
$$\begin{aligned}
\braket*{\tilde{f}}{\phi}
&= \int_{-\infty}^\infty \tilde{f}(k) \: \phi(k) \dd{k}
= \iint_{-\infty}^\infty f(x) \exp(- i k x) \: \phi(k) \dd{x} \dd{k}
\\
&= \int_{-\infty}^\infty f(x) \: \tilde{\phi}(x) \dd{x}
= \braket*{f}{\tilde{\phi}}
\end{aligned}$$
Note that the ordinary FT $\tilde{f}(k) = \hat{\mathcal{F}}\{f(x)\}$ is
already a 1:1 mapping of test functions $\phi \leftrightarrow \tilde{\phi}$.
As it turns out,
in this generalization it is also a 1:1 mapping of distributions in $\mathcal{S}'$,
defined as:
$$\begin{aligned}
\boxed{
\braket*{\tilde{f}}{\phi}
= \braket*{f}{\tilde{\phi}}
}
\end{aligned}$$
|
