Professional Documents
Culture Documents
Chap10 - 8up - Boundary Value Problems For ODEs
Chap10 - 8up - Boundary Value Problems For ODEs
Outline
Scientific Computing: An Introductory Survey
Chapter 10 Boundary Value Problems for
Ordinary Differential Equations
1
Michael T. Heath
Scientific Computing
Michael T. Heath
1 / 45
Boundary Values
Existence and Uniqueness
Conditioning and Stability
Scientific Computing
Boundary Values
Existence and Uniqueness
Conditioning and Stability
y 0 = f (t, y),
a<t<b
with BC
where f :
g(y(a), y(b)) = 0
Scientific Computing
Michael T. Heath
Scientific Computing
Boundary Values
Existence and Uniqueness
Conditioning and Stability
For example,
u00 = u,
0<t<b
u(0) = 0,
u(b) =
with BC
+
=
0 0 y2 (a)
1 0 y2 (b)
Boundary Values
Existence and Uniqueness
Conditioning and Stability
Michael T. Heath
Scientific Computing
6 / 45
Boundary Values
Existence and Uniqueness
Conditioning and Stability
a<t<b
y 0 = A(t) y + b(t),
with BC
Ba y(a) + Bb y(b) = c
Let Y (t) denote matrix whose ith column, yi (t), called ith
mode, is solution to y 0 = A(t)y with initial condition
y(a) = ei , ith column of identity matrix
Then BVP has unique solution if, and only if, matrix
Q Ba Y (a) + Bb Y (b)
a<t<b
g(y(a), y(b)) = 0
depends on solvability of algebraic equation
Michael T. Heath
4 / 45
u(b) =
y 0 = f (t, y),
and c Rn
with BC
Rnn
a<t<b
Scientific Computing
and g : R2n Rn
Michael T. Heath
Rn
u(a) = ,
where Ba , Bb
Boundary Values
Existence and Uniqueness
Conditioning and Stability
u00 = f (t, u, u0 ),
Rn+1
Ba y(a) + Bb y(b) = c
2 / 45
is nonsingular
7 / 45
Michael T. Heath
Scientific Computing
8 / 45
Boundary Values
Existence and Uniqueness
Conditioning and Stability
= max{kk , kGk }
Michael T. Heath
Scientific Computing
Boundary Values
Existence and Uniqueness
Conditioning and Stability
9 / 45
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Scientific Computing
10 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Shooting Method
In statement of two-point BVP, we are given value of u(a)
Scientific Computing
11 / 45
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Scientific Computing
12 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
13 / 45
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Example, continued
y (1)
y
y (2)
h
= y + (k1 + 2k2 + 2k3 + k4 )
6
0.5
0
1
1.0
1.375
1.75
0.625
=
+
+2
+2
+
=
1
0
1.5
1.500
3.00
1.750
6
0.5
0.625
1.75
2.5
2.875
4
2
=
+
+2
+2
+
=
1.750
3.00
4.5
4.500
6
4
6
(0)
Michael T. Heath
Scientific Computing
14 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Example, continued
u(1) = 1
Scientific Computing
u(0) = 0,
Michael T. Heath
0<t<1
with BC
u = f (t, u, u )
u(a) = ,
u00 = 6t,
Scientific Computing
y (2)
15 / 45
Michael T. Heath
Scientific Computing
16 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Example, continued
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Example, continued
Scientific Computing
17 / 45
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Multiple Shooting
Scientific Computing
18 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
with BC
u00 = f (t, u, u0 ),
u(a) = ,
Scientific Computing
u(b) =
Michael T. Heath
a<t<b
19 / 45
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Scientific Computing
20 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Scientific Computing
21 / 45
u = 6t,
0<t<1
u(0) = 0,
u(1) = 1
1 2y1 + 0
= 6t1
(0.5)2
or
so that
Scientific Computing
22 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
with BC
Michael T. Heath
Scientific Computing
Example, continued
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
4 8y1 = 6(0.5) = 3
y(0.5) y1 = 1/8 = 0.125
23 / 45
Michael T. Heath
Scientific Computing
24 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Example, continued
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Collocation Method
Collocation method approximates solution to BVP by finite
linear combination of basis functions
with BC
u00 = f (t, u, u0 ),
u(a) = ,
a<t<b
u(b) =
u(t) v(t, x) =
n
X
xi i (t)
i=1
Scientific Computing
25 / 45
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Collocation Method
Scientific Computing
26 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Michael T. Heath
Scientific Computing
27 / 45
v 0 (t, x) = x2 + 2x3 t,
v(t, x) = x1 + x2 t + x3 t2
Scientific Computing
v 00 (t, x) = 2x3
u(1) = 1
Michael T. Heath
28 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
with BC
u(0) = 0,
Scientific Computing
Example, continued
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
x1 + x2 t3 + x3 t23 = x1 + x2 + x3 = 1
29 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Michael T. Heath
Example, continued
Scientific Computing
30 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Example, continued
Michael T. Heath
Scientific Computing
31 / 45
Michael T. Heath
Scientific Computing
32 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Galerkin Method
a < t < b,
u(b) = 0,
P
u(t) v(t, x) = ni=1 xi i (t)
n
X
Scientific Computing
33 / 45
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
bi =
f (t)wi (t) dt
or
34 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Michael T. Heath
Scientific Computing
r(t, x)2 dt
i=1
Michael T. Heath
1
2
u(a) = 0,
aij =
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Scientific Computing
Michael T. Heath
i = 1, . . . , n
35 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Scientific Computing
36 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
v 0 (t)0i (t) dt
a
Z b
= v 0 (b)i (b) v 0 (a)i (a)
v 0 (t)0i (t) dt
Z
aij =
bi =
f (t)i (t) dt
a
v 0 (t)0i (t) dt =
f (t)i (t) dt, i = 1, . . . , n
a
a
Michael T. Heath
Scientific Computing
37 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
38 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
0 < t < 1,
with BC u(0) = 0,
u(1) = 1
We will approximate solution by piecewise linear
polynomial, for which B-splines of degree 1 (hat
functions) form suitable set of basis functions
0j (t)02 (t) dt xj =
6t2 (t) dt
j=1
Scientific Computing
Scientific Computing
Example, continued
Michael T. Heath
Michael T. Heath
Scientific Computing
40 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Example, continued
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Example, continued
Scientific Computing
41 / 45
Michael T. Heath
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Eigenvalue Problems
u(b) =
43 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Example, continued
Assuming gi 6= 0, divide equation i by gi for i = 1, . . . , n, to
obtain linear system
Ay = y
where n n matrix A has tridiagonal form
2/g1 1/g1
0
..
..
1/g2 2/g2 1/g2
.
.
.
.
.
..
..
..
A= 2 0
0
h
..
..
.
.
1/gn1 2/gn1 1/gn1
0
0
1/gn
2/gn
This standard algebraic eigenvalue problem can be solved
by methods discussed previously
Michael T. Heath
Scientific Computing
u(b) = 0
Scientific Computing
a<t<b
with BC
with BC
Michael T. Heath
42 / 45
Shooting Method
Finite Difference Method
Collocation Method
Galerkin Method
Scientific Computing
45 / 45
Michael T. Heath
Scientific Computing
44 / 45