Picard-Lindelöf theorem

From Wikipedia, the free encyclopedia

In mathematics, in the study of differential equations, the Picard–Lindelöf theorem, Picard's existence theorem or Cauchy-Lipschitz theorem is an important theorem on existence and uniqueness of solutions to certain initial value problems.

The theorem is named after Charles Émile Picard, Ernst Lindelöf, Rudolph Lipschitz and Augustin Cauchy.

Contents

[edit] Picard–Lindelöf theorem

Consider the initial value problem

y'(t)=f(t,y(t)),\quad y(t_0)=y_0, \quad t \in [t_0-\alpha, t_0+\alpha].

Suppose f is bounded, Lipschitz continuous in y, and continuous in t. Then, for some value ε > 0, there exists a unique solution y(t) to the initial value problem within the range [t0 − ε,t0 + ε].

[edit] Proof sketch

A simple proof of existence of the solution is successive approximation: (also called Picard iteration)

Set

\varphi_0(t)=y_0 \,\!

and

\varphi_i(t)=y_0+\int_{t_0}^{t}f(s,\varphi_{i-1}(s))\,ds.

It can then be shown, by using the Banach fixed point theorem, that the sequence of the \varphi_i \,\! (called the Picard iterates) is convergent and that the limit is a solution to the problem.

An application of Grönwall's lemma to |\varphi(t)-\psi(t)|, where \varphi and ψ are two solutions, shows that \varphi(t)\equiv\psi(t), thus proving the uniqueness.

[edit] See also

[edit] References

  • M. E. Lindelöf, Sur l'application de la méthode des approximations successives aux équations différentielles ordinaires du premier ordre; Comptes rendus hebdomadaires des séances de l'Académie des sciences. Vol. 114, 1894, pp. 454-457. Digitized version online via http://gallica.bnf.fr/ark:/12148/bpt6k3074r/f454.table . (In that article Lindelöf discusses a generalization of an earlier approach by Picard.)

[edit] External links