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.
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 />
).