Abstract

This paper is concerned with the problem of almost automorphic solutions of a class of fuzzy Cohen-Grossberg neural networks with mixed time delays and variable coefficients. Based on inequality analysis techniques and combining the exponential dichotomy with fixed point theorem, some sufficient conditions for the existence and global exponential stability of almost automorphic solutions are obtained. Finally, a numerical example is given to show the feasibility of our results.

1. Introduction

In recent years, neural networks have been extensively studied due to their important applications in many areas such as function approximation, pattern recognition, associative memory, and combinatorial optimization. In particular, the research on the dynamical behavior of the neural networks has become an important topic in neural network theory. Therefore, the dynamics of neural networks, especially the existence of periodic solutions, antiperiodic solutions, and almost periodic solutions to neural networks, has been extensively investigated and a large number of criteria on the stability of neural networks have been discussed in the literature [15]. Moreover, it is well known that Cohen-Grossberg neural network [6] is one of the most popular and typical network models. Some models such as Hopfield-type neural networks, CNNs, BAM-type models are special cases of Cohen-Grossberg neural networks. For more details about Cohen-Grossberg neural networks, one can see, for example, [712].

In reality, time delays often occur due to finite switching speeds of the amplifiers and communication time. Moreover, it is observed both experimentally and numerically that time delay in neural networks may induce instability. Therefore, neural networks with time delays have recently become a topic of research interest. On the other hand, in mathematical modeling of real world problems, we encounter some inconveniences besides delays, namely, the complexity and the uncertainty or vagueness. Vagueness is opposite to exactness and we argue that it cannot be avoided in the human way of regarding the world. Any attempt to explain an extensive detailed description necessarily leads to using vague concepts since precise description contains abundant number of details. To understand it, we must group them together and this can hardly be done precisely. A nonsubstitutable role is here played by natural language. For the sake of taking vagueness into consideration, fuzzy theory is viewed as a more suitable setting. Based on traditional CNNs, T. Yang and L.-B. Yang [13] first introduced the fuzzy cellular neural networks (FCNNs), which integrate fuzzy logic into the structure of traditional CNNs and maintain local connectedness among cells. Unlike previous CNNs, FCNN is a very useful paradigm for image processing problems, which has fuzzy logic between its template input and/or output besides the sum of product operation. It is a cornerstone in image processing and pattern recognition. Recently, some results on stability and other behaviors have been derived for fuzzy neural networks with or without time delays (see [1422]).

Also, the almost periodicity is more universal than the periodicity. Moreover, almost automorphic functions, which were introduced by Bochner in his papers [2325] in relation to some aspects of differential geometry, are much more general than almost periodic functions. The notion of almost automorphic function was introduced to avoid some assumptions of uniform convergence that arise when using almost periodic function. In the last several decades, the basic theories on the almost automorphic functions have been well developed [26, 27] and have been applied successfully to the investigation of almost automorphic solutions of differential equations (see [2830] and reference therein). In [3133], authors studied almost automorphic solutions for several classes of neural networks, respectively. Recently, considerable efforts have been devoted to the periodic solutions and almost periodic solutions of Cohen-Grossberg neural networks with time delays (see, e.g., [3441]). However, to the best of our knowledge, there is no paper published on the existence and stability of almost automorphic solutions for fuzzy neural networks with time delays.

Motivated by the above discussion, in this paper, we propose a class of fuzzy Cohen-Grossberg neural networks with mixed time delays and variable coefficients as follows:where , corresponds to the number of units in neural networks; corresponds to the state of the th unit at time ; represents an amplification function at time ; is an appropriately behaved function at time such that the solutions of model (1) remain bounded; , , , and are the elements of fuzzy feedback MIN template, fuzzy feedback MAX template, fuzzy feed forward MIN template, and fuzzy feed forward MAX template, respectively; weight the strength of the th neuron at the time , and are the elements of feedback template and feed forward template; , denote the fuzzy AND and fuzzy OR operation, respectively; , , and are the activation functions; is the time-varying delay caused during the switching and transmission processes; is the delay kernel function; denotes external input to the th neuron at time .

The initial value of (1) is the following:where , .

Our main purpose of this paper is by utilizing inequality analysis techniques and combining the exponential dichotomy with fixed point theorem, to study the existence and global exponential stability of almost automorphic solutions of (1). Our results of this paper are completely new.

Throughout this paper, we assume that the following conditions hold.(H1)The amplification functions are continuously bounded; that is, there exist positive constants and such that(H2) The behaved functions are continuous with and there exist constants such that(H3) , , are Lipschitcz continuous with positive Lipschitcz constants , , and such that, for all ,moreover, we supposed that , .(H4) , , , , , , , , and are all continuous almost automorphic functions defined on .(H5) The kernel is almost automorphic and it satisfies thatwhere is a real positive number and there exist and such that ,  , .

For convenience, we introduce the following notations:where ,  , .

This paper is organized as follows. In Section 2, we introduce some definitions and make some preparations for later sections. In Section 3, we present some sufficient conditions for the existence and global exponential stability of almost automorphic solutions of (1). In Section 4, we give an example to demonstrate the feasibility of our results.

2. Preliminary

In this section, we introduce some definitions and state some preliminary results.

Definition 1 (see [27]). A continuous function is said to be almost automorphic if for every sequence of real numbers there exists a subsequence such thatis well defined for each andfor each .

Remark 2. Note that the function in the definition above is measurable but not necessarily continuous. Moreover, if is continuous, then is uniformly continuous. Besides, if the convergence above is uniform in , then is almost periodic. Denote by the collection of all almost automorphic functionswhere and are the collection of all almost periodic functions and the set of bounded continuous functions from to , respectively.

Lemma 3 (see [27]). Let . Then we have the following: (i);(ii) for any scalar ;(iii) where is defined by ;(iv)let ; then the range is relatively compact in , thus is bounded in norm;(v)if is a continuous function, then the composite function is almost automorphic;(vi) is a Banach space.

Definition 4 (see [27]). A function is said to be almost automorphic in for each if for every sequence of real numbers there exists a subsequence such thatis well defined for each , andfor each , . The collection of such functions will be denoted by .

Lemma 5 (see [27]). Let be an almost automorphic function in for each and assume that satisfies a Lipschitz condition in uniformly in . Let be an almost automorphic function. Then the functionis almost automorphic.

Definition 6 (see [27]). Systemis said to admit an exponential dichotomy if there exist a projection and positive constants so that the fundamental solution matrix satisfies
Consider the following almost automorphic system:where is an almost automorphic matrix function and is an almost automorphic vector function.

Lemma 7 (see [27]). If the linear system (14) admits an exponential dichotomy, then system (16) has a unique almost automorphic solution:where is the fundamental solution matrix of (14).

Lemma 8 (see [33]). Let be an almost automorphic function on andthen the linear systemadmits an exponential dichotomy on .

Definition 9. The almost automorphic solution of system (1) is said to be globally exponentially stable, if, for any solution , there exist constants and such that, for all ,

3. Main Results

In this section, we establish some results for the existence and uniqueness of almost automorphic solutions of (23).

Let be the -dimensional Euclidean space. Set . For every , its norm is defined by , where , .

From , the antiderivative of exists. We may choose an antiderivative of with . Obviously, . By , we obtain that is increasing about and the inverse function of is existential, continuous, and differentiable. So, , where is the derivative of about , and composition function is differentiable. Denote . It is easy to see that and . Substituting these equalities into system (1), we can get thatThe initial condition of (21) is as follows:

Then system (21) can be written aswhere ,  .

System (1) has an almost automorphic solution which is globally exponentially stable if and only if system (23) has an almost automorphic solution which is globally exponentially stable.

It is easy to see thatwhere is between and .

Lemma 10. Suppose that assumptions , , and hold and ; then belongs to .

Proof. By Lemma 3, we have that, for , the function belongs to . Now, let be a sequence of real numbers. By we can extract a subsequence of such that, for all ,SetClearly, By the well-known Lebesgue Dominated Convergence Theorem and , we have, for all ,Similarly, for each ,which implies that belongs to . The proof is complete.

Lemma 11. Suppose that assumptions hold. Define the nonlinear operator byfor each , where for ,Then maps into itself.

Proof. First of all, let us check that is well defined. Indeed, by Lemma 3, the space is translation invariant. Besides, by Lemmas 5 and 10, the function belongs to . Consequently we can writeLet be a sequence of real numbers. By the composition theorem of almost automorphic functions, the function . By we can extract a subsequence of such that, for all ,SetThen it follows that By the Lebesgue Dominated Convergence Theorem we obtain immediately thatfor all .
Reasoning in a similar way to the first step we can show easily thatfor all . Consequently, the function belongs to .

Theorem 12. Assume that hold, then system (23) has a unique almost automorphic solution in the regionif the following condition holds where ,

Proof. Obviously, is a closed convex subset of and one has Thus, for any , we haveNow we prove that is a self-mapping from to . In fact, for arbitrary , we have which implies that , so the mapping is a self-mapping from to . Next, we will prove that is a contraction mapping. For any , we have that Because , so is a contraction mapping. Therefore, has a unique fixed point such that ; that is, (23) has a unique almost automorphic solution . This completes the proof of Theorem 12.

Theorem 13. Assume that hold, the almost automorphic solution of (23) is globally exponentially stable if, for , the following conditions hold

Proof. For , consider the function given by It is clear that the function is continuous on and by (47), we have Thus, there exists a sufficiently small constant such thatFrom Theorem 12, we see that system (23) has at least one almost automorphic solution with initial condition ,  ,  . Suppose that is an arbitrary solution with initial condition , , . Set ; then it follows from system (23) thatwhere . The initial condition of (51) is Similar to system (23), we set . In view of and (24), we have .
Now, we consider functions , ,  . Then Set and is an arbitrary real number. Then, we can getIn the following, we will show thatIf (55) is not true, without loss of generality, then there exist a constant and a first time such that Therefore, we have This is a contradiction; hence (55) holds. Let , then we haveTogether, (54) with (58) give the following:Then, we have which means that the almost automorphic solution of the system (23) is globally exponentially stable. The proof of Theorem 13 is completed.

4. An Example

In this section, we give an example to illustrate the feasibility and effectiveness of our results obtained in Section 3.

Example 1. Let . Consider the following system:where andBy calculating, we have that , , , , , , and and take the positive real numbers , ; then Moreover, we have All the assumptions in Theorems 12 and 13 are satisfied. We set the initial condition ; the response of the state component is showed in Figures 1 and 2. Therefore, (61) has an almost automorphic solution, which is globally exponentially stable.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors are deeply grateful to the reviewers for their careful reading of this paper and helpful comments, which have been very useful for improving the quality of this paper. This work is supported by the National Natural Sciences Foundation of China under Grant no. 11361072.