Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2009/d/d4/iii/solution

The function is nonnegative and continuous on the positive quadrant. In polar coordinates its product integral is, by the nonnegative change of variables formula and Tonelli's theorem,
The angular factor is at most one, while the supplied radial integral is , so the product integral is at most and is finite. This establishes integrability before any signed interchange is used.
Let denote the angular integral. The polar evaluation is . In Cartesian coordinates Fubini's theorem instead factors the integral as
using , . All factors converge: their powers exceed at zero and the exponential controls infinity. Equating the evaluations gives

New to topics? Read the docs here!