Peano existence theorem explained

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.^[1] In 1890 he published a new correct proof using successive approximations.^[2]

Theorem

Let

D be an open subset of R x R with f\colon D \to R a continuous function and y'(x) = f\left(x,y(x)\right) a continuous, explicit first-order differential equation defined on D, then every initial value problem y\left(x _{0\right)} = y _{0} for f with (x _{0,} y _{0)} \in D has a local solution z\colon I \to R where I is a neighbourhood of x _{0} in R ,such that z'(x) = f\left(x,z(x)\right) for all x \in I .

The solution need not be unique: one and the same initial value

(x _{0,y} _{0)} may give rise to many different solutions z .

Proof

By replacing

y with y - y _{0} , x with x - x _{0} , we may assume x _{0=y} _{0=0} . As D is open there is a rectangle R = [ - x _{1,x} _{1] x [-y} _{1,y} _{1]\subset} D .

Because

R is compact and f is continuous, we have style\sup _{R|f|\le} C< inf ty and by the Stone–Weierstrass theorem there exists a sequence of Lipschitz functions f _{k:R\toR} converging uniformly to f in R . Without loss of generality, we assume style\sup _{R|f} _{k|\le2C} for all k .y _{k,n} :I = [ - x _{2,x} _{2]\toR} as follows, where x _{2=min\{x} _{1,y} _{1/(2C)\}} . y _{k,0} (x)\equiv 0 , and style y _{k,n+1} (x) = \int ^{x} _{0} f _{k(x',y} _{k,n} (x')) d x' . They are well-defined by induction: as\begin{aligned}|y _{k,n+1} (x)|&\le style\left|\int ^{x|f} _{k(x',y} _{k,n} (x'))| d x'\right|\\&\le style |x|\sup _{R|f} _{k|\\&\le} x _{2 ⋅ 2C\le} y _{1,\end{aligned}} (x',y _{k,n+1} (x')) is within the domain of f _{k} .

We have

\begin{aligned}|y _{k,n+1} (x) - y _{k,n} (x)|&\le style\left|\int ^{x|f} _{k(x',y} _{k,n} (x')) - f _{k(x',y} _{k,n-1} (x'))| d x'\right|\\&\le style L _{k\left|\int} ^{x|y} ^{k,n} (x') - y _{k,n-1} (x')| d x'\right|,\end{aligned}

where

L _{k} is the Lipschitz constant of f _{k} . Thus for maximal difference style M _{k,n} (x) = \sup _{x'\in[0,x]} |y _{k,n+1} (x') - y _{k,n} (x')| , we have a bound style M _{k,n} (x)\le L _{k\left|\int} ^{x} ^{0} M _{k,n-1} (x') d x'\right| , and\begin{aligned}M _{k,0} (x)&\le style\left|\int ^{x|f} _{k(x', 0 )| d x'\right|\\&\le} |x| style\sup _{R|f} _{k|\le} 2 C|x|.\end{aligned}

By induction, this implies the bound

M _{k,n} (x)\le 2 CL ^{n|x|} _{k} ^{n+1} /(n +1 )! which tends to zero as n\to inf ty for all x\in I .

The functions

y _{k,n} are equicontinuous as for - x _{2\le} x<x'\le x _{2} we have\begin{aligned}|y _{k,n+1} (x') - y _{k,n+1} (x)|&\le style\int ^{x'} _{x} |f _{k(x'',y} _{k,n} (x''))| d x''\\& style\le|x'-x|\sup _{R|f} _{k|\le} 2 C|x' - x|,\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\inN} converging uniformly to a continuous function y _{k:I\toR} . Taking limitn\to inf ty in\begin{aligned} style \left|y _{k,\varphi _{k(n)}} (x) - \int ^{xf} _{k(x',y} ^{k,\varphi _{k(n)}} (x')) d x'\right|& = |y _{k,\varphi _{k(n)}} (x) - y _{k,\varphi _{k(n)+1}} (x)|\\&\le M _{k,\varphi _{k(n)}} (x _{2)\end{aligned}}

we conclude that

style y _{k(x)=\int} ^{xf} ^{k(x',y} _{k(x'))dx'} . 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 R . Taking limit k\to inf ty in style y _{\psi(k)} (x) = \int ^{xf} _{\psi(k)} (x',y _{\psi(k)} (x')) d x' we conclude that style z(x) = \int ^{xf(x',z(x')) d x'} _{0} , using the fact that f _{\psi(k)} are equicontinuous by the Arzelà–Ascoli theorem. By the fundamental theorem of calculus, z'(x) = f(x,z(x)) 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 ^{(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(x) =0 or y(x) = x ^{2/4} . The transition between y =0 and y = (x - 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.

l{H} : for an open subset D of R x l{H} , the continuity of f\colon D \to R alone is insufficient for guaranteeing the existence of solutions for the associated initial value problem.^[3]

References

• W. F. . Osgood . Beweis der Existenz einer Lösung der Differentialgleichung dy/dx = f(x, y) ohne Hinzunahme der Cauchy-Lipschitzchen Bedingung . Monatshefte für Mathematik . 9 . 1898 . 331–345 . 10.1007/BF01707876 . 122312261 .
• Book: Coddington . Earl A. . Levinson . Norman . Theory of Ordinary Differential Equations . registration . . New York . 1955 .
• Book: Murray . Francis J. . Miller . Kenneth S. . Existence Theorems for Ordinary Differential Equations . Krieger . New York . Reprint . 1976 . 1954 .
• Book: Teschl, Gerald . Gerald Teschl . Ordinary Differential Equations and Dynamical Systems . . . 2012 . 978-0-8218-8328-0 .

Notes and References

1. G. . Peano . Sull'integrabilità delle equazioni differenziali del primo ordine . Atti Accad. Sci. Torino . 21 . 1886 . 437–445 .
2. G. . Peano . Demonstration de l'intégrabilité des équations différentielles ordinaires . . 37 . 2 . 1890 . 182–228 . 10.1007/BF01200235 . 120698124 .
3. Yorke . J. A. . James A. Yorke . 1970 . A continuous differential equation in Hilbert space without existence . Funkcjalaj Ekvacioj . 13 . 19–21 . 0264196.