Where Can I Find the Rules for Manipulating Infinitesimals?

Click For Summary
SUMMARY

The discussion centers on the manipulation of infinitesimals in calculus, particularly in the context of non-standard analysis. The user expresses confusion regarding the algebraic properties of infinitesimals, specifically how quantities like dx and dy are treated in different scenarios. Key points include the properties of infinitesimals as outlined by Leibniz: dx is indistinguishable from 0, dx is neither equal to nor not-equal to 0, (dx)^2 equals zero, and dx becomes vanishingly small. The user seeks clarification on these rules to avoid errors in algebraic manipulations involving differentials.

PREREQUISITES
  • Understanding of basic calculus concepts, including derivatives and limits.
  • Familiarity with non-standard analysis and its foundational principles.
  • Knowledge of Leibniz's notation and its historical context in calculus.
  • Ability to perform algebraic manipulations involving differential quantities.
NEXT STEPS
  • Research the principles of non-standard analysis and its application to calculus.
  • Study the historical development of calculus concepts from Newton to Leibniz.
  • Learn about the rigorous definitions and properties of infinitesimals in mathematical literature.
  • Explore the use of limits in calculus to understand their relationship with infinitesimals.
USEFUL FOR

Students of mathematics, educators teaching calculus, and anyone interested in the rigorous foundations of infinitesimals and their applications in calculus and physics.

mnb96
Messages
711
Reaction score
5
Hello,
I have been thought differential-calculus ages ago, but now when started reading some physics books (where infinitesimal quantities are used again and again) I realized I know nothing about calculus.

I am unable to specify where exactly my problem lies, but I guess it lies in how to perform algebraic manipulations with quantities like dx, dy and so on...
I often get the feeling that infinitesimal like [itex]dx[/itex] are sometimes treated like ordinary scalars, but other times they are given special undefined properties like [itex](dx)^2=0[/itex], and many others.

So where are these rules/properties written or deduced from? They cannot certainly be arbitrary.
Are there strict definitions that avoid run into silly mistakes?
At the moment I naively make the mental association of [itex]dx[/itex] as something that tends to zero, but this way of thinking does not help very much in algebraic manipulations.
 
Physics news on Phys.org
Actually, a rigorous development of Calculus with infinitesmals is called "non-standard analysis" and requires some very deep results from logic to get the "infinitesmals" themselves. It is much easier to use limits to get Calculus results and use the "differentials" as a mnemonic device.
 
Let´s say that I do accept the intuition behind infinitesimals because I know it has recently been given a solid and rigorous grounding (in Non-standard Analysis); but sometimes I cannot use this intuition to manipulate expressions involving differentials.

I just found "www.unco.edu/NHS/mathsci/facstaff/parker/math/Infinitesimal_Paper.pdf"[/URL] a short overview on the history of development of such concepts (from Newton to Non-standard Analysis), that exposes (at page 4) some of the ideas initially adopted by Leibniz:

1) [I]dx[/I] is indistinguishable from 0
2) [I]dx[/I] is neither equal to, nor not-equal to 0
3) [tex]\mathbf{(dx)^2}[/tex] [B]is equal to zero[/B]
4) [I]dx[/I] becomes vanishingly small

Apparently there are some rules to corectly use infinitesimal.
My "intuition" on infinitesimal was mostly based on points (1) and (4).
Nobody (nor my textbook) ever mentioned or stressed enough the properties (2) and (3), especially [B](3)[/B].-- Is this really everything I should know to get along with algebraic manipulation and/or proofs involving differential quantities?

-- I also don´t quite understand what do you mean by "using the limits". How would you use limits to prove [itex](dx)^2=0[/itex] ?

-- I also bet we are not allowed to make the association [tex]dx = \lim_{\Delta x \to 0} \Delta x[/tex], because we´d get [I]dx=0[/I]
 
Last edited by a moderator:

Similar threads

  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 24 ·
Replies
24
Views
7K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
3K