Z-dönüşümü

Z dönüşümü, matematikte ve işaret işlemede bir dönüşüm. Zaman tanım kümesinde gerçel ve sanal bileşenleri olan herhangi bir ayrık işareti, frekans tanım kümesindeki biçimine dönüştürür.

Tanım

Dönüşüm şu şekildedir:

X(z) = \mathcal{Z}\{x[n]\} = \sum_{n=-\infty}^{\infty} x[n] z^{-n}

Yukarıdaki bağıntıda, n'ler tamsayı ve küçük z'ler karmaşık sayıdır.

 z = A e^{j\varphi}  =  A ( \cos{\varphi} + j\sin{\varphi} )

Bu ikinci bağıntıya göre ise A, z'nin genliği, φ de fazı ya da argümanı olarak tanımlanır. Faz, radyan'la ölçülür.

Fourier dönüşümü ile ilişkisi

Ayrık zamanlı Fourier dönüşümü (DTFT)'in genelleştirilmesi olan z-dönüşümünün Fourier dönüşümü ile yakından ilgisi vardır. z=e^{j\omega}\ gibi düşünülürse (DTFT) elde edilmektedir. Bunun sebebi şöyle açıklanmaktadır: z bir kompleks sayıdır ve kutupsal formda  A e^{j\varphi} olarak gösterilmektedir. Eğer A = 1 ise z dönüşümü Fourier dönüşümü olmaktadır ama yarıçap 1'den farklı ise o zaman z dönüşümü olarak kalmaktadır.[1]

ROC, z Dönüşümünün en önemli kavramıdır. ROC (region of convergence-yakınsama bölgesi) bir sinyalin z-dönüşümünün sonsuz olmayan bir sayıya yakınsadığı değerlerinin z-düzlemi üzerinde gösterildiği alandır. ROC sistem hakkında birçok bilgi almamızı sağlar. Çizimi ise aşağıdaki özelliklere bakılarak yapılır.

ROC bir halka ya da bir disktir ve merkezi orjindedir. H(z)'de z yerine z=e^{j\omega}\ koyulunca Fourier dönüşümüne yakınsayabilmesi için ROC'un birim çemberi içermesi gerekir. Bu aynı zamanda sistemin kararlılık kriteridir. ROC kutup içeremez.

x[n] sınırlı dizi ise ROC bütün z-düzlemidir. Belki 0'ı ya da sonsuzu içermeyebilir.

Nedensel sistemlerde, x[n] sağa yaslıdır ve ROC en dıştaki kutbun dışına doğru olur. Nedensel olmayan sistemlerde, x[n] sola yaslı ve ROC en içteki kutbun içine doğru olur. x[n] hem nedensel hem de anti-nedensel terimler içeriyorsa, ROC en dıştaki kutuptan içeri en içteki kutuptan dışarı doğru olan bir halkadır.

Sistemin hem nedensel hem de kararlı olması durumunda, bütün kutuplar birim çemberin içinde olmalıdır. Çünkü eğer bir kutup bile birim çemberin dışında olsa, nedensel sistem özelliğinden dolayı ROC en sağdaki kutbun dışına doğru olur ve birim çemberi içeremez, bu durumda sistemin kararlılık kriteri de karşılanamaz.

ROC bağlantılı olmak zorundadır.

Bazı Z-dönüşümü çiftleri

Aşağıdaki tabloda bazı sistemlerin z dönüşümleri verilmiştir.

Dirac delta fonksiyonu ve Heaviside birim basamak fonksiyonu aşağıdaki gibi tanımlanır:

Sinyal, x[n] Z-dönüşümü, X(z) ROC
1 \delta[n] \, 1\,  \mbox{all }z\,
2 \delta[n-n_0] \,  z^{-n_0} \,  z \neq 0\,
3 u[n] \,  \frac{1}{1-z^{-1} } |z| > 1\,
4 \, e^{-\alpha n} u[n]    1 \over 1-e^{-\alpha  }z^{-1}   |z| >  |e^{-\alpha}| \,
5  - u[-n-1] \,  \frac{1}{1 - z^{-1}} |z| < 1\,
6  n u[n] \,  \frac{z^{-1}}{( 1-z^{-1} )^2} |z| > 1\,
7  - n u[-n-1] \,  \frac{z^{-1} }{ (1 - z^{-1})^2 }  |z| < 1 \,
8 n^2 u[n] \,   \frac{ z^{-1} (1 + z^{-1} )}{(1 - z^{-1})^3} |z| > 1\,
9  - n^2 u[-n - 1] \,   \frac{ z^{-1} (1 + z^{-1} )}{(1 - z^{-1})^3} |z| < 1\,
10 n^3 u[n] \,  \frac{z^{-1} (1 + 4 z^{-1} + z^{-2} )}{(1-z^{-1})^4} |z| > 1\,
11 - n^3 u[-n -1] \,  \frac{z^{-1} (1 + 4 z^{-1} + z^{-2} )}{(1-z^{-1})^4} |z| < 1\,
12 a^n u[n] \,  \frac{1}{1-a z^{-1}}  |z| > |a|\,
13 -a^n u[-n-1] \,  \frac{1}{1-a z^{-1}} |z| < |a|\,
14 n a^n u[n] \,  \frac{az^{-1} }{ (1-a z^{-1})^2 } |z| > |a|\,
15 -n a^n u[-n-1] \,  \frac{az^{-1} }{ (1-a z^{-1})^2 }  |z| < |a|\,
16 n^2 a^n u[n] \,  \frac{a z^{-1} (1 + a z^{-1}) }{(1-a z^{-1})^3} |z| > |a|\,
17 - n^2 a^n u[-n -1] \,  \frac{a z^{-1} (1 + a z^{-1}) }{(1-a z^{-1})^3} |z| < |a|\,
18 \cos(\omega_0 n) u[n] \,  \frac{ 1-z^{-1} \cos(\omega_0) }{ 1-2z^{-1}\cos(\omega_0)+ z^{-2} }  |z| >1\,
19 \sin(\omega_0 n) u[n] \,  \frac{ z^{-1} \sin(\omega_0) }{ 1-2z^{-1}\cos(\omega_0)+ z^{-2} }  |z| >1\,
20 a^n \cos(\omega_0 n) u[n] \,  \frac{ 1-a z^{-1} \cos( \omega_0) }{ 1-2az^{-1}\cos(\omega_0)+ a^2 z^{-2} }  |z| > |a|\,
21 a^n \sin(\omega_0 n) u[n] \,  \frac{ az^{-1} \sin(\omega_0) }{ 1-2az^{-1}\cos(\omega_0)+ a^2 z^{-2} }  |z| > |a|\,

Özellikler

Z-dönüşümünün özellikleri
zaman bölgesi Z- bölgesi İspat ROC
Notasyon x[n]=\mathcal{Z}^{-1}\{X(z)\} X(z)=\mathcal{Z}\{x[n]\} ROC: r_2<|z|<r_1 \
Doğrusallık a_1 x_1[n] + a_2 x_2[n]\ a_1 X_1(z) + a_2 X_2(z) \ \begin{array} {lcl} X(z) &=& \sum_{n=-\infty}^{\infty} (a_1x_1(n)+a_2x_2(n))z^{-n}\ \\ & = &
                      a_1\sum_{n=-\infty}^{\infty} (x_1(n))z^{-n} + a_2\sum_{n=-\infty}^{\infty}(x_2(n))z^{-n}\ \\ & = &
                      a_1X_1(z) + a_2X_2(z)\end{array} En azından ROC1 ve ROC2 bölgelerinin kesişimi
Zamanda genişleme x_{(k)}[n] = \begin{cases} x[r], & n = rk \\ 0, & n \not= rk \end{cases}

r: tamsayı

X(z^k) \ R^{1/k}
Zamanda kayma x[n-k]\ z^{-k}X(z) \  \begin{array} {lcl} Z\{x[n-k]\} &=& \sum_{n=0}^{\infty} x[n-k]z^{-n} \text{ , let }j = n - k\\
&=& \sum_{j=-k}^{\infty} x[j]z^{-(j+k)}\\
&=& \sum_{j=-k}^{\infty} x[j]z^{-j}z^{-k}\\
&=& z^{-k}\sum_{j=-k}^{\infty}x[j]z^{-j}\\
&=& z^{-k}\sum_{j=0}^{\infty}x[j]z^{-j} \text{ , since }x[\beta]=0 \text{ if }\beta<0\\
&=& z^{-k}X(z)\\
\end{array} ROC, eğer k>0\, ise dışında z=0\ ve eğer k<0\ ise z=\infty dışında
Scaling in the z-domain a^n x[n]\ X(a^{-1}z) \ \begin{array} {lcl} Z \{a^n x[n]\} &=& \sum_{n=-\infty}^{\infty} a^{n}x(n)z^{-n} \\ & = &
\sum_{n=-\infty}^{\infty} x(n)(a^{-1}z)^{-n} \\ & = &
X(a^{-1}z)
\end{array} |a|r_2<|z|<|a|r_1 \
Time reversal x[-n]\ X(z^{-1}) \ \begin{array} {lcl} \mathcal{Z}\{x(-n)\} &=& \sum_{n=-\infty}^{\infty} x(-n)z^{-n}\ \\ & = &
                      \sum_{m=-\infty}^{\infty} x(m)z^{m}\ \\ & = &
                      \sum_{m=-\infty}^{\infty} x(m){(z^{-1})}^{-m}\ \\ & = &
                      X(z^{-1}) \end{array} \frac{1}{r_1}<|z|<\frac{1}{r_2} \
Karmaşık eşlenik x^*[n]\ X^*(z^*) \ \begin{array} {lcl}Z\{x^*(n)\} & = & \sum_{n=-\infty}^{\infty} x^*(n)z^{-n}\ \\ & = &
                                                   \sum_{n=-\infty}^{\infty} [x(n)(z^*)^{-n}]^*\ \\ & = &
                                                   [ \sum_{n=-\infty}^{\infty} x(n)(z^*)^{-n}\ ]^* \\ & = &
                                                   X^*(z^*)\end{array} ROC
Reel kısım \operatorname{Re}\{x[n]\}\ \frac{1}{2}\left[X(z)+X^*(z^*) \right] ROC
Imajiner kısım \operatorname{Im}\{x[n]\}\ \frac{1}{2j}\left[X(z)-X^*(z^*) \right] ROC
Türev nx[n]\  -z \frac{dX(z)}{dz} \begin{array} {lcl}Z\{nx(n)\} & = &   \sum_{n=-\infty}^{\infty} nx(n)z^{-n}\  \\ & = &
                                                    z  \sum_{n=-\infty}^{\infty} nx(n)z^{-n-1}\ \\ & = &
                                                   -z  \sum_{n=-\infty}^{\infty} x(n)(-nz^{-n-1})\ \\ & = &
                                                   -z  \sum_{n=-\infty}^{\infty} x(n)\frac{d}{dz}(z^{-n})\ \\ & = &
                                                   -z \frac{dX(z)}{dz}\end{array} ROC
Convolution x_1[n] * x_2[n]\ X_1(z)X_2(z) \ \begin{array} {lcl}\mathcal{Z}\{x_1(n)*x_2(n)\} & = &
                                   \mathcal{Z} \{\sum_{l=-\infty}^{\infty} x_1(l)x_2(n-l)\}\ \\ & = &
                                   \sum_{n=-\infty}^{\infty} [\sum_{l=-\infty}^{\infty} x_1(l)x_2(n-l)]z^{-n}\ \\ & = &
                                   \sum_{l=-\infty}^{\infty} x_1(l) \sum_{n=-\infty}^{\infty} x_2(n-l)z^{-n} ]\ \\ & = &
                                   [\sum_{l=-\infty}^{\infty} x_1(l)z^{-l}] [\sum_{n=-\infty}^{\infty} x_2(n)z^{-n} ]\ \\ & = &
                                   X_1(z)X_2(z)\end{array} en azından ROC1 ve ROC2 keşisim kümesi
Correlation r_{x_1,x_2}(l)=x_1[l] * x_2[-l]\ R_{x_1,x_2}(z)=X_1(z)X_2(z^{-1})\ en azından X1(z)'e ait ROC ve X2(z^{-1})'e ait ROC'un keşisimi.
First Difference x[n] - x[n-1] \  (1-z^{-1})X(z) \ En azından X1(z) ve |z|>0 keşisimi
Accumulation \sum_{k=-\infty}^{n} x[k]\  \frac{1}{1-z^{-1} }X(z) \begin{array} {lcl}\sum_{n=-\infty}^{\infty}\sum_{k=-\infty}^{n} x[k]\cdot z^{-n}\\
        =\sum_{n=-\infty}^{\infty}(x[n]+x[n-1]+x[n-2]\cdots x[-\infty])z^{-n}\\
        =X[z](1+z^{-1}+z^{-2}+z^{-3}\cdots )\\
        =X[z]\sum_{j=0}^{\infty}z^{-j}   \\
        =X[z] \frac{1}{1-z^{-1}}\end{array}
Çarpma x_1[n]x_2[n]\ \frac{1}{j2\pi}\oint_C X_1(v)X_2(\frac{z}{v})v^{-1}\mathrm{d}v \ -
Parseval teoremi \sum_{n=-\infty}^{\infty} x_1[n]x^*_2[n]\ \frac{1}{j2\pi}\oint_C X_1(v)X^*_2(\frac{1}{v^*})v^{-1}\mathrm{d}v \
x[0]=\lim_{z\rightarrow \infty}X(z) \ , Eğer x[n]\, nedensel ise.
x[\infty]=\lim_{z\rightarrow 1}(z-1)X(z) \ , Sadece kutuplar (z-1)X(z) \ birim çemberin içindeyse.

Kaynakça

This article is issued from Vikipedi - version of the 7/17/2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.