First: the Cauchy Principal Value. Remember when you were in calculus and did ? If you said something like you lost some credit and said that the integral converged if and only if both AND BOTH converged..the limits had to be independent of one another.
That is correct, of course, but IF you knew that both integrals converged then, in fact, gave the correct answer.
As for why you need convergence: so while the integral diverges, this particular limit is zero. So this limit has a name: it is called the Cauchy Principal Value of the integral and is equal to the value of the improper integral PROVIDED the integral converges.
We will use this concept in some of our calculations.
One type of integral: Let be a function with at most a finite number of isolated singularities, none of which lie on the real axis. Suppose for large enough, for . Let denote the upper half plane () Then
The idea: let represent the contour shown above: upper half of the circle followed by the diameter, taken once around in the standard direction. Of course and if is large enough, the contour encloses all of the singularities in the upper half plane.
But the integral is also equal to the integral along the real axis followed by the integral along the upper half circle. But as far as the integral along the upper half circle (call it )
as because . The bound comes from the “maximum of the function being integrated times the arc length of the integral”.
So the only non-zero part left is which is the Cauchy Principal value, which, IF the integral is convergent, is equal to .
Application: Note that if then which meets our criteria. So the upper half plane singularities are at ; both are simple poles. So we can plug these values into (the formula for simple poles)
So to finish the integral up, the value is
Now for a more delicate example
This example will feature many concepts, including the Cauchy Principal Value.
We would like to calculate with the understanding that so we assume that .
First, we should show that converges. We can do this via the alternating series test:
which forms an alternating series of terms whose magnitudes are decreasing to 0 (we are adding the signed areas bounded by the graph of and the axis and note that the signed areas alternate between positive and negative and the absolute values of the areas decrease to zero as for
Above: we have the graphs of .
Aside: note that diverges.
Reason: and these form the terms of a divergent series.
So we know that our integral converges. So what do we do? Our basic examples assume no poles on the axis. And we do have the trig function.
So here is what turns out to work: use . Why? For one, along the real axis we have and so what we want will be the imaginary part of our expression..once we figure out how to handle zero AND the real part. Now what about our contour?
Via (someone else’s) cleverness, we use:
We have a small half circle around the origin (upper half plane), the line segment to the larger half circle, the larger half circle in the upper half plane, the segment from the larger half circle to the smaller one. If we call the complete contour then by Cauchy’s theorem no matter what are provided . So the idea will be to let and to see what happens.
Let stand for the larger half circle and we hope that as we have
This estimate is a bit trickier than the other estimates.
Reason: if we try which could equal when . Then multiplying this by the length of the curve () we simply get which does NOT go to zero.
So we turn to integration by parts: and use
Now as we have which does go to zero.
And the integral: we now have a in the denominator instead of merely hence
which also goes to zero.
So we have what we want on the upper semicircle.
The lower semicircle We will NOT get zero as we integrate along the lower semicircle and let the radius shrink to zero. Let’s denote this semicircle by (and note that we are going in the opposite of the standard direction) so we are really calculating $latex . This is not an elementary integral. But what we can do is expand into its Laurent series centered at zero and obtain:
where represents the regular part..the analytic part.
So now . Now the second integral goes to zero as because it is the integral of an analytic function over a smooth curve whose length is shrinking to zero. (or alternately: whose endpoints are getting closer together; we’d have where is a primitive of and .)
The part of the integral that survives is for ANY (check this: use .
So adding up the integrals (I am suppressing the integrand for brevity)
which is true for .
So we have
Now for the cosine integral: yes, as this integral diverges. BUT note that for all finite we have: as is an odd function. So the Cauchy Principal Value of
We can now use the imaginary parts and note that the integrals converge (as previously noted) and so: