Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

From Wikipedia

Local existence and uniqueness theorem simplified

The theorem can be stated simply as follows.[19] For the equation and initial value problem: $$ y' = F(x,y)\,,\quad y_0 = y(x_0) $$ if $F$ and $∂F/∂y$ are continuous in a closed rectangle $$ R=[x_0-a,x_0+a]\times [y_0-b,x_0+b] $$ in the $x-y$ plane, where $a$ and $b$ are real (symbolically: $a, b ∈ ℝ$) and $×$ denotes the cartesian product, square brackets denote closed intervals, then there is an interval $$ I = [x_0-h,x_0+h] \subset [x_0-a,x_0+a] $$ for some $h ∈ ℝ$ where the solution to the above equation and initial value problem can be found. That is, there is a solution and it is unique.

It seems to say this version of local existence and uniqueness of solution is a simplification of some other version.

So I wonder if it is a special case of Picard–Lindelöf theorem?


share|cite|improve this question
up vote 1 down vote accepted

Yes, it is a special case of Picard–Lindelöf Theorem. Those assumption imply that $F$ is Lipschitz continuous in $y$. This follows from Mean Value Theorem as follows.

Since $\frac{\partial F}{\partial y}\in C(R)$, it is bounded i.e. there exists $M>0$ such that $$ |\frac{\partial F}{\partial y}(x,y)|\leqslant M,\text{ for all }(x,y)\in R. $$ Hence it follows from Mean Value Theorem that, for some $\theta\in (0,1)$, $$ |f(x,y_1)-f(x,y_2)|=\left|\frac{\partial F}{\partial y}\left(x,\theta y_1+(1-\theta)y_2\right)\right||y_1-y_2|\leqslant M|y_1-y_2|,\text{ for }(x,y_1),(x,y_2)\in R. $$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.