Paper 2, Section II, G

Analysis II | Part IB, 2010

Suppose the functions fn(n=1,2,)f_{n}(n=1,2, \ldots) are defined on the open interval (0,1)(0,1) and that fnf_{n} tends uniformly on (0,1)(0,1) to a function ff. If the fnf_{n} are continuous, show that ff is continuous. If the fnf_{n} are differentiable, show by example that ff need not be differentiable.

Assume now that each fnf_{n} is differentiable and the derivatives fnf_{n}^{\prime} converge uniformly on (0,1)(0,1). For any given c(0,1)c \in(0,1), we define functions gc,ng_{c, n} by

gc,n(x)={fn(x)fn(c)xc for xc,fn(c) for x=c.g_{c, n}(x)= \begin{cases}\frac{f_{n}(x)-f_{n}(c)}{x-c} & \text { for } x \neq c, \\ f_{n}^{\prime}(c) & \text { for } x=c .\end{cases}

Show that each gc,ng_{c, n} is continuous. Using the general principle of uniform convergence (the Cauchy criterion) and the Mean Value Theorem, or otherwise, prove that the functions gc,ng_{c, n} converge uniformly to a continuous function gcg_{c} on (0,1)(0,1), where

gc(x)=f(x)f(c)xc for xcg_{c}(x)=\frac{f(x)-f(c)}{x-c} \quad \text { for } x \neq c

Deduce that ff is differentiable on (0,1)(0,1).

Typos? Please submit corrections to this page on GitHub.