Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MATH2408/3408
Computational Methods and Differential
Equations with Applications
20142015
Difference Equations
Equilibria
Stability
Order of Convergence
Solving Equations and Newtons Method
Bisection Method
e.g. an = (1 + r ) a0 ;
n
or recursively
N1 = 2N0 , N2 = 2N1 = 22 N0 , . . . , Nk = 2k N0 , . . .
2 / 37
Nt+1
= f (Nt )
Nt
and hence
f (N) = R
R1
N
K
where R > 1
R1
Nk Nk .
K
This model is coined the discrete logistic model and was
proposed by a Belgian mathematician PierreFranois Verhulst
(1836). He didnt explain his choice of the word logistique but
this word was referred to the art of calculation in the 19th
century France.
Nk +1 = R
3 / 37
If we set
4 / 37
, then the
1 + R1
K N
discrete dynamical system is given recursively by
R1
Nk ,
RK
then we obtain the dimensionless discrete logistic model
xk =
xk +1 = Rxk (1 xk ).
Nk +1 =
(1)
RKNk
.
K + (R 1)Nk
(2)
1
1
1
1
1
= k
+ .
Nk R N0 K
K
5 / 37
6 / 37
(Ex)k = xk +1
and so u( )k =
u( ) = ,
,...,
for all k .
, . . .
E i xk = xi+k .
7 / 37
8 / 37
p(E) = ci E i .
L = ci E i
i=0
i=0
Example 2
p(E)x = 0
9 / 37
10 / 37
{u(1) + u(2) ,
Theorem 3
r r 3r + 2 = r (r 1)(r 2) = 0.
k
F} ker L.
12 / 37
Example 4
s( ) = {s1 ( ), s2 ( ), . . .} ,
d l+1
d (l)
s( ) =
s ( ).
l+1
d
d
14 / 37
(1)
( ) = 1, 2 , 3
,...,
2
, . . .
,...,k
k 1
Theorem 5
, . . .
u (2) ( ) = 0, 2, 6 , . . . , k (k 1)
d
u( ) = E , (
d
= (
) ,(
) ,(
E k u (l) ( ) =
) . . .
3
) ,(
k 2
, . . . .
) , . . . =
ker p(E) = U
d
[Eu( )] ;
d
dl
E k u( ).
d l
++U
j.
15 / 37
16 / 37
Theorem 7
Example 6
Consider the difference equation
4xk +3 + 7xk +2 + 2xk +1 xk = 0
Example 8
1
K + (R 1)Nk 1
1
R1
=
=
+
.
Nk +1
RKNk
R Nk
RK
17 / 37
1
1 1
1
k + .
N0 K R
K
18 / 37
Stability
Stability
Definition 9
Theorem 13
Example 10
Definition 11
Example 14
Example 12
The difference equation in Example 4 is unstable as u(2) is an
unbounded solution.
19 / 37
20 / 37
Equilibria
Equilibria
Definition 15
xn+1 = F (xn )
x = F (x ).
Procedure
Example 16
(4)
x = 2x (1 x )
x (1 2x ) = 0.
21 / 37
22 / 37
Equilibria
Equilibria
Optional
Theorem 17 (Existence and Uniqueness of Equilibrium I)
Definition 19 (Contraction)
Corollary 18
24 / 37
Stability
Stability
Definition 21
Definition 22
lim xn = x .
>0
25 / 37
26 / 37
Stability
Order of Convergence
Example 24
In this subsection, we shall study how fast a sequence
generated by iteration (i.e. xn+1 = F (xn )) converges to an
asymptotically stable equilibrium x provided that x0 is close to
x .
Definition 25
x1 is always unstable;
x
2
27 / 37
28 / 37
Order of Convergence
en+1 en p .
input x0 , N, , ;
fx f (x0 )
if fx < " then stop
for i = 1 to N do
x1 x0 fxf (x0 ); fx f (x1 );
if x1 x0 < or fx < " then stop
x0 x1
end do
output i, x1 , fx
Theorem 26
=
() = 0 and
dx
dx 2
dx p1
d pF
() 0.
dx p
29 / 37
30 / 37
F () =
In addition,
F () =
Example 27
f (x)
.
f (x)
1
Use the Newtons method to find the a zero of f (x) = x 2 x 1 x+1
in (1, 2) with x0 = 1 within 100 steps. Continue the procedure until
either f (x) or absolute difference between two successive
approximations is less than 0.001.
f () = 0.
Solution.
f ()f ()
= 0.
f ()2
n
0
1
2
3
4
f ()
0.
f ()
xn
1.0000
2.2000
1.8205
1.7702
1.7693
f (xn )
-1.5000
1.3275
0.1391
0.0024
f (xn )
1.2500
3.4977
2.7666
2.6707
xn+1 xn
N/A
1.2
0.3795
0.0503
0.0009
Solution is 1.7693.
31 / 37
32 / 37
Example 28
To solve f (x) = cos x in (0, 4), the Newton iteration function is
Example 29
Consider
cos x
F (x) = x
= x + cot x.
sin x
F (x ) = cot2 x = 0 x is stable.
f (x) =
if 0 x 1,
if 1 x < 0
if x 0
f (x)
= x.
f (x)
As long as x0 0, xn = (1)n x0 and {xn } is never convergent to x .
and hence the Newton iteration function is F (x) = x
33 / 37
34 / 37
Bisection Method
Bisection Method
Example 31
Lets find the zero of f (x) = cos x in (0, 4) by the bisection method (cf
Example 28). We shall be content if either f (c) or bn an is less than
0.0001.
n
0
1
2
11
12
cn
2
1
1.5
bn
4
2
2
f (an )
+
+
+
f (cn )
+
+
f (bn )
+
-
bn an
2
1
.5
f (cn )
.41615
.54030
.07074
1.57031
1.57031
1.57129
1.57080
1.57227
1.57129
+
+
.00098
.00049
.00049
.00000
35 / 37
4. f (r ) = 0.
an
0
0
1
37 / 37
36 / 37