For us, calculus III is the most rushed of the courses, especially if we start with polar coordinates. Getting to the “three integral theorems” is a real chore. (ok, Green’s, Divergence and Stoke’s theorem is really just but that is the subject of another post)
But watching this lecture made me wonder: should I say a few words about how to calculate a convolution integral?
Note: I’ve discussed a type of convolution integral with regards to solving differential equations here.
In the context of Fourier Transforms, the convolution integral is defined as it was in analysis class: . Typically, we insist that the functions be, say, and note that it is a bit of a chore to show that the convolution of two functions is ; one proves this via the Fubini-Tonelli Theorem.
(The straight out product of two functions need not be ; e.g, consider for and zero elsewhere)
So, assuming that the integral exists, how do we calculate it? Easy, you say? Well, it can be, after practice.
But to test out your skills, let be the function that is for and zero elsewhere. So, what is ???
So, it is easy to see that only assumes the value of on a specific region of the plane and is zero elsewhere; this is just like doing an iterated integral of a two variable function; at least the first step. This is why it fits well into calculus III.
for the following region:
This region is the parallelogram with vertices at .
Now we see that we can’t do the integral in one step. So, the function we are integrating has the following description:
So the convolution integral is for and for .
That is, of course, the tent map that we described here. The graph is shown here:
So, it would appear to me that a good time to do a convolution exercise is right when we study iterated integrals; just tell the students that this is a case where one “stops before doing the outside integral”.