A convolution is a type of integral which is useful for passing a signal through a transfer function. In essence, it decomposes a continuous function into an infinite sum of Dirac delta functions, then multiplies each by the transfer function, and recombines those infinite delta functions through the infinite sum of the integral to get an output signal on the other side.

Definition

For two functions and , their convolution is given as,

It is also true that convolution in the time domain is multiplication in the frequency domain.

Derivation

Convolution Equation

Suppose we have a physical system whose input is and whose output is , and that this system is linear time-invariant. Suppose that this system is also described by a known impulse response . This means that if the input signal is a dirac delta function, then the output will be the impulse response:

Now, we must recognize that all functions can be expressed as an infinite series of dirac delta functions scaled by the value of the function at the point where the delta function equals one. Recall that the delta function is equal to one at only a single point, which we can call , and that if we multiply the delta function by some other function , then the product will be zero everywhere except at , were it will be equal to . In this way the delta function “filters” down to a single point at . We could create piecewise functions using some number of delta functions, where the product is equal to the original function at only a handful of points. For example, the following function,

is equal to zero everywhere except at and , where it is equal to and respectively. Generally, one can pick out a single point of any function by multiplying it by a delta function translated to that single point,

We can then imagine that an infinite series of delta functions would give us an infinite series of points that lie on ,

for some large . Note that I translate into to make the sum easy, this is just a variable swap. This gives us a collection of points existing at each integer value of between and . To better approximate , we must have infinitely many points () spaced intiniftely close together (),

where for some interval , as in the Riemann integral. And it should be clear that we have recreated the integral,

Therefore, any function can be represented as an infinite series of delta functions in place of a continuous function. Don’t forget that as a variable is just some particular value on the domain, some point in time; it is also a useful dummy variable so that the integral resolves to a function of .

This is significant because the transfer function is defined by its impulse response: if we can express an arbitrary input function as a series of impulses, and we know how the system will respond to a single impulse, then we can pass the series of impulses through the system and superimpose the individual outputs onto each other to form a general output function.

If the system input signal is composed of an infinite number of delta functions, each equal to at some point , then the response to each individual delta function is

If we take the integral for all possible values of , we have,

This is convolution.

It should be noted again that is a constant value here and is the variable. For that reason, the function is not the same as . To bridge the gap between them, we must first rename variables,

then we must make negative, which has the geometrical effect of revolving the function about the y-axis, to get . Then we can translate this function along the -axis by a constant ,

This is the form required by the convolution equation. Many students are taught to “take the transfer function, reverse it along the x-axis, and ‘slide’ it across the input function”, without understanding why we do this. Here the math speaks for itself.

Convolution in the Frequency Domain

Convolution in the time domain is multiplication in the frequency domain. To show this, we must take the Fourier transform of the convolution equation (1). So if,

then in the frequency domain we have,

We now have a double integral over both and . We can switch the order of integration to focus on first:

We can remove to the outer integral since it doesn’t depend on :

Now we can focus on the inner integral, and solve by -substitution,

We can pull out term since it doesn’t depend on :

This integral is just the Fourier transform of , which is . Then, if we return to the larger integral we can draw this out of the expression entirely, since it no longer depends on .

This remaining integral is just the Fouriet transform of , which is . So finally we have,

which is equation (2).

Uses

System Transfer Functions

A system’s output to an arbitrary input can usually be found by a convolution, as long as the system is linear time-invariant. For example, if we have a square input function (which is the Heaviside step function), and a system with a transfer function , and we want to find the system output .

The and terms ensure that the integrand is equal to zero before and also after , so we can change the bounds of integration:

Then we can solve:

Thus we’ve used convolution to decompose into an infinite number of Dirac delta functions, then pass each one through the impusle response function , and finally superimpose all outputs onto each other to form an output function.