21.06.2015 Views

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

SHOW MORE
SHOW LESS

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:

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!