# The Unapologetic Mathematician

## Functions of Bounded Variation I

In our coverage of the Riemann-Stieltjes integral, we have to talk about Riemann-Stieltjes sums, which are of the form

$\displaystyle\sum\limits_{i=1}^nf(t_i)(\alpha(x_i)-\alpha(x_{i-1}))$

How can we choose a function $f$ to make sums like this get really big? Well, we could make the function $f$ get big, but that’s sort of a cheap trick. Let’s put a cap that $|f(x)|\leq1$. Now how can we make a Riemann-Stieltjes sum big?

Well, sometimes $\alpha(x_i)>\alpha(x_{i-1})$ and sometimes $\alpha(x_i)<\alpha(x_{i-1})$. In the first case, we can try to make $f(t_i)=1$, and in the second we can try to make $f(t_i)=-1$. In either case, we’re adding as much as we possibly can, subject to our restriction.

We’re saying a lot of words here, but what it boils down to is this: given a partition we can get up to $\sum\limits_{i=1}^n|\alpha(x_i)-\alpha(x_{i-1})|$ in our sum. As we choose finer and finer partitions, it’s not hard to see that this number can only go up. So, if there’s an upper bound $M$ for our $\alpha$, then we’re never going to get a Riemann-Stieltjes sum bigger than $\max\limits_{x\in\left[a,b\right]}(f(x))M$. That will certainly make it easier to get nets of sums to converge.

So let’s make this definition: a function $\alpha$ is said to be of “bounded variation” on the interval $\left[a,b\right]$ if there is some $M$ so that for any partition $a=x_0<...<x_n=b$ we have

$\displaystyle\sum\limits_{i=1}^n|\alpha(x_i)-\alpha(x_{i-1})|\leq M$

That is, $M$ is an upper bound for the set of variations as we look at different partitions of $\left[a,b\right]$. Then, by the Dedekind completeness of the real numbers, we will have a least upper bound $V_\alpha(a,b)$, which we call the “total variation” of $\alpha$ on $\left[a,b\right]$

Let’s make sure that we’ve got some interesting examples of these things. If $\alpha$ is monotonic increasing — if $c<d$ implies that $\alpha(c)\leq\alpha(d)$ — then we can just drop the absolute values here. The sum collapses, and we’re just left with $\alpha(b)-\alpha(a)$ for every partition. Similarly, if $\alpha$ is monotonic decreasing then we always get $\alpha(a)-\alpha(b)$. Either way, $\alpha$ is clearly of bounded variation.

An easy consequence of this condition is that functions of bounded variation are bounded! In fact, if $\alpha$ has variation $V_\alpha(a,b)$ on $\left[a,b\right]$, then $|\alpha(x)|\leq|\alpha(a)|+V_\alpha(a,b)$ for all $x\in\left[a,b\right]$. Indeed, we can just use the partition $a<x<b$ and find that

$\displaystyle|\alpha(x)-\alpha(a)|\leq|\alpha(x)-\alpha(a)|+|\alpha(b)-\alpha(x)|\leq V_\alpha(a,b)$

from which the bound on $|\alpha(x)|$ easily follows.

### Like this:

Posted by John Armstrong | Analysis

## 12 Comments	»

1. The strict inequality |f|<1 later turns out to be not so strict in your post.

Comment by Johan Richter | March 5, 2008 | Reply

2. Thanks for catching that.

Comment by | March 5, 2008 | Reply

3. [...] of Bounded Variation II Let’s consider the collection of functions of bounded variation on a little more deeply. It turns out that they form a subring of the ring of all real-valued [...]

Pingback by | March 6, 2008 | Reply

4. [...] continue our study of functions of bounded variation by showing that total variation is “additive” over its interval. That is, if is of [...]

Pingback by | March 9, 2008 | Reply

5. [...] over subintervals As I noted when I first motivated bounded variation, we’re often trying to hold down Riemann-Stieltjes sums to help them converge. In a sense, [...]

Pingback by | March 21, 2008 | Reply

6. [...] Oscillation in a function is sort of a local and non-directional version of variation. If is a bounded function on some region , and if is a nonempty subset of , then we define the [...]

Pingback by | December 7, 2009 | Reply

7. [...] explicitly, let be a continuous function on the rectangle , and let be of bounded variation on . Define the function on [...]

Pingback by | January 12, 2010 | Reply

8. Why is the upper bound M on alpha, and not on the set of all possible “distances” (i.e. absolute values of differences) between successive alpha values?

Comment by Kizi | November 14, 2012 | Reply

9. It may not be completely clear; if there’s an upper bound on the $\alpha$ values then there’s an upper bound on their differences. That’s in the motivation, but the actual definition that follows is written in terms of an upper bound on the sums of absolute differences.

Comment by | November 14, 2012 | Reply

• Thank you for the prompt response and clarification. In the motivation, do the alpha values need to be bounded below as well (or is there some property of the alpha values that I am missing, like non-negativity)? I do apologise if I am missing something obvious. Thanks.

Comment by Kizi | November 14, 2012 | Reply

10. Yeah, they’d probably need to be bounded above and below; the motivation is meant to give the idea, but the definition is precise.

Comment by | November 14, 2012 | Reply

• Thank you

Comment by Kizi | November 14, 2012 | 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": 38, "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.9166198372840881, "perplexity_flag": "head"}