一个普通函数与一个冲激函数相乘（采样）

冲激函数（狄拉克函数，Dirac Delta function，通常写作 $\delta (t)$ 或 $\delta (t-a)$）与普通函数相乘，有一个非常重要的性质，被称为**“采样性质”或“筛选性质”**（sifting property）。

这个性质可以概括为：

1. 对于 $\delta (t)$：
   当一个普通函数 $f(t)$ 与 $\delta (t)$ 相乘时，结果是 $f(t)$ 在 $t=0$ 处的值 $f(0)$ 乘以 $\delta (t)$。
   数学表达式：
   $f(t)\cdot \delta (t)=f(0)\cdot \delta (t)$

2. 对于 $\delta (t-a)$：
   当一个普通函数 $f(t)$ 与一个移位的冲激函数 $\delta (t-a)$ 相乘时，结果是 $f(t)$ 在冲激发生点 $t=a$ 处的值 $f(a)$ 乘以 $\delta (t-a)$。
   数学表达式：
   $f(t)\cdot \delta (t-a)=f(a)\cdot \delta (t-a)$

为什么会这样？

从直观上理解：
冲激函数 $\delta (t)$ 的特点是：

• 在 $t=0$ 处，其值是无穷大（但其积分是1）。
• 在 $t\ne 0$ 处，其值为零。

当 $f(t)$ 乘以 $\delta (t)$ 时：

• 对于所有 $t\ne 0$ 的情况，$f(t)\cdot \delta (t)=f(t)\cdot 0=0$。
• 只有在 $t=0$ 这一点，乘积才不为零。在这一点上，冲激函数“捕捉”到了 $f(t)$ 在 $t=0$ 处的值 $f(0)$。因此，整个乘积的行为就像一个强度为 $f(0)$ 的冲激，位于 $t=0$。

从更严谨的数学（分布理论）角度看：
冲激函数不是一个传统的函数，而是一个广义函数或分布。它的性质是通过在积分号下作用于“测试函数”来定义的。
假设我们想知道 $f(t)\delta (t)$ 是什么。我们通过它作用于一个任意的测试函数 $\varphi (t)$ 的积分来定义它：
${\int }_{-\infty }^{\infty }[f(t)\delta (t)]\varphi (t)dt$

根据冲激函数的定义性质，对于任何连续函数 $g(t)$，我们有 ${\int }_{-\infty }^{\infty }g(t)\delta (t)dt=g(0)$。
在这里，我们可以把 $f(t)\varphi (t)$ 看作是这个 $g(t)$。
所以，${\int }_{-\infty }^{\infty }[f(t)\delta (t)]\varphi (t)dt=f(0)\varphi (0)$。

另一方面，如果表达式是 $f(0)\delta (t)$，那么它作用于 $\varphi (t)$ 的积分是：
${\int }_{-\infty }^{\infty }[f(0)\delta (t)]\varphi (t)dt=f(0){\int }_{-\infty }^{\infty }\delta (t)\varphi (t)dt=f(0)\varphi (0)$。

由于两种形式作用于任何测试函数 $\varphi (t)$ 的结果都是相同的（$f(0)\varphi (0)$），所以我们可以说它们是等价的：
$f(t)\cdot \delta (t)=f(0)\cdot \delta (t)$

例子：

1. $t^2\cdot \delta (t)=(0{)}^2\cdot \delta (t)=0\cdot \delta (t)=0$
2. $\cos (t)\cdot \delta (t)=\cos (0)\cdot \delta (t)=1\cdot \delta (t)=\delta (t)$
3. $e^{-3t}\cdot \delta (t-1)=e^{-3\cdot 1}\cdot \delta (t-1)=e^{-3}\cdot \delta (t-1)$
4. $(t+5)\cdot \delta (t+2)=((-2)+5)\cdot \delta (t+2)=3\cdot \delta (t+2)$ (因为 $\delta (t+2)$ 在 $t=-2$ 处有冲激)

应用：

这个性质在信号处理和系统理论中非常重要：

• 采样： 冲激函数能够从一个连续信号中“采样”出某一点的值。
• 线性时不变（LTI）系统： 系统的冲激响应（对冲激函数的响应）完全描述了系统的行为，因为任何输入信号都可以表示为一系列移位和加权的冲激函数的叠加。

总之，冲激函数与普通函数相乘的本质是：冲激函数只在特定的点（其冲激发生点）有“作用”，因此它会“提取”出普通函数在该点的值，并用这个值来缩放冲激函数本身。