2
$\begingroup$

Consider the differential equation $y^\prime =\sqrt{y}+1$ with $y(0)=0$. My question is how to prove the uniqueness of the solution.

I found a hint for it as follows: Consider $z(x)=(\sqrt{y_1(x)}-\sqrt{y_2(x}))^2$ where $y_1,y_2$ are solutions.

I'm trying to use the hint to prove the uniqueness of solution, but I do not know what the hint means.

My attempt:

$z'(x)=2(\sqrt{y_1(x)}-\sqrt{y_2(x)}[(\sqrt{y_1(x)})'-(\sqrt{y_2(x)})']=(\sqrt{y_1(x)}-\sqrt{y_2(x)})\Big(\frac{y_1'(x)}{\sqrt{y_1(x)}}-\frac{y_2'(x)}{\sqrt{y_2(x)}}\Big)=(y_1'(x)-y_2'(x))\Big(\frac{y_1'(x)}{\sqrt{y_1(x)}}-\frac{y_2'(x)}{\sqrt{y_2(x)}}\Big)$.

I couldn't proceed it further. Please give me slightly more comment or hint for the problem.

Thanks in advance!

$\endgroup$
  • $\begingroup$ Did you try to compute $z'$? I'll bet it's important.... $\endgroup$ – user296602 Mar 13 '18 at 1:56
  • $\begingroup$ @user296602 Yes, I did, but I couldn't proceed it. $\endgroup$ – 04170706 Mar 13 '18 at 2:01
  • $\begingroup$ Well, how far did you get? What expressions did you find? $\endgroup$ – user296602 Mar 13 '18 at 2:03
1
$\begingroup$

Here is an extended hint, followed by a more complete answer: After fully simplifying $z'$ using the differential equations that $y_1$ and $y_2$ satisfy, conclude that $z'(x) \le 0$ for all $x \ne 0$. So $z$ is a function satisfying

  • $z(0) = 0$
  • $z(x) \ge 0$
  • $z'(x) \le 0$ almost everywhere.

What conclusions can you draw?

Spoilers below.


Notice that

$$z' = (\sqrt{y_1} - \sqrt{y_2})\left(\frac{y_1'}{\sqrt{y_1}} - \frac{y_2'}{\sqrt{y_2}}\right)$$

After a simplification, the numerator of the term in parentheses is

$$y_1' \sqrt{y_2} - y_2' \sqrt{y_1} = (\sqrt{y_1} + 1)\sqrt{y_2} - (\sqrt{y_2} + 1)\sqrt{y_1} = \sqrt{y_2} - \sqrt{y_1}$$

and we can conclude that

$$z' = -\frac{(\sqrt{y_1} - \sqrt{y_2})^2}{\sqrt{y_1 y_2}} \le 0.$$

Therefore, $z \equiv 0$ because

$z$ is a decreasing nonnegative function which is already zero at zero.

$\endgroup$
  • 1
    $\begingroup$ Slight problem: $z$ is not obviously differentiable at $0$. Note that the expression for $z'$ has denominator $0$ there. $\endgroup$ – Robert Israel Mar 13 '18 at 2:17
  • 1
    $\begingroup$ @RobertIsrael Yes, that's a good point. I'll edit to say $x \ne 0$; then continuity of $z$ together with derivative zero on $(0, ...)$ is enough. Thanks! $\endgroup$ – user296602 Mar 13 '18 at 2:20
  • $\begingroup$ I found that the condition $x \ge 0$ is missing in my question. Note that $y'(x) \ge 1$ for any $x$ and for any solution y, which implies $y(x)<0$ for $x <0.$ It may convenient to consider the equation mentioned user539887 in his/her comment below. $\endgroup$ – 04170706 Mar 21 '18 at 6:16
1
$\begingroup$

Your equation is a separable ODE, with nonzero (and continuous) right-hand side. For such equations one has local uniqueness (see Existence and uniqueness for separable ODEs where $y'$ diverges, in particular Julián Aguirre's comment, for a proof).

One (very slight) difficulty is that in your example the domain of the rhs is $(-\infty, \infty) \times [0, \infty)$, whereas in (the standard formulation of) the above theorem the domain is the Cartesian product of open intervals. But you can extend the equation to the whole $\mathbb{R}^2$ by putting $y' = \sqrt{\lvert y \rvert} + 1$.

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