The Riemann-Stieltjes integral for monotonic integrators
Let with and two functions . It is assumed that , the integrand, is bounded and , the integrator, grows monotonically (not necessarily strictly) . The associated Riemann Stieltjes integral of relative to the interval as the Riemann integral via fine decompositions of the interval or the upper and lower sums (see there) defined. However, the formulas for the upper and lower sums for Stieltjes integrals are instead
(Upper sum) and
(Sub-total)
now
(Stieltjes upper sum) and
(Stieltjes sub-sum).
If the upper and lower sums converge towards the same value for sufficiently fine decompositions, then with respect to Riemann-Stieltjes is called integrable and the common limit value is called the value of the integral. The notation for this is
The integrator regulates how heavily weighted is given in different places . Instead of integrator, the term weight function is therefore also common. Obviously, the ordinary Riemann integral can be understood as a special case of the Riemann-Stieltjes integral for all ( identity ). In contrast to the Riemann integral, the standard assumption is that the integrand function is continuous, but the integrator function can be more complicated:
Cantor function (10 iterations, continuous and monotonic, but nowhere differentiable with a positive derivative)
The Riemann-Stieltjes integral exists e.g. B. in the case of a continuous function even with the
Cantor function as integrator (this is a monotonically increasing continuous function from 0 to 1, the derivative of which is 0 almost everywhere, namely up to an uncountable zero set). It even exists with a discontinuous but monotonous step function, for example for for all but for ( Heaviside function ).
The Lebesgue-Stieltjes integral
The Lebesgue-Stieltjes integral is a special case of the Lebesgue integral . Here, integration is carried out using a Borel measure , which in the case of the Lebesgue-Stieltjes integral is defined by the monotonic function and is referred to below as . The dimension is determined by its values at intervals:
Here denotes the left-hand and right-hand limit values of the function at the point . If the identity is, it is the Lebesgue measure . If Lebesgue can be integrated with regard to this measure , the associated Lebesgue-Stieltjes integral is defined as
where the right hand side is to be understood as an ordinary Lebesgue integral .
Non-monotonic integrators
For a limited amount of non-monotonically increasing integrators the Stieltjes integral can be also defined sense, namely for those with finite variation on . Functions of finite variation can always be represented as the difference between two monotonically increasing functions, that is, where are monotonically increasing. The associated Stieltjes integral (optionally in the Riemann or Lebesgue sense) is then defined as
It can be shown that this definition makes sense; H. is well-defined (i.e. independent of the particular choice of decomposition).
properties
Like the Riemann and Lebesgue integrals, the Stieltjes integral is also linear in the integrand:
for constants if the considered integrals exist.
Furthermore, the Stieltjes integral is also linear in the integrator, i.e.
for constants and functions of finite variation.
The integral is invariant under translations of the integrator, so
for constants .
Step functions as integrators: If continuous and a step function that has jumps in height at the points , then applies
Is absolutely continuous , it is differentiable almost everywhere, the derivation can be integrated and it also applies here:
The following rule for partial integration applies to the Riemann-Stieltjes integral :
literature
Isidor P. Natanson: Theory of the functions of a real variable. Unchanged reprint of the 4th edition. Harri Deutsch, Thun et al. 1981, ISBN 3-87-144-217-8 .