An elegant rearrangement of a conditionally convergent iterated integral
Introduction
The iterated integral
does not converge absolutely, i.e. the integral of the
absolute value is not finite:
Fubini's theorem tells us that if the integral of the absolute
value is finite, then the order of integration does not matter;
if we integrate first with respect to
x and then with respect
to
y, we get the same result as if we integrate first with
respect to
y and then with respect to
x. The assumption
that the integral of the absolute value is finite is
"
Lebesgue integrability". That the
assumption of Lebesgue integrability in Fubini's theorem
cannot be dropped can be seen by examining this particular
iterated integral. Clearly putting "
dx dy" in place
of "
dy dx" has the effect of multiplying the value of
the integral by −1 because of the "antisymmetry" of the
function being integrated. Therefore, unless the value of the
integral is zero, putting "
dx dy" in place of
"
dy dx" actually changes the value of the integral.
That is indeed what happens in this case.
How to evaluate this integral
The integral
can be evaulated via the trigonometric substitution
The bounds of integration can be found thus:
The integral then becomes
Now recall the
trigonometric identities
The expression above then becomes
This takes care of the "inside" integral with respect to
y;
now we do the "outside" integral with respect to
x:
Thus we have
and
The moral of the story
When
then the two iterated integrals
may have different finite values.