The Denjoy and Perron integrals (cf. Denjoy integral; Perron integral), which are equivalent and more general than the Lebesgue integral, were introduced in the second decade of the 20th century to invert the finite ordinary derivative. Much more recently, J. Kurzweil [a6], and independently R. Henstock [a2], made a simple modification to the Riemann integral and defined another integral that is equivalent to the Denjoy and Perron integrals. This integral is known as the gauge integral, the Riemann-complete integral, the generalized Riemann integral, or the Kurzweil–Henstock integral, also abbreviated to K–H integral. A further simple modification, by E.J. MacShane [a10], gave an integral that is equivalent to the Lebesgue integral.
A positive function on a compact interval is called a gauge, and with any such gauge one can associate a full covering of by:
This covering is said to be -fine. It is easy to see that every such can be used to give a partition of , also called -fine, that is, a partition , where , , , . The existence of such a partition is known as Cousin's lemma, and is equivalent to the Bolzano–Weierstrass theorem. It is easy to see that there is no loss in generality in assuming the tags, the , to be end-points of the sub-intervals (that is, for all either or ), although it is not possible to assume the tags are always left, or right, end-points.
Once the existence of a -fine partition is known, one can associate with any finite function on a Riemann sum, . The definition of the K–H integral follows that of the Riemann integral: is K–H-integrable on if there is a real number such that for all there exists a gauge such that for all -fine partitions one has
The number is then the value of the integral of . The similarity of this definition to the classical Riemann definition means that the proofs of all the basic properties of the K–H integral follow those of the more elementary integral, corresponding to the case where the gauge is a continuous or constant function.
However, the power given by the use of a locally fine gauge, that can be made to adapt to the function better than a uniform gauge, is shown by the following two examples.
A) Let be the derivative of and define a gauge for as follows: for all there is a such that . If is a -fine partition whose tags are always end-points, then
So , an arbitrary finite derivative, is K–H-integrable.
B) Let be a set of measure zero with arbitrary on but zero elsewhere. Given an , let be an open covering of of total length less than . Define a gauge as follows: if then , and if then , where is any interval from the open covering that contains . If is a -fine partition, then
Hence such an is K–H-integrable with integral value zero. This allows one: 1) to deduce that if two functions are equal almost-everywhere, then they are K–H-integrable together, and 2) to extend the definition of the integral to include functions that are only defined almost-everywhere.
Deeper properties, such as the continuity and differentiability properties of the primitive, a monotone convergence theorem, a proof that the absolutely integrable functions are precisely the Lebesgue-integrable functions, depend on the so-called Saks–Henstock lemma, [a1], [a2], [a3]: If is K–H-integrable, with indefinite integral , where , if , are as in the definition (a1) above, and if is any collection of sub-intervals from the partition , then:
As a simple application, suppose that the primitive of a K–H-integrable function is everywhere zero. Then one can show that is K–H-integrable to zero. Indeed, let , be as in the definition (a1) and let be as in the Saks–Henstock lemma. Then the hypothesis and the lemma imply
which proves the statement.
There has been much work on these techniques, and they have been used to obtain many properties of the Denjoy and Perron integrals that were often proved by much more onerous methods. In particular, P.-Y. Lee has developed a theory of controlled convergence, [a8]. This theory gives to this integral a real convergence theorem, since once use can be made of the monotone convergence theorem one is really in the Lebesgue theory. His result is based on a Dzharsheishvili theorem that generalizes Vitali's theorem to the Denjoy integral.
The definition above can easily be extended to give a Stieltjes integral that is equivalent to Ward's Perron–Stieltjes integral, and even more general interval functions can be integrated very simply by this method, as has been shown in detail by R. Henstock, [a2], [a3], [a7].
If, in the definition of the -fine covering the requirement is changed to , the above procedure will give the MacShane integral, which is equivalent to the Lebesgue integral. Inspection of A) shows that one needs the original form of the definition here. Further extensions of have been studied, such as requiring that belong to a set of density at , or that be symmetric with respect to the tag , [a1], [a3], [a13]. The purpose of these extensions is to define integrals that will invert approximate and symmetric derivatives. Such extensions are far from obvious and require deep and subtle considerations. The same is true of the extensions of the theory that have been made to higher dimensions [a12]. However, these extensions are much more successful than the attempts to do the same for the Denjoy and Perron integrals. On the other hand, the extension of the Kurzweil–Henstock theory to general spaces is much less natural than the general measure theory that follows from the Lebesgue theory, [a5].
|[a1]||R.A. Gordon, "The integrals of Denjoy, Perron and Henstock" Amer. Math. Soc. Graduate Stud. Math. , 4 (1994)|
|[a2]||R. Henstock, "The equivalence of generalized forms of the Ward, variational, Denjoy–Stieltjes, and Perron–Sieltjes integrals" Proc. London Math. Soc. , 3 : 10 (1960) pp. 281–303|
|[a3]||R. Henstock, "Theory of integration" , Butterworth's (1963)|
|[a4]||R. Henstock, "Lectures on the theory of integration" , World Sci. (1988)|
|[a5]||R. Henstock, "The general theory of integration" , Oxford Univ. Press (1991)|
|[a6]||J. Kurzweil, "Generalized ordinary differential equations and continuous dependence on a parameter" Czechoslovak. Math. J. , 7 : 82 (1957) pp. 418–446|
|[a7]||J. Kurzweil, "Nichtabsolut Konvergente Integrale" , Leipzig (1988)|
|[a8]||P.-Y. Lee, "Lanzhou lectures on Henstock integation" , World Sci. (1989)|
|[a9]||R.M. McLeod, "The generalized Riemann integral" , Carus Math. Monograph , 20 , Math. Assoc. America (1980)|
|[a10]||E.J. MacShane, "A unified theory of integration" Amer. Math. Monthly , 80 (1973) pp. 349–359|
|[a11]||E.J. MacShane, "Unified integration" , New York (1983)|
|[a12]||W.F. Pfeffer, "The Riemann approach to integration theory: local geometric theory" , Cambridge Univ. Press (1993)|
|[a13]||B.S. Thomson, "Symmetric properties of real functions" , M. Dekker (1994)|
Kurzweil–Henstock integral. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Kurzweil%E2%80%93Henstock_integral&oldid=22692