ESC
输入关键词搜索文章
目录

卷积与差分方程

从单位脉冲分解到系统递推
把 LTI 系统、卷积和、单位抽样响应、差分方程真正连起来
5前置概念
4完整例题
11PPT/实验配图
1Z 域入口
Part 0 · 学习目标
这一页要解决的不是“怎么算卷积”,而是“为什么系统输出会是卷积”

第一讲里,课程先讲离散时间序列的移位、翻褶、相加、相乘、差分,再讲单位抽样序列、线性移不变系统、单位抽样响应、卷积和,最后进入常系数线性差分方程。很多同学半懂不懂,通常不是因为某个公式太难,而是因为这几个概念之间的桥没有搭起来。

本页的主线是:

$$\text{任意输入可由单位脉冲拼出} \Rightarrow \text{LTI 系统只需知道 }h[n] \Rightarrow \text{输出是卷积} \Rightarrow \text{差分方程给出可计算的系统模型} \Rightarrow \text{Z 变换把递推变成代数}$$

前置知识回顾:如果这里卡住,先去哪里补

本页会默认你知道下面几个概念。如果不熟,建议先回看对应页面或材料。

  • 离散时间信号 $x[n]$:一串按整数索引排列的样本。去补:离散时间信号与系统,第一讲 PPT p3-p6。
  • 序列移位 $x[n-m]$:把序列向右平移 $m$ 个采样点,是差分方程里“过去输入/过去输出”的符号基础。去补:第一讲 PPT p7-p9。
  • 翻褶 $x[-n]$:把序列左右反转,是图解卷积“翻褶、移位、相乘、求和”的第一步。去补:第一讲 PPT p10-p11。
  • 单位抽样序列 $\delta[n]$:只有 $n=0$ 处为 1,其余为 0。它像离散世界里的“积木块”。去补:第一讲 PPT p28。
  • 线性与移不变:线性保证“加权输入的输出等于加权输出”,移不变保证“输入延迟,输出同样延迟”。去补:第一讲 PPT p41-p44。
Part 1 · 从系统模型开始
离散系统先是一个输入输出黑箱

离散系统本质上是一个运算规则:输入一个序列 $x[n]$,输出另一个序列 $y[n]$,记为

$$y[n]=T\{x[n]\}$$

如果系统是任意黑箱,我们几乎没法用一个简单公式描述它。但如果它满足两个很强的条件,事情就会变简单:

  • 线性:输入可以拆开算,输出再加起来。
  • 移不变:今天输入一个脉冲和明天输入同样脉冲,响应形状一样,只是整体平移。

满足这两个条件的系统叫 LTI 系统。卷积和不是任意定义的运算,而是 LTI 系统的必然输出公式。

第一讲 PPT:离散系统输入输出模型
系统的最基本模型:输入序列经过系统运算得到输出序列。
Part 2 · 单位抽样响应
为什么一个 $h[n]$ 就能刻画整个 LTI 系统

先定义单位抽样响应:当输入是单位抽样序列 $\delta[n]$ 时,系统输出称为 $h[n]$

$$\delta[n] \xrightarrow{T} h[n]$$

这句话的含义很关键。$\delta[n]$ 是“最小测试输入”,$h[n]$ 是系统被这个最小输入敲一下之后的完整反应。对 LTI 系统,只要知道 $h[n]$,就可以预测任意输入的输出。

原因来自任意序列的单位脉冲分解:

$$x[n]=\sum_{m=-\infty}^{\infty}x[m]\delta[n-m]$$

这不是玄学。右边每一项 $x[m]\delta[n-m]$ 只在 $n=m$ 处留下一个高度为 $x[m]$ 的脉冲。把所有位置的脉冲加起来,正好拼回原来的 $x[n]$

第一讲 PPT:用单位抽样序列表示任意序列
任意序列可以分解为一串移位单位脉冲的加权和,这是卷积公式的起点。
第一讲 PPT:单位抽样响应
单位抽样响应 $h[n]$:系统对 $\delta[n]$ 的输出。
Part 3 · 推出卷积和
线性负责“加起来”,移不变负责“平移响应”

把输入分解式送进系统:

$$y[n]=T\{x[n]\}=T\left\{\sum_m x[m]\delta[n-m]\right\}$$

由于系统线性,可以把求和与常数 $x[m]$ 提出来:

$$y[n]=\sum_m x[m]T\{\delta[n-m]\}$$

由于系统移不变,$\delta[n]$ 的响应是 $h[n]$,那么 $\delta[n-m]$ 的响应就是 $h[n-m]$。于是

$$y[n]=\sum_{m=-\infty}^{\infty}x[m]h[n-m]=x[n]*h[n]$$

这就是卷积和。它的直觉是:输入的每一个样本 $x[m]$ 都会激发一个移位后的系统响应 $h[n-m]$,最终输出是所有这些响应的叠加。

第一讲 PPT:卷积和定义
LTI 系统中,输出等于输入与单位抽样响应的卷积。
第一讲 PPT:卷积和推导
卷积公式来自输入的脉冲分解、线性叠加和移不变响应。
Part 4 · 图解卷积
翻褶、移位、相乘、求和,其实是在找重叠面积

卷积公式

$$y[n]=\sum_k x[k]h[n-k]$$

里面 $k$ 是哑变量,$n$ 是当前输出时刻。为了算某个 $n$ 下的输出,需要看 $x[k]$$h[n-k]$$k$ 轴上哪里重叠。图解法四步是:

  1. 翻褶:把 $h[k]$ 变成 $h[-k]$
  2. 移位:把 $h[-k]$ 平移成 $h[n-k]$
  3. 相乘:只在 $x[k]$$h[n-k]$ 都非零的位置有贡献。
  4. 求和:把所有重叠位置的乘积加起来。

所以,卷积题最重要的不是先算,而是先找支撑区间的交集。

第一讲 PPT:卷积和计算步骤
课件给出的卷积和定义与四步计算法。
第一讲 PPT:卷积翻褶移位图解
卷积图解中的翻褶、移位、相乘过程。
Part 5 · 作业例题 1
有限长指数与右边指数的卷积为什么一定分段

例题 1:第一讲作业第 1 题

题目:已知

$$h[n]=\begin{cases}\alpha^n,&0\le n\le N-1\\0,&\text{其他}\end{cases},\quad x[n]=\begin{cases}\beta^{n-n_0},&n\ge n_0\\0,&n<n_0\end{cases}$$

直接计算卷积和 $y[n]=x[n]*h[n]$,并用公式表示。

第一步:写卷积。

$$y[n]=\sum_{k=-\infty}^{\infty}h[k]x[n-k]$$

第二步:找非零条件。 $h[k]\ne0$ 要求 $0\le k\le N-1$$x[n-k]\ne0$ 要求 $n-k\ge n_0$,即 $k\le n-n_0$。所以

$$0\le k\le \min(N-1,n-n_0)$$

第三步:分段。$n<n_0$ 时没有重叠,$y[n]=0$。当 $n\ge n_0$ 时,

$$y[n]=\sum_{k=0}^{\min(N-1,n-n_0)}\alpha^k\beta^{n-k-n_0} =\beta^{n-n_0}\sum_{k=0}^{\min(N-1,n-n_0)}\left(\frac{\alpha}{\beta}\right)^k$$

答案:$\alpha\ne\beta$,则

$$y[n]=\begin{cases} 0,&n<n_0\\ \beta^{n-n_0}\dfrac{1-(\alpha/\beta)^{n-n_0+1}}{1-\alpha/\beta},&n_0\le n\le n_0+N-1\\ \beta^{n-n_0}\dfrac{1-(\alpha/\beta)^N}{1-\alpha/\beta},&n\ge n_0+N \end{cases}$$

$\alpha=\beta$,几何和退化为项数:

$$y[n]=\begin{cases} 0,&n<n_0\\ (n-n_0+1)\alpha^{n-n_0},&n_0\le n\le n_0+N-1\\ N\alpha^{n-n_0},&n\ge n_0+N \end{cases}$$
易错点:分段点来自重叠区间,不是凭感觉写。先写 $0\le k\le \min(N-1,n-n_0)$,后面自然会分段。
Part 6 · LTI 系统判据
因果看负时间,稳定看绝对可和

对 LTI 系统,单位抽样响应 $h[n]$ 不只用来算输出,还能直接判断系统性质。

  • 因果系统:输出不能依赖未来输入。对 LTI 系统,充要条件是 $h[n]=0,n<0$
  • BIBO 稳定系统:有界输入产生有界输出。对 LTI 系统,充要条件是 $\sum_{n=-\infty}^{\infty}|h[n]|<\infty$

直观上,如果 $h[n]$ 在负时间不为零,说明一个单位脉冲还没输入,系统就已经响应了,所以非因果。如果 $h[n]$ 的绝对和发散,输入虽然有界,但卷积叠加可能无限放大,所以不稳定。

第一讲 PPT:稳定系统判据
LTI 稳定性的充要条件:单位抽样响应绝对可和。

例题 2:第一讲作业第 5 题

题目:以下序列是系统单位抽样响应 $h[n]$,判断系统是否因果、稳定:

$$\frac{1}{n^2}u[n],\quad \frac{1}{n!}u[n],\quad 3^n u[n],\quad 3^n u[-n],\quad \delta[n+3]$$
$h[n]$因果性稳定性理由
$\frac{1}{n^2}u[n]$因果稳定支撑在 $n\ge0$,且 $\sum 1/n^2$ 收敛,$n=0$ 处需另行定义有限值。
$\frac{1}{n!}u[n]$因果稳定$\sum_{n=0}^{\infty}1/n!=e$
$3^n u[n]$因果不稳定$\sum 3^n$ 发散。
$3^n u[-n]$非因果稳定负时间非零;但 $\sum_{n=-\infty}^{0}3^n$ 收敛。
$\delta[n+3]$非因果稳定$n=-3$ 处非零;绝对和为 1。
易错点:因果和稳定是两件事。非因果系统也可以稳定,因果系统也可能不稳定。
Part 7 · 差分方程
差分方程是离散系统在时域里的自然语言

连续时间系统常用微分方程,因为变化发生在连续时间上;离散时间系统常用差分方程,因为当前输出经常由过去若干个输入和过去若干个输出决定。常系数线性差分方程的一般形式是

$$\sum_{k=0}^{N}d_k y[n-k]=\sum_{k=0}^{M}p_k x[n-k]$$

这里 $y[n-k]$ 是过去第 $k$ 个输出,$x[n-k]$ 是过去第 $k$ 个输入。这个式子给出的是递推关系:只要初始状态和输入序列已知,就能一步一步算出输出。

这也解释了为什么后面要学 Z 变换:时域递推适合手算少数样本,但不适合一眼看出系统结构。Z 变换会把移位 $y[n-k]$ 变成乘以 $z^{-k}Y(z)$,从而把差分方程压缩成代数式。

第一讲 PPT:常系数线性差分方程
常系数线性差分方程把当前输出、过去输出、当前输入、过去输入组织成递推关系。
Part 8 · 作业例题 2
从 FIR 系统公式直接读出单位抽样响应

例题 3:第一讲作业第 4 题

题目:对系统

$$y[n]=\sum_{k=0}^{N-1}\alpha_k x[n-k]$$

求单位抽样响应 $h[n]$,并判断系统是否稳定。

第一步:单位抽样响应的定义。$x[n]=\delta[n]$,输出就是 $h[n]$

第二步:代入。

$$h[n]=\sum_{k=0}^{N-1}\alpha_k\delta[n-k]$$

第三步:判断稳定。 对 LTI 系统,稳定当且仅当 $\sum_n|h[n]|<\infty$。本题中

$$\sum_{n=-\infty}^{\infty}|h[n]|=\sum_{k=0}^{N-1}|\alpha_k|$$

由于 $N$ 有限、各 $\alpha_k$ 为有限常数,所以系统稳定。

题型入口:看到 $y[n]=\sum \alpha_k x[n-k]$,它就是 FIR 横向滤波结构,$h[n]$ 就是这些系数按延迟位置排成的脉冲串。
Part 9 · 实验 2
实验不是 MATLAB 语法题,而是在验证“差分方程、$h[n]$、卷积”三者等价

实验 2 要求编程求两个系统的单位抽样响应和阶跃响应,并画图。实验原理已经把关键链条写出来了:

$$x[n]=\sum_m x[m]\delta[n-m],\quad \delta[n]\to h[n],\quad y[n]=x[n]*h[n]$$

MATLAB 中常见两条路线:

  • filter(p,d,x):从差分方程递推求输出。
  • conv(x,h):从单位抽样响应卷积求输出。

对 FIR 系统,两条路线通常很容易对上;对 IIR 系统,$h[n]$ 无限长,实际计算时只能截断观察前若干项。

实验 2:离散系统的差分方程、单位抽样响应和卷积分析
实验 2 原题:用差分方程、单位抽样响应和卷积分析两个离散系统。

例题 4:实验 2 第一个系统的理论入口

题目:

$$y[n]+0.6y[n-1]+0.09y[n-2]=x[n]-x[n-1]$$

求单位抽样响应时令 $x[n]=\delta[n]$,于是

$$h[n]+0.6h[n-1]+0.09h[n-2]=\delta[n]-\delta[n-1]$$

递推步骤:假设因果松弛系统,$h[n]=0,n<0$

  1. $n=0$$h[0]+0+0=1$,所以 $h[0]=1$
  2. $n=1$$h[1]+0.6h[0]+0=-1$,所以 $h[1]=-1.6$
  3. $n=2$$h[2]+0.6h[1]+0.09h[0]=0$,所以 $h[2]=0.87$
  4. $n\ge2$ 后右端为 0,按齐次递推继续算。

实验验证:filter([1 -1],[1 0.6 0.09],delta) 可以得到同样的前若干项。阶跃响应则把输入换成 $u[n]$,或者把 $h[n]$$u[n]$ 卷积。

易错点:IIR 系统的 $h[n]$ 通常不会有限结束,画图时只是截取前若干点,不代表响应真的变成有限长。

实验 2 第二个系统:移动平均 FIR

题目:

$$y[n]=0.5\{x[n-1]+x[n-2]+x[n-3]+x[n-4]+x[n-5]\}$$

$x[n]=\delta[n]$,直接得到

$$h[n]=0.5\{\delta[n-1]+\delta[n-2]+\delta[n-3]+\delta[n-4]+\delta[n-5]\}$$

它是长度为 5 的 FIR 系统,相当于对过去 5 个输入样本做等权平均再乘以 0.5。阶跃输入下,输出会先逐步爬升,等窗口完全填满后保持常数。

Part 10 · 走向 Z 变换
时域里是递推,Z 域里是系统函数

到这里,时域链条已经完整了:

$$\text{差分方程} \leftrightarrow \text{单位抽样响应 }h[n] \leftrightarrow \text{卷积输出 }y[n]=x[n]*h[n]$$

但时域方法有局限:递推能算点值,却不容易直接看极点、稳定性边界和频率响应。下一节 Z 变换会把

$$y[n-k]\quad\longrightarrow\quad z^{-k}Y(z)$$

于是差分方程变成系统函数

$$H(z)=\frac{Y(z)}{X(z)}$$

这就是本页和 Z 变换 页之间的衔接:卷积与差分方程解决“时域如何描述系统”,Z 变换解决“如何用复平面分析系统”。

第一讲 PPT:差分方程迭代求单位抽样响应
一阶递推系统的单位抽样响应常呈指数形式,稳定性由指数衰减决定。

复习速查

  • 任意序列分解:$x[n]=\sum_m x[m]\delta[n-m]$
  • LTI 输出:$y[n]=x[n]*h[n]=\sum_m x[m]h[n-m]$
  • 卷积图解四步:翻褶、移位、相乘、求和。
  • 因果判据:$h[n]=0,n<0$
  • 稳定判据:$\sum_n|h[n]|<\infty$
  • FIR:单位抽样响应有限长;IIR:单位抽样响应通常无限长。
  • 差分方程:描述递推;Z 变换:把递推变成代数。

参考来源