Existence and Uniqueness — Picard-Lindelof Theorem

⚡ Key Takeaways

Picard-Lindelöf Theorem guarantees that the initial value problem $y' = f(t,y)$ , $y(t_0)=y_0$ has a unique solution on some interval around $t_0$ , provided $f$ is continuous and Lipschitz continuous in $y$ . The proof constructs the solution as the limit of an iterative sequence (Picard iterates) via the Banach fixed-point theorem. It applies to first-order ODEs and systems; established by Émile Picard (1890) and Ernst Lindelöf (1894).

💡 The Core Insight

The initial value problem is equivalent to an integral equation, and solving that integral equation is the same as finding a fixed point of a certain operator on a space of functions. If that operator is a contraction (which the Lipschitz condition guarantees), the Banach fixed-point theorem hands us existence and uniqueness for free, plus a constructive iteration scheme that converges to the answer.

DefinitionThe Initial Value Problem

A first-order initial value problem (IVP) consists of a differential equation together with an initial condition:

1

\quad y'(t) = f(t, y(t)), \qquad y(t_0) = y_0.

Derivation hint: This is the standard explicit first-order form; $y'$ is isolated and equals a known function $f$ of the independent variable $t$ and the unknown $y$ . Here $f : D \to \mathbb{R}^n$ is defined on an open set $D \subseteq \mathbb{R} \times \mathbb{R}^n$ , the point $(t_0, y_0) \in D$ , and we seek a differentiable function $y : I \to \mathbb{R}^n$ on an interval $I \ni t_0$ satisfying both relations. For $n>1$ this is a system of ODEs and $y$ , $f$ , $y_0$ are vectors.

DefinitionLipschitz Continuity in

y

A function $f(t,y)$ is said to be Lipschitz continuous in $y$ (uniformly in $t$ ) on a region $R$ if there exists a constant $L \geq 0$ — the Lipschitz constant — such that

2

\quad \| f(t, y_1) - f(t, y_2) \| \leq L\, \| y_1 - y_2 \| \quad \text{for all } (t,y_1), (t,y_2) \in R.

Derivation hint: This bounds how fast $f$ can change with respect to $y$ ; geometrically the difference quotient in $y$ is bounded by $L$ , controlling the "spread" of nearby solution slopes. A convenient sufficient condition: if $\partial f / \partial y$ exists and is continuous (hence bounded) on a closed rectangle $R$ , then $f$ is Lipschitz in $y$ there with $L = \max_R \|\partial f/\partial y\|$ by the Mean Value Theorem.

TheoremPicard-Lindelöf

Let $R = \{(t,y) : |t - t_0| \leq a,\ \|y - y_0\| \leq b\}$ be a closed rectangle on which $f$ is continuous and Lipschitz in $y$ with constant $L$ . Let

3

\quad M = \max_{(t,y)\in R} \| f(t,y) \|, \qquad h = \min\!\left( a,\ \frac{b}{M} \right).

Derivation hint: $M$ bounds the slope, so over a time $h$ the solution moves at most $Mh \le b$ vertically, keeping the graph inside $R$ ; this is why $h$ is capped by $b/M$ . Then the IVP [1] has a unique solution $y(t)$ on the interval $I = [t_0 - h,\ t_0 + h]$ , and $y \in C^1(I)$ .

⚠️ Common mistake

The conclusion is local: the interval $[t_0 - h, t_0 + h]$ may be much smaller than $[t_0 - a, t_0 + a]$ . Even with $f$ globally smooth, solutions can blow up in finite time — e.g. $y' = y^2$ , $y(0)=1$ gives $y = 1/(1-t)$ , which escapes to $+\infty$ as $t \to 1^-$ . The theorem promises only a guaranteed window, not a global one.

ProofExistence and Uniqueness via Picard Iteration

Step 1 — Convert to an integral equation. A continuous function $y$ solves the IVP [1] if and only if it satisfies

4

\quad y(t) = y_0 + \int_{t_0}^{t} f\big(s, y(s)\big)\, ds.

Derivation hint: Integrate $y'(s)=f(s,y(s))$ from $t_0$ to $t$ and apply the Fundamental Theorem of Calculus; conversely differentiating [4] recovers [1] and setting $t=t_0$ recovers the initial condition.

Step 2 — Define the Picard operator. On the space $X$ of continuous functions $y : I \to \mathbb{R}^n$ with $\|y(t)-y_0\| \le b$ , define the operator

5

\quad (T y)(t) = y_0 + \int_{t_0}^{t} f\big(s, y(s)\big)\, ds.

Derivation hint: $T$ takes a candidate function and returns the right-hand side of [4]; a solution is exactly a fixed point $Ty=y$ .

Step 3 — $T$ maps $X$ into itself. For $y \in X$ and $|t-t_0|\le h$ ,

6

\quad \| (Ty)(t) - y_0 \| \leq \int_{t_0}^{t} \| f(s, y(s)) \|\, ds \leq M\, |t - t_0| \leq M h \leq b.

Derivation hint: Bound the integral by $M$ from [3] times the interval length, then use $h \le b/M$ so the output stays in the ball of radius $b$ .

Step 4 — Iterated contraction estimate. Define Picard iterates $y_0(t)\equiv y_0$ and $y_{k+1} = T y_k$ . Using the Lipschitz condition [2], one proves by induction

7

\quad \| (T^k u)(t) - (T^k v)(t) \| \leq \frac{(L\,|t-t_0|)^k}{k!}\, \sup_I \| u - v \|.

Derivation hint: Base case is the Lipschitz bound; inductive step pulls one more $L$ inside the integral and integrates $|s-t_0|^{k-1}/(k-1)!$ to produce $|t-t_0|^k/k!$ .

Step 5 — Apply the Banach fixed-point theorem. Since $(Lh)^k/k! \to 0$ , some iterate $T^k$ is a contraction on the complete metric space $X$ (with the sup norm). Banach's theorem then yields a unique fixed point $y^* \in X$ , which by Step 1 is the unique solution of the IVP. The iterates converge uniformly to $y^*$ :

8

\quad \sup_I \| y_k - y^* \| \leq \frac{(Lh)^k}{k!}\, e^{Lh}\, \sup_I \|y_1 - y_0\| \;\longrightarrow\; 0.

Derivation hint: Sum the geometric-like tail of the contraction estimates [7]; the factorial decay dominates, giving uniform (indeed superlinear) convergence regardless of how large $Lh$ is. This completes the proof: existence (a fixed point exists), uniqueness (it is the only one), and constructivity (Picard iteration converges to it). $\blacksquare$

∎

Figure

Picard iteration converging to the unique solution curve through

(t_0,y_0)

, confined to the rectangle

R

mathematician · Émile Picard | 1856–1941

Charles Émile Picard was a towering figure of late-19th-century French mathematics, known for Picard's great and little theorems in complex analysis as much as for the iteration method that bears his name. In an 1890 memoir he introduced successive approximations (méthode des approximations successives) to prove existence and uniqueness for differential equations, turning a vague iterative idea — already glimpsed by Liouville and Cauchy — into a rigorous tool. Ernst Leonard Lindelöf (1870–1946), a Finnish mathematician and founder of the Finnish school of analysis, sharpened and generalized the result in 1894, which is why the theorem carries both names. Picard's iteration anticipated the abstract notion of a contraction mapping that Banach would formalize in 1922.

🧠 Intuition

Think of $f(t,y)$ as a slope field: at every point of the plane it tells you which direction to head. A solution is a curve that always flows along the arrows. Existence asks whether you can start at $(t_0,y_0)$ and keep following the arrows for at least a little while — yes, as long as the arrows don't push you off the edge of the region (that's the $h \le b/M$ cap). Uniqueness asks whether two such curves could ever split apart. The Lipschitz condition says nearby arrows differ by no more than $L$ times the distance between their tails — the field doesn't change too violently. If two solutions started together and then diverged, the gap between them would have to grow, but the Lipschitz bound forces the gap's growth rate to be proportional to the gap itself (a Grönwall-type estimate), so a zero gap stays zero. The Picard iteration is just literally following the arrows repeatedly: start with the constant guess, integrate the slope field along it to get a better guess, and repeat — each pass corrects the previous one, and the corrections shrink factorially fast.

ExampleLinear ODE — verifying the interval

Given: $y' = 2ty$ , $y(0) = 1$ , on the rectangle $R = \{|t|\le 1,\ |y-1|\le 1\}$ .

Step 1 — Bounds. Here $f = 2ty$ . On $R$ : $\|f\| \le 2(1)(2) = 4$ , so $M = 4$ . With $a=1$ , $b=1$ :

h = \min(a, b/M) = \min(1, 1/4) = 1/4.

Step 2 — Lipschitz constant. $\partial f/\partial y = 2t$ , so $|2t| \le 2$ on $R$ , giving $L = 2$ .

Step 3 — Picard iterates. Starting from $y_0 \equiv 1$ :

y_1 = 1 + \int_0^t 2s\,ds = 1 + t^2,

y_2 = 1 + \int_0^t 2s(1+s^2)\,ds = 1 + t^2 + \tfrac{t^4}{2}.

Step 4 — Recognize the limit. The pattern is the partial sums of $e^{t^2}$ .

\boxed{\,y(t) = e^{t^2}, \quad \text{unique on } [-\tfrac14, \tfrac14]\ \text{(guaranteed; in fact valid for all } t)\,}

ExampleNonlinear ODE — estimating

h

Given: $y' = t^2 + y^2$ , $y(0) = 0$ , on $R = \{|t| \le 1,\ |y| \le 1\}$ .

Step 1 — Compute $M$ . $\|f\| = |t^2 + y^2| \le 1 + 1 = 2$ , so $M = 2$ .

Step 2 — Guaranteed interval. With $a = 1$ , $b = 1$ :

h = \min(1, 1/2) = 1/2.

Step 3 — Lipschitz constant. $\partial f/\partial y = 2y$ , $|2y| \le 2$ on $R$ , so $L = 2$ . The condition $Lh = 1 < \infty$ confirms convergence (and even $T$ itself is a contraction since $Lh = 1$ ; if not, an iterate $T^k$ is).

Step 4 — First iterates.

y_1 = \int_0^t s^2\,ds = \tfrac{t^3}{3}, \qquad y_2 = \int_0^t \left(s^2 + \tfrac{s^6}{9}\right)ds = \tfrac{t^3}{3} + \tfrac{t^7}{63}.

Conclusion: No closed-form elementary solution exists, but Picard-Lindelöf certifies:

\boxed{\,\text{a unique } C^1 \text{ solution exists on } [-\tfrac12, \tfrac12]\,}

⚠️ Common mistake

"Continuity of $f$ is enough for uniqueness." False. Continuity alone gives only existence (Peano's theorem). Uniqueness genuinely requires the Lipschitz condition (or some weaker substitute like Osgood's condition). Differentiability of $f$ in $y$ is a common shortcut that implies Lipschitz, but is not necessary — $f$ can be Lipschitz without being differentiable (e.g. $|y|$ ).

⚠️ Common mistake

"The solution exists for all $t$ ." No — Picard-Lindelöf is local. The guaranteed interval has half-width $h = \min(a, b/M)$ , which shrinks when $M$ (the max slope) is large. Global existence requires extra hypotheses, e.g. a global Lipschitz condition or linear growth $\|f(t,y)\| \le \alpha(t)\|y\| + \beta(t)$ .

CounterexampleNon-Lipschitz

\Rightarrow

non-uniqueness

Consider $y' = \sqrt{|y|}$ , $y(0) = 0$ . Here $f(t,y)=\sqrt{|y|}$ is continuous everywhere but not Lipschitz at $y=0$ : $|\sqrt{y}-0|/|y-0| = 1/\sqrt{y} \to \infty$ as $y \to 0^+$ . Consequently uniqueness fails. The trivial solution $y \equiv 0$ works, and so does

y(t) = \tfrac14 t^2 \ (t \ge 0),\ y(t)=0\ (t<0),

as does the whole family that "rests" at zero until any time $c \ge 0$ then takes off as $\tfrac14(t-c)^2$ . Infinitely many solutions share the same initial data — exactly the pathology the Lipschitz condition rules out.

connection

Picard-Lindelöf sits at the crossroads of analysis and differential equations. It is the rigorous engine behind Ordinary Differential Equations theory, providing the well-posedness that makes the subject deterministic. Its proof is the flagship application of the Banach Fixed-Point Theorem (contraction mapping principle), and the convergence of iterates relies on completeness from Metric Spaces and uniform convergence in Uniform Convergence. The key uniqueness estimate is a direct cousin of Grönwall's Inequality, which bounds how fast two solutions can separate. Where the Lipschitz hypothesis is dropped, one falls back to Peano Existence Theorem for existence only. For maximal intervals and blow-up, the theorem feeds into the Continuation of Solutions machinery.

🔬 Where this appears

⏳ History

- 1768–1824 — Cauchy's foundations. Augustin-Louis Cauchy gives the first rigorous existence proof for ODEs using a polygonal (Euler-method-like) approximation, establishing what is now the "Cauchy problem."

- 1837 — Liouville's iteration. Joseph Liouville uses successive approximations for specific differential equations, foreshadowing the iterative method.

- 1876 — Lipschitz's condition. Rudolf Lipschitz introduces the continuity condition (named after him) that secures uniqueness, refining Cauchy's existence theory.

- 1890 — Picard's memoir. Émile Picard formalizes the method of successive approximations, proving existence and uniqueness in a clean, general framework.

- 1894 — Lindelöf's refinement. Ernst Lindelöf generalizes and tightens Picard's result, giving the theorem its modern joint name.

- 1886/1890 — Peano's existence theorem. Giuseppe Peano proves existence under continuity alone (no Lipschitz), clarifying exactly what uniqueness costs.

- 1898 — Osgood's condition. William Osgood weakens the Lipschitz hypothesis to a sharper integral criterion still guaranteeing uniqueness.

- 1922 — Banach's fixed-point theorem. Stefan Banach abstracts the contraction-mapping idea, revealing Picard's iteration as a special case and giving the cleanest modern proof.

- 20th century — Carathéodory's extension. Constantin Carathéodory extends existence/uniqueness to

f

merely measurable in

t

(Carathéodory conditions), enabling discontinuous forcing terms.

open-problem

The Lipschitz hypothesis is sufficient but not necessary for uniqueness, and the precise boundary between uniqueness and non-uniqueness is subtle. Osgood's condition — uniqueness holds if $\|f(t,y_1)-f(t,y_2)\| \le \omega(\|y_1-y_2\|)$ where $\int_0^\epsilon d r/\omega(r) = \infty$ — generalizes Lipschitz, yet a fully sharp characterization is delicate. In partial differential equations the analogue (the Cauchy-Kovalevskaya theorem) requires analyticity and behaves very differently; well-posedness questions there remain deep and active (cf. the Navier-Stokes Millennium Problem). For ODEs with merely continuous $f$ , the set of solutions through a point forms a connected "funnel" (Kneser's theorem), and characterizing such funnels, plus selecting "physical" solutions in non-unique regimes (e.g. via vanishing-viscosity or Filippov regularization for discontinuous right sides), continues to motivate research in nonsmooth dynamics and control.

Existence and Uniqueness — Picard-Lindelof Theorem

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also