Abstract
This isnotabout the symbolic manipulation of functions so popular these days. Rather it is about the more abstract, but infinitely less practical, problem of the primitive. Simply stated:Given a derivativef: ℝ → ℝ, how can we recover its primitive?The roots of this problem go back to the beginnings of calculus and it is even sometimes called “Newton's problem”. Historically, it has played a major role in the development of the theory of the integral. For example, it was Lebesgue's primary motivation behind his theory of measure and integration. Indeed, the Lebesgue integral solves the primitive problem for the important special case whenf(x)is bounded. Yet, as Lebesgue noted with apparent regret, there are very simple derivatives (e.g., the derivative ofF(0) = 0,F(x)=x2sin(1/x2)forx≠ 0) which cannot be inverted using his integral.The general problem of the primitive was finally solved in 1912 by A. Denjoy. But his integration process was more complicated than that of Lebesgue. Denjoy's basic idea was to first calculate the definite integralf(x) dxover as many intervals (a,b) as possible, using Lebesgue integration. Then, he showed that by using these results, the definite integral could be found over even more intervals, either by using the standard improper integral technique of Cauchy, or an extension technique developed by Lebesgue (see appendix for details).
Publisher
Cambridge University Press (CUP)
Reference19 articles.
1. Darji U. , Evans M. , and O'Malley R. , First return path systems: differentiability, continuity and orderings, to appear.
2. Cores of Π11 sets of reals
3. Calcul de la primitive de la fonction derivée la plus genérale;Denjoy;Comptes rendus hebdomadaires des séanses de l' Académie des sciences Paris, Series I, Mathematiques,1912
4. A programming language for the inductive sets, and applications