Existence Theory for Nonlinear Ordinary Differential Equations

We begin our applications of fixed point methods with existence of solutions to certain first order initial initial value problems. This problem is relatively easy to treat, illustrates important methods, and in the end will carry us a good deal further than may first meet the eye. Thus, we seek solutions to Y'. = I(t, y) (1. 1 ) { yeO) = r n where I: I X R n ---] R and I = 0, b]. We shall seek solutions that are de- fined either locally or globally on I, according to the assumptions imposed on I. Notice that (1. 1) is a system of first order equations because I takes its values in Rn. In section 3. 2 we will first establish some basic existence theorems which guarantee that a solution to (1. 1) exists for t > 0 and near zero. Familiar examples show that the interval of existence can be arbi- trarily short, depending on the initial value r and the nonlinear behaviour of I. As a result we will also examine in section 3. 2 the dependence of the interval of existence on I and r. We mention in passing that, in the results which follow, the interval I can be replaced by any bounded interval and the initial value can be specified at any point in I. The reasoning needed to cover this slightly more general situation requires minor modifications on the arguments given here.