← 10.03 Initial & Final Value Theorems in the Z-Domain | Chapter 10 Map | 10.05 Convolution, Correlation & Realization in the Z-Domain →
10.04 Inverse Z-Transform Methods
Alright — let’s tackle one of the most high-yield computational topics under Instructor 1: Inverse Z-Transform Methods! This topic alone frequently commands 10 to 15 marks on the semester final exam.
The Inverse Z-transform allows us to map a discrete-time signal’s frequency-domain algebraic representation back to its original time-domain sequence . While the forward transform is an infinite summation, the inverse transform is fundamentally defined as a complex contour integral. Because computing a contour integral directly is mathematically tedious, we employ four distinct engineering methods to compute the inverse transform quickly:
- Partial Fraction Expansion {decomposing rational functions into standard first-order and second-order terms}.
- Power Series Expansion via Long Division {explicitly dividing polynomials to yield a sequence of sample coefficients}.
- Cauchy’s Residue Theorem {using complex analysis residues on poles enclosed by the ROC boundary}.
- Time-Shifting Property Cascade {rewriting fractions with negative powers of and applying shift-delay operators}.
Let’s prove the core residue integration formula, dissect each of these four methods step-by-step, solve every classic past year question (PYQ), and secure full marks on exam day!
1. Mathematical Derivation of the Inverse Z-Transform Contour Integral
Before diving into the algorithms, we must understand where the inverse Z-transform comes from mathematically. It is not an arbitrary formula; it is a direct consequence of Cauchy’s Integral Theorem.
Cauchy's Residue Integration Proof [PYQ 2019 - 5 Marks]
Prove that the inverse Z-transform of a complex function is given by: where is a counter-clockwise closed circular contour lying within the Region of Convergence (ROC) of and enclosing the origin.
Step-by-Step Proof:
-
Recall the forward Z-transform definition: where is a complex variable enclosing the origin within its ROC.
-
Multiply both sides of the forward transform equation by :
-
Integrate both sides over a closed, counter-clockwise contour that lies entirely within the ROC: Since the power series converges uniformly within the ROC, we can swap the order of integration and summation:
-
Evaluate the contour integral using Cauchy’s Integral Theorem: Let be represented in polar coordinates along the circular contour of radius : . Evaluating over :
- Case 1: If :
- Case 2: If : Since is an integer, , making the integral evaluate to strictly zero.
Thus, we establish the fundamental orthogonality relation of complex variables:
-
Substitute the orthogonality relation back into our integrated sum: The summation on the right-hand side collapses completely, leaving only the term where :
By Cauchy’s Residue Theorem, this integral is simply the sum of residues of the integrand at all poles located inside the closed contour :
2. Inversion Method 1: Partial Fraction Expansion
The Partial Fraction Expansion method is the absolute workhorse of Z-domain inversion. It mirrors the Laplace inversion process, with one critical difference: we expand instead of directly. This step ensures that when we multiply back by , every term has a in its numerator (e.g., ), which maps directly to the standard exponential pair .
Case A: Distinct (Simple) Poles
If is a proper rational fraction with distinct poles , we write:
The residues are calculated using the cover-up method:
Multiplying by yields the final Z-domain representation:
Case B: Multiple (Repeated) Poles
If contains a pole of multiplicity , we must expand it using higher-order denominators:
The residue for the highest-order term is:
The residues for the lower-order terms are evaluated using derivatives:
3. Inversion Method 2: Long Division (Power Series Expansion)
The Long Division Method (also known as the Power Series Expansion) is used when we do not need a closed-form formula for but instead want to evaluate the first few samples explicitly. It exploits the direct power series definition:
By setting up a polynomial division, the coefficients of the quotients represent the discrete-time samples directly.
WARNING
The Division Setup Trap (Causal vs. Anticausal): You cannot perform long division blindly. The direction of division depends entirely on the Region of Convergence (ROC)!
- For Causal Sequences (): We must divide by writing both the numerator and denominator in descending powers of (or ascending powers of ). This yields a quotient with negative exponents of (), matching a right-sided sequence.
- For Anticausal Sequences (): We must divide by writing both the numerator and denominator in ascending powers of (or descending powers of ). This yields a quotient with positive exponents of (), matching a left-sided sequence.
Causal Division Setup (|z| > a): Anticausal Division Setup (|z| < a):
q_0 + q_1 z⁻¹ + q_2 z⁻² q_0 z + q_1 z² + q_2 z³
┌──────────────────────── ┌────────────────────────
z - a│ z -a + z│ z
│ z - a │ z - (z²/a)
└─────── └───────────
a ... (z²/a) ...
4. Inversion Method 3: Cauchy’s Residue Calculus Method
For any rational fraction , the residue method calculates the time domain samples directly using contour residues. From our derivation, the inverse transform is evaluated as:
The calculation for residues depends on the multiplicity of the pole :
- For a simple pole ():
- For a multiple pole of order :
TIP
Evaluating the Origin Pole (): When evaluating , if has a pole at the origin, or if (such as where ), a pole is introduced at . You must calculate the residue at for those specific samples, otherwise your or left-sided values will be incorrect.
5. Inversion Method 4: Time-Shifting Property Method
The time-shifting property is exceptionally useful for inverting functions written in terms of delay operators (). It bypasses partial fraction expansions of higher order.
Recall the Time-Shifting Property:
If we can factor out from a function, we can invert the remaining term to and then shift the result:
6. Exhaustive, Step-by-Step Solved Exam Numericals
Let’s solve the highest-yield numerical problems from the KUET Exam bank using these four methodologies.
Problem 1: Partial Fractions on Complex Multiple Poles [PYQ 2016 - 5 Marks]
KUET Exam Classic [PYQ 2016]
Determine the causal inverse Z-transform of the system function:
Step 1: Convert to positive powers of
Multiply the numerator and denominator by to eliminate negative exponents:
Step 2: Set up the expansion
Here, we have a simple pole at and a multiple pole of order 2 at .
Step 3: Calculate the residues
-
For simple pole at :
-
For the highest-order repeated pole term at :
-
For the lower-order repeated pole term at using derivative: Using the quotient rule: Evaluating at :
Step 4: Reassemble and invert
Substitute the residues back into the expression: Multiply throughout by :
From our standard Z-transform lookup table:
Thus, the causal sequence is:
Problem 2: Delay Cascade Inversion with Delay Elements [PYQ 2023 - 5 Marks]
KUET Exam [PYQ 2023]
If is causal, find the inverse Z-transform of the system function:
Let’s solve this using Method 4 (Time-Shifting) to highlight the power of delay operations.
Step 1: Isolate the delay operator
Write as: where we define:
Step 2: Expand using partial fractions
Calculate residues:
- For at :
- For at :
- For at :
Substitute residues and multiply by :
Step 3: Invert to the time domain
Step 4: Apply the time delay to obtain
Since , the time-shifting property dictates that :
(Note: Evaluates exactly to , A).
Problem 3: Multi-Domain ROC Boundary Solutions [PYQ 2017 - 10 Marks]
KUET Exam Classic [PYQ 2017]
Determine the inverse Z-transform of the system function: under three different Region of Convergence (ROC) conditions: (i) (Causal) (ii) (Anticausal) (iii) (Bilateral/Two-sided)
Step 1: Perform Partial Fraction Expansion
First, factor the denominator: Set up the expansion of :
Calculate residues:
- For at :
- For at :
Substitute residues and multiply by :
Step 2: Evaluate under different ROCs
(i) For ROC (Causal / Right-Sided Sequence)
Since the ROC is exterior to the circle enclosing both poles ( and ), the sequence is causal:
(ii) For ROC (Anticausal / Left-Sided Sequence)
Since the ROC is interior to the circle enclosing both poles, the sequence is anticausal:
(iii) For ROC (Bilateral / Two-Sided Sequence)
Here, the ROC is a ring. The inner boundary is (pole lies inside, representing a causal/right-sided component). The outer boundary is (pole lies outside, representing an anticausal/left-sided component).
- The pole at is right-sided:
- The pole at is left-sided:
Problem 4: Long Division Expansion (Dual Case Analysis) [PYQ 2017 - 8 Marks]
KUET Exam [PYQ 2017]
Using long division, determine the inverse Z-transform of the function: when (a) ROC: , and (b) ROC: .
Case (a) ROC: (Causal Sequence)
Since the ROC is exterior to , is causal. We write the polynomials in descending powers of (ascending powers of ):
Let’s perform the division step-by-step:
- Divide first term by : quotient is . Multiply divisor: . Subtract from dividend to get remainder: .
- Divide by : quotient is . Multiply divisor: . Subtract to get remainder: .
- Divide by : quotient is . Multiply divisor: . Subtract to get remainder: .
- Divide by : quotient is .
The quotient series is:
Thus, taking the inverse Z-transform by matching coefficients:
Case (b) ROC: (Anticausal Sequence)
Since the ROC is interior to , is anticausal. We write the polynomials in ascending powers of (descending powers of to yield positive powers of ):
Perform the division:
- Divide by : quotient is . Multiply divisor: . Subtract to get remainder: .
- Divide by : quotient is . Multiply divisor: . Subtract to get remainder: .
- Divide by : quotient is . Multiply divisor: . Subtract to get remainder: .
- Divide by : quotient is .
The quotient series is:
Taking the inverse Z-transform:
7. Common Mistakes That Cost Marks
Critical Exam Pitfalls
- Blind Long Division Setup: Setting up polynomial long division in descending order of for an anticausal sequence. Remember: causal ROC is divided in descending order of , anticausal ROC is divided in ascending order of . Mixing these up yields a diverging quotient series, costing you the full 8 marks.
- Omitting the Residue at : Forgetting that when evaluating at , the integrand has an additional pole at . You must calculate this residue separately for , or your causal signal’s initial value will be incorrect.
- The Direct Partial Fraction Trap: Attempting to expand directly instead of expanding first. Decomposing directly yields constant terms in the partial fractions (e.g., ) which transform to shifted sequences () instead of standard exponential terms (), leading to tedious algebraic bookkeeping and high error rates.
8. Past Year Question (PYQ) Bank
KUET Exam 2024 (Section B Q. 5a)
- Question: Determine the inverse z-transform of the system function: (13 Marks)
- Answer Plan:
- Check if is proper. It has order 2 in numerator and 3 in denominator proper.
- Set up the expansion of with simple poles at .
- Evaluate residues using the cover-up method: , , , .
- Multiply by and take the inverse transform causal component term-by-term.
KUET Exam 2023 (Section B Q. 6b)
- Question: If is causal, find the inverse z-transform of . (05 Marks)
- Answer Plan: Solve using the time-shifting property: . Find partial fractions of , invert , then shift by 1 sample: .
KUET Exam 2019 (Section B Q. 5c)
- Question: Using the residue method, find the inverse Z-transform of . (05 Marks)
- Answer Plan: Formulate . Find residues for simple poles at and . Sum residues to find for , verifying that .
9. Self-Check Before Moving On
- Can you explain why we expand instead of in partial fractions?
- Do you know how to configure the polynomial order for causal vs. anticausal long division?
- Can you derive Cauchy’s residue integration formula from the forward transform definition?
- Do you know when introduces a pole at the origin ?
Source: Signals and Systems Reference Book (K. Deergha Rao), Chapter 8, Sections 8.5 & 8.6.