## multiplying by dx

When solving an ODE, physcists sometimes multiply the differential dx.

Example

df/dx = x/2

df = (x/2)dx

f = x^2 + c

I've always been told that this mathematically unsound, but I've never been told why. Is it because the necessary constant c may not necessarily be additive? Are there any specific counter-examples where this doesn't work?

 PhysOrg.com science news on PhysOrg.com >> Hong Kong launches first electric taxis>> Morocco to harness the wind in energy hunt>> Galaxy's Ring of Fire
 It works fine. The objection is that, in Leibnitz's notation, df/dx is not the quotient of something df by something dx. The calculation is conveniently done that way, and eaisiy checked at the end, so even if someone "questions" the method, you still get the right answer.

Recognitions:
Gold Member
Homework Help
 Quote by flatmaster When solving an ODE, physcists sometimes multiply the differential dx. Example df/dx = x/2 df = (x/2)dx f = x^2 + c I've always been told that this mathematically unsound, but I've never been told why. Is it because the necessary constant c may not necessarily be additive? Are there any specific counter-examples where this doesn't work?

1. It is mathematically unsound because "dx" is not a number, so you can't "multiply" with it.

2. Doing so "works" in the very limited case of an ordinary first derivative, because it can then be coupled to the rigorous mathematical theory concerning differential forms.

It does NOT work, in general, for higher order derivatives, or partial derivatives, not even first-order ones.

## multiplying by dx

Wonderful, two opposite answers. I think I know who's the physicist and who's the mathematician.

 Recognitions: Gold Member Science Advisor Staff Emeritus How about a third answer? The differential (a.k.a. covector field) df is, in fact, the scalar product of the differential dx by the function df/dx. But that fact has nothing to do with the related property of real numbers. (at least, not directly) (okay, I lied -- arildno already said this)

Recognitions:
Gold Member
Homework Help
 Quote by flatmaster Wonderful, two opposite answers. I think I know who's the physicist and who's the mathematician.
How are the two "opposite"??

All g_edgar did was to pre-gurgitate my point 2.

(Is pregurgitate an English word, by the way?)

 Recognitions: Gold Member Science Advisor Staff Emeritus Hey, English is flexible. If it wasn't, it is now! My look at it: $$\frac{dy}{dx}= \lim_{h\rightarrow 0}\frac{f(x+h)- f(x)}{h}$$ Writing "dy/dx= f(x) so dy= f(x)dx" by "multiplying both sides by dx" is "mathematically unsound" because dy/dx is the limit of a fraction, not a fraction. But you can use that equation: "dy= f(x)dx" (though not the justification "multiplying both sides by dx") because it is the limit of a fraction! Basically, you can justify treating dy/dx as if it were a fraction (note the use of subjunctive mode?) by going back before the limit, using the fact that (f(x+h)- f(x))/h is a fraction, then taking the limit again. Take any Calculus text, and look at how the "chain rule" (which could be symbolized by $$\frac{dy}{dt}= \frac{dy}{dx}\frac{dx}{dt}$$ and note that they don't "cancel" the "dx"s. In order to make use that, we define the "differentials": "dx" is an "undefined ("primitive") term and then we define "dy" by "dy= f'(x)dx". (I intentionally used the notation "y' " rather than "dy/dx" to avoid anyone thinking I was "cancelling"!) Although used a lot in Calculus and Differential Equations, differentials really come into there own in Differential Geometry.
 Recognitions: Gold Member Homework Help Science Advisor "Writing "dy/dx= f(x) so dy= f(x)dx" by "multiplying both sides by dx" is "mathematically unsound" because dy/dx is the limit of a fraction, not a fraction." This was, as it happens, also Newton's view: He made the analogy that if we take the fraction 2x/x and let x pass into infinity, the expression still equals 2, but that nobody would say that in the limit, we had a fraction between two numbers. Ps: Thanks, Halls, I thought pregurgitate was a nice word myself!
 Recognitions: Gold Member Science Advisor Staff Emeritus Yes, it was Newton's view, but he was using "infinitesmals" and it has taken us almost 500 years to define those properly! Anyway, in "non-standard" analysis, I would have had to tell the OP that his first question made no sense!
 Leibniz notation is unsound, but miraculously produces the correct answer most of the time anyway (at least for first-year calculus). As it's been said before, the derivative and integral are defined by limits. You can't break the limit into two halves. In other words, it is blatantly false that $$\lim \frac{a}{b} = \frac{\lim a}{\lim b}$$ or variation like that. You simply can't split a limit. The "dx" can't exist on its own like that. It's not a real number. It's not an infinitesimal. It's nonsense. But it's nonsense that produces the correct answer (in most cases). The reason for this probably has to do with a generalized notion of a limit. If you had a limit operator that acted on an entire equation (as opposed to an expression -- ie: on both sides of the = sign, not just on the left or right), then you can do a few more tricks. In that case, the definition of a derivative would be $$\lim_{h->0} (f'(x) = \frac{f(x+h) - f(x)}{h})$$ The parentheses are there to show that the limit applies to the whole equation. The important difference is that the variable h is allowed to live anywhere inside the equation (as opposed to just on the left or right side). That means, we can rearrange the equation like this: $$\lim_{h->0} (f'(x) h = f(x+h) - f(x))$$ If someone learned calculus with a concentration in physics, they will recognize this form immediately. The h plays the role of the dx. The limit suggests it plays the role of an infinitesimal. If you use the first equation, you can reduce the limit equation to a regular one, and in the process, you learn the derivative. In the second equation, (the one right above here), the equation reduces to 0 = 0, which (while useless) is still true. So these bastard "dx"'s can be used to do simple calculus. If you can solve problems using this method, that's cool. But you should understand that you're really working with a more powerful framework. The dx's are NOT real numbers. They are NOT functions. They are just the shadows of more powerful tools. These methods tend to break down when you get to more difficult problems. When there are more than one function or you are working with a function of more than one parameter, it would not be difficult to run into problems. Especially in multivariable calculus, when learning to do multiple integrals, surface, or line integrals, the equation is more of a summary of the problem than the whole problem.
 I know people have already tried to give an explanation, but I would recommend you to browser Thomas's Calculus book and look for section 3.8. I am glad I looked it up, I had the same question for ages. Its no fun solving problems when you know you don't understand the first principles.
 In nonstandard analysis the derivative is a perfectly good fraction and things like df = (x/2)dx describe numbers and make sense.

Recognitions:
Gold Member
Homework Help
 Quote by Phrak In nonstandard analysis the derivative is a perfectly good fraction and things like df = (x/2)dx describe numbers and make sense.
Sure, but then again, neither division or multiplication in non-standard analysis are the same operations as within "standard" maths.

 Quote by Phrak In nonstandard analysis the derivative is a perfectly good fraction and things like df = (x/2)dx describe numbers and make sense.
This is perhaps misleading. In nonstandard analysis, the quotient of infinitesimals is not equal to the derivative, it is just infinitely close to the derivative.

 dy = a dx is just a different (and, especially in physics, often more natural) way of writing dy/dx = a.

Recognitions:
Gold Member
Homework Help
 Quote by Preno dy = a dx is just a different (and, especially in physics, often more natural) way of writing dy/dx = a.
Nope, it is not.

 Quote by arildno Sure, but then again, neither division or multiplication in non-standard analysis are the same operations as within "standard" maths.
I'm not sure what you mean. There are things that have no counterpart in real numbers, like

$$\frac{y}{dx} .$$

Can you supply an example?