 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ib/paper-4/18h/a/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

x_{k + 1} = x_{k} - [\nabla^{2} f (x_{k})]^{- 1} \nabla f (x_{k}) .

For a quantitative local bound, suppose on a convex neighbourhood containing the iterates that

m I ⪯ \nabla^{2} f (x) ⪯ L I, ∥ \nabla^{2} f (x) - \nabla^{2} f (y) ∥ \leq M ∥ x - y ∥,

with

m > 0

, and let

x^{*}

∥ x_{k + 1} - x^{*} ∥ \leq \frac{M}{2 m} ∥ x_{k} - x^{*} ∥^{2} .

q = M ∥ x_{0} - x^{*} ∥/ (2 m) < 1

, induction yields

∥ x_{k} - x^{*} ∥ \leq \frac{2 m}{M} q^{2^{k}} .

Since

f (x) - f (x^{*}) \leq L ∥ x - x^{*} ∥^{2} /2

f (x_{k}) - f (x^{*}) \leq \frac{2 L m ^{2}}{M ^{2}} q^{2^{k + 1}} .

 New to topics? Read the docs here!