How to compute antiderivatives

Bulletin of Symbolic Logic 1 (3):279-316 (1995)
  Copy   BIBTEX

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 whenfis bounded. Yet, as Lebesgue noted with apparent regret, there are very simple derivatives = 0,F=x2sinforx≠ 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 dxover as many intervals 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
40 (#388,897)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
Cores of Π11 sets of reals.Andreas Blass & Douglas Cenzer - 1974 - Journal of Symbolic Logic 39 (4):649 - 654.

Add more references