关于狄拉克δ函数相关积分相等性及积分限取值的技术问询

嘿，咱们来一步步拆解你遇到的这个狄拉克δ函数积分的疑惑，先从核心的定义和积分逻辑说起：

首先明确你给出的两个函数定义：
狄拉克δ函数：
$$
\delta(t) =
\begin{cases}
+\infty, & t = 0\[2ex]
0, & t \neq 0\[2ex]
\end{cases}
$$
Heaviside单位阶跃函数：
$$
\Theta(t) =
\begin{cases}
0, & t < 0\[2ex]
\dfrac{1}{2}, & t = 0\[2ex]
1, & t > 0\[2ex]
\end{cases}
$$

你的核心疑问：两个积分是否相等？ #

你觉得第一个积分$\int^t_0 e^{-(t-\tau)}\delta(t-\tau);d\tau$应该等于1，而最后一个积分等于1/2，但看到有推导认为它们相等，这其实是定义体系和广义函数（分布）积分规则的差异导致的误解：

1. 狄拉克δ函数的本质是广义函数，不能只看点值定义，核心是它的筛选性质，但当被积函数在δ函数的支撑点（这里是$\tau=t$）处有特殊情况时，规则会有变化：

   • 对于连续函数$f(\tau)$，$\int_{-\infty}^{+\infty}f(\tau)\delta(\tau-a)d\tau=f(a)$；但如果涉及到区间边界或者阶跃函数的间断点，我们需要严格遵循阶跃函数在间断点的取值（你这里$\Theta(0)=1/2$）。

2. 第一个积分的正确求值：
   做变量替换$x=t-\tau$，积分变为$\int_0^t e^{{-x}\delta(x)dx$。因为δ函数只在$x=0$处有非零贡献，而$x=0$是积分区间$[0,t]$的左端点。按照你给出的$\Theta(0)=1/2$的定义，$\int_0}\infty \delta(x)dx=\frac{1}{2}$（相当于只取了δ函数“一半”的贡献），所以这个积分的结果是$\frac{1}{2}e^0=\frac{1}{2}$，和最后一个积分相等。
   你之前觉得它等于1，大概率是默认了工程中另一种常见的阶跃函数定义（$\Theta(0)=1$），这时候$\int_0^\infty \delta(x)dx=1$，结果就会是1——这两种定义都有应用场景，关键是要保持前后一致。

3. 最后一个积分的求值逻辑：
   $\int_{-\infty}^{+\infty}e{-(t-\tau)}\Theta(t-\tau)\delta(t-\tau);d\tau$中，$\Theta(t-\tau)$在$\tau=t$处取值为1/2，被积函数在$\tau=t$处的有效取值是$e^0 \times \frac{1}{2}=\frac{1}{2}$，根据δ函数的筛选性质，积分结果就是$\frac{1}{2}$，这部分是完全正确的。

关于积分限的问题： #

最后一个积分的积分限确实可以换成${[0, t], [0, +\infty], [-\infty, +\infty]}$而不改变结果，原因很简单：狄拉克δ函数的支撑点只有$\tau=t$，只要积分区间包含这个点，积分结果就由该点处的被积函数取值决定。这三个区间都包含$\tau=t$（假设$t>0$，这也是你例子中积分从0到t的隐含前提），所以结果一致。

对你给出的例子推导的验证： #

这个推导是完全自洽的：
$$
\mathcal{C} = \int_0^t e^{\textbf{A}(t-\tau)} \textbf{B}\delta(t-\tau)\textbf{Q}\textbf{u}(\tau)\textbf{B}^T;d\tau = \int_0^{{+\infty}\Theta(t-\tau)e}{\textbf{A}(t-\tau)}\textbf{B}\delta(t-\tau)\textbf{Q}\textbf{u}(\tau)\textbf{B}^T;d\tau = \dfrac{1}{2}\textbf{BQ}_\textbf{u}(t)\textbf{B}^T
$$
当$\tau=t$时，$e^{{\textbf{A}(t-\tau)}=e}0=I$（单位矩阵），$\Theta(t-\tau)=1/2$，$\textbf{Q}_u(\tau)=\textbf{Q}_u(t)$，所以根据筛选性质，积分结果就是$\frac{1}{2}\textbf{BQ}_u(t)\textbf{B}^T$，和推导一致。

备注：内容来源于stack exchange，提问作者JMy