线性

z变换的线性性质

$ax_1[n]+bx_2[n] stackrel{mathcal{Z}}{longleftrightarrow} aX_1(z)+bX_2(z),quad ROC contains R_{x_1}cap R_{x_2}$

证明：

$egin{align*}sum_{n=-infty}^{infty}(ax_1[n]+bx_2[n])z^{-n}
&=sum_{n=-infty}^{infty}ax_1[n]z^{-n}+sum_{n=-infty}^{infty}ax_2[n]z^{-n}\
&=aX_1(z)+bX_2(z)
end{align*}$

$X_1(z)$以及$X_2(z)$的收敛域分别为$R_{x_1}$以及$R_{x_2}$，不过他们两个组合后可能会使得某些极点被消除，即线性组合后的z变换的收敛域与相交收敛域相比，可能会多出这些可能被消除的极点，所以这里用“包含（contains）”。

时移

z变换的时移性质

$x[n-n_0]stackrel{mathcal{Z}}{longleftrightarrow} z^{-n_0}X(z),quad ROC=R_x$

证明：

$egin{align*}sum_{n=-infty}^{infty}x[n-n_0]z^{-n}
&=sum_{m=-infty}^{infty}x[m]z^{-(m+n_0)}quad letting m=n-n_0\
&=sum_{m=-infty}^{infty}x[m]z^{-m}z^{-n_0}\
&=z^{-n_0}X(z)
end{align*}$

指数相乘

指数相乘性质

$z_0^nx[n]stackrel{mathcal{Z}}{longleftrightarrow}Xleft(frac{z}{z_0} ight),quad ROC=|z_0|R_x $

证明：

$egin{align*}sum_{n=-infty}^{infty}z_0^nx[n]z^{-n}
&=sum_{n=-infty}^{infty}x[n]left(frac{z}{z_0} ight)^{-n}\
&=Xleft(frac{z}{z_0} ight)
end{align*}$

微分

微分性质

$nx[n] stackrel{mathcal{Z}}{longleftrightarrow} –zfrac{dX(z)}{dz},quad ROC=R_x$

证明：

$egin{align*}sum_{n=-infty}^{infty}nx[n]z^{-n}
&=sum_{n=-infty}^{infty}nx[n]z^{-n}\
&=-zsum_{n=-infty}^{infty}(-n)x[n]z^{-n-1}\
&=-zsum_{n=-infty}^{infty}frac{dleft(x[n]z^{-n} ight)}{dz}\
&=-zfrac{dleft(displaystyle{sum_{n=-infty}^{infty}x[n]z^{-n}} ight)}{dz}\
&=-zfrac{dX(z)}{dz}
end{align*}$

共轭

共轭性质

$x^*[n] stackrel{mathcal{Z}}{longleftrightarrow} X^{*}(z^*),quad ROC=R_x$

证明：

$egin{align*}
sum_{n=-infty}^{infty}x^*[n]z^{-n}
&=sum_{n=-infty}^{infty}(|x[n]|cosangle x[n]-i|x[n]|sinangle x[n])[|z^{-n}|cosangle (z^{-n})+i|z^{-n}|sinangle(z^{-n})]\
&=sum_{n=-infty}^{infty}|x[n]|(cos phi - isinphi)|z^{-n}|[cos(-n heta)+isin(-n heta)] quad letting phi=angle x[n], heta=angle (z)\
&=sum_{n=-infty}^{infty}|x[n]z^{-n}|{(cosphi cos(-n heta)+sinphi sin(-n heta)]+i[cosphi sin(-n heta)-sinphi cos(-n heta)]}\
&=sum_{n=-infty}^{infty}|x[n]z^{-n}|[cos(phi+n heta)+isin(-n heta-phi)]\
&=sum_{n=-infty}^{infty}|x[n]z^{-n}|[cos(phi+n heta)-isin(n heta+phi)]\
end{align*}$

又已知

$displaystyle{sum_{n=-infty}^{infty}x[n]z^{-n}=sum_{n=-infty}^{infty}|x[n]z^{-n}|[cos(phi-n heta)+isin(phi-n heta)]}$

对比两个式子的结果，得证。

时间倒置

时间倒置性质

$x[-n]stackrel{mathcal{Z}}{longleftrightarrow}Xleft( frac{1}{z} ight),quad ROC=frac{1}{R_x}$

证明：

$egin{align*}
sum_{n=-infty}^{infty}x[-n]z^{-n}
&=sum_{m=-infty}^{infty}x[m]z^{m}quad letting m=-n\
&=sum_{m=-infty}^{infty}x[m]left( frac{1}{z} ight )^m\
&=Xleft(frac{1}{z} ight )
end{align*}$

卷积

卷积性质

$x_1[n]*x_2[n] stackrel{mathcal{Z}}{longleftrightarrow}X_1(z)X_2(z),quad ROC contains R_{x_1}cap R_{x_2}$

证明：

$egin{align*}
sum_{n=-infty}^{infty}(x_1[n]*x_2[n])z^{-n}
&= sum_{n=-infty}^{infty}left(sum_{k=-infty}^{infty}x_1[k]x_2[n-k] ight)z^{-n}\
&= sum_{k=-infty}^{infty}x_1[k]left(sum_{n=-infty}^{infty}x_2[n-k]z^{-n} ight )\
&= sum_{k=-infty}^{infty}x_1[k]left(sum_{m=-infty}^{infty}x_2[m]z^{-m-k} ight )quad letting m=n-k \
&= left(sum_{k=-infty}^{infty}x_1[k]z^{-k} ight )left(sum_{m=-infty}^{infty}x_2[m]z^{-m} ight )\
&= X_1(z)X_2(z)
end{align*}$