21.04.2015 Views

The Computable Differential Equation Lecture ... - Bruce E. Shapiro

The Computable Differential Equation Lecture ... - Bruce E. Shapiro

The Computable Differential Equation Lecture ... - Bruce E. Shapiro

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!