Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
92 [CH. 7: NEWTON ITERATION<br />
The Taylor expansions of f and Df around 0 are respectively:<br />
f(x) = x + ∑ k≥2<br />
1<br />
k! Dk f(0)x k<br />
and<br />
Df(x) = I + ∑ k≥2<br />
1<br />
k − 1! Dk f(0)x k−1 . (7.7)<br />
Combining the two equations, above, we obtain:<br />
f(x) − Df(x)x = ∑ k≥2<br />
k − 1<br />
D k f(0)x k .<br />
k!<br />
Using Lemma 7.6 with d = 2, the rightmost term in (7.6) is<br />
bounded above by<br />
‖f(x) − Df(x)x‖ ≤ ∑ k≥2(k − 1)γ k−1 ‖x‖ k =<br />
γ‖x‖ 2<br />
(1 − γ‖x‖) 2 . (7.8)<br />
Combining Lemma 7.9 and (7.8) in (7.6), we deduce that<br />
‖N(f, x)‖ ≤<br />
γ‖x‖2<br />
ψ(γ‖x‖) .<br />
By induction, u i ≤ γ‖x i ‖. When u 0 ≤ (3 − √ 7)/2, we obtain as<br />
in Lemma 7.10 that<br />
‖x i ‖<br />
‖x 0 ‖ ≤ u i<br />
u 0<br />
≤ 2 −2i +1 .<br />
We have seen in Lemma 7.10 that the bound above fails for i = 1<br />
when u 0 > (3 − √ 7)/2.<br />
Notice that in the proof above,<br />
lim<br />
i→∞<br />
u 0<br />
ψ(u i ) = u 0.<br />
Therefore, convergence is actually faster than predicted by the<br />
definition of approximate zero. We proved actually a sharper result: