Transfer Functions
Transfer functions concisely describe the frequency response of a given filter.
LTI Systems
Filters are linear time-invariant (LTI) systems.
Write for the output of . A system is linear if and . Below we shall use the notation to mean is the output of the system when the input is , i.e. .
Time-invariance means that the behaviour of the system is independent of the current time; it only depends on the previous inputs.
LTI systems can be continuous (where the input is a function of time) or discrete (where the input is a sequence of values). Analog filters are continuous, whilst digital filters are discrete.
Digital Filters
Write for the th input and for the corresponding output.
Suppose the discrete input signal is for some complex number .
By linearity, . Hence by induction, for some that depends on .
Since depends on , we write . It is called the transfer function. If the output is real when the input is real (which is always the case for audio filters), then it is easy to show that (see the transform).
Points on the unit circle of determine the filter’s effect on sinusoids: for all , is the amount a sinusoid of the form is amplified after passing through the filter (i.e. is the filter’s frequency response). As any periodic signal can be represented as a sum of sinusoids, determines the effect of a filter on any periodic signal.
Proof: Suppose the input signal is
Then by linearity, and using the above observations,
Letting , we see
For a low-pass filter we want when , so that low frequencies pass through unchanged, and when , in order to cutoff higher frequencies.
Note that the phase response is determined by .
Recursive Filters
Recursive filters, also known as Infinite Impulse Response (IIR) filters, are filters where the output sample is a linear combination of some number of previous inputs and outputs. In other words,
We have written the minus signs of the to follow most texts (it is more convenient when discussing the transfer function), but authors interchange and . It can be shown that a digital filter is LTI and causal (outputs depend only on previous inputs and outputs) if and only if it can be described by the above equation.
First, consider the effect of this filter on an input of the form for some . Since it is an LTI system that we have . Hence
This means the transfer function must be
So to design a digital filter, we need only pick a transfer function with certain zeroes and poles such that behaves in a certain way on the unit circle.
A common method is to design an analog filter first, and then transform it into a digital filter.
Etymology
An digital impulse is the sequence . A filter that only depends on previous inputs is called a Finite Impulse Response filter because if we feed an impulse to such a filter, after some time the output signal will be a sequence of zeroes.
If we allow the filter to involve previous outputs, then it is possible for the impulse signal to cause a response that never dies down, hence the term infinite impulse response.
Analog Filters
Consider an analog filter, whose input at time is , and has corresponding output .
Suppose the input is the signal . Then by linearity,
Letting approach zero shows that . But since , we have
which means for some depending on , so write . (Proof: implies which implies , for some constant , in other words for some constant .)
The function is the transfer function for the analog filter. As in the digital case, consider what happens to the input
If we let then the output is , so we see that the effect of the filter on sinusoids is determined by the values of on the imaginary axis (for example determines the behaviour of 1Hz sinusoids).
For a low-pass analog filter, we want on the imaginary axis near the origin, and near zero as approaches infinity, so that is cut off for high but let through unchanged for low .
Stability
A filter is stable if the output tends to zero if the input becomes zero, otherwise it is unstable. It turns out a digital filter is stable if and only if the poles of its transfer function lie within the unit circle. Similarly an analog filter is stable if and only if the poles of its transfer function lie on the left side of the imaginary axis.