Differentiation Under The Integral Sign - Derivation of The Principle of Differentiation Under The Integral Sign

Derivation of The Principle of Differentiation Under The Integral Sign

A definite integral is a function of its upper limit and its lower limit

If is a continuous function of or, then, from the definition of the definite integral,

and

since, from proof of the fundamental theorem of calculus,

\begin{align} \frac{\partial}{\partial b}\int_a^b f(x)\; dx &= \lim_{\Delta b \to 0} \frac{1}{\Delta b} \left \\ &= \lim_{\Delta b \to 0} \frac{1}{\Delta b} \int_b^{b+\Delta b} f(x)\,dx = \lim_{\Delta b \to 0} \frac{1}{\Delta b} \left \\ &= f(b) \qquad \text{and} \\ \frac{\partial}{\partial a}\int_a^b f(x)\; dx &= \lim_{\Delta a \to 0} \frac{1}{\Delta a} \left \\ &= \lim_{\Delta a \to 0} \frac{1}{\Delta a} \int_{a+\Delta a}^a f(x)\,dx = \lim_{\Delta a \to 0} \frac{1}{\Delta a} \left \\ &= -f(a). \end{align}

Suppose and are constant, and that involves a parameter which is constant in the integration but may vary to form different integrals. Then, by the definition of a function,

In general, this may be differentiated by differentiating under the integral sign; i.e.,

To prove this and, at the same time, to determine conditions under which the formula is true, we proceed as follows:

From

From the fact that we have

If is a continuous function of and when then for any there exists such that

for all values of

(This follows from the Heine–Cantor theorem that every continuous function on a compact set is uniformly continuous.)

Therefore, from and

we get and the fact that is, therefore, a continuous function.

Similarly if exists and is continuous, then for all there exists such that:

for all

Therefore,

\begin{align} \frac{\Delta \phi}{\Delta \alpha}&=\int_a^b\frac{f(x,\alpha+\Delta\alpha)-f(x,\alpha)}{\Delta \alpha}\;dx\\ &= \int_a^b \frac{\partial\,f(x,\alpha)}{\partial \alpha}\,dx + R\\ \text{where} \quad |R| &< \int_a^b \epsilon\; dx = \epsilon\;(b-a). \end{align}

Now, as, therefore,

This is the formula we set out to prove.

Now, suppose where and are functions of which take increments and respectively, when is increased by Then,

\begin{align} \Delta\phi &=\phi(\alpha+\Delta\alpha)-\phi(\alpha)=\int_{a+\Delta a}^{b+\Delta b}f(x,\alpha+\Delta\alpha)\;dx\,-\int_a^b f(x,\alpha)\;dx\, \\ &=\int_{a+\Delta a}^af(x,\alpha+\Delta\alpha)\;dx+\int_a^bf(x,\alpha+\Delta\alpha)\;dx+\int_b^{b+\Delta b}f(x,\alpha+\Delta\alpha)\;dx\,-\int_a^b f(x,\alpha)\;dx\, \\ &=-\int_a^{a+\Delta a}\,f(x,\alpha+\Delta\alpha)\;dx+\int_a^b\;dx+\int_b^{b+\Delta b}\,f(x,\alpha+\Delta\alpha)\;dx.\, \end{align}

A form of the mean value theorem, where can be applied to the first and last integrals of the formula for above, resulting in

Dividing by, letting noticing and and using the result yields

This is the general form of the Leibniz integral rule.

Read more about this topic:  Differentiation Under The Integral Sign

Famous quotes containing the words principle, integral and/or sign:

    “Whether our feet are compressed in iron shoes, our faces hidden with veils and masks; whether yoked with cows to draw the plow through its furrows, or classed with idiots, lunatics and criminals in the laws and constitutions of the State, the principle is the same; for the humiliations of the spirit are as real as the visible badges of servitude.”
    —Elizabeth Cady Stanton (1815–1902)

    “... no one who has not been an integral part of a slaveholding community, can have any idea of its abominations.... even were slavery no curse to its victims, the exercise of arbitrary power works such fearful ruin upon the hearts of slaveholders, that I should feel impelled to labor and pray for its overthrow with my last energies and latest breath.”
    —Angelina Grimké (1805–1879)

    “A flow of words is a sure sign of duplicity.”
    —Honoré De Balzac (1799–1850)