离散时间信号是按整数序号排列的序列。n 可以来自连续信号的等间隔采样,也可以本来就是事件编号。不要把 x[n] 理解成“在整数之外等于零的连续函数”:它在非整数处根本未定义。
表示方法
序列可用公式、数列、表格或若干移位单位样值的和表示:
x[n]=k=−∞∑∞x[k]δ[n−k].
常见序列:
anu[n],cos(Ω0n+ϕ),u[n],δ[n].
离散复指数 ejΩn 对频率是 2π 周期的:
ej(Ω+2πk)n=ejΩn.
因此离散频率只需研究任意长度 2π 的区间。
时间运算
- 移位:x[n−n0] 右移 n0;
- 反转:x[−n];
- 抽取:x[Mn] 保留每隔 M 个样本;
- 插值式扩展:x[n/L] 仅在 n 为 L 的倍数时取原值,其余位置需定义为 0。
离散尺度变换不能连续拉伸图形,因为索引必须仍为整数。
离散系统表示
系统映射 y[n]=T{x[n]}。线性常系数差分方程为
k=0∑Naky[n−k]=m=0∑Mbmx[n−m].
给定输入和足够的初始条件,可以递推输出。方程只规定输入输出关系;还需初始静止等附加条件才能唯一确定系统。
系统性质
线性和时不变的检验与连续系统相同,只把 t0 换成整数移位 n0。
因果系统的 y[n0] 只依赖 x[k](k≤n0)。若表达式含 x[n+1],通常非因果。
无记忆系统的 y[n] 只依赖同一时刻 x[n]。例如 y[n]=nx[n] 无记忆、线性但时变;y[n]=x2[n] 无记忆、时不变但非线性。
差分方程的自然响应
齐次方程
k=0∑Naky[n−k]=0
试解 y[n]=λn,得到特征多项式。不同根产生 Ciλin,r 重根产生
(C0+C1n+⋯+Cr−1nr−1)λn.
这与连续微分方程的指数模式完全平行,只是 eλt 换成 λn。
零输入与零状态
y[n]=yzi[n]+yzs[n].
零输入响应由初始状态产生,按齐次方程演化;零状态响应由输入产生,可用卷积或 z 变换求。
离散系统的“初始条件”常指递推开始前若干输出值。做单边 z 变换时,这些值会出现在移位公式中。
LTI 系统由单位样值响应决定
单位样值响应 h[n]=T{δ[n]}。利用单位样值展开、线性和时不变性:
y[n]=k=−∞∑∞x[k]h[n−k].
于是
- 因果 ⟺h[n]=0(n<0);
- BIBO 稳定 ⟺∑n∣h[n]∣<∞;
- 无记忆 ⟺h[n]=Kδ[n]。