9
$\begingroup$

There are theorems of existence and uniqueness of differential equations.

I was wondering if it is possible that a differential equations has a solution but it is not unique.

$\endgroup$
14
$\begingroup$

Consider for example the equation $x' = 2\sqrt{|x|}$. For every $a$, the function $$ x_a(t) = \begin{cases} 0 & t < a \\ (t-a)^2 & t \ge a \end{cases} $$ is a solution. Note that for $a \ge 0$ all $x_a$ have $x_a(0) = 0$, so they are all solutions to the IVP $x' = 2\sqrt{|x|}, x(0) = 0$ and you usually discuss uniqueness for initial value problems, as otherwise uniqueness will almost never hold ($x' = 0$ has all constants as solutions).

$\endgroup$
  • $\begingroup$ Thanks. You mentioned initial value problems. Do they have an unique solution or no solution at all? Or even in that case we may have no solution, an unique solution or multiple solutions? $\endgroup$ – mariosangiorgio Nov 17 '12 at 15:44
  • 2
    $\begingroup$ @mariosangiorgio In my above answer, I gave an example of an non-unique solvable IVP. $\endgroup$ – martini Nov 17 '12 at 16:38
  • $\begingroup$ The definition of the solution on piecewise form should depend on the value of t. $\endgroup$ – Jorge E. Cardona May 1 '16 at 21:57
4
$\begingroup$

Let your ODE be $y'-x\sqrt{y}=0, \; y(0)=0$. It is not difficult finding its solution on $\mathbb R$. It has at least two solutions as $y=0$ and $y=\frac{x^4}{16}$ passing through the origin. Can you see why the ODE has no unique solution?

$\endgroup$
  • $\begingroup$ Is it because the two solutions shares only the point (0,0) but they do not intersect? $\endgroup$ – mariosangiorgio Nov 17 '12 at 15:55
  • 3
    $\begingroup$ @mariosangiorgio: Actually no. If we consider the equation as $y'=f(x,y)$ wherein $f(x,y)=xy^{\frac{1}{2}}$, then $\frac{\partial f}{\partial y}=\frac{x}{2y^{\frac{1}{2}}}$ which are both defined just for $y>0$. In fact Picard's theorem doesn't let the equation to have a unique solution in a rectangular region around the origin. $\endgroup$ – mrs Nov 17 '12 at 16:05
  • 1
    $\begingroup$ Thank you for the explanation $\endgroup$ – mariosangiorgio Nov 17 '12 at 16:22
  • $\begingroup$ Nice explanation, indeed! ;-) $\endgroup$ – Namaste Apr 5 '13 at 1:33
0
$\begingroup$

Since you didn't specify an IVP, it is trivial to find an ODE with non unique solution, such as $y'(x)=0 \implies y(x)=C$, where $C\in\mathbb R$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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