Show that the system has no limit cycle.

Question

The full problem reads:

Show that the system with $\dot{x} = y$ and $\dot{y} = -2x-y-3x^4+y^2$ has no limit cycle in $\mathbb{R}^2$. (HINT: a function in the form $\mathrm{e}^{\beta x}$ might be useful)

I know that I need to use Dulac's Criteria here, but I can't find the correct $\beta$ to go along with the hint. Any advice is welcome!

Thanks!

Answer 1

For any planar system of the form

$\dot x = X(x, y), \tag 1$

$\dot y = Y(x, y), \tag 2$

the Bendixson-Dulac criterion states that there are no periodic orbits in a region $\Omega$ where

$\nabla \cdot (\phi(X, Y)) = \nabla \cdot (\phi X, \phi Y) \ne 0, \tag 3$

where $\phi(x, y)$ is some differentiable scalar function on $\Omega$. For the present system, we may take $\Omega = \Bbb R^2$ and

$\dot x = y = X(x, y), \tag 4$

$\dot y = -2x - y - 3x^4 + y^2 = Y(x, y); \tag 5$

if we set

$\phi(x, y) = e^{\beta x}, \tag 6$

then we calculate:

$\nabla \cdot (\phi(X,Y)) = \dfrac{\partial (\phi X)}{\partial x} + \dfrac{\partial (\phi Y)}{\partial y} = \dfrac{\partial (e^{\beta x}y)}{\partial x} + \dfrac{\partial (e^{\beta x}(-2x - y - 3x^4 + y^2))}{\partial y}$ $= \beta e^{\beta x}y + (e^{\beta x}(-1 + 2y)) = e^{\beta x}(\beta y - 1 + 2y) = e^{\beta x}((\beta + 2)y - 1); \tag 7$

we observe that the function $e^{\beta x}((\beta + 2)y - 1)$ occurring on the right-hand side of (7) takes on the value zero precisely at that $y_0$ for which

$(\beta + 2)y_0 - 1 = 0, \tag 8$

that is, along the line

$y = y_0 = \dfrac{1}{\beta + 2}, \tag 9$

in the $xy$-plane. If we choose

$\beta = \epsilon - 2, \tag{10}$

for some real $\epsilon$, then since

$\epsilon = \beta + 2, \tag{11}$

we see that

$y_0(\epsilon) = \dfrac{1}{\beta + 2} = \dfrac{1}{\epsilon}, \tag{12}$

and we further observe that by choosing $\epsilon > 0$ sufficiently small, not only may we ensure that $y_0(\epsilon)$ is arbitraritly large, but also that the function

$(\beta + 2)y - 1 = \epsilon y - 1 \tag{13}$

increases with increasing $y$; thus it is positive for $y > y_0$ and negative for $y < y_0$.

Now if we had a periodic orbit, it would form the boundary of a compact subset $K \subset \Bbb R^2$ upon which the function $y$ is continuous, hence bounded above by some

$y_M = \sup \{y \mid y \in K \}; \tag{14}$

thus for suffiiently small $\beta + 2 = \epsilon > 0$ we have

$y_M < y_0; \tag{15}$

that is, on $K$,

$(\beta + 2)y - 1 < 0 \Longrightarrow e^{\beta x}((\beta + 2)y - 1) < 0; \tag{16}$

but now by Bendixson-Dulac, via (7), this contradicts the existence of a periodic trajectory of the system (1)-(2); thus in particular this system cannot have a limit cycle in $\Bbb R^2$.

Answer 2

Let us take $\beta=-2$. Then: $$ \begin{aligned} &\frac{\partial}{\partial x}\Big(\ e^{-2x}\cdot y\ \Big) + \frac{\partial}{\partial y}\Big(\ e^{-2x}\cdot (-2x-y-3x^4+y^2)\ \Big) \\ &\qquad = -2e^{-2x}\cdot y+ e^{-2x}\cdot (-1+2y)=-e^{-2x} \\ &\qquad<0\ . \end{aligned} $$ This is enough to apply Dulac's criteria.