User:Addemf/sandbox/Lebesgue Differentiation (version 2.0)/Lebesgue's Differentiation Theorem

First Lebesgue Differentiation Theorem
We return to that problem which sent us along this sequence of thoughts, which is the proof that if f is integrable then


 * $$ \lim_{h\to 0^+}\frac{1}{2h}\int_{(x-h,x+h)}|f-f(x)|\ dt=0$$

almost everywhere on $$\Bbb R$$.

To begin the proof we let $$A\subseteq \Bbb R$$ be the set of points at which this equality fails. Therefore we intend to show that its measure is zero.

Let $$\delta\in\Bbb R^+$$ and we will attempt to approximate A in such a way that we are able to show $$\lambda(A)$$ is small.

Let $$g:\Bbb R\to\Bbb R$$ be any continuous function with $$\int|f-g|<\delta$$.

Let $$x\in A$$ and by definition $$\lim_{t\to 0^+}\frac 1 {2t}\int_{(x-t,x+t)}|f-f(x)| \ dt\ne 0$$.

Not only is this limit not zero, but because the integrand is nonnegative, then the limit must be positive.

Moreover, we may consider the limsup, since this is guaranteed to exist and be positive. This limsup may exist only in the sense of being infinity, but if we still regard that as a kind of existence then we will still have that it exists in this way.

Exercise 1. Limsup Is Equivalent
Let $$a(h)$$ be any nonnegative function $$a:\Bbb R\to\Bbb R^{\ge 0}$$. Prove that $$\lim_{h\to 0} a(h) = 0$$ if and only if $$\overline \lim_{h\to 0} a(h)=0$$.

Bounding the Limsup
For the chosen $$x\in A$$ there exists some $$\varepsilon\in\Bbb R^+$$ such that


 * $$\overline\lim_{h\to 0^+}\frac 1 {2h}\int_{(x-h,x+h)}|f-f(x)|\ dt > \varepsilon$$

But then


 * $$\begin{aligned}

\varepsilon &< \overline\lim_{h\to 0^+}\frac 1{2h}\int_{(x-h,x+h)}|f-f(x)|\ dt \\ &\le \overline\lim_{h\to 0^+}\frac 1 {2h} \int_{(x-h,x+h)}(|f-g|+|g-g(x)|+|g(x)-f(x)|)\ dt \end{aligned}$$

Exercise 2. Complete the Inequalities
Explain why $$\overline\lim_{h\to 0^+}\frac 1 {2h}\int_{(x-h,x+h)}|g-g(x)|\ dt = 0$$. Hint: Recall what we already discussed in a previous lesson about continuous functions.

Explain why $$\overline\lim_{h\to 0^+}\frac 1 {2h} \int_{(x-h,x+h)}|f(x)-g(x)| \ dt = |f(x)-g(x)|$$.

Then use the above to infer that $$\overline\lim_{h\to 0^+}\frac{1}{2h}\int_{(x-h,x+h)}|f-f(x)| \le (f-g)^*(x) + |f-g|(x) $$.

Exercise 3. Find Bounds on the Domain Subsets
Use this result above to conclude that either $$(f-g)^*(x) > \frac\varepsilon 2$$ or $$|f(x)-g(x)|>\frac \varepsilon 2$$.

Apply Markov's inequality to the set


 * $$\{x\in\Bbb R:\frac\varepsilon 2 < |f(x)-g(x)|\}$$

and apply Hardy-Littlewood to


 * $$\{x\in\Bbb R:\frac \varepsilon 2 < (f-g)^*(x)\}$$

to infer that


 * $$\lambda\left(\left\{ x\in\Bbb R:\varepsilon < \overline\lim_{h\to 0^+}\frac 1 {2h}\int_{(x-h,x+h)}|f-f(x)| \ dt \right\}\right)\le \frac{C}{\varepsilon}\int|f-g|$$

for some appropriate constant C.

Then prove that the left-hand side is small. (Recall $$\delta$$.)

Finally, prove the final result using the continuity of measure. (You will need to replace $$\varepsilon$$ by a countable sequence like $$1/n$$.)