Intereting Posts

A recurrence that wiggles?
Characterization of projective and injective modules
Metric induced by a norm – what conditions should this metric meet?
How do you rearrange equations with dot products in them?
Conjecture ${\large\int}_0^\infty\leftdx=\frac{\zeta(3)}{8\pi^2}$
Bad at computations… but not math?
Suppose f is differentiable on an interval I. Prove that f' is bounded on I if and only if exists a constant M such that $|f(x) – f(y)| \le M|x – y|$
minimizing sum of distances
Preparing for Mathematics Olympiad
why does matlab give me a negative number?
dense in $\mathbb{R}$ and dense in $$ modulus $1$
Every power series expansion for an entire function converges everywhere
Determine the volume of the solid obtained by rotating the region bounded between $y = x^2$ and $y = x$ about $y = x.$
Find $f(x)$ such that $f(f(x)) = x^2 – 2$
How to solve $\frac{y''}{y} = -\frac{2}{9x^2}$ without guessing?

In many of my physics courses, (don’t worry, this is a mathematics question!) My teachers cancel out differentials, and every time, they say: “If a mathematician saw me canceling out this differentials he would get mad, but we are physicists so, there is no problem in doing this.” However, still, I haven’t seen an acceptable explanation why is this so dramatically wrong. I would appreciate if someone could explain!

- Find the limit. (If an answer does not exist, enter DNE.) $\lim _{x→∞} (\sqrt{9x^2 + x} − 3x)$
- Evaluate $\int_0^\infty\frac{1-e^{-x}(1+x )}{x(e^{x}-1)(e^{x}+e^{-x})}dx$
- The limit of the derivative of an increasing and bounded function is always $0$?
- How to show $f'(0)$ exist and is equal to $1$?
- How can I solve this triple integral $\iiint_{B} y\;dxdydz$ on a defined set?
- Is there an easier way of finding a Taylor series than just straight computing the formula?
- Prove that $\int_0^{\infty} \frac{\sin(2013 x)}{x(\cos x+\cosh x)}dx=\frac{\pi}{4}$
- Methods to solve differential equations
- Deriving properties of the logarithm from its integral representation
- Integrating the formula for the sum of the first $n$ natural numbers

Physicists might use infinitesimals like in the following derivation of the product rule:

$$\begin{align}

f(x+dx)g(x+dx) &= \left(f(x)+ f^\prime(x)dx\right) \cdot \left(g(x)+g^\prime(x)dx\right) \\

&= f(x)g(x)+ f^\prime(x)g(x) dx + f(x)g^\prime(x) dx + f^\prime(x)g^\prime(x) \underbrace{dx^2}_{=0} \\

& = f(x)g(x)+ (f^\prime(x)g(x) + f(x)g^\prime(x)) dx \end{align}$$

The problem is: What is $dx$? Here you will get normally the answer that $dx$ is an infinitesimal, i.e. a number not being zero and with a distance from zero smaller than every rational number $q\in\mathbb Q^+$. But there are some problems with this explanation:

- $dx$ is mostly used like an ordinary real number. One builds fractions like $\tfrac{dy}{dx}$ and calculates with those objects like they would be real fractions. But if you think how $dx$ is used, it would be a strange number. When I write $dx^2=0$ I use $dx$ like it would be zero. One the other side $dx$ might occur in the denominator of a fraction, which is only allowed for $dx\neq 0$. So sometimes $dx$ behaves like 0 and sometimes like a nonzero number.
- Due to the Archimedian property there is no real number satisfying the properties of $dx$. So if the number system you use is $\mathbb R$, the object $dx$ cannot be a number. Because the Archimedian property is an axiom of contemporary analysis and this theory has no other concept for infinitesimals, one cannot use $dx$ in nowadays analysis.
- Normally nobody gives a mathematical rigorous definition of $dx$ when it is used in a physics course. So the question remains: What is $dx$?

Nowadays there are mathematical theories for infinitesimals: For example there is non-standard analysis, where the set of real numbers is expanded to the set of hyperreal numbers, which contains infinitesimals. In this theory one can do calculations as in the example above. So it is possible to cancel out differentials, if one shifts the underlying theory from contemporary analysis to something like non-standard analysis.

**My Opinion:** I do not think, that there is actually a problem. Normally physicists have a good intuition with infinitesimals. They know how they can use them and what problems might occur and they can work effectively with them. Okay, it would be great, if more people would be aware of theories like non-standard analysis, but in my opinion, one first has to learn the intuition of a concept before he can study its rigorous definition. For example you first calculate with real numbers in school and get some intuition for them before you go to university and learn, what the axioms of the real number system are or how they can be constructed via Dedekind cuts or Cauchy sequences.

I agree with the accepted answer: differential notation is a very useful tool for calculations, and in most of the situations where physicists and engineers use it, everything works out fine. That said, I’d like to point out a case where being sloppy with differential notation can lead one to an apparent “proof” of a false statement. I have heard this attributed to Cauchy, although I suspect this attribution is a “mathematical urban legend”.

Suppose $f_n$ is a sequence of continuous functions which converges to a function $f$ on $[0,1]$. We ask whether $f$ must be continuous. We write

$$\begin{align}

|f(x+dx)-f(x)| & =|f(x+dx)-f_n(x+dx)+f_n(x+dx)-f_n(x)+f_n(x)-f(x)| \\

& \leq |f(x+dx)-f_n(x+dx)|+|f_n(x+dx)-f_n(x)|+|f_n(x)-f(x)| \end{align}$$

Informally we now think about infinitely large $n$ and infinitely small $dx$. Then all three terms should be infinitely small (the first and third because of convergence and the second because of continuity). So the original side should be infinitely small, and so $f$ should be continuous.

When we formalize the above argument, everything works out provided $f_n$ converge uniformly. But if they converge only pointwise, then this fails: $f_n(x) = x^n$ converges for $x \neq 1$ to $0$ and for $x = 1$ to $1$. Note that unlike uniform convergence, pointwise convergence can be reasonably formulated without developing the axiomatic framework of analysis: all that we need is a way to talk about convergence of sequences of numbers, and a notion of continuity.

The problem in the argument when we go to approach the problem formally is that we need to pick a single $n$ to control both the first and third terms, and only after doing so do we choose how small $dx$ must be to control the second term. But that means that we choose $n$ before we have chosen $dx$, and without uniform convergence we may need a larger $n$ to control the first term for our chosen $dx$.

It is hard to even describe this phenomenon in the infinitesimal language! One way to see it is in the hyperreal framework: take $N$ to be an infinite natural number and $dx=1/N$. Then the standard part of $(1-dx)^N$ is not $1$, but rather $e^{-1}$. And now we see the problem: the limit processes $n \to \infty$ and $x \to 1^-$ compete with one another, one trying to pull the result toward $0$ and the other trying to pull the result toward $1$. This effect is missed when we naively say that $n$ is infinite and $dx$ is infinitesimal without saying how they compare to one another.

The standard example is to solve $y’ = y$. So the physicist would write $dy = ydx$ and therefore $\frac{dy}{y} = dx$ then compute anti-derivatives of both sides. The physicist does not care about the mathematics here, but only whether or not the manipulations will lead to a correct answer. Indeed he divides by $y$, which could be zero, but again he does not care.

It is a mistake because what does $dy$ and $dx$ even mean? I still have no idea what it means, and despite people trying to explain what it means in the last 10 years I have never came across any clear explanation. Think of it as the magic of notation that solves the problem for you, that is it.

- Applications of Weierstrass Theorem & Stone Weierstrass Theorem
- Closed form for $\int_{-\infty}^0\operatorname{Ei}^3x\,dx$
- Calculus of variations with two functions and inequality
- Dominant term and Big Omega
- A discrete topological space is a space where all singletons are open $\implies$ all sets are clopen? Closed?
- fibre of a fibration is homotopy equivalent to its homotopy fibre
- Sufficient and necessary conditions for $f,g$ such that $\Bbb F_m/(f) \cong \Bbb F_m/(g)$
- Compute $\sum_{k=1}^{\infty}e^{-\pi k^2}\left(\pi k^2-\frac{1}{4}\right)$
- As many even numbers as natural numbers.
- Given number of trailing zeros in n!, find out the possible values of n.
- Sum of these quotient can not be integer
- A way to well-order real line
- Are non-standard models always not well-founded?
- Prove $|a – b|< c$ if and only if $b – c < a < b + c$.
- Is it a good approach to heavily depend on visualization to learn math?