1.6. Differentiation theorems 139 function on R, and F vanishes outside of [a, b]. As F is almost everywhere differentiable, the Newton quotients fn(x) := F (x + 1/n) − F (x) 1/n converge pointwise almost everywhere to F . Applying Fatou’s lemma (Corollary 1.4.46), we conclude that [a,b] F (x) dx ≤ lim inf n→∞ [a,b] F (x + 1/n) − F (x) 1/n dx. The right-hand side can be rearranged as lim inf n→∞ n [a+1/n,b+1/n] F (y) dy − [a,b] F (x) dx which can be rearranged further as lim inf n→∞ n [b,b+1/n] F (x) dx − [a,a+1/n] F (x) dx . Since F is equal to F (b) for the first integral and is at least F (a) for the second integral, this expression is at most ≤ lim inf n→∞ n(F (b)/n − F (a)/n) = F (b) − F (a) and the claim follows. Exercise 1.6.44. Show that any function of bounded variation has an (al- most everywhere defined) derivative that is absolutely integrable. In the Lipschitz case, one can do better: Exercise 1.6.45 (Second fundamental theorem for Lipschitz functions). Let F : [a, b] → R be Lipschitz continuous. Show that [a,b] F (x) dx = F (b) − F (a). (Hint: Argue as in the proof of Proposition 1.6.37, but use the dominated convergence theorem (Theorem 1.4.48) in place of Fatou’s lemma (Corollary 1.4.46).) Exercise 1.6.46 (Integration by parts formula). Let F, G: [a, b] → R be Lipschitz continuous functions. Show that [a,b] F (x)G(x) dx = F (b)G(b) − F (a)G(a) − [a,b] F (x)G (x) dx. (Hint: First show that the product of two Lipschitz continuous functions on [a, b] is again Lipschitz continuous.)

Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright no copyright American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.