Leibniz Notation

**Moose352** · Dec20-04, 05:58 PM

I'm a bit confused by the leibniz notation for the derivative ie. dy/dx. I've been told that the symbol is not a fraction and can't be split, but I've also seen it split for differentials and the chain rule. Can someone concisely explain what all of it means?

Dec20-04, 06:07 PM

I read this somewhere on these forums a while back:
"It is not a fraction, but can be treated as one in some cases."

**NeutronStar** · Dec21-04, 01:16 AM

Originally Posted by Moose352

I'm a bit confused by the leibniz notation for the derivative ie. dy/dx. I've been told that the symbol is not a fraction and can't be split, but I've also seen it split for differentials and the chain rule. Can someone concisely explain what all of it means?

It actually is a fraction in the sense of a limit,...

$LaTeX Code: \\frac{dy}{dx}=fsingle-quote(x)\\equiv \\lim_{\\substack{\\Delta x\\rightarrow 0}} \\frac{f(x+\\Delta x)-f(x)}{\\Delta x}$

So in a very real sense we can think of it as $LaTeX Code: dy \\doteq f(x+\\Delta x)-f(x)$ (i.e. the infinitesimal change in y), and $LaTeX Code: dx \\doteq \\Delta x$ (i.e. the infinitesimal change in x). Where I'm using the dot over the equals sign here to indicate that these quantities are not technically equivalent but have a strong relationship.

We only need to keep in mind that this ratio is defined within the framework of the concept of a limit. This is why we can't just claim that it is a normal fraction outright.

It seems to me though, that it should be a legitimate fraction because it is indeed a ratio between

and

which can be thought of as actual values albeit arbitrarily small ones.

We only need to be careful that all of the criteria have been satisfied with respect to the formal definitions of a limit and a derivative. But once those criteria have been met this does indeed represent a rate of change, (i.e. a ratio or fraction) by the very definition of a derivative.

Edited to add:

Recall that I said above that we can think of it as $LaTeX Code: dy \\doteq f(x+\\Delta x)-f(x)$ , and $LaTeX Code: dx \\doteq \\Delta x$ .

But notice that if we do this then

is dependent on the value of $LaTeX Code: \\Delta x$ , and simultaneously we are thinking in terms of $LaTeX Code: dx \\doteq \\Delta x$ .

Therefore the so-called fraction $LaTeX Code: \\frac {dy}{dx}$ would have a numerator that is dependent on the value of the denominator. So hopefully you can see that this isn't a normal situation for most fractions, and this is why we can't think of it as a normal everyday fraction. We can, however, get away with using it algebraically like a fraction in many situations. In fact, we do this more often than not.

**dextercioby** · Dec21-04, 02:04 AM

The only problems regarding Leibniz notation come up when making a change of variable when calculating the antiderivative of a function.
Define the differential of a function f(x) (of one variable) through:

(1)
,where "dx" is called the differential of the variable "x" and can be seen as an infinitesimal variation in "x".You cannot equate it with 0.
"f'(x)" is the derivative of of the function f(x) is defined by a process involving a limit
$LaTeX Code: fsingle-quote(x)=:\\lim_{\\epsilon\\rightarrow 0} \\frac{f(x+\\epsilon)-f(x)}{\\epsilon}$
As u can see,by taking (1) as a definition for a differential,it turns out that u can express the derivative of a function by a mere ratio between differentials.And 'ratio' is understood algebraically.This definition is very useful,as it can allow a definition for the antidifferentiation:
$LaTeX Code: f(x)+C=:\\int df \\begin{array}{c} (1)\\\\= \\end{array} \\int fsingle-quote(x) dx$

That's why 'dx' should never miss when expressing an antidifferential/antiderivative.From (1),u can express the derivative as a ratio of two differentials:one of the function and one of the variable.
$LaTeX Code: fsingle-quote(x)=\\frac{df}{dx}$ (2)

The fact that the derivative can be seen as a regular/normal ratio of differentials allows,for example,integrating differential equations through the method of variable separation.E.g.
$LaTeX Code: ysingle-quote(x)=u_{1}(x) u_{2}(y)$
,where $LaTeX Code: u_{1}(x),u_{2}(y)$ are arbitrary functions.Using (2),u can write:
$LaTeX Code: \\frac{dy}{dx}=u_{1}(x) u_{2}(y) \\Rightarrow \\frac{dy}{u_{2}(y)}=u_{1}(x) dx \\Rightarrow \\int \\frac{dy}{u_{2}(y)}=\\int u_{2}(x) dx$
,which gives the solution to the equation.

Daniel.

**dextercioby** · Dec21-04, 02:25 AM

The notation due to Leibniz is very useful.Consider the expression:
$LaTeX Code: y(x)=y(u(x))\\Rightarrow ysingle-quote(x)=ysingle-quote(u(x)) usingle-quote(x)$
It's the chain rule for an univariable function.To prove it,it would be horrible,all those limits...

Using differentials,its immediately:
$LaTeX Code: y(x)=y(u(x))\\Rightarrow \\frac{dy}{dx}=\\frac{dy}{du}\\frac{du}{dx}$
,which becomes obvious,since u can "simplify" through "du".Actually both multiply and divide.This multiplication and division could go/becomes handy for more complicated situations
$LaTeX Code: y(x)=y(u_{1}(u_{2}(u_{3}(...(u_{n}(x))...))))\\Righ tarrow \\frac{dy}{dx}=\\frac{dy}{du_{1}}\\frac{du_{1}}{du_{2 }}\\frac{du_{2}}{du_{3}}...\\frac{du_{n-1}}{du_{n}}\\frac{du_{n}}{dx}$
This Leibniz rule can be extended for multivariable functions.Using the notation of Jacobi (that "d" rond).
$LaTeX Code: \\frac{\\partial f}{\\partial x}=\\frac{\\partial f}{\\partial r}\\frac{\\partial r}{\\partial x}+\\frac{\\partial f}{\\partial \\theta}\\frac{\\partial \\theta}{\\partial x}+\\frac{\\partial f}{\\partial \\phi}\\frac{\\partial \\phi}{\\partial x}$

Daniel.

**quasar987** · Dec21-04, 12:39 PM

So far, only "arguments" in favor of dy/dx being a fraction have been exposed. Are there cases where dy/dx cannot be considered a fraction? Personnally, I don't think so...

I remember quite clearly that my first calculus teacher told a student that dy/dx could not be considered a fraction... I think it was in the context of a student applying the chain rule like this

$LaTeX Code: y(x)=y(u(x))\\Rightarrow \\frac{dy}{dx}=\\frac{dy}{du}\\frac{du}{dx}$

and simplyfying the du right away. This of course, leads to no result. And that's probably what led the teacher to said you couldn't do that because the expression dy/dx could not be considered as a fraction. But like I said, I don't think it's true.

**arildno** · Dec21-04, 12:43 PM

Originally Posted by quasar987

So far, only "arguments" in favor of dy/dx being a fraction have been exposed. Are there cases where dy/dx cannot be considered a fraction? Personnally, I don't think so...

I remember quite clearly that my first calculus teacher told a student that dy/dx could not be considered a fraction... I think it was in the context of a student applying the chain rule like this

$LaTeX Code: y(x)=y(u(x))\\Rightarrow \\frac{dy}{dx}=\\frac{dy}{du}\\frac{du}{dx}$

and simplyfying the du right away. This of course, leads to no result. And that's probably what led the teacher to said you couldn't do that because the expression dy/dx could not be considered as a fraction. But like I said, I don't think it's true.

Chew on this delightful identity then:
$LaTeX Code: \\frac{\\partial{x}}{\\partial{y}}\\frac{\\partial{y}}{ \\partial{z}}\\frac{\\partial{z}}{\\partial{x}}=-1$

**arildno** · Dec21-04, 01:06 PM

This is of course ultra-sleazy, since I suppressed the fact that this equation only holds when the variables (x,y,z) is related to each other by a CONSTRAINT, say
G(x,y,z)=0.

To see why it is true then, we take the example:
ax+by+cz=0, where a,b,c are non-zero constants.

We may then solve for one of the variables with respect to the other two:
$LaTeX Code: x=X(y,z)=-\\frac{b}{a}y-\\frac{c}{a}z\\to\\frac{\\partial{X}}{\\partial{y}}=-\\frac{b}{a}$
$LaTeX Code: y=Y(x,z)=-\\frac{a}{b}x-\\frac{c}{b}z\\to\\frac{\\partial{Y}}{\\partial{z}}=-\\frac{c}{b}$
$LaTeX Code: z=Z(x,y)=-\\frac{a}{c}x-\\frac{b}{c}y\\to\\frac{\\partial{Z}}{\\partial{x}}=-\\frac{a}{c}$
Hence,
$LaTeX Code: \\frac{\\partial{X}}{\\partial{y}}\\frac{\\partial{Y}}{ \\partial{z}}\\frac{\\partial{Z}}{\\partial{x}}=(-\\frac{b}{a})(-\\frac{c}{b})(-\\frac{a}{c})=-1$
as indicated.
As long as we may use the implicit function theorem on G(x,y,z)=0, the surprising identity holds for general G.

**Hurkyl** · Dec21-04, 02:04 PM

These sorts of algebraic manipulations with "infinitessimals" are fine for simple things like rational functions, though we already see how treacherous the terrain is, as you've overlooked the fact that the value of:

$LaTeX Code: <BR>\\frac{f(x + \\epsilon) - f(x)}{\\epsilon}<BR>$

is a function of both x and ?; in other words, the value of this "derivative" depends on your choice of infinitessimal.

Secondly, it is difficult to make sense of most functions when you try to use infinitessimals. For instance, what could $LaTeX Code: \\sin (x + \\epsilon)$ or $LaTeX Code: e^{\\epsilon}$ mean? It's even more problematic than you think, since the trig and exponential functions are usually defined via an infinite series, but the usual form of those are more or less useless when infinitessimals are involved!

Even worse, consider this function, one of the standard "weird" examples of calculus:

f(x) = 0 if x is irrational
f(x) = 1/q if x=p/q is rational, where p/q is in lowest terms

How could you possibly extend this function sensibly to a domain with infinitessimal values, let alone use that to prove it's differentiable precisely when x is irrational?

All this can be done (see nonstandard analysis) but it requries a bit of "magic" with formal logic to do right. For a (very) basic introduction to doing ordinary calculus with infintiessimals, see:

http://www.math.wisc.edu/~keisler/calc.html

**NeutronStar** · Dec21-04, 02:22 PM

Originally Posted by quasar987

So far, only "arguments" in favor of dy/dx being a fraction have been exposed. Are there cases where dy/dx cannot be considered a fraction? Personnally, I don't think so...

I remember quite clearly that my first calculus teacher told a student that dy/dx could not be considered a fraction... I think it was in the context of a student applying the chain rule like this

$LaTeX Code: y(x)=y(u(x))\\Rightarrow \\frac{dy}{dx}=\\frac{dy}{du}\\frac{du}{dx}$

and simplyfying the du right away. This of course, leads to no result. And that's probably what led the teacher to said you couldn't do that because the expression dy/dx could not be considered as a fraction. But like I said, I don't think it's true.

Is that technically correct though?

Shouldn't it be,...

$LaTeX Code: y(x)=y(u(x))\\Rightarrow \\frac{d}{du}\\left[ y(u(x))\\right] \\cdot \\frac{du}{dx}= \\frac{dy(u(x))}{dx} \\not = \\frac {dy(x)}{dx} = \\frac{dy}{dx}$

I've haven't worked out a concrete example, but I think the question would come down to asking if the following is equal,...

$LaTeX Code: \\frac{d}{dx}\\left[ y(x)\\right]=\\frac{d}{dx}\\left[ y(u(x))\\right] ?$

In other words, does,...

$LaTeX Code: \\frac{dy(x)}{dx}=\\frac{dy(u(x))}{dx} ?$

In this probably more of a case of sloppy shorthand notation rather than having anything to do with fractions.

Of course if

then

isn't much of a function is it?

**dextercioby** · Dec21-04, 02:54 PM

Originally Posted by NeutronStar

Is that technically correct though?

Shouldn't it be,...

$LaTeX Code: y(x)=y(u(x))\\Rightarrow \\frac{d}{du}\\left[ y(u(x))\\right] \\cdot \\frac{du}{dx}= \\frac{dy(u(x))}{dx} \\not = \\frac {dy(x)}{dx} = \\frac{dy}{dx}$

I've haven't worked out a concrete example, but I think the question would come down to asking if the following is equal,...

$LaTeX Code: \\frac{d}{dx}\\left[ y(x)\\right]=\\frac{d}{dx}\\left[ y(u(x))\\right] ?$

In other words, does,...

$LaTeX Code: \\frac{dy(x)}{dx}=\\frac{dy(u(x))}{dx} ?$

In this probably more of a case of sloppy shorthand notation rather than having anything to do with fractions.

Of course if then isn't much of a function is it?

Okay,genious:
$LaTeX Code: \\frac{dy(u(x))}{dx}=\\frac{dy}{du}\\frac{du}{dx}$

$LaTeX Code: y(u)=u^{2};u(x)=x^{2}\\Rightarrow y(x)=y(u(x))=x^{4}$
$LaTeX Code: \\frac{dy}{dx}=4x^{3}$
$LaTeX Code: \\frac{dy}{du}=2u=2x^{2}$
$LaTeX Code: \\frac{du}{dx}=2x$
$LaTeX Code: \\frac{dy}{du}\\frac{du}{dx}=4x^{3}=\\frac{dy}{dx}$

I'll let work something more simple:
$LaTeX Code: y(u)=\\sin u;u(x)=\\arcsin x$

Daniel.

PS.Gottfried Wilhelm Leibniz would be rolling in his grave for this...

**matt grime** · Dec21-04, 03:36 PM

And in this case y(x) isn't equal to y(u(x)) so your point is what? Neutronstar has a valid point that you seem to have over looked.

**mathwonk** · Dec21-04, 03:59 PM

leibniz really was a genius. almost anything plausible you can say about his differentials is true and even justifiable in some way.

in manifold theory, a symbol like du or dy or df, refers to the differential of the function u,y,or f. it is an object that assigns to each point p, a linear function on the tangent space at p, i.e. the dual vector du(p) that maps a tangent vector v at p to the directional derivative of the function u in the direction v.

anyway, if the manifold is only one dimensional, then the tangent space ate ach point p, and also the dual space, is also one dimensional. hence any two elements of that one dimensional space define a scalar, unlkess they are both zero. i.e. given two elements du(p) and dy(p) if say du(p) is not zero, there is a unique scalar c such that cdu(p) = dy(p). we call this scalar c = (dy/du)(p).

In case u happens to be invertible, and hence defines a local coordinate system on the manifold near p, the number c equals the usual derivative of the composition y composed with u^(-1), which composition is a real valued function of a real variable.

so it does make good sense in this case (the one dimensional case) to not only define du as an independent object but also to divide two such objects. in higher dimensions one can define du the same way, but not divide by it., since two vectors in a higher dimensional space do not tend to be scalar multiples of each other.

**dextercioby** · Dec21-04, 04:18 PM

Originally Posted by matt grime

And in this case y(x) isn't equal to y(u(x)) so your point is what? Neutronstar has a valid point that you seem to have over looked.

Which case??Are you reading too much into what i've written above??I've shown him (and u 'implicitely' (a key word)) an example where the chain rule works.In that case

is just a curve in the 2 dimensional plane.If i make a reparametrization

,wouldn't the curves

and

be identical????????????????????????????????????.And the tangent lines would be the same,right?????????

Daniel.

PS.I assumed both parametrizations as diffeomorphisms.

**matt grime** · Dec21-04, 05:08 PM

No, the point is that if y(x)=y(u(x)) then u(x)=x, at least locally anyway assuming all manner of things we usually do in analysis, or it's periodic or something equally restrictive. Ie this isn't how the question should have been phrased.

**dextercioby** · Dec21-04, 05:26 PM

Originally Posted by matt grime

No, the point is that if y(x)=y(u(x)) then u(x)=x, at least locally anyway assuming all manner of things we usually do in analysis, or it's periodic or something equally restrictive. Ie this isn't how the question should have been phrased.

I can only say that implicite variable dependence of arbitrary (smooth) functions is not among your favorites...I can tell u haven't worked with Lagrange functions in your lifetime...

I had in mind the famous diagram:
$LaTeX Code: A\\rightarrow B\\rightarrow C$
where from A(where is the element "x") to B u get by the $LaTeX Code: C^{\\infty} (A)$ invertible function u(x) and from B to C u get by the $LaTeX Code: C^{\\infty} (B)$ invertible function y(u).Then y(x) is nothing that the mapping of A and into C,not necessarily one to one.
Your dillema assumes A=B and surjectivity of the function y.As u can see,things can be different and most commonly are...

Daniel.

EDIT:I see u edited and completed your post.That changes nothing inwhat i had to say.