Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
100 [CH. 7: NEWTON ITERATION<br />
Let us look at the sequence y i = S(t i ). By construction y 0 = 1, and<br />
subsequent values are given by the recurrence<br />
It is an exercise to check that<br />
y i+1 = S(N(h βγ , S −1 (y i ))).<br />
y i+1 = qy 2 i , (7.11)<br />
Therefore we have y i = q 2i −1 , and equation (7.10) holds.<br />
Proposition 7.17. Under the conditions of Proposition 7.16, 0 is<br />
an approximate zero of the second kind for h βγ if and only if<br />
α = βγ ≤ 13 − 3√ 17<br />
.<br />
4<br />
Proof. Using the closed form for t i , we get:<br />
with<br />
t i+1 − t i = 1 − q2i+1 −1<br />
1 − ηq 2i+1 −1 − 1 − q2i −1<br />
1 − ηq 2i −1<br />
In the particular case i = 0,<br />
Hence<br />
C i =<br />
= q 2i −1 (1 − η)(1 − q 2i )<br />
(1 − ηq 2i+1 −1<br />
)(1 − ηq 2i −1<br />
)<br />
t 1 − t 0 = 1 − q<br />
1 − ηq = β<br />
t i+1 − t i<br />
β<br />
= C i q 2i −1<br />
(1 − η)(1 − ηq)(1 − q 2i )<br />
(1 − q)(1 − ηq 2i+1 −1<br />
)(1 − ηq 2i −1<br />
) .<br />
Thus, C 0 = 1. The reader shall verify in Exercise 7.6 that C i is a<br />
non-increasing sequence. Its limit is non-zero.<br />
From the above, it is clear that 0 is an approximate zero of the<br />
second kind if and only if q ≤ 1/2. Now, if we clear denominators