1.II.11F

Analysis II | Part IB, 2008

State and prove the Contraction Mapping Theorem.

Let (X,d)(X, d) be a nonempty complete metric space and f:X→Xf: X \rightarrow X a mapping such that, for some k>0k>0, the kk th iterate fkf^{k} of ff (that is, ff composed with itself kk times) is a contraction mapping. Show that ff has a unique fixed point.

Now let XX be the space of all continuous real-valued functions on [0,1][0,1], equipped with the uniform norm ∥h∥∞=sup⁡{∣h(t)∣:t∈[0,1]}\|h\|_{\infty}=\sup \{|h(t)|: t \in[0,1]\}, and let ϕ:R×[0,1]→R\phi: \mathbb{R} \times[0,1] \rightarrow \mathbb{R} be a continuous function satisfying the Lipschitz condition

∣ϕ(x,t)−ϕ(y,t)∣⩽M∣x−y∣|\phi(x, t)-\phi(y, t)| \leqslant M|x-y|

for all t∈[0,1]t \in[0,1] and all x,y∈Rx, y \in \mathbb{R}, where MM is a constant. Let F:X→XF: X \rightarrow X be defined by

F(h)(t)=g(t)+∫0tϕ(h(s),s)dsF(h)(t)=g(t)+\int_{0}^{t} \phi(h(s), s) d s

where gg is a fixed continuous function on [0,1][0,1]. Show by induction on nn that

∣Fn(h)(t)−Fn(k)(t)∣⩽Mntnn!∥h−k∥∞\left|F^{n}(h)(t)-F^{n}(k)(t)\right| \leqslant \frac{M^{n} t^{n}}{n !}\|h-k\|_{\infty}

for all h,k∈Xh, k \in X and all t∈[0,1]t \in[0,1]. Deduce that the integral equation

f(t)=g(t)+∫0tϕ(f(s),s)dsf(t)=g(t)+\int_{0}^{t} \phi(f(s), s) d s

has a unique continuous solution ff on [0,1][0,1].

Typos? Please submit corrections to this page on GitHub.