FIR滤波器实现全通特性的充要条件——理论推导

对于FIR数字滤波器，可设其系统函数为
$$H(z)=\sum _{n=0}^{N-1}{a}_n{z}^{-n}\text{\hspace{1em}(1)}$$

从(1)式中，可以看出，$H(z)$的极点全部都在$z=0$处。
考虑到全通系统的每一对零极点都关于单位圆“镜像”，即极点在单位圆内，零点在单位圆外，且模长互为倒数。因此，满足全通特性的FIR滤波器的零点全部在$z=\infty$（无穷远点）。
根据$H(z)$的特点，我们可以构造
$$\begin{gathered} G(z)=z^{N-1}H(z)=\sum _{n=0}^{N-1}{a}_n{z}^{N-1-n} \\ =a_0{z}^{N-1}+a_1{z}^{N-2}+...+a_{N-2}z+a_{N-1}\text{\hspace{1em}(2)} \end{gathered}$$
显然，$G(0)=a_{N-1}̸=0$（对于滤波器而言，最高阶系数不可能为0）
①若$a_0,a_1,...,a_{N-2}$全为零，则
$$H(z)=a_{N-1}{z}^{-(N-1)}$$
令$z=e^{jw}$，可以得到
$$\begin{gathered} H(e^{jw})=a_{N-1}{e}^{-j(N-1)w} \\ |H(e^{jw})|=a_{N-1},\Phi (w)=-(N-1)w \end{gathered}$$
此时实现了一个线性相位的FIR全通滤波器。
②若$a_0,a_1,...,a_{N-2}$不全为零，则(2)式的多项式次数$\ge 1$
由代数基本定理，在复数域内至少能找到一点$z=z_0$，使得
$$G(z_0)=a_0{z}_0^{N-1}+a_1{z}_0^{N-2}+...+a_{N-2}{z}_0+a_{N-1}=0$$
即
$$z_0^{N-1}H(z_0)=0$$
又由于$z_0̸=0$，从而$H(z_0)=0$
这与前文所要求的零点全部在$z=\infty$（无穷远点）相违背，故$H(z)$不具有全通特性。
综上所述，N-1阶FIR滤波器具有全通特性$⟺a_0=a_1=...=a_{N-2}=0$ $(a_{N-1}̸=0)$