Numerical Methods & Scientific Computing: lecture notes
Errors
Error propagation
Week 5: aim to cover
root-finding: bisection, fixed point iteration (Lecture 9) error propagation, bisection, fixed point iteration ( Lab 5) Newton’s method, secant method, fzero (Lecture 10)
Numerical Methods & Scientific Computing: lecture notes
Root-finding
Root-finding methods
Findx suchthatf(x)=0
y
roots
y=f(x)
x
Numerical Methods & Scientific Computing: lecture notes
Root-finding
Iterative processes
‘find zeroes of f ’, ‘find roots of f ’, ‘root-finding’ We look for iterative procedures
guessx0 !x1 !x2···
So we must construct a rule so the sequence of iterates converges to the root x⇤. Since we have to stop the iteration, we get a truncation error (this dominates roundo↵ error until v. close to root)
Most problems of continuous mathematics cannot be solved by finite algorithms.
Trefethen’s Maxims
Numerical Methods & Scientific Computing: lecture notes
Root-finding
Fixed point iteration
Rearrange f (x) = 0 to x = g(x) (not uniquely)
then try the iteration
xn+1 = g(xn)
does it converge to the fixed point? Let’s try it …
Definition
A point x⇤ that satisfies x⇤ = g(x⇤) is a fixed point of the function g
Numerical Methods & Scientific Computing: lecture notes
Root-finding
Behaviour of fixed point iteration
what happens?
1 sometimes it blows up!
2 if it converges , (absolute) error behaves like
en+1 ⇡ ken
linear convergence
3 k is di↵erent for di↵erent g
4 the smaller k is, the faster the convergence
Numerical Methods & Scientific Computing: lecture notes
Root-finding
Explanation by Taylor series …
Numerical Methods & Scientific Computing: lecture notes
Root-finding
Some Theorems!
Definition
Ifg isdefinedon[a,b]andx⇤ =g(x⇤)forsomex⇤ ⇢[a,b],g hasa fixed point x⇤ ⇢ [a,b]
Theorem
Su cient conditions for a unique fixed point
1 Existence: If g 2 C[a,b] and g(x) 2 [a,b] (g maps [a,b] onto [a,b] or a subinterval) then g has a fixed point in [a,b]
2 Uniqueness: If, also, if g0(x) exists on (a,b) and | g0(x) | k < 1 on (a,b) then g has a unique fixed point in [a,b]
Numerical Methods & Scientific Computing: lecture notes
Root-finding
Useful theorems from analysis
Theorem
Intermediate Value Theorem IVT
Givenf 2C[a,b]withf(a)>0,f(b)<0 =) 9c2[a,b]suchthatf(c)=0
1
Theorem
Mean Value Theorem MVT Givenf 2C1[a,b]
=) 9 c 2 [ a , b ] s u c h t h a t f ( b ) f ( a ) = f 0 ( c ) b a
2
Numerical Methods & Scientific Computing: lecture notes
Root-finding
Proofs!
Proof.
Existence:
If g(a) = a or g(b) = b fixed point exists, so suppose not. Theng(a)>a,g(b)