Infinitesimal Calculus

Isaac Newton (left) and Gottfried Wilhelm Leibniz (right), developers of infinitesimal calculus

Infinitesimal calculus is the part of mathematics concerned with finding tangent lines to curves, areas under curves, minima and maxima, and other geometric and analytic problems.

History

Founders

It was independently developed by Gottfried Leibniz and Isaac Newton starting in the 1660s. John Wallis exploited an infinitesimal he denoted $\tfrac\left\{1\right\}\left\{\infty\right\}$ in area calculations, preparing the ground for integral calculus. They drew on the work of such mathematicians as Pierre de Fermat, Isaac Barrow and René Descartes. Infinitesimal calculus consists of differential calculus and integral calculus, respectively used for the techniques of differentiation and integration.

Newton sought to remove the use of infinitesimals from his fluxional calculus, preferring to talk of velocities as in "For by the ultimate velocity is meant ... the ultimate ratio of evanescent quantities". Leibniz embraced the concept fully calling differentials "...an evanescent quantity which yet retains the character of that which is disappearing", and his notation for them is the current symbolism in calculus.

Further development

In early calculus the use of infinitesimal quantities was fiercely criticized by a number of authors, most notably Michel Rolle and Bishop Berkeley. Berkeley mocked infinitesimals in his book The Analyst in 1734. Kirsti Andersen (2011) showed that Berkeley's doctrine of the compensation of errors in The Analyst contains a logical circularity. Namely, Berkeley relies upon Apollonius's determination of the tangent of the parabola in Berkeley's determination of the derivative of the quadratic function. A recent study argues that the force of Berkeley's criticisms has been overestimated; that Leibniz's defense of infinitesimals is more firmly grounded than Berkeley's criticism thereof; and that Leibniz's system for differential calculus was free of logical contradictions. Several mathematicians, including Maclaurin and d'Alembert, advocated the use of limits. Augustin Louis Cauchy developed a versatile spectrum of foundational approaches, including a definition of continuity in terms of infinitesimals and a (somewhat imprecise) prototype of an ε, δ argument in working with differentiation. Karl Weierstrass formalized the concept of limit in the context of a (real) number system without infinitesimals. Following the work of Weierstrass, it eventually became common to base calculus on ε, δ arguments instead of infinitesimals.

This approach formalized by Weierstrass came to be known as the standard calculus. Informally, the expression "infinitesimal calculus" became commonly used to refer to Weierstrass' approach but has become something of a dead metaphor.

Modern infinitesimals

Main article: Hyperreal number

After many years of the infinitesimal approach to calculus having fallen into disuse other than as an introductory pedagogical tool, use of infinitesimal quantities was finally given a rigorous foundation by Abraham Robinson in the 1960s. Robinson's approach, called non-standard analysis, uses technical machinery from mathematical logic to create a theory of hyperreal numbers that interpret infinitesimals in a manner that allows a Leibniz-like development of the usual rules of calculus. An alternative approach, developed by Edward Nelson, finds infinitesimals on the ordinary real line itself, and involves a modification of the foundational setting by enriching ZFC through the introduction of a new unary predicate "standard".

Varieties

Differential and integral calculus

The original infinitesimal calculus, attributed to Newton and Leibniz. Differential calculus is a subfield of calculus concerned with the study of the rates at which quantities change while integral calculus is defined informally to be the area of the region in the xy-plane bounded by the graph of f, the x-axis, and the vertical lines x = a and x = b, such that areas above the axis add to the total, and the area below the x axis subtract from the total.

Standard calculus

Main article: Calculus

Standard calculus is based on the approach that Weierstrass took, replacing infinitesimals by limits. Limits describe the value of a function at a certain input in terms of its values at nearby input. They capture small-scale behavior, just like infinitesimals, but use the real number system. In this treatment, calculus is a collection of techniques for manipulating certain limits. Infinitesimals get replaced by very small numbers, and the infinitely small behavior of the function is found by taking the limiting behavior for smaller and smaller numbers. Limits are the easiest way to provide rigorous foundations for calculus, and for this reason they are the standard approach.

Non-standard calculus

Main article: Non-standard calculus

Calculations with infinitesimals were widely replaced with the (ε, δ)-definition of limit starting in the 1870s. For almost one hundred years thereafter, mathematicians like Richard Courant viewed infinitesimals as being naive and vague or meaningless.

Contrary to such views, Abraham Robinson in 1960 developed precise, clear, and meaningful rules for working with infinitesimals, building upon work by Edwin Hewitt and Jerzy Łoś. According to Jerome Keisler, "Robinson solved a three hundred year old problem by giving a precise treatment of infinitesimals. Robinson's achievement will probably rank as one of the major mathematical advances of the twentieth century."

Smooth infinitesimal analysis

This is a mathematically rigorous reformulation of the calculus in terms of infinitesimals. Based on the ideas of F. W. Lawvere and employing the methods of category theory, it views all functions as being continuous and incapable of being expressed in terms of discrete entities. As a theory, it is a subset of synthetic differential geometry.