First Fundamental theorem of Calculus Corollary

calculusreal-analysis

(From Analysis 1 by Terence Tao ,Exercise 11.9.3)

Let $a<b$ be real numbers, and let $f : [a, b] → R$ be a
monotone increasing function. Let $F : [a, b] → R$ be the function $F(x) :=\int_{[a,x]} f$. Let $x_0$ be an element of $[a, b]$. Show that $F$ is differentiable at $x_0$ if
and only if $f$ is continuous at $x_0$. (Hint: one direction is taken care of by one
of the fundamental theorems of calculus. For the other, consider left and right
limits of $f$ and argue by contradiction.)

Now ,as mentioned in the hint, one way is already known from the First fundamental theorem of calculus. To prove the second one – (going by the hint )
$\lim_{x\to x_0^+}\frac{F(x)-F(x_0)}{x-x_0}=\lim_{x\to x_0^-}\frac{F(x)-F(x_0)}{x-x_0}$

$\lim_{\delta\to0}\frac{F(x_0+\delta)-F(x_0)}{\delta}=\lim_{\delta\to0}\frac{F(x_0-\delta)-F(x_0)}{(-\delta)}$

$\lim_{\delta\to0}\frac{\int_{x_0}^{x_0+\delta} f(x)}{\delta}=\lim_{\delta\to0}\frac{\int_{x_0-\delta}^{x_0} f(x)}{\delta}$

I am kind of stuck at this point. Any suggestions on how to move forward ?

Best Answer

I will expand on my comment slightly. The key to this is monotonicity. To avoid boundary cases, I'll consider $x_0 \in (a,b)$. Suppose $f$ is discontinuous at $x_0$. Let $L^- = \lim_{x \to x_0^-} f(x)$ and $L^+ = \lim_{x \to x_0^+} f(x)$. Since $f$ is monotonically increasing, we have that $$f(y) \le L^- \le L^+ \le f(x)$$ for all $y < x_0 < x$. Moreover, discontinuity ensures that $L^- < L^+$.

I would suggest that you take $\alpha,\beta \in (L^-,L^+)$, $\alpha < \beta$, and estimate the values $$\int_{x_0}^{x_0 + \epsilon} f \qquad \text{and} \qquad \int_{x_0-\epsilon}^{x_0} f $$ for $\epsilon > 0$ sufficiently small. Can you show that the one-sided limits $$\lim_{\epsilon \to 0^+} \frac{F(x_0-\epsilon) - F(x_0)}{-\epsilon} \qquad \text{and} \qquad \lim_{\epsilon \to 0^+} \frac{F(x_0+\epsilon) - F(x_0)}{\epsilon}$$ are different?