Integral depending on a parameter
This note collects two standard “Leibniz-type” rules from Riemann integration.
Variable limits:
Assume
- If
and are continuous, then
is continuous on
- If
and are differentiable, then is differentiable and
Parameter in the integrand:
Let
- If
is continuous, then
is continuous on
- If additionally
exists and is continuous on , then is differentiable and
Both: parameter in integrand and variable limits
Let
Then
- Continuity only needs
continuous (no ). - The three terms are exactly the three contributions: moving right limit, moving left limit, integrand moving.
- Splitting into two steps: write
with , then apply the two rules above. The chain rule on gives the integral term; the -derivative of the lower anchor cancels because is constant. - Refinement:
need not be continuous — it suffices that for each , that is differentiable for each , and that there is an integrable (in ) majorant for both and on . This is dominated convergence, and it covers the pathological value of at a single -point that ruins continuity.