## Convergence Criteria for a Hopfield-type Neural Network

### Raveen GoundarCorresponding Author. Email: raveen g@hotmail.com and Jito Vanualailai Department of Mathematics and Computing Science, University of the South Pacific, Suva, Fiji. 2000 Mathematics Sub ject Classification: 34D20, 92B20.

Abstract
Motivated by recent applications of the Lyapunov's method in artificial neural networks, which could be considered as dynamical systems for which the convergence of the system trajectories to equilibrium states is a necessity. We re-look at a well-known Krasovskii's stability criterion pertaining to a non linear autonomous system. Instead, we consider the components of the same autonomous system with the help of the elements of Jacobian matrix J(x), thus proposing much simpler convergence criteria via the method of Lyapunov. We then apply our results to artificial neural networks and discuss our results with respect to recent ones in the field.
Keywords and Phrases: Lyapunov Stability, Hopfield-Tank Neural Networks

1 Introduction

The Direct Method of Lyapunov, which utilizes energy-like functions called Lyapunov functions, is now a well-entrenched technique in the qualitative analysis of mathematical systems governed by differential equations. A flurry of activities by mathematicians, particularly within the period of early 1940s and the late 1960s, extended the work of Lyapunov to produce results that are now indispensable in many applications. (A good modern review of the Lyapunov method and its many applications is by Sastry [1.) This paper is motivated to a large extent by modern applications of the Lyapunov method, especially in the field of artificial neural networks.
We start by considering the autonomous system of the form
 $\begin{array}{c}\text{}\mathbit{x}{\text{}}^{\prime }\left(t\right)=\text{}\mathbit{g}\text{}\left(\text{}\mathbit{x}\text{}\right),\text{}\mathbit{x}\text{}\left({t}_{0}\right)=\text{}\mathbit{x}{\text{}}_{0}.\end{array}$ (1)
Throughout the paper, guided by a well-known result of Krasovskii, we will strive to portray a simple and flexible method of proposing a stability criterion for system ( 1 ). We conclude by considering an application in artificial neural networks.
Throughout the article, we suppose that, in system ( 1 ), $\text{}\mathbit{g}\text{}\in C\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  , and is smooth enough to guarantee existence, uniqueness and continuous dependence of solutions $\text{}\mathbit{x}\text{}\left(t\right)=\text{}\mathbit{x}\text{}\left(t;\text{}\mathbit{x}{\text{}}_{0}\right)$  , with $\text{}\mathbit{x}\text{}=\left({x}_{1},\dots ,{x}_{n}{\right)}^{T}$  . The following definition and theorems of Lyapunov will be used in this article.
(We will use those in Glendenning [2).
Definition 1. Suppose that the origin, $\text{}\mathbit{x}\text{}=\text{}0\text{}$  , is an equilibrium point for system ( 1 ). Let $D$  be an open neighborhood of $\text{}0\text{}$  and $V:D\to \text{}\mathbit{R}\text{}$  be a continuously differentiable function. Then we can define the derivative of $V$  along trajectories by differentiating $V$  with respect to time using the chain rule, so ${V}^{\prime }\left(\text{}\mathbit{x}\text{}\right)=\frac{dV\left(\text{}\mathbit{x}\text{}\right)}{dt}=\text{}\mathbit{x}{\text{}}^{\prime }\cdot \nabla V\left(\text{}\mathbit{x}\text{}\right)=\text{}\mathbit{g}\text{}\left(\text{}\mathbit{x}\text{}\right)\cdot \nabla V\left(\text{}\mathbit{x}\text{}\right)={\sum }_{i=1}^{n}{g}_{i}\left(\text{}\mathbit{x}\text{}\right)\frac{\partial V\left(\text{}\mathbit{x}\text{}\right)}{\partial {x}_{i}},$  where the subscripts denote the components of $\text{}\mathbit{g}\text{}$  and $\text{}\mathbit{x}\text{}$  . Then $V$  is a Lyapunov function on $D$  iff
• (i) $V$  is continuously differentiable on $D$  ;
• (ii) $V\left(\text{}0\text{}\right)=0$  and $V\left(\text{}\mathbit{x}\text{}\right)>0$  for all $\text{}\mathbit{x}\text{}\in D\\left\{\text{}0\text{}\right\}$  ;
• (iii) ${V}^{\prime }\left(\text{}\mathbit{x}\text{}\right)\le 0$  for all $\text{}\mathbit{x}\text{}\in D$  .
Theorem 1 (Lyapunov's Stability Theorem). Let $\text{}\mathbit{x}\text{}=\text{}0\text{}$  be an equilibrium point for system ( 1 ) and $D\subset \text{}\mathbit{R}{\text{}}^{n}$  be a domain containing $\text{}\mathbit{x}\text{}=\text{}0\text{}$  .
Let $V\left(\text{}\mathbit{x}\text{}\right)$  be a Lyapunov function on an open neighborhood of $D$  , then $\text{}\mathbit{x}\text{}=\text{}0\text{}$  is stable.
Theorem 2 (Lyapunov's Asymptotic Stability Theorem). Let $\text{}\mathbit{x}\text{}=\text{}0\text{}$  be an equilibrium point for system ( 1 ) and $D\subset \text{}\mathbit{R}{\text{}}^{n}$  be a domain containing $\text{}\mathbit{x}\text{}=\text{}0\text{}$  . Let $V\left(\text{}\mathbit{x}\text{}\right)$  be a Lyapunov function on an open neighborhood of $D$  . If ${V}^{\prime }\left(\text{}0\text{}\right)=0$  and ${V}^{\prime }\left(\text{}\mathbit{x}\text{}\right)<\text{}0\text{}$  for all $\text{}\mathbit{x}\text{}\in D\\left\{\text{}0\text{}\right\}$  , then $\text{}\mathbit{x}\text{}=\text{}0\text{}$  is asymptotically stable.
Theorem 3 (Lyapunov's Theorem of Global Asymptotic Stability). Let $\text{}\mathbit{x}\text{}=\text{}0\text{}$  be a equilibrium point for system ( 1 ) and let $V\left(\text{}\mathbit{x}\text{}\right)$  be a Lyapunov function for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}$  . If $\text{}\mathbit{x}\text{}=\text{}0\text{}$  is asymptotically stable and $V\left(\text{}\mathbit{x}\text{}\right)$  is radially unbounded, then $\text{}\mathbit{x}\text{}=\text{}0\text{}$  is globally asymptotically stable.
We carry the assumption that $\text{}\mathbit{g}\text{}\left(0\right)\equiv 0$  so that $0$  is the zero solution of ( 1 ).

2 Convergence Criteria

In 1954, Krasovskii [3established an asymptotic stability criterion that avoided the linearization principle, and in the process established a method of estimating the extent of asymptotic stability region for a nonlinear systems.
He assumed that $\text{}\mathbit{g}\text{}\in {C}^{\prime }\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  and $\text{}\mathbit{g}\text{}\left(0\right)=0$  . Then system ( 1 ) can be written as $\text{}\mathbit{x}{\text{}}^{\prime }\left(t\right)={\int }_{0}^{1}\text{}\mathbit{J}\text{}\left(s\text{}\mathbit{x}\text{}\right)\text{}\mathbit{x}\text{}ds$  where $\text{}\mathbit{J}\text{}$  is the Jacobian matrix $\text{}\mathbit{J}\text{}\left(\text{}\mathbit{x}\text{}\right)=\frac{\partial \text{}\mathbit{g}\text{}\left(\text{}\mathbit{x}\text{}\right)}{\partial \text{}\mathbit{x}\text{}}.$  The following result by Krasovskii is a fundamental one in control theory.
Theorem 4 (Krasovskii [3). Let $\text{}\mathbit{g}\text{}\in {C}^{\prime }\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  and $\text{}\mathbit{g}\text{}\left(0\right)=0$  . If there exists a constant positive definite symmetric matrix $\mathbf{P}$  such that $\text{}\mathbit{x}{\text{}}^{T}\left[\text{}\mathbit{P}\text{}\text{}\mathbit{J}\text{}\left(\text{}\mathbit{x}\text{}\right)+\text{}\mathbit{J}{\text{}}^{T}\left(\text{}\mathbit{x}\text{}\right)\text{}\mathbit{P}\text{}\right]\text{}\mathbit{x}\text{}$  is a negative definite function, then the zero solution of system ( 1 ) is globally asymptotically stable.
For our purpose, we need a criterion that explicitly uses each component of system ( 1 ). Thus, using the elements of Jacobian matrix; ${J}_{ij}\left(\text{}\mathbit{x}\text{}\right)$  , we define
 $\begin{array}{c}\text{}\mathbit{D}\text{}\left(\text{}\mathbit{x}\text{}\right)={\left[{d}_{ij}\left(\text{}\mathbit{x}\text{}\right)\right]}_{n×n}\end{array}$ (2)
where ${d}_{ij}\left(\text{}\mathbit{x}\text{}\right)={\int }_{0}^{1}{J}_{ij}\left(s\text{}\mathbit{x}\text{}\right)ds={\int }_{0}^{1}\frac{\partial {g}_{i}\left(s\text{}\mathbit{x}\text{}\right)}{\partial \left(s{x}_{j}\right)}ds,$  such that system ( 1 ) can be rewritten as
 $\begin{array}{c}\text{}\mathbit{x}{\text{}}^{\prime }\left(t\right)=\text{}\mathbit{D}\text{}\left(\text{}\mathbit{x}\text{}\right)\text{}\mathbit{x}\text{}.\end{array}$ (3)
A decoupled form for the $i$  -th component of system ( 3 ) is
 $\begin{array}{c}{x}_{i}^{\prime }\left(t\right)={d}_{ii}\left(\text{}\mathbit{x}\text{}\right){x}_{i}+{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}{d}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{j}.\end{array}$ (4)
Remark 1. Note that in ( 4 ), the term ${d}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{j}$  , for $i,j=1,\dots ,n$  , is continuously differentiable with respect to $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}$  for the simple reason that $\text{}\mathbit{D}\mathbf{\left(}\mathbit{x}\mathbf{\right)}\mathbit{x}\mathbf{=}\mathbit{g}\mathbf{\left(}\mathbit{x}\mathbf{\right)}\text{}$  and $\text{}\mathbit{g}\text{}\in {C}^{\prime }\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  .
The following result of ours, guarantees the convergence criteria for autonomous system ( 1 ).
Theorem 5. Let $\text{}\mathbit{g}\text{}\in {C}^{\prime }\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  and $\text{}\mathbit{g}\text{}\left(0\right)=0$  . Let ${\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)={d}_{ii}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}\left(|{d}_{ij}\left(\text{}\mathbit{x}\text{}\right)|+|{d}_{ji}\left(\text{}\mathbit{x}\text{}\right)|\right).$  Define $D=\left\{\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}:\parallel \text{}\mathbit{x}\text{}\parallel \le M\right\}$  for some $M>0$  and assume that ${d}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{i}$  are continuous on $\text{}\mathbit{R}{\text{}}^{n}$  for $i,j=1,\dots ,n$  , such that $i\ne j$  .
Then the zero solution of ( 1 ) is
• (a) stable if $-\infty <{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)\le 0$  for $i=1,2,\dots ,n$  and $\text{}\mathbit{x}\text{}\in D$  .
• (b) asymptotically stable if $-\infty <{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)<0$  for $i=1,2,\dots ,n$  and $\text{}\mathbit{x}\text{}\in D$  .
• (c) globally asymptotically stable if $-\infty <{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)<0$  for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}$  .
• Proof. Consider $V\left(\text{}\mathbit{x}\text{}\right)=\frac{1}{2}{\sum }_{i=1}^{n}{x}_{i}^{2}$  as a tentative Lyapunov function for system ( 1 ). We have, along a solution of ( 1 ),  1   $\begin{array}{ccc}\frac{d}{dt}{\left[V\right]}_{\left(\right)}& =& \frac{1}{2}{\sum }_{i=1}^{n}\frac{d}{dt}\left[{x}_{i}^{2}\right]={\sum }_{i=1}^{n}{x}_{i}{x}_{i}^{\prime }\left(t\right)\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{i=1}^{n}{x}_{i}\left[{d}_{ii}\left(\text{}\mathbit{x}\text{}\right){x}_{i}+{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}{d}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{j}\right]\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{i=1}^{n}\left[{d}_{ii}\left(\text{}\mathbit{x}\text{}\right){x}_{i}^{2}+{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}{d}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{j}{x}_{i}\right]\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{i=1}^{n}\left[{d}_{ii}\left(\text{}\mathbit{x}\text{}\right){x}_{i}^{2}+\frac{1}{2}{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}\left[{d}_{ij}\left(\text{}\mathbit{x}\text{}\right)+{d}_{ji}\left(\text{}\mathbit{x}\text{}\right)\right]{x}_{j}{x}_{i}\right]\end{array}$
 $\begin{array}{ccc}& \le & {\sum }_{i=1}^{n}\left[{d}_{ii}\left(\text{}\mathbit{x}\text{}\right){x}_{i}^{2}+\frac{1}{4}{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}\left[|{d}_{ij}\left(\text{}\mathbit{x}\text{}\right)|+|{d}_{ji}\left(\text{}\mathbit{x}\text{}\right)|\right]\left({x}_{j}^{2}+{x}_{i}^{2}\right)\right]\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{i=1}^{n}\left[{d}_{ii}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}\left[|{d}_{ij}\left(\text{}\mathbit{x}\text{}\right)|+|{d}_{ji}\left(\text{}\mathbit{x}\text{}\right)|\right]\right]{x}_{i}^{2}\end{array}$ (5)
 $\begin{array}{ccc}& =& {\sum }_{i=1}^{n}{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right){x}_{i}^{2}.\end{array}$ (6)
Expanded form of system ( 5 ) is $\frac{dV}{dt}\le {\sum }_{i=1}^{n}\left[{d}_{ii}\left(\text{}\mathbit{x}\text{}\right){x}_{i}{x}_{i}+\frac{1}{2}{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}\left[|{d}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{i}{x}_{i}|+|{d}_{ji}\left(\text{}\mathbit{x}\text{}\right){x}_{i}{x}_{i}|\right]\right].$  By Remark  1 , the first and third terms of system ( 5 ) are continuous on $\text{}\mathbit{R}{\text{}}^{n}$  , and by assumption of Theorem  5 , the second term is also continuous on $\text{}\mathbit{R}{\text{}}^{n}$  .
Hence $V\left(\text{}\mathbit{x}\text{}\right)$  is continuous on $\text{}\mathbit{R}{\text{}}^{n}$  . Since  $\begin{array}{c}V\left(\text{}\mathbit{x}\text{}\right)=\frac{1}{2}{\sum }_{i=1}^{n}{{x}_{i}}^{2},\end{array}$ (7)
we have therefore, $V\left(\text{}0\text{}\right)=0$  and $V\left(\text{}\mathbit{x}\text{}\right)>0$  for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}\\left\{\text{}0\text{}\right\}$  . From equation ( 6 ),  $\begin{array}{c}{V}^{\prime }\left(\text{}\mathbit{x}\text{}\right)\le {\sum }_{i=1}^{n}{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right){{x}_{i}}^{2}\end{array}$ (8)
and by condition (a) of Theorem  5 , we have ${V}^{\prime }\left(\text{}\mathbit{x}\text{}\right)\le 0$  for all $\text{}\mathbit{x}\text{}\in D$  .
Hence by Theorem  1 , the zero solution of system ( 1 ) is stable. Moreover, by condition (b) of Theorem  5 , equation ( 8 ) implies ${V}^{\prime }\left(\text{}0\text{}\right)=0$  and ${V}^{\prime }\left(\text{}\mathbit{x}\text{}\right)<0$  for all $\text{}\mathbit{x}\text{}\in D\\left\{\text{}0\text{}\right\}$  . Hence by Theorem  2 , the zero solution of system ( 1 ) is asymptotically stable. Furthermore, by condition (c) of Theorem  5 , equation ( 8 ) implies ${V}^{\prime }\left(\text{}0\text{}\right)=0$  and ${V}^{\prime }\left(\text{}\mathbit{x}\text{}\right)<0$  for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}$  . Note that ( 7 ) implies $V\left(\text{}\mathbit{x}\text{}\right)\to \infty$  as $\parallel \text{}\mathbit{x}\text{}\parallel \to \infty$  , thus $V\left(\text{}\mathbit{x}\text{}\right)$  is radially unbounded. Hence by Theorem  3 , the zero solution of system ( 1 ) is globally asymptotically stable.
Let us consider some examples to show the applicability of Theorem  5 .
Example 1. We consider the following two-dimensional system
 $\begin{array}{ccc}\left[\begin{array}{c}{x}_{1}^{\prime }\left(t\right)\\ {x}_{2}^{\prime }\left(t\right)\end{array}\right]=\left[\begin{array}{c}-2{x}_{1}+{x}_{2}^{2}\\ {x}_{1}^{2}-2{x}_{2}\end{array}\right],& & \end{array}$ (9)
with ${x}_{1}\left({t}_{0}\right)={x}_{10}$  and ${x}_{2}\left({t}_{0}\right)={x}_{20}$  . In the form of system ( 3 ), system ( 9 ) can be written as
 $\begin{array}{ccc}\left[\begin{array}{c}{x}_{1}^{\prime }\left(t\right)\\ {x}_{2}^{\prime }\left(t\right)\end{array}\right]=\left[\begin{array}{cc}-2& {x}_{2}\\ {x}_{1}& -2\end{array}\right]\left[\begin{array}{c}{x}_{1}\\ {x}_{2}\end{array}\right].& & \end{array}$
The assumption of Theorem  5 is satisfied since ${d}_{12}\left(\text{}\mathbit{x}\text{}\right){x}_{1}={d}_{21}\left(\text{}\mathbit{x}\text{}\right){x}_{2}={x}_{1}{x}_{2}.$  Next we shall check condition (a) of Theorem  5 . We have
 $\begin{array}{ccc}{\beta }_{1}\left(\text{}\mathbit{x}\text{}\right)& =& {d}_{11}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}\left(|{d}_{12}\left(\text{}\mathbit{x}\text{}\right)|+|{d}_{21}\left(\text{}\mathbit{x}\text{}\right)|\right)\end{array}$
 $\begin{array}{ccc}& =& -2+\frac{1}{2}\left(|{x}_{2}|+|{x}_{1}|\right).\end{array}$
Solving the inequality ${\beta }_{1}\left(\text{}\mathbit{x}\text{}\right)<0$  , we have $|{x}_{1}|+|{x}_{2}|<4,$  and `squaring' both sides gives ${{x}_{1}}^{2}+{{x}_{2}}^{2}+2|{x}_{1}||{x}_{2}|<16.$  Now ${{x}_{1}}^{2}+{{x}_{2}}^{2}+2|{x}_{1}||{x}_{2}|<{{x}_{1}}^{2}+{{x}_{2}}^{2}+2×\frac{1}{2}\left({{x}_{1}}^{2}+{{x}_{2}}^{2}\right)=2{{x}_{1}}^{2}+2{{x}_{2}}^{2}.$  Then let $2{{x}_{1}}^{2}+2{{x}_{2}}^{2}<16$  from which ${{x}_{1}}^{2}+{{x}_{2}}^{2}<8.$  Similarly solving ${\beta }_{2}\left(\text{}\mathbit{x}\text{}\right)<0$  , we have ${\beta }_{2}\left(\text{}\mathbit{x}\text{}\right)={d}_{22}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}\left(|{d}_{21}\left(\text{}\mathbit{x}\text{}\right)|+|{d}_{12}\left(\text{}\mathbit{x}\text{}\right)|\right)<0,$  which gives
 $\begin{array}{c}-2+\frac{1}{2}\left(|{x}_{1}|+|{x}_{2}|\right)<0.\end{array}$ (10)
Further simplification of ( 10 ) gives us ${{x}_{1}}^{2}+{{x}_{2}}^{2}<8.$  Therefore, let $D=\left\{\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{2}:\parallel \text{}\mathbit{x}\text{}\parallel <\sqrt{8}\right\}.$  Hence by condition (a) of Theorem  5 , the zero solution of system ( 9 ) is asymptotically stable.
Example 2. We consider the following two-dimensional system
 $\begin{array}{ccc}\left[\begin{array}{c}{x}_{1}^{\prime }\left(t\right)\\ \\ {x}_{2}^{\prime }\left(t\right)\end{array}\right]=\left[\begin{array}{c}-4{x}_{1}+{x}_{1}\text{sech}\left({x}_{1}\right)+4{x}_{2}\\ \\ -{x}_{1}-6{x}_{2}-{x}_{2}cos\left({x}_{2}\right)\end{array}\right],& & \end{array}$ (11)
which can be written in the form of system ( 3 ) as
 $\begin{array}{ccc}\left[\begin{array}{c}{x}_{1}^{\prime }\left(t\right)\\ \\ {x}_{2}^{\prime }\left(t\right)\end{array}\right]=\left[\begin{array}{cc}-4+\text{sech}\left({x}_{1}\right)& 4\\ \\ -1& -6-cos\left({x}_{2}\right)\end{array}\right]\left[\begin{array}{c}{x}_{1}\\ \\ {x}_{2}\end{array}\right].& & \end{array}$
The assumption of Theorem  5 is satisfied since ${d}_{12}\left(\text{}\mathbit{x}\text{}\right){x}_{1}=4{x}_{1}$  and ${d}_{21}\left(\text{}\mathbit{x}\text{}\right){x}_{2}=-{x}_{2}$  . Next we shall check condition (c) of Theorem  5 .
We have
 $\begin{array}{ccc}{\beta }_{1}\left(\text{}\mathbit{x}\text{}\right)& =& {d}_{11}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}\left(|{d}_{12}\left(\text{}\mathbit{x}\text{}\right)|+|{d}_{21}\left(\text{}\mathbit{x}\text{}\right)|\right)\end{array}$
 $\begin{array}{ccc}& =& -4+\text{sech}\left({x}_{1}\right)+\frac{1}{2}\left(|4|+|-1|\right)\end{array}$
 $\begin{array}{ccc}& =& \text{sech}\left({x}_{1}\right)-\frac{3}{2}\le 1-\frac{3}{2}=-\frac{1}{2}<0.\end{array}$
Similarly, we have
 $\begin{array}{ccc}{\beta }_{2}\left(\text{}\mathbit{x}\text{}\right)& =& {d}_{22}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}\left(|{d}_{21}\left(\text{}\mathbit{x}\text{}\right)|+|{d}_{12}\left(\text{}\mathbit{x}\text{}\right)|\right)\end{array}$
 $\begin{array}{ccc}& =& -6-cos\left({x}_{2}\right)+\frac{1}{2}\left(|-1|+|4|\right)\end{array}$
 $\begin{array}{ccc}& =& -\frac{7}{2}-cos\left({x}_{2}\right)\le -\frac{7}{2}+1=-\frac{5}{2}<0.\end{array}$
Since both ${\beta }_{1}\left(\text{}\mathbit{x}\text{}\right)<0$  and ${\beta }_{2}\left(\text{}\mathbit{x}\text{}\right)<0$  for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{2}$  hence by condition (c) of Theorem  5 , the zero solution of system ( 11 ) is globally asymptotically stable.

3 Application in Artificial Neural Networks

Artificial neural networks (ANNs) can be considered as dynamical systems with several equilibrium states. An essential operating condition for a neural network is that all system trajectories must converge to the equilibrium states. (A good overview of the concepts associated with biological neural networks is given in [5).
We will consider an ANN that is described thoroughly in Lakshmikantham et al. [6, and provide a stability criteria using Theorem  5 . The ANN in question has $n$  units. To the $i$  th unit, we associate its activation state at time $t$  , a real number ${x}_{i}={x}_{i}\left(t\right)$  ; an output function ${\mu }_{i}$  ; a fixed bias ${\theta }_{i}$  ; and an output signal ${R}_{i}={\mu }_{i}\left({x}_{i}+{\theta }_{i}\right)$  . The weight or connection strength on the line from unit $j$  to unit $i$  is a fixed real number ${W}_{ij}$  . When ${W}_{ij}=0$  , there is no transmission from unit $j$  to unit $i$  . The incoming signal from unit $j$  to unit $i$  is ${S}_{ij}={W}_{ij}{R}_{j}$  . In addition, there can be a vector $\text{}\mathbit{I}\text{}$  of any number of external inputs feeding into some or all units, so that we may write $\text{}\mathbit{I}\text{}=\left({I}_{1},\dots ,{I}_{m}{\right)}^{T}$  .
An ANN with fixed weights is a dynamical system: given initial values of the activation of all units, the future activations can be computed. The future activation states are assumed to be determined by a system of $n$  differential equations, the $i$  th equation of which is
 $\begin{array}{ccc}{x}_{i}^{\prime }\left(t\right)& =& {G}_{i}\left({x}_{i},{S}_{i1},\dots ,{S}_{in},\text{}\mathbit{I}\text{}\right)={G}_{i}\left({x}_{i},{W}_{i1}{R}_{1},\dots ,{W}_{in}{R}_{n},\text{}\mathbit{I}\text{}\right)\end{array}$
 $\begin{array}{ccc}& =& {G}_{i}\left({x}_{i};{W}_{i1}{\mu }_{1}\left({x}_{1}+{\theta }_{1}\right),\dots ,{W}_{in}{\mu }_{n}\left({x}_{n}+{\theta }_{n}\right);{I}_{1},\dots ,{I}_{m}\right).\end{array}$ (12)
With ${W}_{ij}$  , ${\theta }_{i}$  and ${I}_{k}$  assumed known, we can write ( 12 ) as
 $\begin{array}{c}{x}_{i}^{\prime }\left(t\right)={g}_{i}\left({x}_{1},\dots ,{x}_{n}\right),\end{array}$ (13)
or in vector notation
 $\begin{array}{c}\text{}\mathbit{x}{\text{}}^{\prime }\left(t\right)=\text{}\mathbit{g}\text{}\left(\text{}\mathbit{x}\text{}\right),\end{array}$ (14)
where $\text{}\mathbit{g}\text{}$  is a vector on Euclidean space $\text{}\mathbit{R}{\text{}}^{n}$  whose $i$  th element is ${g}_{i}$  given in ( 13 ). We assume that $\text{}\mathbit{g}\text{}$  is continuously differentiable and satisfies the usual theorems on existence, continuity and uniqueness of solutions. Thus, since $\text{}\mathbit{g}\text{}\in {C}^{\prime }\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  , we can define $\text{}\mathbit{D}\text{}\left(\text{}\mathbit{x}\text{}\right)$  as in ( 2 ) but using $\text{}\mathbit{g}\text{}$  in ( 14 ). Hence, if $\text{}\mathbit{g}\text{}\left(0\right)\equiv 0$  , then system ( 14 ) can be written as $\text{}\mathbit{x}{\text{}}^{\prime }\left(t\right)=\text{}\mathbit{D}\text{}\left(\text{}\mathbit{x}\text{}\right)\text{}\mathbit{x}\text{},\text{}\mathbit{x}\text{}\left({t}_{0}\right)=\text{}\mathbit{x}{\text{}}_{0},$  the $i$  th component of which in a decoupled form is ${x}_{i}^{\prime }\left(t\right)={d}_{ii}\left(\text{}\mathbit{x}\text{}\right){x}_{i}+{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}{d}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{j}.$  First, we state a comparable result by Lakshmikantham et al. [6, page 152, who used the concept of vector Lyapunov functions.
Theorem 6 (Lakshmikantham, Matrosov and Sivasundaram [6). Let $\text{}\mathbit{g}\text{}\in {C}^{\prime }\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  and $\text{}\mathbit{g}\text{}\left(0\right)=0$  . Let
 $\begin{array}{c}{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)={d}_{ii}\left(\text{}\mathbit{x}\text{}\right)+{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}|{d}_{ij}\left(\text{}\mathbit{x}\text{}\right)|.\end{array}$ (15)
Suppose that
 $\begin{array}{c}{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)<0\text{if}{x}_{i}^{2}\ge {x}_{j}^{2},\end{array}$ (16)
for $i,j=1,\dots ,n$  and $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}$  , $\text{}\mathbit{x}\text{}\ne 0$  . Then the zero solution of ( 14 ) is globally asymptotically stable.
If we apply condition (b) of Theorem  5 , then we obtain a simpler convergence criteria.
Theorem 7. Let $\text{}\mathbit{g}\text{}\in {C}^{\prime }\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  and $\text{}\mathbit{g}\text{}\left(0\right)=0$  . Let ${\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)={d}_{ii}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}\left(|{d}_{ij}\left(\text{}\mathbit{x}\text{}\right)|+|{d}_{ji}\left(\text{}\mathbit{x}\text{}\right)|\right).$  Define $D=\left\{\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}:\parallel \text{}\mathbit{x}\text{}\parallel \le M\right\}$  for some $M>0$  and assume that ${d}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{i}$  are continuous on $\text{}\mathbit{R}{\text{}}^{n}$  for $i,j=1,\dots ,n$  , such that $i\ne j$  . Then the zero solution of ( 14 ) is asymptotically stable if $-\infty <{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)<0$  for $i=1,2,\dots ,n$  and $\text{}\mathbit{x}\text{}\in D$  .
Thus, the application of Theorem  5 to artificial neural network, considering system ( 14 ), gives us a simpler criterion guaranteeing asymptotic stability as showed by Theorem  6 . Hence the strong condition ${x}_{i}^{2}\ge {x}_{j}^{2}$  that appears in Theorem  6 is not necessary.
Next, we look at a specific case of ( 14 ). The specific ANN is of the additive type and is often referred to as the Hopfield-Tank ANN, a much studied class of network dynamics [7. It is described by the nonlinear differential equation
 $\begin{array}{ccc}{x}_{i}^{\prime }\left(t\right)& =& -{a}_{i}{x}_{i}\left(t\right)+{\sum }_{j=1}^{n}{W}_{ij}{\mu }_{j}\left({x}_{j}\left(t\right)+{\theta }_{j}\right)+{I}_{i}\left(t\right)\end{array}$
 $\begin{array}{ccc}& =& -{a}_{i}{x}_{i}\left(t\right)+{\sum }_{j=1}^{n}{W}_{ij}{\nu }_{j}\left({x}_{j}\left(t\right)\right)+{I}_{i}\left(t\right),\end{array}$ (17)
where ${a}_{i}>0$  is the constant decay rate , ${I}_{i}\left(t\right)$  is the external input (to the $i$  th neuron) defined almost everywhere on $\left[0,\infty \right)$  and ${\nu }_{i}$  is the suppressed notation for the fixed ${\theta }_{i}$  by having ${\theta }_{i}$  incorporated into ${\mu }_{i}$  . The function ${\nu }_{i}$  is called the neuron activation function .
Now, define $\text{}\mathbit{A}\text{}=\text{diag}\left(-{a}_{1},\dots ,-{a}_{n}\right)$  , $\text{}\mathbit{x}\text{}=\left({x}_{1},\dots ,{x}_{n}{\right)}^{T}$  , ${h}_{i}\left(\text{}\mathbit{x}\text{}\right)={\sum }_{j=1}^{n}{W}_{ij}{\nu }_{j}\left({x}_{j}\right)\text{with}\text{}\mathbit{h}\text{}\left(\text{}\mathbit{x}\text{}\right)=\left({h}_{1}\left(\text{}\mathbit{x}\text{}\right),\dots ,{h}_{n}\left(\text{}\mathbit{x}\text{}\right){\right)}^{T},$  and $\text{}\mathbit{u}\text{}\left(t\right)=\left({I}_{i}\left(t\right),\dots ,{I}_{n}\left(t\right){\right)}^{T}$  . Then ( 17 ) is the $i$  th component of the system
 $\begin{array}{c}\text{}\mathbit{x}{\text{}}^{\prime }\left(t\right)=\text{}\mathbit{A}\text{}\text{}\mathbit{x}\text{}+\text{}\mathbit{h}\text{}\left(\text{}\mathbit{x}\text{}\right)+\text{}\mathbit{u}\text{}\left(t\right),\text{}\mathbit{x}\text{}\left({t}_{0}\right)=\text{}\mathbit{x}{\text{}}_{0}.\end{array}$ (18)
When the external input vector, $\text{}\mathbit{u}\text{}$  , is zero, the nonautonomous system ( 18 ) reduces to the autonomous system
 $\begin{array}{c}\text{}\mathbit{x}{\text{}}^{\prime }\left(t\right)=\text{}\mathbit{A}\text{}\text{}\mathbit{x}\text{}+\text{}\mathbit{h}\text{}\left(\text{}\mathbit{x}\text{}\right),\text{}\mathbit{x}\text{}\left({t}_{0}\right)=\text{}\mathbit{x}{\text{}}_{0}.\end{array}$ (19)
For this, we assume that $\text{}\mathbit{x}{\text{}}^{*}=\left({x}_{1}^{*},\dots ,{x}_{n}^{*}{\right)}^{T}$  is an equilibrium point, so that $\text{}\mathbit{A}\text{}\text{}\mathbit{x}{\text{}}^{*}+\text{}\mathbit{h}\text{}\left(\text{}\mathbit{x}{\text{}}^{*}\right)=0$  . By translating the origin, $0$  , to this equilibrium point, we can make $0$  an equilibrium point. In this case, $\text{}\mathbit{h}\text{}\left(0\right)\equiv 0$  . Since this is of great notational help, we will henceforth consider $0$  as an equilibrium point or zero solution of ( 19 ).
Let us next assumed that $\text{}\mathbit{h}\text{}\in {C}^{\prime }\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  . Then using the elements of Jacobian matrix, ${J}_{ij}\left(\text{}\mathbit{x}\text{}\right)$  , we define $\text{}\mathbit{F}\text{}\left(\text{}\mathbit{x}\text{}\right)={\left[{f}_{ij}\left(\text{}\mathbit{x}\text{}\right)\right]}_{n×n}\text{where}{f}_{ij}\left(\text{}\mathbit{x}\text{}\right)={\int }_{0}^{1}{J}_{ij}\left(\text{}\mathbit{x}\text{}\right)ds={\int }_{0}^{1}\frac{\partial {h}_{i}\left(s\text{}\mathbit{x}\text{}\right)}{\partial \left(s{x}_{j}\right)}ds,$  hence system ( 19 ) can be rewritten as
 $\begin{array}{c}\text{}\mathbit{x}{\text{}}^{\prime }\left(t\right)=\text{}\mathbit{A}\text{}\text{}\mathbit{x}\text{}+\text{}\mathbit{F}\text{}\left(\text{}\mathbit{x}\text{}\right)\text{}\mathbit{x}\text{}=\left[\text{}\mathbit{A}\text{}+\text{}\mathbit{F}\text{}\left(\text{}\mathbit{x}\text{}\right)\right]\text{}\mathbit{x}\text{}.\end{array}$ (20)
The $i$  th component of ( 20 ) in a decoupled form is ${x}_{i}^{\prime }\left(t\right)=\left[-{a}_{i}+{f}_{ii}\left(\text{}\mathbit{x}\text{}\right)\right]{x}_{i}\left(t\right)+{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}{f}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{j}.$  Thus the following theorem is an application of our result; Theorem  5 .
Theorem 8. Let $\text{}\mathbit{h}\text{}\in {C}^{\prime }\left[\text{}\mathbit{R}{\text{}}^{n},\text{}\mathbit{R}{\text{}}^{n}\right]$  and $\text{}\mathbit{h}\text{}\left(0\right)=0$  . Let ${\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)=-{a}_{ii}+{f}_{ii}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}{\sum }_{\genfrac{}{}{0}{}{j=1}{j\ne i}}^{n}\left(|{f}_{ij}\left(\text{}\mathbit{x}\text{}\right)|+|{f}_{ji}\left(\text{}\mathbit{x}\text{}\right)|\right).$  Define $D=\left\{\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}:\parallel \text{}\mathbit{x}\text{}\parallel \le M\right\}$  for some $M>0$  and assume that ${f}_{ij}\left(\text{}\mathbit{x}\text{}\right){x}_{i}$  are continuous on $\text{}\mathbit{R}{\text{}}^{n}$  for $i,j=1,\dots ,n$  , such that $i\ne j$  .
Then the zero solution of ( 19 ) is
• (a) stable if $-\infty <{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)\le 0$  for $i=1,2,\dots ,n$  and $\text{}\mathbit{x}\text{}\in D$  .
• (b) asymptotically stable if $-\infty <{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)<0$  for $i=1,2,\dots ,n$  and $\text{}\mathbit{x}\text{}\in D$  .
• (c) globally asymptotically stable if $-\infty <{\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)<0$  for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{n}$  .
• Proof. Applying Theorem  5 to system ( 19 ), and hence to system ( 20 ), with $\text{}\mathbit{D}\text{}\left(\text{}\mathbit{x}\text{}\right)=\text{}\mathbit{A}\text{}+\text{}\mathbit{F}\text{}\left(\text{}\mathbit{x}\text{}\right)$  , ${d}_{ii}\left(\text{}\mathbit{x}\text{}\right)=-{a}_{i}+{f}_{ii}\left(\text{}\mathbit{x}\text{}\right)$  and ${d}_{ij}\left(\text{}\mathbit{x}\text{}\right)={f}_{ij}\left(\text{}\mathbit{x}\text{}\right)$  , we easily obtain the conclusion of Theorem  8 .
Let us consider one example of Theorem  8 .
Example 3. Let us consider two-neural autonomous system.
 $\begin{array}{ccc}\left[\begin{array}{c}{x}_{1}^{\prime }\left(t\right)\\ {x}_{2}^{\prime }\left(t\right)\end{array}\right]=\left[\begin{array}{cc}-{a}_{1}& 0\\ 0& -{a}_{2}\end{array}\right]\left[\begin{array}{c}{x}_{1}\\ {x}_{2}\end{array}\right]+\left[\begin{array}{c}{h}_{1}\left(\text{}\mathbit{x}\text{}\right)\\ {h}_{2}\left(\text{}\mathbit{x}\text{}\right)\end{array}\right]& & \end{array}$ (21)
with ${x}_{1}\left({t}_{0}\right)={x}_{10},{x}_{2}\left({t}_{0}\right)={x}_{20},0\le {t}_{0}\le t$  , where,
 $\begin{array}{ccc}{a}_{1}& =& 10,{a}_{2}=10,\end{array}$
 $\begin{array}{ccc}{h}_{1}\left(\text{}\mathbit{x}\text{}\right)& =& {B}_{11}{\nu }_{1}\left({x}_{1}\right)+{B}_{12}{\nu }_{2}\left({x}_{2}\right)=-3{x}_{1}+{x}_{2}-tanh\left(3{x}_{1}\right),\end{array}$
 $\begin{array}{ccc}{h}_{2}\left(\text{}\mathbit{x}\text{}\right)& =& {B}_{21}{\nu }_{1}\left({x}_{1}\right)+{B}_{22}{\nu }_{2}\left({x}_{2}\right)={x}_{1}-{x}_{2}+\frac{1}{5}tanh\left(3{x}_{2}\right).\end{array}$
In the form of system ( 20 ), system ( 21 ) can be written as
 $\begin{array}{ccc}\left[\begin{array}{c}{x}_{1}^{\prime }\left(t\right)\\ {x}_{2}^{\prime }\left(t\right)\end{array}\right]=\left(\left[\begin{array}{cc}-10& 0\\ 0& -10\end{array}\right]+\left[\begin{array}{cc}-3-\tau \left({x}_{1}\left(t\right)\right)& 1\\ 1& -1+\frac{1}{5}\tau \left({x}_{2}\left(t\right)\right)\end{array}\right]\right)\left[\begin{array}{c}{x}_{1}\\ {x}_{2}\end{array}\right],& & \end{array}$
where for $i=1,2,$  we define $\tau \left({x}_{i}\left(t\right)\right)=\left\{\begin{array}{cc}\frac{tanh\left(3{x}_{i}\right)}{{x}_{i}}& \text{}{x}_{i}\ne 0\text{},\\ 3& \text{}{x}_{i}=0\text{},\end{array}$  noting that $0<\tau \left({x}_{i}\right)\le 3$  for all ${x}_{i}\in \text{}\mathbit{R}{\text{}}^{2}$  . The assumption of Theorem  8 is satisfied since ${f}_{12}\left(\text{}\mathbit{x}\text{}\right){x}_{1}={x}_{1}$  and ${f}_{21}\left(\text{}\mathbit{x}\text{}\right){x}_{2}={x}_{2}$  . Now we shall check condition (c) of Theorem  8 . We have
 $\begin{array}{ccc}{\beta }_{1}\left(\text{}\mathbit{x}\text{}\right)& =& -{a}_{1}+{f}_{11}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}\left(|{f}_{12}\left(\text{}\mathbit{x}\text{}\right)|+|{f}_{21}\left(\text{}\mathbit{x}\text{}\right)|\right)\end{array}$
 $\begin{array}{ccc}& =& -10-3-\tau \left({x}_{1}\left(t\right)\right)+\frac{1}{2}\left(|1|+|1|\right)\end{array}$
 $\begin{array}{ccc}& =& -12-\tau \left({x}_{1}\left(t\right)\right)\end{array}$ (22)
 $\begin{array}{ccc}& <& -12\end{array}$
for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{2}\\left\{\text{}0\text{}\right\}$  and
 $\begin{array}{ccc}{\beta }_{2}\left(\text{}\mathbit{x}\text{}\right)& =& -{a}_{2}+{f}_{22}\left(\text{}\mathbit{x}\text{}\right)+\frac{1}{2}\left(|{f}_{21}\left(\text{}\mathbit{x}\text{}\right)|+|{f}_{12}\left(\text{}\mathbit{x}\text{}\right)|\right)\end{array}$
 $\begin{array}{ccc}& =& -10-1+\frac{1}{5}\tau \left({x}_{2}\left(t\right)\right)+\frac{1}{2}\left(|1|+|1|\right)\end{array}$
 $\begin{array}{ccc}& =& -10+\frac{1}{5}\tau \left({x}_{2}\left(t\right)\right)\end{array}$ (23)
 $\begin{array}{ccc}& <& -10+\frac{3}{5}=-\frac{47}{5}\end{array}$
for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{2}\\left\{\text{}0\text{}\right\}$  . Clearly, both ${\beta }_{1}\left(\text{}\mathbit{x}\text{}\right)<0$  and ${\beta }_{2}\left(\text{}\mathbit{x}\text{}\right)<0$  for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{2}\\left\{\text{}0\text{}\right\}$  .
Next, we shall check the condition on ${\beta }_{i}\left(\text{}\mathbit{x}\text{}\right)$  for $\text{}\mathbit{x}\text{}=\text{}0\text{}$  , where $i=1,2$  .
From ( 22 ), we have ${\beta }_{1}\left(\text{}\mathbit{x}\text{}\right)=-12-\tau \left({x}_{1}\left(t\right)\right).$  Therefore, ${\beta }_{1}\left(\text{}0\text{}\right)=-12-3=-15.$  Similarly, from ( 23 ), we have ${\beta }_{2}\left(\text{}\mathbit{x}\text{}\right)=-10+\frac{1}{5}\tau \left({x}_{2}\left(t\right)\right).$  Therefore, ${\beta }_{2}\left(\text{}0\text{}\right)=-10+\frac{3}{5}=-\frac{47}{5}.$  Since ${\beta }_{1}\left(\text{}\mathbit{x}\text{}\right)<0$  and ${\beta }_{2}\left(\text{}\mathbit{x}\text{}\right)<0$  for all $\text{}\mathbit{x}\text{}\in \text{}\mathbit{R}{\text{}}^{2}$  , therefore, by condition (c) of Theorem  8 , the zero solution of system ( 21 ) is globally asymptotically stable.

4 Conclusion

We have established the criteria for stability, asymptotic stability and global asymptotic stability for a non linear autonomous system via the method of Lyapunov. We have also considered the usefulness of our main results by application of it to artificial neural networks.
Further research in this direction is being carried out, considering a non autonomous system, wherein the external input source is not assumed to be zero. Determining the convergence criteria for a non autonomous system and to measure its rate of convergence will be of grandness in applications to artificial neural networks.
References

1. S. Sastry, Nonlinear Systems: Analysis, Stability and Control, New York: Springer-Verlag, 1999.
2. P. Glendenning, Stability, instability and chaos: an introduction to the theory of nonlinear differential equations, Cambridge University Press, INC., New York.
3. N. N. Krasovskii, “On the stability in the large of a system of nonlinear differential equations”, Prikl. Mat. Meh., vol 18, pp. 735–737, 1954.
4. J. Vanualailai, T. Soma and S. Nakagiri, “Convergence of Solutions and Practical Stability of Hopfield-type Neural Networks with Time-Varying External Inputs”, Nonlinear Studies, vol 9, pp. 109–122, 2002.
5. M. A. Arbib (editor), The Handbook of Brain Theory and Neural Networks, London: MIT Press, 1995.
6. V. Lakshmikantham, V. M. Matrosov and S. Sivasundaram, Vector Lyapunov Functions and the Stability Analysis of Nonlinear Systems, The Netherlands: Kluwer Academic Publishers, 1991.
7. J. J. Hopfield and D. W. Tank, “Computing with neural circuits: A Model,” Science, vol. 233, pp. 625–632, 1986.