Solution

ID: past-exam-of-the-options-i-course-of-the-university-of-oxford/2007/d/d2/solution

A dominated differentiation theorem is the following. Suppose is measurable in and differentiable in on an open interval, is integrable for at least one parameter value, and its parameter derivative is dominated in absolute value by an integrable function independent of . Then its integral is differentiable and
Local versions require the domination only on a neighbourhood of each parameter. The proof bounds the difference quotients by the dominating function, using the fundamental theorem of calculus or the mean-value theorem, then applies dominated convergence. Apply the argument to real and imaginary parts for a complex integrand.
For fixed , is measurable and has absolute value , so is integrable. Its derivative with respect to is , whose absolute value is the assumed integrable function . Hence
Dominated convergence also shows this derivative is continuous, though only differentiability is required.

New to topics? Read the docs here!