The Unapologetic Mathematician

Mathematics for the interested outsider

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.

About these ads

March 3, 2008 - Posted by | 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 John Armstrong | 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 John Armstrong | 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 John Armstrong | 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 The Riemann-Stieltjes Integral III | Integral Concept | 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

  9. Thanks a lot. Let me please ask another question.
    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 John Armstrong | 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 Change of Variables in Multiple Integrals I « The Unapologetic Mathematician | January 5, 2010 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 388 other followers

%d bloggers like this: