Solution

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

The contraction mapping theorem states that a self-map of a nonempty complete metric space with a uniform contraction constant has a unique fixed point . For every starting point, the iteration converges to , with .
For the cosine fixed-point iteration, any real gives . This closed interval is complete, and cosine maps it into . The mean value theorem gives
with . Apply the contraction mapping theorem to the tail starting at . Therefore for every real initial value. Numerically . The global real-line derivative bound is only one; entering the invariant interval supplies the strict uniform bound needed by the theorem.

New to topics? Read the docs here!