Académique Documents
Professionnel Documents
Culture Documents
Paley-Wiener Theorem
If h [ n ] is a causal energy signal, then finite upper bound. One implication of the Paley-Wiener theorem is that a transfer function can be zero at isolated points but it cannot be zero over a frequency range of finite width because, if it were, the integral would be infinite ( ln ( ) as 0).
ln H ( e j ) d < B where B is a
If a system's impulse response h [ n ] is causal, then it is possible to determine h [ n ] from its even part h e [ n ] where 2 2 h o [ n ] is the odd part and h [ n ] = h e [ n ] + h o [ n ]. If h [ n ] is causal then h [ n ] = h [ n ] u [ n ] = ( h e [ n ] + h o [ n ]) u [ n ] = h e [ n ] u [ n ] + h o [ n ] u [ n ] h e [ n] u [ n] = and h [ n ] = 2 h e [ n ] u [ n ] h [ 0 ] [ n ] h [ n] u [ n] + h [ n] u [ n] 2 = h [ n ] + h [ 0 ] [ n ] 2 h e [ n] = h [ n] + h [ n] and h o [ n ] = h [ n] h [ n] ,
Implications of Causality
Implications of Causality
Since h o [ 0] = 0, h e [ 0] = h [ 0] and h [ n ] = 2 h e [ n ] u [ n ] h e [ 0] [ n ]. Therefore a causal h [ n ] can be found from h e [ n ] alone and h o [ n] = 2 h e [ n ] u [ n ] h e [ 0 ] [ n ] ( 2 h e [ n ] u [ n ] h e [ 0 ] [ n ] ) 2
= h e [ n] u [ n] h e [ n] u [ n]
Implications of Causality
The Fourier transform of any even function is purely real and the Fourier transform of any odd function is purely imaginary. Therefore determined by h e [ n ] , so is the imaginary part H I ( e j ) and therefore the real and imaginary parts are interrelated and cannot be specified separately. It also follows that the magnitude and phase cannot be specified separately either. the real part H R ( e j ) of H ( e j ) for a causal system is completely
Implications of Causality
F h [ n ] H ( e j )
F 2 h e [ n ] u [ n ] h e [ 0] [ n ] 2 (1/ 2 ) H R ( e j )
U ( e j ) h e [ 0 ]
H ( e j ) = h e [ 0] + (1/ ) H R ( e j ) U e
j ( )
) d
1 F where u [ n ] U ( e j ) = + ( 2 k ) j 1 e k =
Implications of Causality
sin ( x ) sin ( ) x cot = cot = 2 1 cos ( x ) 2 1 cos ( ) e j e j e j e j j2 cot = =j j j 2 e j e j 2 1 e + e 2 1 j e j e j 1 1 cot = j j 2 2 2 2 2 2e e 2 e j e j e j + e j 1 e j = = j j 2 e j e j 2(2 e e ) 1 j 1 e j 1 cot = = j j j 2 2 2 (1 e )(1 e ) 1 e
Implications of Causality
j j 1 + ( 2 k ) d H ( e ) = h e [ 0] + (1/ ) H R ( e ) cot 2 k = 2 2 j
H (e H (e
, < <
j
, - < <
1 h [ 0] = 2
1 H (e ) d = 2
j
1 j j H R ( e ) + j H I ( e ) d = HR (e ) d + j HI ( e ) d 2 even odd
j j
1 h [ 0] = h e [ 0] = 2 H (e
j
H ( e ) d
j R
Implications of Causality
From the previous slide, H ( e ) = ( j / 2 ) H R ( e ) cot d + H R ( e j ) , - < < 2 Subtract the real part from both sides.
j j
H R ( e ) cot 2 d , - < < This integral is called the discrete Hilbert transform. It shows how the real part and imaginary part of the transfer function of a causal system are interrelated. 1 j HI (e ) = 2
j
Filter Specifications
For discrete-time systems described by difference equations the transfer function is a ratio of polynomials in z. H(z) = bk z k 1 + ak z k
k =1 k =0 N N
Filters of this type are causal and cannot be ideal. Ideal filters are specifed by their passbands and stopbands.
Filter Specifications
A typical practical-filter specification usually includes several elements, 1. one or more pass bands, 2. one or more stop bands, 3. transition bands between pass and stop bands, 4. allowable ripple in the pass band(s), and 5. minimum required attenuation in the stop band(s).
Filter Specifications
The actual filter must have a magnitude response that lies totally within the white area of the specification.
Filter Specifications
Ripple refers to the variation of a filters transfer function magnitude in its passband. Stopband Attenuation refers to the number of dB by which the filters transfer function magnitude in the stopband is reduced compared with the passband.
If an FIR filter has a symmetric impulse response h [ n] = h [ M 1 n] or an antisymmetric impulse response h [ n] = h [ M 1 n] it has a linear phase.
=0
= h [ n ] = h ( M 1) / 2 +
n =0 =0
M 1
( M 3 ) / 3
n =0
h [ n] +
M 1
n =( M +1) / 2
h [ n]
Let m = M 1 n. Then H (e
j
=0
= =
( M 3) / 2
n =0
h [ n] +
n =0
m =( M 3 ) / 2
h [ M 1 m]
( M 3 ) / 2
n =0
H ( e j )
( M 3) / 2
=0
{h [ n] + h [ M 1 n]} = {h [ n] h [ n]} = 0
Therefore, its frequency response at zero frequency is zero and it could not be used as a lowpass filter. It can also be shown that if M is odd, it cannot be a highpass filter either.
2 2 N 1 N 1 I 0 a n 2 2 Kaiser w [ n] = N 1 I 0 a 2 where I 0 is the modified zeroth order Bessel function of the first kind and
x ( t + t ) x ( t ) d A derivative is defined by x ( t ) = lim . If we t 0 t dt just make t small, but not zero, we approximate the derivative with a finite difference x ( t + t ) x ( t ) x [ n + 1] x [ n ] d x (t ) = t dt Ts This is called a forward difference. We can also approximate a derivative with a backward difference. x ( t ) x ( t t ) x [ n ] x [ n 1] d x (t ) = dt t Ts Because a backward difference is causal and is the inverse of the accumulation operation
Approximation of Derivatives
n m =
x [ m ], it is usually used.
Approximation of Derivatives
In the Laplace domain, multiplication by s is equivalent to a time derivative. The first backward difference in discrete time 1 z 1 z 1 is equivalent to a multiplication by in the z domain. = Ts zTs 1 z 1 So the substitution s converts s -domain expressions into Ts 1 z 1 1 z -domain expressions. The relationship s = or z = is Ts 1 sTs a mapping between the s and z planes.
Approximation of Derivatives
Letting s = + j , 1 Ts jTs 1 z= = + 2 2 1 ( + j ) Ts (1 Ts ) + (Ts ) (1 Ts )2 + (Ts )2 For the special case of = 0, z = 1 1 + (Ts )
2
1 + (Ts )
jTs
and the
axis maps into a circle of radius 1/ 2, centered at z = 1/ 2. For the 1 and for any negative value of , z lies special case = 0, z = 1 Ts on the real axis between z = 0 and z = 1. Overall, the left half of the s plane maps into the interior of the circle described above. Therefore stable s -domain filters map into stable z -domain filters. But a highpass analog filter does not become a highpass digital filter.
z ( z 1) z 2 1.5 z + 0.625
L1
L1
z 1 z
Hz ( z) =
Y( z) X( z)
H s ( s ) e 200t sin ( 400t ) h 1 ( t ) = L1 u (t ) = 400 s The discrete-time step response is 400 The z -domain transfer function is h 1 [ n ] = e 200 nTs sin ( 400nTs ) u [ n]
Bilinear Transformation
A natural idea is to use the mapping z = e sTs or s = (1/ Ts ) ln ( z ) to form H z ( z ) = H s ( s ) s 1 ln z . But this transforms a rational
Ts
( )
function of s into a rational function of (1/ Ts ) ln ( z ) . This function is transcendental and has infinitely many poles and/or zeros. One way to avoid this problem is to use an approximation to the exponential function. Start with the infinite-series expression
x 2 x3 xk ex = 1 + x + + + = 2! 3! k =0 k ! and truncate the series after two terms.
Bilinear Transformation
Truncating the infinite-series after two terms yields 1 + sTs z or s ( z 1) / Ts . For small Ts ( therefore high sampling rates ) this is a good approximation. This is identical to approximating a derivative with a forward difference. This mapping maps the entire left half of the s plane into the interior of the z plane infinitely many time. Also, for some sampling rates, this mapping can convert a stable system in s to an unstable system in z. A very clever modification solves both problems. Write the transformation e sTs / 2 as e sTs = sTs / 2 z and then approximate the numerator and e denominator separately by truncating the series to two terms.
Bilinear Transformation
1 + sTs / 2 2 z 1 This last approximation yields . z or s 1 sTs / 2 Ts z + 1 This is called the bilinear (not bilateral) transformation. This mapping has the favorable quality that the left half of the s plane maps into the interior of the unit circle in the z plane only one time and stable s -domain filters are transformed into stable z -domain filters.
Bilinear Transformation
The bilinear transformation has a "warping" effect because of the way the s = j axis is mapped into the unit circle in the z plane. Letting z = e j with real determines the unit circle in the z plane. The corresponding contour in the s plane is 2 e j 1 2 = j tan s= j Ts e + 1 Ts 2 or = 2 tan 1 (Ts / 2 ) .