【DSP笔记】解锁频率之秘:Z 变换与离散傅里叶变换的深度探索

发布于:2025-05-28 ⋅ 阅读:(29) ⋅ 点赞:(0)

解锁频率之秘:Z 变换与离散傅里叶变换的深度探索

想象一下,你是一位经验丰富的机械师,面对一台复杂的机器。时域分析就像你拿着放大镜,仔细观察每一个齿轮的转动,每一个连杆的摆动,这些细节无疑很重要,但整体的协调性、机器的“韵律”可能难以一眼看出。而频率域分析,就像你戴上特制的眼镜,瞬间就能看到机器的“心跳”,哪些部件在高速振动,哪些在低速运转,甚至能察觉到机器发出的“不和谐音”。

DTFT 和 Z 变换,就是这样的“特制眼镜”,它们帮助我们从信号的“形态”转变为信号的“成分”或“特征”,从而更高效地分析和设计系统。

探索信号的“频率成分”:离散时间傅里叶变换 (DTFT)

傅里叶分析的核心思想是,任何一个复杂的信号,都可以被分解成一系列简单的正弦(或复指数)信号的叠加。DTFT就是将这个思想应用到离散时间信号上。

DTFT 的“魔法公式”

对于一个离散时间序列 x ( n ) x(n) x(n),它的离散时间傅里叶变换 (DTFT) 定义为:
X ( e j ω ) = ∑ n = − ∞ ∞ x ( n ) e − j ω n X(e^{j\omega}) = \sum_{n=-\infty}^{\infty} x(n) e^{-j\omega n} X(e)=n=x(n)ejωn
其中:

  • X ( e j ω ) X(e^{j\omega}) X(e) 是信号的频率响应,一个关于数字角频率 ω \omega ω 的连续函数。注意,这里的 e j ω e^{j\omega} e 表示 z z z 平面单位圆上的点,这是DTFT与Z变换的天然联系。
  • ω \omega ω 是数字角频率,取值范围通常为 [ − π , π ) [-\pi, \pi) [π,π) [ 0 , 2 π ) [0, 2\pi) [0,2π)
  • e − j ω n e^{-j\omega n} ejωn 类似于模拟傅里叶变换中的复指数项,代表了不同频率的“探针”。

反过来,如果我们知道了信号的DTFT X ( e j ω ) X(e^{j\omega}) X(e),我们可以通过逆离散时间傅里叶变换 (IDTFT) 恢复原始序列 x ( n ) x(n) x(n)
x ( n ) = 1 2 π ∫ − π π X ( e j ω ) e j ω n d ω x(n) = \frac{1}{2\pi} \int_{-\pi}^{\pi} X(e^{j\omega}) e^{j\omega n} d\omega x(n)=2π1ππX(e)ejωndω
这就像我们把一个复杂的乐章分解成了各种音符的组合,又可以把这些音符重新组合成原来的乐章。

DTFT 的核心特性:简化计算的“秘密武器”

DTFT之所以强大,在于它拥有一系列优良的性质,这些性质能极大地简化信号处理的分析和计算。

  1. 周期性: X ( e j ω ) X(e^{j\omega}) X(e) 是关于 ω \omega ω 的周期函数,周期为 2 π 2\pi 2π。这意味着我们只需要分析一个 2 π 2\pi 2π 的周期内的频谱就足够了。

  2. 线性: 如果 x 1 ( n ) ↔ X 1 ( e j ω ) x_1(n) \leftrightarrow X_1(e^{j\omega}) x1(n)X1(e) x 2 ( n ) ↔ X 2 ( e j ω ) x_2(n) \leftrightarrow X_2(e^{j\omega}) x2(n)X2(e),那么 a x 1 ( n ) + b x 2 ( n ) ↔ a X 1 ( e j ω ) + b X 2 ( e j ω ) ax_1(n) + bx_2(n) \leftrightarrow aX_1(e^{j\omega}) + bX_2(e^{j\omega}) ax1(n)+bx2(n)aX1(e)+bX2(e)

  3. 时移特性: x ( n − n 0 ) ↔ e − j ω n 0 X ( e j ω ) x(n-n_0) \leftrightarrow e^{-j\omega n_0} X(e^{j\omega}) x(nn0)en0X(e)
    信号在时域的延迟,对应于频域的相位改变(乘以一个复指数)。这个性质在通信系统中的延时补偿、滤波器设计中非常有用。

  4. 频移特性: e j ω 0 n x ( n ) ↔ X ( e j ( ω − ω 0 ) ) e^{j\omega_0 n} x(n) \leftrightarrow X(e^{j(\omega-\omega_0)}) ejω0nx(n)X(ej(ωω0))
    信号在时域乘以一个复指数(相当于载波调制),对应于频域的频谱搬移。在通信系统中用于实现信号的上下变频。

  5. 共轭对称性: 如果 x ( n ) x(n) x(n) 是实序列,那么其DTFT的幅度谱是偶对称的 ( ∣ X ( e j ω ) ∣ = ∣ X ( e − j ω ) ∣ |X(e^{j\omega})| = |X(e^{-j\omega})| X(e)=X(e)),相位谱是奇对称的 ( ∠ X ( e j ω ) = − ∠ X ( e − j ω ) − 2 π k \angle X(e^{j\omega}) = -\angle X(e^{-j\omega}) - 2\pi k X(e)=X(e)2πk)。
    这个性质在设计实数滤波器时非常有用,可以减少计算量。

  6. 时域卷积定理: 这是DTFT最重要的性质之一!
    y ( n ) = x ( n ) ∗ h ( n ) ↔ Y ( e j ω ) = X ( e j ω ) H ( e j ω ) y(n) = x(n) \ast h(n) \leftrightarrow Y(e^{j\omega}) = X(e^{j\omega}) H(e^{j\omega}) y(n)=x(n)h(n)Y(e)=X(e)H(e)
    这意味着,在时域复杂的卷积运算,在频域变成了简单的乘法运算!这对于LTI系统的分析和设计来说,简直是革命性的。它让我们可以直接在频率域设计滤波器,通过修改 H ( e j ω ) H(e^{j\omega}) H(e) 来实现对特定频率成分的增强或衰减。

  7. Parseval 定理: 信号的能量在时域和频域是守恒的。
    ∑ n = − ∞ ∞ ∣ x ( n ) ∣ 2 = 1 2 π ∫ − π π ∣ X ( e j ω ) ∣ 2 d ω \sum_{n=-\infty}^{\infty} |x(n)|^2 = \frac{1}{2\pi} \int_{-\pi}^{\pi} |X(e^{j\omega})|^2 d\omega n=x(n)2=2π1ππX(e)2dω
    它为我们提供了一种衡量信号能量的另一种方式。

离散傅里叶级数 (DFS):周期序列的频谱

对于周期序列 x ~ ( n ) \tilde{x}(n) x~(n)(周期为 N N N),我们不能直接使用DTFT,因为周期信号的能量是无限的,DTFT会得到冲激函数。我们使用离散傅里叶级数 (DFS) 来表示它们。

  • 定义:
    X ~ ( k ) = ∑ n = 0 N − 1 x ~ ( n ) W N k n , k = 0 , 1 , … , N − 1 \tilde{X}(k) = \sum_{n=0}^{N-1} \tilde{x}(n) W_N^{kn}, \quad k=0, 1, \dots, N-1 X~(k)=n=0N1x~(n)WNkn,k=0,1,,N1
    x ~ ( n ) = 1 N ∑ k = 0 N − 1 X ~ ( k ) W N − k n , n = 0 , 1 , … , N − 1 \tilde{x}(n) = \frac{1}{N} \sum_{k=0}^{N-1} \tilde{X}(k) W_N^{-kn}, \quad n=0, 1, \dots, N-1 x~(n)=N1k=0N1X~(k)WNkn,n=0,1,,N1
    其中 W N = e − j 2 π / N W_N = e^{-j2\pi/N} WN=ej2π/N

  • 与DTFT的关系: 周期序列的DTFT是一个冲激串,冲激的位置在 2 π k / N 2\pi k/N 2πk/N,强度与DFS系数相关。

摆脱“收敛”的束缚:Z 变换的强大通用性

DTFT虽然强大,但它有一个局限性:不是所有序列的DTFT都收敛。例如,单位阶跃序列 u ( n ) u(n) u(n) 就没有收敛的DTFT。为了解决这个问题,我们引入了更通用的Z 变换

Z 变换的定义:DTFT 的推广

Z 变换可以看作是DTFT的推广。它引入了一个复变量 z z z,不再限制在单位圆上。
对于一个离散时间序列 x ( n ) x(n) x(n),它的 Z 变换定义为:
X ( z ) = ∑ n = − ∞ ∞ x ( n ) z − n X(z) = \sum_{n=-\infty}^{\infty} x(n) z^{-n} X(z)=n=x(n)zn
其中 z z z 是一个复数,通常表示为 z = r e j ω z = re^{j\omega} z=re

  • ∣ z ∣ = r = 1 |z|=r=1 z=r=1 时, z = e j ω z=e^{j\omega} z=e,Z 变换就退化为DTFT。
  • Z 变换的存在要求无穷级数 ∑ n = − ∞ ∞ x ( n ) z − n \sum_{n=-\infty}^{\infty} x(n) z^{-n} n=x(n)zn 能够收敛。

收敛域 (Region of Convergence, ROC):Z 变换的“身份证”

ROC是Z变换中最最重要的概念之一!它定义了Z变换存在的 z z z 值区域。如果一个序列的Z变换存在,那么它就有一个特定的ROC。

为什么ROC如此重要?
因为不同的序列可能有相同的Z变换表达式,但它们的ROC不同,意味着它们代表了完全不同的时域序列。离开了ROC,Z变换就没有意义! ROC就像Z变换的“身份证”,标识着它是哪个序列的Z变换。

序列类型对ROC的影响:

  1. 有限长序列:

    • 序列只在有限个 n n n 值上有非零值。
    • ROC是整个 z z z 平面(可能不包含 z = 0 z=0 z=0 z = ∞ z=\infty z=,取决于序列是否在这些点有值)。
    • 例如: δ ( n ) \delta(n) δ(n) 的 Z 变换是 1 1 1,ROC 是整个 z z z 平面。
  2. 右边序列 (Right-Sided Sequence):

    • 序列只在 n ≥ N 1 n \geq N_1 nN1(某个有限值)时有非零值。最常见的是因果序列( N 1 = 0 N_1=0 N1=0)。
    • ROC是一个圆的外部区域,即 ∣ z ∣ > r 0 |z| > r_0 z>r0。这个 r 0 r_0 r0 是由离原点最远的极点决定。
    • 例如: a n u ( n ) a^n u(n) anu(n) 的 Z 变换是 1 1 − a z − 1 \frac{1}{1-az^{-1}} 1az11,ROC 是 ∣ z ∣ > ∣ a ∣ |z| > |a| z>a
  3. 左边序列 (Left-Sided Sequence):

    • 序列只在 n ≤ N 2 n \leq N_2 nN2(某个有限值)时有非零值。
    • ROC是一个圆的内部区域,即 ∣ z ∣ < r 0 |z| < r_0 z<r0。这个 r 0 r_0 r0 是由离原点最近的极点决定。
    • 例如: − a n u ( − n − 1 ) -a^n u(-n-1) anu(n1) 的 Z 变换也是 1 1 − a z − 1 \frac{1}{1-az^{-1}} 1az11,但ROC是 ∣ z ∣ < ∣ a ∣ |z| < |a| z<a看,Z变换表达式相同,但ROC不同,代表的序列也就不同!
  4. 双边序列 (Two-Sided Sequence):

    • 序列在正负无穷都有非零值。
    • ROC是一个环形区域,即 r 1 < ∣ z ∣ < r 2 r_1 < |z| < r_2 r1<z<r2
    • 例如: x ( n ) = a n u ( n ) + b n u ( − n − 1 ) x(n) = a^n u(n) + b^n u(-n-1) x(n)=anu(n)+bnu(n1) 的Z变换ROC可能是环形。

请添加图片描述

逆 Z 变换:从 Z 域回到时域

知道了序列的 Z 变换 X ( z ) X(z) X(z) 和其 ROC,我们就可以通过逆 Z 变换 (IZT) 恢复原始序列 x ( n ) x(n) x(n)

主要方法:

  1. 部分分式展开法:

    • 这是最常用的方法。将 X ( z ) X(z) X(z) (或 X ( z ) / z X(z)/z X(z)/z) 展开为若干个简单分式的和。
    • 对于每个简单分式,根据其形式和ROC,对照Z变换对表,就可以找到对应的时域序列。
    • 关键: 必须结合ROC来确定每个分式对应的序列是右边序列还是左边序列。

    步骤:

    1. 如果 X ( z ) X(z) X(z) 是一个真分式(分子阶数小于分母阶数),则直接展开。如果不是,可以先除以 z z z 得到 X ( z ) / z X(z)/z X(z)/z,展开后再乘以 z z z 回去。
    2. 找到分母多项式的根(极点)。
    3. 进行部分分式展开。
    4. 根据 Z 变换对表和 ROC,确定每一项的逆 Z 变换。
  2. 幂级数展开法:

    • X ( z ) X(z) X(z) 展开为关于 z − 1 z^{-1} z1 z z z 的幂级数。
    • 级数展开的系数就是序列 x ( n ) x(n) x(n) 的值。
    • 这种方法适用于有限长序列或需要求序列前几项值的情况。
    • 关键: 同样需要结合ROC来确定是按 z − 1 z^{-1} z1 展开(对应右边序列)还是按 z z z 展开(对应左边序列)。

Z 变换的核心特性:LTI 系统分析的利器

Z 变换也拥有一系列重要的性质,这些性质使得它在LTI系统分析中发挥着关键作用。

  1. 线性: 与DTFT类似, a x 1 ( n ) + b x 2 ( n ) ↔ a X 1 ( z ) + b X 2 ( z ) a x_1(n) + b x_2(n) \leftrightarrow a X_1(z) + b X_2(z) ax1(n)+bx2(n)aX1(z)+bX2(z)
  2. 时移特性: x ( n − n 0 ) ↔ z − n 0 X ( z ) x(n-n_0) \leftrightarrow z^{-n_0} X(z) x(nn0)zn0X(z)
    这个性质在求解差分方程时至关重要,它将时域的延迟操作直接转换为Z域的乘法。
  3. 乘以指数序列: a n x ( n ) ↔ X ( z / a ) a^n x(n) \leftrightarrow X(z/a) anx(n)X(z/a)
    这表明在时域乘以一个指数因子,在Z域会引起Z平面的尺度变换。
  4. 微分特性: n x ( n ) ↔ − z d X ( z ) d z nx(n) \leftrightarrow -z \frac{dX(z)}{dz} nx(n)zdzdX(z)
    这个性质可以用来计算某些复杂序列的Z变换,或者证明其他性质。
  5. 时域卷积定理: 这是Z变换最重要的性质之一!
    y ( n ) = x ( n ) ∗ h ( n ) ↔ Y ( z ) = X ( z ) H ( z ) y(n) = x(n) \ast h(n) \leftrightarrow Y(z) = X(z) H(z) y(n)=x(n)h(n)Y(z)=X(z)H(z)
    和DTFT一样,它把时域的卷积变成了Z域的简单乘法!这是Z变换能大大简化系统分析和设计的根本原因。

利用 Z 变换解差分方程:大招来了!

还记得第一章我们用递推法解差分方程吗?当序列较长时,那会非常麻烦。Z 变换提供了更优雅、更高效的解决方案!

利用Z变换解差分方程的步骤:

  1. 对差分方程两边进行Z变换:

    • 利用 Z 变换的线性性质。
    • 利用 Z 变换的时移性质: Z T [ y ( n − k ) ] = z − k Y ( z ) + ∑ m = 1 k y ( − m ) z m − k \mathrm{ZT}[y(n-k)] = z^{-k} Y(z) + \sum_{m=1}^k y(-m) z^{m-k} ZT[y(nk)]=zkY(z)+m=1ky(m)zmk (这个是考虑非零初始条件的情况,如果初始条件为零,就简化为 z − k Y ( z ) z^{-k} Y(z) zkY(z))。
    • 对于输入 x ( n ) x(n) x(n) 也同样进行Z变换。
  2. 代数求解 Y ( z ) Y(z) Y(z)
    将Z变换后的方程视为一个代数方程,解出 Y ( z ) Y(z) Y(z) 的表达式,通常是 z z z 的有理分式。

  3. Y ( z ) Y(z) Y(z) 进行逆Z变换:
    利用部分分式展开法(或幂级数展开法),将 Y ( z ) Y(z) Y(z) 转换为时域输出序列 y ( n ) y(n) y(n)。在这一步,需要结合系统的因果性或稳定性来确定正确的ROC,从而选择正确的逆变换形式。

例子: 求解 y ( n ) − 0.5 y ( n − 1 ) = x ( n ) y(n) - 0.5y(n-1) = x(n) y(n)0.5y(n1)=x(n),已知 x ( n ) = u ( n ) x(n)=u(n) x(n)=u(n),初始条件 y ( − 1 ) = 0 y(-1)=0 y(1)=0

  1. Z变换:
    Y ( z ) − 0.5 ( z − 1 Y ( z ) + y ( − 1 ) z 0 ) = X ( z ) Y(z) - 0.5(z^{-1}Y(z) + y(-1)z^0) = X(z) Y(z)0.5(z1Y(z)+y(1)z0)=X(z)
    Y ( z ) − 0.5 z − 1 Y ( z ) = X ( z ) Y(z) - 0.5z^{-1}Y(z) = X(z) Y(z)0.5z1Y(z)=X(z) (因为 y ( − 1 ) = 0 y(-1)=0 y(1)=0)
    Y ( z ) ( 1 − 0.5 z − 1 ) = X ( z ) Y(z)(1 - 0.5z^{-1}) = X(z) Y(z)(10.5z1)=X(z)
  2. 求解 Y ( z ) Y(z) Y(z)
    X ( z ) = 1 1 − z − 1 X(z) = \frac{1}{1-z^{-1}} X(z)=1z11 (对于 u ( n ) u(n) u(n),ROC 是 ∣ z ∣ > 1 |z|>1 z>1)
    Y ( z ) = X ( z ) 1 − 0.5 z − 1 = 1 ( 1 − z − 1 ) ( 1 − 0.5 z − 1 ) Y(z) = \frac{X(z)}{1 - 0.5z^{-1}} = \frac{1}{(1-z^{-1})(1-0.5z^{-1})} Y(z)=10.5z1X(z)=(1z1)(10.5z1)1
  3. 逆Z变换:
    Y ( z ) = A 1 − z − 1 + B 1 − 0.5 z − 1 Y(z) = \frac{A}{1-z^{-1}} + \frac{B}{1-0.5z^{-1}} Y(z)=1z1A+10.5z1B
    解得 A = 2 , B = − 1 A=2, B=-1 A=2,B=1 (具体计算略)。
    Y ( z ) = 2 1 − z − 1 − 1 1 − 0.5 z − 1 Y(z) = \frac{2}{1-z^{-1}} - \frac{1}{1-0.5z^{-1}} Y(z)=1z1210.5z11
    由于系统是因果的,其ROC应该包含输入 u ( n ) u(n) u(n) 的ROC( ∣ z ∣ > 1 |z|>1 z>1)以及系统本身的ROC(通常是所有极点外的区域)。在此例中,系统极点在 z = 1 z=1 z=1 z = 0.5 z=0.5 z=0.5,所以系统的ROC是 ∣ z ∣ > 1 |z|>1 z>1
    因此,两项都对应右边序列:
    y ( n ) = 2 u ( n ) − ( 0.5 ) n u ( n ) y(n) = 2u(n) - (0.5)^n u(n) y(n)=2u(n)(0.5)nu(n)

系统函数与频率响应:从 Z 域看系统特性

Z 变换不仅能解差分方程,它更是分析LTI系统特性(如因果性、稳定性、频率响应)的强大工具。

系统函数 H ( z ) H(z) H(z):系统的“数学模型”

对于一个LTI系统,当初始条件为零时,其输出 Y ( z ) Y(z) Y(z) 与输入 X ( z ) X(z) X(z) 的 Z 变换之比,称为系统的系统函数 (System Function),用 H ( z ) H(z) H(z) 表示:
H ( z ) = Y ( z ) X ( z ) H(z) = \frac{Y(z)}{X(z)} H(z)=X(z)Y(z)
如果系统由线性常系数差分方程描述: ∑ k = 0 N a k y ( n − k ) = ∑ m = 0 M b m x ( n − m ) \sum_{k=0}^N a_k y(n-k) = \sum_{m=0}^M b_m x(n-m) k=0Naky(nk)=m=0Mbmx(nm)
对其进行Z变换(零初始条件): ∑ k = 0 N a k z − k Y ( z ) = ∑ m = 0 M b m z − m X ( z ) \sum_{k=0}^N a_k z^{-k} Y(z) = \sum_{m=0}^M b_m z^{-m} X(z) k=0NakzkY(z)=m=0MbmzmX(z)
于是,系统函数为:
H ( z ) = ∑ m = 0 M b m z − m ∑ k = 0 N a k z − k H(z) = \frac{\sum_{m=0}^M b_m z^{-m}}{\sum_{k=0}^N a_k z^{-k}} H(z)=k=0Nakzkm=0Mbmzm
系统函数 H ( z ) H(z) H(z) z z z 的有理分式,可以表示为零点和极点的乘积形式:
H ( z ) = b 0 a 0 ∏ m = 1 M ( 1 − c m z − 1 ) ∏ k = 1 N ( 1 − d k z − 1 ) H(z) = \frac{b_0}{a_0} \frac{\prod_{m=1}^M (1-c_m z^{-1})}{\prod_{k=1}^N (1-d_k z^{-1})} H(z)=a0b0k=1N(1dkz1)m=1M(1cmz1)
其中 c m c_m cm 是零点(使 H ( z ) = 0 H(z)=0 H(z)=0 z z z 值), d k d_k dk 是极点(使 H ( z ) → ∞ H(z) \to \infty H(z) z z z 值)。

频率响应函数 H ( e j ω ) H(e^{j\omega}) H(e):系统的“频率指纹”

一个LTI系统的频率响应 H ( e j ω ) H(e^{j\omega}) H(e),是其系统函数 H ( z ) H(z) H(z) 在单位圆 ∣ z ∣ = 1 |z|=1 z=1 上的取值:
H ( e j ω ) = H ( z ) ∣ z = e j ω H(e^{j\omega}) = H(z)|_{z=e^{j\omega}} H(e)=H(z)z=e
前提是单位圆必须包含在 H ( z ) H(z) H(z) 的ROC内。

  • ∣ H ( e j ω ) ∣ |H(e^{j\omega})| H(e) 是幅度响应,描述系统对不同频率信号的增益或衰减。
  • ∠ H ( e j ω ) \angle H(e^{j\omega}) H(e) 是相位响应,描述系统对不同频率信号的相位延迟。
  • 通过分析 H ( e j ω ) H(e^{j\omega}) H(e) 的幅度谱和相位谱,我们可以判断系统是低通、高通、带通、带阻等,以及它对信号相位的影响。

零极点分析频响特性:洞察系统行为的关键

Z 平面上的零点和极点分布,直观地揭示了系统的频率响应特性。

  • 极点 (Poles): 极点的位置决定了系统在某个频率附近的放大特性。
    • 如果一个极点靠近单位圆,那么在它对应的频率点(单位圆上与极点径向方向相同的点),幅度响应会显著增大。
    • 如果极点在单位圆上,则系统在该频率处会有无限大的增益,系统可能不稳定。
  • 零点 (Zeros): 零点的位置决定了系统在某个频率附近的衰减特性。
    • 如果一个零点靠近单位圆,那么在它对应的频率点,幅度响应会显著衰减。
    • 如果零点恰好落在单位圆上,那么在它对应的频率点,幅度响应为零,该频率分量会被系统完全“扼杀”(例如,陷波滤波器)。

请添加图片描述

在这里插入图片描述

因果性与稳定性判断:Z 变换的“诊断报告”

Z 变换和ROC为LTI系统的因果性和稳定性提供了非常直观的判据。

  1. 因果LTI系统:

    • 其ROC必须是其最外层极点之外的区域(一个圆外部)。
    • 其单位脉冲响应 h ( n ) h(n) h(n) 必须是右边序列。
    • 如果系统是因果的,且由差分方程描述,那么其 H ( z ) H(z) H(z) 的所有极点都必须位于有限平面内(即没有无穷远的极点)。
  2. 稳定LTI系统 (BIBO 稳定):

    • 其ROC必须包含单位圆。
    • 其单位脉冲响应 h ( n ) h(n) h(n) 必须是绝对可和的。
  3. 因果且稳定LTI系统:

    • 如果一个LTI系统既因果又稳定,那么它的ROC必须是其最外层极点之外的区域,并且该区域必须包含单位圆。
    • 这意味着,对于因果LTI系统,其所有极点都必须位于单位圆之内。这是判断因果LTI系统稳定性的黄金法则!
    • 在控制系统中,系统的极点位置是决定其稳定性的关键。如果控制系统的极点位于单位圆外,系统就会发散,无法稳定运行。

总结与展望

在第二章,我们掌握了数字信号处理中至关重要的两大工具:

  • 离散时间傅里叶变换 (DTFT):让我们能够将时域信号分解为频率成分,理解信号的频率内容,并发现时域卷积对应频域乘积这一简化分析的“黄金法则”。
  • Z 变换:作为DTFT的推广,它拥有更广阔的适用范围,并引入了收敛域 (ROC) 这一核心概念,使Z变换能够完整地描述序列。通过Z变换,我们能够轻松地求解差分方程,将复杂的时域问题转化为代数问题。

更重要的是,我们学习了如何利用系统函数 H ( z ) H(z) H(z) 和其零极点在Z平面上的分布来分析LTI系统的频率响应、因果性稳定性。特别是“因果LTI系统所有极点必须在单位圆内才稳定”这一结论,在数字滤波器设计和控制系统分析中具有指导性意义。

有了这些强大的变换工具,我们现在可以更深入地理解和设计数字信号处理系统了。然而,DTFT是一个连续函数,Z变换也是定义在连续的复平面上,它们在计算机中无法直接计算。这就引出了下一章的内容:离散傅里叶变换 (DFT),它将是我们在数字世界中实际计算频谱的桥梁。敬请期待!


习题

学以致用,下面是几道练习题,帮助你巩固本章的知识点。

1. Z 变换和 ROC:
求序列 x ( n ) = ( 0.8 ) n u ( n ) + ( 1.2 ) n u ( − n − 1 ) x(n) = (0.8)^n u(n) + (1.2)^n u(-n-1) x(n)=(0.8)nu(n)+(1.2)nu(n1) 的 Z 变换 X ( z ) X(z) X(z) 及其 ROC。

2. 逆 Z 变换:
已知 Z 变换 X ( z ) = 1 ( 1 − 0.5 z − 1 ) ( 1 − 2 z − 1 ) X(z) = \frac{1}{(1-0.5z^{-1})(1-2z^{-1})} X(z)=(10.5z1)(12z1)1
a) 如果 ROC 是 ∣ z ∣ > 2 |z| > 2 z>2,求 x ( n ) x(n) x(n)
b) 如果 ROC 是 ∣ z ∣ < 0.5 |z| < 0.5 z<0.5,求 x ( n ) x(n) x(n)
c) 如果 ROC 是 0.5 < ∣ z ∣ < 2 0.5 < |z| < 2 0.5<z<2,求 x ( n ) x(n) x(n)

3. Z 变换解差分方程:
一个LTI系统由差分方程描述: y ( n ) − 0.25 y ( n − 2 ) = x ( n ) y(n) - 0.25y(n-2) = x(n) y(n)0.25y(n2)=x(n)
已知输入 x ( n ) = δ ( n ) x(n) = \delta(n) x(n)=δ(n),且系统是因果的,所有初始条件为零。
a) 求系统函数 H ( z ) H(z) H(z)
b) 求系统的单位脉冲响应 h ( n ) h(n) h(n)

4. 系统稳定性与因果性:
一个LTI系统的系统函数为 H ( z ) = z + 1 z 2 − 1.5 z + 0.5 H(z) = \frac{z+1}{z^2 - 1.5z + 0.5} H(z)=z21.5z+0.5z+1
a) 绘制零极点图。
b) 如果系统是因果的,判断它是否稳定。
c) 如果系统是稳定的,判断它是否因果。


答案

1. Z 变换和 ROC:
对于 x 1 ( n ) = ( 0.8 ) n u ( n ) x_1(n) = (0.8)^n u(n) x1(n)=(0.8)nu(n) X 1 ( z ) = 1 1 − 0.8 z − 1 X_1(z) = \frac{1}{1-0.8z^{-1}} X1(z)=10.8z11,ROC 是 ∣ z ∣ > 0.8 |z| > 0.8 z>0.8
对于 x 2 ( n ) = ( 1.2 ) n u ( − n − 1 ) x_2(n) = (1.2)^n u(-n-1) x2(n)=(1.2)nu(n1),这是一个左边序列。
我们知道 − ( 1.2 ) n u ( − n − 1 ) -(1.2)^n u(-n-1) (1.2)nu(n1) 的 Z 变换是 1 1 − 1.2 z − 1 \frac{1}{1-1.2z^{-1}} 11.2z11,ROC 是 ∣ z ∣ < 1.2 |z| < 1.2 z<1.2
所以 x 2 ( n ) = − ( 1.2 ) n u ( − n − 1 ) x_2(n) = -(1.2)^n u(-n-1) x2(n)=(1.2)nu(n1) 对应 X 2 ( z ) = − 1 1 − 1.2 z − 1 X_2(z) = -\frac{1}{1-1.2z^{-1}} X2(z)=11.2z11,ROC 是 ∣ z ∣ < 1.2 |z| < 1.2 z<1.2
根据线性性质, X ( z ) = X 1 ( z ) + X 2 ( z ) = 1 1 − 0.8 z − 1 − 1 1 − 1.2 z − 1 X(z) = X_1(z) + X_2(z) = \frac{1}{1-0.8z^{-1}} - \frac{1}{1-1.2z^{-1}} X(z)=X1(z)+X2(z)=10.8z1111.2z11
系统的 ROC 是两个子序列 ROC 的交集,即 ( ∣ z ∣ > 0.8 ) ∩ ( ∣ z ∣ < 1.2 ) = 0.8 < ∣ z ∣ < 1.2 (|z| > 0.8) \cap (|z| < 1.2) = 0.8 < |z| < 1.2 (z>0.8)(z<1.2)=0.8<z<1.2
所以, X ( z ) = 1 1 − 0.8 z − 1 − 1 1 − 1.2 z − 1 X(z) = \frac{1}{1-0.8z^{-1}} - \frac{1}{1-1.2z^{-1}} X(z)=10.8z1111.2z11,ROC 为 0.8 < ∣ z ∣ < 1.2 0.8 < |z| < 1.2 0.8<z<1.2

2. 逆 Z 变换:
X ( z ) = 1 ( 1 − 0.5 z − 1 ) ( 1 − 2 z − 1 ) X(z) = \frac{1}{(1-0.5z^{-1})(1-2z^{-1})} X(z)=(10.5z1)(12z1)1
先进行部分分式展开:
X ( z ) = A 1 − 0.5 z − 1 + B 1 − 2 z − 1 X(z) = \frac{A}{1-0.5z^{-1}} + \frac{B}{1-2z^{-1}} X(z)=10.5z1A+12z1B
1 = A ( 1 − 2 z − 1 ) + B ( 1 − 0.5 z − 1 ) 1 = A(1-2z^{-1}) + B(1-0.5z^{-1}) 1=A(12z1)+B(10.5z1)
z − 1 = 2 z^{-1}=2 z1=2 1 = A ( 1 − 4 ) + B ( 1 − 1 ) = − 3 A ⇒ A = − 1 / 3 1 = A(1-4) + B(1-1) = -3A \Rightarrow A = -1/3 1=A(14)+B(11)=3AA=1/3
z − 1 = 0.5 z^{-1}=0.5 z1=0.5 1 = A ( 1 − 1 ) + B ( 1 − 0.25 ) = 0.75 B ⇒ B = 4 / 3 1 = A(1-1) + B(1-0.25) = 0.75B \Rightarrow B = 4/3 1=A(11)+B(10.25)=0.75BB=4/3
所以 X ( z ) = − 1 / 3 1 − 0.5 z − 1 + 4 / 3 1 − 2 z − 1 X(z) = \frac{-1/3}{1-0.5z^{-1}} + \frac{4/3}{1-2z^{-1}} X(z)=10.5z11/3+12z14/3

a) 如果 ROC 是 ∣ z ∣ > 2 |z| > 2 z>2
这意味着序列是右边序列。两项都对应右边序列的形式。
x ( n ) = − 1 3 ( 0.5 ) n u ( n ) + 4 3 ( 2 ) n u ( n ) x(n) = -\frac{1}{3}(0.5)^n u(n) + \frac{4}{3}(2)^n u(n) x(n)=31(0.5)nu(n)+34(2)nu(n)

b) 如果 ROC 是 ∣ z ∣ < 0.5 |z| < 0.5 z<0.5
这意味着序列是左边序列。两项都对应左边序列的形式。
x ( n ) = − ( − 1 3 ) ( 0.5 ) n u ( − n − 1 ) + ( − 4 3 ) ( 2 ) n u ( − n − 1 ) x(n) = -(-\frac{1}{3})(0.5)^n u(-n-1) + (-\frac{4}{3})(2)^n u(-n-1) x(n)=(31)(0.5)nu(n1)+(34)(2)nu(n1)
x ( n ) = 1 3 ( 0.5 ) n u ( − n − 1 ) − 4 3 ( 2 ) n u ( − n − 1 ) x(n) = \frac{1}{3}(0.5)^n u(-n-1) - \frac{4}{3}(2)^n u(-n-1) x(n)=31(0.5)nu(n1)34(2)nu(n1)

c) 如果 ROC 是 0.5 < ∣ z ∣ < 2 0.5 < |z| < 2 0.5<z<2
这意味着第一项 ( 1 − 0.5 z − 1 ) − 1 (1-0.5z^{-1})^{-1} (10.5z1)1 对应右边序列(因为 ∣ z ∣ > 0.5 |z|>0.5 z>0.5),第二项 ( 1 − 2 z − 1 ) − 1 (1-2z^{-1})^{-1} (12z1)1 对应左边序列(因为 ∣ z ∣ < 2 |z|<2 z<2)。
x ( n ) = − 1 3 ( 0.5 ) n u ( n ) + ( − 4 3 ) ( 2 ) n u ( − n − 1 ) x(n) = -\frac{1}{3}(0.5)^n u(n) + (-\frac{4}{3})(2)^n u(-n-1) x(n)=31(0.5)nu(n)+(34)(2)nu(n1)
x ( n ) = − 1 3 ( 0.5 ) n u ( n ) − 4 3 ( 2 ) n u ( − n − 1 ) x(n) = -\frac{1}{3}(0.5)^n u(n) - \frac{4}{3}(2)^n u(-n-1) x(n)=31(0.5)nu(n)34(2)nu(n1)

3. Z 变换解差分方程:
差分方程: y ( n ) − 0.25 y ( n − 2 ) = x ( n ) y(n) - 0.25y(n-2) = x(n) y(n)0.25y(n2)=x(n)
a) 求系统函数 H ( z ) H(z) H(z):零初始条件,对差分方程进行 Z 变换。
Y ( z ) − 0.25 z − 2 Y ( z ) = X ( z ) Y(z) - 0.25z^{-2}Y(z) = X(z) Y(z)0.25z2Y(z)=X(z)
Y ( z ) ( 1 − 0.25 z − 2 ) = X ( z ) Y(z)(1 - 0.25z^{-2}) = X(z) Y(z)(10.25z2)=X(z)
H ( z ) = Y ( z ) X ( z ) = 1 1 − 0.25 z − 2 H(z) = \frac{Y(z)}{X(z)} = \frac{1}{1 - 0.25z^{-2}} H(z)=X(z)Y(z)=10.25z21

b) 求单位脉冲响应 h ( n ) h(n) h(n):令 x ( n ) = δ ( n ) ⇒ X ( z ) = 1 x(n) = \delta(n) \Rightarrow X(z)=1 x(n)=δ(n)X(z)=1
Y ( z ) = H ( z ) = 1 1 − 0.25 z − 2 Y(z) = H(z) = \frac{1}{1 - 0.25z^{-2}} Y(z)=H(z)=10.25z21
因式分解分母: 1 − 0.25 z − 2 = ( 1 − 0.5 z − 1 ) ( 1 + 0.5 z − 1 ) 1 - 0.25z^{-2} = (1 - 0.5z^{-1})(1 + 0.5z^{-1}) 10.25z2=(10.5z1)(1+0.5z1)
Y ( z ) = 1 ( 1 − 0.5 z − 1 ) ( 1 + 0.5 z − 1 ) Y(z) = \frac{1}{(1-0.5z^{-1})(1+0.5z^{-1})} Y(z)=(10.5z1)(1+0.5z1)1
部分分式展开:
Y ( z ) = A 1 − 0.5 z − 1 + B 1 + 0.5 z − 1 Y(z) = \frac{A}{1-0.5z^{-1}} + \frac{B}{1+0.5z^{-1}} Y(z)=10.5z1A+1+0.5z1B
1 = A ( 1 + 0.5 z − 1 ) + B ( 1 − 0.5 z − 1 ) 1 = A(1+0.5z^{-1}) + B(1-0.5z^{-1}) 1=A(1+0.5z1)+B(10.5z1)
z − 1 = 2 z^{-1}=2 z1=2 1 = A ( 1 + 1 ) = 2 A ⇒ A = 1 / 2 1 = A(1+1) = 2A \Rightarrow A = 1/2 1=A(1+1)=2AA=1/2
z − 1 = − 2 z^{-1}=-2 z1=2 1 = B ( 1 + 1 ) = 2 B ⇒ B = 1 / 2 1 = B(1+1) = 2B \Rightarrow B = 1/2 1=B(1+1)=2BB=1/2
所以 Y ( z ) = 1 / 2 1 − 0.5 z − 1 + 1 / 2 1 + 0.5 z − 1 Y(z) = \frac{1/2}{1-0.5z^{-1}} + \frac{1/2}{1+0.5z^{-1}} Y(z)=10.5z11/2+1+0.5z11/2
由于系统是因果的,ROC 是 ∣ z ∣ > 0.5 |z| > 0.5 z>0.5。因此两项都对应右边序列。
h ( n ) = 1 2 ( 0.5 ) n u ( n ) + 1 2 ( − 0.5 ) n u ( n ) h(n) = \frac{1}{2}(0.5)^n u(n) + \frac{1}{2}(-0.5)^n u(n) h(n)=21(0.5)nu(n)+21(0.5)nu(n)

4. 系统稳定性与因果性:
H ( z ) = z + 1 z 2 − 1.5 z + 0.5 H(z) = \frac{z+1}{z^2 - 1.5z + 0.5} H(z)=z21.5z+0.5z+1
a) 绘制零极点图:

  • 零点:分子为零,即 z + 1 = 0 ⇒ z 1 = − 1 z+1=0 \Rightarrow z_1 = -1 z+1=0z1=1
  • 极点:分母为零,即 z 2 − 1.5 z + 0.5 = 0 z^2 - 1.5z + 0.5 = 0 z21.5z+0.5=0
    ( z − 1 ) ( z − 0.5 ) = 0 ⇒ z 2 = 1 , z 3 = 0.5 (z-1)(z-0.5) = 0 \Rightarrow z_2 = 1, z_3 = 0.5 (z1)(z0.5)=0z2=1,z3=0.5
    在 Z 平面上:
  • 零点在 z = − 1 z=-1 z=1 处。
  • 极点在 z = 0.5 z=0.5 z=0.5 z = 1 z=1 z=1 处。
    (绘制Z平面,画出单位圆,在 z = − 1 z=-1 z=1 处画 O,在 z = 0.5 z=0.5 z=0.5 z = 1 z=1 z=1 处画 X。)

b) 如果系统是因果的,判断它是否稳定:
对于因果LTI系统,其ROC是最外层极点之外的区域。本系统的极点在 z = 0.5 z=0.5 z=0.5 z = 1 z=1 z=1,因此因果系统的ROC是 ∣ z ∣ > 1 |z|>1 z>1
稳定性要求ROC包含单位圆。 由于ROC ∣ z ∣ > 1 |z|>1 z>1 不包含单位圆(因为 z = 1 z=1 z=1 在ROC的边界上,而不是内部),所以系统不稳定

c) 如果系统是稳定的,判断它是否因果:
稳定性要求ROC包含单位圆。 极点在 z = 0.5 z=0.5 z=0.5 z = 1 z=1 z=1
为了使ROC包含单位圆,ROC 必须是 0.5 < ∣ z ∣ < 1 0.5 < |z| < 1 0.5<z<1 0.5 < ∣ z ∣ < ∞ 0.5 < |z| < \infty 0.5<z< (不包含 z = 1 z=1 z=1 的情况,需要考虑极点性质)。
由于 z = 1 z=1 z=1 处有一个极点,如果ROC包含单位圆,那么单位圆必须在极点 z = 1 z=1 z=1 的左边,且在极点 z = 0.5 z=0.5 z=0.5 的右边。
唯一的可能ROC是 0.5 < ∣ z ∣ < 1 0.5 < |z| < 1 0.5<z<1
如果ROC是 0.5 < ∣ z ∣ < 1 0.5 < |z| < 1 0.5<z<1,这是一个环形区域,表示序列是双边序列。
因此,如果系统是稳定的,它将不是因果的 (因为因果系统的ROC必须是圆外区域)。


网站公告

今日签到

点亮在社区的每一天
去签到