3
$\begingroup$

Consider, for example, the equation $x'=x$, then it is usually solved by writing $\frac{dx}{dt}=x\implies\frac{dx}{x}=dt\implies\int\frac{dx}{x}=\int dt$ ...

I know that there is a theorem in ODE that justify $x'=x\implies\int\frac{dx}{x}=\int dt$ ,but my question is about the intermediate step: $x'$ at some point $x_{0}$ is defined via a limit. $\frac{dx}{dt}$ is, as far as I understand, a notation for the function $x'$ - so we can not multiply by $dt$ since it has no meaning, it is a part of the notation.

My question is as follows: Although the last step is indeed correct and can be justified, does the intermediate step (multiplying by $dt$) have any meaning, or is it just an easy way to remember and get to the last step ?

  • 0
    This has been asked several times here... There was one such question just one or two days ago.2012-07-25

2 Answers 2

0

It's really a formalism supported by the fundamental theorem of calculus and the chain rule.

  • 0
    I don't think it's ONLY a formalism supported that way. There are things in mathematics that nobody understands, but that are nonetheless real. People try to make this rigorous via nonstandard analysis or via smooth infinitesimal analysis, but I think methods like those have captured only part of what's there.2013-01-23
0

I did a rather extensive write-up on this in another discussion, so as not to duplicate things too much I'll post a link to that: Link. To summarize:

Starting with a seprable ODE: $ {{dx(t)} \over {dt}} dt = g(t) $

The process of "multiplying by the differential" is executing an integration by substitution using the function f(x) as the substitution variable, so:

$ u = x(t) $ $ du = x'(t)dx $ $ \int {{dx(t)} \over {dt}} dt = \int du = \int dx(t) = \int g(t) dt $ which results in: $ x(t) = \int g(t) dt $

  • 0
    You've got a pretty bad typo above. You should have $\dfrac{dx(t)}{dx}\,dt = g(t)\,dt$.2013-01-23