Issues with differentials

87 Views Asked by At

Can somebody explain what is the difference between

  1. $\mathrm{d}^2x$
  2. $(\mathrm{d}x)^2$
  3. $\mathrm{d}x^2$?

For example, is $\displaystyle \dfrac{\mathrm{d}^2f}{\mathrm{d}x^2}$ the same as $\displaystyle \dfrac{\mathrm{d}^2f}{(\mathrm{d}x)^2}$?

What about integrating with respect to $1$, $2$ or $3$?

2

There are 2 best solutions below

0
On BEST ANSWER

The notation $\frac{\text d^2 f}{\text dx^2}$ is just that, a notation. It is meant to be evocative of the decomposition via first-derivative operators

$$ f'' = (f')' =\frac{\text d}{\text dx}\left(\frac{\text d}{\text dx} f\right) = \left(\frac{\text d}{\text dx}\right)^2 f =: \frac{\text d^2 f}{\text dx^2} $$

The concept of a differential can be formalized, leading to a mathematically sensical justification for the notation $\frac{\text df}{\text dx}$, but these frameworks typically don't have an analogue for higher-order notations.

For example, in the realm of differential topology/geometry, the operator $\text d$ satisfies $\text d^2 f = 0$ for all $f$, and $(\text dx)^2 = \text dx \wedge \text dx = 0$ as well, so their fraction is not defined and certainly doesn't represent a second-order variation in $f$. This isn't to say that this framework doesn't have a concept of higher-order derivatives, only that it is not consistent with the Leibniz notation.

There is, however, a way to view the second derivative which does align with that notation. Consider the operator $\Delta_h$ such that

$$ (\Delta_h f)(x) = f(x+h) - f(x) $$

Then, the first derivative can be written as the limit

$$ \lim\limits_{h\to 0} \frac{\Delta_h f}{\Delta_h x} $$

while the second derivative can be wrriten as the limit

$$ \lim\limits_{h\to 0} \frac{\Delta_h^2 f}{(\Delta_h x)^2} $$

and so on for higher derivatives. Importantly, these operators have no meaning as $h\to 0$ on their own, as they all go to zero individually; it is only when combined into the fraction that the limit becomes non-trivial.

0
On

1. $\mathrm{d}^2x$ is the second-order differential, i.e. the infinitesimal variation of $\mathrm{d}x$, which is itself the infinitesimal variation of the dependent variable $x$.

2. $(\mathrm{d}x)^2$ is usually an abuse of notation when computing infinitesimal length; for example, consider an infinitesimal portion of a 2D curve; then, its length is given by $\mathrm{d}\ell = \sqrt{(\mathrm{d}x)^2 + (\mathrm{d}y)^2}$, where $x,y$ are the Cartesian coordinates of the 2D plane.

3. $\mathrm{d}x^2$ is an ambiguous notation at first glance. According to the context, it could mean : $(a)$ $(\mathrm{d}x)^2$ as above; $(b)$ $\mathrm{d}(x^2)$, that is the differential of the quantity $y = x^2$; $(c)$ the second-order infinitesimal variation of the independent variable $x$.

In consequence, the second derivative of the (dependent) variable $y$ with respect to the (independent) variable $x$ will be written as $y''(x) = \frac{\mathrm{d}^2y}{\mathrm{d}x^2}$. The notation $\frac{\mathrm{d}^2y}{(\mathrm{d}x)^2}$ has no meaning.

Finally, you cannot integrate those objects directly in general (apart from the trivial/standard case $\mathrm{d}(x^2)$ mentioned in $3.c$), because integration is the reverse operation of first-order differentiation only, that is why you will need multiple integrals or consider differential forms, depending on the context.