21.06.2015 Views

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

SHOW MORE
SHOW LESS

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

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

Saved successfully!

Ooh no, something went wrong!