2
$\begingroup$

So I have this differential equation: $$y' = y^3 - y$$ And I need to find out which of the points (0, 1, -1) are stable.

So here we go:

$$y = \pm \frac{1}{\sqrt{e^{2x+c}+1}}$$ (solution to differential equation without y=0)

Assume that $y = y^*(x, y_0^*)$ is a solution which satisfies $y(x_0) = y_0$ then: $$y_0^* = \pm \frac{1}{\sqrt{e^{2x_0+c}+1}}$$ $$c = \frac{1-y_0^*{^2}}{y_0^*{^2}}e^{-2x_0}$$

$$y^*(x, y_0^*) = \pm\frac{y_0^*{^2}}{(1-y_0^*{^2})e^{2(x-x_0)}+y_0^*{^2}}$$

Firstly, let examine point 0 using Lyapunov's stability definition:

$$\forall \varepsilon \gt 0 : \exists \delta(\varepsilon) \gt 0 : |y(x_0) - y^*(x, y_0^*)| \lt \varepsilon, |y_0 - y_0^*| \lt \delta$$

$$|0-y^*(x, y_0^*)| = \frac{y_0^*{^2}}{|(1-y_0^*{^2})e^{2(x-x_0)}+y_0^*{^2}|} \le \frac{y_0^*{^2}}{|1-y_0^*{^2}|}e^{-2(x-x_0)} \le \frac{y_0^*{^2}}{|1-y_0^*{^2}|} \lt \varepsilon, 1-y_0^*{^2} \gt 0$$ And $$\pm\lim_{x\to \infty}\frac{y_0^*{^2}}{(1-y_0^*{^2})e^{2(x-x_0)}+y_0^*{^2}} = 0$$ so it means that point 0 is asymptotical stable.

Now, let examine points 1 and -1: $$|\pm 1-y^*(x, y_0^*)| = \left\lbrace\frac{|1-y_0^*{^2}|e^{2(x-x_0)}}{|(1-y_0^*{^2})e^{2(x-x_0)}+y_0^*{^2}|} \le 1 \lt \varepsilon; \frac{|1-y_0^*{^2}|e^{2(x-x_0)}+2y_0^*{^2}}{|(1-y_0^*{^2})e^{2(x-x_0)}+y_0^*{^2}|} \le 1+\frac{2y_0^*{^2}}{|1-y_0^*{^2}|}e^{-2(x-x_0)} \le 1+\frac{2y_0^*{^2}}{|1-y_0^*{^2}|} \lt \varepsilon \right.$$ That means that in general $$1+\frac{y_0^*{^2}}{|1-y_0^*{^2}|} \lt \varepsilon, 1-y_0^*{^2} \gt 0$$

is that mean that 1 and -1 are stable points (but not asymptotical)? Or where am I doing it wrong? And what about my assumption $$1-y_0^*{^2} \gt 0$$

$\endgroup$
6
  • 3
    $\begingroup$ What about this? $y'=y^3-y=y(y-1)(y+1) =: f(y).$ Every zero of $f$ is simple. We check that $y' < 0$ for $y < -1,$ $y' > 0$ for $y \in (-1,0),$ $y' < 0$ for $y \in (0,1),$ and $y' > 0$ for $y > 1.$ This implies that $0$ is stable and $\pm1$ is unstable. $\endgroup$
    – jflipp
    Commented Dec 7, 2014 at 12:20
  • $\begingroup$ But I need to know what is wrong in my solution, I know that it is much more complicated, but where am I wrong... ;) $\endgroup$ Commented Dec 7, 2014 at 12:26
  • $\begingroup$ This is difficult to say since you shower us with unexplained pieces: first formula for $y^2$, coming from? $y^*$, meaning? $y^*_0$, meaning? signs $\pm$, necessary? $\endgroup$
    – Did
    Commented Dec 7, 2014 at 13:11
  • $\begingroup$ I'm a little bit edit my question post. $\endgroup$ Commented Dec 7, 2014 at 14:48
  • $\begingroup$ Line 6: "(solution to differential equation without y=0)" This is not the general solution to the differential equation. $\endgroup$
    – Did
    Commented Dec 8, 2014 at 9:50

2 Answers 2

2
$\begingroup$

Is this really how you are supposed to solve the question? Let me suggest instead to determine the sign of $y^3-y$, depending on $y$, and to deduce that the phase diagram of this differential equation is: $$\large{-\!\!\!-\!\!\!-\!\!-\!\!\!\longleftarrow\!\!\!-\!\!-\!\!\!\!\!\stackrel{-1}{\bullet}\!\!\!\!\!-\!\!-\!\!\!\longrightarrow\!\!\!-\!\!\!-\!\!\!-\!\!\!\!\stackrel{0}{\bullet}\!\!\!-\!\!\!-\!\!\!-\!\!\!\longleftarrow\!\!\!-\!\!-\!\!\!\!\!\stackrel{+1}{\bullet}\!\!\!\!\!-\!\!-\!\!\!\longrightarrow\!\!\!-\!\!\!-\!\!\!-\!\!\!-}$$ Thus, there is exactly one stable fixed point, which is $__$.

$\endgroup$
3
  • $\begingroup$ It is easy to just solve 3y^2-1<0 and see that only y=0 is stable. But I still think what is wrong in my method? $\endgroup$ Commented Dec 7, 2014 at 12:24
  • $\begingroup$ Two points: (1) What exactly led you to the approach in your question? (2) See my comment to the main question. $\endgroup$
    – Did
    Commented Dec 7, 2014 at 13:13
  • $\begingroup$ Interesting downvote--purely for mathematical reasons, to be sure. $\endgroup$
    – Did
    Commented Jan 15, 2015 at 13:10
1
$\begingroup$

Let me show you a way I was taught $$ y = y_0 + \delta y $$ where $y_0 = \lbrace{0,\pm1\rbrace}$ Linearise the original equation given by $$ y' = F(y) $$ as $$ \delta y' = \frac{\partial F(y)}{\partial y}\lvert_{y_{0}}\delta y = \left(3y_0^2-1\right)\delta y $$ solutions for $\delta y$ i.e the perturbations $$ \delta y = \delta y_0 \mathrm{e}^{\left(3y_0^2-1\right)t} $$ it is clear that for $y_0 =\pm 1$ the solution is $$ \delta y = \delta y_0 \mathrm{e}^{2t}\implies \text{unstable for t>0 i.e. $|\delta t|\rightarrow \infty$ as $t\rightarrow \infty$} $$ and for $y_0$ $$ \delta y = \delta y_0 \mathrm{e}^{-t}\implies \text{stable for t>0 } $$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .