2.4 error analysis for iterative methodszxu2/acms40390f12/lec-2.4.pdfย ยท newtonโs method as fixed...
TRANSCRIPT
2.4 Error Analysis for Iterative Methods
1
Definition โข Order of Convergence Suppose {๐๐}๐=0
โ is a sequence that converges to ๐ with ๐๐ โ ๐ for all ๐. If positive constants ๐ and ๐ผ exist with
lim๐โโ
|๐๐+1 โ ๐|
|๐๐ โ ๐|๐ผ= ๐
then {๐๐}๐=0โ is said to converges to ๐ of order ๐ถ with asymptotic
error constant ๐. An iterative technique ๐๐ = ๐(๐๐โ1) is said to be of order ๐ถ if the sequence {๐๐}๐=0
โ converges to the solution ๐ = ๐(๐) of order ๐ถ. โข Special cases
1. If ๐ผ = 1 (and ๐ < 1), the sequence is linearly convergent 2. If ๐ผ = 2, the sequence is quadratically convergent 3. If ๐ผ < 1, the sequence is sub-linearly convergent (undesirable, very slow) 4. If ๐ผ = 1 and ๐ = 0 or 1 < ๐ผ < 2, the sequence is super-linearly convergent
โข Remark: High order (๐ผ) โน faster convergence (more desirable) ๐ is less important than the order (๐ผ)
2
Linear vs. Quadratic
3
Suppose we have two sequences converging to 0 with:
lim๐โโ
|๐๐+1|
|๐๐|= 0.9, lim
๐โโ
|๐๐+1|
|๐๐|2= 0.9
Roughly we have: ๐๐ โ 0.9 ๐๐โ1 โ โฏ โ 0.9๐ ๐0 ,
๐๐ โ 0.9|๐๐โ1|2 โ โฏ โ 0.92๐โ1 ๐0 , Assume ๐0 = ๐0 = 1
Fixed Point Convergence โข Theorem
Let ๐ โ ๐ถ[๐, ๐] be such that ๐ ๐ฅ โ [๐, ๐] for all ๐ฅ โ ๐, ๐ . Suppose ๐โฒ is continuous on (๐, ๐) and that 0 < ๐ < 1 exists with |๐โฒ(๐ฅ)| โค ๐ for all ๐ฅ โ ๐, ๐ .
If ๐โฒ(๐) โ 0, then for all number ๐0 in [๐, ๐], the sequence ๐๐ = ๐(๐๐โ1) converges only linearly to the unique fixed point ๐ in ๐, ๐ .
โข Proof: ๐๐+1 โ ๐ = ๐ ๐๐ โ ๐ ๐ = ๐โฒ ๐๐ ๐๐ โ ๐ , ๐๐ โ (๐๐, ๐)
Since {๐๐}๐=0โ converges to ๐, {๐๐}๐=0
โ converges to ๐.
Since ๐โฒ is continuous, lim๐โโ
๐โฒ(๐๐) = ๐โฒ(๐)
lim๐โโ
|๐๐+1โ๐|
|๐๐โ๐|= lim
๐โโ๐โฒ ๐๐ = |๐โฒ(๐)| โน linear convergence
4
Speed up Convergence of Fixed Point Iteration
โข If we look for faster convergence methods, we must have ๐โฒ ๐ = 0
โข Theorem Let ๐ be a solution of ๐ฅ = ๐ ๐ฅ . Suppose ๐โฒ ๐ = 0 and ๐โฒโฒ is continuous with ๐โฒโฒ ๐ฅ < ๐ on an open interval ๐ผ containing ๐. Then there exists a ๐ฟ > 0 such that for ๐0 โ ๐ โ ๐ฟ, ๐ + ๐ฟ , the sequence defined by ๐๐+1 =๐ ๐๐ , when ๐ โฅ 0, converges at least quadratically to ๐. For sufficiently large ๐
๐๐+1 โ ๐ <๐
2|๐๐ โ ๐|2
Remark:
Look for quadratically convergent fixed point methods which ๐ ๐ = ๐ and ๐โฒ ๐ = 0.
5
Newtonโs Method as Fixed Point Problem
Solve ๐ ๐ฅ = 0 by fixed point method. We write the problem as an equivalent fixed point problem:
๐ ๐ฅ = ๐ฅ โ ๐ ๐ฅ solve: ๐ฅ = ๐(๐ฅ) ๐ ๐ฅ = ๐ฅ โ ๐ผ๐ ๐ฅ solve ๐ฅ = ๐ ๐ฅ , ๐ผ is a constant
๐ ๐ฅ = ๐ฅ โ ๐ ๐ฅ ๐ ๐ฅ solve ๐ฅ = ๐ ๐ฅ , ๐ ๐ฅ is differentiable
Newtonโs method is derived by the last form:
Find differentiable ๐ ๐ฅ with ๐โฒ ๐ = 0 when ๐ ๐ = 0.
๐โฒ ๐ฅ =๐
๐๐ฅ๐ฅ โ ๐ ๐ฅ ๐ ๐ฅ = 1 โ ๐โฒ๐ โ ๐๐โฒ
Use ๐โฒ ๐ = 0 when ๐ ๐ = 0 ๐โฒ ๐ = 1 โ ๐โฒ ๐ โ 0 โ ๐ ๐ ๐โฒ ๐ = 0
๐ ๐ = 1/๐โฒ(๐)
This gives Newtonโs method
๐๐+1 = ๐ ๐๐ = ๐๐ โ๐(๐๐)
๐โฒ(๐๐)
6
Multiple Roots
โข How to modify Newtonโs method when ๐โฒ ๐ = 0. Here ๐ is the root of ๐ ๐ฅ = 0.
โข Definition: Multiplicity of a Root A solution ๐ of ๐ ๐ฅ = 0 is a zero of multiplicity ๐ of ๐ if for ๐ฅ โ ๐, we can write ๐ ๐ฅ = ๐ฅ โ ๐ ๐๐ ๐ฅ , where lim๐ฅโ๐ ๐(๐ฅ) โ 0.
โข Theorem ๐ โ ๐ถ1[๐, ๐] has a simple zero at ๐ in (๐, ๐) if and only if ๐ ๐ = 0, but ๐โฒ(๐) โ 0.
โข Theorem The function ๐ โ ๐ถ๐[๐, ๐] has a zero of multiplicity ๐ at point ๐ in (๐, ๐) if and only if 0 = ๐ ๐ = ๐โฒ ๐ = ๐โฒโฒ ๐ = โฏ = ๐ ๐โ1 ๐ , but ๐ ๐ (๐) โ 0
7
Newtonโs Method for Zeroes of Higher Multiplicity (๐ > 1)
Define the new function ๐ ๐ฅ =๐(๐ฅ)
๐โฒ(๐ฅ).
Write ๐ ๐ฅ = ๐ฅ โ ๐ ๐๐(๐ฅ), hence
๐ ๐ฅ =๐(๐ฅ)
๐โฒ(๐ฅ)= ๐ฅ โ ๐
๐ ๐ฅ
๐๐ ๐ฅ + ๐ฅ โ ๐ ๐โฒ ๐ฅ
Note that ๐ is a simple zero of ๐ ๐ฅ .
โข Apply Newtonโs method to ๐ ๐ฅ to give:
๐ฅ = ๐ ๐ฅ = ๐ฅ โ๐ ๐ฅ
๐โฒ ๐ฅ
= ๐ฅ โ๐ ๐ฅ ๐โฒ ๐ฅ
๐โฒ ๐ฅ 2 โ ๐ ๐ฅ ๐โฒโฒ ๐ฅ
โข Quadratic convergence: ๐๐+1 = ๐๐ โ๐ ๐๐ ๐โฒ ๐๐
๐โฒ ๐๐2โ๐ ๐๐ ๐โฒโฒ ๐๐
8
Drawbacks:
โข Compute ๐โฒโฒ(๐ฅ) is expensive
โข Iteration formula is more complicated โ more expensive to compute
โข Roundoff errors in denominator โ both ๐โฒ(๐ฅ) and ๐(๐ฅ) approach zero.
9