

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Carnegie Mellon University ... Such an equation is called a differential equation. The ... In this course we shall study ordinary differential equations, ...
Typology: Exercises
1 / 2
This page cannot be seen from the preview
Don't miss anything!


Department of Mathematical Sciences Carnegie Mellon University
21-476 Ordinary Differential Equations Fall 2003
O. Introduction
When modelled mathematically, many real-world phenomena lead to problems in which one would like to determine a function u from an equation involving u and one or more of its derivatives. Such an equation is called a differential equation. The unknown function u may be scalar-valued or vector-valued and it may be a function of a single (scalar) variable or of many variables.
In this course we shall study ordinary differential equations, i.e. differential equa- tions in which the unknown is a function of a single (real) variable. We shall usually think of the independent variable as being time (and denote it by t). Of course, in many applications, the dependent variable may have a different interpretation. We shall focus our attention primarily on first-order systems of the form
(DE) x˙(t) = f (t, x(t)),
where f : R × Rn^ → Rn^ is a given function and the unknown x takes values in Rn.
The system (DE) is more general than it may appear at first glance. Indeed, a large class of higher-order equations and systems can be put in the form (DE) by a simple change of variables. For example, the second-order scalar equation
(0.1) θ¨(t) + α θ˙(t) +
g l
sin θ(t) = 0,
which models the motion of a damped pendulum, can be put in the form (DE) (with n = 2) by letting x 1 = θ and x 2 = θ˙. Similarly the system
u(3)(t) + ¨u(t) + t v˙(t) − u(t) = e^3 t
v ¨(t) = 2t v˙(t) + t^3 u(t) = v(t) = cos t
of two scalar equations can be put in the form (DE) (with n = 5) by letting x 1 = u, x 2 = ˙u, x 3 = ¨u, x 4 = v, x 5 = ˙v. Here u(3)^ is the third derivative of u.]
In applications, solutions of differential equations are typically required to satisfy certain auxiliary conditions, such as initial conditions or boundary conditions. Due to time limitations, the only type of auxiliary conditions that will be discussed in this course are initial conditions, i.e. conditions of the form
(IC) x(t 0 ) = x 0
where t 0 ∈ R and x 0 ∈ Rn^ are given (or prescribed) quantities.
In most elementary courses on differential equations the emphasis is placed on recipes for constructing explicit solutions to special types of equations. However, most differential equations arising in applications cannot be solved explicitly in closed form. In more advanced treatments of differential equations the emphasis is usually placed on numerical approximation of solutions or on the use of mathematical tools to study the behavior of solutions without attempting to find explicit formulas for them. This latter approach is referred to as qualitative theory of differential equations and will be the central theme of this course. Some typical questions addressed by the qualitative theory are:
Of course, numerical analysis and qualitative theory of differential equations can- not and should not be completely separated. In fact, results from the qualitative theory are often used to establish convergence of numerical methods. In addition, many of the algorithms used in numerical computations can also be used to establish properties of solutions. The successful analysis of problems arising in applications generally involves a combination of numerical analysis and qualitative theory.
Although we are not going to emphasize explicit solution techniques in this course, the first section of the notes is devoted to a review of some techniques for solving special classes of first-order scalar equations. The techniques discussed there will be useful in establishing qualitative results for more general classes of equations.