View source for Kurzweil-Henstock integral

<!--
k1102001.png
$#A+1 = 89 n = 0
$#C+1 = 89 : ~/encyclopedia/old_files/data/K110/K.1100200 Kurzweil\ANDHenstock integral
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

The Denjoy and Perron integrals (cf. [[Denjoy integral|Denjoy integral]]; [[Perron integral|Perron integral]]), which are equivalent and more general than the [[Lebesgue integral|Lebesgue integral]], were introduced in the second decade of the 20th century to invert the finite ordinary derivative. Much more recently, J. Kurzweil [[#References|[a6]]], and independently R. Henstock [[#References|[a2]]], made a simple modification to the [[Riemann integral|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 [[#References|[a10]]], gave an integral that is equivalent to the Lebesgue integral.

A positive function  $  \delta $
on a compact interval  $  [ a,b ] $
is called a gauge, and with any such gauge one can associate a full covering of  $  [ a,b ] $
by:

$$ 
{\mathcal I} = \left \{ {( u,v ) \cap [ a,b ] }  :\right . 
$$

$$ 
 \left .
{u \leq  x \leq  v,  u \neq v,  v - u < \delta ( x ) ,  a \leq  x \leq  b } \right \} .
$$

This covering is said to be  $  \delta $-
fine. It is easy to see that every such  $  {\mathcal I} $
can be used to give a partition of  $  [ a,b ] $, 
also called  $  \delta $-
fine, that is, a partition  $  \varpsi = \{ a _ {0} \dots a _ {n} ; x _ {1} \dots x _ {n} \} = \{ {[ a _ {i - 1 }  , a _ {i} ] ; x _ {i} } : {1 \leq  i \leq  n } \} $, 
where  $  a = a _ {0} < \dots < a _ {n} = b $, 
$  a _ {i - 1 }  \leq  x _ {i} \leq  a _ {i} $, 
$  a _ {1} - a _ {i - 1 }  < \delta ( x _ {i} ) $, 
$  i = 1 \dots n $. 
The existence of such a partition is known as Cousin's lemma, and is equivalent to the [[Bolzano–Weierstrass theorem|Bolzano–Weierstrass theorem]]. It is easy to see that there is no loss in generality in assuming the tags, the  $  x _ {i} $, 
to be end-points of the sub-intervals (that is, for all  $  i $
either  $  x _ {i} = a _ {i} $
or  $  x _ {i} = b _ {i} $), 
although it is not possible to assume the tags are always left, or right, end-points.

Once the existence of a  $  \delta $-
fine partition  $  \varpsi $
is known, one can associate with any finite function  $  f $
on  $  [ a,b ] $
a Riemann sum,  $  \sum _  \varpsi  f = \sum _ {i = 1 }   ^ {n} f ( x _ {i} ) ( a _ {i} - a _ {i - 1 }  ) $. 
The definition of the K–H integral follows that of the Riemann integral:  $  f $
is K–H-integrable on  $  [ a,b ] $
if there is a real number  $  I $
such that for all  $  \epsilon > 0 $
there exists a gauge  $  \delta $
such that for all  $  \delta $-
fine partitions  $  \varpsi $
one has

$$ \tag{a1 }
\left | {\sum _  \varpsi  f - I } \right | < \epsilon.
$$

The number  $  I $
is then the value of the integral of  $  f $. 
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  $  f $
be the [[Derivative|derivative]] of  $  F $
and define a gauge  $  \delta $
for  $  \epsilon > 0 $
as follows: for all  $  x $
there is a  $  \delta = \delta ( x ) $
such that  $  | {F ( x ) - F ( a ) - ( x - a ) f ( x ) } | < \epsilon | {x - a } | $. 
If  $  \varpsi $
is a  $  \delta $-
fine partition whose tags are always end-points, then

$$ 
\left | {\sum _  \varpsi  f - ( F ( b ) - F ( a ) ) } \right | =
$$

$$ 
= 
\left | {\sum _ {i = 1 } ^ { n }  F ( a _ {i} ) - F ( a _ {i - 1 }  ) - f ( x _ {i} ) ( a _ {i} - a _ {i - 1 }  ) } \right |  <
$$

$$ 
< 
\epsilon ( b - a ) .
$$

So  $  f $, 
an arbitrary finite derivative, is K–H-integrable.

B) Let  $  E $
be a set of measure zero with  $  f $
arbitrary on  $  E $
but zero elsewhere. Given an  $  \epsilon > 0 $, 
let  $  \{ I \} $
be an open covering of  $  E $
of total length less than  $  \epsilon $. 
Define a gauge  $  \delta $
as follows: if  $  f ( x ) = 0 $
then  $  \delta ( x ) = b - a $, 
and if  $  f ( x ) \neq 0 $
then  $  \delta ( x ) = | I | / | {f ( x ) } | $, 
where  $  I $
is any interval from the open covering that contains  $  x $. 
If  $  \varpsi $
is a  $  \delta $-
fine partition, then

$$ 
\left | {\sum _  \varpsi  f } \right | = \left | {\sum _ {i, f ( x _ {i} ) \neq 0 } f ( x _ {i} ) ( a _ {i} - a _ {i - 1 }  ) } \right | < \epsilon.
$$

Hence such an  $  f $
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, [[#References|[a1]]], [[#References|[a2]]], [[#References|[a3]]]: If  $  f $
is K–H-integrable, with indefinite integral  $  F $, 
where  $  I = F ( b ) - F ( a ) $, 
if  $  \epsilon $, 
$  \varpsi $
are as in the definition (a1) above, and if  $  \{ [ a _ {i - 1 }  , a _ {i} ] \} _ {i \in J }  $
is any collection of sub-intervals from the partition  $  \varpsi $, 
then:

$$ 
\left | {\sum _ {i \in J } f ( x _ {i} ) ( a _ {i} - a _ {i - 1 }  ) - ( F ( a _ {i} ) - F ( a _ {i - 1 }  ) ) } \right | < \epsilon;
$$

$$ 
\sum _ {i \in J } \left | {f ( x _ {i} ) ( a _ {i} - a _ {i - 1 }  ) - ( F ( a _ {i} ) - F ( a _ {i - 1 }  ) ) } \right | < 2 \epsilon.
$$

As a simple application, suppose that the primitive of a K–H-integrable function is everywhere zero. Then one can show that  $  | f | $
is K–H-integrable to zero. Indeed, let  $  \epsilon $, 
$  \varpsi $
be as in the definition (a1) and let  $  J $
be as in the Saks–Henstock lemma. Then the hypothesis and the lemma imply

$$ 
2 \epsilon > \sum _ {i \in J } \left | {f ( x _ {i} ) ( a _ {i} - a _ {i - 1 }  ) - ( F ( a _ {i} ) - F ( a _ {i - 1 }  ) ) } \right | =
$$

$$ 
= 
\sum _ {i \in J } \left | {f ( x _ {i} ) } \right | ( a _ {i} - a _ {i - 1 }  ) ,
$$

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, [[#References|[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|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, [[#References|[a2]]], [[#References|[a3]]], [[#References|[a7]]].

If, in the definition of the  $  \delta $-
fine covering  $  {\mathcal I} $
the requirement  $  u \leq  x \leq  v $
is changed to  $  ( u,v ) \subset  ( x - \delta ( x ) , x + \delta ( x ) ) $, 
the above procedure will give the MacShane integral, which is equivalent to the [[Lebesgue integral|Lebesgue integral]]. Inspection of A) shows that one needs the original form of the definition here. Further extensions of  $  {\mathcal I} $
have been studied, such as requiring that  $  u,v $
belong to a set of density  $  1 $
at  $  x $, 
or that  $  [ u,v ] $
be symmetric with respect to the tag  $  x $, 
[[#References|[a1]]], [[#References|[a3]]], [[#References|[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 [[#References|[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, [[#References|[a5]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R.A. Gordon,   "The integrals of Denjoy, Perron and Henstock"  ''Amer. Math. Soc. Graduate Stud. Math.'' , '''4'''  (1994)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R. Henstock,   "Theory of integration" , Butterworth's  (1963)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R. Henstock,   "Lectures on the theory of integration" , World Sci.  (1988)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  R. Henstock,   "The general theory of integration" , Oxford Univ. Press  (1991)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J. Kurzweil,   "Generalized ordinary differential equations and continuous dependence on a parameter"  ''Czechoslovak. Math. J.'' , '''7''' :  82  (1957)  pp. 418–446</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  J. Kurzweil,   "Nichtabsolut Konvergente Integrale" , Leipzig  (1988)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  P.-Y. Lee,   "Lanzhou lectures on Henstock integation" , World Sci.  (1989)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  R.M. McLeod,   "The generalized Riemann integral" , ''Carus Math. Monograph'' , '''20''' , Math. Assoc. America  (1980)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  E.J. MacShane,   "A unified theory of integration"  ''Amer. Math. Monthly'' , '''80'''  (1973)  pp. 349–359</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  E.J. MacShane,   "Unified integration" , New York  (1983)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  W.F. Pfeffer,   "The Riemann approach to integration theory: local geometric theory" , Cambridge Univ. Press  (1993)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  B.S. Thomson,   "Symmetric properties of real functions" , M. Dekker  (1994)</TD></TR></table>