Namespaces
Variants
Actions

Difference between revisions of "Z-transform"

From Encyclopedia of Mathematics
Jump to: navigation, search
Line 105: Line 105:
  
 
==Pairs of Z-transforms.==
 
==Pairs of Z-transforms.==
<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>
+
<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>

Revision as of 08:28, 28 January 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=55357
This article was adapted from an original article by S. Elaydi (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article