By continuity of at , for any choose such that whenever . Twice using the fundamental theorem of calculus gives the remainder asThe inner difference is and has modulus at most . Integrating this bound over the interval between and proves, for either sign of ,This is the local quadratic Taylor remainder estimate. The given may enter the bound on the second derivative; no stronger differentiability assumption is needed.
The intermediate value theorem gives a root , unique because makes strictly increasing. We show that Newton root-finding iteration, started at , always stays to the right of . If , the mean value theorem gives for some . Since , is strictly increasing, so . It follows thatInduction gives , so the bounded monotone sequence theorem supplies a limit . The continuous positive is bounded away from zero on , making continuous. Passing to the limit in gives and hence . Uniqueness implies .
For the rate, apply the Taylor theorem with Lagrange remainder to between and :With , rearrangement givesThus the monotone Newton convergence for a strictly convex function has quadratic convergence. More concretely, if , then . Once , induction gives , exhibiting the repeated squaring of small errors.
Articles by others on the same topic
There are currently no matching articles.