Tricki

If you are calculating an integral, complex substitutions are not forbidden

Quick description

Sometimes an integral can be made simpler if one makes the substitution for some invertible function . The new integral is then . What if is a complex-valued function, such as ? Then the range of integration seems to be a path in the complex plane, which looks very dodgy. However, substitutions of this kind can sometimes be justified with the help of Cauchy's residue theorem, and they are sometimes very useful. This is one way of looking at some of the real integrals that can be calculated with the help of contour integration.

Prerequisites

Complex analysis up to the residue theorem and contour integration.

Example 1

Let us try to calculate the integral . Before we do so, let us note that this is an excellent example of an oscillatory integral: although does not tend to zero, it remains bounded and oscillates faster and faster, so the corresponding oscillations of the function become smaller and smaller. So we expect this integral to be finite.

The function is sufficiently similar to that we do not expect to be able to find an antiderivative. Does that make our task hopeless? Not quite, because this is a definite integral, and we might remember that there is at least one integral like that that has a nice answer: . This suggests that we should try to turn our integral into the integral of a Gaussian.

An easy way to involve the exponential function is to use the fact that is the imaginary part of . So we will be done if we can calculate the integral (which we still expect to be finite, because the same reasoning applies to its real part). And now we might observe that a simple substitution will turn this integral into one of the form we want: we just choose in such a way that , which tells us that , which we can achieve by taking . Here, is chosen because it is one of the square roots of .

If we make this substitution, then , so , and our integral becomes . Therefore, the answer is , which has imaginary part .

But was that a legitimate argument? Isn't there something very fishy about taking the range of integration to be ?

To answer this question, let us try to interpret the integral as a path integral involving the function . After a bit of experiment, we find that it is the integral of along the line that starts at the origin and slopes upwards at 45 degrees. To see this, write for this path, and think of it as the function defined on . Then the definition of a path integral tells us that is indeed precisely . So our question now is whether the path integral is equal to our original integral , which is the integral of the same function, but along the positive real axis.

We can use standard techniques to prove that the two are equal. Consider a closed curve that goes from to , then from to round the circle of radius about , and then back from to again. Since the function is holomorphic everywhere, its integral round is zero, so we are done if we can prove that the contribution from the circular arc tends to zero. Since is small when has a large imaginary part, which it does almost everywhere on this circular arc, this is indeed the case.

General discussion

When presenting a solution to the above problem, it would not be normal practice to discuss integration by substitution. Rather, one would observe that the integral is simpler along a different path and use that as motivation for choosing the contour . The point of this article is that the way one thinks of a good contour to choose is more or less identical to the way one thinks of a good substitution in an ordinary real integral.

Sometimes, one obtains a path integral that does not give the same answer as the original integral. But if that is merely because there are some residues inside the contour , then we can still use the transformed integral (together with calculation of the residues) to work out the original one.

This method can be viewed as an application of the more general method of contour shifting.

Example 2

Suppose you are asked to calculate the integral . Given the basic fact that , it is natural to attack this by completing the square. We note that , which allows us to rewrite our integral as . Substituting , we see immediately that the answer is .

What happens if is a complex number? Formally, the entire calculation above works in precisely the same way, but now the substitution is complex, so we have to worry about whether it is valid. Let us try to find a path integral involving the function that equals . The one slightly non-obvious decision is whether we should integrate along the path or , so let us integrate along and see what happens. That is, we take the path (a function from to ) and integrate the function to get . Taking gives us , which is exactly what we wanted.

This strongly suggests that we should try a contour in the shape of a very wide parallelogram, two sides of which are the intervals and . (The latter is supposed to be a horizontal line segment in the complex plane.) The one remaining point to check is whether the integral is small on the two segments that join to and to . This is indeed the case, and easy to check: it basically follows from the fact that tends to zero much faster than exponentially.

This allows us to show that the original integral is even when is complex. In particular, if has the form for a real number , then the integral is .

The Fourier transform of the Gaussian function is defined to be . We have just shown that . That is, the Fourier transform of the Gaussian is the Gaussian. For good measure, we have calculated the Laplace transform (meaning that we can allow to take complex values): it is given by the same formula.

General discussion

Once again, integration by substitution is not really recommended for a problem like this. It is just an idea to hold in the back of one's head when trying to think of a suitable contour. Once one is used to this kind of contour integral, a quicker approach is simply to observe that the function is easier to handle on the line than on the line , since if then . So if one chooses the above contour, then we can handle one long side and the two short sides tend to zero, so we can work out the integral we are interested in.