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.
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