Measure Theory/Bounded Variation
Bounded Variation
editIn 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.
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'
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.