As promised in previous post, now I will briefly discuss the remaining two flavors of Integrals.
In 1894, a Dutch mathematician, Thomas Stieltjes, while solving the moment problem, that is, given the moments of all orders of a body, find the distribution of its mass, gave a generalization of the Darboux integral.
Let , being an integer, be a partition of the interval .
For a function , monotonically increasing on , we write:
Let be a bounded function defined on an interval being real numbers. We define the sum
where be such that
If the and are equal, we denote the common value by and call it Steiltjes integral of with respect to over .
Let me quote Wikipedia article:
The integral of a function f between limits a and b can be interpreted as the area under the graph of f. This is easy to understand for familiar functions such as polynomials, but what does it mean for more exotic functions? In general, for which class of functions does “area under the curve” make sense? The answer to this question has great theoretical and practical importance.
In 1901, a French mathematician, Henri Léon Lebesgue generalized the notion of the integral by extending the concept of the area below a curve to include functions with uncountable discontinuities .
Lebesgue defined his integral by partitioning the range of a function and summing up sets of x-coordinates belonging to given y-coordinates, rather than, as had traditionally been done, partitioning the domain.
Lebesgue himself, according to his colleague, Paul Montel, compared his method with paying off a debt: (see:pp. 803, The Princeton Companion to Mathematics)
I have to pay a certain sum, which I have collected in my pocket. I take the bills and coins out of my pocket and give them to the creditor in the order I find them until I have reached the total sum. This is the Riemann integral. But I can proceed differently. After I have taken all the money out of my pocket I order the bills and coins according to identical values and then I pay the several heaps one after the other to the creditor. This is my integral.
A set is said to be Lebesgue measurable, if for each set the Carathéodory condition:
is satisfied, where is called outer measure and is defined as:
where is a countable collection of closed intervals , that cover .
The Lebesgue integral of a simple function on , where , are pairwise disjoint measurable sets and are real numbers, is defined as:
where, is the Lebesgue measure of a measurable set .
An extended real value function defined on a measurable set is said to be Lebesgue measurable on if is a Lebesgue measurable subset of for every real number .
If is Lebesgue measurable and non-negative on we define:
where the supremum is taken over all simple functions such that .
The function is said to be Lebesgue integrable on if it’s integral over is finite.
The Lebesgue integral is deficient in one respect. The Riemann integral generalizes to the improper Riemann integral to measure functions whose domain of definition is not a closed interval. The Lebesgue integral integrates many of these functions, but not all of them.