For fixed , apply the given one-variable identity to the smooth function
The chain rule gives
Therefore
where
Every derivative of the integrand is continuous. Repeated differentiation under the integral sign therefore shows that is smooth. This is the Second-order Hadamard lemma.

Articles by others on the same topic (0)

There are currently no matching articles.