Solution

ID: past-exam-of-the-integration-course-of-the-university-of-oxford/2014/1/c/solution

The function is continuous for , hence Lebesgue measurable. On , and give
Since , is Lebesgue integrable on by power singularity integrability.
On , the first summand is Lebesgue integrable:
The second summand is not. To prove it, take the pairwise disjoint intervals
On , , the length is , and . Hence
The p-series with exponent diverges, so .
If were Lebesgue integrable on this tail, subtracting its integrable first summand would make integrable as well, a contradiction. Therefore
This uses the general fact that an integrable perturbation cannot repair nonintegrability. The conclusion concerns absolute integrability; oscillatory cancellation in an improper integral is a separate issue.

New to topics? Read the docs here!