Leibniz's notation

In calculus, Leibniz's notation, named in honor of the 17th-century German philosopher and mathematician Gottfried Wilhelm Leibniz, was originally the use of expressions such as d"x" and d"y" and to represent "infinitely small" (or infinitesimal) increments of quantities "x" and "y", just as Δ"x" and Δ"y" represent finite increments of "x" and "y" respectively. So for "y" being a function of "x", or

:$y=f(x)\; ,,$

the derivative of "y" with respect to "x", which later came to be viewed as

:$lim\_\{Delta\; x\; ightarrow\; 0\}frac\{Delta\; y\}\{Delta\; x\}\; =\; lim\_\{Delta\; x\; ightarrow\; 0\}frac\{f(x\; +\; Delta\; x)-f(x)\}\{Delta\; x\},$

was, according to Leibniz, the quotient of an infinitesimal increment of "y" by an infinitesimal increment of "x", or

:$frac\{dy\}\{dx\}=f\text{'}(x),$

where the right hand side is Lagrange's notation for the derivative of "f" at "x".

Similarly, although mathematicians usually now view an integral

:$int\; f(x),dx$

as a limit

:$lim\_\{Delta\; x\; ightarrow\; 0\}sum\_\{i\}\; f(x\_i),Delta\; x,$

where Δ"x" is an interval containing "x"_"i", Leibniz viewed it as the sum (the integral sign denoting summation) of infinitely many infinitesimal quantities "f"("x") d"x".

One advantage of Leibniz's point of view is that it is compatible with dimensional analysis. For, example, in Leibniz's notation, the second derivative (using implicit differentiation) is::$frac\{d^2\; y\}\{dx^2\}=f"(x)$and has the same dimensional units as $frac\{y\}\{x^2\}$. [Note that $frac\{d^2\; y\}\{d\; x^2\}$ is shorthand for $frac\{d\{frac\{dy\}\{dx\}\{dx\}$, or in other words "the second differential of y over the square of the first differential of x". The denominator is not the differential of x², nor is it the second differential of x.]

History

The Newton-Leibniz approach to calculus was introduced in the 17th century. In the 19th century, mathematicians ceased to take Leibniz's notation for derivatives and integrals literally. That is, mathematicians saw that the concept of infinitesimals contained logical contradictions in the development. A number of 19th century mathematicians (Cauchy, Weierstrass and others) found logically rigorous ways to treat derivatives and integrals without infinitesimals using limits as shown above. Nonetheless, Leibniz's notation is still in general use. Although the notation need not be taken literally, it is usually simpler than alternatives when the technique of separation of variables is used in the solution of differential equations. In physical applications, one may for example regard "f"("x") as measured in meters per second, and d"x" in seconds, so that "f"("x") d"x" is in meters, and so is the value of its definite integral. In that way the Leibniz notation is in harmony with dimensional analysis.

However, in the 1950s and 1960s, Abraham Robinson introduced ways of treating infinitesimals both literally and logically rigorously, and so rewriting calculus from that point of view. But Robinson's methods are not used by most mathematicians. (One mathematician, Jerome Keisler, has gone so far as to write a [http://www.math.wisc.edu/~keisler/calc.html first-year-calculus textbook] according to Robinson's point of view.)

Leibniz's notation for differentiation

In Leibniz's notation for differentiation, the derivative of the function "f"("x") is written:

:

If we have a variable representing a function, for example if we set

:$y=f(x)\; ,,$

then we can write the derivative as:

:$frac\{dy\}\{dx\},.$

Using Lagrange's notation, we can write:

:

Using Newton's notation, we can write:

:$frac\{dx\}\{dt\}\; =\; dot\{x\},.$

For higher derivatives, we express them as follows:

: or $frac\{d^ny\}\{dx^n\}$

denotes the "n"th derivative of ƒ("x") or "y" respectively. Historically, this came from the fact that, for example, the third derivative is:

:$frac\{d\; left(frac\{d\; left(\; frac\{d\; left(f(x)\; ight)\}\; \{dx\}\; ight)\}\; \{dx\}\; ight)\}\; \{dx\},,$

which we can loosely write as:

:

Now drop the brackets and we have:

:

The chain rule and integration by substitution rules are especially easy to express here, because the "d" terms appear to cancel:

:$frac\{dy\}\{dx\}\; =\; frac\{dy\}\{du\}\; cdot\; frac\{du\}\{dv\}\; cdot\; frac\{dv\}\{dw\}\; cdot\; frac\{dw\}\{dx\},,$ etc.,

and:

:$int\; y\; ,\; dx\; =\; int\; y\; frac\{dx\}\{du\}\; ,\; du.$

Notes

ee also

*Notation for differentiation
*Newton's notation