Cauchy's Calculus


Cauchy wrote Cours d'Analyse (1821) based on his lecture course at the École Polytechnique. In it he attempted to make calculus rigorous and to do this he felt that he had to remove algebra as an approach to calculus.


Cauchy's approach to the calculus:

As for my methods, I have sought to give them all the rigour which is demanded in geometry, in such a way as never to fall back on reasons drawn from what is usually described in algebra. Reasons for this latter approach, however widely they are accepted, above all in passing from convergent to divergent series and from real to imaginary quantities, can only be considered, it seems to me, as inductions, apt enough sometimes to set forth the truth, but ill founded according to the exactitude which is required in the mathematical sciences. We must even note that they suggest that algebraic formulas have an unlimited generality, whereas in fact the majority of these formulas are valid only under certain conditions and for certain values of the quantities they contain. By determining these conditions and these values, and by fixing precisely the sense of all the notations I use, I make all uncertainty disappear.

Cauchy's definition of a limit:

When the values successively attributed to the same variable approach indefinitely a fixed value, eventually differing from it by as little as one could wish, that fixed value is called the limit of all the others.

Cauchy's definition of an infinitesimal:

When the successive absolute values of a variable decrease indefinitely in such a way as to become less than any given quantity, that variable becomes what is called an infinitesimal. Such a variable has zero for its limit.

Cauchy's definition of continuity:

Let f(x)f (x) be a function of a variable xx, and let us suppose that, for every value of xx between two given limits, this function always has a unique and finite value. If, beginning from one value of xx lying between these limits, we assign to the variable xx an infinitely small increment aa, the function itself increases by the difference f(x+a)f(x)f (x + a) - f (x), which depends simultaneously on the new variable aa and on the value of xx. Given this, the function f(x)f (x) will be a continuous function of this variable within the two limits assigned to the variable xx if, for every value of xx between these limits, the absolute value of the difference f(x+a)f(x)f (x + a) - f (x) decreases indefinitely with that of aa. In other words, the function f(x)f (x) will remain continuous with respect to xx between the given limits if, between these limits, an infinitely small increment of the variable always produces an infinitely small increment of the function itself.

After giving this definition, Cauchy used it to prove that sinx\sin x was a continuous function.


Cauchy's definition of convergence and sum of a series:

Let Sn=u0+u1+u2+...+un1S_{n} = u_{0} + u_{1} + u_{2} + ... + u_{n-1} be the sum of the first nn terms, nn being any integer. If, for increasing values of nn, the sum SnS_{n} approaches a certain limit SS, the series will be called convergent and the limit in question will be called the sum of the series.

Cauchy then notes
Sn+1Sn=unS_{n+1} - S_{n} = u_{n}
Sn+2Sn=un+un+1S_{n+2} - S_{n} = u_{n} + u_{n+1}
Sn+3Sn=un+un+1+un+2S_{n+3} - S_{n} = u_{n} + u_{n+1} + u_{n+2}
...

For SnS_{n} to converge, Cauchy says that it is necessary, but not sufficient, that unu_{n} has limit zero. He then states:


It is necessary also, for increasing values of nn, that the different sums un+un+1,un+un+1+un+2,...u_{n} + u_{n+1}, u_{n} + u_{n+1} + u_{n+2}, ..., that is, the sums of the quantities un,un+1,un+2...u_{n}, u_{n+1}, u_{n+2} ..., taken, from the first, in whatever number we wish, finish by constantly having absolute values less than any assignable limit. Conversely, when these many conditions are satisfied, the convergence of the series is assured.

Cauchy's definition of the derivative:

When a function y=f(x)y = f (x) remains continuous between two given limits of the variable xx, and when one assigns to such a variable a value enclosed between the two limits at issue, then an infinitely small increment assigned to the variable produces an infinitely small increment in the function itself. Consequently, if one puts Dx=iDx = i, the two terms of the ratio of differences DxDy=f(x+i)f(x)i\Large\frac{Dx}{Dy}\normalsize = \Large\frac{f (x + i) - f (x)}{i} will be infinitely small quantities. But though these two terms will approach the limit zero indefinitely and simultaneously, the ratio itself can converge towards another limit, be it positive or be it negative. this limit, when it exists, has a definite value for each particular value of xx; but it varies with xx. ... The form of the new function which serves as the limit of the ratio DxDy=f(x+i)f(x)i\Large\frac{Dx}{Dy}\normalsize = \Large\frac{f (x + i) - f (x)}{i} will depend on the proposed function y=f(x)y = f (x). In order to indicate this dependence, one gives the new function the name derived function, and designates it with the aid of an accent by the notation yy' or f(x)f '(x).

Cauchy's version of the mean value theorem:

If, f(x)f (x) is continuous between the limits x=ax = a and x=bx = b, we designate by AA the smallest and by BB the largest value that the derived function f(x)f '(x) attains in the interval, the ratio of the finite differences
f(b)f(a)(ba)\Large\frac{f (b) - f (a)}{(b - a)}

will necessarily be included between AA and BB.

Cauchy's errors:

Cauchy's approach to rigour didn't save him from errors, however. He "proved" incorrectly that the limit of a convergent series of continuous functions is continuous. Abel produced a counterexample.


References:

1. C H Edwards, The historical development of the calculus (Springer, New York, 1979).

2. J W Grabiner, The origins of Cauchy's rigorous calculus (MIT Press, 1981).

3. P Kitcher, The nature of mathematical knowledge (Oxford University Press, Oxford, 1983).

4. I Kleiner, Excursions in the history of mathematics (Birkhäuser, Springer, New York, 2012).

Last Updated October 2013