- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2014 (2014), Article ID 308768, 12 pages

http://dx.doi.org/10.1155/2014/308768

## Antiperiodic Solutions to Impulsive Cohen-Grossberg Neural Networks with Delays on Time Scales

^{1}Applied Mathematics Department, Shanghai Normal University, Shanghai 200234, China^{2}School of Mathematics and Physics, Changzhou University, Changzhou, Jiangsu 213164, China

Received 2 March 2014; Accepted 22 June 2014; Published 9 July 2014

Academic Editor: Qi-Ru Wang

Copyright © 2014 Yanqin Wang and Maoan Han. 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.

#### Abstract

We use the method of coincidence degree and construct suitable Lyapunov functional to investigate the existence and global exponential stability of antiperiodic solutions of impulsive Cohen-Grossberg neural networks with delays on time scales. Our results are new even if the time scale or . An example is given to illustrate our feasible results.

#### 1. Introduction

It is well known that Cohen-Grossberg neural networks (CGNNs) include many models from different research fields, such as neurobiology, population biology, and evolutionary theory, as well as Hopfield neural networks and other recurrent neural network models. Over the past few years, a large number of scholars have extensively studied the dynamical behaviors, in particular, the existence and stability of the equilibrium point and periodic and almost-periodic solutions of Cohen-Grossberg neural networks. There have been considerable results on CGNNs (e.g., see [1–16]). In contrast, however, very few results are available on the existence and exponential stability of antiperiodic solutions for neural networks, while the existence of antiperiodic solutions plays a key role in characterizing the behavior of nonlinear differential equations (see [17–22]).

In [17], the authors studied the existence and exponential stability of antiperiodic solutions for the following Cohen-Grossberg neural networks with bounded and unbounded delays: where corresponds to the number of units in the neural networks, denotes the potential (or voltage) of cell at time , represents an amplification function, is an appropriately behaved function, , , and denote the strengths of connectivity between cells and at time , respectively. The activation functions , , and show how the th neuron reacts to the input, corresponds to the time delay required in processing and transmitting a signal from the th cell to the th cell at time , is the kernel, and denotes the th component of an external input source introduced from outside the network to cell at time .

In fact, both continuous and discrete systems are very important in implementation and application. Therefore, the study of dynamic equations on time scales has received much attention (see [18, 19, 23–28]) which displays a combination of characteristics of both continuous-time and discrete-time system. For example, in [23], the authors extended the almost-periodic theory on time scales with the delta derivative to that with the nabla derivative and then derived some sufficient conditions ensuring the existence, uniqueness, and exponential stability of almost-periodic solutions for a class of cellular neural networks with time-varying delays in leakage terms on time scales.

Also, differential equations with impulses provide an adequate mathematical model of many evolutionary processes that suddenly change their states at certain moments. For example, [18] applied the method of coincidence degree to investigate the existence of antiperiodic solutions to the following impulsive shunting inhibitory cellular neural networks on time scales:

Motivated by the abovementioned works, in this paper, we will apply the method of coincidence degree and construct suitable Lyapunov functional to investigate the existence and global exponential stability of antiperiodic solutions to the following impulsive CGNN model with delays on time scales: where is an -periodic time scale which has the subspace topology inherited from the standard topology on , , , represent right and left limit of in the sense of time scales, is a sequence of real numbers such that as , and there exists a positive integer p such that , , . Without loss of generality, we also assume that .

The initial conditions associated with system (3) are of the form where is a bounded continuous function on .

Throughout this paper, we make the following assumptions:(), , , , and , , , , , and , ;(), , and there exist positive constants , , such that and for all ;() is delta differential and , , , ;(there exists a positive constant such that for all ;(), , and , , , , , and there exist positive constants , , , , , and such that , , , , , and , for all ;(), ;() and there exist positive constants such that for all , , and .

For the sake of convenience, we introduce some notations: where .

The organization of the rest of this paper is as follows. In Section 2, we introduce some definitions and make some preparations for later sections. In Sections 3 and 4, we establish our main results for the existence and exponential stability of antiperiodic solutions of (3). Finally, we present an example to illustrate the feasibility and effectiveness of our results obtained in previous sections.

#### 2. Preliminaries

In this section, we recall some basic definitions and lemmas which are used in what follows.

*Definition 1 (see [24, 26]). *A time scale is an arbitrary nonempty closed subset of the real set with the topology and ordering inherited from . The forward and backward jump operators and the graininess are defined, respectively, by
The point is called left-dense, left-scattered, right-dense, or right-scattered if , , , or , respectively. Points that are right-dense and left-dense at the same time are called dense. If has a left-scattered maximum , define ; otherwise, .

*Definition 2 (see [24, 26]). *A vector function is rd-continuous provided it is continuous at each right-dense point in and has a left-sided limit at each left-dense point in . The set of rd-continuous functions will be denoted by .

*Definition 3 (see [24, 26]). *For a function (the range of may be actually replaced by Banach space), the (delta) derivative is defined by
if is continuous at and is right-scattered. If is not right-scattered, then the derivative is defined by
provided that this limit exists.

*Definition 4 (see [23, 24, 26]). *If , then one defines the delta integral by

*Definition 5 (see [23, 24]). *If , , and is rd-continuous on , then we define the improper integral by
provided that this limit exists, and one says that the improper integral converges in this case. If this limit does not exist, then one says that the improper integral diverges.

*Definition 6 (see [24, 26]). *A function is called regressive if for all , where is the graininess function. The set of all regressive rd-continuous functions is denoted by , while the set is given by for all . Let . The exponential function is defined by
with the cylinder transformation

*Definition 7 (see [18, 24]). *For each , let be a neighborhood of . Then one defined the generalized derivative (or Dini derivative) to mean that, given , there exists a right neighborhood of such that
for each , .

In case is right-scattered and is continuous at , this reduces to
where the upper right Dini derivative is defined as

*Definition 8 (see [18]). *One says that a time scale is periodic if there exists such that if , then . For , the smallest positive is called the period of the time scale. Let be a periodic time scale with period . We say that the function is -antiperiodic if there exists a natural number such that , for all and is the smallest number such that . If , one says that is -antiperiodic if is the smallest positive number such that for all .

Lemma 9 (see [23, 24, 26]). *Assume that . Then*(a)* and ;*(b)*;
*(c)* , where ;*(d)

*;*(e)

*.*

Lemma 10 (see [28]). *If , then
*

Lemma 11 (see [23, 24, 26]). *Assume that are delta differentiable at . Then
*

Lemma 12 (see [18, 24, 27]). *Let . If is -periodic, then
*

*Definition 13 (see [18]). *The antiperiodic solution of system (3) with initial value is said to be globally exponentially stable if there exist positive constants and , for any solution of system (3) with the initial value , such that
where
The following fixed point theorem of coincidence degree is crucial in the arguments of our main results.

Lemma 14 (see [18, 29]). *Let be two Banach spaces and let be open bounded and symmetric with . Suppose that is a linear Fredholm operator of index zero with and is L-compact. Further, one also assumes that*(H)* for all .**Then has at least one solution on .*

Lemma 15 (mean value theorem, [6, 30]). *Let be a continuous function on which is -differentiable on , and then there exist such that
*

#### 3. Existence of Antiperiodic Solutions

In this section, by using fixed point theorem of coincidence degree, we will study the existence of at least one antiperiodic solution for system (3).

Theorem 16. *Assume that (H _{1})–(H_{7}) hold. Suppose further that , . Then system (3) has at least one -antiperiodic solution.*

*Proof. *Let be a piecewise continuous map with first-class discontinuous points in and at each discontinuous point it is continuous on the left}, . Let
be two Banach spaces equipped with the norms
in which , and is any norm of . Set
where
and and
where
for . It is easy to see that
Thus, , and is a linear Fredholm operator of index zero.

Define the continuous projector and the averaging projector by
Hence, and . Denoting by the inverse of , we have
in which for all .

Similar to [24], it is not difficult to show that , are relatively compact for any open bounded set . Therefore, is -compact on for any open bounded set .

In order to apply Lemma 14, we need to find an appropriate open bounded subset in . Corresponding to the operator equation , we have
where
for .

Set , . Then, by (31), (), (), (), (), and Lemma 15, we obtain that
Integrating (31) from to , we have by (33)
In view of (34), (), and Lemma 15, we get
for . In addition, from Lemma 12, for any , we have
where . Dividing by on the two sides of (36) and (37), respectively, we obtain that
where .

Let such that , , by the arbitrariness of ; we get from (33)–(39) that
Thus, we have from (40) that
From (41), we have
Then, by the assumption of Theorem 16 and (42), we have
Let
Clearly, is independent of . Then take
It is clear that satisfies all the requirements in Lemma 14 and condition (H) is satisfied. In view of all the discussions above, we conclude from Lemma 14 that system (3) has at least one -antiperiodic solution. This completes the proof.

#### 4. Global Exponential Stability of Antiperiodic Solutions

In this section, we will construct some suitable Lyapunov functions to study the global exponential stability of antiperiodic solutions of system (3).

Theorem 17. *Assume that (H _{1})–(H_{7}) hold. Suppose further the following.*()

*The impulsive operators satisfy*()

*For , there exist constants and such that*

*Then the -antiperiodic solution of system (3) is globally exponentially stable.*

*Proof. *According to Theorem 16 and its proof, we know that system (3) has an -antiperiodic solution with the initial value and , and suppose that is an arbitrary solution of system (3) with the initial value . Set . Then it follows from system (3) and () that

In view of the above system and ()–(), for , , , , similar to [6], we have
For any , we consider the following Lyapunov function:
For , , , calculating the upper right derivative of by (48)–(50), we have
for . In addition, for , , , we have from () that

Now, let denote an arbitrary real number and set
It follows from (50) and Definition 13 that

We claim that
If it is not true, in view of the arbitrariness of , there exist and such that
and for , , we have
Let . Then it follows from (56) and (57) that
Together with (48), (51), (58), and Lemma 10, we obtain
Thus,