8
$\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.

3 Answers 3

13

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

  • 0
    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?2012-11-17
  • 2
    @mariosangiorgio In my above answer, I gave an example of an non-unique solvable IVP.2012-11-17
  • 0
    The definition of the solution on piecewise form should depend on the value of t.2016-05-01
4

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?

  • 0
    Is it because the two solutions shares only the point (0,0) but they do not intersect?2012-11-17
  • 3
    @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.2012-11-17
  • 1
    Thank you for the explanation2012-11-17
  • 0
    Nice explanation, indeed! ;-)2013-04-05
0

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