LR Rabiner and RW Schafer, June 3
LR Rabiner and RW Schafer, June 3
LR Rabiner and RW Schafer, June 3
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
DRAFT: L. R. <strong>Rabiner</strong> <strong>and</strong> R. W. <strong>Schafer</strong>, <strong>June</strong> 3, 2009<br />
8.2. HOMOMORPHIC SYSTEMS FOR CONVOLUTION 437<br />
times the product of the zeros outside the unit circle (which occur in complex<br />
conjugate pairs) will always be real if the signal x[n] is real. The algebraic sign<br />
of the product can be determined if necessary, but it is usually not used in computing<br />
the complex cepstrum. When Eq. (8.21) is evaluated on the unit circle,<br />
it can be seen that the term log[e −jωMo ] will contribute only to the imaginary<br />
part of the complex logarithm. Since this term only carries information about<br />
the time origin, it is generally removed in the process of computing the complex<br />
cepstrum [20]. Thus, we will also neglect this term in our discussion of the<br />
properties of the complex cepstrum. Using the fact that each of the logarithmic<br />
terms can be written as a power series expansion, based on the well known<br />
power series<br />
∞ Z<br />
log(1 − Z) = −<br />
n<br />
n<br />
n=1<br />
|Z| < 1, (8.22)<br />
it is relatively straightforward to show that the complex cepstrum has the form<br />
⎧<br />
M0 <br />
log |A| + log |b −1<br />
k | n = 0<br />
k=1<br />
M0 <br />
⎪⎩<br />
k=1<br />
⎪⎨ Ni c<br />
ˆx[n] =<br />
n k<br />
n −<br />
Mi <br />
k=1<br />
b −n<br />
k<br />
n<br />
k=1<br />
a n k<br />
n<br />
n > 0<br />
n < 0.<br />
(8.23)<br />
Equation (8.23) shows a number of important properties of the complex<br />
cepstrum, i.e.,<br />
1. we see that, in general, the complex cepstrum is nonzero <strong>and</strong> of infinite<br />
extent for both positive <strong>and</strong> negative n, even though x[n] may be causal,<br />
or even of finite duration (when X(z) has only zeros).<br />
2. it is seen that the complex cepstrum is a decaying sequence that is bounded<br />
by<br />
|ˆx[n]| < β α|n|<br />
|n|<br />
for |n| → ∞, (8.24)<br />
where α is the maximum absolute value of the quantities ak, bk, <strong>and</strong> ck,<br />
<strong>and</strong> β is a constant multiplier. 4<br />
4 In practice, we generally deal with finite-length signals, which are represented by polynomials<br />
in z −1 ; i.e., the numerator in Eq. (8.19). In many cases, the sequence may be hundreds<br />
or thous<strong>and</strong>s of samples long. A somewhat remarkable result is that for such sequences, almost<br />
all of the zeros of the polynomial tend to cluster around the unit circle, <strong>and</strong> as the<br />
sequence length increases, the roots move closer to the unit circle [5]. This implies that for<br />
long, finite-length sequences, the decay of the complex cepstrum is due primarily to the factor<br />
1/|n|.