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 1<br />

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

1.1 Defining ODEs<br />

Definition 1.1 (Ordinary <strong>Differential</strong> <strong>Equation</strong>, ODE). Let y ∈ R n be a variable 1<br />

that depends on t. <strong>The</strong>n we define a differential equation as any equation of the<br />

form<br />

F (t, y, y ′ ) = 0 (1.1)<br />

where F is any function of the 2n + 1 variables t, y 1 , y 2 , . . . , y n , y ′ 1 , y′ 2 , . . . , y′ n+1 .<br />

Definition 1.2. We will call any function φ(t) that satisfies<br />

a solution of the differential equation.<br />

F ( t, φ(t), φ ′ (t) ) = 0 (1.2)<br />

We will use the terms “Ordinary <strong>Differential</strong> <strong>Equation</strong>” and “<strong>Differential</strong> <strong>Equation</strong>”,<br />

as well as the abbreviations ODE and DE, interchangeably. More generally,<br />

on can include partial derivatives in the definition, in which case one must distinguish<br />

between “Partial” DEs (PDEs) and “Ordinary” DEs (ODEs). We will leave<br />

the study of PDEs to another class.<br />

<strong>Equation</strong> 1.1 is, in general, very difficult, and often, impossible, to solve, either<br />

analytically (e.g., by finding a formula that describes y), or numerically (e.g., for<br />

example, by using a computer to draw a picture of the graph of the solution). Often<br />

it is possible to solve 1.1 explicitly for the derivatives:<br />

y ′ = f(t, y) (1.3)<br />

Many important problems can be put into this form, and solutions are known to<br />

exists for a wide class of functions, particular as a result of theorem 1.3. <strong>The</strong> class<br />

of problems in which equation 1.1 can be converted to the form 1.3, at least locally,<br />

is not seriously restrictive from a practical point of view. <strong>The</strong> only requirements are<br />

1 It may be either a scalar variable, in which case n = 1, or a vector variables, in which case n<br />

is the number of components of the vector.<br />

1

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

Saved successfully!

Ooh no, something went wrong!