Intereting Posts

Determinant of a linear map given by conjugation
Proof: Categorical Product = Topological Product
Relationship beween Ricci curvature and sectional curvature
Proof of Extended Euclidean Algorithm?
Deeper meaning of “canonical”?
Help find hard integrals that evaluate to $59$?
Weighing Pool Balls where the number of balls is odd
Łoś's Theorem holds for positive sentences at reduced products in general?
Entire function, Liouville and zeroes
Approximation of $L^1$ function with compactly supported smooth function with same mass and same uniform bounds
When is $\sin(x) = \cos(x)$?
Invariant subspaces using matrix of linear operator
A calculation that goes awfully wrong if we let $\pi=22/7$
Semilinear Poisson PDE – proving a (hopefully) simple inequality
Computation of the hom-set of a comodule over a coalgebra: $Ext_{E(x)}(k, E(x)) = P(y)$.

I’ll start with an example.

In physics, $x(t)$ represents the $x$-position of a particle, and $v(t)$ its ($x$-)velocity. To determine the total displacement of a particle on the interval $[a, b]$, we can use the formula

$$\Delta x = \int_a^b{v(t)~dt}$$

- Proof: $ \int^{\infty}_{-\infty}\delta(t)^2 dt = 1 ??$
- Asymptotic behavior of the partial sums $\sum\limits_{k=1}^{n}k^{1/4} $
- Prove that $\left| f'(x)\right| \leq \sqrt{2AC}$ using integration
- Find the derivative of $\sqrt{x}$ using the formal definition of a derivative
- How to prove that $\lim\limits_{n\to\infty} \frac{n!}{n^2}$ diverges to infinity?
- Is the derivative of an integral always continuous?

To me, this makes sense, because $v = \frac {dx}{dt}\\$, so the above equation is equivalent to:

$$\Delta x = \int_a^b{v(t)~dt} = \int_a^b{\frac {dx}{dt}~dt} = \int_a^b{dx} = x(b) – x(a) = \Delta x$$

However, I’ve been told that you can’t just “cancel” the $dt$ differential because it’s not “proper.”

Another example uses parametric arc length:

$$\ell = \int_a^b{\sqrt{\left ( \frac {dx}{dt} \right )^2 + \left ( \frac {dy}{dt} \right )^2} dt}$$

Now take a standard function, $y = f(x)$. We can define $x = t$, and then we have $y(t) = f(t)$, $x(t) = t$, and $\frac{dx}{dt} = 1$. Then, $\frac {dy}{dt} = \frac {{dy}~/~{dx}}{{dx}~/~{dt}} = \frac {{dy}~/~{dx}} 1 = \frac {dy}{dx}$, and our formula simplifies to

$$\ell = \int_a^b{\sqrt{1 + \left ( \frac {dy}{dx} \right )^2} dt}$$

This is indeed the correct formula for arc length of a function (also derivable with Pythagorean theorem), but it relies on being able to cancel the $dx$s in $\frac {{dy}~/~{dx}}{{dx}~/~{dt}}$.

So, my question is, **when, if ever, can you cancel differentials?**

- Some integral representations of the Euler–Mascheroni constant
- relation between integral and summation
- For which values this integral converge?
- Comparison between integrals
- Calculus conjecture
- Show relation and linearity related to differentiable functions
- Finding $\int x^xdx$
- Periodic solution of differential equation y′=f(y)
- Integral $\int_0^1\sqrt{1-x^4}dx$
- How to convince a layman that the $\pi = 4$ proof is wrong?

You’ve clearly demonstrated one of the dangers of a naive notion of “cancelling” differentials: recall from elementary calculus that

$$\int_a^b{dx} = b-a$$

In particular, both equalities in

$$\int_a^b{\frac {dx}{dt}~dt} = \int_a^b{dx} = x(b) – x(a)$$

are incorrect. The only reason you got the correct result at the end is because you remembered what you *meant* to do, and ignored what you *actually* did.

The “right” thing to do from an elementary calculus standpoint is the change of variable formula. In particular, you would have

$$ \int_a^b \frac{dx}{dt}~ dt = \int_{x(a)}^{x(b)}~dx$$

In a realistic problem, you might have actually believed yourself when you got to the expression $\int_a^b \, dx$ and gotten the wrong answer. A lot of beginning students get greatly confused over similar mistakes.

You’ve given yourself extra chances to get the wrong answer in your formula for arclength, since what you wrote isn’t even a differential; e.g. you probably meant to multiply the integrand by $dt$ in the first formula for $\ell$.

When you’re more comfortable with differenetial forms and a more differential-geometric-like notation (which I strongly suspect you *implicitly* are without knowing what that means), you will recognize that differential forms satisfy an identity

$$ \frac{dx}{dy} \, dy = dx $$

whenever $x$ is differentiable with respect to $y$ (and there is only one “degree of freedom”). And if $\gamma$ is some path through the “state space” that $x$ and $y$ measure, then

$$ \int_\gamma f \frac{dx}{dy} \, dy = \int_\gamma f \, dx $$

just as one might expect. $f$ is supposed to be any scalar field in the above. The important distinction between this and the calculus learned in elementary calculus is that we are thinking in terms of a path through “state space” rather than an integral between numeric limits, and that $x$ and $y$ implicitly have some meaning as (dependent) variables on “state space” rather than being indeterminate “dummy” variables.

- How many monotonically increasing sequences of natural numbers?
- Can you use a logarithm coefficient in a linear equation?
- When do two matrices have the same column space?
- A question on behavior of a function which is a limit of a sequence of functions converging under some norm
- Showing ${1\over n}\sum|S_i|=O(\sqrt n)$ for $S_i\subset $, $|S_i\cap S_i|\le 1$ for $i\ne j$
- integrate $dx/(a^2 \cos^2x+b^2 \sin^2x)^2$
- How to generalize symmetry for higher-dimensional arrays?
- Expanding and understanding the poison pills riddle
- Let $V:= (C(),\|\cdot\|$) with $\|f\|:= \int_0^1|f(x)| \ dx$. Consider the function $f_n$ and show that V is not a Banach Space.
- $\angle ABD=38°, \angle DBC=46°, \angle BCA=22°, \angle ACD=48°,$ then find $\angle BDA$
- Can every set be expressed as the union of a chain of sets of lesser cardinality?
- Rigorous nature of combinatorics
- Funny identities
- All polynomial parametric curves in $k^2$ are contained in affine algebraic varieties
- Uses of step functions