202405301320
Status: #idea
Tags: Calculus, Integrals
State: #nascient

Riemann-Stieltjes Integrals ~ Generalization of Riemann integrals

We can generalize Riemann Integrals to arbitrary functions instead of always using x (which we remark is a non-decreasing function) as follows:

abf(x) dα(x)=limnf(xi)(α(xi)α(xi1))

For α which is non-decreasing. This can be used if α has finite variation, but as I am typing this I am not too sure what that means.

Observe that by our trusty chain rule, the LHS of the above can be written as:

abf(x) dα(x)=abf(x) α(x)dx, assuming that α(x) is differentiable

Now note that if α(x)=x then this becomes a Riemann integral. There are cases where α is not differentiable though.

Based on this definition we can define many things such as:

References