Past exam of the integration course of the University of Oxford / 2023 / 2

The function is continuous on $(0,\infty )$, hence a measurable function. On $(0,1)$ its absolute value is at most one, while on $[1,\infty )$ the elementary estimate $|\sin u|\le |u|$ gives $|\sin (1/x^3)|\le x^{-3}$. By comparison for the Lebesgue integral,It is therefore a Lebesgue integrable function. The oscillations near zero do not obstruct absolute integrability because their amplitude stays bounded on an interval of finite measure.

Again the function is continuous on its domain and therefore a measurable function. For $0<x<1$, $|(\log x)e^{-x}|\le -\log x$, andThis standard improper integral follows from the antiderivative $x-x\log x$ and $x\log x\to 0$ at zero. For $x\ge 1$, $0\le \log x\le x$, and integration by parts gives ${\int }_1^{\infty }x{e}^{-x}dx=2/e$. ThusThe logarithmic singularity is integrable and the exponential factor controls the tail, so this too is a Lebesgue integrable function.

Let $J={\int }_0^{\infty }{e}^{-x^2}dx$. It is positive and finite: on $(0,1)$ the integrand is at most one, and on $[1,\infty )$ it is at most $e^{-x}$. Since the planar integrand is nonnegative and measurable, Tonelli's theorem givesThe change of variables formula in polar coordinates, with $x=r\cos \theta$, $y=r\sin \theta$ and absolute Jacobian determinant $r$, yieldsOne can apply the formula first on $\delta <r<R$, $0<\theta <\pi /2$, where the coordinate map is a diffeomorphism, and then exhaust the quadrant using the monotone convergence theorem. Taking the positive square root proves the half-line Gaussian integral:Here $dx$ is understood in the one-dimensional integral; it is missing from the printed question.

Put $h(t,x)=e^{-x^2-t^2/x^2}$. For every $t\ge 0$, $0<h(t,x)\le e^{-x^2}$, and the upper bound is a Lebesgue integrable function by part (b)(i). Since $h(t,x)\to e^{-x^2}$ for each $x>0$ as $t\downarrow 0$, the dominated convergence theorem gives right continuity at zero andTo apply dominated differentiation under the integral sign, fix $t_0>0$ and restrict $t$ to $[t_0/2,3t_0/2]$. ThenFor $x\ge 1$, $D(x)\le 3t_0{e}^{-x^2}$. For $0<x<1$, writing $a=t_0^2/4>0$, the substitution rule $u=1/x$ givesThus $D$ is integrable. The mean value theorem bounds nearby difference quotients by $D$, so the dominated convergence theorem justifies the derivative at $t_0$. As $t_0$ was arbitrary,Now make the change of variables $u=t/x$. The reversal of limits cancels the negative differential and givesConsequently $F^{\prime }(t)=-2F(t)$. This also follows in sign from the fact that the positive integrand decreases strictly as $t$ increases: the printed equation with a positive sign cannot hold. Solving the linear differential equation, or differentiating $e^{2t}F(t)$, and using right continuity at zero givesThis is a half-line instance of the Gaussian integral with an inverse-square term.