Existence and Uniqueness for First-Order ODEs

One of the fundamental questions in differential equations is: given an initial value problem, does a solution exist, and if so, is it unique? The existence and uniqueness theorem provides conditions under which these questions can be answered affirmatively.

TheoremExistence and Uniqueness Theorem (Picard-Lindelöf)

Consider the initial value problem:

$\frac{dy}{dx} = f(x,y), \quad y(x_0) = y_0$

If $f(x,y)$ is continuous in a rectangle $R = \{(x,y) : |x-x_0| \leq a, |y-y_0| \leq b\}$ and satisfies a Lipschitz condition in $y$ :

$|f(x,y_1) - f(x,y_2)| \leq L|y_1 - y_2|$

for all $(x,y_1), (x,y_2) \in R$ and some constant $L > 0$ , then there exists a unique solution $y(x)$ to the IVP in some interval $|x - x_0| \leq h$ where $h = \min(a, b/M)$ and $M = \max_{(x,y) \in R} |f(x,y)|$ .

The Lipschitz condition is a quantitative form of continuity that controls how rapidly $f$ can change with respect to $y$ . It is automatically satisfied if $\frac{\partial f}{\partial y}$ exists and is bounded in $R$ .

Remark

The theorem gives local existence and uniqueness. The solution is guaranteed to exist in a possibly small interval around $x_0$ . For global existence, additional conditions are needed, such as linear growth conditions on $f$ .

Interpretation and Consequences

Existence means that the differential equation has at least one solution satisfying the initial condition. This is crucial because it guarantees that mathematical models have meaningful solutions.

Uniqueness means that only one solution curve passes through the point $(x_0, y_0)$ . This is essential for predictability: given the same initial conditions, the system will always evolve in the same way.

ExampleVerifying Conditions

Consider $\frac{dy}{dx} = x^2 + y^2$ with $y(0) = 0$ .

Here $f(x,y) = x^2 + y^2$ is continuous everywhere.

$\frac{\partial f}{\partial y} = 2y$

In any bounded rectangle, $|2y| \leq 2b$ where $b$ is the height of the rectangle. Thus the Lipschitz condition is satisfied locally.

The theorem guarantees a unique solution exists in some interval around $x = 0$ .

ExampleNon-Uniqueness

Consider $\frac{dy}{dx} = \sqrt{|y|}$ with $y(0) = 0$ .

Here $f(x,y) = \sqrt{|y|}$ is continuous, but:

$\frac{\partial f}{\partial y} = \pm \frac{1}{2\sqrt{|y|}}$

This is unbounded near $y = 0$ , so the Lipschitz condition fails at the initial point.

Indeed, both $y(x) = 0$ and $y(x) = x^2/4$ (for $x \geq 0$ ) satisfy the IVP. Uniqueness fails!

The proof of the existence and uniqueness theorem uses the method of Picard iteration (successive approximations), which constructs the solution as the limit of a sequence of functions. This iterative method is both theoretically important and computationally useful.

Remark

The Lipschitz constant $L$ measures how sensitive the solution is to changes in initial conditions. A smaller $L$ means nearby solutions remain close, while a large $L$ indicates high sensitivity. This connects to the study of well-posed problems in applied mathematics.

Understanding when solutions exist and are unique is fundamental to the rigorous mathematical treatment of ODEs and provides the theoretical foundation for numerical methods.