Beruflich Dokumente
Kultur Dokumente
Amer Rasheed
Lecture 2
Numerical Analysis
Math344, Math541
Fixed Point
A fixed point of a (real) function g(x) is a real number P such that
P = g(P )
Pn+1 = g(Pn )
Example
Find the fixed point of
g(x) = ex , x0 = 0.5.
We write the fixed point iteration as
Theorem
Assume that g is a continuous function and that {Pn } n=0 is a sequence
generated by fixed point iteration. If lim Pn = P . Then P is a fixed point
n
of g(x).
Proof Given lim Pn = P . Which implies that lim Pn+1 = P
n n
Thus
a y b, a < x < b,
Proof (Existence)
If g(a) = a or g(b) = b, the statement is true.
Otherwise, the range values g(a) and g(b) must satisfy
a < g(a) b & a g(b) < b
We can write
a g(a) < 0 & b g(b) > 0
We define a function
f (x) = x g(x), x (a, b)
which has the property
f (a) = a g(a) < 0, & f (b) = b g(b) > 0
Thus
f (a) < L < f (b), L=0
Amer Rasheed (MATH344) Department of Mathematics 8 / 20
Solution of Non-Linear Equations Fixed Point Iteration
Thus
f (a) < L < f (b), L=0
Then by intermediate value theorem for f (x) on [a, b], there exists a
number P such that a < P < b with
f (P ) = L = 0
Proof (Uniqueness)
We show that the fixed point is unique. Let us assume that there exists two
fixed points P1 and P2 of g(x).
As g(x) C[a, b], then by using Mean Value Theorem, there exists a number c
with a < c < b, such that
g(P2 ) g(P1 )
= g 0 (c)
P2 P1
As P1 and P2 are fixed points of g(x), thus
P2 P1
= g 0 (c) g 0 (c) = 1
P2 P1
which is contradiction to the hypothesis (given) that
|P P1 | K|P P0 |
As P0 (a, b) = (P , P + ) |P P0 | < , thus
|P P1 | < , K<1
P1 (a, b) = (P , P + )
Similarly, we can show that
|P P2 | K|P P1 |
|P P1 | K|P P0 |
Similarly, we can show that
|P P2 | K 2 |P P0 |
Proof
In general, we can prove that
|P Pn | K n |P P0 |
Therefore
0 lim |P Pn | 0
n
and thus
lim Pn = P
n
Order/Speed of Convergence
Assume that {pn }n=0 converges to p and set en = p pn for n 0. If
two positive constant A 6= 0 and R > 0 exist, and
|p pn+1 | |en+1 |
lim R
= = A,
n0 |p pn | |en |R
pn+1 p g 00 ()
= g 0 (p) + (pn p),
pn p 2
pn+1 p g 00 ()
lim = g 0 (p) + lim (pn p),
n pn p n 2
pn+1 p
lim = g 0 (p),
n pn p
|pn+1 p|
lim = |g 0 (p)|,
n |pn p|
|en+1 |
lim =A
n |en |1