10.3 The Inverse Z-Transform
Derivation from Inverse Fourier Transform:
Recall from Section 10.1 that \(X(r e^{j\omega}) = \mathfrak{F}\{x[n]r^{-n}\}\).
Applying the inverse Fourier transform: \[ x[n]r^{-n} = \frac{1}{2\pi} \int_{2\pi} X(r e^{j\omega}) e^{j\omega n} d\omega \] Multiplying by \(r^n\): \[ x[n] = \frac{1}{2\pi} \int_{2\pi} X(r e^{j\omega}) (r e^{j\omega})^n d\omega \] Let \(z = r e^{j\omega}\). Then \(dz = j r e^{j\omega} d\omega = jz d\omega\), so \(d\omega = \frac{1}{jz} dz\).
The integration over \(2\pi\) for \(\omega\) corresponds to a counterclockwise closed circular contour integration for \(z\) around the origin.
The Inverse Z-Transform Integral: \[ x[n]=\frac{1}{2 \pi j} \oint X(z) z^{n-1} d z \]
Practical Approaches for Inverse Z-Transform:
While the contour integral is the formal definition, it’s rarely used in practice for typical engineering problems. We primarily use two main methods:
Important
The Region of Convergence (ROC) is absolutely critical for determining the unique \(x[n]\) from \(X(z)\)!
Procedure:
Common Z-Transform Pairs for PFE:
Tip
For terms with repeated poles or higher order poles, specific formulas are available, similar to Laplace transforms.
Given \(X(z)\) and ROC: \[ X(z)=\frac{3-\frac{5}{6} z^{-1}}{\left(1-\frac{1}{4} z^{-1}\right)\left(1-\frac{1}{3} z^{-1}\right)}, \quad|z|>\frac{1}{3} \] Poles: \(z=1/4\) and \(z=1/3\). ROC: \(|z|>1/3\). This implies \(x[n]\) is a right-sided sequence.
Partial-Fraction Expansion: \[ X(z)=\frac{A}{1-\frac{1}{4} z^{-1}}+\frac{B}{1-\frac{1}{3} z^{-1}} \] Solving for \(A\) and \(B\): \(A = \left. \frac{3-\frac{5}{6} z^{-1}}{1-\frac{1}{3} z^{-1}} \right|_{1-\frac{1}{4} z^{-1}=0 \implies z^{-1}=4} = \frac{3-\frac{5}{6}(4)}{1-\frac{1}{3}(4)} = \frac{3-\frac{10}{3}}{1-\frac{4}{3}} = \frac{-\frac{1}{3}}{-\frac{1}{3}} = 1\) \(B = \left. \frac{3-\frac{5}{6} z^{-1}}{1-\frac{1}{4} z^{-1}} \right|_{1-\frac{1}{3} z^{-1}=0 \implies z^{-1}=3} = \frac{3-\frac{5}{6}(3)}{1-\frac{1}{4}(3)} = \frac{3-\frac{5}{2}}{1-\frac{3}{4}} = \frac{\frac{1}{2}}{\frac{1}{4}} = 2\)
So, \(X(z)=\frac{1}{1-\frac{1}{4} z^{-1}}+\frac{2}{1-\frac{1}{3} z^{-1}}\)
Inverse Transform with ROC:
Result: \[ x[n]=\left(\frac{1}{4}\right)^{n} u[n]+2\left(\frac{1}{3}\right)^{n} u[n] \]
Note
The ROC \(|z|>1/3\) indicates a right-sided sequence, so both individual terms are also right-sided.
Given \(X(z)\) and ROC: \[ X(z)=\frac{3-\frac{5}{6} z^{-1}}{\left(1-\frac{1}{4} z^{-1}\right)\left(1-\frac{1}{3} z^{-1}\right)}, \quad\frac{1}{4}<|z|<\frac{1}{3} \] Poles: \(z=1/4\) and \(z=1/3\). ROC: \(1/4<|z|<1/3\). This implies \(x[n]\) is a two-sided sequence.
Partial-Fraction Expansion (same as before): \[ X(z)=\frac{1}{1-\frac{1}{4} z^{-1}}+\frac{2}{1-\frac{1}{3} z^{-1}} \]
Inverse Transform with ROC:
Result: \[ x[n]=\left(\frac{1}{4}\right)^{n} u[n]-2\left(\frac{1}{3}\right)^{n} u[-n-1] \]
Important
The ROC is crucial! The term associated with the pole at \(z=1/3\) is now a left-sided signal because the overall ROC is inside that pole.
Given \(X(z)\) and ROC: \[ X(z)=\frac{3-\frac{5}{6} z^{-1}}{\left(1-\frac{1}{4} z^{-1}\right)\left(1-\frac{1}{3} z^{-1}\right)}, \quad|z|<\frac{1}{4} \] Poles: \(z=1/4\) and \(z=1/3\). ROC: \(|z|<1/4\). This implies \(x[n]\) is a left-sided sequence.
Partial-Fraction Expansion (same as before): \[ X(z)=\frac{1}{1-\frac{1}{4} z^{-1}}+\frac{2}{1-\frac{1}{3} z^{-1}} \]
Inverse Transform with ROC:
Result: \[ x[n]=-\left(\frac{1}{4}\right)^{n} u[-n-1]-2\left(\frac{1}{3}\right)^{n} u[-n-1] \]
Note
Both terms are now left-sided because the overall ROC is inside both poles.
Procedure:
Example 10.12: Finite Sequence (Trivial Case)
\(X(z)=4 z^{2}+2+3 z^{-1}, 0<|z|<\infty\).
By inspection, the coefficients are:
\(x[-2]=4\)
\(x[0]=2\)
\(x[1]=3\)
\(x[n]=0\) otherwise.
This gives \(x[n]=4 \delta[n+2]+2 \delta[n]+3 \delta[n-1]\).
Tip
This method is particularly useful for non-rational Z-transforms or when you need the first few samples of \(x[n]\).
Case 1: ROC \(|z|>|a|\) (Right-Sided)
We need a series in negative powers of \(z\).
Perform long division of \(1\) by \((1-az^{-1})\):
1 + az⁻¹ + a²z⁻² + ...
___________________
1 - az⁻¹ | 1
-(1 - az⁻¹)
_________
az⁻¹
-(az⁻¹ - a²z⁻²)
____________
a²z⁻²
Result: \(X(z) = 1 + az^{-1} + a^2z^{-2} + \dots = \sum_{n=0}^{\infty} a^n z^{-n}\)
By inspection: \(x[n] = a^n u[n]\). (Consistent with Example 10.1)
Case 2: ROC \(|z|<|a|\) (Left-Sided)
We need a series in positive powers of \(z\).
Rearrange \(X(z)\) to \((az^{-1})^{-1} \frac{1}{ (az^{-1})^{-1} - 1} = a^{-1}z \frac{1}{a^{-1}z - 1}\).
Or, divide by \((az^{-1}-1)\) instead of \((1-az^{-1})\):
-a⁻¹z - a⁻²z² - ...
_________________
az⁻¹-1 | 1
-(1 - a⁻¹z) (dividing by -1+az⁻¹)
_________
a⁻¹z
-(a⁻¹z - a⁻²z²)
___________
a⁻²z²
Result: \(X(z) = -a^{-1}z - a^{-2}z^2 - \dots = -\sum_{k=1}^{\infty} a^{-k} z^k = -\sum_{n=-\infty}^{-1} a^n z^{-n}\)
By inspection: \(x[n] = -a^n u[-n-1]\). (Consistent with Example 10.2)
Given \(X(z)\) and ROC: \[ X(z)=\log \left(1+a z^{-1}\right), \quad|z|>|a| \] Condition for Taylor Series:
The ROC \(|z|>|a|\) implies \(|az^{-1}| < 1\). This is the condition for the Taylor series expansion of \(\log(1+v)\) where \(v = az^{-1}\).
Taylor Series Expansion:
Recall \(\log(1+v) = \sum_{n=1}^{\infty} \frac{(-1)^{n+1} v^n}{n}, \quad |v|<1\).
Substitute \(v = az^{-1}\): \[ X(z)=\sum_{n=1}^{\infty} \frac{(-1)^{n+1} (az^{-1})^n}{n} = \sum_{n=1}^{\infty} \frac{(-1)^{n+1} a^n z^{-n}}{n} \]
Identifying \(x[n]\):
Comparing with \(X(z) = \sum_{n=-\infty}^{+\infty} x[n] z^{-n}\), we match coefficients:
Result: \[ x[n]=\left\{\begin{array}{ll} \frac{(-1)^{n+1} a^{n}}{n}, & n \geq 1 \\ 0, & n \leq 0 \end{array}\right. \] This can also be written as \(x[n]=\frac{-(-a)^{n}}{n} u[n-1]\).
Note
This method is particularly powerful for non-rational Z-transforms where partial-fraction expansion is not applicable.
Key Methods for Inverse Z-Transform:
Importance in ECE:
Important
The ability to move back and forth between the time domain (\(x[n]\)) and the Z-domain (\(X(z)\)) is fundamental for analyzing, designing, and understanding discrete-time systems.