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.

106 [CH. 7: NEWTON ITERATION<br />

Proof. In order to estimate the higher derivatives, we expand:<br />

1<br />

l! Df(x)−1 D l f(y) = ∑ ( ) k + l Df(x) −1 D k+l f(x)(y − x) k<br />

l<br />

k + l<br />

k≥0<br />

and by Lemma 7.6 for d = l + 1,<br />

1<br />

l! ‖Df(x)−1 D l γ(f, x)l−1<br />

f(y)‖ ≤<br />

(1 − u) l+1 .<br />

Combining with Lemma 7.9,<br />

1<br />

l! ‖Df(y)−1 D l γ(f, x)l−1<br />

f(y)‖ ≤<br />

(1 − u) l−1 ψ(u) .<br />

Taking the l − 1-th power,<br />

γ(f, y) ≤<br />

γ(f, x)<br />

(1 − u)ψ(u) .<br />

Proof of Theorem 7.19. We have necessarily α < 3 − 2 √ 2 or r is<br />

undefined. Then (Theorem 7.18) there is a zero ζ of f with ‖x 0 −ζ‖ ≤<br />

rβ(f, x 0 ). Then, Lemma 7.20 implies that ‖x 0 − ζ‖γ(f, ζ) ≤ u 0 . Now<br />

apply Theorem 7.12.<br />

Exercise 7.6. The objective of this exercise is to show that C i is<br />

non-increasing.<br />

1. Show the following trivial lemma: If 0 ≤ s < a ≤ b, then<br />

a−s<br />

b−s ≤ a b .<br />

2. Deduce that q ≤ η.<br />

3. Prove that C i+1 /C i ≤ 1.<br />

Exercise 7.7. Show that<br />

ζ 1 γ(ζ 1 ) = 1 + α − √ ∆<br />

3 − α + √ ∆<br />

(<br />

ψ<br />

1<br />

1+α− √ ∆<br />

4<br />

).

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

Saved successfully!

Ooh no, something went wrong!