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.

Contents<br />

1 Classifying <strong>The</strong> Problem 1<br />

1.1 Defining ODEs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1<br />

1.2 Initial Value Problems . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />

1.3 <strong>The</strong> Fundamental <strong>The</strong>orem . . . . . . . . . . . . . . . . . . . . . . . 6<br />

1.4 Boundary Value Problems . . . . . . . . . . . . . . . . . . . . . . . . 10<br />

1.5 <strong>Differential</strong>-Algebraic <strong>Equation</strong>s . . . . . . . . . . . . . . . . . . . . . 12<br />

1.6 Delay <strong>Differential</strong> <strong>Equation</strong>s . . . . . . . . . . . . . . . . . . . . . . . 13<br />

1.7 Numerical Solutions of <strong>Differential</strong> <strong>Equation</strong>s . . . . . . . . . . . . . 14<br />

1.8 Computer Assisted Analysis . . . . . . . . . . . . . . . . . . . . . . . 15<br />

2 Successive Approximations 25<br />

2.1 Picard Iteration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25<br />

2.2 Fixed Point <strong>The</strong>ory . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29<br />

2.3 Fixed Point Iteration in a Normed Vector Space . . . . . . . . . . . 34<br />

2.4 Convergence of Successive Approximations . . . . . . . . . . . . . . . 38<br />

3 Approximate Solutions 43<br />

3.1 <strong>The</strong> Forward Euler Method . . . . . . . . . . . . . . . . . . . . . . . 43<br />

3.2 Epsilon-Approximate Solutions . . . . . . . . . . . . . . . . . . . . . 48<br />

3.3 <strong>The</strong> Fundamental Inequality . . . . . . . . . . . . . . . . . . . . . . . 51<br />

3.4 Cauchy-Euler Existence <strong>The</strong>ory . . . . . . . . . . . . . . . . . . . . . 53<br />

3.5 Euler’s Method for Systems . . . . . . . . . . . . . . . . . . . . . . . 56<br />

3.6 Polynomial Approximation . . . . . . . . . . . . . . . . . . . . . . . 60<br />

3.7 Peano Existence <strong>The</strong>orem . . . . . . . . . . . . . . . . . . . . . . . . 64<br />

3.8 Dependence Upon a Parameter . . . . . . . . . . . . . . . . . . . . . 66<br />

4 Improving on Euler’s Method 69<br />

4.1 <strong>The</strong> Test <strong>Equation</strong> and Problem Stability . . . . . . . . . . . . . . . 69<br />

4.2 Convergence, Consistency and Stability . . . . . . . . . . . . . . . . 73<br />

4.3 Stiffness and the Backward Euler Method . . . . . . . . . . . . . . . 79<br />

4.4 Other Euler Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . 86<br />

5 Runge-Kutta Methods 89<br />

5.1 Taylor Series Methods . . . . . . . . . . . . . . . . . . . . . . . . . . 89<br />

5.2 Numerical Quadrature . . . . . . . . . . . . . . . . . . . . . . . . . . 92<br />

iii

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

Saved successfully!

Ooh no, something went wrong!