The Picard-Lindelof Framework

The existence and uniqueness theory for ordinary differential equations establishes when initial value problems have solutions, how many solutions they have, and how solutions depend on initial data.

Initial Value Problems

Definition8.1Initial value problem (IVP)

An initial value problem for a first-order ODE system consists of a differential equation and an initial condition:

$\mathbf{x}' = \mathbf{F}(t, \mathbf{x}), \quad \mathbf{x}(t_0) = \mathbf{x}_0,$

where $\mathbf{F}: \Omega \to \mathbb{R}^n$ is defined on an open set $\Omega \subset \mathbb{R} \times \mathbb{R}^n$ and $(t_0, \mathbf{x}_0) \in \Omega$ .

A solution is a differentiable function $\mathbf{x}: I \to \mathbb{R}^n$ defined on an interval $I$ containing $t_0$ such that $\mathbf{x}'(t) = \mathbf{F}(t, \mathbf{x}(t))$ for all $t \in I$ and $\mathbf{x}(t_0) = \mathbf{x}_0$ .

Definition8.2Lipschitz condition

A function $\mathbf{F}(t, \mathbf{x})$ satisfies a Lipschitz condition in $\mathbf{x}$ on a set $S \subset \mathbb{R} \times \mathbb{R}^n$ if there exists a constant $L > 0$ (the Lipschitz constant) such that:

$\|\mathbf{F}(t, \mathbf{x}) - \mathbf{F}(t, \mathbf{y})\| \leq L\|\mathbf{x} - \mathbf{y}\|$

for all $(t, \mathbf{x}), (t, \mathbf{y}) \in S$ . If $\mathbf{F}$ has continuous partial derivatives $\partial F_i / \partial x_j$ , then $\mathbf{F}$ is locally Lipschitz with $L = \sup \|\partial \mathbf{F}/\partial \mathbf{x}\|$ on compact subsets.

The Picard-Lindelof Theorem

Theorem8.1Picard-Lindelof existence and uniqueness

Let $\mathbf{F}: \Omega \to \mathbb{R}^n$ be continuous on an open set $\Omega \subset \mathbb{R} \times \mathbb{R}^n$ and Lipschitz in $\mathbf{x}$ on $\Omega$ . Then for every $(t_0, \mathbf{x}_0) \in \Omega$ , the IVP $\mathbf{x}' = \mathbf{F}(t, \mathbf{x})$ , $\mathbf{x}(t_0) = \mathbf{x}_0$ has a unique solution on some interval $[t_0 - \delta, t_0 + \delta]$ .

More precisely, if $R = [t_0 - a, t_0 + a] \times \overline{B_b(\mathbf{x}_0)} \subset \Omega$ , $M = \sup_R \|\mathbf{F}\|$ , and $\delta = \min(a, b/M)$ , then there exists a unique solution on $[t_0 - \delta, t_0 + \delta]$ .

ExampleVerifying Lipschitz conditions

Consider $x' = x^2$ , $x(0) = 1$ . Here $F(t,x) = x^2$ , $\partial F/\partial x = 2x$ . On any compact set $|x| \leq K$ , the Lipschitz constant is $L = 2K$ . So Picard-Lindelof guarantees local existence and uniqueness. The solution $x(t) = 1/(1-t)$ exists on $(-\infty, 1)$ and blows up at $t = 1$ .

Compare with $x' = \sqrt{|x|}$ , $x(0) = 0$ . Here $F(t,x) = \sqrt{|x|}$ is not Lipschitz at $x = 0$ ( $|F'| = 1/(2\sqrt{|x|}) \to \infty$ ). Indeed, both $x(t) = 0$ and $x(t) = t^2/4$ (for $t \geq 0$ ) are solutions, so uniqueness fails.

Integral Equation Formulation

RemarkEquivalence with integral equations

The IVP $\mathbf{x}' = \mathbf{F}(t, \mathbf{x})$ , $\mathbf{x}(t_0) = \mathbf{x}_0$ is equivalent to the Volterra integral equation:

$\mathbf{x}(t) = \mathbf{x}_0 + \int_{t_0}^{t} \mathbf{F}(s, \mathbf{x}(s))\,ds.$

This reformulation is essential because:

It incorporates the initial condition directly.
The integral operator has better regularity properties than differentiation.
It provides the foundation for the Picard iteration scheme.

ExampleIntegral equation for a linear ODE

For $x' = -2tx$ , $x(0) = 1$ , the integral equation is:

$x(t) = 1 + \int_0^t (-2s \cdot x(s))\,ds.$

Starting with $x_0(t) = 1$ : $x_1(t) = 1 - t^2$ , $x_2(t) = 1 - t^2 + t^4/2$ . The pattern gives $x(t) = e^{-t^2}$ , confirming the exact solution.