第 8 讲:离散时间信号与系统

离散时间信号是按整数序号排列的序列。nn 可以来自连续信号的等间隔采样,也可以本来就是事件编号。不要把 x[n]x[n] 理解成“在整数之外等于零的连续函数”:它在非整数处根本未定义。

表示方法

序列可用公式、数列、表格或若干移位单位样值的和表示:

x[n]=∑k=−∞∞x[k]δ[n−k].x[n]=\sum_{k=-\infty}^{\infty} x[k]\delta[n-k].

常见序列:

anu[n],cos⁡(Ω0n+ϕ),u[n],δ[n].a^n u[n],\quad \cos(\Omega_0n+\phi),\quad u[n],\quad\delta[n].

离散复指数 ejΩne^{j\Omega n} 对频率是 2π2\pi 周期的:

ej(Ω+2πk)n=ejΩn.e^{j(\Omega+2\pi k)n}=e^{j\Omega n}.

因此离散频率只需研究任意长度 2π2\pi 的区间。

时间运算

  • 移位:x[n−n0]x[n-n_0] 右移 n0n_0;
  • 反转:x[−n]x[-n];
  • 抽取:x[Mn]x[Mn] 保留每隔 MM 个样本;
  • 插值式扩展:x[n/L]x[n/L] 仅在 nn 为 LL 的倍数时取原值,其余位置需定义为 0。

离散尺度变换不能连续拉伸图形,因为索引必须仍为整数。

离散系统表示

系统映射 y[n]=T{x[n]}y[n]=\mathcal T\{x[n]\}。线性常系数差分方程为

∑k=0Naky[n−k]=∑m=0Mbmx[n−m].\sum_{k=0}^{N}a_ky[n-k] =\sum_{m=0}^{M}b_mx[n-m].

给定输入和足够的初始条件,可以递推输出。方程只规定输入输出关系;还需初始静止等附加条件才能唯一确定系统。

系统性质

线性和时不变的检验与连续系统相同,只把 t0t_0 换成整数移位 n0n_0。

因果系统的 y[n0]y[n_0] 只依赖 x[k]x[k](k≤n0k\le n_0)。若表达式含 x[n+1]x[n+1],通常非因果。

无记忆系统的 y[n]y[n] 只依赖同一时刻 x[n]x[n]。例如 y[n]=nx[n]y[n]=n x[n] 无记忆、线性但时变;y[n]=x2[n]y[n]=x^2[n] 无记忆、时不变但非线性。

差分方程的自然响应

齐次方程

∑k=0Naky[n−k]=0\sum_{k=0}^{N}a_ky[n-k]=0

试解 y[n]=λny[n]=\lambda^n,得到特征多项式。不同根产生 CiλinC_i\lambda_i^n,rr 重根产生

(C0+C1n+⋯+Cr−1nr−1)λn.(C_0+C_1n+\cdots+C_{r-1}n^{r-1})\lambda^n.

这与连续微分方程的指数模式完全平行,只是 eλte^{\lambda t} 换成 λn\lambda^n。

零输入与零状态

y[n]=yzi[n]+yzs[n].y[n]=y_{\mathrm{zi}}[n]+y_{\mathrm{zs}}[n].

零输入响应由初始状态产生,按齐次方程演化;零状态响应由输入产生,可用卷积或 z 变换求。

离散系统的“初始条件”常指递推开始前若干输出值。做单边 z 变换时,这些值会出现在移位公式中。

LTI 系统由单位样值响应决定

单位样值响应 h[n]=T{δ[n]}h[n]=\mathcal T\{\delta[n]\}。利用单位样值展开、线性和时不变性:

y[n]=∑k=−∞∞x[k]h[n−k].y[n]=\sum_{k=-\infty}^{\infty} x[k]h[n-k].

于是

  • 因果 ⟺h[n]=0\Longleftrightarrow h[n]=0(n<0n<0);
  • BIBO 稳定 ⟺∑n∣h[n]∣<∞\Longleftrightarrow \sum_n|h[n]|<\infty;
  • 无记忆 ⟺h[n]=Kδ[n]\Longleftrightarrow h[n]=K\delta[n]。

评论