Measure Theory/Bounded Variation

Bounded Variation

edit

In Lesson 0 of this section, we already introduced functions of bounded variation as an extension of monotone functions. We also showed that every function of bounded variation has an up-down decomposition.

This was all in the hope of proving the integral of the derivative equation, under nice conditions for a given function. We can now state that, at least one nice condition, is for a function to be of bounded variation.


Exercise 1. BV Differentiable A.E.


Show that any function,  , of bounded variation is differentiable a.e.

This should be a quick proof from the observation that f has an up-down decomposition, each component function being monotone and therefore differentiable a.e. Therefore the set of points at which either is not differentiable has measure zero, and so on.

This ensures that the f' exists in the equation

 

We'll also wish for a guarantee that f' is integrable, so that we may be assured   exists. This will occupy our concerns in this lesson.

BV Integrable f'

edit
Exercise 2. BV Integrable f'


Let   be a function of bounded variation, and prove that f' is integrable on [a,b], and

 

Hint: First show this for any monotonically increasing function.

Consider the set of points at which the derivative exists, and "fill the gaps" by defining g to be equal to the one of the Dini derivatives of f. Therefore   a.e. and g has a finite Dini derivative everywhere on [a,b]. You can then show that   exists and infer that   at the end.

Now to show that   exists, use the Dini derivative which you know exists to infer that the sequence of functions,

 

converges pointwise to   and  .

Then apply Fatou's to infer the desired inequality.

Note that in fact, we not only have the existence of  , but also half of the equality that we're seeking!

Can we prove the reverse inequality? We answer this cliff-hanger in the next lesson.