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.

72 CHAPTER 4. IMPROVING ON EULER’S METHOD<br />

<strong>The</strong> error after n steps is then<br />

e n (t) = |y(t) − ŷ(t)| = δe λ(t−t 0)<br />

1 − e −nλh<br />

∣ e λh − 1 ∣ (4.25)<br />

For |nλh| t 0 + nh, the e λ(t−t 0) factor still<br />

dominates the fraction, and hence the error still tends towards zero.<br />

<strong>The</strong> analogous vector test equation is written as<br />

y ′ = Ay, y(0) = y 0 (4.27)<br />

where A is a square matrix of constants. <strong>The</strong> solution is given by the matrix<br />

exponential<br />

y = e At y 0 (4.28)<br />

where the matrix exponential is defined by its Taylor Series,<br />

∞∑<br />

e At t k A k<br />

=<br />

k!<br />

k=0<br />

(4.29)<br />

If the matrix A is diagonalizable, or equivalently, has n linearly independent eigenvectors<br />

v 1 , . . . , v n , with corresponding eigenvalues λ 1 , . . . , λ n , then<br />

where<br />

and<br />

e At = UEU −1 (4.30)<br />

E = diag(e λ 1t , . . . , e λnt ) (4.31)<br />

U = (v 1 , . . . , v n ) (4.32)<br />

Example 4.1. Solve the initial value problem<br />

( ) (<br />

y ′ 0 1<br />

1<br />

= Ay, A = , y(0) =<br />

−2 0<br />

0)<br />

(4.33)<br />

Solution. A is diagonalizable with eigenvalues ±i √ 2 and corresponding eigenvectors<br />

( ) ( )<br />

√ i<br />

2<br />

− √i<br />

and 2<br />

(4.34)<br />

1 1<br />

We have then<br />

y = e At y 0 =<br />

=<br />

=<br />

(<br />

− √i<br />

i<br />

2<br />

1 1<br />

√<br />

2<br />

(<br />

e −i √ )<br />

2t +e i√ 2t<br />

2<br />

i ei√ 2t −e −i√ 2t<br />

√<br />

2<br />

( cos<br />

(√<br />

2t<br />

)<br />

− √ 2 sin (√ 2t ) )<br />

) (<br />

) (<br />

e i√ 2t i<br />

0<br />

0 e −i√ 2t<br />

√ 1<br />

2 2<br />

− √ i 1<br />

2 2<br />

)<br />

(1<br />

0<br />

)<br />

(4.35)<br />

(4.36)<br />

(4.37)<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!