This post will be essentially about functions of bounded variation of one variable. The main source is the book “*Functions of Bounded variation and Free Discontinuity Problems*” by Ambrosio, Fusco and Pallara. Before we give the definition of a bounded variation function let us recall what exactly does is mean for a function to belong in . Recall that any function can be seen as a *distribution * i.e. as a bounded linear functional on , with

In that case we say that the distribution is representable by the function . Given any distribution we can define its *distributional derivative * to be the distribution defined as

.

In the special case where the distribution can be represented by a function in the way we show above the distributional derivative will be

For notational convenience when the distribution is representable by the function we write . Suppose now that not only the distribution is representable by a function but its distributional derivative is also representable by a function, say . Then the relationship between and will be

In that case we say that and we can denote . However there is another more general way to interpret the fact that a function represents a distribution. Suppose that is (signed) Radon measure on i.e. a set real function defined on the Borel sets which is additive. Note that we defined that measure to take only real values and not the value . In particular a (signed) Radon measure is always a finite measure or us. Let us define now the distribution as follows:

One can check that this is a distribution indeed. We say that represents the distribution . Furthermore suppose now that the Radon measure is absolutely continuous with respect to the Lebesgue measure on . From the Radon-Nikodym theorem there exists a function such that

and

This means that instead of saying that a distribution is representable by a function one could say that can represented by a Radon measure which is absolutely continuous with respect to The Lebesgue measure with corresponding density . Thus:

**The space consists exactly of all the functions in whose distributional derivative can be represented by a Radon measure which is absolutely continuous with respect to Lebesgue measure.**

However you can have functions whose distributional derivative cannot represented by such a measure but it can be represented by a general Radon measure. This leads to the following definition:

**Definition:(BV(0,1))**

Let . We say that is of bounded variation if its distributional derivative can be represented by a Radon measure . We denote this measure by . This means that

We denote this space with . We also define the total variation of to be the total variation |Df|(0,1)of the measure i.e.

where the supremum is taken over all the Borel disjoint partitions of

Let us note here that a signed Radon measure has always finite total variation.

REMARK: By a smoothing argument one can show that the above relation is true for any .

But wait a minute? What have we learned at school? Wasn’t a bounded variation function, a function that does nto oscillate too much? Didn’t we use some partitions of , define the jumps of on these partitions and then taking the supremum of the total size of the jump? Isn’t the “correct” definition something like that:

**Definition: (Pointwise variation)**

Let . We define the *pointwise variation *of in , to be the following supremum

Let us write a few remarks about the above definition. It is very easy to check that every function with finite pointwise variation is bounded. Also any bounded monotone function defined on has pointwise variation equal to (left limit to 1 and right limit to 0 respectively.) We can also check that any function with can be represented as a difference of two bounded increasing functions and such that . Indeed:

Set

and

.

.

In order to see that is increasing as well note that if we have

which means that and hence . Similarly is increasing and we have of course . It remains to show that . The key point here is to observe that

and .

Suppose that this not true. Then there exists a constant and a sequence and tends to such that for every . This means that for every there exist such that

Without less of generality, passing to a subsequence of if necessary, we can assume that for every . Now we have the following sequence decreasing to

But and imply that which is a contradiction.

This is immediate as is increasing for every . Thus . For any partition there exists a (any ) such that

.

Thus .

We are ready to show that . Since both are increasing we have , . Thus

This is enough for today! In the next post we are going to examine the exact relation of functions of bounded variation and functions that have pointwise variation. We are also going to discuss about the Cantor-Vitali function!

**PS: In the last proof, we used a fact that that is true but we did not prove it. can you see what this fact is???**

## 5 comments

Comments feed for this article

18/06/2011 at 13:34

BatiNice post Kostas!

25/06/2011 at 20:05

Eighth Linkfest[...] Kostas: Functions of bounded variation [...]

05/11/2011 at 17:57

Existence Result for the Isoperimetric Problems « Problems – Beni Bogoşel[...] in in the space , we could have replaced by in the above definition. You could take a look at this blog post for a detailed description of or at the Wikipedia [...]

05/11/2011 at 22:40

beni22sofThank you for your post. I really liked it, and I look forward to reading the book you mention in the beginning. I want to understand better these BV spaces and their applications.

30/01/2014 at 13:03

André CaldasIf is of bounded pointwise variation, then and exist.

Very very nice post!!! I will look for the second part. Does it exist?