[EE261学习笔记] 9+.重侧δ函数

重侧$\delta$函数代表一类集中于一点的函数，一般地，我们将其记为${\delta }_a$。
特别地，$a=0$时，${\delta }_a=\delta$，表示的是集中于$x=0$的函数

${\delta }_a$的三个性质：

1. ${\delta }_a(x)=\{\begin{array}{ll}0& x\ne a\\ \infty & x=a\end{array}$

2. ${\int }_{-\infty }^{\infty }{\delta }_a(x)dx=1$

3. ${\int }_{-\infty }^{\infty }{\delta }_a(x)\phi (x)dx=\phi (a)$

在分布傅里叶变换中，第三条性质又可以写成配对形式：

3. $⟨{\delta }_a,\phi ⟩=\phi {|}_{x=a}=\phi (a)$

---

重侧 $\delta$ 函数看似不可能得到，但实际上我们可以运用极限，将某些普通的函数变为重侧 $\delta$ 函数。比如我们熟悉的矩形函数 $\Pi (x)$

我们将矩形函数横向压缩，纵向按其反比例拉伸，可以得到函数：

$$\frac{1}{\epsilon }{\Pi }_{\epsilon }(x)=\{\begin{array}{ll}0& |x|>\frac{\epsilon }{2}\\ \frac{1}{\epsilon }& |x|\le \frac{\epsilon }{2}\end{array}$$

两个函数$\Pi$与$\frac{1}{\epsilon }{\Pi }_{\epsilon }$如下图所示

取其极限，即${\lim }_{\epsilon \to 0}\frac{1}{\epsilon }{\Pi }_{\epsilon }(x)$，则有：

性质1：

$$\underset{\epsilon \to 0}{\lim }\frac{1}{\epsilon }{\Pi }_{\epsilon }(x)=\{\begin{array}{ll}0& x\ne 0\\ \infty & x=0\end{array}$$

性质2：

由于积分就是面积，因此从图中我们很容易就能看出矩形的面积为1，这代表着${\lim }_{\epsilon \to 0}\frac{1}{\epsilon }{\Pi }_{\epsilon }(x)$在$[-\infty ,\infty ]$内的积分为1

性质3：

$$\underset{\epsilon \to 0}{\lim }{\int }_{-\infty }^{\infty }\frac{1}{\epsilon }{\Pi }_{\epsilon }(x)\phi (x)dx=\underset{\epsilon \to 0}{\lim }{\int }_{-\frac{\epsilon }{2}}^{\frac{\epsilon }{2}}\frac{1}{\epsilon }\phi (x)dx\text{\hspace{1em}(1)}$$

$\phi (x)$在$x=0$处的泰勒展开公式为：

$$\phi (x)=\phi (0)+{\phi }^{\prime }(0)x+\frac{{\phi }^{\prime \prime }(0)}{2}{x}^2+\dots$$

将其带入$(1)$式中，有

$$\begin{array}{rl}原式& =\underset{\epsilon \to 0}{\lim }\frac{1}{\epsilon }{\int }_{-\frac{\epsilon }{2}}^{\frac{\epsilon }{2}}\phi (0)+{\phi }^{\prime }(0)x+\frac{{\phi }^{\prime \prime }(0)}{2}{x}^2+\dots dx\\ & =\underset{\epsilon \to 0}{\lim }\left(\phi (0)+0+\frac{{\phi }^{\prime \prime }(0)}{24}{\epsilon }^2+\dots \right)\end{array}$$

不难发现，除了第一项外，其他所有项都是 $\epsilon$ 的函数，因此当 $\epsilon \to 0$ 时，${\int }_{-\infty }^{\infty }\frac{1}{\epsilon }{\Pi }_{\epsilon }(x)\phi (x)dx=\phi (0)$

至此，三条性质都满足，${\lim }_{\epsilon \to 0}\frac{1}{\epsilon }{\Pi }_{\epsilon }(x)$ 就是一种重侧 $\delta$ 函数