Functions of Bounded Variation and Absolutely Continuous Functions
Total Page:16
File Type:pdf, Size:1020Kb
209: Honors Analysis in Rn Functions of bounded variation and absolutely continuous functions 1 Nondecreasing functions Definition 1 A function f :[a, b] → R is nondecreasing if x ≤ y ⇒ f(x) ≤ f(y) holds for all x, y ∈ [a, b]. Proposition 1 If f is nondecreasing in [a, b] and x0 ∈ (a, b) then lim f(x) and lim f(x) x→x0, x<x0 x→x0, x>x0 exist. We denote them f(x0 − 0) and, respectively f(x0 + 0). Proof Exercise. Definition 2 The function f is sait to be continuous from the right at x0 ∈ (a, b) if f(x0 + 0) = f(x0). It is said to be continuous from the left if f(x0 − 0) = f(x0). A function is said to have a jump discontinuity at x0 if the limits f(x0 ± 0) exist and if |f(x0 + 0) − f(x0 − 0)| > 0. Let x1, x2 ... be a sequence in [a, b] and let hj > 0 be a sequence of positive P∞ numbers such that n=1 hn < ∞. The nondecreasing function X f(x) = hn xn<x is said to be the jump function associated to the sequences {xn}, {hn}. Proposition 2 Let f be nondecreasing on [a, b]. Then it is measurable and bounded and hence it is Lebesgue integrable. Proof Exercise. (Hint: the preimage of (−∞, α) is an interval.) 1 Proposition 3 Let f :[a, b] → R be nondecreasing. Then all the discon- tinuities of f are jump discontinuities. There are at most countably many such. Proof Exercise. (Hint: The range of the function is bounded, and the total length of the range is larger than the sum of the absolute values of the jumps, so for each fixed length, there are at most finitely many jumps larger than that length.) Exercise 1 A jump function associated to {xn}{hn} is continuous from the left and jumps hn = f(xn + 0) − f(xn − 0). Definition 3 Let x ∈ (a, b). We define the derivative numbers by f(y)−f(x) f(y)−f(x) (Dlf)(x) = lim infy<x y−x , (Dlf)(x) = lim supy<x y−x , f(y)−f(x) f(y)−f(x) (Drf)(x) = lim infy>x y−x , (Drf)(x) = lim supy>x y−x . When all the derivative numbers are equal then we say that the function is differentiable at x and denote the common value by f 0(x). Proposition 4 Let f be continuous in [a, b]. If one of the derivative numbers is greater or equal to zero everywhere in (a, b), then f is nondecreasing in [a, b] Proof. We consider Dr for instance. Assume first Dr > 0 on (a, b). If a ≤ x < y ≤ b is such that max[x,y] f is achieved at some w < y, then for z ∈ (w, y) we have f(z) − f(w) ≤ 0 z − w contradicting the assumption. Thus f must be nondecreasing. If Drf ≥ 0 we take f(x) + x and then let → 0. Theorem 1 Let f be nondecreasing on [a, b]. Then f 0 exists almost every- where (with respect to Lebesgue measure), f 0 is measurable, nonnegative, and Z b f 0(t)dt ≤ f(b) − f(a). a 2 Proof. Let Eαβ = {x ∈ [a, b] | Drf(x) ≤ α < β ≤ Drf(x)}. Let U be an open set in [a, b] such that Eαβ ⊂ U. Let F = {[x, x + h] | a ≤ x < x + h ≤ b, [x, x + h] ⊂ U, f(x + h) − f(x) ≤ αh} Then F is a fine cover of Eαβ and by Corollary 3 of Vitali’s theorem (or Corollary 4 of Besicovich’s thm), there exist [xj, xj + hj] = Ij ∈ F, disjoint, j = 1, 2,... so that λ(Eαβ \ ∪Ij) = 0 where λ is Lebesgue outer measure. Let S = Eαβ ∩ (∪Ij). Let I = {[x, x + h] | ∃j, [x, x + h] ⊂ Ij, f(x + h) − f(x) ≥ βh} Then I is a fine cover of S \ ∪{xj + hj}. Therefore, there exist disjoint [yk, yk + gk] = Jk ∈ I such that λ(S \ ∪Jk) = 0 Now P P β λ(Jk) ≤ (f(yk + gk) − f(yk)) P k k P ≤ j (f(xj + hj) − f(xj)) ≤ α j λ(Ij) ≤ αλ(U) We deduce that P λ(Eαβ) ≤ λ(S) ≤ k λ(Jk) α ≤ β λ(U) α Because U is arbitrary we deduce λ(Eαβ) ≤ β λ(Eαβ), so Eαβ is negligible. This implies that Drf = Drf almost everywhere. Similar arguments show that all four derivative numbers are equal almost everywhere. In order to prove the rest, condider the functions 1 g (x) = n f(x + ) − f(x) n n where we take the extension of f to the right by f(x) = f(b) for x ≥ b. Then 0 gn are nonnegative and gn → f almost everywhere in [a, b]. By Fatou’s lemma Z b Z b 0 f (t)dt ≤ lim inf gn(t)dt = f(b) − f(a) a n→∞ a 3 and this concludes the proof. There exist nondecreasing functions f such that f 0 = 0 almost every- where and f(b) − f(a) > 0. Simple step functions are examples of such functions. More interesting are Cantor functions, which are nondecreasing and continuous, with f(b) − f(a) > 0 and f 0(t) = 0 almost everywhere. We consider the interval I = [0, 1] and we construct first Cantor’s set. This is done inductively by removing the open middle third interval. We set R1 the open interval (1/3, 2/3), R2 = (1/9, 2/9) ∪ (1/3, 2/3) ∪ (7/9, 8/9), and so on. Rn ⊂ Rn+1 is a sequence of open sets. Their complements are denoted Cn. n −n Each Cn is closed, it is formed with 2 disjoint closed intervals of length 3 n each. The Lebesgue measure of Cn is therefore λ(Cn) = (2/3) . The intersec- tion C = ∩Cn is not empty because Cn+1 ⊂ Cn are non-empty compact sets. The set C is the Cantor “middle thirds” set; its Lebesgue measure is zero. Its complement R = ∪Rn has measure 1 and is open. Now we construct (many) continuous, nondecreasing functions f such that f 0(t) = 0 for all t ∈ R, and such that f(0) = 0, f(1) = 1. This is done inductively as follows. Start with f0(t) = t. We are going to describe suggestively Rn as “resting times” and we are going to implement consistent “travel plans” based on the preceding travel plan. So, for instance, we can decide that we are going to follow exactly the preceding travel plan for a third of the time, rest for a third of the time, and catch up in the last third. If we travel at constant speeds, this produces the function f1(t) = t for t ≤ 1/3, f1(t) = 1/3, for t ∈ R1, f1(t) = 2t − 1 on [2/3, 1]. Inductively, we find functions fn+1(t) ≤ fn(t) with fn(0) = 0, 0 fn(1) = 1, fn(t) piece-wise linear, fn continuous, nondecreasing, fn(t) = 0 for t ∈ Rn. Moreover fn+1(t) = fn(t) for t = Rn. The nonzero speeds of the n-th traveler are 1, 2,... 2n. The distance between successive travelers n+1 obeys supt∈[0,1] |fn+1(t) − fn(t)| ≤ (2/3) . Because these numbers form a convergent series, the sequence fn is Cauchy in C([0, 1]), which means that it is uniformly convergent to a function f. The function f is clearly non- decreasing, continuous (as uniform limit of continuous functions), f(0) = 0, f(1) = 1 and f 0(t) = 0 for t ∈ R because f is constant in each interval that comprises R. Other travel plans work as well, as long as we keep the rule that the resting time of the nth traveler is Rn, and that the next traveler always rests with his predecessor. For instance we may say that we want to keep the speeds of the travelers the same, when they are not resting. Starting from the same f0 we obtain then f1(t) = (3/2)t for t ≤ 1/3, f1(t) = 1/2 on R1 and f1(t) = (3/2)t − (1/2) for t ∈ [2/3, 1]. The n-th traveler has nonzero speed 4 n R t n (3/2) and is fn(t) = 0 gn(s)ds with gn = (3/2) 1Cn . The maximal distance 1 −n between succsessive travelers is now supt∈[0,1] |fn+1(t) − fn(t)| = 6 2 . The functions fn are nondecreasing, continuous, fn+1 = fn on Rn, fn(0) = 0, 0 fn(1) = 1, fn(t) = 0 for t ∈ Rn. We obtain a different Cantor function in the limit. (The rest places are different, although they rest at the same times). 2 BV We consider finite collections of closed intervals Ij = [lj, rj], included in a fixed interval [a, b], with j = 1,...N, a ≤ rj ≤ lj+1 < rj+1 ≤ b for 1 ≤ j ≤ N − 1. We use the notation I([a, b]) = {{I1,...IN } | N ∈ N} to represent the set of all such collections. A partition is an element P ∈ N I([a, b]) such that [a, b] = ∪j=1Ij. We denote by P([a, b]) the set of all partitions. We’ll write I, P when the interval [a, b] is clear from the context. Definition 4 A function f :[a, b] → R is said to be of bounded variation, f ∈ BV ([a, b]) if N b X Va (f) = sup |f(rj) − f(lj)| P ∈I([a,b]) j=1 b is finite.