Академический Документы
Профессиональный Документы
Культура Документы
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Outline
Scientific Computing: An Introductory Survey
Chapter 5 Nonlinear Equations
Nonlinear Equations
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
Michael T. Heath
1 / 55
Nonlinear Equations
Solutions and Sensitivity
Convergence
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Nonlinear Equations
Scientific Computing
2 / 55
Nonlinear Equations
Solutions and Sensitivity
Convergence
Nonlinear Equations
Two important cases
Single nonlinear equation in one unknown, where
f: RR
f (x) = 0
Scientific Computing
3 / 55
Nonlinear Equations
Solutions and Sensitivity
Convergence
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
4 / 55
Nonlinear Equations
Solutions and Sensitivity
Convergence
x2 4 sin(x) = 0
for which x = 1.9 is one approximate solution
x21 x2 + 0.25 = 0
x1 + x22 + 0.25 = 0
T
for which x = 0.5 0.5 is solution vector
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
5 / 55
Nonlinear Equations
Solutions and Sensitivity
Convergence
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
6 / 55
Nonlinear Equations
Solutions and Sensitivity
Convergence
Michael T. Heath
Scientific Computing
7 / 55
Michael T. Heath
Scientific Computing
8 / 55
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Nonlinear Equations
Solutions and Sensitivity
Convergence
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Multiplicity
Nonlinear Equations
Solutions and Sensitivity
Convergence
If f (x ) = f 0 (x ) = f 00 (x ) = = f (m1) (x ) = 0 but
f (m) (x ) 6= 0 (i.e., mth derivative is lowest derivative of f
that does not vanish at x ), then root x has multiplicity m
Scientific Computing
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Nonlinear Equations
Solutions and Sensitivity
Convergence
Michael T. Heath
Scientific Computing
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
10 / 55
Nonlinear Equations
Solutions and Sensitivity
Convergence
to nonlinear
What do we mean by approximate solution x
system,
0
kf (x)k
x k 0 ?
kx
or
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
11 / 55
Nonlinear Equations
Solutions and Sensitivity
Convergence
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Convergence Rate
Scientific Computing
12 / 55
Nonlinear Equations
Solutions and Sensitivity
Convergence
ek = xk x
r = 1: linear
r > 1: superlinear
r = 2: quadratic
Convergence
rate
linear
superlinear
quadratic
(C < 1)
kek+1 k
=C
kek kr
Digits gained
per iteration
constant
increasing
double
Scientific Computing
13 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Scientific Computing
14 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
15 / 55
a
1.000000
1.000000
1.500000
1.750000
1.875000
1.875000
1.906250
1.921875
1.929688
1.933594
1.933594
1.933594
1.933594
1.933594
f (a)
2.365884
2.365884
1.739980
0.873444
0.300718
0.300718
0.143255
0.062406
0.021454
0.000846
0.000846
0.000846
0.000846
Michael
T. Heath
0.000846
b
f (b)
3.000000 8.435520
2.000000 0.362810
2.000000 0.362810
2.000000 0.362810
2.000000 0.362810
1.937500 0.019849
1.937500 0.019849
1.937500 0.019849
1.937500 0.019849
1.937500 0.019849
1.935547 0.009491
1.934570 0.004320
1.934082 0.001736
Scientific
Computing 0.000445
1.933838
16 / 55
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Fixed-Point Problems
x = g(x)
xk+1 = g(xk )
where fixed points for g are solutions for f (x) = 0
Scientific Computing
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
18 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
g(x) = x + 2
g(x) = 1 + 2/x
g(x) =
x2 + 2
2x 1
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
19 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
21 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
xk+1 = g(xk )
converges to x if started within that interval
22 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Newtons Method
g 0 (x )
20 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Scientific Computing
23 / 55
Michael T. Heath
f (xk )
f 0 (xk )
Scientific Computing
24 / 55
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Derivative is
f 0 (x) = 2x 4 cos(x)
so iteration scheme is
xk+1 = xk
x2k 4 sin(xk )
2xk 4 cos(xk )
Scientific Computing
25 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Michael T. Heath
Scientific Computing
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
26 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
k
0
1
2
3
4
5
f (x) = x2 1
2.0
1.25
1.025
1.0003
1.00000005
1.0
f (x) = x2 2x + 1
2.0
1.5
1.25
1.125
1.0625
1.03125
Scientific Computing
27 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Secant Method
Scientific Computing
28 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
xk xk1
f (xk ) f (xk1 )
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
30 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
f (x) = x2 4 sin(x) = 0
Taking x0 = 1 and x1 = 3 as starting guesses, we obtain
f (x)
2.365884
8.435520
1.896774
0.977706
0.534305
0.061523
0.003064
0.000019
0.000000
Michael T. Heath
Scientific Computing
Higher-Degree Interpolation
x
1.000000
3.000000
1.438070
1.724805
2.029833
1.922044
1.933174
1.933757
1.933754
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
1.561930
0.286735
0.305029
0.107789
0.011130
0.000583
0.000004
0.000000
Scientific Computing
Michael T. Heath
Scientific Computing
32 / 55
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Inverse Interpolation
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
v = fb /fa ,
w = fa /fc
Scientific Computing
33 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
34 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
f (x) = x2 4 sin(x) = 0
Michael T. Heath
Scientific Computing
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
h=
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
36 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Safeguarded Methods
f (x) = x2 4 sin(x) = 0
Taking x = 1, 2, and 3 as starting values, we obtain
x
f (x)
h
1.000000 2.365884
2.000000
0.362810
3.000000
8.435520
1.906953 0.139647 1.093047
1.933351 0.002131
0.026398
1.933756
0.000013 0.000406
1.933754
0.000000 0.000003
Scientific Computing
37 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
Zeros of Polynomials
Michael T. Heath
Scientific Computing
38 / 55
Bisection Method
Fixed-Point Iteration and Newtons Method
Additional Methods
39 / 55
Michael T. Heath
Scientific Computing
40 / 55
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Fixed-Point Iteration
Fixed-point problem for g : Rn Rn is to find vector x such
that
x = g(x)
If
< 1, where is spectral radius and G(x) is
Jacobian matrix of g evaluated at x, then fixed-point
iteration converges if started close enough to solution
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
41 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Newtons Method
Scientific Computing
42 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
)1 f (x
k)
fi (x)
xj
Scientific Computing
43 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Example, continued
Evaluating at new point,
0
f (x1 ) =
,
4.72
1
Solving system
1.67
T
s1 = 0.64 0.32 , so
Evaluating at new point,
0
f (x2 ) =
,
0.83
44 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
1
2
Jf (x1 ) =
1.67 11.3
2
0
s =
gives
11.3 1
4.72
T
x2 = x1 + s1 = 0.19 1.10
n
X
fi (x )Hi (x )) = O
i=1
Jf (x2 ) =
Scientific Computing
1
2
0.38 8.76
T
Iterations eventually convergence to solution x = 0 1
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
46 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Michael T. Heath
Scientific Computing
47 / 55
Michael T. Heath
Scientific Computing
48 / 55
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Broydens Method
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
x0 = initial guess
B0 = initial Jacobian approximation
for k = 0, 1, 2, . . .
Solve Bk sk = f (xk ) for sk
xk+1 = xk + sk
yk = f (xk+1 ) f (xk )
Bk+1 = Bk + ((yk Bk sk )sTk )/(sTk sk )
end
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
49 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
Example, continued
0
Evaluating at new point x1 gives f (x1 ) =
, so
4.72
3
y0 = f (x1 ) f (x0 ) =
8.28
Solving system
Solving system
1
2
0
s =
0.34 15.3 1
4.72
0.59
0.24
gives s1 =
, so x2 = x1 + s1 =
0.30
1.120
1 2
3
s0 =
2 16
13
gives s0 =
1.83
0.83
, so x1 = x0 + s0 =
1.42
0.58
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Scientific Computing
51 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Michael T. Heath
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
Example, continued
Scientific Computing
0
1
Scientific Computing
53 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Trust-Region Methods
Another approach is to maintain estimate of trust region
where Taylor series approximation, upon which Newtons
method is based, is sufficiently accurate for resulting
computed step to be reliable
Adjusting size of trust region to constrain step size when
necessary usually enables progress toward solution even
starting far away, yet still permits rapid converge once near
solution
Unlike damped Newton method, trust region method may
modify direction as well as length of Newton step
More details on this approach will be given in Chapter 6
Michael T. Heath
52 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
0
Evaluating at new point x2 gives f (x2 ) =
, so
1.08
0
y1 = f (x2 ) f (x1 ) =
3.64
Nonlinear Equations
Numerical Methods in One Dimension
Methods for Systems of Nonlinear Equations
50 / 55
Fixed-Point Iteration
Newtons Method
Secant Updating Methods
Scientific Computing
55 / 55
Michael T. Heath
Scientific Computing
54 / 55