Question 9.T.5: Suppose (fn) is a differentiable sequence of functions on [a...

Suppose (f_{n}) is a differentiable sequence of functions on [a, b] which converges at some point x_{0} ∈ [a, b]. If the sequence (f^{\prime}_{n}) is uniformly convergent on [a, b], then (f_{n}) is also uniformly convergent on [a, b] to a function f which is differentiable on [a, b], and f^{\prime}_{n} → f^{\prime}.

The blue check mark means that this solution has been answered and checked by an expert. This guarantees that the final answer is accurate.
Learn more on how we answer questions.

Let ε > 0. From the convergence of (f_{n}(x_{0})) and the uniform convergence of (f^{\prime}_{n}), we deduce that there is an N ∈ \mathbb{N} such that

m, n ≥ N ⇒ \left|f^{\prime}_{n}(x) − f^{\prime}_{m} (x)\right| < ε  for all x ∈ [a, b],

and

m, n ≥ N ⇒ |f_{n}(x_{0}) − f_{m}(x_{0})| < ε.

Given any two points x, t ∈ [a, b], we know from the mean value theorem, applied to f_{n} − f_{m}, that we can find a point c between x and t such that

f_{n}(x) − f_{m}(x) − [f_{n}(t) − f_{m}(t)] = (x − t)[f^{\prime}_{n}(c) − f^{\prime}_{m}(c)].

If m, n ≥ N then

|f_{n}(x) − f_{m}(x) − [f_{n}(t) − f_{m}(t)]| < ε |x − t| ,        (9.14)

hence

|f_{n}(x) − f_{m}(x)| ≤ |f_{n}(x) − f_{m}(x) − [f_{n}(x_{0}) − f_{m}(x_{0})]|

+ |f_{n}(x_{0}) − f_{m}(x_{0})|

< ε |x − x_{0}| + ε

≤ ε(b − a + 1) = Cε,  x ∈ [a, b].

This proves that (f_{n}) satisfies Cauchy’s criterion for uniform convergence, and must therefore converge uniformly to some limit f.

For any fixed point x ∈ [a, b], define

g_{n}(t) = \frac{f_{n}(t) − f_{n}(x)}{t − x},  t ∈ [a, b]\setminus \left\{x\right\},

g(t) = \frac{f (t) − f (x)}{t − x},  t ∈ [a, b]\setminus \left\{x\right\}.

Clearly g_{n} → g as n → ∞, and we shall now show that this convergence is uniform. If m, n ≥ N then, using (9.14),

|g_{n}(t) − g_{m}(t)| < ε  for all t ∈ [a, b]\{x},

hence, by Cauchy’s criterion, g_{n} \overset{u}{\rightarrow} g on [a, b]\{x}. Since

\underset{t→x}{\lim}  g_{n}(t) = f^{\prime} _{n} (x)  for all n ∈ \mathbb{N},

we can use Theorem 9.3 to conclude that

\underset{t→x}{\lim}  g(t) = \underset{n→∞}{\lim} f^{\prime}_{n} (x).

But since \lim_{t→x} g(t) = f^{\prime}(x), this proves that f is differentiable at x, and that

f^{\prime}(x) = \underset{n→∞}{\lim} f^{\prime}_{n} (x).

Related Answered Questions

Question: 9.10

Verified Answer:

(i) Since |sin nx| ≤ 1 for all x ∈ \mathbb{...
Question: 9.14

Verified Answer:

Using the Taylor series for the binomial function,...
Question: 9.T.14

Verified Answer:

Applying the root test (Theorem 4.8), we obtain [l...