# Justification of algebraic manipulation of infinitesimals

As an engineering student, I regularly see people making arguments like this:

Consider a rectangle of dimensions $x\times 4x$. If we make $x$ bigger by a small quantity $dx$ then this will make $4x$ bigger by $4\cdot dx$ so the area of that $x \times 4x$ rectangle will change from $4x^2$ to $$(x+dx)(4x+4dx)=4(x^2+2x\cdot dx+(dx)^2)\approx4x^2+8x\cdot dx$$ with the final step justified because $dx$ is a 'small' quantity so $(dx)^2$ will be so small as to be ignorable in some mathematically rigorous way. Thus the change in area $dA$ would be $8x\cdot dx$.

Arguments like this are very common. Another random example would be in Wikipedia's proof of the brachistochrone problem which starts with the statement

$$ds^2=dx^2+dy^2$$

and proceeds to manipulate these infinitesimals as if they were ordinary constants or variables.

I'm wondering if there's a simple, analytically rigorous justification for all of this manipulation. While I feel perfectly comfortable with the idea of the derivative of a function (considered as a limit), I've never seen a similar, rigorous justification for the algebraic manipulation of infinitesimals and the cancellation of 'small' terms (like $(dx)^2$). Any thoughts or help would be appreciated.

Thankyou

-

I will just throw a few buzzwords at you :-)

The mathematically precise concept of "infinitesimal" is called "differential form". If we fix the Euclidean plane $\mathbb{R}^2$ and think of it as a "differentiable manifold", then every point in the plane has a tangential space that is "isomorph to" (or another copy of) $\mathbb{R}^2$. If we further fix a cartesian coordinate system with coordinates x and y, then a differential form is a gadget that assigns for every point p with coordinates $(x_p, y_p)$ to a tangent vector at that point a real number.

If you think of attaching a vector pointing upwards with the length of on, (0, 1), at every point in the plane, then in our example dx would spit out 0 at every point and dy would spit out 1 at every point.

This is the starting point for modern abstract "coordinate free" differential geometry.

From my experience, these concepts are usually not easy to understand for beginners, so don't worry if you don't understand everything on a first reading.

First note that you don't need the concept of a "differential form" to understand your first example:

Take a rectangle with side lengths a and b, then we have a function that gives the area, $$f: \mathbb{R}^2 \to \mathbb{R}$$ $$f: (a, b) \mapsto ab$$ If you increase both of the coordinates by h, then this is just a directional derivative, and since $f$ is differentiable we know that $$f(a + h, b + h) - f(a, b) = df*(h, h) + o(h^2)$$ holds. Here "dx" is just short hand notation for both "h" and "we know that f is differentiable and therefore that the remainder of the right hand side is $o(h^2)$, that is for smaller and smaller h the linear approximation gets better and better". The linear approximation is by definition given by applying the differential $df$ of $f$ to the vector $(h, h)$.

The second example is a little bit more complicated, here we'll really need the concept of "differential forms". To be mathematically precise, we'd have to write $$ds^2 := dx \otimes dx + dy \otimes dy$$ That is, the left hand side is defined by the right hand side, and the right hand side consists for a fixed point of elements of the tensor product of the cotangential space $T^*_pM$ with itself.

This means this gadget eats two tangential vectors on any tangent space and spits out a real number, and this operation is bilinear (linear in both input variables). So, if you fix a point on the plane, you get an element of the space $$T^*_pM \otimes T^*_pM$$ which has an algebraic structure that can be used.

-
Euclid's Elements in book V, definition 4 states that two magnitudes are comparable when they are capable of exceeding one another when multiplied sufficiently many times. Leibniz wrote in 1695 that his infinitesimals violate Euclid V.4. In modern terminology, this means that Leibnizian infinitesimals are "non-Archimedean" (this certainly does not mean that Leibniz was either familiar with or "anticipated" modern non-archimedean theories). At any rate the historic meaning of infinitesimal in analysis is clearly Leibniz's... –  user72694 Dec 9 '14 at 15:45
... Now differential forms a a wonderful thing but asserting that an infinitesimal "is" a differential form is a bit misleading. –  user72694 Dec 9 '14 at 15:46

You will hear a lot about differentials, exterior algebra and maybe even about nonstandard analysis. But the sad fact is: In over 300 years of calculus we have not come up with an easy answer to your question. All one can say is: If in a particular case "all of this manipulation" leads to a correct result, then there is also an "analytically rigorous justification" for it.

If done with professional expertise, dealing with "differentials" of all sorts in a lighthanded way is definitely a successful heuristic technique, especially in an environment where one doesn't care so much about $\epsilon$'s and $\delta$'s. But some care is needed: When you argue about the area under a curve $\gamma\!: y=f(x)$ you don't have to bother about the increase of $f$ in an interval of length $dx$, but if you want to derive a formula for the length of $\gamma$, then this little increase of $y$ plays a decisive rôle.

-
'All one can say is...' No, this is not all one can say. '[...] then there is also an "analytically rigorous justification" for it.' You seem to be using "rigorous" in contradistinction to "nonstandard analysis." There is nothing nonrigorous about nonstandard analysis. –  Ben Crowell Jan 9 '12 at 3:11
@Ben Crowell: Of course not. What I'm saying is that the various frameworks invented to salvage our everyday handling of "infinitesimals" are no easy answers to the question posed by the OP. –  Christian Blatter Jan 9 '12 at 9:09

There are various ways of answering your question. Tim van Beek has given one in terms of differential forms. Another nice way of looking at it is using nonstandard analysis (NSA). The nice thing about NSA, to my taste, is that it allows you say things the way that Leibniz and Gauss and Euler found it so useful to say them (i.e., with dx's and dy's), and it also allows you to be certain that what you're doing is logically rigorous. NSA doesn't have to be hard and scary. Jerome Keisler wrote a very nice freshman calculus book using NSA, now available online for free: http://www.math.wisc.edu/~keisler/calc.html My own book, using a similar approach, is here: http://www.lightandmatter.com/calc/ This is also a very nice treatment: http://www.math.uiowa.edu/~stroyan/InfsmlCalculus/InfsmlCalc.htm

The basic idea of NSA is that just as we expanded the integers to the rationals, and the rationals to the reals, we go one more step and expand the reals to the hyperreals. The hyperreals are a number system that includes the reals, but that also includes infinitesimals. The way you know whether you're doing something logically correct is that if you write down all of the elementary axioms of the real number system (x+y=y+x, etc.), then all of those are true in the hyperreals. "Elementary" means axioms that only say things like "for every number...," not ones that say "for every set of numbers..."

-
Thanks, I had wondered if NSA would pop up here, though I've only heard of them fleetingly. I'll finish Spivak, maybe do some conventional analysis, then get back to this :) –  tom Jan 9 '12 at 11:35

This stems from simple theorem regarding the change of variables, also called substitution, used for integration: $\int {f\left( {g\left( t \right)} \right)g'\left( t \right)dt} = \int {f\left( y \right)dy}$. If we put $g\left( t \right) = y$ in $\int {f\left( {g\left( t \right)} \right)g'\left( t \right)dt}$, we have $\int {f\left( y \right)\frac{{dy}} {{dt}}dt} = \int {f\left( y \right)dy}$ which we know is true from the theorem. So, when we integrate, it's allowed for us to think that, when $y = g\left( t \right)$, then $dy = g'\left( t \right)dt$.

In your example, you have $y\left( x \right) = 4{x^2}$, and want to calculate $y'\left( x \right)$. We have $y'\left( x \right) = \frac{{dy}}{{dx}} = 8x$ (you forgot to multiply by $x$ in your example). Now, we use abuse of notation to write $dy = 8xdx$.

Similar arguments can be made with integration of multivariate functions. Such consideration gives rise to differential forms.

-
thanks, I fixed it. So are you saying that all of the manipulation of infinitesimals I demonstrated can be justified using the substitution rule? –  tom Jan 9 '12 at 1:40
Unfortunately, no. As Tim has diligently written, when there is more than one variable involved, differential forms come into play. But for univariate functions, that's the background for such abuse of notation. Another justification for using "d" notation is <en.wikipedia.org/wiki/…; , which can be understood that it is "valid" to cancel out terms in expressions like this $\frac{{dz}} {{dy}}\frac{{dy}} {{dx}} = \frac{{dz}} {{dx}}$ –  Alen Jan 9 '12 at 1:44
That does make some sense though - when we go from $\frac{dy}{dx} = f(y)g(x)$ to $\frac{dy}{f(y)}=g(x)\cdot dx$ we are really just applying the substitution rule in diguise –  tom Jan 9 '12 at 2:36

There is a justification for this method: we choose a value for dx so that dx^2 is indiscernible whereas 8x.dx isn't - it's called de facto calculus. See my answer here - Could we assign a numerical value to an infinitesimal? This justification is relative - it would fail for larger values of dx and too much precision in measuring the area. In smooth infinitesimal analysis however this kind of discarding is generally acceptable.

-
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/97362/justification-of-algebraic-manipulation-of-infinitesimals/97380", "fetch_time": 1438728327000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2015-32/segments/1438042992201.62/warc/CC-MAIN-20150728002312-00240-ip-10-236-191-2.ec2.internal.warc.gz", "warc_record_offset": 162654913, "warc_record_length": 22933, "token_count": 2526, "char_count": 9836, "score": 3.765625, "int_score": 4, "crawl": "CC-MAIN-2015-32", "snapshot_type": "longest", "language": "en", "language_score": 0.8919574022293091, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00024-of-00064.parquet"}