Picard–Lindelöf theorem

Picard–Lindelöf theorem

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.

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 epsilon>0, there exists a unique solution y(t) to the initial value problem within the range [t_0-epsilon, t_0+epsilon] .

Proof sketch

A simple proof of existence of the solution is obtained by successive approximations. In this context, the method is known as 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 "Picard iterates" varphi_i ,! 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 psi are two solutions, shows that varphi(t)equivpsi(t), thus proving the uniqueness.

See also

* Frobenius theorem (differential topology)
* Integrability conditions for differential systems
* Peano existence theorem

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.)

External links

* [http://www.krellinst.org/UCES/archive/classes/CNA/dir2.6/uces2.6.html Fixed Points and the Picard Algorithm]
* [http://math.fullerton.edu/mathews/n2003/PicardIterationMod.html Picard Iteration]
* [http://www.math.byu.edu/~grant/courses/m634/f99/lec4.pdf Proof of the Picard–Lindelöf theorem]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Théorème de Picard-Lindelöf — Théorème de Cauchy Lipschitz Pour les articles homonymes, voir Cauchy. Cauchy développe une première version du théorème de l article. Le …   Wikipédia en Français

  • Peano existence theorem — 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… …   Wikipedia

  • Charles Émile Picard — Born 24 July 1856(1856 07 24) Paris …   Wikipedia

  • Ernst Leonard Lindelöf — Ernst Leonard Lindelöf, (7 March 1870 ndash;4 June 1946) was a Finnish topologist after whom Lindelöf space is named; he was the son of Leonard Lorenz Lindelöf and brother of the philologist Uno Lorenz Lindelöf.Lindelöf studied at the University… …   Wikipedia

  • Frobenius theorem (differential topology) — In mathematics, Frobenius theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first order homogeneous linear partial differential equations. In modern geometric terms …   Wikipedia

  • Banach fixed point theorem — The Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of certain self maps… …   Wikipedia

  • Banach fixed-point theorem — In mathematics, the Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of… …   Wikipedia

  • Ernst Leonard Lindelöf —  Ne doit pas être confondu avec le producteur américain de télévision Damon Lindelof. Ernst Leonard Lindelöf (7 mars 1870 – 4 juin 1946), est un mathématicien finlandais qui travailla principalement en analyse complexe et en théorie des… …   Wikipédia en Français

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Theoreme de Cauchy-Lipschitz — Théorème de Cauchy Lipschitz Pour les articles homonymes, voir Cauchy. Cauchy développe une première version du théorème de l article. Le …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”