第一章 离散时间信号和系统基础

第一章 离散时间信号和系统基础

离散时间信号——序列

表示和分类

离散时间信号在数学上表示成数的序列。序列$x$​记作$x=x[n],-\infty <x<\infty$​。$x[n]$​表示序列的第n个样本，但为了方便，常用来表示整个序列。

序列的能量定义为$E={\sum }_{n=-\infty }^{\infty }|x[n]{|}^2={\sum }_{n=-\infty }^{\infty }x[n]\ast x^{\ast }[n]$

基本运算

运算	表示
移位	$y[n]=x[n-n_0]$
反转	$y[n]=x[-n]$
标加	$y[n]=a+x[n]$
矢加	$y[n]=x[n]+h[n]$
标乘	$y[n]=a\ast x[n]$
矢乘	$y[n]=x[n]h[n]$
卷积	$y[n]=x[n]\ast h[n]={\sum }_{k=-\infty }^{\infty }x[k]h[n-k]$
互相关	$r_{xh}[n]={\sum }_{k=-\infty }^{\infty }{x}^{\ast }[k]h[k+n]=x^{\ast }[-n]\ast h[n]$
自相关	$x_{xx}[n]={\sum }_{k=-\infty }^{\infty }{x}^{\ast }[k]x[k+n]]$

卷积的性质：

(1) 满足交换律

即，$\begin{array}{rl}x[n]\ast h[n]& =h[n]\ast x[n]\\ \sum _{k=-\infty }^{\infty }x[k]h[n-k]& =\sum _{k=-\infty }^{\infty }x[n-k]h[k]\end{array}$

(2) 满足分配律

$x[n]\ast \left(h_1[n]+h_2[n]\right)=x[n]\ast h_1[n]+x[n]\ast h_2[n]$

(3) 满足结合律

$\left(x[n]\ast h_1[n]\right)\ast h_2[n]=x[n]\ast \left(h_1[n]\ast h_2[n]\right)$

(4) 如果 x[n] 的非零区间是 $N_0⩽n⩽N_1$ , 长度为 $L_0$, $h[n]$ 的非零区间是 $N_2⩽n⩽N_3$ , 长度 为 $L_1$, 则 $x[n]\ast h[n]$ 的非零区间是 $N_0+N_2⩽n⩽N_1+N_3$ , 长度为 $L_0+L_1-1_{\circ }$

对称性

类别	表示	类别	表示
奇序列	$x[n]=x[-n]$	共轭对称序列	$x[n]=x^{\ast }[-n]$
偶序列	$x[n]=-x[-n]$	序列共轭反对称	$x[n]=-x^{\ast }[-n]$
对称分量	$x_e[n]=\frac{x[n]+x[-n]}{2}$	共轭对称分量	$x_e[n]=\frac{x[n]+x^{\ast }[-n]}{2}$
反对称分量	$x_o[n]=\frac{x[n]-x[-n]}{2}$	共轭反对称分量	$x_o[n]=\frac{x[n]-x^{\ast }[-n]}{2}$

离散时间系统

无记忆和有记忆系统

无记忆系统：当前输出只由当前输入决定。

线性和非线性系统

满足叠加性质： T { a x 1 [ n ] + b x 2 [ n ] } = a T { x [ n ] } + b T { x 2 [ n ] } T\{ax_1[n]+bx_2[n]\}=aT\{x_[n]\}+bT\{x_2[n]\} T{ax1​[n]+bx2​[n]}=aT{x[​n]}+bT{x2​[n]}，其中a，b是任意常数，则该系统为线性系统。

时不变和时变系统

时不变系统输入序列的任意移位引起输出序列相同方式的移位，即满足： T { x [ n − n 0 ] } = y [ n − n 0 ] T\{x[n-n_0]\}=y[n-n_0] T{x[n−n0​]}=y[n−n0​]，$n_0$为任意整数。

因果和非因果系统

• 时域：输出变化不会发生在输入变化之前的系统称为因果系统，即当前输出样本只取决于当前即以前的输入样本，和以后的输入样本无关。即满足：$forn\le n_0:if{x}_1[n]=x_2[n],then{y}_1[n]=y_2[n]$

• 单位脉冲响应：$h[n]$是因果的有限长右边序列，满足：$h[n]=0forn<0$

• z变换收敛域：$R_{-}<|z|\le \infty ;0<|z|\le \infty$，因果系统在$zz=\infty$无极点

稳定和不稳定系统

• 时域：对任意有界输入都产生有界输出的系统称为稳定系统，即当 ∣ x [ n ] ∣ < ∞ , ∀ n ;   ∣ t { x [ n ] } ∣ < ∞ , ∀ n |x[n]|<\infty,\forall n;\ |t\{x[n]\}|<\infty,\forall n ∣x[n]∣<∞,∀n; ∣t{x[n]}∣<∞,∀n
• 单位脉冲响应：单位脉冲响应是一个绝对可和的序列，即满足：${\sum }_{n=-\infty }^{\infty }|h[n]|<\infty$
• z变换收敛域：对于稳定的LTI系统，系统函数的ROC必然包含单位圆$|z|=1$，所以稳定系统单位圆上无极点

有限脉冲响应和无限脉冲响应应系统

• 单位脉冲响应：单位脉冲响应有限长的LTI系统为有限脉冲响应系统（FIR），FIR既可以采用没有递归的卷积和实现（即N=0的差分方程），也可以采用有递归的差分方程实现，后者运算量可能更小；单位脉冲响应无限长的LTI系统为无限脉冲响应系统（IIR），IIR系统通过引入递归（即利用以前的输出求当前的输出）得出差分方程，从而将无线项的卷积和运算转换成了有限项的递推实现。
• z变换收敛域：FIR系统，由于$h[n]$有限长，所以ROC是整个平面（$z=0or\infty$可能除外），一定包含单位圆，故系统一定稳定，并且除了$z=0or\infty$可能是极点以外没有其他极点，故FIR可称为全零点系统；IIR系统，$h[n]$可以是左边、右边或双边序列，所以ROC可以是一个圆的内部、外部或圆环，不一定包含单位圆，即系统不一定稳定。由于ROC以极点为界，所以IIR一定由原点和无穷远以外的极点。

逆系统

逆系统满足：$H(z)H_i(z)=1;h[n]\ast h_i[n]=\delta [n]$

• 不是所有系统都有逆系统
• 系统函数是有理函数的系统一定有逆系统
• 因果稳定系统只有其系统函数的零点和极点都在单位圆时，该系统的逆系统才是因果稳定的
• 定义零点和极点都在单位圆内的系统为最小相位系统，系统函数用$H_{min}(z)$表示;反之,极点和零点全在单位圆外的系统为最大相位系统，系统函数用$H_{max}(z)$表示。相应的时域序列$h_{min}[n]$和$h_{max[}n]$分别称为最小相位序列和最大相位序列。