0.9 "notes on the design of optimal fir filters" appendix b

Some notes on chebyshev polynomials

The section "The Derivation of the Formula" from the module titled "Filter Sizing" used some of the properties of the Chebyshevpolynomials to develop the key formulas used for FIR filter sizing. This appendix provides a very brief review of these polynomials and theequations used to generate them.

[link] shows a set of polynomials which have the property that, for values of $x$ between -1 and 1, the polynomial has peak magnitude of unity. A footnote in The section "The Derivation of the Formula" from the module titled "Filter Sizing" pointed outthat the Russian engineer Chebyshev developed these polynomials as part of design effort which required minimizing the maximum lateral excursion ofa locomotive drive rod. For each polynomial order, say $M$ , the objective is to choose the polynomial's coefficients so that that it “ripples" between $x=-1$ and $x=1$ and then proceeds off proportional to ${\left|x\right|}^M$ for values of $\left|x\right|>1.$ Not only did Chebyshev find such polynomials, he found that one exists for each positive value of $M$ , and that they are related thorugh a recursion equation, that is, the polynomial for $M$ can directly obtained for the polynomial for $M$ -1.

Consider the following recursion expression:

with initial conditions of

and

Note that both of these initial conditions meet (if trivially) the statedcriteria for being Chebyshev polynomials.

Using this recursion expression we find, for $M$ from 0 to 5, that:

These polynomials are plotted in [link] and it may be confirmed by inspection that they meet the stated criteria.

A surprising result is that there is yet another way to present these polynomials. This method is given by the following equations:

Analytically it can be confirmed that these equations satisfy the recursion seen in equation [link] . To see that they describe the same polynomials as seen in [link] , consider [link] for values of $\left|x\right|$ between -1 and 1. For such values $co{s}^{-1}x$ ranges between $\pi$ and 0. Thus $M·co{s}^{-1}x$ ranges between $M\pi$ and 0, and $cos[M·co{s}^{-1}x]$ cycles between -1 or 1 and 1, hiting $M+1$ extrema on the way, counting the endpoints. Similar analysis shows that equation [link] grows monotonically in magnitude as $\left|x\right|$ does. In fact it is easy to show that $\left|cosh\right[M·cos{h}^{-1}x\left]\right|$ assymptotically approaches ${\left|x\right|}^M$ as $\left|x\right|$ gets much greater than one.

This second form of the definition for Chebyshev polynomials is very useful since it is a closed form and because it involves cosines, a functionalform appearing frequently in frequency-domain representations of filters. In light of this a final twist might be noted. [link] is in fact superfluous given [link] . To see this, consider evaluating [link] for $\left|x\right|=2$ . It initially appears that this won't work, since arccosine cannot be evaluated forarguments greater than unity. In fact it can, it's just that the result is purely imaginary. It is easy, using Euler's definition of the cosine, to seethat the cosine of $jx$ is the same as the hyberbolic cosine of $x$ . Thus the arccosine of 2 is $j$ times the inverse hyperbolic cosine of 2, that is, $j·1.31$ . Multiplying by M and taking the cosine of the product yields the cosine of $jMx$ , which is the hyperbolic cosine of $Mx$ . Thus, if imaginary arguments are permitted, then [link] suffices to describe all of the Chebyshev polynomials.