# Recitation 4

### Existence and uniqueness theorems for 1st-order ODE

The general 1st-order initial value problem (IVP) is $$$$\tag{*}y’=F(x,y), y(x_0) = y_0.$$$$ We are interested in the following questions:

1. Under what conditions can we be sure that a solution to (*) exists?
2. Under what conditions can we be sure that there is a unique solution to (*)?

Theorem (Existence and uniqueness). Suppose that F(x,y) is a continuous function defined in some region $$R = (x_0-\delta, x_0+\delta)\times (y_0-\epsilon, y_0+\epsilon)$$ containing the point (x_0, y_0). Then there exists \delta_1 > 0 so that a solution y=f(x) to (*) is defined for x\in (x_0-\delta_1, x_0+\delta_1). Suppose, furthermore, that \frac{\partial F}{\partial y}(x,y) is a continuous function defined on R. Then there exists \delta_2 > 0 so that the solution is the unique solution to (*) for x\in (x_0-\delta_2, x_0 + \delta_2).