Solution

ID: past-exam-of-the-fixed-point-methods-for-nonlinear-partial-differential-equations-course-of-the-university-of-oxford/2008/2/c/solution

Work in the Banach space with its supremum norm, and take the nonempty closed bounded convex set . Define
For the absolute value is unnecessary, and . Thus . Also, for ,
so and in particular is continuous.
The image is uniformly bounded, and , so it is equicontinuous. The Arzelà-Ascoli theorem says that a uniformly bounded equicontinuous family in has relatively compact closure in the uniform norm. Hence is compact, and the Schauder fixed-point theorem supplies , the required solution. In fact the displayed contraction estimate also lets the contraction mapping theorem give uniqueness within and convergence of the corresponding Picard iteration. The initial constant here is the printed integer .

New to topics? Read the docs here!