Laplace transform:
Hs=∫-∞∞
h
a
tⅇ-stdt
H
s
t
h
a
t
s
t
Note that the continuous-time Fourier transform is
Hⅈλ
H
λ
(the Laplace transform evaluated on the imaginary
axis).
Since the early 1900's, there has been a lot of
research on designing analog filters of the form
Hs=
b
0
+
b
1
s+
b
2
s2+...+
b
M
sM1+
a
1
s+
a
2
s2+...+
a
M
sM
H
s
b
0
b
1
s
b
2
s
2
...
b
M
s
M
1
a
1
s
a
2
s
2
...
a
M
s
M
A causal IIR filter cannot have linear
phase (no possible symmetry point), and design work for analog
filters has concentrated on designing filters with equiriplle
(
∥L∥∞
L
) magnitude responses. These
design problems have been solved. We will not concern
ourselves here with the design of the analog prototype
filters, only with how these designs are mapped to
discrete-time while preserving optimality.
An analog filter with real
coefficients must have a magnitude response of the form
|Hλ|2=Bλ2
H
λ
2
B
λ
2
HⅈλHⅈλ¯=
b
0
+
b
1
ⅈλ+
b
2
ⅈλ2+
b
3
ⅈλ3+...1+
a
1
ⅈλ+
a
2
ⅈλ2+...Hⅈλ¯=
b
0
-
b
2
λ2+
b
4
λ4+...+ⅈλ
b
1
-
b
3
λ2+
b
5
λ4+...1-
a
2
λ2+
a
4
λ4+...+ⅈλ
a
1
-
a
3
λ2+
a
5
λ4+...
b
0
-
b
2
λ2+
b
4
λ4+...+ⅈλ
b
1
-
b
3
λ2+
b
5
λ4+...1-
a
2
λ2+
a
4
λ4+...+ⅈλ
a
1
-
a
3
λ2+
a
5
λ4+...¯=
b
0
-
b
2
λ2+
b
4
λ4+...2+λ2
b
1
-
b
3
λ2+
b
5
λ4+...21-
a
2
λ2+
a
4
λ4+...2+λ2
a
1
-
a
3
λ2+
a
5
λ4+...2=Bλ2
H
λ
H
λ
b
0
b
1
λ
b
2
λ
2
b
3
λ
3
...
1
a
1
λ
a
2
λ
2
...
H
λ
b
0
b
2
λ
2
b
4
λ
4
...
λ
b
1
b
3
λ
2
b
5
λ
4
...
1
a
2
λ
2
a
4
λ
4
...
λ
a
1
a
3
λ
2
a
5
λ
4
...
b
0
b
2
λ
2
b
4
λ
4
...
λ
b
1
b
3
λ
2
b
5
λ
4
...
1
a
2
λ
2
a
4
λ
4
...
λ
a
1
a
3
λ
2
a
5
λ
4
...
b
0
b
2
λ
2
b
4
λ
4
...
2
λ
2
b
1
b
3
λ
2
b
5
λ
4
...
2
1
a
2
λ
2
a
4
λ
4
...
2
λ
2
a
1
a
3
λ
2
a
5
λ
4
...
2
B
λ
2
(1)
Let
s=ⅈλ
s
λ
, note that the poles and zeros of
B-s2
B
s
2
are symmetric around
both the
real and imaginary axes: that is, a pole at
p
1
p
1 implies poles at
p
1
p
1,
p
1¯
p
1
,
-
p
1
p
1
, and
-
p
1¯
p
1
, as seen in
Figure 1.
Recall that an analog filter is stable and causal
if all the poles are in the left half-plane, LHP, and is
minimum phase if all zeros and poles are in the
LHP.
s=ⅈλ
s
λ
:
Bλ2=B-s2=HsH-s=HⅈλH-ⅈλ=HⅈλHⅈλ¯
B
λ
2
B
s
2
H
s
H
s
H
λ
H
λ
H
λ
H
λ
we can factor
B-s2
B
s
2
into
HsH-s
H
s
H
s
, where
Hs
H
s
has the left half plane poles and zeros, and
H-s
H
s
has the RHP poles and zeros.
|Hs|2=HsH-s
H
s
2
H
s
H
s
for
s=ⅈλ
s
λ
, so
Hs
H
s
has the magnitude response
Bλ2
B
λ
2
. The trick to analog filter design is to design a
good
Bλ2
B
λ
2
, then factor this to obtain a filter with that
magnitude response.
The traditional analog filter designs all take the
form
Bλ2=|Hλ|2=11+Fλ2
B
λ
2
H
λ
2
1
1
F
λ
2
, where F
F is a rational function in
λ2
λ
2
.
Bλ2=2+λ21+λ4
B
λ
2
2
λ
2
1
λ
4
B-s2=2-s21+s4=2-s2+ss+αs-αs+α¯s-α¯
B
s
2
2
s
2
1
s
4
2
s
2
s
s
α
s
α
s
α
s
α
where
α=1+ⅈ2
α
1
2
.
Roots of
1+sN
1
s
N
are
N
N points equally spaced around the unit circle
(
Figure 2).
Take
Hs=LHP
H
s
LHP
factors:
Hs=2+ss+αs+α¯=2+ss2+2s+1
H
s
2
s
s
α
s
α
2
s
s
2
2
s
1
Bλ2=11+λ2M
B
λ
2
1
1
λ
2
M
Remember this for homework and rest problems!
"Maximally smooth" at
λ=0
λ
0
and
λ=∞
λ
(maximum possible number of zero
derivatives).
Figure 3.
Bλ2=|Hλ|2
B
λ
2
H
λ
2
Bλ2=11+ε2
C
M
2λ
B
λ
2
1
1
ε
2
C
M
λ
2
where
C
M
2λ
C
M
λ
2
is an
Mth
Mth
order Chebyshev polynomial. Figure 4.
Bλ2=11+ε2
J
M
2λ
B
λ
2
1
1
ε
2
J
M
λ
2
where
J
M
J
M
is the "Jacobi Elliptic Function." Figure 6.
The Cauer filter is
∥L∥∞
L
optimum in the sense that for a given MM,
δpδp,
δsδs, and
λpλp, the transition bandwidth is smallest.
That is, it is
∥L∥∞
L
optimal.