The Computable Differential Equation Lecture ... - Bruce E. Shapiro
The Computable Differential Equation Lecture ... - Bruce E. Shapiro
The Computable Differential Equation Lecture ... - Bruce E. Shapiro
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