Some potential pitfalls with s to z-plane mappings

Design of digital infinite impulse response (IIR) filters is a compulsory topic in most signal processing courses. Most often, it is taught by using the bilinear transform to map an analogue counterpart into the corresponding digital filter. The usual approach is to define a mapping between the complex variables s and z, and hence, by substitution, derive a mapping between /spl omega/, analogue frequency, and /spl theta/, sampled frequency. This is rather elliptical, since the real aim is to establish the correspondence between the frequency response of a prototype analogue system H(j/spl omega/), and H(e/sup j/spl theta//), the response of the sampled system. Here we provide a rigorous analysis for the mutual invertibility between the analogue frequency /spl omega/, and the digital frequency /spl theta/ for this case. Based upon the definition of the tan and arctan functions, conditions of existence, uniqueness and continuity of such a mutually inverse mapping are derived. Based upon these results, simple proofs for the mutually inverse mappings /spl omega//spl rarr//spl theta/ and /spl theta//spl rarr//spl omega/ are given. This is supported by appropriate diagrams. This problem arose as a student question while teaching DSP.