Past exam of the options II course of the University of Oxford / 2010 / D / D4

A sufficient differentiation under the integral sign theorem is the following local domination criterion. Suppose $u(t,\cdot )$ is measurable for each $t$, $u(t_0,\cdot )$ is integrable at one point of a neighborhood $J$ of $t_0$, and for almost every $x$ the function $u(\cdot ,x)$ is differentiable on $J$. Assume an integrable function $g_J$ satisfies $|{\partial }_{t}u(t,x)|\le g_J(x)$ for $t\in J$ and almost every $x$. Then $I$ is differentiable on the interior of $J$ andThe mean value theorem bounds the difference quotients by $g_J$, and the dominated convergence theorem passes their pointwise limit through the integral. Applying this criterion locally throughout $(a,b)$ proves differentiability there. One may impose the stronger condition that every $u(t,\cdot )$ is integrable from the outset.

For every integer $j\ge 0$, the $j$th derivative with respect to $t$ of $\cos (t\cos x)$ is $(\cos x{)}^j$ times a sine or cosine with a sign. Its absolute value is at most $1$ on the finite interval $[0,\pi /2]$. This is an integrable dominating function independent of $t$. Repeated differentiation under the integral sign is therefore justified for every order, giving $J_0\in C^{\infty }(\mathbb{R})$.

Differentiating the integral representation givesNow integrate the derivativeThe boundary terms vanish at both endpoints. Consequently $J_0^{\prime }(t)=-t(J_0^{\prime \prime }(t)+J_0(t))$, provingThe identity includes $t=0$, where it reads $J_0^{\prime }(0)=0$.

A naive absolute bound on the original derivative would be $1/x$, which is not integrable on $[1,\infty )$. Instead make the change of variable $s=tx$, valid for $t>0$:The integral is absolutely convergent for every positive lower endpoint. Its integrand is continuous there, so the fundamental theorem of calculus givesThe product rule now yieldsThis proves differentiability and the equation without an unjustified differentiation of a conditionally convergent derivative integral.