# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Leibniz's rule (derivatives and integrals)

See Leibniz's rule, a disambiguation page, for other meanings of this term.

In mathematics, Leibniz's rule for differentiation under the integral sign, named after Gottfried Leibniz, tells us that if we have an integral of the form

$\int_{y_0}^{y_1} f(x, y) \,dy$

then the derivative of this integral is thus expressible

${d\over dx}\, \int_{y_0}^{y_1} f(x, y) \,dy = \int_{y_0}^{y_1} {\partial \over \partial x} f(x,y)\,dy$

provided that f and $\partial f / \partial x$ are both continuous over a region in the form

$[x_0,x_1]\times[y_0,y_1].$

## Proof

The proof is straightforward: let us first make the assignment

$u(x) = \int_{y_0}^{y_1} f(x, y) \,dy.$

Then

${d\over dx} u(x) = \lim_{h\rightarrow 0} {u(x+h,y)-u(x,y) \over h}.$

Substituting back

$= \lim_{h\rightarrow 0} {\int_{y_0}^{y_1}f(x+h,y)\,dy-\int_{y_0}^{y_1}f(x,y)\,dy \over h}.$

Since integration is linear, we can write the two integrals as one:

$= \lim_{h\rightarrow 0} {\int_{y_0}^{y_1}f(x+h,y)-f(x,y)\,dy\over h}.$

And we can take the constant inside, with the integrand

$= \lim_{h\rightarrow 0} \int_{y_0}^{y_1} {f(x+h,y)-f(x,y)\over h}\,dy.$

And now, since the integrand is in the form of a difference quotient:

$= \int_{y_0}^{y_1} {\partial \over \partial x} f(x)\,dy$

which can be justified by uniform continuity, so

$= {d\over dx} u(x) = {d\over dx} \int_{y_0}^{y_1} f(x, y) \,dy.$
03-10-2013 05:06:04