课上的两道图解 convolution 例题
这一节用 C·04 的四步法(翻转、平移、相乘、积分)把第 13 讲的两道例题完整做一遍。公式是 :课上把积分变量写成 (Alexander 写 ), 是要求输出的那个时刻,积分时当常数。图都画在 轴上。
每道题都先回答同一个问题:翻转、平移以后的函数在 轴上占哪一段、长什么样。规则是:如果 只在 上不为 0,那么 只在 ,也就是 上不为 0;它的值就是把 公式里的 换成 。
下降三角形的 impulse response,输入是单位阶跃
求 ,也就是这个系统的 step response。写成 : 固定不动,把 翻转再平移 。
① 写出两个函数在 τ 轴上的样子(读图)。
- 固定的 : 时为 1, 时为 0。
- 翻转平移的 :不为 0 的条件 ,即 。值:把 里的 换成 ,得 。在 处是 0,在 处是 1:原来往右下降的三角形,翻过来变成往右上升。
② 找分段点。滑动三角形的两端是 和 , 的有效区从 0 开始。右端 到达 0()时开始重叠;左端 到达 0()时三角形整个进入 。所以分三段:、、。
③ 每一段积分。三张小图各取一段里的一个 (橙 = 固定的 ,青 = 滑动的 ,阴影 = 乘积的面积 = ):
只有中间一段要真的积分。积分变量是 , 是常数:
几何核对:中间那张图的阴影是梯形, 处高 , 处高 1,宽 ,面积 ✓。最后一张图的阴影是整个三角形,面积 ,和 无关。
④ 检查。:中间一段给 ,和最后一段相等,连续 ✓(两个函数都没有 impulse,输出一定连续)。终值 等于 的总面积:阶跃输入最后把整个 都积了进来。,就是上图的阴影。
⑤ 另一种做法(课上也讲了)。和 做 convolution 就是 running integral: 在 时为 1、 时为 0,所以 。按 6·02 的方法把 写成 (检查 : ✓),再用 6·01 的链逐项积:,,:
时只有前两项: ✓。 时展开最后一项: ✓。
⑥ 反向核对。 的导数应该回到 : 时 ✓,其余地方 是常数,导数 0 ✓。
单位脉冲通过积分器
输入 (高 1、宽 1 的脉冲),系统 。和 做 convolution 就是积分,所以这个系统叫积分器。求 。
① 选哪个翻转、画出来(读图)。两个函数都是平的,课上翻转脉冲(交换律:)。 不为 0 的条件 ,即 ,值为 1。 在 为 1。
② 分段点。脉冲右端 到达 0:;左端 到达 0:。
③ 每一段。乘积是 1,面积 = 重叠长度(这个捷径只在两个高度相乘等于 1 时成立):
④ 写成积木。0、然后斜率 1 升到 1、然后保持:这就是 6·02 例 2 的形状,。
⑤ 核对。积分器的输出是输入的 running integral: ✓。
两道题做的是同一组动作:把两个函数的支撑写成关于 的不等式;找出端点进入、离开重叠的那些 ,它们就是分段点;每一段写出真正的乘积和积分上下限;最后查连续、查终值。只要某一个时刻的值,比如 ,就把翻转平移后的函数放在那个 ,只积那一次。下一节 C·06 的边界表把"找分段点、定上下限"变成固定的公式。
练习:输入从负时间开始,系统有 1 s 延迟
(从 开到 的单位脉冲),(晚 1 s 才开始、高 2 的积分器)。(a) 求 的全式和终值。(b) 只求 :把翻转的脉冲放在 ,只积这一次。(c) 把结果和" 通过 "比一比,解释为什么一样。
提示
像课上例题 2 那样翻转脉冲: 不为 0 的条件是 。 从 才开始。分段点是滑动脉冲的两端碰到 的时刻。
(a) 。 当 ; 当 。右端 碰到 1:;左端 碰到 1:。:不重叠,。:重叠 ,长 ,。:重叠 ,长 2,。即 ,终值 4 = 2 × 脉冲面积 2 ✓。
(b) :翻转的脉冲在 , 只留 ,面积 ,和 (a) 的 一致 ✓。
(c) 的分段点也是 0 和 2,结果同样是 。原因是 time-invariance:输入提前 1 s,输出就提前 1 s;系统延迟 1 s,输出就推迟 1 s。这里 是 上的脉冲提前了 1 s, 是 推迟了 1 s,两次平移正好抵消;比较的那一组里系数 2 在输入上,这里 2 在 上:常数在两个因子之间怎么挪,乘积都不变。