# Peano existence theorem

Differential equations :
Scope :
Fields
Natural sciencesEngineering
Astronomy
Physics
Chemistry
Biology
Geology
Applied mathematics
Continuum mechanics
Chaos theory
Dynamical systems
Social sciences
Economics
Population dynamics
List of named differential equations :
Classification :
Types
Ordinary
Partial
Differential-algebraic
Integro-differential
Fractional
Linear
Non-linear
By variable type
Dependent and independent variables
Autonomous
Coupled / Decoupled
Exact
Homogeneous / Nonhomogeneous
Features
Order
Operator
Notation :
Relation to processes
Difference (discrete analogue)
Stochastic
Stochastic partial
Delay :
Solution :
Existence and uniqueness
Picard–Lindelöf theorem
Peano existence theorem
Carathéodory's existence theorem
Cauchy–Kowalevski theorem :
General topics
Initial conditions
Boundary values
Dirichlet
Neumann
Robin
Cauchy problem
Wronskian
Phase portrait
Lyapunov / Asymptotic / Exponential stability
Rate of convergence
Series / Integral solutions
Numerical integration
Dirac delta function :
Solution methods
Inspection
Method of characteristics
Euler
Exponential response formula
Finite difference (Crank–Nicolson)
Finite element
Infinite element
Finite volume
Galerkin
Petrov–Galerkin
Green's function
Integrating factor
Integral transforms
Perturbation theory
Runge–Kutta
Separation of variables
Undetermined coefficients
Variation of parameters :
People :
List
Isaac Newton
Gottfried Leibniz
Jacob Bernoulli
Leonhard Euler
Joseph-Louis Lagrange
Józef Maria Hoene-Wroński
Joseph Fourier
Augustin-Louis Cauchy
George Green
Carl David Tolmé Runge
Martin Kutta
Rudolf Lipschitz
Ernst Lindelöf
Émile Picard
Phyllis Nicolson
John Crank :
vte :
In mathematics, specifically in the study of ordinary differential equations, the Peano existence theorem, Peano theorem or Cauchy–Peano theorem, named after Giuseppe Peano and Augustin-Louis Cauchy, is a fundamental theorem which guarantees the existence of solutions to certain initial value problems.

## History

Peano first published the theorem in 1886 with an incorrect proof. In 1890 he published a new correct proof using successive approximations.

## Theorem

Let $D$ be an open subset of $\mathbb {R} \times \mathbb {R}$ with $f\colon D\to \mathbb {R}$ a continuous function and $y'(t)=f\left(t,y(t)\right)$ a continuous, explicit first-order differential equation defined on D, then every initial value problem $y\left(t_{0}\right)=y_{0}$ for f with $(t_{0},y_{0})\in D$ has a local solution $z\colon I\to \mathbb {R}$ where $I$ is a neighbourhood of $t_{0}$ in $\mathbb {R}$, such that $z'(t)=f\left(t,z(t)\right)$ for all $t\in I$.
The solution need not be unique: one and the same initial value $(t_{0},y_{0})$ may give rise to many different solutions $z$.

## Proof

By replacing $y$ with $y-y_{0}$, $t$ with $t-t_{0}$, we may assume $t_{0}=y_{0}=0$. As $D$ is open there is a rectangle $R=[-t_{1},t_{1}]\times [-y_{1},y_{1}]\subset D$.
Because $R$ is compact and $f$ is continuous, we have $\textstyle \sup _{R}|f|\leq C<\infty$ and by the Stone–Weierstrass theorem there exists a sequence of Lipschitz functions $f_{k}:R\to \mathbb {R}$ converging uniformly to $f$ in $R$. Without loss of generality, we assume $\textstyle \sup _{R}|f_{k}|\leq 2C$ for all $k$.
We define Picard iterations $y_{k,n}:I=[-t_{2},t_{2}]\to \mathbb {R}$ as follows, where $t_{2}=\min\{t_{1},y_{1}/(2C)\}$. $y_{k,0}(t)\equiv 0$, and $\textstyle y_{k,n+1}(t)=\int _{0}^{t}f_{k}(t',y_{k,n}(t'))\,\mathrm {d} t'$. They are well-defined by induction: as
    ${\begin{aligned}|y_{k,n+1}(t)|&\leq \textstyle \left|\int _{0}^{t}|f_{k}(t',y_{k,n}(t'))|\,\mathrm {d} t'\right|\\&\leq \textstyle |t|\sup _{R}|f_{k}|\\&\leq t_{2}\cdot 2C\leq y_{1},\end{aligned}}$
$(t',y_{k,n+1}(t'))$ is within the domain of $f_{k}$.
We have
    ${\begin{aligned}|y_{k,n+1}(t)-y_{k,n}(t)|&\leq \textstyle \left|\int _{0}^{t}|f_{k}(t',y_{k,n}(t'))-f_{k}(t',y_{k,n-1}(t'))|\,\mathrm {d} t'\right|\\&\leq \textstyle L_{k}\left|\int _{0}^{t}|y_{k,n}(t')-y_{k,n-1}(t')|\,\mathrm {d} t'\right|,\end{aligned}}$
where $L_{k}$ is the Lipschitz constant of $f_{k}$. Thus for maximal difference $\textstyle M_{k,n}(t)=\sup _{t'\in [0,t]}|y_{k,n+1}(t')-y_{k,n}(t')|$, we have a bound $\textstyle M_{k,n}(t)\leq L_{k}\left|\int _{0}^{t}M_{k,n-1}(t')\,\mathrm {d} t'\right|$, and
    ${\begin{aligned}M_{k,0}(t)&\leq \textstyle \left|\int _{0}^{t}|f_{k}(t',0)|\,\mathrm {d} t'\right|\\&\leq |t|\textstyle \sup _{R}|f_{k}|\leq 2C|t|.\end{aligned}}$
By induction, this implies the bound $M_{k,n}(t)\leq 2CL_{k}^{n}|t|^{n+1}/(n+1)!$ which tends to zero as $n\to \infty$ for all $t\in I$.
The functions $y_{k,n}$ are equicontinuous as for $-t_{2}\leq t<t'\leq t_{2}$ we have
    ${\begin{aligned}|y_{k,n+1}(t')-y_{k,n+1}(t)|&\leq \textstyle \int _{x}^{t'}|f_{k}(t'',y_{k,n}(t''))|\,\mathrm {d} t''\\&\textstyle \leq |t'-t|\sup _{R}|f_{k}|\leq 2C|t'-t|,\end{aligned}}$
so by the Arzelà–Ascoli theorem they are relatively compact. In particular, for each $k$ there is a subsequence $(y_{k,\varphi _{k}(n)})_{n\in \mathbb {N} }$ converging uniformly to a continuous function $y_{k}:I\to \mathbb {R}$. Taking limit $n\to \infty$ in
    ${\begin{aligned}\textstyle \left|y_{k,\varphi _{k}(n)}(t)-\int _{0}^{x}f_{k}(t',y_{k,\varphi _{k}(n)}(t'))\,\mathrm {d} t'\right|&=|y_{k,\varphi _{k}(n)}(t)-y_{k,\varphi _{k}(n)+1}(t)|\\&\leq M_{k,\varphi _{k}(n)}(t_{2})\end{aligned}}$
we conclude that $\textstyle y_{k}(t)=\int _{0}^{t}f_{k}(t',y_{k}(t'))\,\mathrm {d} t'$. The functions $y_{k}$ are in the closure of a relatively compact set, so they are themselves relatively compact. Thus there is a subsequence $y_{\psi (k)}$ converging uniformly to a continuous function $z:I\to \mathbb {R}$. Taking limit $k\to \infty$ in $\textstyle y_{\psi (k)}(t)=\int _{0}^{t}f_{\psi (k)}(t',y_{\psi (k)}(t'))\,\mathrm {d} t'$ we conclude that $\textstyle z(t)=\int _{0}^{t}f(t',z(t'))\,\mathrm {d} t'$, using the fact that $f_{\psi (k)}$ are equicontinuous by the Arzelà–Ascoli theorem. By the fundamental theorem of calculus, $z'(t)=f(t,z(t))$ in $I$.

## Related theorems

The Peano theorem can be compared with another existence result in the same context, the Picard–Lindelöf theorem. The Picard–Lindelöf theorem both assumes more and concludes more. It requires Lipschitz continuity, while the Peano theorem requires only continuity; but it proves both existence and uniqueness where the Peano theorem proves only the existence of solutions. To illustrate, consider the ordinary differential equation
    $y'=\left\vert y\right\vert ^{\frac {1}{2}}$ on the domain $\left[0,1\right].$
According to the Peano theorem, this equation has solutions, but the Picard–Lindelöf theorem does not apply since the right hand side is not Lipschitz continuous in any neighbourhood containing 0. Thus we can conclude existence but not uniqueness. It turns out that this ordinary differential equation has two kinds of solutions when starting at $y(0)=0$, either $y(t)=0$ or $y(t)=t^{2}/4$. The transition between $y=0$ and $y=(t-C)^{2}/4$ can happen at any $C$.
The Carathéodory existence theorem is a generalization of the Peano existence theorem with weaker conditions than continuity.
The Peano existence theorem cannot be straightforwardly extended to a general Hilbert space ${\mathcal {H}}$: for an open subset $D$ of $\mathbb {R} \times {\mathcal {H}}$, the continuity of $f\colon D\to \mathbb {R}$ alone is insufficient for guaranteeing the existence of solutions for the associated initial value problem.