Riemann–Stieltjes integral

An integral defined using increments of an integrator function.
Riemann–Stieltjes integral

A Riemann–Stieltjes integral of a bounded function f:[a,b]Rf:[a,b]\to\mathbb R with respect to an α:[a,b]R\alpha:[a,b]\to\mathbb R is a number

abfdα \int_a^b f\,d\alpha

such that for every ε>0\varepsilon>0 there exists δ>0\delta>0 with the property that, for every (P,{ti})(P,\{t_i\}) with mesh P<δ\|P\|<\delta,

i=1nf(ti)(α(xi)α(xi1))abfdα<ε. \left|\sum_{i=1}^n f(t_i)\bigl(\alpha(x_i)-\alpha(x_{i-1})\bigr)-\int_a^b f\,d\alpha\right|<\varepsilon.

(The sum is called a Riemann–Stieltjes sum.)

This generalizes the (take α(x)=x\alpha(x)=x) and is especially well-behaved when α\alpha is a ; see and .

Examples:

  • If α(x)=x\alpha(x)=x, then abfdα=abf(x)dx\int_a^b f\,d\alpha=\int_a^b f(x)\,dx.
  • If α\alpha is constant on [a,b][a,b], then abfdα=0\int_a^b f\,d\alpha=0 (whenever the integral is defined).