Chapter 6: Can we differentiate through a limit?
We say $f : A \to \mathbb{R}$ is differentiable at $c \in A$ if the limit
$f'(c) = \lim_{x \to c} \frac{f(x) - f(c)}{x - c}$
exists. When $f'(c)$ exists, it equals the slope of the tangent line to the graph of $f$ at $c$.
Two key facts we will use:
Background: We proved that if $f_n \to f$ uniformly and each $f_n$ is continuous, then $f$ is continuous. The natural next question is:
If $f_n \to f$ uniformly and each $f_n$ is differentiable, must $f$ be differentiable?
And if so, does $f_n' \to f'$?
Conclusion: $h_n \to 0$ uniformly, yet $(h_n')$ diverges everywhere.
Differentiating the limit function means computing:
$f'(c) = \lim_{x \to c} \frac{f(x)-f(c)}{x-c} = \lim_{x \to c} \frac{\left(\lim_{n\to\infty} f_n(x)\right) - \left(\lim_{n\to\infty} f_n(c)\right)}{x-c}$
Saying $f' = \lim_n f_n'$ is asking to interchange the following limits:
$\lim_{x \to c} \lim_{n \to \infty} \frac{f_n(x)-f_n(c)}{x-c} \overset{?}{=} \lim_{n \to \infty} \lim_{x \to c} \frac{f_n(x)-f_n(c)}{x-c}$
This is even more delicate than the continuity interchange. The fix: require the derivatives $(f_n')$ to converge uniformly.
Let $f_n \to f$ pointwise on $[a,b]$, and assume each $f_n$ is differentiable on $[a,b]$. If $(f_n')$ converges uniformly on $[a,b]$ to a function $g$, then $f$ is differentiable and $f' = g$. That is,
$\left(\lim_{n\to\infty} f_n\right)' = \lim_{n\to\infty} f_n'$
What the theorem says in plain language: To differentiate through a limit, you do not need $(f_n)$ to converge uniformly — you need $(f_n')$ to converge uniformly. If the derivatives converge uniformly to some $g$, then the limit function $f$ is differentiable and its derivative is exactly $g$.
Fix $c \in [a,b]$ and $\varepsilon > 0$. We want to show $f'(c) = g(c)$, i.e., there exists $\delta>0$ such that whenever $|x-c|<\delta$:
By the triangle inequality, for any $n \in \mathbb{N}$ and $x \neq c$:
$\left|\frac{f(x)-f(c)}{x-c} - g(c)\right| \leq$ + +
Term (I), Term (II), Term (III)
Conclude: for $0 < |x-c| < \delta$,
$\left|\frac{f(x)-f(c)}{x-c} - g(c)\right| < \frac{\varepsilon}{3} + \frac{\varepsilon}{3} + \frac{\varepsilon}{3} = \varepsilon$ $\square$
Key insights about the proof:
(a) Find the pointwise limit $f(x) = \lim_{n\to\infty} f_n(x)$.
(b) Compute $f_n'(x)$ and find $g(x) = \lim_{n\to\infty} f_n'(x)$ pointwise.
(c) Show $(f_n')$ converges uniformly to $g$ on $[-2,2]$.
(d) Conclude by Theorem 1 that $f' = g$. Verify directly that $f'(x) = g(x)$.
(a) Show $(g_n)$ converges uniformly on $[0,1]$ and find $g = \lim_{n \to \infty} g_n$.
(b) Compute $g_n'(x)$ for each $n$. Show $(g_n')$ converges pointwise on $[0,1]$. Is the convergence uniform?
(c) Compute $\lim_{n\to\infty} g_n'(x)$ and compare it with $g'(x)$. Are they equal?
Note: This example shows that even when $(f_n)$ converges uniformly, the sequence $(f_n')$ may converge non-uniformly.
| Hypothesis | Conclusion | Example |
|---|---|---|
| $f_n \to f$ uniformly, each $f_n$ differentiable | No conclusion about $f'$ | $h_n(x) = \frac{\sin(nx)}{\sqrt{n}}$ |
| $f_n \to f$ pointwise, $f_n' \to g$ uniformly | $f$ is differentiable and $f' = g$ | Example 1 |
(a) Compute $f = \lim_{n\to\infty} f_n$ pointwise. Identify $f$.
(b) Compute $f_n'(x)$ and find $\lim_{n\to\infty} f_n'(x)$ pointwise.
(c) Show $(f_n')$ converges uniformly on every bounded interval $[-M, M]$.
(d) Apply Theorem 1 to conclude $f' = \lim_{n \to \infty} f_n'$. Verify directly.
(a) If $f_n \to f$ uniformly and each $f_n$ is differentiable, then $f$ is differentiable.
(b) If $f_n \to f$ pointwise, each $f_n$ is differentiable, and $f_n' \to g$ pointwise, then $f' = g$.
(c) If $f_n \to f$ pointwise, each $f_n$ is differentiable, and $f_n' \to g$ uniformly, then $f' = g$.