课程笔记
第6章 Z 变换与系统函数
Z 变换、ROC、零极点、差分方程、系统函数、冲激响应、因果稳定和 Direct Form II 入口。
2026年6月26日 · 8 分钟阅读 · 数字信号处理
第6章 Z 变换与系统函数
📌 考试定位:本章对应 2023 Q1、2024 Q2、2025 Q4。核心能力是从差分方程、H(z)、零极点图、ROC、h[n] 和结构图之间互相转换。
0. 先用一句话抓住本章
Z 变换把序列和 LTI 系统放到 z 平面里分析;考试真正考的是:同一个分式配不同 ROC 会对应不同序列,而系统函数 H(z) 的极点、零点和 ROC 决定因果性、稳定性、频率响应和实现结构。
题干出现这些关键词就翻本章:
- Z-transform、ROC、inverse Z-transform;
- pole-zero plot、unit circle、causal、stable;
- difference equation、system function、impulse response;
- H(ejω)=H(z)∣z=ejω;
- Direct Form II / canonical structure(结构细节见 第8章)。
最常见错误:只写 X(z) 不写 ROC;把“极点在单位圆内”当成所有稳定条件,却忘记它需要因果前提;从差分方程写 H(z) 时反馈项符号写反。
1. 30 秒公式速查
| 编号 | 公式 / 结论 | 名称 | 看到什么题干就用 |
|---|
| 6.1 | X(z)=∑n=−∞∞x[n]z−n | 双边 Z 变换 | ZT 定义 |
| 6.2 | $a^nu[n]\leftrightarrow \frac1{1-az^{-1}}, | z | > |
| 6.3 | $-a^nu[-n-1]\leftrightarrow \frac1{1-az^{-1}}, | z | < |
| 6.4 | 右边序列 ROC 在最外极点外 | ROC 规则 | 因果系统 |
| 6.5 | 左边序列 ROC 在最内极点内 | ROC 规则 | 反因果序列 |
| 6.6 | 双边序列 ROC 是极点之间的圆环 | ROC 规则 | 双边序列 |
| 6.7 | DTFT 存在 iff ROC 包含单位圆 | 单位圆条件 | 频率响应是否存在 |
| 6.8 | 因果 LTI:ROC 在最外极点外 | 因果条件 | 由 H(z) 判断因果 |
| 6.9 | BIBO 稳定:ROC 包含 $ | z | =1$ |
| 6.10 | 因果且稳定有理系统:所有极点在单位圆内 | 常用结论 | 题目已给因果 |
| 6.11 | H(z)=Y(z)/X(z) | 系统函数 | 差分方程到 H(z) |
| 6.12 | $H(e^{j\omega})=H(z) | _{z=e^{j\omega}}$ | 频率响应 |
| 6.13 | x[n]∗h[n]↔X(z)H(z) | 卷积性质 | 时域卷积到 Z 域乘法 |
| 6.14 | 延时 x[n−k]↔z−kX(z) | 延时性质 | 差分方程写 H(z) |
2. 5 分钟直觉
2.1 Z 变换为什么比 DTFT 多一个 ROC
DTFT 只看单位圆 z=ejω。Z 变换把频率点扩展到整个复平面:
z=rejω.
于是
z−n=r−ne−jωn.
这里的 r−n 会改变级数收敛性。某些序列在单位圆不收敛,但在别的半径上收敛。因此 Z 变换必须写“哪里收敛”,这就是 ROC。
同一个代数分式如果 ROC 不同,时域序列可能完全不同:
1−az−11
配 ∣z∣>∣a∣ 是 anu[n];配 ∣z∣<∣a∣ 是 −anu[−n−1]。
2.2 极点决定 ROC,零点决定频率凹陷
有理 Z 变换中,分母为零的位置是极点,函数在那里发散,所以 ROC 不可能包含极点。ROC 的边界由极点半径决定。
零点不决定 ROC,但它影响频率响应。单位圆上的点 ejω 如果靠近某个零点,∣H(ejω)∣ 会变小;如果靠近某个极点,∣H(ejω)∣ 会变大。
2.3 因果稳定不要背错条件
稳定的根本条件是:ROC 包含单位圆。
因果的根本条件是:ROC 在最外极点外。
只有当系统是 因果有理 LTI 系统 时,二者合起来才推出:所有极点必须严格在单位圆内。
所以考试答案要写清前提:
- “因果且稳定,所以极点在单位圆内”是对的;
- “稳定所以极点在单位圆内”不总是对,因为非因果稳定系统可以有极点在单位圆外,只要 ROC 包含单位圆。
3. 做题套路
套路 1:由差分方程求 H(z)
输入: 线性常系数差分方程。
输出: 系统函数 H(z)、零极点、可能的 ROC。
对应真题: 2023 Q1、2024 Q2、2025 Q4。
-
把所有 y 项放左边,所有 x 项放右边:
k=0∑Naky[n−k]=k=0∑Mbkx[n−k].
-
零初始条件下做 Z 变换:
y[n−k]↔z−kY(z),x[n−k]↔z−kX(z).
-
提出 Y(z) 和 X(z):
(∑akz−k)Y(z)=(∑bkz−k)X(z).
-
写系统函数:
H(z)=X(z)Y(z)=∑akz−k∑bkz−k.
-
若题目说 causal,ROC 在最外极点外;若题目说 stable,ROC 包含单位圆。
⚠️ 注意:如果差分方程写成 y[n]=0.7y[n−1]+x[n],先移项得 y[n]−0.7y[n−1]=x[n],所以分母是 1−0.7z−1。
套路 2:由 H(z) 判断因果稳定
输入: H(z) 的分式和极点。
输出: 因果性、稳定性、ROC。
对应真题: 2024 Q2、2025 Q4。
- 找所有极点半径。
- 若题目给 causal:ROC 在最外极点外。
- 判断单位圆是否在 ROC 中:若在,则稳定;若不在,则不稳定。
- 若题目要求“是否可能因果稳定”:检查所有极点是否在单位圆内。
例: 极点 0.5 和 1.2,若因果 ROC 为 ∣z∣>1.2,单位圆不在 ROC,故不稳定。
套路 3:由 H(z) 求 h[n]
输入: 系统函数 H(z) 和 ROC / 因果性。
输出: 冲激响应 h[n]。
对应真题: 2023 Q1、2024 Q2。
-
把 H(z) 拆成标准项:
1−pz−1A.
-
若 ROC 在 ∣z∣>∣p∣,对应
Apnu[n].
-
若 ROC 在 ∣z∣<∣p∣,对应
−Apnu[−n−1].
-
多个极点就部分分式逐项相加。
⚠️ 注意:没有 ROC 时,反 Z 变换不唯一。题目如果只说 “causal system”,就等价于告诉你取右边序列。
套路 4:表示互转总表
输入: 任一表示:差分方程、H(z)、零极点图、h[n]。
输出: 其他表示。
对应真题: 2024 Q2、2025 Q4 综合题。
| 已知 | 转换方法 | 检查点 |
|---|
| 差分方程 | Z 变换得 H(z) | 反馈项符号 |
| H(z) | 分母根是极点,分子根是零点 | z−1 多项式可乘 zN 转成 z 多项式 |
| H(z) + ROC | 部分分式求 h[n] | ROC 决定左边/右边 |
| H(z) | 令 z=ejω 得 H(ejω) | 单位圆必须在 ROC 中 |
| H(z) | 画结构见 ch8 | DF-II 共用延时链 |
输入: H(z) 或差分方程。
输出: Direct Form II 结构参数。
对应真题: 2025 Q4。
本章只负责把系统函数整理成标准形式,具体画图见 第8章。
标准形式:
H(z)=1+a1z−1+⋯+aNz−Nb0+b1z−1+⋯+bMz−M.
对应差分方程:
y[n]=k=0∑Mbkx[n−k]−k=1∑Naky[n−k].
Direct Form II 使用最少延时器,延时器数量通常为 max(M,N)。
4. 典型题精讲
例题 1:同一分式,不同 ROC
题目:
X(z)=1−0.8z−11.
分别写出 ROC 为 ∣z∣>0.8 和 ∣z∣<0.8 的时域序列。
解答:
若 ∣z∣>0.8,是右边序列:
x[n]=(0.8)nu[n].
若 ∣z∣<0.8,是左边序列:
x[n]=−(0.8)nu[−n−1].
答案: 如上。
易错提醒: 只写 X(z) 不足以确定 x[n]。
例题 2:差分方程到 H(z)
题目: 已知
y[n]−0.6y[n−1]=x[n]+2x[n−1].
求 H(z)。
解答:
Z 变换:
Y(z)−0.6z−1Y(z)=X(z)+2z−1X(z).
提出:
(1−0.6z−1)Y(z)=(1+2z−1)X(z).
所以
H(z)=X(z)Y(z)=1−0.6z−11+2z−1.
答案: H(z)=1−0.6z−11+2z−1。
例题 3:因果稳定判断
题目: 因果系统极点在 z=0.5 和 z=1.2,是否稳定?
解答:
因果系统 ROC 在最外极点外:
∣z∣>1.2.
单位圆 ∣z∣=1 不在 ROC 中,所以频率响应不收敛,系统不 BIBO 稳定。
答案: 不稳定。
例题 4:由 H(z) 求因果 h[n]
题目: 因果系统
H(z)=(1−0.5z−1)(1−0.25z−1)1.
求 h[n]。
解答: 部分分式:
(1−0.5z−1)(1−0.25z−1)1=1−0.5z−1A+1−0.25z−1B.
令 q=z−1。有
1=A(1−0.25q)+B(1−0.5q).
比较系数:
A+B=1,
0.25A+0.5B=0.
解得 A=2,B=−1。
因果 ROC 在最外极点外,所以:
h[n]=2(0.5)nu[n]−(0.25)nu[n].
答案:
h[n]=[2(0.5)n−(0.25)n]u[n].
例题 5:频率响应是否存在
题目: X(z)=1/(1−2z−1),ROC 为 ∣z∣>2。它的 DTFT 是否存在?
解答: DTFT 存在要求单位圆 ∣z∣=1 在 ROC 中。这里 ROC 是 ∣z∣>2,不包含单位圆。
答案: DTFT 不存在。
易错提醒: 不能因为有代数表达式就直接令 z=ejω。
5. 易错点表
| ❌ 错误做法 | ✅ 正确做法 | 来源 |
|---|
| Z 变换只写分式不写 ROC | X(z) 必须配 ROC 才完整 | 2024 Q2 |
| 认为零点决定 ROC | ROC 边界由极点决定 | ROC 判断 |
| 稳定直接说极点在单位圆内 | 更完整:ROC 包含单位圆;因果稳定才推出极点在单位圆内 | 稳定题 |
| 反 Z 变换不看 ROC | ROC 决定右边/左边/双边序列 | 2023 Q1 |
| 差分方程反馈项符号写反 | 先把 y 项移到左边,再做 Z 变换 | 2025 Q4 |
| 单位圆不在 ROC 还求 H(ejω) | 频率响应存在要求单位圆在 ROC 中 | 频响题 |
| Direct Form II 不先整理标准分母 | 先化成 1+a1z−1+⋯ | ch8 |
6. 本章 90 分检查清单
7. 自测题与答案
题目
- 写出双边 Z 变换定义。
- anu[n] 的 Z 变换和 ROC 是什么?
- 为什么同一个 X(z) 不写 ROC 不完整?
- 因果系统极点在 0.2 和 0.7,是否稳定?
- 稳定系统的 ROC 必须满足什么条件?
- 差分方程 y[n]+0.3y[n−1]=x[n]−x[n−1] 的 H(z) 是什么?
- H(z)=1/(1−0.4z−1) 因果时的 h[n] 是什么?
- 什么条件下可以令 z=ejω 求频率响应?
- Direct Form II 为什么叫 canonical structure?
- 若 H(z) 的一个零点在单位圆上,对对应频率的幅度响应有什么影响?
答案
X(z)=n=−∞∑∞x[n]z−n.
anu[n]↔1−az−11,∣z∣>∣a∣.
-
因为同一分式配不同 ROC 会展开成不同方向的序列,例如右边序列或左边序列。
-
因果 ROC 在最外极点外,即 ∣z∣>0.7,包含单位圆,所以稳定。
-
ROC 必须包含单位圆 ∣z∣=1。
(1+0.3z−1)Y(z)=(1−z−1)X(z),
所以
H(z)=1+0.3z−11−z−1.
h[n]=(0.4)nu[n].
-
单位圆必须在 ROC 中,即频率响应/DTFT 存在。
-
因为 Direct Form II 共用前馈和反馈延时链,通常使用最少数量的延时器。
-
单位圆上对应角频率处,分子为零,幅度响应会降为 0,形成 notch / null。
8. 学习路线
- 先学 Z 变换定义和常用指数变换对。
- 重点练 ROC:右边、左边、双边三类要会画。
- 再学因果/稳定/频率响应存在的判断。
- 接着练差分方程 ↔H(z)。
- 最后练部分分式反 Z 变换和 Direct Form II 标准形式。
9. 和后续章节的关系
- 第7章 会用零点位置讨论最小相位、最大相位和全通系统。
- 第8章 会把本章的 H(z) 画成 DF-I、DF-II、级联和并联结构。
- 第9章 的 IIR 设计最终也会得到一个稳定的 H(z)。