Namespaces
Variants
Actions

Difference between revisions of "Z-transform"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (→‎Example.: TeXed the first equation which was urgently needed, as there was a missing parenthesis before "20 x ( n + 1 + 24 x ..." after "20 x ( n + 1 ) + 24 x ...")
m (latex details)
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct and if all png images have been replaced by TeX code, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 76 formulas, 72 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|part}}
 +
{{MSC|05A15}}
 +
 
''Z-transformation''
 
''Z-transformation''
  
This transform method may be traced back to A. De Moivre [[#References|[a5]]] around the year 1730 when he introduced the concept of  "generating functions"  in [[Probability theory|probability theory]]. Closely related to generating functions is the Z-transform, which may be considered as the discrete analogue of the [[Laplace transform|Laplace transform]]. The Z-transform is widely used in the analysis and design of digital control, and signal processing [[#References|[a4]]], [[#References|[a2]]], [[#References|[a3]]], [[#References|[a6]]].
+
This transform method may be traced back to A. De Moivre [[#References|[a5]]] around the year 1730 when he introduced the concept of  "[[generating function]]s"  in [[probability theory]]. Closely related to generating functions is the Z-transform, which may be considered as the discrete analogue of the [[Laplace transform|Laplace transform]]. The Z-transform is widely used in the analysis and design of digital control, and signal processing [[#References|[a4]]], [[#References|[a2]]], [[#References|[a3]]], [[#References|[a6]]].
  
The Z-transform of a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z1300101.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z1300102.png" />, that is identically zero for negative integers, is defined as
+
The Z-transform of a sequence $x ( n )$, $n \in \mathbf{Z}$, that is identically zero for negative integers, is defined as
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z1300103.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
\begin{equation} \tag{a1} \tilde{x} ( z ) = Z ( x ( n ) ) = \sum _ { j = 0 } ^ { \infty } x ( j ) z ^ { - j }, \end{equation}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z1300104.png" /> is a complex number.
+
where $z$ is a complex number.
  
By the root test, the series (a1) converges if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z1300105.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z1300106.png" />. The number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z1300107.png" /> is called the radius of convergence of the series (a1).
+
By the root test, the series (a1) converges if $| z | > R$, where $R = \operatorname { limsup } _ { n \rightarrow \infty } | x ( n ) | ^ { 1 / n }$. The number $R$ is called the radius of convergence of the series (a1).
  
 
===Example 1.===
 
===Example 1.===
The Z-transform of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z1300108.png" /> is given by
+
The Z-transform of $\{ a ^ { n } \}$ is given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z1300109.png" /></td> </tr></table>
+
\begin{equation*} Z ( a ^ { n } ) = \sum _ { j = 0 } ^ { \infty } a ^ { j } z ^ { - j } = \frac { z } { z - a } \text { for } | z | > 1. \end{equation*}
  
 
===Example 2.===
 
===Example 2.===
 
The Z-transform of the Kronecker-delta sequence
 
The Z-transform of the Kronecker-delta sequence
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001010.png" /></td> </tr></table>
+
\begin{equation*} \delta _ { k } ( n ) = \left\{ \begin{array} { l l } { 1 } &amp; { \text { if } n = k } \\ { 0 } &amp; { \text { if } n \neq k, } \end{array} \right. \end{equation*}
  
 
is given by
 
is given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001011.png" /></td> </tr></table>
+
\begin{equation*} Z ( \delta _ { k } ( n ) ) = \sum _ { j = 0 } ^ { \infty } \delta _ { k } ( j ) z ^ { - j } = z ^ { - k } \text{ for all }z. \end{equation*}
  
 
==Properties of the Z-transform.==
 
==Properties of the Z-transform.==
  
  
i) Linearity: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001013.png" /> be the radii of convergence of the sequences <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001015.png" />. Then for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001016.png" />,
+
i) Linearity: Let $R _ { 1 }$ and $R _ { 2 }$ be the radii of convergence of the sequences $x ( n )$ and $y( n )$. Then for any $\alpha , \beta \in \bf{C}$,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001017.png" /></td> </tr></table>
+
\begin{equation*} Z ( \alpha x ( n ) + \beta y ( n ) ) = \alpha Z ( x ( n ) ) + \beta Z ( y ( n ) ), \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001018.png" /></td> </tr></table>
+
\begin{equation*} \text{for} \, | z | > \operatorname { max } \{ R _ { 1 } , R _ { 2 } \}. \end{equation*}
  
ii) Shifting: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001019.png" /> be the radius of convergence of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001020.png" />. Then, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001021.png" />,
+
ii) Shifting: Let $R$ be the radius of convergence of $Z ( x ( n ) )$. Then, for $k \in \mathbf Z ^ { + }$,
  
a) Right-shifting: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001022.png" />, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001023.png" />;
+
a) Right-shifting: $Z [ x ( n - k ) ] = z ^ { - k } Z ( x ( n ) )$, for $| z | > R$;
  
b) Left-shifting: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001024.png" />, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001025.png" />.
+
b) Left-shifting: $Z ( x ( n + k ) ) = z ^ { k } Z ( x ( n ) ) - \sum _ { r = 0 } ^ { k - 1 } x ( r ) z ^ { k - r }$, for $| z | > R$.
  
 
iii) Initial and final value.
 
iii) Initial and final value.
  
a) Initial value theorem: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001026.png" />;
+
a) Initial value theorem: $\operatorname { lim } _ { |z | \rightarrow \infty } \tilde { x } ( z ) = x ( 0 )$;
  
b) Final value theorem: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001027.png" />.
+
b) Final value theorem: $x ( \infty ) = \operatorname { lim } _ { n \rightarrow \infty } x ( n ) = \operatorname { lim } _ { z \rightarrow 1 } ( z - 1 ) Z ( x ( n ) )$.
  
iv) Convolution: The convolution of two sequences <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001028.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001029.png" /> is defined by
+
iv) Convolution: The convolution of two sequences $x ( n )$ and $y( n )$ is defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001030.png" /></td> </tr></table>
+
\begin{equation*} x ( n ) ^ { * } y ( n ) = \sum _ { j = 0 } ^ { n } x ( n - j ) y ( j ) = \sum _ { j = 0 } ^ { n } x ( n ) y ( n - j ) \end{equation*}
  
 
and its Z-transform is given by
 
and its Z-transform is given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001031.png" /></td> </tr></table>
+
\begin{equation*} Z ( x ( n ) ^ { * } y ( n ) ) = Z ( x ( n ) ) .Z ( y ( n ) ). \end{equation*}
  
 
==Inverse Z-transform.==
 
==Inverse Z-transform.==
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001032.png" />, then the inverse Z-transform is defined as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001033.png" />. Notice that by Laurent's theorem [[#References|[a1]]] (cf. also [[Laurent series|Laurent series]]), the inverse Z-transform is unique [[#References|[a2]]]. Consider a circle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001034.png" /> centred at the origin of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001035.png" />-plane and enclosing all the poles of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001036.png" />. Then, by the [[Cauchy integral theorem|Cauchy integral theorem]] [[#References|[a1]]], the inversion formula is given by
+
If $\tilde{x} ( z ) = Z ( x ( n ) )$, then the inverse Z-transform is defined as $Z ^ { - 1 } ( \tilde{x} ( z ) ) = x ( n )$. Notice that by Laurent's theorem [[#References|[a1]]] (cf. also [[Laurent series|Laurent series]]), the inverse Z-transform is unique [[#References|[a2]]]. Consider a circle $c$ centred at the origin of the $z$-plane and enclosing all the poles of $z ^ { n - 1 } \tilde{x}(z)$. Then, by the [[Cauchy integral theorem|Cauchy integral theorem]] [[#References|[a1]]], the inversion formula is given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001037.png" /></td> </tr></table>
+
\begin{equation*} x ( n ) = \frac { 1 } { 2 \pi i } \oint _ { c } \widetilde{x} ( z ) z ^ { n - 1 } d z \end{equation*}
  
and by the residue theorem (cf. also [[Residue of an analytic function|Residue of an analytic function]]) [[#References|[a1]]], <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001038.png" />.
+
and by the residue theorem (cf. also [[Residue of an analytic function|Residue of an analytic function]]) [[#References|[a1]]], $x ( n ) = \sum ( \text { residues of } z ^ { n - 1 } \tilde{x}(z) )$.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001039.png" /> in its reduced form, then the poles of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001040.png" /> are the zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001041.png" />.
+
If $\tilde{x} ( z ) z ^ { n - 1 } = h ( z ) / g ( z )$ in its reduced form, then the poles of $\tilde{x} ( z ) z ^ { n - 1 }$ are the zeros of $g ( z )$.
  
a) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001042.png" /> has simple zeros, then the residue <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001043.png" /> corresponding to the zero <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001044.png" /> is given by
+
a) If $g ( z )$ has simple zeros, then the residue $K_i$ corresponding to the zero $z_i$ is given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001045.png" /></td> </tr></table>
+
\begin{equation*} K _ { i } = \operatorname { lim } _ { z \rightarrow z _ { i } } \left[ ( z - z _ { i } ) \frac { h ( z ) } { g ( z ) } \right]. \end{equation*}
  
b) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001046.png" /> has multiple zeros, then the residue <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001047.png" /> at the zero <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001048.png" /> with multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001049.png" /> is given by
+
b) If $g ( z )$ has multiple zeros, then the residue $K_i$ at the zero $z_i$ with multiplicity $r$ is given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001050.png" /></td> </tr></table>
+
\begin{equation*} K _ { i } = \frac { 1 } { ( r - 1 ) ! } \operatorname { lim } _ { z \rightarrow z _ { i } } \frac { d ^ { n } } { d z ^ { r- 1 } } \left[ ( z - z _ { i } ) ^ { r } \frac { h ( z ) } { g ( z ) } \right] . \end{equation*}
  
 
The most practical method of finding the inverse Z-transform is the use of partial-fractions techniques as illustrated by the following example.
 
The most practical method of finding the inverse Z-transform is the use of partial-fractions techniques as illustrated by the following example.
Line 82: Line 92:
 
\end{equation}
 
\end{equation}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001052.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001053.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001054.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001055.png" />.
+
where $x ( 0 ) = 0$, $x ( 1 ) = 0$, $x ( 2 ) = 1$, $x ( 3 ) = 10$.
  
 
Taking the Z-transform yields
 
Taking the Z-transform yields
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001056.png" /></td> </tr></table>
+
\begin{equation*} Z ( x ( n ) ) = \frac { z ( z - 1 ) } { ( z + 2 ) ^ { 3 } ( z + 3 ) } = \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001057.png" /></td> </tr></table>
+
\begin{equation*} = \frac { - 4 z } { z + 2 } + \frac { 4 z } { ( z + 2 ) ^ { 2 } } - \frac { 3 z } { ( z + 2 ) ^ { 3 } } + \frac { 4 z } { z + 3 }. \end{equation*}
  
 
Taking the inverse Z-transform of both sides yields
 
Taking the inverse Z-transform of both sides yields
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001058.png" /></td> </tr></table>
+
\begin{equation*} x ( n ) = \left( \frac { 3 } { 4 } n ^ { 2 } - \frac { 11 } { 4 } n - 4 \right) ( - 2 ) ^ { n } + 4 ( - 3 ) ^ { n }. \end{equation*}
  
 
==Pairs of Z-transforms.==
 
==Pairs of Z-transforms.==
''''''<table border="0" cellpadding="0" cellspacing="0" style="background-color:black;"> <tr><td> <table border="0" cellspacing="1" cellpadding="4" style="background-color:black;"> <tbody> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001059.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001060.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001061.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001062.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001063.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001064.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001065.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001066.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001067.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001068.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001069.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001070.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001071.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001072.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001073.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001074.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001075.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001076.png" /></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/z/z130/z130010/z13001077.png" />.</td> </tr> </tbody> </table>
+
<table border="0" cellpadding="0" cellspacing="0" style="background-color:black;"> <tr><td> <table border="0" cellpadding="4" cellspacing="1" style="background-color:black;"> <tr> <td colname="1" colspan="1" style="background-color:white;">$x ( n )$</td> <td colname="2" colspan="1" style="background-color:white;">$Z ( x ( n ) )$</td> </tr> <tr> <td colname="1" colspan="1" style="background-color:white;"></td> <td colname="2" colspan="1" style="background-color:white;"></td> </tr> <tr> <td colname="1" colspan="1" style="background-color:white;">$a ^ { n }$</td> <td colname="2" colspan="1" style="background-color:white;">$z/ z - a$</td> </tr> <tr> <td colname="1" colspan="1" style="background-color:white;">$n ^ { k }$</td> <td colname="2" colspan="1" style="background-color:white;">$k ! z \,/ ( z - 1 ) ^ { k + 1 }$</td> </tr> <tr> <td colname="1" colspan="1" style="background-color:white;">$n ^ { k } a ^ { n }$</td> <td colname="2" colspan="1" style="background-color:white;">$( - 1 ) ^ { k } D ^ { k } ( z / ( z - 1 )$; $D = z d / d z$</td> </tr> <tr> <td colname="1" colspan="1" style="background-color:white;">$\operatorname{sin} n w$</td> <td colname="2" colspan="1" style="background-color:white;">$z\operatorname {sin} w/( z ^ { 2 } - 2 z \operatorname { cos } w + 1 )$</td> </tr> <tr> <td colname="1" colspan="1" style="background-color:white;">$\operatorname{cos} n w$</td> <td colname="2" colspan="1" style="background-color:white;">$z ( z - \operatorname { cos } w ) / ( z ^ { 2 } - 2 z \operatorname { cos } w + 1 )$</td> </tr> <tr> <td colname="1" colspan="1" style="background-color:white;">$\delta _ { k } ( n )$</td> <td colname="2" colspan="1" style="background-color:white;">$z ^ { - k }$</td> </tr> <tr> <td colname="1" colspan="1" style="background-color:white;">$\operatorname{sinh} n w$</td> <td colname="2" colspan="1" style="background-color:white;">$z \operatorname{sinh} w/ ( z ^ { 2 } - 2 z \operatorname { cosh } w + 1 )$</td> </tr> <tr> <td colname="1" colspan="1" style="background-color:white;">$\operatorname{cosh} n w$</td> <td colname="2" colspan="1" style="background-color:white;">$z ( z - \operatorname { cosh } w ) / ( z ^ { 2 } - 2 z \operatorname { cosh } w + 1 )$.</td> </tr> </table>
  
 
</td></tr> </table>
 
</td></tr> </table>
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R.V. Churchill,   J.W. Brown,   "Complex variables and applications" , McGraw-Hill  (1990)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> S. Elaydi,   "An introduction to difference equations" , Springer  (1999)  (Edition: Second)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> A.J. Jerri,   "Linear difference equations with discrete transform methods" , Kluwer Acad. Publ.  (1996)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> E. Jury,   "Theory and application of the z-transform method" , Robert E. Krieger  (1964)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> A. De Moivre,   "Miscellanew, Analytica de Seriebus et Quatratoris" , London  (1730)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> A.D. Poularikas,   "The transforms and applications" , CRC  (1996)</TD></TR></table>
+
<table>
 +
<tr><td valign="top">[a1]</td> <td valign="top"> R.V. Churchill, J.W. Brown, "Complex variables and applications" , McGraw-Hill  (1990)</td></tr>
 +
<tr><td valign="top">[a2]</td> <td valign="top"> S. Elaydi, "An introduction to difference equations" , Springer  (1999)  (Edition: Second)</td></tr>
 +
<tr><td valign="top">[a3]</td> <td valign="top"> A.J. Jerri, "Linear difference equations with discrete transform methods" , Kluwer Acad. Publ.  (1996)</td></tr>
 +
<tr><td valign="top">[a4]</td> <td valign="top"> E. Jury, "Theory and application of the z-transform method" , Robert E. Krieger  (1964)</td></tr>
 +
<tr><td valign="top">[a5]</td> <td valign="top"> A. De Moivre, "Miscellanew, Analytica de Seriebus et Quatratoris" , London  (1730)</td></tr>
 +
<tr><td valign="top">[a6]</td> <td valign="top"> A.D. Poularikas, "The transforms and applications" , CRC  (1996)</td></tr>
 +
</table>

Latest revision as of 19:32, 2 February 2024

2020 Mathematics Subject Classification: Primary: 05A15 [MSN][ZBL]

Z-transformation

This transform method may be traced back to A. De Moivre [a5] around the year 1730 when he introduced the concept of "generating functions" in probability theory. Closely related to generating functions is the Z-transform, which may be considered as the discrete analogue of the Laplace transform. The Z-transform is widely used in the analysis and design of digital control, and signal processing [a4], [a2], [a3], [a6].

The Z-transform of a sequence $x ( n )$, $n \in \mathbf{Z}$, that is identically zero for negative integers, is defined as

\begin{equation} \tag{a1} \tilde{x} ( z ) = Z ( x ( n ) ) = \sum _ { j = 0 } ^ { \infty } x ( j ) z ^ { - j }, \end{equation}

where $z$ is a complex number.

By the root test, the series (a1) converges if $| z | > R$, where $R = \operatorname { limsup } _ { n \rightarrow \infty } | x ( n ) | ^ { 1 / n }$. The number $R$ is called the radius of convergence of the series (a1).

Example 1.

The Z-transform of $\{ a ^ { n } \}$ is given by

\begin{equation*} Z ( a ^ { n } ) = \sum _ { j = 0 } ^ { \infty } a ^ { j } z ^ { - j } = \frac { z } { z - a } \text { for } | z | > 1. \end{equation*}

Example 2.

The Z-transform of the Kronecker-delta sequence

\begin{equation*} \delta _ { k } ( n ) = \left\{ \begin{array} { l l } { 1 } & { \text { if } n = k } \\ { 0 } & { \text { if } n \neq k, } \end{array} \right. \end{equation*}

is given by

\begin{equation*} Z ( \delta _ { k } ( n ) ) = \sum _ { j = 0 } ^ { \infty } \delta _ { k } ( j ) z ^ { - j } = z ^ { - k } \text{ for all }z. \end{equation*}

Properties of the Z-transform.

i) Linearity: Let $R _ { 1 }$ and $R _ { 2 }$ be the radii of convergence of the sequences $x ( n )$ and $y( n )$. Then for any $\alpha , \beta \in \bf{C}$,

\begin{equation*} Z ( \alpha x ( n ) + \beta y ( n ) ) = \alpha Z ( x ( n ) ) + \beta Z ( y ( n ) ), \end{equation*}

\begin{equation*} \text{for} \, | z | > \operatorname { max } \{ R _ { 1 } , R _ { 2 } \}. \end{equation*}

ii) Shifting: Let $R$ be the radius of convergence of $Z ( x ( n ) )$. Then, for $k \in \mathbf Z ^ { + }$,

a) Right-shifting: $Z [ x ( n - k ) ] = z ^ { - k } Z ( x ( n ) )$, for $| z | > R$;

b) Left-shifting: $Z ( x ( n + k ) ) = z ^ { k } Z ( x ( n ) ) - \sum _ { r = 0 } ^ { k - 1 } x ( r ) z ^ { k - r }$, for $| z | > R$.

iii) Initial and final value.

a) Initial value theorem: $\operatorname { lim } _ { |z | \rightarrow \infty } \tilde { x } ( z ) = x ( 0 )$;

b) Final value theorem: $x ( \infty ) = \operatorname { lim } _ { n \rightarrow \infty } x ( n ) = \operatorname { lim } _ { z \rightarrow 1 } ( z - 1 ) Z ( x ( n ) )$.

iv) Convolution: The convolution of two sequences $x ( n )$ and $y( n )$ is defined by

\begin{equation*} x ( n ) ^ { * } y ( n ) = \sum _ { j = 0 } ^ { n } x ( n - j ) y ( j ) = \sum _ { j = 0 } ^ { n } x ( n ) y ( n - j ) \end{equation*}

and its Z-transform is given by

\begin{equation*} Z ( x ( n ) ^ { * } y ( n ) ) = Z ( x ( n ) ) .Z ( y ( n ) ). \end{equation*}

Inverse Z-transform.

If $\tilde{x} ( z ) = Z ( x ( n ) )$, then the inverse Z-transform is defined as $Z ^ { - 1 } ( \tilde{x} ( z ) ) = x ( n )$. Notice that by Laurent's theorem [a1] (cf. also Laurent series), the inverse Z-transform is unique [a2]. Consider a circle $c$ centred at the origin of the $z$-plane and enclosing all the poles of $z ^ { n - 1 } \tilde{x}(z)$. Then, by the Cauchy integral theorem [a1], the inversion formula is given by

\begin{equation*} x ( n ) = \frac { 1 } { 2 \pi i } \oint _ { c } \widetilde{x} ( z ) z ^ { n - 1 } d z \end{equation*}

and by the residue theorem (cf. also Residue of an analytic function) [a1], $x ( n ) = \sum ( \text { residues of } z ^ { n - 1 } \tilde{x}(z) )$.

If $\tilde{x} ( z ) z ^ { n - 1 } = h ( z ) / g ( z )$ in its reduced form, then the poles of $\tilde{x} ( z ) z ^ { n - 1 }$ are the zeros of $g ( z )$.

a) If $g ( z )$ has simple zeros, then the residue $K_i$ corresponding to the zero $z_i$ is given by

\begin{equation*} K _ { i } = \operatorname { lim } _ { z \rightarrow z _ { i } } \left[ ( z - z _ { i } ) \frac { h ( z ) } { g ( z ) } \right]. \end{equation*}

b) If $g ( z )$ has multiple zeros, then the residue $K_i$ at the zero $z_i$ with multiplicity $r$ is given by

\begin{equation*} K _ { i } = \frac { 1 } { ( r - 1 ) ! } \operatorname { lim } _ { z \rightarrow z _ { i } } \frac { d ^ { n } } { d z ^ { r- 1 } } \left[ ( z - z _ { i } ) ^ { r } \frac { h ( z ) } { g ( z ) } \right] . \end{equation*}

The most practical method of finding the inverse Z-transform is the use of partial-fractions techniques as illustrated by the following example.


Example.

See also [a2]. Suppose the problem is to solve the difference equation

\begin{equation} x \left( n + 4 \right) + 9 x \left( n + 3 \right) + 30 x \left( n + 2 \right) + 20 x \left( n + 1 \right) + 24 x \left( n \right) = 0 , \end{equation}

where $x ( 0 ) = 0$, $x ( 1 ) = 0$, $x ( 2 ) = 1$, $x ( 3 ) = 10$.

Taking the Z-transform yields

\begin{equation*} Z ( x ( n ) ) = \frac { z ( z - 1 ) } { ( z + 2 ) ^ { 3 } ( z + 3 ) } = \end{equation*}

\begin{equation*} = \frac { - 4 z } { z + 2 } + \frac { 4 z } { ( z + 2 ) ^ { 2 } } - \frac { 3 z } { ( z + 2 ) ^ { 3 } } + \frac { 4 z } { z + 3 }. \end{equation*}

Taking the inverse Z-transform of both sides yields

\begin{equation*} x ( n ) = \left( \frac { 3 } { 4 } n ^ { 2 } - \frac { 11 } { 4 } n - 4 \right) ( - 2 ) ^ { n } + 4 ( - 3 ) ^ { n }. \end{equation*}

Pairs of Z-transforms.

$x ( n )$ $Z ( x ( n ) )$
$a ^ { n }$ $z/ z - a$
$n ^ { k }$ $k ! z \,/ ( z - 1 ) ^ { k + 1 }$
$n ^ { k } a ^ { n }$ $( - 1 ) ^ { k } D ^ { k } ( z / ( z - 1 )$; $D = z d / d z$
$\operatorname{sin} n w$ $z\operatorname {sin} w/( z ^ { 2 } - 2 z \operatorname { cos } w + 1 )$
$\operatorname{cos} n w$ $z ( z - \operatorname { cos } w ) / ( z ^ { 2 } - 2 z \operatorname { cos } w + 1 )$
$\delta _ { k } ( n )$ $z ^ { - k }$
$\operatorname{sinh} n w$ $z \operatorname{sinh} w/ ( z ^ { 2 } - 2 z \operatorname { cosh } w + 1 )$
$\operatorname{cosh} n w$ $z ( z - \operatorname { cosh } w ) / ( z ^ { 2 } - 2 z \operatorname { cosh } w + 1 )$.

References

[a1] R.V. Churchill, J.W. Brown, "Complex variables and applications" , McGraw-Hill (1990)
[a2] S. Elaydi, "An introduction to difference equations" , Springer (1999) (Edition: Second)
[a3] A.J. Jerri, "Linear difference equations with discrete transform methods" , Kluwer Acad. Publ. (1996)
[a4] E. Jury, "Theory and application of the z-transform method" , Robert E. Krieger (1964)
[a5] A. De Moivre, "Miscellanew, Analytica de Seriebus et Quatratoris" , London (1730)
[a6] A.D. Poularikas, "The transforms and applications" , CRC (1996)
How to Cite This Entry:
Z-transform. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Z-transform&oldid=30630
This article was adapted from an original article by S. Elaydi (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article