Past exam of the integration course of the University of Oxford / 2017 / 2 / a / i / Solution

Let $\varphi :I\to J$ be a $C^1$ diffeomorphism between intervals, which may be unbounded. For a nonnegative Lebesgue measurable function $f$ on $J$, Lebesgue substitution on an interval givesallowing the value infinity. The same identity applied to $|f|$ shows that $f$ is Lebesgue integrable exactly when the transformed integrand is integrable; in that case the displayed formula holds for signed or complex $f$ as well. The absolute value on the derivative makes the formula valid for both increasing and decreasing substitutions. Finite endpoints can be omitted without changing a Lebesgue integral, because individual points are null sets.