Intereting Posts

Upper bound for $(1-1/x)^x$
Is there a better way to input an $n$-cycle in GAP?
Showing that no Hamilton Circuit exists
Contour integral of $\sqrt{z^{2}+a^{2}}$
Theorem of Arzelà-Ascoli
Is there an unbounded uniformly continuous function with a bounded domain?
Isometry from Banach Space to a Normed linear space maps
The relationship of ${\frak m+m=m}$ to AC
showing certain vertices form an equilateral triangle
Dominated convergence and $\sigma$-finiteness
Transforming integral equation to differential equation
Are there open problems in Linear Algebra?
Solving for $a$ in power tower equation
Largest Triangle with Vertices in the Unit Cube
Simple explanation for Hypergeometric distribution probability

Some literature uses $dx$, in the context of differential equations, in a confusing way without defining what it really stands for:

$Mdx + Ndy = 0$

Does it mean one of the following or something else entirely?

- Which calculus text should I use for self-study?
- How prove this integral $ \int\limits_0^1 \int\limits_0^1 \ln\Gamma(x+y^3)\,dx\,dy =-\frac 7 {16}+\frac{1}{2}\ln 2\pi$
- How to find the point on the sphere that is closest to a plane?
- Why isn't $\int \frac{1}{x}~dx = \frac{x^0}{0}$?
- How to prove $\sum_{n=0}^{\infty} \frac{n^2}{2^n} = 6$?
- Explicit formula for recurrence relation $a_{n+1} = 2a_n + 1$

$\int Mdx + \int Ndy = 0$

$Md/dx + Nd/dy = 0$

$Mx’ + Ny’ = 0$

- Proving an asymptotic lower bound for the integral $\int_{0}^{\infty} \exp\left( - \frac{x^2}{2y^{2r}} - \frac{y^2}{2}\right) \frac{dy}{y^s}$
- Evaluating series of zeta values like $\sum_{k=1}^{\infty} \frac{\zeta(2k)}{k16^{k}}=\ln(\pi)-\frac{3}{2}\ln(2) $
- Computing $\int (1 - \frac{3}{x^4})\exp(-\frac{x^{2}}{2}) dx$
- How do you solve the Initial value probelm $dp/dt = 10p(1-p), p(0)=0.1$?
- The solution I find for the differential equation doesn't work in the interval I need
- Find a Solution using Green's Function
- Differentiating with respect to a function
- How to calculate the integral $I=\int\limits_0^1\frac{x^n-1}{\ln(x)} \,\mathrm dx$
- Fallacy limit problem - Where is the mistake?
- Is this integral finite? (convergent)

This may not be the answer, you were looking for, but a similar thing puzzled me some years ago, namely why the technique ** separation of variables** can proceed through the meaningless intermediate equation which seems to be an abuse of notation:

$$

\begin{align}

\frac{dy}{dx}&=g(x)h(y)\\

&\iff\\

\frac{1}{h(y)}\ dy&=g(x)\ dx

\end{align}

$$

But later on I found, that from a historical perspective, this practice of treating $dx$ and $dy$ as algebraic entities obeying the same arithmetic rules that are known for numbers, was initiated by Leibniz who invented the notation $dx$ along with the notation $\int$. In the days of Leibniz, $dx$ and $dy$ were conceptualized as infinitely small changes in $x$ and $y$ respectively, such that $(x,y)$ and $(x+dx,y+dy)$ were two infinitely close points on the curve described by $x$ and $y$.

The line through $(x,y)$ and $(x+dx,y+dy)$ would then be tangent to the curve at $(x,y)$, whereas the line segment from $(x,y)$ to $(x+dx,y+dy)$ was regarded as an infinitely small element of the curve. This held the paradoxical nature that an infinitely small part of a tangent was actually a part of the curve. Another difficulty was to make this concept of *infinitely small* rigorous. Just as an example, if we consider the curve given by the rule $ay=x^2$ we would have

$$

a(y+dy)=(x+dx)^2

$$

and subtracting $ay$ from LHS and $x^2$ from RHS (which is allowed since $ay=x^2$) this would lead to

$$

a\ dy=2x\ dx+dx^2

$$

But here the concept of *infinitely small* really kicks in, since $dx^2$ is not only infinitely small, but infinitely much smaller than $2x\ dx$ and can thus be disregarded as relatively insignificant on the current level of being infinitely small. We are left with $a\ dy=2x\ dx$ which provides us the correct derivative $\frac{dy}{dx}=\frac{2x}{a}$ for the function $y=\frac{x^2}{a}$.

Since these manipulations with infinitely small quantities never produced an error when treated with caution, and since they have such an appealing similarity to manipulations with actual quantities, they have since been proven to work correctly as a means to work with differential equations more fluently. Thus I would regard

$$

M\ dx+N\ dy=0

$$

as an intermediate state of expressing either

$$

M\frac{dx}{dy}+N\frac{dy}{dy}=M\frac{dx}{dy}+N=\frac{0}{dy}=0

$$

or

$$

M\frac{dx}{dx}+N\frac{dy}{dx}=M+N\frac{dy}{dx}=\frac{0}{dx}=0

$$

or maybe

$$

M\frac{dx}{dt}+N\frac{dy}{dt}=\frac{0}{dt}=0

$$

**NOTE:** I do not have knowledge about the usage of that notation in differential forms, so what I wrote may not be consistant with usage of $dx$ and $dy$ in a different branch of mathematics. Here they may well have been formalized to actually mean something themselves rather than to anticipate meaningful expressions! Indeed, I understand they have been given meaning and been proven to work correctly in what is known as *Non Standard Analysis*.

- Minima of symmetric functions given a constraint
- Why do we limit the definition of a function?
- On a system of equations with $x^{k} + y^{k} + z^{k}=3$ revisited
- Definition of a measurable function?
- Why does the Continuum Hypothesis make an ideal measure on $\mathbb R$ impossible?
- Intermediate ring between a field and an algebraic extension.
- Converse of Lagrange's theorem for abelian groups
- Fourier transform of $\frac{1}{1+x^2}$
- Finding a direction with smaller values of a Lipschitz function
- Simple prove that product of the diagonals of a polygon = N
- Usefulness of induced representations.
- What's the intuition behind the identities $\cos(z)= \cosh(iz)$ and $\sin(z)=-i\sinh(iz)$?
- Is the radical of a homogeneous ideal of a graded ring homogeneous?
- The Conjecture That There Is Always a Prime Between $n$ and $n+C\log^2n$
- Explicit example of a non-trivial zero of Riemann zeta function