Global Stability of Fractional Order Coupled Systems with Impulses via a Graphic Approach

Abstract

Based on the graph theory and stability theory of dynamical system, this paper studies the stability of the trivial solution of a coupled fractional-order system. Some sufficient conditions are obtained to guarantee the global stability of the trivial solution. Finally, a comparison between fractional-order system and integer-order system ends the paper.

1. Introduction

Due to the great significance in applied science (e.g., signal and image processing, artificial intelligence, pattern classification), the neural networks have attracted many scholars’ attention. There are a large amount of scientific research results on the stability and synchronization of both integer-order and fractional-order differential equations. For examples, one can refer to [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]. Besides, there are many results about fractional equations such as [16,17,18,19,20,21,22]. However, in the real world, at certain moments, many behaviors in neural networks may experience a sudden change. They are affected by short-term perturbations whose duration is particularly short comparing to the process with no change. We can use impulsive differential equations to describe the phenomena. Some works considered the impulsive effects on the neural networks (e.g., see [23,24,25,26,27,28]). It is worthwhile to mention that the fractional-order impulsive differential equations were studied recently (see e.g., [29,30,31,32,33,34,35,36]). Among them, Stamov and Stamova [31,32,33,34] studied the almost periodicity of the fractional-order impulsive differential equations. It is difficult to get less conservative conditions to guarantee the global stability of a system. Recently, a new powerful tool is to apply graph theory to study the stability and synchronization of neural networks (see e.g., [37,38,39,40,41,42]. Inspired by the previous works, we consider the global stability of fractional-order coupled systems with impulses on digraph $\mathcal{G}$.

$$\left\{\begin{array}{c}{D}^{\mu }{x}_p=-w_p{x}_p+\sum _{q=1}^n{a}_{pq}{f}_q(x_q(t))+\sum _{q=1}^n{a}_{pq}(x_p(t)-x_q(t)),t\ge 0,t\ne t_k,\hfill \\ \Delta x_p(t_k)=I_k(x_p(t_k)),\hfill \\ x(t_k^{-})=x(t_k),k=1,2,\cdots ,\hfill \end{array}\right.$$

where $\Delta x_p(t_k)=x_p(t_k^{+})-x_p(t_k^{-})$ are the impulses at moments $t_k$ and $0<t_1<t_2<\cdots <t_k<\cdots$, $t_k\to \infty$ as $k\to \infty$ (see e.g., [30,31,32,43,44,45,46]). $I_k:\mathbb{R}\to \mathbb{R}$ is assumed to be continuous and $I_k=0$ when the impulses are absent. For the fractional order systems, the criteria to determine the stability for the integer order differential systems may not be applicable because fractional derivative may not maintain the properties of the integer derivative. (e.g., see [47,48]). The difficulty comes from the following facts.

1.

For the integer derivative, the sign of the first order derivative implies the monotonicity of a function. However, this is not valid for the fractional derivative (see [47]). This difference results in great difficulties to deal with the impulses at moment $t_k$.

2.

For the integer-order system $\frac{dx}{dt}=f(x,t)$, the first derivative $\frac{dV(x)}{dt}\le -\omega (x)<0$ implies the asymptotically stability in the sense of Lyapunov. However, this classical Lyapunov stability result is not valid for fractional-order system. The derivative $D^{\alpha }V(x)\le -\omega (x)<0$ does not imply the asymptotically stability (see Lemma 2 in next section). It can only guarantee the stability.

This paper is organized as follows. In Section 2, we give some preliminaries. In Section 3, main results of this paper is presented by employing graph theory. In Section 4, an example and its simulations are presented to verify the feasibility of the obtained results. Finally, Conclusions and Discussion end the paper.

2. Preliminaries

There are a lot of different definitions of fractional derivative (e.g., Riemann-Liouville, Caputo, the conformable fractional derivative, [49,50,51]). In this paper, we employ Caputo fractional integral and derivative.

Definition 1.

[50] The fractional integral with noninteger order $\mu >0$ for a function $x(t)$ is defined as

$$I^{\mu }x(t)=\frac{1}{\Gamma (\mu )}{\int }_{t_0}^t{(t-\tau )}^{\mu -1}x(\tau )d\tau ,$$

where $t\ge t_0$, $t_0$ is the initial time, $\Gamma (·)$ is the gamma function, given by $\Gamma (s)={\int }_0^{\infty }{t}^{s-1}{e}^{-t}dt$.

Definition 2.

[50] The Caputo fractional derivative of order μ for a function $x(t)$ is defined as

$$D^{\mu }x(t)=\frac{1}{\Gamma (n-\mu )}{\int }_{t_0}^t{(t-\tau )}^{n-\mu -1}{x}^{(n)}(\tau )d\tau ,$$

in which $t\ge t_0$, $t_0$ is the initial time, $n-1<\mu <n\in Z^{+}$.

Lemma 1.

[52] Suppose that $x(t)\in \mathbb{R}$ is a continuous and differentiable vector-value function. Then for any time instant $t\ge t_0$, we have

$$\frac{1}{2}{D}^{\alpha }{x}^2(t)\le x(t)D^{\alpha }x(t)$$

when $0<\alpha <1$.

Lemma 2.

[47] Consider system $D^{\alpha }x=f(x,t)$, where $0<\alpha \le 1$, $f:(D\subset {\mathbb{R}}^n)\times {\mathbb{R}}_{+}\to {\mathbb{R}}^n$. Let $V(x,t)$ be a continuously differentiable and positive definite function. Let $\omega (x)$ be a positive definite function continuous at $x=0$ such that in the ball $B(r)\subseteq D$ around $x=0$ with $x_0\in B(r)$ we have

$$D^{\alpha }V(x,t)\le -\omega (x)\le 0.$$

Then ${lim\; inf}_{t\to \infty }\parallel x\parallel =0$ and $x=0$ is stable at $t=0$. In particular, $x=0\in {\bigcap }_{x\in B(r)}\Omega (x)$. For $\alpha =1$, ${lim}_{t\to \infty }\parallel x\parallel =0$ ($x=0$ is asymptotically stable at $t=0$).

Then in what follows, we recall some basic knowledge of graph theory [40,53].

A directed graph or digraph $\mathcal{G}=(V,E)$ contains a vertex set $V=\{1,2,\dots ,n\}$ and a set E of arcs $(p,q)$ from p to q. $\mathcal{H}\subseteq \mathcal{G}$ is said to be spanning if the vertex set of $\mathcal{H}$ is the same as $\mathcal{G}$. If each $(p,q)$ is assigned a positive weight $a_{pq}$, then we say graph $\mathcal{G}$ is weighted. In our convention, $a_{pq}>0$ if and only if there is an arc from p to q. The weight of a subgraph $\mathcal{H}$ is the product of the weight of each arc.

A directed path $\mathcal{P}$ in $\mathcal{G}$ is a subgraph with vertices $\{p_1,p_2,\dots ,p_m\}$ such that its set of arcs is $\{(p_k,p_{k+1}):k=1,2,\dots ,m-1\}$. If the arc $(p_m,p_1)$ exists, then we call $\mathcal{P}$ a directed cycle. If there does not exist any cycle in the connected subgraph $\mathcal{T}$, then we call $\mathcal{T}$ a tree. For a tree $\mathcal{T}$, if there does not exist any arc to vertex p, then $\mathcal{T}$ is rooted at vertex p. If a subgraph $\mathcal{Q}$ is a disjoint union of some rooted trees and the roots of these trees can form a directed cycle, then we say $\mathcal{Q}$ is unicyclic.

For a given weighted digraph $\mathcal{G}$ with n vertices, $A={(a_{pq})}_{n\times n}$ is the weight matrix whose entry $a_{pq}$ is the weight of $(p,q)$ if it exists, and 0 otherwise. For our purpose, we write a weighted digraph as $(\mathcal{G},A)$. If for any pair of vertices there exists a directed arc from one to the other, then $\mathcal{G}$ is strongly connected. The we define the Laplacian matrix of $(\mathcal{G},A)$ as

$$L=\left(\begin{array}{cccc}{\sum }_{k\ne 1}{a}_{1k}& -a_{12}& \cdots & -a_{1n}\\ -a_{21}& {\sum }_{k\ne 2}{a}_{2k}& \cdots & -a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ -a_{n1}& -a_{n2}& \cdots & {\sum }_{k\ne n}{a}_{nk}\end{array}\right).$$

(1)

Let $c_p$ be the cofactor of the p-th diagonal element of L. Then we have the following results.

Lemma 3.

[40] Assume $n\ge 2$. Then

$$c_p=\sum _{\mathcal{T}\in {\mathbb{T}}_p}w(\mathcal{T}),p=1,2,\cdots ,n,$$

(2)

where ${\mathbb{T}}_p$ is the set of all spanning trees $\mathcal{T}$ of $(\mathcal{G},A)$ that are rooted at vertex p, and $w(\mathcal{T})$ is the weight of $\mathcal{T}$. In particular, if $(\mathcal{G},A)$ is strongly connected, then $c_p>0$ for $1\le p\le n$.

For the coupled system on a directed graph $\mathcal{G}$:

$$D^{\alpha }{u}_p=f_p(t,u_p)+\sum _{q=1}^n{g}_{pq}(t,u_p,u_q),p=1,2,\cdots ,n,$$

(3)

where $u_p\in {\mathbb{R}}^{m_p}$, $f_p:\mathbb{R}\times {\mathbb{R}}^{m_p}\to {\mathbb{R}}^{m_p}$, $g_{pq}:\mathbb{R}\times {\mathbb{R}}^{m_p}\times {\mathbb{R}}^{m_q}\to {\mathbb{R}}^{m_p}$ represent the influence from vertex p to vertex q, and $g_{pq}=0$ if there does not exist arc from p to q in $\mathcal{G}$.

Motivated by Theorem 3.4 in [40], for fractional-order systems, we have the following theorem.

Theorem 1.

Assume that the following assumptions hold.

(i) 

For the Lyapunov function $V_p(t,u_p)$ on each vertex. There exist $F_{pq}(t,u_p,u_q)$, $a_{pq}\ge 0$, and $b_p\ge 0$ such that

$$D^{\alpha }{V}_p(t,u_p)\le -b_p{V}_p(t,u_p)+\sum _{q=1}^n{a}_{pq}{F}_{pq}(t,u_p,u_q),t>0,u_p\in D_p,1\le p\le n$$

holds.

(ii) 

Along each directed cycle $\mathcal{C}$ in the weighted digraph $(\mathcal{G},A)$, $A=(a_{pq})$,

$$\sum _{(s,r)\in E(\mathcal{C})}{F}_{rs}(t,u_r,u_s)\le 0,t>0,u_r\in D_r,u_s\in D_s.$$

(iii) 

$c_p$ are constants which are given in Lemma 3.

Then $V(t,u)={\sum }_{p=1}^n{c}_p{V}_p(t,u_p)$ satisfies

$$D^{\alpha }V(t,u)\le -bV(t,u),t>0,u\in D,$$

where $b=min\{b_1,b_2,\dots ,b_n\}$.

Proof. 

For a spanning tree $\mathcal{T}$ (see Figure 1) rooted at q, by adding an arc $(p,q)$ from p to q, we obtain a unicyclic graph $\mathcal{Q}$ (see Figure 2).

Figure 1. A rooted tree $\mathcal{T}$.

Figure 2. A unicyclic graph $\mathcal{Q}$.

According to the definition for the weight of a graph, we have $w(\mathcal{Q})=w(\mathcal{T})a_{pq}$. As a result, $w(\mathcal{T})a_{pq}{F}_{pq}(t,u_p,u_q)=w(\mathcal{Q})F_{pq}(t,u_p,u_q)$, $(q,p)\in E({\mathcal{C}}_{\mathcal{Q}})$. Here $F_{pq}(t,u_p,u_q)$, $1\le p,q\le n$, are arbitrary functions, ${\mathcal{C}}_{\mathcal{Q}}$ denotes the directed cycle of $\mathcal{Q}$.

When we do this operation to all rooted spanning trees in diagraph $\mathcal{G}$ in all possible ways, we will derive all unicyclic graphs in $\mathcal{G}$. Then we get

$$\sum _{p,q=1}^n{c}_p{a}_{pq}{F}_{pq}(t,u_p,u_q)=\sum _{\mathcal{Q}\in \mathbb{Q}}w(\mathcal{Q})\sum _{(s,r)\in E({\mathcal{C}}_{\mathcal{Q}})}{F}_{rs}(t,u_r,u_s),$$

where $\mathbb{Q}$ is a set which includes all spanning unicyclic graphs of $(\mathcal{G},A)$.

Based on the definition of the Caputo fractional order derivative, we know that $D^{\alpha }[lx(t)+my(t)]=l{D}^{\alpha }x(t)+m{D}^{\alpha }y(t)$ easily. Thus, for $V(t,u)={\sum }_{i=p}^n{c}_p{V}_p(t,u_p)$, we have

$$\begin{array}{cc}\hfill D^{\alpha }V(t,u)& =D^{\alpha }\sum _{p=1}^n{c}_p{V}_p(t,u_p)\hfill \\ & =\sum _{p=1}^n{c}_p{D}^{\alpha }{V}_p(t,u_p)\hfill \\ & \le \sum _{p=1}^n{c}_p[-b_p{V}_p(t,u_p)+\sum _{q=1}^n{a}_{pq}{F}_{pq}(t,u_p,u_q)]\hfill \\ & =-\sum _{p=1}^n{b}_p{c}_p{V}_p(t,u_p)+\sum _{p,q=1}^n{c}_p{a}_{pq}{F}_{pq}(t,u_p,u_q)\hfill \\ & =-\sum _{p=1}^n{b}_p{c}_p{V}_p(t,u_p)+\sum _{\mathcal{Q}\in \mathbb{Q}}w(\mathcal{Q})\sum _{(s,r)\in E({\mathcal{C}}_{\mathcal{Q}})}{F}_{rs}(t,u_r,u_s).\hfill \end{array}$$

In view of the condition (ii) and $w(\mathcal{Q})>0$, we have

$$\begin{array}{c}\hfill D^{\alpha }V(t,u)\le -\sum _{p=1}^n{b}_p{c}_p{V}_p(t,u_p)\le -\sum _{p=1}^{n}b{c}_p{V}_p(t,u_p)=-bV(t,u),\end{array}$$

here $b=min\{b_1,b_2,\dots ,b_n\}$. □

Remark 1.

To study the stability of the coupled systems, constructing a proper Lyapunov function is of great importance. Theorem 1 reveals that a global Lyapunov function for (3) can be the combination of the Lyapunov function $V_i$ of each vertex system, which decreases the difficulty for us.

3. Main Results

Given a network represented by a digraph $\mathcal{G}$ with n vertices. Assume that the dynamic of each vertex is described by the following impulsive differential equation:

$$\left\{\begin{array}{c}{D}^{\mu }{x}_p=-w_p{x}_p+{\sum }_{q=1}^n{a}_{pq}{f}_q(x_q(t)),t\ge 0,t\ne t_k,\hfill \\ \Delta x_p(t_k)=I_k(x_p(t_k)),\hfill \\ x(t_k^{-})=x(t_k),k=1,2,\cdots ,\hfill \end{array}\right.$$

(4)

$p,q=1,2,\dots ,n$, where $0<\mu <1$, $w_p>0$ is the self-regulating parameters of the p-th vertex, $a_{pq}$ represents the weight of the arc from vertex p to q. $f_q(x)$ is the neuron activation function satisfying Lipschitz condition: for all $x,y\in \mathbb{R}$, there exists a Lipschitz constant $l_j>0$ such that $|f_q(x)-f_q(y)|\le l_q|x-y|.$ In addition, $f_q(0)=0$.

Now we consider the following impulsive coupled system on digraph $\mathcal{G}$:

$$\left\{\begin{array}{c}{D}^{\mu }{x}_p=-w_p{x}_p+{\sum }_{q=1}^n{a}_{pq}{f}_q(x_q(t))+{\sum }_{q=1}^n{a}_{pq}(x_p(t)-x_q(t)),t\ge 0,t\ne t_k,\hfill \\ \Delta x_p(t_k)=I_k(x_p(t_k)),\hfill \\ x(t_k^{-})=x(t_k),k=1,2,\cdots .\hfill \end{array}\right.$$

(5)

Theorem 2.

Assume $(\mathcal{G},A)$ is strongly connected. If the following conditions hold:

(1) 

$b=\underset{1\le p\le n}{min}(2w_p-{\sum }_{q=1}^n{l}_q{a}_{pq}-{\sum }_{q=1}^n{l}_p{a}_{qp})>0$;

(2) 

$I_k(x_{pk}(t_k))={\delta }_{pk}{x}_{pk}(t_k)$, where $-1<{\delta }_{pk}<0$;

(3) 

In each interval, $x_p(t)$ satisfies $|x_p(t_k)|<|x_p(t_{k-1}^{+})|$.

Then the trivial solution of (5) is globally stable.

Proof. 

Construct a Lyapunov function $V_p=\frac{x_p^2}{2}$ and calculate the $\mu$-order derivative of $V_p$ along (5), we have

$$\begin{array}{cc}\hfill D^{\mu }{V}_p& =D^{\mu }\frac{x_p^2}{2}\le x_p{D}^{\mu }{x}_p\hfill \\ & =x_p[-w_p{x}_p+\sum _{q=1}^n{a}_{pq}{f}_q(x_q)+\sum _{q=1}^n{a}_{pq}(x_p-x_q)]\hfill \\ & \le -w_p{x}_p^2+\sum _{q=1}^n|x_p|a_{pq}|f_q(x_q)|+\sum _{q=1}^n{a}_{pq}(x_p-x_q)x_p\hfill \\ & \le -w_p{x}_p^2+\sum _{q=1}^n|x_p|a_{pq}{l}_q|x_q|+\sum _{q=1}^n{a}_{pq}(x_p-x_q)x_p\hfill \\ & \le -w_p{x}_p^2+\frac{1}{2}\sum _{q=1}^n{l}_q{a}_{pq}(x_p^2+x_q^2)+\sum _{q=1}^n{a}_{pq}(x_p-x_q)x_p\hfill \\ & =-w_p{x}_p^2+\frac{1}{2}\sum _{q=1}^n{l}_q{a}_{pq}{x}_p^2+\frac{1}{2}\sum _{q=1}^n{l}_q{a}_{pq}{x}_q^2+\sum _{q=1}^n{a}_{pq}(x_p-x_q)x_p\hfill \\ & =-w_p{x}_p^2+\frac{1}{2}\sum _{q=1}^n{l}_q{a}_{pq}{x}_p^2+\frac{1}{2}\sum _{q=1}^n{l}_i{a}_{qp}{x}_p^2+\sum _{q=1}^n{a}_{pq}(x_p-x_q)x_p\hfill \\ & =-\frac{1}{2}(2w_p-\sum _{q=1}^n{l}_q{a}_{pq}-\sum _{q=1}^n{l}_p{a}_{qp})x_p^2+\sum _{q=1}^n{a}_{pq}(x_p-x_q)x_p\hfill \end{array}$$

$$\begin{array}{c}=-(2w_p-\sum _{q=1}^n{l}_q{a}_{pq}-\sum _{q=1}^n{l}_p{a}_{qp})V_p+\sum _{q=1}^n{a}_{pq}(-\frac{1}{2}{(x_p-x_q)}^2+\frac{1}{2}(x_q^2-x_p^2))\hfill \\ \le -(2w_p-\sum _{q=1}^n{l}_q{a}_{pq}-\sum _{q=1}^n{l}_p{a}_{qp})V_p+\sum _{q=1}^n{a}_{pq}[\frac{1}{2}(x_q^2-x_p^2)],t\ne t_k.\hfill \end{array}$$

Let $F_{pq}=\frac{1}{2}(x_q^2-x_p^2)$, along every directed cycle $\mathcal{C}$ of the weighted digraph $(\mathcal{G},A)$ we have ${\sum }_{(s,r)\in E(\mathcal{C})}{F}_{rs}(x_r,x_s)={\sum }_{(s,r)\in E(\mathcal{C})}\frac{1}{2}(x_s^2-x_r^2)=0$.

Let $b_p=2w_p-{\sum }_{q=1}^n{l}_q|a_{pq}|-{\sum }_{q=1}^n{l}_p|a_{qp}|$, $V={\sum }_{q=1}^n{c}_p{V}_p$. In view of Theorem 1, we obtain

$$D^{\mu }V(t,x)\le -bV(t,x)t>0,t\ne t_k,$$

where $b=min\{b_1,b_2,\dots ,b_n\}$. Now we select $\omega =bV(t,x)$, then $\omega$ is a positive definite function. From lemma 2, we know that the trivial solution is globally stable when $t\ne t_k$.

When $t=t_k$, $\Delta x_p(t_k)=I_k(x_p(t_k))={\delta }_{pk}{x}_p(t_k)$. Besides, $\Delta x_p(t_k)=x_p(t_k^{+})-x_p(t_k^{-})=x_p(t_k^{+})-x_p(t_k)$, then we can obtain

$$x_p(t_k^{+})=(1+{\delta }_{pk})x_p(t_k).$$

Due to $-1<{\delta }_{pk}<0$, then $|x_p(t_k^{+})|\le |x_p(t_k)|$. In view of the third condition of this theorem, we derive

$$|x_p(t_k^{+})|\le |x_p(t_k)|<|x_p(t_{k-1}^{+})|\le |x_p(t_{k-1})|.$$

As a consequence, in each interval, we get $V(x_p(t_k^{+}))<V(x_p(t_{k-1}))$. In view of $0<t_1<t_2<\cdots <t_k<\cdots$, $t_k\to \infty$ as $k\to \infty$, then $V(x_p(t_k))\to 0$ as $k\to \infty$.

This ends the proof. □

4. Example and Numerical Simulation

In this section, we study the following fractional impulsive system on a digraph with two vertices.

$$\left\{\begin{array}{c}{D}^{\mu }{x}_1=-w_1{x}_1+{\sum }_{j=1}^2{a}_{1j}{f}_j(x_j(t))+{\sum }_{j=1}^2{a}_{1j}{f}_j(x_1(t)-x_j(t)),t\ge 0,t\ne 5,10,15\dots ,\hfill \\ D^{\mu }{x}_2=-w_2{x}_2+{\sum }_{j=1}^2{a}_{2j}{f}_j(x_j(t))+{\sum }_{j=1}^2{a}_{2j}{f}_j(x_2(t)-x_j(t)),t\ge 0,t\ne 5,10,15\dots ,\hfill \\ \Delta x_i(t_k)={\delta }_{ik}(x_i(t_k)),\hfill \\ x(t_k^{-})=x(t_k),t_k=5,10,15,\dots ,\hfill \end{array}\right.$$

(6)

When $\mu =0.92$, ${\delta }_{ik}=-\frac{1}{2}$, $w_1=w_2=5$, $a_{11}=a_{22}=4$, $a_{12}=a_{21}=0$, $f_i(s)=tanh(s)$. Obviously, we can take the Lipschitz constant $l_i=1$. The initial conditions are assumed that $x_1(t)$ and $x_2(t)$ are $x_1(0)=2$ and $x_2(0)=-2$. The simulation result for the above system is shown in Figure 3.

Figure 3. Dynamical behaviors of states $x_1(t)$ and $x_2(t)$ under above parameters.

When $\mu =\frac{1}{2}$, ${\delta }_{ik}=-\frac{1}{2}$, $w_1=15$, $w_2=14$, $a_{11}=a_{22}=1$, $a_{12}=a_{21}=0$, $f_i(s)=tanh(s)$. Obviously, we can take the Lipschitz constant $l_i=1$. The initial conditions are assumed that $x_1(t)$ and $x_2(t)$ are $x_1(0)=1$ and $x_2(0)=-1$. The simulation result for the above system is shown in Figure 4.

Figure 4. Dynamical behaviors of states $x_1(t)$ and $x_2(t)$ under above parameters.

5. Conclusions and Discussions

In this paper, we apply the graph theory and stability theory of dynamical system to study the stability of a coupled fractional-order system. This method can be extended to the other complex networks or multi-layer networks. In fact, many classical results for the integer-order system are not valid for the fractional-order system. We summarize the differences between fractional derivative and integer derivative as follows.

1.

For the integer derivative, the sign of the first order derivative implies the monotonicity of a function. However, this is not valid for the fractional derivative (see [47]). This difference raises great difficulties for us to deal with the impulses at moment $t_k$. In order to ensure the stability of the trivial solution of (5), we have to add the condition $|x_p(t_k)|<|x_p(t_{k-1}^{+})|$.

2.

For the integer-order system $\frac{dx}{dt}=f(x,t)$, the first derivative $\frac{dV(x)}{dt}\le -\omega (x)<0$ implies the asymptotically stability in the sense of Lyapunov. However, this classical Lyapunov stability result is not valid for fractional-order system. The derivative $D^{\alpha }V(x)\le -\omega (x)<0$ does not imply the asymptotically stability in view of Lemma 2. It can only guarantee the stability.