Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 427827,10 pages http://dx.doi.org/10.1155/2013/427827

Research Article

Asymptotic Stability of Impulsive Cellular Neural Networks with Infinite Delays via Fixed Point Theory

Yutian Zhang and Yuanhong Guan

School of Mathematics and Statistics, Nanjing University of Information Science and Technology, Nanjing 210044, China Correspondence should be addressed to Yutian Zhang; ytzhang81@163.com Received 1 November 2012; Accepted 8 February 2013 Academic Editor: Qi Luo

Copyright © 2013 Y. Zhang and Y. Guan. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We employ the new method of fixed point theory to study the stability of a class of impulsive cellular neural networks with infinite delays. Some novel and concise sufficient conditions are presented ensuring the existence and uniqueness of solution and the asymptotic stability of trivial equilibrium at the same time. These conditions are easily checked and do not require the boundedness and differentiability of delays.

1. Introduction

Cellular neural networks (CNNs), proposed by Chua and Yang in 1988 [1, 2], have become a hot topic for their numerous successful applications in various fields such as optimization, linear and nonlinear programming, associative memory, pattern recognition, and computer vision.

Due to the finite switching speed of neurons and amplifiers in the implementation of neural networks, it turns out that the time delays should not be neglected, and therefore, the model of delayed cellular neural networks (DCNNs) is put forward, which is naturally of better realistic significances. In fact, besides delay effects, stochastic and impulsive as well as diffusing effects are also likely to exist in neural networks. Accordingly many experts are showing a growing interest in the research on the dynamic behaviors of complex CNNs such as impulsive delayed reaction-diffusion CNNs and stochastic delayed reaction-diffusion CNNs, with a result of many achievements [3-9] obtained.

Synthesizing the reported results about complex CNNs, we find that the existing research methods for dealing with stability are mainly based on Lyapunov theory. However, we also notice that there are still lots of difficulties in the applications of corresponding results to specific problems; correspondingly it is necessary to seek some new techniques to overcome those difficulties.

Encouragingly, in recent few years, Burton and other authors have applied the fixed point theory to investigate the stability of deterministic systems and obtained some more applicable results; for example, see the monograph [10] and papers [11-22]. In addition, more recently, there have been a few publications where the fixed point theory is employed to deal with the stability of stochastic (delayed) differential equations; see [23-29]. Particularly, in [24-26], Luo used the fixed point theory to study the exponential stability of mild solutions to stochastic partial differential equations with bounded delays and with infinite delays. In [27, 28], Sakthivel used the fixed point theory to investigate the asymptotic stability in pth moment of mild solutions to nonlinear impulsive stochastic partial differential equations with bounded delays and with infinite delays. In [29], Luo used the fixed point theory to study the exponential stability of stochastic Volterra-Levin equations.

Naturally, for complex CNNs which have high application values, we wonder if we can utilize the fixed point theory to investigate their stability, not just the existence and uniqueness of solution. With this motivation, in the present paper, we aim to discuss the stability of impulsive CNNs with infinite delays via the fixed point theory. It is worth noting that our research skill is the contraction mapping theory which is different from the usual method of Lyapunov theory. We employ the fixed point theorem

to prove the existence and uniqueness of solution and the asymptotic stability of trivial equilibrium all at once. Some new and concise algebraic criteria are provided, and these conditions are easy to verify and, moreover, do not require the boundedness and differentiability of delays.

2. Preliminaries

Let Rn denote the n-dimensional Euclidean space and let || • || represent the Euclidean norm. N = {1,2,... ,n}. R+ = [0, œ). C[X,Y] corresponds to the space of continuous mappings from the topological space X to the topological space Y.

In this paper, we consider the following impulsive cellular neural network with infinite delays:

dxt (t) dt

= - aixi (t) + fjbijfj (xj (t))

+ IC>J(XJ (t-rj (t)))>

t>0, t = tk, Axt (tk) = xt (tk + 0)-xt (tk)

= I,k (x, (tk)), k = 1,2,...,

where i e N and n is the number of neurons in the neural network. Xj(t) corresponds to the state of the (th neuron at time t. fj(-), g() e C[.R, R] denote the activation functions, respectively. Tj(t) e C[.R+ ,R+] corresponds to the known transmission delay satisfying Tj(t) ^ ot and t-Tj(t) ^ ot as t ^ ot. Denote 9 = inf[t - Tj(t), t > 0, j e N}. The constant b; • represents the connection weight of the jth neuron on the (th neuron at time t. The constant c^ denotes the connection strength of the jth neuron on the (th neuron at time t - Tj(t). The constant ai > 0 represents the rate with which the ith neuron will reset its potential to the resting state when disconnected from the network and external inputs. The fixed impulsive moments tk (k = 1,2,...) satisfy 0 = t0 < t1 < t2 < ■■■ and limfc^TOifc = ot. xi(tk + 0) and xi(tk - 0) stand for the right-hand and left-hand limits of xt(t) at time tk, respectively. Iik(xi(tk)) shows the abrupt change of xi(t) at the impulsive moment tk and I%(■) e C[.R, R].

Throughout this paper, we always assume that ft(0) = g.(0) = Iik(0) = 0 for i e N and k = 1,2,.... Thereby, problem (1) and (2) admits a trivial equilibrium x = 0.

Denote by x(t) = x(t;s,f) = (xx (t;s,f1),..., xn(t; s, <pn))T e Rn the solution to (1) and (2) with the initial condition

xt (s) = <Pi (s), 9 < s <0, i e N,

where cp(s) = (f1(s),...,fn(s))T e Rn and cp^s) e C[[9,0], R]. Denote \(p\ = sups£[S>0]y^(s)y.

The solution x(t) = x(t; s,f) e Rn of (1)-(3) is, for the time variable t, a piecewise continuous vector-valued function with the first kind discontinuity at the points tk

(k = 1,2,...), where it is left continuous; that is, the following relations are valid:

*i (tk -0) = Xi (tk),

*i (tk + 0) = Xi (tk) + Iik (Xi (tk)), (4) i e N, k = 1,2,____

Definition 1. The trivial equilibrium x = 0 is said to be stable, if, for any £ > 0, there exists S > 0 such that for any initial condition f(s) e C[[9, 0],.Rn] satisfying \<p\ < S:

<£, t>0.

Definition 2. The trivial equilibrium x = 0 is said to be asymptotically stable if the trivial equilibrium x = 0 is stable, and for any initial condition f(s) e C[[9, 0],Rn],

\\x(t;s,<p)\\ = 0 holds.

The consideration of this paper is based on the following fixed point theorem.

Theorem 3 (see [30]). Let Y be a contraction operator on a complete metric space 0, then there exists a unique point £ e 0 for which Y(() =

3. Main Results

In this section, we will consider the existence and uniqueness of solution and the asymptotic stability of trivial equilibrium by means of the contraction mapping principle. Before proceeding, we introduce some assumptions listed as follows.

(A1) There exist nonnegative constants lj such that, for any q,v e R,

\fj (n)-fj (v)\<lj \ц-v\, ] e

(A2) There exist nonnegative constants kj such that, for any q,v e R,

19j (n) - 9j (v) \<kj \n-v\, je N.

(A3) There exist nonnegative constants pjk such that, for any q,v e R,

\ljk (n) - Ijk M ^ Pjk \l-v\, je N, k = 1,2, — (8)

Let H = H1 x ■■■ x Hn, and let Hi (i e N) be the space consisting of functions ^i(t) : [0, ot) ^ R,where ^i(t) satisfies the following:

(1) ^i(t) is continuous on t = tk (k = 1,2,...);

(2) limt^r^i(t) and limt^t+ ^i(t) exist; furthermore,

lim * h(t) = h(tk) for k = 1,2,...;

(3) $,(s) = f,(s) onse[9,0];

(4) ^¡(t) ^ 0 as t ^ ot;

here tk (k = 1,2,...) and fi(s) (s e [9,0]) are defined as shown in Section 2. Also H is a complete metric space when it is equipped with the following metric:

Letting e ^ 0 in (11), we have

:(t)eai< = *, (tk_! + 0) ea

d(q (t), h (f)) = £sup \q, (t)-h, (i)|, (9)

i=1 t>9

where q(t) = (q1(t),... ,qn(t)) e H and h(i) = (h1(t),..., hn(t)) e H.

In what follows, we will give the main result of this paper.

Theorem 4. Assume that conditions (A1)-(A3) hold. Provided that

+ \ e"

lhHfj (*J ('))

+IC>J 9j fa (s-*] (^)))

(i) there exists a constant p suchthat infk=1xJtk-tk-1] > for t e (tk-i,tk) (k = 1,2,...). Settmg t = tk -£ (e > 0) in

(12), we get

(ii) there exist constants pt such that pik < for i e N and k = 1,2,...,

(iii) h* = T!=ii(1/ai)maxjeN\bijI ¡\ + (1 / ai)max^N\cijkj\} + maxi€N[pi(p + (1/^))} < 1,

(iv) maxfeNUJ < l/^n, where \i = (l/ai)JJj=i lj\ + (I/OIU \c,jkj\+p,(^+(l/a,)),

then the trivial equilibrium x = 0 is asymptotically stable.

Proof. Multiplying both sides of (1) with eait gives, for t > 0 and t = tk,

i(tk -e)t

ii(fk-e)

= x, (tk-i +0)ea

+ \ e h-i

It-jfj (x} ('))

+IC>J9j (Xj (s-Tj (s)))

■ ds,

which generates by letting e ^ 0

deaitXj (t) = eaitdXj (t) + a{x{ (t) eaitdt

f} (xj (t))

+Xc>i#i (xi (t-Ti(i)))

which yields after integrating from tk-1 + e (e > 0) to t e (tk_i,tk) (k=1,2,...)

x, (tk - 0) e"itk = Xi (tk-i + 0) ea'tt-1

+ \ e }tk-i

Ib-Jfj (xi ('))

(xi(s - ri(s)))

■ ds. (14)

Noting Xj(tk - 0) = Xj(tk), (14) can be rearranged as

(t)eaif =x, (tk-i +e)eai{h-1

+ \ e"

Ib.j Si (x} ('))

+lc'Jdj (xi (s-ri(s)))

■ ds. (11)

x, (tk) e"itk = Xi (tk-i + 0) ea'tt-1

+ \ e'

Ib.j Si (x} ('))

+Ic>i di (xi (s-*i(s)))

■ ds. (15)

u , +e

Combining (12) and (15), we reach that

x, ft )ea'tl = <pt (0)

:(t)ea't = x, (t- + 0) ea

fc—i

+ I e Jo

Ib.Jfj (xj ('))

Ib.Jfj (xj (*))

+lcj3j (xj (s-Tj(s)))

is true for t e (tk-i,tk] (k = 1,2,...). Further,

+1C'J9j (xj (S-Tj(s)))

■ ds, (18)

which produces, for t > 0,

x, (t) = Vi (0)e-at

-at I as

+ e ' I e '

;(t)ea't = x, (tk_1)ea

Xbjfj (xj ('))

+ \ e sh-i

Ihj fj (xj ('))

+lcj9j (xj - Tj (s)))

+IC>J9j (xj (^))) j=i

^ X {4 (xt (h))^}.

o<tli<t

+ Ii(k-i) (xi (tk-i ))eaitk-1

holds for t e (tk-1, tk] (k = 1,2, ■■ ■). Hence,

Note xi(0) = fi(0) in (19). We then define the following operator n acting on H, for y(t) = (y1(t),..., yn(t)) e H:

n(y)(t) = (n(yi)(t),...,n(yn)(t)), (20)

where n(yi)(t) : [0, ot) ^ R(i e N) obeys the rules as follows:

xi (tk-i)e'

,aitk-1

= x, (tk-2)ea>^ [h-i

n(y,)(t) = Vi (0)e

+ I e"

Ib.Jfj (xj ('))

- a t a s

+e ' I e'

Xb>jfj (>j (*))

+1C'J9j (xj (s-Tj(s))) j=i

+lcj9j (yj (s-*j(s)))

+ hk-2) (xi (h-i))^-2,

+ e-a,t X {4 (y, (tk))eaA},

o< t < t

xi (t2)ea't2 = xi (ti)e°

+ Jti "

Xh'jfj (xj ('))

+1C>J9j (xj (s-*j (^))) j=i

+ i,I (x, (ti))ea

on t > 0 and n(yi)(s) = <pi(s) on s e [0,0].

The subsequent part is the application of the contraction mapping principle, which can be divided into two steps.

Step 1. We need to prove n(H) c H. Choosing y(t) e Hi (i e N), it is necessary to testify n(yi)(t) c Hi.

First, since n(yi)(s) = <pi(s) on s e [0,0] and <pi(s) e C[[9,0],.R],weknowrc(yi )(s) is continuous on s e [0,0].For a fixed time t > 0, it follows from (21) that

n (yt) (t + r)-n (y,) (t) = Qi +Q2 + Q3 + 04, (22)

'¡(tk+r)

Q1 = <p, (0) e-a'(t+r) -<p, (0) e-a'\

Q2 = e

¡■t+r n

^ r ea,slh} f} (^ (S)) ds

JO J=1

L efl's Ibjfj (yj (')) ds>

it+r n

^ICUdj (yj (s-*j V)) d*

e"iSIc'j9j (yj(s - rj(s))) ds'

-'{t+r) I {4 hi (tk))eat>}

0<tk<(t+r)

-e-a' I {I,k (y, (tk))ea^}.

Owing to yt(t) e Hj, we see that yt(t) is continuous on

t = tk (k = 1,2,...); moreover, limt^t-yAt) andlimt^t+ yAt)

exist, andlim^t-y,(t) = y,(tk).

Consequently, when t = tk (k = 1,2,...) in (22), it is easy to find that Qt ^ 0 as r ^ 0 for i = 1,.. .,4, and so n(yi)(t) is continuous on the fixed time t = tk (k = 1,2,...).

On the other hand, as t = tk (k = 1,2,...) in (22), it is not difficult to find that Qt ^ 0 as r ^ 0 for i = 1,2, 3. Furthermore, if letting r < 0 be small enough, we derive

Q4 = e-a W I Itm (y, (tm))ea

0<tm<(tk+r)

-e-aA I Ilm (y, (tm))ea

0<tm<tk

= {e-ai(tk+r) — e-aitk } X I {Itm (y, (tm))ea,tm},

0<tm<tk

which implies limr^0-Q4 = 0 as t = tk. While letting r > 0 tend to zero gives

Qi = e(tk+r) I Im (y. (tm))ea

0<tm<(tk+r)

I {lim (yi (tm))ea'tm }

+I,k (yi (tk))ea

-e-aA I {Im (y, (tm))ea'm}

0<tm<tk

{e-ai(tk+r) - e-aitk}

X I {I,m (y, (tm))ea'tm} 0<tm<tk

+ £-a, (tk+r)Iik (y, (h))ea,tk,

which yields limr^0+ Q4 = e ai%Iik(y{(tk))eai*k as t = tk.

According to the above discussion, we find that n(yi)(t) : [9, ot) ^ R is continuous on t = tk (k = 1,2,...); moreover, limt^t-n(yi)(t) and limt^t+ n(yi)(t) exist; in addition, limt^t- n(yt)(t) = n(y,)(tk)=\imt^tt n(y,)(t).

Next, we will prove n(yi)(t) ^ 0 as t ^ <x>. For convenience, denote

"(y,)(t) = Ji +I2 +I3 +I4 , t>0, (27)

where h = Vi(0)e-ait, J2 = e-^ £ eaiS ^ bijfj(yj(s)^ds,

14 = e-ait Xo<tk<t{I,k(y,(h))eaitk}, and J3 = e^ Jot eaiS l"=i cijdj(yj(s - rj(s)))ds.

Due to yj(t) e Hj (j e N), we know limt^myj(t) = 0. Then for any e > 0, there exists a Tj > 0 such that t > Tj implies \yj(t) \ < e. Choose T* = maxJ-6N|T;}. It is derived from (A1) that, for t> T*,

J2 < e-at \ ea's

Lea,s I{\b'/Myj (#d*

j0 j=i

¡■T' n

= L0 ea's I{\b,}lj\\yj M|}

J0 j=i

I, e"iS I{h h\\yj (^)|}

jt 1=1

-at I as + e ' \ e

<e-a,t I\h h\ sup \y, (5)|[{\ ea-Sds

j=^ se[0,T*]

- e aih I I,m (y, (tm)) ea

0<tm<tk

I{ I Vj I ka,t I ^ j=l JT

-e<l>t X \\hijl)\ sup \yj (s)l

j=i I se[0,T*]

Furthermore, from (A3), we know that \Iik(yi(tk))\ ^

Pik\yi(h)\. So

x \ I ea's ds

m \ ^ hi

h ze^ X {P,k\y, (tk)\eaA}.

o< t < t

Moreover, as limt^TOe ait = 0, we can find a T > 0 for the given e such that t >T implies e-ait < e, which leads to

As yi(t) e Hi, we have limt^myi(t) = 0. Then for any £ > 0, there exists a nonimpulsive point Ti > 0 such that s > T, implies ^¡(s) < £. It then follows from conditions (i) and (ii) that

J2 < e

X \l b>jlj\ sup b (s)\ j=i se[0,T*]

L < e-

X {Pik\yi (<k)\ea

0<tv<%

x\j e«'sds

+ ;1X{ I V, | }

ai j=i

t > max

{t*,t};

namely,

J2 —> 0 as t —> >x>.

+ X {pk \yt (tk)\ea-

Ti<tk<t

<e-at X {P.k\y, (h)\eaA}

0<tk<Ti

+ e-a'tpl£ X }

T<tk <t

X {p.k\y, (h)\eaA}

On the other hand, since t-Tj(t) ^ ot as t ^ OT,we

get limt^TO^j(i - Tj(t)) = 0. Then for any £ > 0, there also exists a T'j > 0 such that s > Tj implies \yj(s - Tj(s))\ < £. Select T = maxj6N[Tj'}. It follows from (A2) that

0<tv<T:

+ e 'p,£{

X (tr+i -tr)}

h <e-a< f ea's XM\yj (s-Tj 00)1} ds J0 j=i

= e-a<* I easX{|c,jkj\ \yj (s-Tj (s))} ds

J0 j=i

L *a,s Xh kj\ \yj M)|} d* JT j=i

T,<tr<tt

<e-a< X {pik bi (h)\ea'tk}

<e 'X j=i

\cijkj\ suP \yj (s)|

se [9,T]

n t X{ I ^e-« I ea'sds

-ad I as 1

- ' I0 e ' ds (31)

0<tt<T:

- a t a s a t

+ e ' pi£ ( I e ' ds + ^e'

<e-at X {P,k\y, (tk)\ea'h}

0<tt<T

+ — + pfip, a.

which produces

\cijkj\ suP \yj (s)|

se [9,T]

J4 —> 0 as t —> <xi.

e ' ds

*ij=i which results in

From (30), (32), and (35), we deduce n(yi)(t) ^ 0 as t ^ ot for i e N. We therefore conclude that n(yi)(t) c Hi (i e N) which means n(H) c H.

Step 2. We need to prove n is contractive. For y = (yi(t),...,yn(t)) e H and z= (zi(t),...,zn(t)) e H, we estimate

J3 —> 0 as t —> >x>.

\ n(y)(t)-n(z)(t) \ <Ii +12 + I3

where I1 = e-a'f J0 eaiSl"j=1[\b,j\\fj(yj(s)) - fj(Zj(s))\] ds, I3 = e-ait Zo<t„<tleaitk My,(tk)) - Iik(zi(tk))\}, and I2 =

^ J0 ea,s jn=i [^ | (y(s - Tj(s))) - gj(Zj(s - T.(s)))|]d5.

L ^ IlMfo 0-*j (*)|] d*

J0 j=1

I1 < e

- a t a s

[ e ' \ e ' ds

ai jsN ' ' " j=l [ss[0,t] '

t ^ —ad I a>s

U < e ' \ e '

< mnxi bj 1j\ i sup \yj(s) - zj (s)I I e—a,t I

jsn j=i [ss[0,t] JC

< ~mnxi v, b(s)-zj{

xi[ \ Cj, q\y, (s-r, (s))

-Zj (s-Tj (s))\ ] ds

—ad I at s i

[ e ' \ e ' ds

< IjSNxI cjkj\I ^P \yj(s) - zJ (s)I } e—a,t I

jsN j=i [ss[S,t] J0

< — max C;:k\ I sup \y; (s) - z

a JSn 1 j n ^

I3 <e—a't I {ea'tk Pik\y, (tk) - z, (tk )|}

< p,e a sup \y, (s) - z, (s)| I {ea'tkp} ss[0,t] 0<tk<t

< p,e a,t sup \y, (s)-z, (s)|

ss[0,t]

I {ea'tr (tr+i -tr)} + ea'tkp 0<tr<tk

< p, sup I y, (s)-z, (s) I e—ait

ss[0,t]

x {J ea'sds + ea'*p}

< p,+ sup I y,(s)-z,(s)j-

\ ai/ ss[0,t]

It hence follows from (37) that

I n(y1)(t)-n(z1)(t) \

< — max \h :l:\ a{ jsN 1 j ji

+1 max I cjkjII sup I yj(s) - zj (s) I

xI suP | yj(s) - zj

ss[0,t]

a, jsN

ss[S,t]

+ Pi sup I y, (s)-Zi (S)

V ai/ ss[0,t]

which implies

sup I n(y)(t)-n(z)(t)\ te[S,T]

< - max I bjlj \ I sup I yj (s) - z, (s a, JsN ' ' j=1 [ss[9,T] '

^max I cijkj\I sup \yj(s) - Zj

a, jsN 1 } m p1 [ss[9,T]1

+ pi sup I y,(s)-z, (s) l-

\ ai / ss[S,T]

Therefore,

I sup I n(yi)(t)-n(zi)(t) I

,= 1 ts[—r,T]

< h* I sup I yj (s)-Zj (s) I

j=1 lss[0,T]'

In view of condition (iii), we see n is a contraction mapping, and, thus there exists a unique fixed point y* (■) of n in H which means the transposition of y* (■) is the vector-valued solution to (1)-(3) and its norm tends to zero as t ^ <x>.

To obtain the asymptotic stability, we still need to prove that the trivial equilibrium x = 0 is stable. For any e > 0, from condition (iv), we can find S satisfying 0 < S < e such that S + maxigN|Aj}e < e/^n. Let \<p\ < S. According to what has been discussed above, we know that there exists a unique solution x(t;s,f) = (x1(t;s,f1),...,xn(t;s,fn))T to (1)-(3); moreover,

(t) = n (xt) (t) =h +J2 + J3 + I4, t> 0; (41)

here }1 = cpi(0)e-a't, J2 = e-^ J0 eaiS l"j=1 b,jfj(xj(s))ds,

J3 = e-"'* j; ea's £nj=i ctjBj(xj(s - Tj(s)))ds, and ]A = e-^

l0<tk<t Utk(xt (h))eaitk}.

Suppose there exists t* > 0 such that ||x(i*; s, <p)\\ = e and \\x(t; s, f)\\ < £ as 0<t < t* .It follows from (41) that

I (**)I < I h (t*)| + | h (t*)| + | Is (t*)| + | h (t*)|. (42)

I h (f)\= I <p, (0)e-a't\ < S,

\ J2 (f) \<e-a't I ea's X^Mj (s)\ds Jo p' 1

\ h (f) \<e-a't' I ea So

x X I cijkjxj (s - TJ (s))l ds

j=i £ n

< X I ^ki\,

I h (f) \<P,e-a't' X {^\x, (tk)\e^'tÊ

0<tt<t'

as t a

e ' as + pe

we obtain \xt(t*)\ < S + Xte.

So Ux(t*;s,f)f = Zï=i{\x,(t*)\2} < Zï^ + W2} < n\S + maxisN{Xt}e\2 < e2. This contradicts the assumption of ||x(i * ; s, <p)H = e. Therefore, ||x(i; s, <p)H < e holds for all t > 0. This completes the proof. □

Corollary 5. Assume that conditions (A1)-(A3) hold. Provided that

(0 inf k=1,2,... {h -tk-1}>1,

(ii) there exist constants pt such that pik < pt for i e N and k = 1,2,...,

(iii) ZÏ=1 {(1/ai)maxjeN\bJj\ + (1/ai)maxjeN\cijkj\} + maxi£N{pi(1 + (1/ai))} < 1,

(iv) max^U'} < 1/^n, where X\ = (1/ai)Znj=ï \bijlj\ + (VOIU \c,jkj\+p,(1 + (1/a,)),

then the trivial equilibrium x = 0 is asymptotically stable.

Proof. Corollary 5 is a direct conclusion by letting ^ = 1 in Theorem 4. □

Remark 6. In Theorem 4, we can see it is the fixed point theory that deals with the existence and uniqueness of solution and the asymptotic analysis of trivial equilibrium at the same time, while Lyapunov method fails to do this.

Remark 7. The presented sufficient conditions in Theorems 4 and Corollary 5 do not require even the boundedness and

differentiability of delays, let alone the monotone decreasing behavior of delays which is necessary in some relevant works.

Provided that I%(■) = 0, (1) and (2) will become the following cellular neural network with infinite delays and without impulsive effects:

dxt (t) dt

= -a, x, (t) + Xb,j fj (xj (t)) }=i

+ Xc»3) (xi (t-ri(t))),

ie N, t>0,

where a{, b^, q-, fj(^), ffj(^), Tj(t), and xi(t) are the same as defined in Section 2. Obviously, (44) also admits a trivial equilibrium x = 0. From Theorem 4, we reach the following.

Theorem 8. Assume that conditions (A1)-(A2) hold. Provided that

(i) Ti=i[(1lai)max j^N\btjlj\ + (1/^i)maxjeN\cijkj\} < 1,

(ii) max^U"} < 1/^n, where A" = (1/u,\kjlj\ +

(H^Tr-i \ctjkj\,

then the trivial equilibrium x = 0 is asymptotically stable.

4. Example

Consider the following two-dimensional impulsive cellular neural network with infinite delays:

dxt (t) dt

= - aixi (t) + Xb,jfj (xj (t)) }=i

+ Xc»3j (xi (t-ri(t))),

j=i (45)

t>0, t = tk,

ax, (tk) = x, (tk + 0)-x, (tk)

= arctan (0.4xt (tk)), k= 1,2,...,

with the initial conditions xi(s) = cos(s), x2(s) = sin(s) on -1 < s < 0, where Tj(t) = 0.4t +1, ai = a2 = 7, bj = 0, cu = 3/7, Ci2 = 2/7, C2i = 0, C22 = 1/7, fj(s) = gj(s) = (\s+ 1\-\s- 1\)/2, and tk = tk-i + 0.5k.

It is easy to see that ^ = 0.5, lj = kj = 1, and p^ = 0.4. Let pi = 0.8 and compute

X { — ma:

-, a, i=i,:

-max |c;i k:\ =1 [atj=i,2

+max\p> (v+b}<1,

max\XA <

¡ZN 1 " V2

where= (1/ai)^rlj=1 \cij kj\+pi(^+(1/ai)).From Theorem 4, we conclude that the trivial equilibrium x = 0 of this two-dimensional impulsive cellular neural network with infinite delays is asymptotically stable.

5. Conclusions

This work is devoted to seeking new methods to investigate the stability of complex neural networks. From what has been discussed above, we find that the fixed point theory is feasible. With regard to a class of impulsive cellular neural networks with infinite delays, we utilize the contraction mapping principle to deal with the existence and uniqueness of solution and the asymptotic analysis of trivial equilibrium at the same time, for which Lyapunov method feels helpless. Now that there are different kinds of fixed point theorems and complex neural networks, our future work is to continue the study on the application of fixed point theory to the stability analysis of complex neural networks.

Acknowledgment

This work is supported by the National Natural Science Foundation of China under Grants 60904028, 61174077, and 41105057.

References

[1] L. O. Chua and L. Yang, "Cellular neural networks: theory," IEEE Transactions on Circuits and Systems, vol. 35, no. 10, pp. 12571272,1988.

[2] L. O. Chua and L. Yang, "Cellular neural networks: applications," IEEE Transactions on Circuits and Systems, vol. 35, no. 10, pp. 1273-1290, 1988.

[3] G. T. Stamov and I. M. Stamova, "Almost periodic solutions for impulsive neural networks with delay," Applied Mathematical Modelling, vol. 31, no. 7, pp. 1263-1270, 2007.

[4] S. Ahmad and I. M. Stamova, "Global exponential stability for impulsive cellular neural networks with time-varying delays," Nonlinear Analysis: Theory, Methods & Applications, vol. 69, no. 3, pp. 786-795, 2008.

[5] K. Li, X. Zhang, and Z. Li, "Global exponential stability of impulsive cellular neural networks with time-varying and distributed delay," Chaos, Solitons and Fractals, vol. 41, no. 3, pp. 1427-1434, 2009.

[6] J. Qiu, "Exponential stability of impulsive neural networks with time-varying delays and reaction-diffusion terms," Neurocomputing, vol. 70, no. 4-6, pp. 1102-1108, 2007.

[7] X. Wang and D. Xu, "Global exponential stability of impulsive fuzzy cellular neural networks with mixed delays and reaction-diffusion terms," Chaos, Solitons and Fractals, vol. 42, no. 5, pp. 2713-2721, 2009.

[8] Y. Zhang and Q. Luo, "Global exponential stability of impulsive delayed reaction-diffusion neural networks via Hardy-Poincare inequality," Neurocomputing, vol. 83, pp. 198-204, 2012.

[9] Y. Zhang and Q. Luo, "Novel stability criteria for impulsive delayed reaction-diffusion Cohen-Grossberg neural networks via Hardy-Poincare inequality," Chaos, Solitons and Fractals, vol. 45, no. 8, pp. 1033-1040, 2012.

[10] T. A. Burton, Stability by Fixed Point Theory for Functional Differential Equations, Dover, New York, NY, USA, 2006.

[11] L. C. Becker and T. A. Burton, "Stability, fixed points and inverses of delays," Proceedings of the Royal Society of Edinburgh A, vol. 136, no. 2, pp. 245-275, 2006.

[12] T. A. Burton, "Fixed points, stability, and exact linearization," Nonlinear Analysis: Theory, Methods & Applications, vol. 61, no. 5, pp. 857-870, 2005.

[13] T. A. Burton, "Fixed points, Volterra equations, and Becker's resolvent," Acta Mathematica Hungarica, vol. 108, no. 3, pp. 261281, 2005.

[14] T. A. Burton, "Fixed points and stability of a nonconvolution equation," Proceedings of the American Mathematical Society, vol. 132, no. 12, pp. 3679-3687, 2004.

[15] T. A. Burton, "Perron-type stability theorems for neutral equations," Nonlinear Analysis: Theory, Methods & Applications, vol. 55, no. 3, pp. 285-297, 2003.

[16] T. A. Burton, "Integral equations, implicit functions, and fixed points," Proceedings of the American Mathematical Society, vol. 124, no. 8, pp. 2383-2390, 1996.

[17] T. A. Burton and T. Furumochi, "Krasnoselskii's fixed point theorem and stability," Nonlinear Analysis: Theory, Methods & Applications, vol. 49, no. 4, pp. 445-454, 2002.

[18] T. A. Burton and B. Zhang, "Fixed points and stability of an integral equation: nonuniqueness," Applied Mathematics Letters, vol. 17, no. 7, pp. 839-846, 2004.

[19] T. Furumochi, "Stabilities in FDEs by Schauder's theorem," Nonlinear Analysis, Theory, Methods & Applications, vol. 63, no. 5-7, pp. e217-e224, 2005.

[20] C. Jin and J. Luo, "Fixed points and stability in neutral differential equations with variable delays," Proceedings of the American Mathematical Society, vol. 136, no. 3, pp. 909-918, 2008.

[21] Y. N. Raffoul, "Stability in neutral nonlinear differential equations with functional delays using fixed-point theory," Mathematical and Computer Modelling, vol. 40, no. 7-8, pp. 691-700, 2004.

[22] B. Zhang, "Fixed points and stability in differential equations with variable delays," Nonlinear Analysis: Theory, Methods & Applications, vol. 63, no. 5-7, pp. e233-e242, 2005.

[23] J. Luo, "Fixed points and stability of neutral stochastic delay differential equations," Journal of Mathematical Analysis & Applications, vol. 334, no. 1, pp. 431-440, 2007.

[24] J. Luo, "Fixed points and exponential stability of mild solutions of stochastic partial differential equations with delays," Journal of Mathematical Analysis and Applications, vol. 342, no. 2, pp. 753-760, 2008.

[25] J. Luo, "Stability of stochastic partial differential equations with infinite delays," Journal of Computational and Applied Mathematics, vol. 222, no. 2, pp. 364-371, 2008.

[26] J. Luo and T. Taniguchi, "Fixed points and stability of stochastic neutral partial differential equations with infinite delays," Stochastic Analysis and Applications, vol. 27, no. 6, pp. 1163-1173, 2009.

[27] R. Sakthivel and J. Luo, "Asymptotic stability of impulsive stochastic partial differential equations with infinite delays," Journal ofMathematical Analysis andApplications, vol. 356, no. 1, pp. 1-6, 2009.

[28] R. Sakthivel and J. Luo, "Asymptotic stability of nonlinear impulsive stochastic differential equations," Statistics & Probability Letters, vol. 79, no. 9, pp. 1219-1223, 2009.

[29] J. Luo, "Fixed points and exponential stability for stochastic Volterra-Levin equations," Journal of Computational and Applied Mathematics, vol. 234, no. 3, pp. 934-940, 2010.

[30] D. R. Smart, Fixed Point Theorems, Cambridge University Press, Cambridge, UK, 1980.

Copyright of Abstract & Applied Analysis is the property of Hindawi Publishing Corporation and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use.