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
120
121
122
123
124
125
|
---
title: "Dirac delta function"
firstLetter: "D"
publishDate: 2021-02-22
categories:
- Mathematics
- Physics
date: 2021-02-22T21:35:38+01:00
draft: false
markup: pandoc
---
# Dirac delta function
The **Dirac delta function** $\delta(x)$, often just the **delta function**,
is a function (or, more accurately, a [Schwartz distribution](/know/concept/schwartz-distribution/))
that is commonly used in physics.
It is an infinitely narrow discontinuous "spike" at $x = 0$ whose area is
defined to be 1:
$$\begin{aligned}
\boxed{
\delta(x) \equiv
\begin{cases}
+\infty & \mathrm{if}\: x = 0 \\
0 & \mathrm{if}\: x \neq 0
\end{cases}
\quad \mathrm{and} \quad
\int_{-\varepsilon}^\varepsilon \delta(x) \dd{x} = 1
}
\end{aligned}$$
It is sometimes also called the **sampling function**, thanks to its most
important property: the so-called **sampling property**:
$$\begin{aligned}
\boxed{
\int f(x) \: \delta(x - x_0) \: dx = \int f(x) \: \delta(x_0 - x) \: dx = f(x_0)
}
\end{aligned}$$
$\delta(x)$ is thus quite an effective weapon against integrals. This may not seem very
useful due to its "unnatural" definition, but in fact it appears as the
limit of several reasonable functions:
$$\begin{aligned}
\delta(x)
= \lim_{n \to +\infty} \!\Big\{ \frac{n}{\sqrt{\pi}} \exp(- n^2 x^2) \Big\}
= \lim_{n \to +\infty} \!\Big\{ \frac{n}{\pi} \frac{1}{1 + n^2 x^2} \Big\}
= \lim_{n \to +\infty} \!\Big\{ \frac{\sin(n x)}{\pi x} \Big\}
\end{aligned}$$
The last one is especially important, since it is equivalent to the
following integral, which appears very often in the context of
[Fourier transforms](/know/concept/fourier-transform/):
$$\begin{aligned}
\delta(x)
= \lim_{n \to +\infty} \!\Big\{\frac{\sin(n x)}{\pi x}\Big\}
= \frac{1}{2\pi} \int_{-\infty}^\infty \exp(i k x) \dd{k}
\:\:\propto\:\: \hat{\mathcal{F}}\{1\}
\end{aligned}$$
When the argument of $\delta(x)$ is scaled, the delta function is itself scaled:
$$\begin{aligned}
\boxed{
\delta(s x) = \frac{1}{|s|} \delta(x)
}
\end{aligned}$$
<div class="accordion">
<input type="checkbox" id="proof-scale"/>
<label for="proof-scale">Proof</label>
<div class="hidden">
<label for="proof-scale">Proof.</label>
Because it is symmetric, $\delta(s x) = \delta(|s| x)$.
Then by substituting $\sigma = |s| x$:
$$\begin{aligned}
\int \delta(|s| x) \dd{x}
&= \frac{1}{|s|} \int \delta(\sigma) \dd{\sigma} = \frac{1}{|s|}
\end{aligned}$$
</div>
</div>
An even more impressive property is the behaviour of the derivative of $\delta(x)$:
$$\begin{aligned}
\boxed{
\int f(\xi) \: \delta'(x - \xi) \dd{\xi} = f'(x)
}
\end{aligned}$$
<div class="accordion">
<input type="checkbox" id="proof-dv1"/>
<label for="proof-dv1">Proof</label>
<div class="hidden">
<label for="proof-dv1">Proof.</label>
Note which variable is used for the
differentiation, and that $\delta'(x - \xi) = - \delta'(\xi - x)$:
$$\begin{aligned}
\int f(\xi) \: \dv{\delta(x - \xi)}{x} \dd{\xi}
&= \dv{x} \int f(\xi) \: \delta(x - \xi) \dd{x}
= f'(x)
\end{aligned}$$
</div>
</div>
This property also generalizes nicely for the higher-order derivatives:
$$\begin{aligned}
\boxed{
\int f(\xi) \: \dv[n]{\delta(x - \xi)}{x} \dd{\xi} = \dv[n]{f(x)}{x}
}
\end{aligned}$$
## References
1. O. Bang,
*Applied mathematics for physicists: lecture notes*, 2019,
unpublished.
|
