Integral depending on a parameter

This note collects two standard “Leibniz-type” rules from Riemann integration.

Variable limits: φ(x)=∫a(x)b(x)f(t)dt

Assume f is Riemann integrable on an interval I and has an antiderivative F on I (e.g. it is continuous). Let a,b:D→I.

φ(x)=∫a(x)b(x)f(t)dt

is continuous on D.

φ′(x)=f(b(x))b′(x)−f(a(x))a′(x).

Parameter in the integrand: φ(x)=∫abf(x,t)dt

Let U⊂R be open and f:U×[a,b]→R.

φ(x)=∫abf(x,t)dt

is continuous on U.

φ′(x)=∫ab∂f∂x(x,t)dt.

Both: parameter in integrand and variable limits

Let f:U×I→R be continuous, let a,b:D→I be differentiable with a(x)<b(x), and define

φ(x)=∫a(x)b(x)f(x,t)dt,x∈D.

Then φ is differentiable on D and (Leibniz)

φ′(x)=f(x,b(x))b′(x)−f(x,a(x))a′(x)+∫a(x)b(x)∂f∂x(x,t)dt.