# The Unapologetic Mathematician

## The Riemann-Stieltjes Integral III

Last Friday we explained the change of variables formula for Riemann integrals by using Riemann-Stieltjes integrals. Today let’s push it a little further and prove a change of variables formula for Riemann-Stieltjes integrals.

We start with a function $f:\left[a,b\right]$ which we assume to be Riemann-Stieltjes integrable by the function $\alpha$. Now, instead of the full generality we used before, let’s just let $g:\left[c,d\right]\rightarrow\left[a,b\right]$ be a strictly increasing continuous function with $g(c)=a$ and $g(d)=b$. Define $h$ and $\beta$ to be the composite functions $h(x)=f(g(x))$ and $\beta(x)=\alpha(g(x))$. Then $h$ is Riemann-Stieltjes integrable by $\beta$ on $\left[c,d\right]$, and we have the equality

$\displaystyle\int\limits_{\left[a,b\right]}fd\alpha=\int\limits_{\left[c,d\right]}hd\beta$

For decreasing functions we get almost the exact same thing, so you should figure out the parallel statement and proof yourself.

Since $g$ is strictly increasing, it must be one-to-one, and it’s onto by assumption. In fact, $g$ is an explicit homeomorphism of the intervals $\left[a,b\right]$ and $\left[c,d\right]$, and its inverse $g^{-1}:\left[a,b\right]\rightarrow\left[c,d\right]$ is also a strictly increasing continuous function. We can now use $g$ and its inverse to set up a bijection between partitions of $\left[a,b\right]$ and $\left[c,d\right]$: if $a=x_0<x_1<...<x_n=b$ is a partition, then $c=g^{-1}(x_0)<g^{-1}(x_1)<...<g^{-1}(x_n)=d$ is a partition, and vice versa. Further, refinements of partitions of one side correspond to refinements of partitions on the other side.

So if we’re given an $\epsilon>0$ then there’s some partition $y_\epsilon$ of $\left[a,b\right]$ so that for any finer partition $y$ we have $|f_{\alpha,y}-\int_{\left[a,b\right]}f,d\alpha|<\epsilon$. Let $x_\epsilon=g^{-1}(y_\epsilon)$ be the corresponding partition of $\left[c,d\right]$, and let $x$ be a partition of $\left[c,d\right]$ finer than it. Then it’s easily verified that the Riemann-Stieltjes sum $h_{x,\beta}$ is equal to the Riemann-Stieltjes sum $f_{g(x),\alpha}$. Everything else follows quickly from here.

### Like this:

Posted by John Armstrong | Analysis, Calculus

## 12 Comments	»

1. I can’t resist making a few comments on Riemann-Stieltjes from the point of view of functional analysis:

(1) The Riemann-Stieltjes integral $\int_{a}^{b} f d\alpha$ is defined whenever $f$ is continuous on $\left[a, b\right]$ and $\alpha$ is of bounded variation on $\left[a, b\right]$.

(2) The Riemann-Stieltjes integral $\int_{a}^{b} f d\alpha$ is defined for all $f$ continuous on $\left[a, b\right]$ only if \$\latex \alpha\$ is of bounded variation on $\left[a, b\right]$, and is defined for all $\alpha$ of bounded variation on $\left[a, b\right]$ only if $f$ is continuous on $\left[a, b\right]$.

(3) The Riemann-Stieltjes integral satisfies the inequality $|\int_{a}^{b}f d\alpha| \leq ||f|| \cdot V(\alpha)$ where $||f||$ is the sup norm and $V(\alpha)$ is the total variation. It is therefore a continuous or bounded linear map in each of its separate variables $f$ and $\alpha$.

(4) The pairing $(f, \alpha) \mapsto \int_{a}^{b} f d\alpha$ is “perfect” in the sense that it expresses the Banach space of functions of bounded variation (modulo constants) as the strong dual of the Banach space of continuous functions on $\left[a, b\right]$. (However, it doesn’t work the other way: the dual of $BV\left[a, b\right]/$constants is not $C\left[a, b\right]$.)

Normally the space dual to $C\left[a, b\right]$ is expressed in terms of measures, so this gives a nice “concrete” way of thinking about measures (for example, Dirac measures are of the form $d\alpha$ where $\alpha$ is a Heaviside function, which is locally constant but for a single jump discontinuity — the size of the jump gives the weight of the measure).

It also sheds some light on things like the Radon-Nikodym theorem: a measure on $\left[a, b\right]$ which is absolutely continuous with respect to Lebesgue measure $d x$ is of the form $d\alpha$ where $\alpha$ is an absolutely continuous function, and the derivative of $\alpha$ (as in $d\alpha = g(x) d x$) is an $L^1$ function $g(x)$ with respect to Lebesgue measure $d x$. Indeed, differentiation gives a Banach space isomorphism $AC\left[a, b\right]/\mbox{constants} \to L^1\left[a, b\right]$.

I find this approach much gentler and more intuitive than that taken in, e.g., Rudin’s Real and Complex Analysis (which is undeniably efficient and frequently very clever, but brutally abstract in the discussion of things like Radon-Nikodym).

Comment by Todd Trimble | March 4, 2008 | Reply

2. Hmm… all those formulas in my comment above which did not parse are the same thing, where I tried to write the interval [a, b] in LaTeX. With that, it should be readable.

Comment by Todd Trimble | March 4, 2008 | Reply

3. Yeah, the parser here started choking on brackets a while back. You have to use \left[ and \right].

Comment by | March 4, 2008 | Reply

4. Anyhow, these are good points, most of which I’m going to get to eventually. In fact, after I rework integration by parts today I’m going to run through the basics of bounded variation tomorrow through Friday before coming back to more about Riemann-Stieltjes integration once I have that language down.

Comment by | March 4, 2008 | Reply

5. Oh, and the Radon-Nikodym observation is key. That’s one of the reasons I think that the Riemann-Stieltjes theory (and later the Lebesgue-Stieltjes theory) are really useful for understanding what’s really going on.

Comment by | March 4, 2008 | Reply

6. [...] unknown wrote an interesting post today onHere’s a quick excerptLast Friday we explained the change of variables formula for Riemann integrals by using Riemann-Stieltjes integrals. Today let’s push it a little further and prove a change of variables formula for Riemann-Stieltjes integrals. … [...]

Pingback by | March 5, 2008 | Reply

7. Todd Trimble, might you give me a proof für thesis no. 3 (with the total variation)? Or say me where to read it?
Many thanks

Comment by D.W. | June 16, 2008 | Reply

8. D.W., it’s covered in lots of places (e.g., Measure and Integral by Wheeden and Zygmund). It has likely been covered here somewhere on this blog, too. To prove it, just note that any Riemann-Stieltjes sum approximating the Riemann-Stieltjes integral,

$\sum_{i=1}^n f(\xi_i)(\alpha(x_i) - \alpha(x_{i-1})),$

has its norm bounded above by

$||f|| \cdot |\sum_{i=1}^n \alpha(x_i) - \alpha(x_{i-1})|$

where $||f||$ is the supremum of $|f(x)|$ over the given interval $\left[a, b\right]$. By the triangle inequality, this is bounded above by

$||f|| \cdot \sum_{i=1}^n |\alpha(x_i) - \alpha(x_{i-1})|$

and this in turn is bounded above by $||f|| \cdot V(\alpha)$, by definition of the variation $V(\alpha)$.

Comment by Todd Trimble | June 17, 2008 | Reply

I have the difference of two integrals over the whole real axis
(int K dFn – int K dF).
Fn and F are both nonnegative increasing functions, K is of bounded variation. Fn is discontinous, F is continous. For K, the limes for |x| to infty is 0.
I would like to make integration by parts, so that the term becomes
int (Fn-F) dK.
Under which assumptions does this work? I think that the integral is not well defined if K is discontinous. But can I be sure that it works if K is continous?

Comment by D.W. | June 18, 2008 | Reply

10. If I understand the question, one will have to pay attention to growth rates as well. For example, if F_n – F grows very rapidly but K(x) tends to 0 slowly as |x| -> \infty, then there is no reason to suppose the integral over the real line will converge. Other than that, I think the main obstruction to the existence of the Riemann-Stieltjes integral will be when the functions F_n – F and K have a common point of discontinuity. In particular, if K is continuous, then under your assumptions we know that F_n – F is of bounded variation on any finite interval [a, b], and therefore the Riemann-Stieltjes integral over that integral exists, and one can perform an integration by parts over that interval without worry. Under further assumptions about growth rates at infinity (e.g. if the product of (F_n – F)(x) and K(x) tends to 0 as |x| -> \infty), the integral over (-\infty, \infty) also exists and again one can perform the integration by parts.

It might be wise to check with your local analyst. I’d have to think a little further to make sure I’m being 100% accurate here, but I think I’m okay.

Comment by Todd Trimble | June 18, 2008 | Reply

11. It might be wise to check with your local analyst.

This is popular (and sound!) advice. People are always telling me that I need an analyst.

Comment by | June 18, 2008 | Reply

12. [...] of Variables in Multiple Integrals I In the one-variable Riemann and Riemann-Stieltjes integrals, we had a “change of variables” formula. This let us replace our variable of [...]

Pingback by | January 5, 2010 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 77, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9233174324035645, "perplexity_flag": "head"}