The Computable Differential Equation Lecture ... - Bruce E. Shapiro
The Computable Differential Equation Lecture ... - Bruce E. Shapiro
The Computable Differential Equation Lecture ... - Bruce E. Shapiro
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
186 CHAPTER 9. DIFFERENTIAL ALGEBRAIC EQUATIONS<br />
For the BDF method 9.176,<br />
Dy n = y ′ n + O(h k ) (9.188)<br />
hence<br />
D j v n = v (j)<br />
n + O(h k ) (9.189)<br />
where the superscript v (j) represents the j-th derivative, and therefore<br />
∑ν−1<br />
v n = (−1) j N j (h (j)<br />
n (t) + O(h k )) (9.190)<br />
j=0<br />
<strong>The</strong>refore the method converges with order h k .<br />
For proofs of the following results see [5].<br />
<strong>The</strong>orem 9.13. Let F(t, y, y ′ ) be a fully-implicit index-1 system. <strong>The</strong>n its numerical<br />
solution by the k-step (k < 7) BDF with fixed step-size converges to O(h k ) if all<br />
initial values are correct to O(h k ) and the Newton iteration is solved at aech step to<br />
O(h k+1 ) accuracy.<br />
<strong>The</strong>orem 9.14. Let<br />
f(t, y, y ′ , z) = 0 (9.191)<br />
g(t, y, z) = 0 (9.192)<br />
be a solvable index-2 DAE such that f and g are continuously differentiable (as<br />
many times as necessary), that ∂f/∂y ′ is defined and bounded, and that ∂g/∂y has<br />
constant rank. <strong>The</strong>n the k-step (k < 7) BDF method applied to this DAE converges<br />
with order O(h k ) if the initial values are all accurate to O(h k ) and the Newton<br />
iteration is performed at each step to O(h k+1 ).<br />
<strong>The</strong>orem 9.15. Let<br />
x ′ = F(t, x, y, z) (9.193)<br />
y ′ = G(t, x, y) (9.194)<br />
0 = H(t, y) (9.195)<br />
be an index-three Hessenberg system. <strong>The</strong>n the k-step (k < 7) BDF with constant<br />
step size converges to O(h k ) after k + 1 steps if the starting values are consistent to<br />
O(h k+1 ) and the Newton iteration at each step is performed to O(h k+2 ) when k ≥ 2,<br />
and to O(h k+3 ) when k = 1.<br />
Math 582B, Spring 2007<br />
California State University Northridge<br />
c○2007, B.E.<strong>Shapiro</strong><br />
Last revised: May 23, 2007