+ All Categories
Home > Documents > Exponential stability of reaction-diffusion Cohen-Grossberg ......By constructing suitable Lyapunov...

Exponential stability of reaction-diffusion Cohen-Grossberg ......By constructing suitable Lyapunov...

Date post: 08-Feb-2021
Category:
Upload: others
View: 1 times
Download: 0 times
Share this document with a friend
13
Exponential stability of reaction-diffusion Cohen-Grossberg-type BAM neural networks with time delays Fengyan Zhou Department of Mathematics Shaoxing University Shaoxing, Zhejiang, 312000 P. R. China [email protected] Abstract: The global exponential stability is investigated for a class of reaction-diffusion Cohen-Grossberg-type BAM neural networks with time delays. By constructing suitable Lyapunov functional and using homeomorphism mapping, several sufficient conditions guaranteeing the existence, uniqueness and global exponential stability of reaction-diffusion Cohen-Grossberg-type BAM neural networks with time delays are given. Moreover, two illus- trative examples are presented to illustrate the feasibility and effectiveness of our results. Key–Words: Reaction-diffusion Cohen-Grossberg-type BAM neural networks; Time delays; Lyapunov functional; Equilibrium point; Exponential stability 1 Introduction Bi-directional associative memory (BAM) neural net- works, first introduced by Kosko[1], is a special class of recurrent neural networks that can store bipolar vector pairs. In recent decades, BAM neural networks has been successfully applied to pattern recognition and artificial intelligence due to its generalization of single-layer auto-associative Hebbian correlator to a two-layer pattern-matched hetero-associative circuits. In the designs and applications of networks, the sta- bility of the designed neural network is one of the most important issues . There have been Many re- sults concerning mainly on the existence and stabil- ity of the equilibrium point of BAM neural networks (see[2-10]). As we know, Cohen-Grossberg neural net- work(CGNN), which includes a lot of famous neu- ral networks such as Lotka-Volterra system, Hop field neural networks and cellular neural networks, and so on, has attracted considerable attention for its potential applications in classification, parallel com- putation, associative memory and great ability to solve difficult optimization problems since initially proposed and studied by Cohen and Grossberg in 1983 [11]. Based on BAM neural networks and Cohen-Grossberg neural networks, Cohen-Grossberg- type BAM neural networks (i.e., the BAM model that possesses Cohen-Grossberg dynamics) was nat- urally proposed and received overwhelming attention. Many researchers devoted to the dynamical analysis of Cohen-Grossberg-type BAM neural networks in re- cent years, especially the asymptotic and exponen- tial stability (see[12-21]), which has the extremely close relation with the application of networks. For example, In [12], Cao and Song further investigated the global exponential stability for Cohen-Grossberg- type BAM neural networks with time-varying de- lays by using Lyapunov function, M-matrix theory and inequality technique. In [13], by constructing a suitable Lyapunov functional, the asymptotic stabil- ity was investigated for Cohen-Grossberg-type BAM neural network. In [14], the authors have proposed a new Cohen-Grossberg-type BAM neural network model with time delays, and some new sufficient con- ditions ensuring the existence and global asymptoti- cal stability of equilibrium point for this model have been derived. The authors in [15-18] have inves- tigated the periodicity of delayed Cohen-Grossberg- type BAM neural networks with variable coefficients. In [19-21], authors investigated the stability prob- lem of Cohen-Grossberg-type BAM neural networks under the stochastic effects, impulsive effects and Markovian jumping effects , respectively. However, In the factual operations, the diffu- sion phenomena could not be ignored in neural net- works and electric circuits once electrons transport in a nonuniform electromagnetic field. So, it is essen- tial to consider the state variables are varying with the time and space variables. On the other hand, due to the finite transmission speed of signals among neurons, time delays inevitably occur in artificial neural net- works. Therefore, it is necessary to do some research WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou E-ISSN: 2224-2880 1063 Issue 12, Volume 11, December 2012
Transcript
  • Exponential stability of reaction-diffusion Cohen-Grossberg-typeBAM neural networks with time delays

    Fengyan ZhouDepartment of Mathematics

    Shaoxing UniversityShaoxing, Zhejiang, 312000

    P. R. [email protected]

    Abstract: The global exponential stability is investigated for a class of reaction-diffusion Cohen-Grossberg-typeBAM neural networks with time delays. By constructing suitable Lyapunov functional and using homeomorphismmapping, several sufficient conditions guaranteeing the existence, uniqueness and global exponential stability ofreaction-diffusion Cohen-Grossberg-type BAM neural networks with time delays are given. Moreover, two illus-trative examples are presented to illustrate the feasibility and effectiveness of our results.

    Key–Words: Reaction-diffusion Cohen-Grossberg-type BAM neural networks; Time delays; Lyapunov functional;Equilibrium point; Exponential stability

    1 IntroductionBi-directional associative memory (BAM) neural net-works, first introduced by Kosko[1], is a special classof recurrent neural networks that can store bipolarvector pairs. In recent decades, BAM neural networkshas been successfully applied to pattern recognitionand artificial intelligence due to its generalization ofsingle-layer auto-associative Hebbian correlator to atwo-layer pattern-matched hetero-associative circuits.In the designs and applications of networks, the sta-bility of the designed neural network is one of themost important issues . There have been Many re-sults concerning mainly on the existence and stabil-ity of the equilibrium point of BAM neural networks(see[2-10]).

    As we know, Cohen-Grossberg neural net-work(CGNN), which includes a lot of famous neu-ral networks such as Lotka-Volterra system, Hop fieldneural networks and cellular neural networks, andso on, has attracted considerable attention for itspotential applications in classification, parallel com-putation, associative memory and great ability tosolve difficult optimization problems since initiallyproposed and studied by Cohen and Grossberg in1983 [11]. Based on BAM neural networks andCohen-Grossberg neural networks, Cohen-Grossberg-type BAM neural networks (i.e., the BAM modelthat possesses Cohen-Grossberg dynamics) was nat-urally proposed and received overwhelming attention.Many researchers devoted to the dynamical analysisof Cohen-Grossberg-type BAM neural networks in re-

    cent years, especially the asymptotic and exponen-tial stability (see[12-21]), which has the extremelyclose relation with the application of networks. Forexample, In [12], Cao and Song further investigatedthe global exponential stability for Cohen-Grossberg-type BAM neural networks with time-varying de-lays by using Lyapunov function, M-matrix theoryand inequality technique. In [13], by constructing asuitable Lyapunov functional, the asymptotic stabil-ity was investigated for Cohen-Grossberg-type BAMneural network. In [14], the authors have proposeda new Cohen-Grossberg-type BAM neural networkmodel with time delays, and some new sufficient con-ditions ensuring the existence and global asymptoti-cal stability of equilibrium point for this model havebeen derived. The authors in [15-18] have inves-tigated the periodicity of delayed Cohen-Grossberg-type BAM neural networks with variable coefficients.In [19-21], authors investigated the stability prob-lem of Cohen-Grossberg-type BAM neural networksunder the stochastic effects, impulsive effects andMarkovian jumping effects , respectively.

    However, In the factual operations, the diffu-sion phenomena could not be ignored in neural net-works and electric circuits once electrons transport ina nonuniform electromagnetic field. So, it is essen-tial to consider the state variables are varying with thetime and space variables. On the other hand, due to thefinite transmission speed of signals among neurons,time delays inevitably occur in artificial neural net-works. Therefore, it is necessary to do some research

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1063 Issue 12, Volume 11, December 2012

  • on Cohen-Grossberg-type BAM neural networks withtime delays and reaction-diffusion terms. In [22-27], authors have considered the stability of Cohen-Grossberg neural networks with reaction-diffusionterms neural networks , and with time-varying de-lays or continuous distribution delays. The study onthe stability of BAM neural networks with delays andreaction-diffusion terms see ([28-32]). However, Tothe best of our knowledge, there have been very fewresults on analysis for Cohen-Grossberg-type BAMneural networks with time delays and reaction diffu-sion terms.

    Motivated by the above discussions, a class ofreaction-diffusion Cohen-Grossberg-type BAM neu-ral networks with time delays is considered in this pa-per. We will derive some sufficient conditions of exis-tence, uniqueness and exponential stability of equilib-rium points for reaction-diffusion Cohen-Grossberg-type BAM neutral networks with time delays byconstructing suitable Lyapunov functional and usinghomeomorphism mapping. The rest of this paper isorganized as follows: In Section 2 the model formu-lation and some preliminaries are given. The mainresults are stated in Section 3. Finally, two illustrativeexamples are given to show the effectiveness of theproposed theory.

    Consider the following reaction-diffusion Cohen-Grossberg-type BAM neural networks

    ∂ui(t,x)∂t =

    l∑k=1

    ∂∂xk

    (Dik∂ui(t,x)∂xk

    )

    −ai(ui(t, x))[bi(ui(t, x))

    −m∑j=1

    aijfj(vj(t, x))

    −m∑j=1

    cijfj(vj(t− τij , x))− Ii],

    ∂vj(t,x)∂t =

    l∑k=1

    ∂∂xk

    (Ejk∂vj(t,x)∂xk

    )

    −dj(vj(t, x))[ej(vj(t, x))

    −n∑i=1

    bjigi(ui(t, x))

    −n∑i=1

    hjigi(ui(t− σji, x))− Jj ],

    (1)

    for i = 1, 2, · · · , n, j = 1, 2, · · · ,m, wherex = (x1, x2, · · · , xl)T ∈ Ωi ⊂ Rl and Ωiis a bounded compact set with smooth boundary∂Ωi and mes Ωi > 0 in space Rl; u(t, x) =(u1(t, x), u2(t, x), · · · , un(t, x))T ∈ Rn, v(t, x) =(v1(t, x), v2(t, x), · · · , vm(t, x))T ∈ Rm, ui(t, x)and vj(t, x) are the state of the ith neurons from theneural field FU and the jth neurons from the neu-ral field FV at time t and in space x , respectively;Dik > 0 and Ejk > 0 correspond to the transmis-sion reaction-diffusion operator along the ith neurons

    and the jth neurons, respectively; fj and gi denotethe activation function of the jth neurons and the ithneurons at time t and in space x, respectively ; aijand cij weights the strength of the ith neuron on thejth neuron at the time t and t − τij , respectively; bjiand hji weights the strength of the jth neuron on theith neuron at the time t and t − σji, respectively;τij ≥ 0 and σji ≥ 0 are nonnegative constants, theycorrespond to finite speed of axonal signal transmis-sion; Ii, Jj denote the external inputs on the ith neu-ron from FU and the jth neuron from FV , respec-tively; ai(ui(t, x)) and dj(vj(t, x)) represent amplifi-cation functions; bi(ui(t, x)) and ej(vj(t, x)) are ap-propriately behaved functions such that the solutionsof model(1) remain bounded.

    The boundary conditions and initial conditions ofsystem (1) are given by

    ∂ui(t,x)∂n = (

    ∂ui(t,x)∂x1

    , ∂ui(t,x)∂x2 , · · · ,∂ui(t,x)∂xl

    )T = 0,

    x ∈ ∂Ωi, i = 1, 2, · · · , n,∂vj(t,x)∂n = (

    ∂vj(t,x)∂x1

    ,∂vj(t,x)∂x2

    , · · · , ∂vj(t,x)∂xl )T = 0,

    x ∈ ∂Ωi, j = 1, 2, · · · ,m.(2)

    and {ui(s, x) = ϕui(s, x), s ∈ [−σ, 0],vj(s, x) = ϕvj(s, x), s ∈ [−τ, 0],

    (3)

    for x ∈ Ωi, i = 1, 2, · · · , n, j = 1, 2, · · · ,m, whereσ = max

    1≤i≤n,1≤j≤m{σji}, τ = max

    1≤i≤n,1≤j≤m{τij},

    ϕui(s, x) and ϕvj(s, x) are bounded and continuouson [−δ, 0]× Ωi, δ = max{σ, τ}.

    2 PreliminariesIn order to establish the stability conditions for system(1), we first give some usual assumptions.

    (H1): For each i = 1, 2, . . . , n; j = 1, 2, . . . ,m,the amplification functions ai(z), dj(z) are positiveand continuously bounded, that is, there exist con-stants 0 < ai < āi, and 0 < dj < d̄j , suchthat ai ≤ ai(z) ≤ āi, dj ≤ dj(z) ≤ d̄j for allz ∈ R = (−∞,+∞).

    (H2): bi(z) and ej(z) are locally Lipschitz con-tinuous, and there exist βi > 0 and γj > 0, i =1, 2, . . . , n; j = 1, 2, . . . ,m, such that z[bi(z + y) −bi(y)] ≥ βiz2, z[ej(z+y)−ej(y)] ≥ γjz2, z, y ∈R.

    (H3): The activation functions fj and gi(i =1, 2, . . . , n; j = 1, 2, . . . ,m) satisfy Lipschitz condi-tion, that is, there exist constant Fj > 0 and Gi > 0,such that

    |fj(ξ1)− fj(ξ2)| ≤ Fj |ξ1 − ξ2|,|gi(ξ1)− gi(ξ2)| ≤ Gi|ξ1 − ξ2|,

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1064 Issue 12, Volume 11, December 2012

  • for any ξ1, ξ2 ∈ R.Let a∗i = ai/āi,d

    ∗j = dj/d̄j , and

    u(t, x) = (u1(t, x), u2(t, x), · · · , un(t, x))T ,v(t, x) = (v1(t, x), v2(t, x), · · · , vm(t, x))T ,(u(t, x), v(t, x))T

    = (u1(t, x), · · · , un(t, x), v1(t, x), · · · , vm(t, x))Tu∗ = (u∗1, u

    ∗2, · · · , u∗n)T , v∗ = (v∗1, v∗2, · · · , v∗m)T ,

    (u∗, v∗)T = (u∗1, u∗2, · · · , u∗n, v∗1, v∗2, · · · , v∗m)T .

    Definition 1 The point (u∗, v∗)T is called a equilib-rium point of system (1), if it satisfies the followingequations

    −bi(u∗i ) +m∑j=1

    aijfj(v∗j ) +

    m∑j=1

    cijfj(v∗j ) + Ii = 0,

    −ej(v∗j ) +n∑i=1

    bjigi(u∗i ) +

    n∑i=1

    hjigi(u∗i ) + Jj = 0,

    (4)for i = 1, 2, · · · , n, j = 1, 2, · · · ,m.

    Definition 2 Let (u∗, v∗)T be the equilibrium point ofsystem (1), we define the norm

    ∥ui(t, x)− u∗i ∥22 =∫Ω

    (ui(t, x)− u∗i )2dx,

    ∥vj(t, x)− v∗j ∥22 =∫Ω

    (vj(t, x)− v∗j )2dx,

    ∥ϕu − u∗∥2 = sup−σ≤t≤0

    n∑i=1

    ∥ϕui(t, x)− u∗i ∥2,

    ∥ϕv − v∗∥2 = sup−τ≤t≤0

    m∑j=1

    ∥ϕvj(t, x)− v∗j ∥2,

    ∥u∥2 =n∑i=1

    |ui(t, x)|2, ∥v∥2 =m∑j=1

    |vi(t, x)|2,

    where ϕu = (ϕu1, ϕu2, · · · , ϕun)T and ϕv =(ϕv1, ϕv2, · · · , ϕvm)T are initial values.

    Definition 3 The equilibrium point (u∗, v∗)T ofsystem (1) is said to be globally exponentially stable,if there exist constants α > 0 and M ≥ 1 such that

    n∑i=1

    ∥ui(t, x)− u∗i ∥2 +m∑j=1

    ∥vj(t, x)− v∗j ∥2

    ≤Me−αt[∥ϕu − u∗∥2 + ∥ϕv − v∗∥2],for all t ≥ 0, where(u(t, x), v(t, x))T = (u1(t, x), u2(t, x), · · ·un(t, x),v1(t, x), v2(t, x), vm(t, x))

    T is any solution of system(1) with boundary conditions (2) and initial condi-tions(3).

    Lemma 4 [33] If H(u) ∈ C0, and it satisfies the fol-lowing conditions

    1) H(u) is injective on Rn,2) ∥H(u)∥ → +∞, as ∥u∥ → +∞,

    then H(u) is a homeomorphism of Rn.

    Lemma 5 Assume that

    −a∗iβi +m∑j=1

    |bji|Gi +m∑j=1

    |hji|Gi < 0,

    −d∗jγj +n∑i=1

    |aij |Fj +n∑i=1

    |cij |Fj < 0,

    for i = 1, 2, · · · , n, j = 1, 2, · · · ,m, then there existsα > 0, such that

    α

    āi− a∗i βi +

    m∑j=1

    |bji|Gi + eασm∑j=1

    |hji|Gi ≤ 0,

    α

    d̄j− d∗jγj +

    n∑i=1

    |aij |Fj + eατn∑i=1

    |cij |Fj ≤ 0,

    for i = 1, 2, . . . .n, j = 1, 2, . . . .m.

    Proof. Letφi(α) =

    αāi

    − a∗iβi +m∑j=1

    |bji|Gi + eασm∑j=1

    |hji|Gi,

    i = 1, 2, . . . , n,

    ψj(α) =αd̄j

    − d∗jγj +n∑i=1

    |aij |Fj + eατn∑i=1

    |cij |Fj ,

    j = 1, 2, . . . ,m,then they hold thatdφi(α)dα > 0, limα→+∞

    φi(α) = +∞, φi(0) < 0,i = 1, 2, . . . , n,dψj(α)dα > 0, limα→+∞

    ψj(α) = +∞, ψj(0) < 0,j = 1, 2, . . . ,m.Therefore, there exist constants αi and α∗j ∈ (0,+∞),such thatφi(αi) = 0, i = 1, 2, . . . , n, ψj(α

    ∗j ) = 0,

    j = 1, 2, . . . ,m.We chooseα = min{α1, α2, . . . , αn, α∗1, α∗2, . . . , α∗m}, thenα > 0 and it satisfies that φi(α) ≤ 0, i =1, 2, . . . , n, ψj(α) ≤ 0, j = 1, 2, . . . ,m,which means there exists constant α > 0, such thatαāi

    − a∗iβi +m∑j=1

    |bji|Gi + eασm∑j=1

    |hji|Gi ≤ 0,

    i = 1, 2, . . . , n,

    αd̄j

    − d∗jγj +n∑i=1

    |aij |Fj + eατn∑i=1

    |cij |Fj ≤ 0,

    j = 1, 2, . . . ,m.This completes the proof. ⊓⊔

    Lemma 6 Assume that

    −aiβi +m∑j=1

    d̄j |bji|Gi +m∑j=1

    d̄j |hji|Gi < 0,

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1065 Issue 12, Volume 11, December 2012

  • −djγj +n∑i=1

    āi|aij |Fj +n∑i=1

    āi|cij |Fj < 0,

    for i = 1, 2, . . . .n, j = 1, 2, . . . .m, then there existsα > 0, such that

    α− aiβi +m∑j=1

    d̄j |bji|Gi + eασm∑j=1

    d̄j |hji|Gi ≤ 0,

    α− djγj +n∑i=1

    āi|aij |Fj + eατn∑i=1

    āi|cij |Fj ≤ 0,

    for i = 1, 2, . . . .n, j = 1, 2, . . . .m.

    The proof is similar to that in proving Lemma 5,we omit it. ⊓⊔

    3 Main resultsIn this section, we will derive some sufficient condi-tions to guarantee the existence, uniqueness and theexponential stability of the equilibrium point for sys-tem (1).

    Theorem 7 Under hypotheses (H1)−(H3), then thesystem (1) has a unique equilibrium point if

    −a∗iβi+1

    2

    m∑j=1

    [|aij |+∥cij |]Fj+m∑j=1

    [|bji|+|hji|]Gi < 0,

    (5)

    −d∗jγj+n∑i=1

    [|aij |+|cij |]Fj+1

    2

    n∑i=1

    [|bij |+|hji|]Gi < 0,

    (6)for i = 1, 2, . . . .n, j = 1, 2, . . . .m.

    Proof. LetH(u, v) = (H1(u, v),H2(u, v), · · · ,Hn(u, v),Hn+1(u, v), · · · , Hn+m(u, v))T where Hi(u, v) =−bi(ui) +

    m∑j=1

    aijfj(vj) +m∑j=1

    cijfj(vj) + Ii, i =

    1, 2 · · · , n, and Hn+j(u, v) = −ej(vj) +n∑i=1

    bjigi(ui) +n∑i=1

    hjigi(ui) + Jj , j = 1, 2 · · · ,m.

    It is known that the solutions of H(u, v) = 0are the equilibriums of system (1). If the mappingH(u, v) is a homeomorphism on Rn+m, then thereexists a unique point (u∗, v∗), such that H(u∗, v∗) =0, i.e., system (1) has a unique equilibrium point(u∗, v∗). In the following, we shall prove thatH(u, v)is a homeomorphism.

    Firstly, we prove that H(u, v) is an injectivemapping on Rn+m. In fact, if there exist(u, v) = (u1, u2, · · · , un, v1, v2, · · · , vm)T ,

    (ū, v̄) = (ū1, ū2, · · · , ūn, v̄1, v̄2, · · · , v̄m)T ∈ Rn+m,such that H(u, v) = H(ū, v̄) for (u, v) ̸= (ū, v̄) ,then−[bi(ui)− bi(ūi)] +

    m∑j=1

    aij(fj(vj)− fj(v̄j))

    +m∑j=1

    cij [fj(vj)− fj(v̄j)] = 0, i = 1, 2 · · · , n. (7)

    −[dj(vj)− dj(v̄j)] +n∑i=1

    bji(gi(ui)− gi(ūi))

    +

    n∑i=1

    hji[gi(ui)− gi(ūi)] = 0, j = 1, 2 · · · ,m. (8)

    By multiplying both sides of (7) by (ui − ūi), wehave

    −[bi(ui)− bi(ūi)](ui − ūi)+(ui − ūi)

    m∑j=1

    aij [fj(vj)− fj(v̄j)]

    +(ui − ūi)m∑j=1

    cij [fj(vj)− fj(v̄j)] = 0, (9)

    for i = 1, 2 · · · , n.Which means−a∗iβi(ui− ūi)2+ |ui− ūi|

    m∑j=1

    |aij |.|fj(vj)−fj(v̄j)|

    +|ui − ūi|m∑j=1

    |cij |.|fj(vj)− fj(v̄j)| ≥ 0, (10)

    for i = 1, 2 · · · , n.Since |fj(vj)− fj(v̄j)| ≤ Fj |vj − v̄j |, therefore from(10), we have

    −a∗iβi(ui − ūi)2 +m∑j=1

    |cij |Fj |ui − ūi|.|vj − v̄j |

    +

    m∑j=1

    |cij |Fj |ui − ūi|.|vj − v̄j | ≥ 0, (11)

    for i = 1, 2 · · · , n.Applying the inequality: a2 + b2 ≥ 2|a|.|b| to (11), itfollows that

    −a∗iβi(ui − ūi)2 + 12m∑j=1

    [|aij |

    +|cij |]Fj [(ui − ūi)2 + (vj − v̄j)2] ≥ 0, (12)for i = 1, 2 · · · , n.Similarly, from (8), we derive

    −d∗jγj(vj − v̄j)2 + 12n∑i=1

    [|bji|

    +|hji|]Gi[(ui − ūi)2 + (vj − v̄j)2] ≥ 0, (13)

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1066 Issue 12, Volume 11, December 2012

  • for j = 1, 2 · · · ,m.Plus the left sides of (12)-(13), and merge the similaritems, we can obtain

    n∑i=1

    {−a∗iβi + 12m∑j=1

    [|aij |+ |cij |]Fj

    + 12

    m∑j=1

    [|bji|+ |hji|]Gi}(ui − ūi)2

    +m∑j=1

    {−d∗jγj + 12n∑i=1

    [|aij |+ |cij |]Fj

    +1

    2

    n∑i=1

    [|bji|+ |hji]Gi}(vj − v̄j)2 ≥ 0. (14)

    According to (5) and (6), from (14), it is easy to seethatui = ūi, vj = v̄j , for i = 1, 2 · · · , n, j = 1, 2 · · · ,m,which contradict (u, v) ̸= (ū, v̄). So H(u, v) is aninjective mapping on Rn+m.Secondly, we prove that ∥H(u, v)∥ → +∞ as∥(u, v)∥ → +∞.Let H̃(u, v) = H(u, v)−H(0, 0)=(H̃1(u, v) , H̃2(u, v), · · · , H̃n(u, v),

    H̃n+1(u, v), H̃n+2(u, v), · · · , H̃n+m(u, v))T

    where

    H̃i(u, v) = −[bi(ui)− bi(0)]

    +m∑j=1

    aij [fj(vj)− fj(0)] +m∑j=1

    cij [fj(vj)− fj(0)],

    (15)H̃n+j(u, v) = −[ej(vj)− ej(0)]

    +n∑i=1

    bji[gi(ui)− gi(0)] +n∑i=1

    hji[gi(ui)− gi(0)],

    (16)for i = 1, 2 · · · , n, j = 1, 2 · · · ,m.By (15) and (16), we can find

    (u, v)T H̃(u, v) =n∑i=1

    uiH̃i(u, v) +m∑j=1

    vjH̃n+j(u, v)

    =n∑i=1

    {−[bi(ui)−bi(0)]ui+m∑j=1

    aijui(fj(vj)−fj(0))

    +m∑j=1

    cijui[fj(vj)− fj(0)]}

    +m∑j=1

    {−[ej(vj)−ej(0)]vj+n∑i=1

    bjivj(gi(ui)−gi(0))

    +n∑i=1

    hjivj [gi(ui)− gi(0)]}

    ≤n∑i=1

    {−a∗i βiu2i +m∑j=1

    |aij |Fj |ui|.|vj |

    +m∑j=1

    |cij |Fj |ui|.|vj |}+m∑j=1

    {−d∗jγjv2j

    +n∑i=1

    |bji|Gi|ui|.|vj |+n∑i=1

    |hji|Gi|ui|.|vj |}

    ≤n∑i=1

    {−a∗i βiu2i + 12m∑j=1

    [|aij |+ |cij ]|Fj(u2i + v2j )}

    +m∑j=1

    {−d∗jγjv2j + 12n∑i=1

    [|bji|+ |hji|]Gi(u2i + v2j )}

    =n∑i=1

    {−a∗i βi + 12m∑j=1

    [|aij |+ |cij ]Fj

    + 12

    m∑j=1

    [|bji|+ |hji|]Gi}u2i +m∑j=1

    {−d∗jγj

    + 12

    n∑i=1

    [|aij |+ |cij |]Fj + 12n∑i=1

    [|bji|+ |hji]Gi}v2j

    ≤ − min1≤i≤n

    {a∗iβi − 12m∑j=1

    [|aij |+ |cij ]Fj − 12m∑j=1

    [|bji|

    + |hji|]Gi}∥u∥2− min1≤j≤m

    {d∗jγj− 12n∑i=1

    [|aij |+ |cij ]Fj

    −12

    n∑i=1

    [|bji|+ |hji|]Gi}∥v∥2. (17)

    Using the Schwartz inequality

    −XTY ≤ |XTY | ≤ ∥X∥ · ∥Y ∥, (18)

    where ∥X∥, ∥Y ∥ are the norms of vectors X and Y ,respectively. From (17), we get

    ∥(u, v)∥ · ∥H̃(u, v)∥ ≥ min1≤i≤n

    {a∗iβi − 12m∑j=1

    [|aij | +

    |cij ]Fj− 12m∑j=1

    [|bji|+ |hji|]Gi}∥u∥2+ min1≤j≤m

    {d∗jγj−

    12

    n∑i=1

    [|aij |+ |cij ]Fj − 12n∑i=1

    [|bji|+ |hji|]Gi}∥v∥2

    ≥M(∥u∥2 + ∥v∥2) =M∥(u, v)∥2,whereM = min{ min

    1≤i≤n{a∗iβi − 12

    m∑j=1

    [|aij | + |cij |]Fj −

    12

    m∑j=1

    [|bji| + |hji|]Gi}, min1≤j≤m

    {d∗jγj − 12n∑i=1

    [|aij | +

    |cij |]Fj − 12n∑i=1

    [|bji|+ |hji|]Gi}}.

    When ∥(u, v)∥ ̸= 0, we have ∥H̃(u, v)∥ ≥M∥(u, v)∥. Therefore ∥H̃(u, v)∥ → +∞ as∥(u, v)∥ → +∞, which implies that ∥H(u, v)∥ →+∞ as ∥(u, v)∥ → +∞. From Lemma 4, we knowthat H(u, v) is a homeomorphism on Rn+m. Thus ,system (1) has a unique equilibrium point. This com-pletes the proof. ⊓⊔

    Theorem 8 Under hypotheses (H1)−(H3), then theunique equilibrium point of system (1) is globally ex-ponentially stable if (5) and (6) in Theorem 7 hold.

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1067 Issue 12, Volume 11, December 2012

  • Proof. By using Theorem 7, system (1) has aunique equilibrium point. In the following wewill prove the unique equilibrium point (u∗, v∗) =(u∗1, u

    ∗2, · · · , u∗n, v∗1, v∗2, · · · , v∗m)T is globally expo-

    nentially stable.Let

    yi(t, x) = ui(t, x)− u∗i ,zj(t, x) = vj(t, x)− v∗j ,āi(yi(t, x)) = ai(yi(t, x) + u

    ∗i ),

    d̄j(zj(t, x)) = dj(zj(t, x) + v∗j ),

    b̄i(yi(t, x)) = bi(yi(t, x) + u∗i )− bi(u∗i ),

    ēj(zj(t, x)) = ej(zj(t, x) + v∗j )− ej(v∗j ),

    f̄j(zj(t, x)) = fj(zj(t, x) + v∗j )− fj(v∗j ),

    ḡi(yi(t, x)) = gi(yi(t, x) + u∗i )− gi(u∗i ),

    for i = 1, 2, . . . , n, j = 1, 2, . . . ,m.From (1),(4), we derive∂yi(t,x)∂t =

    l∑k=1

    ∂∂xk

    (Dik∂yi(t,x)∂xk

    )

    − āi(yi(t, x))[b̄i(yi(t, x))−m∑j=1

    aij f̄j(zj(t, x))

    −m∑j=1

    cij f̄j(zj(t− τij , x))], x ∈ Ωi (19)

    ∂zj(t,x)∂t =

    l∑k=1

    ∂∂xk

    (Ejk∂zj(t,x)∂xk

    )

    − d̄j(zj(t, x))[ēj(zj(t, x))−n∑i=1

    bij ḡi(yi(t, x))

    −n∑i=1

    hjiḡi(yi(t− σji, x))], x ∈ Ωi, (20)

    for i = 1, 2, · · · , n, j = 1, 2, · · · ,m.Multiply both sides of (19) by yi(t, x) and integratewith respect to x, we get12ddt

    ∫Ωi

    yi(t, x)2dx =

    l∑k=1

    ∫Ωi

    yi∂∂xk

    (Dik∂yi(t,x)∂xk

    )dx

    −∫Ωi

    āi(yi(t, x))[yib̄i(yi(t, x))−m∑j=1

    aijyif̄j(zj(t, x)

    −m∑j=1

    cijyif̄j(zj(t− τij , x))]dx, (21)

    for i = 1, 2, · · · , n, j = 1, 2, · · · ,m.It follows from the boundary condition thatl∑

    k=1

    ∫Ωi

    yi∂∂xk

    (Dik∂yi(t,x)∂xk

    )dx

    =∫Ωi

    yi∇(Dik ∂yi(t,x)∂xk )lk=1dx

    =∫Ωi

    ∇.yi(Dik ∂yi(t,x)∂xk )lk=1dx

    −∫Ωi

    (Dik∂yi(t,x)∂xk

    )lk=1.∇yidx

    =∫∂Ωi

    (yiDik∂yi(t,x)∂xk

    )lk=1ds

    −l∑

    k=1

    ∫Ωi

    Dik(∂yi(t,x)∂xk

    )2dx

    = −l∑

    k=1

    ∫Ωi

    Dik(∂yi(t,x)∂xk

    )2dx,

    where (Dik∂yi(t,x)∂xk

    )lk=1

    = (Di1∂yi(t,x)∂x1

    , Di2∂yi(t,x)∂x2

    , . . . , Dil∂yi(t,x)∂xl

    )T .By (5),(6) and Hölder inequality, from (21) we obtaind∥yi∥22dt ≤ −2

    l∑k=1

    ∫Ωi

    Dik(∂yi(t,x)∂xk

    )2dx− 2aiβi∥yi∥22

    + 2āim∑j=1

    |aij |∫Ωi

    |yi|.|f̄j(zj(t, x))|dx

    + 2āim∑j=1

    |cij |∫Ωi

    |yi|.|f̄j(zj(t− τij , x))|dx

    ≤ −2ai∥yi(t)∥22 + 2āim∑j=1

    |aij |Fj∥yi(t)∥2.∥zj(t)∥2

    + 2āim∑j=1

    |cij |Fj∥yi(t)∥2.∥zj(t− τij)∥2, that is

    d∥yi(t)∥2dt ≤ āi[−a

    ∗i βi∥yi(t)∥2

    +

    m∑j=1

    |aij |Fj∥zj(t)∥2 +m∑j=1

    |cij |Fj∥zj(t− τij)∥2],

    (22)for i = 1, 2, · · · , n.Multiply both sides of (20) by zj(t, x) , similarly, wealso getd∥zj(t)∥2

    dt ≤ d̄j [−d∗jγj∥zj(t)∥2

    +

    n∑i=1

    |bji|Gi∥yi(t)∥2 +n∑i=1

    |hji|Gi∥yi(t− σji)∥2],

    (23)for j = 1, 2, · · · ,m.We consider the following Lyapunov functional

    V (t) =n∑i=1

    1āieαt∥yi∥2 +

    m∑j=1

    1d̄jeαt∥zj∥2

    +n∑i=1

    m∑j=1

    |cij |Fjt∫

    t−τijeα(s+τij)∥zj(s)∥2ds

    +

    m∑j=1

    n∑i=1

    |hji|Gi

    t∫t−σji

    eα(s+σji)∥yi(s)∥2ds, (24)

    where α is given by Lemma 5.Calculate the rate of change of V (t) along

    (19)-(20), we derive

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1068 Issue 12, Volume 11, December 2012

  • D+V (t) ≤ eαtn∑i=1

    { αāi ∥yi(t)∥2 − a∗i βi∥yi(t)∥2

    +m∑j=1

    |aij |Fj∥zj(t)∥2 +m∑j=1

    |cij |Fjeατij∥zj(t)∥2}

    + eαtm∑j=1

    { αd̄j∥zj(t)|2 − d∗jγj∥zj(t)∥2

    +n∑i=1

    |bji|Gi∥yi(t)∥2 +n∑i=1

    |hji|.Gieασji∥yi(t)∥2}

    ≤ eαtn∑i=1

    { αāi − a∗iβi +

    m∑j=1

    |bji|Gi

    + eασm∑j=1

    |hji|Gi}∥yi∥2 + eαtm∑j=1

    { αd̄j

    −d∗jγj +n∑i=1

    |aij |Fj + eατn∑i=1

    |cij |Fj}∥zj |2. (25)

    By (5)-(6) and Lemma 5, we have

    αāi

    − a∗i βi +m∑j=1

    |bji|Gi + eασm∑j=1

    |hji|Gi ≤ 0,

    αd̄j

    − d∗jγj +n∑i=1

    |aij |Fj + eατn∑i=1

    |cij |Fj ≤ 0,

    for i = 1, 2, . . . .n, j = 1, 2, . . . .m.From (25), we can find D+V (t) ≤ 0, and so V (t) ≤V (0), for all t ≥ 0. From (24), we have

    V (t) ≥n∑i=1

    1

    āieαt∥yi∥2 +

    m∑j=1

    1

    d̄jeαt∥zj∥2, t ≥ 0.

    (26)

    V (0) =n∑i=1

    1āi∥yi(0)∥2 +

    m∑j=1

    1d̄j∥zj(0)∥2

    +n∑i=1

    m∑j=1

    |cij |Fj0∫

    −τijeα(s+τij)∥zj(s)∥2ds

    +m∑j=1

    n∑i=1

    |hji|Gi0∫

    −σjieα(s+σji)∥yi(s)∥2ds,

    ≤n∑i=1

    1āi∥ϕui(0, x)− u∗i ∥2

    +n∑i=1

    0∫−τeα(s+τ)

    m∑j=1

    |cij |Fj∥ϕvj (s, x)− v∗j ∥2ds

    +m∑j=1

    1d̄j∥ϕvj (0, x)− v∗j ∥2

    +m∑j=1

    0∫−σ

    eα(s+σ)n∑i=1

    |hji|Gi∥ϕui(s, x)− u∗i ∥2ds,

    ≤ sup−σ≤s≤0

    n∑i=1

    [ 1āi +m∑j=1

    ( max1≤i≤n

    |hji|Gi)

    ·0∫

    −σeα(s+σ)ds]∥ϕui(s, x)− u∗i ∥2

    + sup−τ≤s≤0

    m∑j=1

    [ 1d̄j

    +n∑i=1

    ( max1≤j≤m

    |cij |Fj)

    ·0∫

    −τeα(s+τ)ds]∥ϕvj (s, x)− v∗j ∥2

    ≤ sup−σ≤s≤0

    n∑i=1

    [ 1āi +m∑j=1

    ( max1≤i≤n

    |hji|Gi) eασ

    α ]

    · ∥ϕui(s, x)− u∗i ∥2+ sup

    −τ≤s≤0

    m∑j=1

    [ 1d̄j

    +n∑i=1

    ( max1≤j≤m

    |cij |Fj) eατ

    α ]

    · ∥ϕvj (s, x)− v∗j ∥2

    ≤ M̄ [ sup−σ≤s≤0

    n∑i=1

    ∥ϕui(s, x)− u∗i ∥2

    + sup−τ≤s≤0

    m∑j=1

    ∥ϕvj (s, x)− v∗j ∥2]

    = M̄ [∥ϕu − u∗∥2 + ∥ϕv − v∗∥2], t > 0, (27)

    where

    M̄ = max{max1≤i≤n

    ( 1āi )

    +m∑j=1

    ( max1≤i≤n

    |hji|Gi) eασ

    α , max1≤j≤m( 1d̄j)

    +n∑i=1

    ( max1≤j≤m

    |cij |Fj) eατ

    α }.

    Since V (0) ≥ V (t), we can obtainn∑i=1

    1āi∥yi∥2 +

    m∑j=1

    1d̄j∥zj∥2

    ≤ M̄e−αt[∥ϕu − u∗∥2 + ∥ϕv − v∗∥2], t > 0,

    i.e.,n∑i=1

    ∥ui − u∗i ∥2 +m∑j=1

    ∥vj − v∗j ∥2

    ≤Me−αt[∥ϕu − u∗∥2 + ∥ϕv − v∗∥2], t > 0,

    where

    M = pM̄ > 1, p = max{max1≤i≤n

    (āi), max1≤j≤m

    (d̄j)}

    By Definition 3, the equilibrium point (u∗, v∗) ofsystem (1) is globally exponentially stable. ⊓⊔

    Theorem 9 Under hypotheses (H1)−(H3), then theunique equilibrium point of system (1) is globally ex-ponentially stable if

    −aiβi + 12 āim∑j=1

    [|aij |+ |cij |]Fj

    +m∑j=1

    [|bji|+ |hji|]Gi(āi + d̄j) < 0,(28)

    −djγj +n∑i=1

    [|aij |+ |cij |]Fj(d̄j

    +āi) +12 d̄j

    n∑i=1

    [|bji|+ |hji|]Gi < 0,(29)

    for i = 1, 2, . . . .n, j = 1, 2, . . . .m.

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1069 Issue 12, Volume 11, December 2012

  • Proof. From (28)-(29), by simple calculations, wecan find that the conditions (5)-(6) of theorem 7are satisfied. By using Theorem 7, system (1) hasa unique equilibrium point. In the following wewill prove the unique equilibrium point (u∗, v∗) =(u∗1, u

    ∗2, · · · , u∗n, v∗1, v∗2, · · · , v∗m)T is globally expo-

    nentially stable.From (22)-(23), we can obtain

    ∥yi(t)∥2 ≤ āi{ 1āi e−aiβit∥yi(0)∥2 +

    m∑j=1

    Fj

    ·t∫0

    eaiβi(s−t)[|aij∥zj(s)∥2+|cij |∥zj(s−τij)∥2]ds},

    (30)for i = 1, 2, · · · , n, and

    ∥zj(t)∥2 ≤ d̄j{ 1d̄j e−djγjt∥zj(0)∥2 +

    n∑i=1

    Gi

    ·t∫0

    edjγj(s−t)[|bji|∥yi(s)∥2+|hji|∥yi(s−σji)∥2]ds},

    (31)for j = 1, 2, · · · ,m. Let

    Q(t) = eαtn∑i=1

    āi{ 1āi e−aiβit∥yi(0)∥2

    +m∑j=1

    Fjt∫0

    eaiβi(s−t)[|aij∥zj(s)∥2

    +|cij |∥zj(s− τij)∥2]ds}

    +eαtm∑j=1

    d̄j{ 1d̄j e−djγjt∥zj(0)∥2

    +n∑i=1

    Git∫0

    edjγj(s−t)[|bji|∥yi(s)∥2

    +|hji|∥yi(s− σji)∥2]ds},

    (32)

    where α is given by Lemma 6.From (30)-(31), we have

    eαt[

    n∑i=1

    ∥yi(t)∥2 +m∑j=1

    ∥zj(t)∥2] ≤ Q(t). (33)

    By calculation, we have

    D+Q(t) ≤ eαtn∑i=1

    [α−aiβi+m∑j=1

    d̄jGi|bji|]∥yi(t))∥2

    + eαtm∑j=1

    [α− djγj +n∑i=1

    āiFj |aij |]∥zj(t))∥2

    + eαtn∑i=1

    āim∑j=1

    Fj |cij |∥zj(t− τij))∥2

    +eαtm∑j=1

    d̄j

    n∑i=1

    Gi|hji|∥yi(t− σji))∥2. (34)

    We consider the following Lyapunov functionalV (t) = Q(t)

    +n∑i=1

    āim∑j=1

    |cij |Fjt∫

    t−τijeα(s+τij)∥zj(s)∥2ds

    +m∑j=1

    d̄j

    n∑i=1

    |hji|Gi

    t∫t−σji

    eα(s+σji)∥yi(s)∥2ds, (35)

    Calculate the rate of change of V (t) we deriveD+V (t) = D+Q(t)

    +eαtn∑i=1

    āim∑j=1

    |cij |Fj [eατij∥zj(t)∥2−∥zj(t−τij)∥2]

    +eαtm∑j=1

    d̄jn∑i=1

    |hji|Gi[eασji∥yi(t)∥2−∥yi(t−σji)∥2]

    ≤ eαtn∑i=1

    [α− aiβi +m∑j=1

    d̄jGi|bji|]∥yi(t)∥2

    + eαtm∑j=1

    [α− djγj +n∑i=1

    āiFj |aij |]∥zj(t)∥2

    + eαtn∑i=1

    āim∑j=1

    Fj |cij |∥zj(t− τij)∥2

    + eαtm∑j=1

    d̄jn∑i=1

    Gi|hji|∥yi(t− σji)∥2.

    + eαtn∑i=1

    āim∑j=1

    |cij |Fj [eατ∥zj(t)∥2 − ∥zj(t− τij)∥2]

    + eαtm∑j=1

    d̄jn∑i=1

    |hji|Gi[eασ∥yi(t)∥2−∥yi(t−σji)∥2]

    = eαtn∑i=1

    [α− aiβi +m∑j=1

    d̄j |bji|Gi

    + eασm∑j=1

    d̄j |hji|Gi}∥yi∥2

    + eαtm∑j=1

    [α− djγj

    +

    n∑i=1

    āi|aij |Fj + eατn∑i=1

    āi|cij |Fj}∥zj |2. (36)

    By (28)-(29) and Lemma 6, we have

    α− aiβi +m∑j=1

    d̄j |bji|Gi + eασm∑j=1

    d̄j |hji|Gi ≤ 0,

    α− djγj +n∑i=1

    āi|aij |Fj + eατn∑i=1

    āi|cij |Fj ≤ 0,

    for i = 1, 2, . . . .n, j = 1, 2, . . . .m.From (36), we can find D+V (t) ≤ 0, and so

    V (t) ≤ V (0), for all t ≥ 0. From (35) and (32),

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1070 Issue 12, Volume 11, December 2012

  • we have

    V (0) = Q(0)

    +n∑i=1

    āim∑j=1

    |cij |Fj0∫

    −τijeα(s+τij)∥zj(s)∥2ds

    +m∑j=1

    d̄jn∑i=1

    |hji|Gi0∫

    −σjieα(s+σji)∥yi(s)∥2ds

    ≤n∑i=1

    ∥yi(0)∥2 +m∑j=1

    ∥zj(0)∥2

    +n∑i=1

    āim∑j=1

    |cij |Fj0∫

    −τeα(s+τ)∥zj(s)∥2ds

    +m∑j=1

    d̄jn∑i=1

    |hji|Gi0∫

    −σeα(s+σ)∥yi(s)∥2ds

    ≤n∑i=1

    ∥ϕui(0, x)− u∗i ∥2 +m∑j=1

    ∥ϕvj (0, x)− v∗j ∥2

    +n∑i=1

    āi max1≤j≤m

    (Fj |cij |)0∫

    −τeα(s+τ)

    m∑j=1

    ∥zj(s)∥2ds

    +m∑j=1

    d̄j max1≤i≤n

    (Gi|hji|)0∫

    −σeα(s+σ)

    n∑i=1

    ∥yi(s)∥2ds

    ≤ sup−σ≤s≤0

    n∑i=1

    [1 + eασ

    α

    m∑j=1

    max1≤i≤n

    (Gi|hji|)]

    ·∥ϕui(s, x)− u∗i ∥2+ sup

    −τ≤s≤0

    m∑i=j

    [1 + eατ

    α

    n∑i=1

    max1≤j≤m

    (Fj |cij |)]

    ·∥ϕvj (s, x)− v∗j ∥2= [1 + e

    ασ

    α

    m∑j=1

    max1≤i≤n

    (Gi|hji|)]∥ϕu − u∗∥2

    +[1 + eατ

    α

    n∑i=1

    max1≤j≤m

    (Fj |cij |)]∥ϕv − v∗∥2

    = M̄ [∥ϕu − u∗∥2 + ∥ϕv − v∗∥2], t > 0,(37)

    where M̄ = max{1 + eασαm∑j=1

    max1≤i≤n

    (Gi|hji|), 1 +

    eατ

    α

    n∑i=1

    max1≤j≤m

    (Fj |cij |)} > 1.

    Since Q(t) ≤ V (t) ≤ V (0), from (33) and (37),we have

    n∑i=1

    ∥yi∥2 +m∑j=1

    ∥zj∥2

    ≤ M̄e−αt[∥ϕu − u∗∥2 + ∥ϕv − v∗∥2], t > 0,

    i.e.,n∑i=1

    ∥ui − u∗i ∥2 +m∑j=1

    ∥vj − v∗j ∥2

    ≤ M̄e−αt[∥ϕu − u∗∥2 + ∥ϕv − v∗∥2], t > 0.

    By Definition 3, the equilibrium point (u∗, v∗) of sys-tem (1) is globally exponentially stable. ⊓⊔Remark 1. When ai(ui(t, x)) = dj(vj(t, x)) ≡1, aij = bji ≡ 0, bi(ui(t, x)) = bi · ui(t, x),

    ej(vj(t, x)) = ej · vj(t, x) in (1), where bi and ej arepositive constants, i = 1, 2, · · ·n, j = 1, 2, · · · ,m,then system (1) is the system (1) in [34]. Fromthis point, our model is more general. Moreover, bycomparing our paper with reference[34], we find thatthe construction of Lyapunov functional and analysistechniques are different. Therefore, the given algebracriteria guaranteeing the globally exponential stabilityof the equilibrium point are different in this paper andpaper [34], and they will bring different advantagesfor those who design and verify these neural networks.

    Remark 2. Theorem 7-8 and Theorem 9 are devel-oped under different assumptions and use of variouslemmas. They provide different sufficient conditionsensuring the equilibrium point of system (1) to beunique and exponentially stable. Therefore, we canselect suitable theorems for reaction-diffusion Cohen-Grossberg-type BAM neural networks with time de-lays to determine its exponential stability.

    4 ExamplesThis Section, we give two examples for showing ourresults.

    Example 1. Consider the following reaction-diffusionCohen-Grossberg-type BAM neural networks (n =m = l = 2)

    ∂ui(t,x)∂t =

    2∑k=1

    ∂∂xk

    (Dik∂ui(t,x)∂xk

    )

    −ai(ui(t, x))[bi(ui(t, x))−2∑j=1

    aijfj(vj(t, x))

    −2∑j=1

    cijfj(vj(t− τij , x))− Ii],

    ∂vj(t,x)∂t =

    2∑k=1

    ∂∂xk

    (Ejk∂vj(t,x)∂xk

    )

    −dj(vj(t, x))[ej(vj(t, x))−2∑i=1

    bjigi(ui(t, x))

    −2∑i=1

    hjigi(ui(t− σji, x))− Jj ],

    (38)for i = 1, 2, j = 1, 2, where fi(r) = 2 sin r, gi(r) =cos 2r, ai(r) = 2 + sin r, di(r) = 2 + cos r, bi(r) =12r, ei(r) = 18r, i = 1, 2.

    Since r1, r2 ∈ R,

    |fi(r1)− fi(r2)| ≤ 2|r1 − r2|,|gi(r1)− gi(r2)| ≤ 2|r1 − r2|,1 ≤ ai(r) ≤ 3, 1 ≤ di(r) ≤ 3,bi(r1)− bi(r2) = 12(r1 − r2),ei(r1)− ei(r2) = 18(r1 − r2), i = 1, 2.

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1071 Issue 12, Volume 11, December 2012

  • We select Fi = Gi = 2, βi = 12,γi = 18, āi =3, ai = 1, d̄i = 3, di = 1, a

    ∗i =

    13 , d

    ∗i =

    13 , i = 1, 2.

    Let a11 = 14 , a12 = −12 , a21 =

    12 , a22 =

    −12 , b11 =12 , b12 = −

    12 , b21 =

    14 , b22 =

    18 , c11 =

    14 , c12 = −

    14 , c21 =

    12 , c22 =

    12 , h11 = −

    14 , h12 =

    18 , h21 =

    14 , h22 =

    18 , I1 =

    3π − 1, I2 = 2π − 2, J1 = 9π − 316 , J2 = 18π −18 .From (38), we get the equation of the equilibriums

    12u1 − sin(v1) + 32sin(v2)− 3π + 1 = 0,12u2 − 2sin(v1)− 2π + 2 = 0,18v1 − 14cos(2u1) +

    38cos(2u2)− 9π +

    316 = 0,

    18v2 − 12cos(2u1)−14cos(2u2)− 18π +

    18 = 0.

    (39)By calculation, we can solve the unique equilibriumpoint

    (u∗1, u∗2, v

    ∗1, v

    ∗2) = (

    π

    4,π

    6,π

    2, π).

    On the other hand, we have the following resultsby simple calculation

    −a∗iβi+1

    2

    2∑j=1

    [|aij |+∥cij |]Fj+2∑j=1

    [|bji|+|hji|]Gi < 0,

    −d∗jγj+2∑i=1

    [|aij |+|cij |]Fj+1

    2

    2∑i=1

    [|bij |+|hji|]Gi < 0,

    for i = 1, 2, j = 1, 2.It follows from Theorem 7-8 that this system has

    one unique equilibrium point, which is globally expo-nentially stable.

    Example 2. For the neural networks described bysystem (38), let ai(r) = 3 + sin r, di(r) = 2 +cos r, i = 1, 2, then have 2 ≤ ai(r) ≤ 4, 1 ≤ di(r) ≤3, i = 1, 2, we select ai = 2, āi = 4, di = 1,d̄i = 3, i = 1, 2.

    Take

    a11 =14 , a12 = −

    12 , a21 =

    18 , a22 = −

    18 ,

    b11 =12 , b12 =

    18 , b21 =

    15 , b22 =

    18 ,

    c11 =14 , c12 = −

    14 , c21 =

    18 , c22 =

    18 ,

    h11 = −12 , h12 =18 , h21 =

    15 , h22 =

    18 ,

    I1 = 6π + 1, I2 = 12π − 14 ,J1 = 3π − 14 , J2 = 9π +

    320 .

    The other parameters are the same as that in Example1.

    Figure 1: Three-dimensional view of (t, x, u1) in Ex-ample 1

    Figure 2: Three-dimensional view of (t, x, u2) in Ex-ample 1

    Figure 3: Three-dimensional view of (t, x, v1) in Ex-ample 1

    Figure 4: Three-dimensional view of (t, x, v2) in Ex-ample 1

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1072 Issue 12, Volume 11, December 2012

  • Figure 5: Transient response of state variableui(t, x), vi(t, x) in Example 1

    From (38), we get the equation of the equilibri-ums

    12u1 − sin(v1) + 32 sin(v2)− 6π − 1 = 0,12u2 − 12 sin(v1)− 12π +

    14 = 0,

    18v1 − 14 cos(2u2)− 3π +14 = 0,

    18v2 − 25 cos(2u1)−14 cos(2u2)− 9π −

    320 = 0.

    (40)By calculation, we can solve the unique equilib-

    rium point

    (u∗1, u∗2, v

    ∗1, v

    ∗2) = (

    π

    2, π,

    π

    6,π

    2).

    On the other hand, we have the following resultsby simple calculation

    −aiβi + 12 āi2∑j=1

    [|aij |+ |cij |]Fj

    +2∑j=1

    [|bji|+ |hji|]Gi(āi + d̄j) < 0,

    −djγj +2∑i=1

    [|aij |+ |cij |]Fj(d̄j + āi)

    +12 d̄j2∑i=1

    [|bji|+ |bji|]Gi < 0,

    for i, j = 1, 2.It follows from Theorem 9 that this system has

    one unique equilibrium point, which is globally expo-nentially stable.

    Remark 3. By simple calculations, we can find thatthe conditions (28)-(29) of Theorem 9 aren’t satisfiedfor the system in Example 1, while for the system inExample 4.2, conditions (5)-(6) of Theorem 8 aren’tsatisfied. Therefore, Theorem 3.2 are suitable for theexponential stability of the system in Example 1, butTheorem 9 isn’t; and Theorem 9 is suitable for theexponential stability of the system in Example 2, butTheorem 8 is not. The above two examples show thatall the Theorems 8-9 in this paper have advantages indifferent problems and applications.

    Figure 6: Three-dimensional view of (t, x, u1) in Ex-ample 2

    Figure 7: Three-dimensional view of (t, x, u2) in Ex-ample 2

    Figure 8: Three-dimensional view of (t, x, v1) in Ex-ample 2

    Figure 9: Three-dimensional view of (t, x, v2) in Ex-ample 2

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1073 Issue 12, Volume 11, December 2012

  • Figure 10: Transient response of state variableui(t, x), vi(t, x) in Example 2

    5 ConclusionsUnder different assumption conditions, three theo-rems are given to ensure the existence, uniquenessand the exponential stability of the equilibrium pointfor a reaction-diffusion Cohen-Grossberg-type BAMneural networks with time delays by constructing asuitable Lyapunov functional, utilizing some analyti-cal techniques. Two examples are given to show theeffectiveness of the results. The given algebra condi-tions are easily verifiable and useful in theories andapplications.

    Acknowledgements: The research was supportedby the National Research Subject of Education In-formation Technology (grant No.126240641), the Re-search Topic of Higher Vocational Education in Zhe-jiang Province, China (grant No. YB1115), and it wasalso supported by the key research project of Shaox-ing University (grant No.2011LG1001).

    References:

    [1] B. Kosko, Bidirectional associative memories,IEEE Trans. Syst. Man Cybern, 18, 1988,pp.49–60.

    [2] J. Cao, Global asymptotics stability of de-layed bidirectional associative memory neuralnetworks, Applied Mathematics and Comput-ing, 142, 2003, pp. 333–339.

    [3] J. Cao, M. Dong, Exponential stability ofdelayed bidirectional associative memory net-works, Applied Mathematics and Comput-ing, 135, 2003, pp. 105–112.

    [4] J. Cao, L. Wang, Exponential stability and peri-odic oscillatory solution in BAM networks withdelays, IEEE Transactions on Neural Networks,13, 2002, pp.457–463.

    [5] J. Cao, J. L. Liang, J. Lam, Exponential stabil-ity of high order bidirectional associative mem-

    ory neural networks with time delays, PhysicaD, 199, 2004, pp. 425–436.

    [6] H. F. Huo, W. T. Li and S. Y. Tang, Dynamics ofhigh order BAM neural networks with and with-out impulses, Applied Mathematics and Compu-tation, 215, 2009, pp. 2120–2133.

    [7] Z. Q. Zhang, Y. Yang and Y. S. Huang, Globalexponential stability of interval general BAMneural networks with reaction diffusion termsand multiple time-varying delays, Neural Net-works, 24, 2011, pp. 457–465

    [8] Q. X. Zhu, X. D. Li , X. S. Yang, Expo-nential stability for stochastic reaction diffu-sion BAM neural networks with time-varyingand distributed delays, Applied Mathematics andComputation, 217, 2011, pp. 6078–6091.

    [9] F. Y. Zhou , C. R. Ma, Global exponential sta-bility of high order BAM neural networks withreaction diffusion terms, International Journalof Bifurcation and Chaos, 10, 2010, pp.3209–3223.

    [10] C. R. Ma, F. Y. Zhou, Global exponential sta-bility of high order BAM neural networks withS-type distributed delays and reaction diffusionterms, WSEAS Transactions on Mathematics,10, 2011, pp.333–345.

    [11] M. Cohen, S. Grossberg, Absolute stability ofglobal pattern formation and parallel memorystorage by competitive neural networks, IEEETrans. Syst., Man Cybernetics, 13, 1983,pp.815–826.

    [12] J. D. Cao, Q. Song, Stability in Cohen Gross-berg type bidirectional associative memory neu-ral networks with time-varying delays, Nonlin-earity, 19, 2006, pp.1601–1617.

    [13] C. Feng, R. Plamondon, Stability analysis ofbidirectional associative memory networks withtime delays, IEEE Trans. Neural Networks, 14,2003, pp.1560–1565.

    [14] H. Jiang, J. D. Cao, BAM type Cohen Grossbergneural networks with time delays, Math. Com-put. Model., 47, 2008, pp.92–103.

    [15] A. Chen, J. D. Cao, Periodic bidirectional Co-hen Grossberg neural networks with distributeddelays, Nonlinear Anal., 66, 2007, pp.2947–2961.

    [16] Y. Li, X. Fan, Existence and globally exponen-tial stability of almost periodic solution for Co-hen Grossberg BAM neural networks with vari-able coefficients, Appl. Math. Modell., 33,2009, pp.2114–2120.

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1074 Issue 12, Volume 11, December 2012

  • [17] H. Xiang, J. D. Cao, Exponential stability of pe-riodic solution to Cohen Grossberg type BAMnetworks with time-varying delays, Neurocom-puting, 72, 2009, pp. 1702–17

    [18] X. D. Li, Existence and global exponential sta-bility of periodic solution for impulsive CohenGrossberg type BAM neural networks with con-tinuously distributed delays, Applied Mathemat-ics and Computation, 215, 2009, pp.292–307

    [19] X. D. Li , X. L. Fu, Global asymptotic stabilityof stochastic Cohen Grossberg type BAM neuralnetworks with mixed delays: An LMI approach,Journal of Computational and Applied Mathe-matics, 235, 2011, pp.3385–3394

    [20] K. L. Li , L. P. Zhang et al. Stability in im-pulsive Cohen Grossberg type BAM neural net-works with distributed delays, Applied Mathe-matics and Computation, 215, 2010, pp.3970–3984

    [21] R. Sathy, P. Balasubramaniam, Stability analysisof fuzzy Markovian jumping Cohen GrossbergBAM neural networks with mixed time-varyingdelays, Commun Nonlinear Sci Numer Simulat,16, 2011, pp.2054–2064

    [22] Q. Song, J. D. Cao, Global exponential ro-bust stability of Cohen Grossberg neural net-work with time-varying delays and reaction-diffusion terms, Journal of the Franklin Institute,343, 2006, pp.705–719.

    [23] Q. Zhou, L. Wan, J. Sun, Exponential sta-bility of reaction diffusion generalized CohenGrossberg neural networks with time-varyingdelays, Chaos, Solitons and Fractals, 32, 2007,pp.1713–1719.

    [24] Y. Sun, J. Cao, Adaptive lag synchronization ofunknown chaotic delayed neural networks withnoise perturbation, Phys. Lett. A., 364, 2007,pp.277–285.

    [25] H. Zhao, K. Wang, Dynamical behaviors of Co-hen Grossberg neural networks with delays andreaction diffusion terms, Neurocomputing, 70,2006, pp.536–543.

    [26] Q. K. Song, J. D. Cao, Global exponentialstability and existence of periodic solutions inBAM networks with delays and reaction diffu-sion terms, Chaos Solit. Fract., 23, 2005, pp.421–430.

    [27] L. Wan, Q. Zhou, Exponential stability ofstochastic reaction diffusion Cohen Grossbergneural networks with delays, Applied Mathemat-ics and Computation, 206, 2008, pp: 818–824

    [28] Q. Tao, Exponential synchronization of stochas-tic Cohen Grossberg neural networks with mixed

    time-varying delays and reaction diffusion viaperiodically intermittent control, Neural Net-work, 31, 2012, pp: 12–21

    [29] Q. Zhou, J. Sun, G. Chen, Global exponentialstability and periodic oscillations of reaction dif-fusion BAM neural networks with periodic co-efficients and general delays, Int. J. Bifurcationand Chaos, 17, 2007, pp.129–142.

    [30] B. Cui, X. Lou, Global asymptotic stability ofBAM neural networks with distributed delaysand reaction diffusion terms, Chaos Solit. Fract.,27, 2006, pp.1347–1354.

    [31] P. Balasubramaniam, C. Vidhya, Global asymp-totic stability of stochastic BAM neural net-works with distributed delays and reaction dif-fusion terms, Journal of Computational and Ap-plied Mathematics, 234, 2010, pp.3458–3466.

    [32] X. Y. Lou, B. T. Cui , W. Wu, On global expo-nential stability and existence of periodic solu-tions for BAM neural networks with distributeddelays and reaction diffusion terms, Chaos Soli-tons and Fractals, 36, 2008, pp.1044–1054.

    [33] M. Forti, A. Tesi, New conditions for global sta-bility of neural networks with application to lin-ear and quadratic programming problems, IEEETrans. Circuits Syst., 42, 1995, pp: 354–366.

    [34] Q. Song, J. Cao, Global exponential stability andexistence of periodic solutions in BAM networkswith delays and reaction diffusion terms, Chaos,Solitons and Fractals, 23, 2005, pp.421–430

    WSEAS TRANSACTIONS on MATHEMATICS Fengyan Zhou

    E-ISSN: 2224-2880 1075 Issue 12, Volume 11, December 2012


Recommended