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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

CHAPTER 9. DIFFERENTIAL ALGEBRAIC EQUATIONS 185<br />

where<br />

Dy n = 1<br />

hb 0<br />

k∑<br />

a j y k−j (9.176)<br />

j=0<br />

<strong>The</strong>orem 9.12. Let<br />

Ay ′ + By = f(t) (9.177)<br />

be a linear constant coefficient DAE of index-ν with regular pencil λA + B, and let<br />

9.174 be a k-step (where k < 7) constant step-size BDF method. <strong>The</strong>n the BDF<br />

method converges for this system to order O(h k ) after (ν − 1)k + 1 steps.<br />

Proof. <strong>The</strong> BDF method for the linear equation is<br />

where Dy n is given by 9.176.<br />

matrices P and Q, where<br />

P AQ =<br />

ADy n + By n = f n (t) (9.178)<br />

Since the pencil is regular there are nonsingular<br />

( ) I 0<br />

; P BQ =<br />

0 N<br />

with N a nilpotent matrix of nilpotentcy ν, so that<br />

( ) C 0<br />

0 I<br />

(9.179)<br />

P AQDy n + P BQy n = P f n (t) (9.180)<br />

( ) ( )<br />

I 0<br />

C 0<br />

Dy<br />

0 N n + y<br />

0 I n = P f n (t) (9.181)<br />

Partitioning<br />

y n =<br />

(<br />

un<br />

Multiplying out the matrix expressions,<br />

v n<br />

)<br />

; P f n (t) =<br />

( )<br />

gn (t)<br />

h n (t)<br />

(9.182)<br />

Du n + Cu n = g n (t) (9.183)<br />

NDv n + v n = h n (t) (9.184)<br />

<strong>Equation</strong> 9.183 is a pure ODE expression for the BDF method that we already know<br />

is convergent of order-k. <strong>Equation</strong> 9.184 can be rewritten as<br />

(I + ND)v n = h n (t) (9.185)<br />

From equation 9.59<br />

and therefore<br />

∑ν−1<br />

(I + ND) −1 = (−1) j N j D j (9.186)<br />

j=0<br />

∑ν−1<br />

v n = (−1) j N j D j h n (t) (9.187)<br />

j=0<br />

c○2007, B.E.<strong>Shapiro</strong><br />

Last revised: May 23, 2007<br />

Math 582B, Spring 2007<br />

California State University Northridge

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

Saved successfully!

Ooh no, something went wrong!