The Darboux integral, also called a Darboux-Stieltjes integral, is a variant of the Stieltjes integral that is defined as a common value for the lower and upper Darboux integrals.
Let and be bounded real functions on an interval , with nondecreasing. For any partition given by , let .
The lower Darboux integral is the supremum of all lower sums of the form
where denotes the infimum of over the interval .
Likewise the upper Darboux integral is the infimum of all upper sums of the form
where denotes the supremum of over the interval .
The lower Darboux integral is less or equal to the upper Darboux integral, and that the Darboux integral is a linear form on the vector space of Darboux-integrable functions on for a given .
If , the original upper and lower Darboux integrals proposed by Darboux in 1875 are recovered.
If the Stieltjes integral exists, then the Darboux integral also exists and has the same value. If is continuous, then the two integrals are identical. The Lebesgue integral is a significant extension of the Darboux integral.
The following example shows a difference between the Stieltjes and Darboux integrals. Let , for , for , for and for . If 2 belongs to the used partition , then , and all Riemann sums are 4. If 2 doesn't belong to the partition, then , and the Riemann sums are 4 or 8. Hence the Darboux integral , but the Riemann integral (defined as the limit of Riemann sums for the mesh size going to zero) doesn't exist.