Abstract
In this paper, we consider a class of Cohen-Grossberg neural networks with mixed delays. Different from the previous literature, we study the existence and exponential stability of pseudo almost automorphic solutions for the suggested system. Our method is mainly based on the Banach fixed point theorem and the Lyapunov functional method. Moreover, a numerical example is given to show the effectiveness of the main results.
Similar content being viewed by others
1 Introduction
The concept of pseudo almost automorphy was first introduced by Xiao et al. [1], which is a natural generalization of almost periodicity and almost automorphy. Meanwhile, the pseudo almost automorphic functions are more general and complicated than pseudo almost periodic functions and almost automorphic functions. The existence and stability of almost automorphic and pseudo almost automorphic solutions are the most attractive topics in qualitative theory of differential equations due to their significance and applications in physics, mechanics and mathematical biology. In recent years, the existence and stability of almost automorphic and pseudo almost automorphic solutions on different kinds of differential equations have been widely studied; for instance, see [2–6] and the references therein.
On the other hand, there have been extensive results on the problem of the existence and uniqueness of solutions or their dynamic analysis for Cohen-Grossberg type neural networks; see [7–12] among others. However, there have been few results for pseudo almost automorphic functions since they are more general and complicated than both pseudo almost periodic functions and almost automorphic functions. To the best of our knowledge, the existence of pseudo almost automorphic solution to Cohen-Grossberg neural networks (CGNNs) with variable coefficients and mixed delays has not been studied.
Motivated by the above discussion, in this paper we study the existence, uniqueness, and exponential stability of pseudo almost automorphic solutions for the following CGNNs:
By using the Banach fixed point theorem and the Lyapunov functional method, we prove the existence, uniqueness, and exponential stability of pseudo almost automorphic solutions to system (1).
The organization of this paper is as follows. In Section 2, we introduce some basic definitions, assumptions and preliminary lemmas. In Section 3, we establish the existence and uniqueness of pseudo almost automorphic solution of system (1) by applying the Banach fixed point theorem. In Section 4, the exponential stability result is shown. In Section 5, an example is provided to demonstrate the effectiveness of the main results. In Section 6, we conclude the paper with some general remarks.
2 Preliminaries
In this section, we introduce some basic definitions, assumptions and preliminary lemmas. Throughout this paper, unless otherwise specified, \(\mathbb{R}\) denotes the set of real numbers, \(\mathbb{R}^{+}\) denotes the set of non-negative real numbers, \(\mathbb{R}^{m}\) denotes the real m-dimensional space.
Definition 2.1
[5]
A continuous function \(f:\mathbb{R} \rightarrow\mathbb{R}^{m} \) is said to be almost automorphic if for every sequence of \((s_{n}^{\prime})_{n\in N}\), there exists a subsequence \((s_{n})_{n\in N}\subset(s_{n}^{\prime})_{n\in N} \) such that
is well defined for each \(t\in\mathbb{R}\), and
for each \(t\in\mathbb{R}\). The collection of all almost automorphic functions is denoted by \(\operatorname {AA}(\mathbb{R},\mathbb{R}^{m})\). It is well known that the set \(\operatorname {AA}(\mathbb{R},\mathbb{R}^{m})\) is a Banach space with supremum norm.
Remark 2.1
The function g in Definition 2.1 is measurable but not necessarily continuous. Moreover, if g is continuous, then f is uniformly continuous. Besides, if the convergence in Definition 2.1 is uniform in \(t\in\mathbb{R}\), then f is almost periodic. For example, Bocher [13] gave an almost automorphic but not almost periodic function defined in the integer set
where θ is a non-rational number.
Definition 2.2
[5]
A continuous function \(f:\mathbb{R} \times\mathbb{R}^{m}\rightarrow\mathbb{R}^{m} \) is said to be almost automorphic if for every sequence of \((s_{n}^{\prime})_{n\in N}\), there exists a subsequence \((s_{n})_{n\in N}\subset(s_{n}^{\prime})_{n\in N} \) such that
is well defined for each \(t\in\mathbb{R}\), \(x\in\mathbb{R}^{m}\), and
for each \(t\in\mathbb{R}\), \(x\in\mathbb{R}^{m}\). The collection of all almost automorphic functions is denoted by \(\operatorname {AA}(\mathbb{R}\times \mathbb{R}^{m},\mathbb{R}^{m})\).
Define the class of functions \(\operatorname {PAA}_{0}(\mathbb{R}, \mathbb{R}^{m})\) and \(\operatorname {PAA}_{0}(\mathbb{R}\times\mathbb{R}^{m}, \mathbb{R}^{m})\) as follows:
where \(\operatorname {BC}(\mathbb{R},\mathbb{R}^{m})\) (or \(\operatorname {BC}(\mathbb{R}\times \mathbb{R}^{m}, \mathbb{R}^{m})\)) is the collection of the set of bounded continuous functions from \(\mathbb{R}\) (or \(\mathbb{R}\times\mathbb{R}^{m}\)) to \(\mathbb{R}^{m}\).
Definition 2.3
A function \(f\in \operatorname {BC}(\mathbb{R}, \mathbb{R}^{m})\) (or \(\operatorname {BC}(\mathbb{R}\times \mathbb{R}^{m}, \mathbb{R}^{m})\)) is called pseudo almost automorphic if it can be expressed as
where \(f_{1}\in \operatorname {AA}(\mathbb{R},\mathbb{R}^{m})\) (or \(\operatorname {AA}(\mathbb{R}\times\mathbb{R}^{m}, \mathbb{R}^{m})\)) and \(f_{0}\in \operatorname {PAA}_{0}(\mathbb{R},\mathbb{R}^{m})\) (or \(\operatorname {PAA}_{0}(\mathbb{R}\times\mathbb{R}^{m}, \mathbb{R}^{m})\)). The collection of such functions will be denoted by \(\operatorname {PAA}(\mathbb{R},\mathbb{R}^{m})\) or \(\operatorname {PAA}(\mathbb{R}\times \mathbb{R}^{m}, \mathbb{R}^{m})\)).
Remark 2.2
Obviously, we have
where \(\operatorname {AP}(\mathbb{R},\mathbb{R}^{m})\) is the collection of all almost periodic functions from \(\mathbb{R}\) to \(\mathbb{R}^{m}\).
Lemma 2.1
Suppose \(f,g\in \operatorname {PAA}(\mathbb{R},\mathbb{R}^{m})\) and for all \(\tau\in\mathbb{R}\), then the following holds true:
-
(1)
\(f+g, \tau f, f_{\tau}(t,x):=f(t+\tau,x)\textit{ and }f(-t,x)\in \operatorname {PAA}(\mathbb{R},\mathbb{R}^{m})\).
-
(2)
f is bounded for each \(x\in\mathbb{R}^{m}\).
Lemma 2.2
Let \(f=f_{1}+f_{0}\in \operatorname {PAA}(\mathbb{R} \times\mathbb{R}^{m}, \mathbb{R}^{m})\), where \(f_{1}(t,\varphi)\in \operatorname {AA}(\mathbb{R}\times\mathbb{R}^{m}, \mathbb{R}^{m})\), \(f_{0}(t,\varphi)\in \operatorname {PAA}_{0}(\mathbb{R}\times \mathbb{R}^{m}, \mathbb{R}^{m})\). Moreover, assume that the following conditions are satisfied:
-
(a)
\(f_{1}(t,\varphi)\) is uniformly continuous for any bounded subset \(K\subset\mathbb{R}^{m}\) and \(t\in\mathbb{R}\).
-
(b)
\(f(t,\varphi)\) is uniformly continuous (or satisfies the Lipschitz condition) for every bounded subset \(K\subset \mathbb{R}^{m}\) and \(t\in\mathbb{R}\).
Then the function \(\zeta: t\rightarrow\zeta(t)=f(t,\varphi(t))\) is pseudo almost automorphic for all \(\varphi\in \operatorname {PAA}(\mathbb{R},\mathbb{R}^{m})\).
Lemma 2.3
Assume that \(f\in \operatorname {AA}(\mathbb{R},\mathbb{R}^{m})\) and \(\phi\in C(\mathbb{R}^{m},\mathbb{R}^{n})\), then \(\phi(f(t))\in \operatorname {AA}(\mathbb{R},\mathbb{R}^{n})\).
Lemma 2.4
(Lebesgue’s dominated convergence theorem)
Let \(\{f_{n}\}\) be a sequence of real-valued measurable functions on a measurable set E. Suppose that the sequence converges pointwise to a function f and is dominated by some integrable function F in the sense that \(\vert f_{n}(x)\vert \leq F(x)\) for all numbers n in the index set of the sequence and all points \(x \in E\). Then f is integrable and \(\lim_{n\to\infty} \int_{E} f_{n}(x)\,dx =\int_{E} f(x) \,dx\).
Throughout this paper, we make the following assumptions.
- \((H_{1})\)::
-
\(a_{i}(u)\) are uniformly continuous functions and there are positive constants \(a_{i}^{+}\), \(a_{i}^{-}\) such that
$$0 < a_{i}^{-}\leq a_{i}(u)\leq a_{i}^{+}, \quad \forall u\in\mathbb{R}, i = 1, 2, \ldots, m. $$ - \((H_{2})\)::
-
\(b_{i}(u)\), \(i = 1, 2, \ldots, m\), are uniformly continuous functions and there exist positive constants \(b_{i}^{-}\), \(b_{i}^{+}\) such that
$$b_{i}^{-} \leq\frac{b_{i}(u)-b_{i}(v)}{u-v}\leq b_{i}^{+},\quad\forall u, v\in\mathbb{R}, u\neq v, b_{i}(0)=0. $$ - \((H_{3})\)::
-
\(c_{ij}(t), d_{ij}(t), p_{ij}(t), I_{i}(t) \in C(\mathbb{R},\mathbb{R})\), \(\tau_{ij}(t)\in C(\mathbb{R},\mathbb{R}^{+})\) are pseudo almost automorphic functions, where \(i,j= 1, 2, \ldots, m\).
- \((H_{4})\)::
-
The delay kernel function \(G_{ij}: [0,+\infty)\rightarrow [0,+\infty)\) is piecewise continuous and integrable, and there exists a real number \(\varepsilon_{0}\) such that
$$\int_{0}^{+\infty}G_{ij}(u)\,du=1,\quad\quad \int_{0}^{\infty}e^{\varepsilon_{0} u}G_{ij}(u)\,du< + \infty ,\quad i,j= 1, 2, \ldots, m. $$ - \((H_{5})\)::
-
The functions \(f_{j}(u), g_{j}(u), h_{j}(u) \in C(\mathbb{R},\mathbb{R})\) satisfy the Lipschitz condition, i.e., there are nonnegative constants \(L_{j}^{f}\), \(L_{j}^{g}\), and \(L_{j}^{h}\) such that
$$\begin{aligned}& \bigl\vert f_{j}(u)-f_{j}(v) \bigr\vert \leq L_{j}^{f}\vert u-v\vert ,\quad \forall u, v\in\mathbb{R}, j = 1, 2, \ldots, m, \\& \bigl\vert g_{j}(u)-g_{j}(v) \bigr\vert \leq L_{j}^{g}\vert u-v\vert , \quad \forall u, v\in\mathbb{R}, j = 1, 2, \ldots, m, \\& \bigl\vert h_{j}(u)-h_{j}(v) \bigr\vert \leq L_{j}^{h}\vert u-v\vert , \quad \forall u, v\in\mathbb{R}, j = 1, 2, \ldots, m. \end{aligned}$$
Constants \(c_{ij}^{+}\), \(d_{ij}^{+}\), \(p_{ij}^{+}\), \(I_{i}^{+}\) (\(i=1,2,\ldots,m\)) are denoted as follows:
3 The existence and uniqueness of pseudo almost automorphic solutions
In this section, we study the existence and uniqueness of pseudo almost automorphic solutions of system (1).
By the assumption \((H_{1})\), we know that the antiderivative of \(\frac {1}{a_{i}(x_{i}(t))}\) exists. Then we choose an antiderivative \(F_{i}(x_{i})\) of \(\frac{1}{a_{i}(x_{i}(t))}\) with \(F_{i}(0)=0\). It is clear that \(F_{i}^{\prime}(x_{i})=\frac{1}{a_{i}(x_{i}(t))}\). Since \(a_{i}(x_{i}(t))>0\), we see that \(F_{i}(x_{i})\) is increasing on \(x_{i}\) and there exists an inverse function \(F_{i}^{-1}(x_{i})\) of \(F_{i}(x_{i})\), which is continuous and differential. Moreover, we have \((F_{i}^{-1}(x_{i}))^{\prime}=a_{i}(x_{i}(t))\). Denoting \(F_{i}^{\prime}(x_{i})x_{i}^{\prime}(t)=\frac{x_{i}^{\prime}(t)}{a_{i}(x_{i}(t))}:= u_{i}^{\prime}(t)\), we get \(x_{i}(t)=F_{i}^{-1}(u_{i}(t))\). Then it follows from (1) that
By the assumption \((H_{2})\) and the mean value theorem, we obtain
where \(\theta_{i}\) is a constant such that \(0\leq\theta_{i} \leq 1\). Substituting this into (2) yields,
Obviously, system (1) has a unique pseudo almost automorphic solution, if and only if system (3) has a unique pseudo almost automorphic solution. So we only need to consider the pseudo almost automorphic solution of system (3). It follows from the Lagrange theorem that
By \((H_{1})\) again, we get
Combined with \((H_{2})\), we have
In order to prove our main result, we present the following lemma.
Lemma 3.1
Assume that the assumption \((H_{4})\) holds and \(\varphi_{j} (\cdot)\in \operatorname {PAA}(\mathbb{R},\mathbb{R})\). Then
belongs to \(\operatorname {PAA}(\mathbb{R},\mathbb{R})\).
Proof
Noting that \(\varphi_{j} (\cdot)\in \operatorname {PAA}(\mathbb{R},\mathbb{R})\), then it follows from Definition 2.3 that
and so
The rest of the proof is divided into two steps.
Step 1: We first prove \(\Psi_{ij1}\in \operatorname {AA}(\mathbb{R},\mathbb{R})\).
Let \((s_{n}^{\prime})\) be a sequence of real numbers. By Definition 2.1, there exists a subsequence \((s_{n})\) of \((s_{n}^{\prime})\) such that for all \(t,s\in\mathbb{R}\),
Define
Then we have
By the Lebesgue dominated convergence theorem and \((H_{4})\), we obtain
Similarly, we have
which implies that \(\Psi_{ij1}: t\rightarrow \int_{-\infty}^{t}G_{ij}(t-s)\varphi_{j1}(s)\,ds\) belongs to \(\operatorname {AA}(\mathbb{R},\mathbb{R})\).
Step 2: Next, we prove that \(\Psi_{ij0}\in \operatorname {PAA}_{0}(\mathbb{R},\mathbb{R})\). In fact,
which implies that \(\Psi_{ij0}\in \operatorname {PAA}_{0}(\mathbb{R},\mathbb{R})\).
Therefore, we see that \(\Psi_{ij}: t\rightarrow \int_{-\infty}^{t}G_{ij}(t-s)\varphi_{j}(s)\,ds\) belongs to \(\operatorname {PAA}(\mathbb{R},\mathbb{R})\). □
Theorem 3.1
Suppose that assumptions \((H_{1})\)-\((H_{5})\) hold, and \(f_{j}\), \(g_{j}\), \(h_{j}\) are as in Lemma 2.2. Then system (1) has a unique pseudo almost automorphic solution in the region \(\Vert z-z_{0}\Vert \leq\frac{\delta I }{1-\delta}\), if \(\delta<1\), where
Proof
For all \(z(t)=\phi(t)^{T}=(\phi_{1}(t),\ldots,\phi_{m}(t))^{T}\in \operatorname {PAA}(\mathbb{R},\mathbb{R}^{m})\), and for any given function \(u_{i}(t)\in \operatorname {PAA}(\mathbb{R},\mathbb{R}^{m})\), we define the nonlinear operator
where
Now, we prove that
For \(z(t)\in \operatorname {PAA}(\mathbb{R},\mathbb{R}^{m})\), it follows from Lemmas 2.1, 2.2, 3.1 that the function
belongs to \(\operatorname {PAA}(\mathbb{R},\mathbb{R})\). Therefore, we can write
From Definition 2.3, we have \(E_{ij}=E_{ij1}+E_{ij0}\), where \(E_{ij1}\in \operatorname {AA}(\mathbb{R},\mathbb{R})\), \(E_{ij0}\in \operatorname {PAA}_{0}(\mathbb{R},\mathbb{R})\). Then
where \(T_{ij1}=\int_{-\infty}^{t}e^{-\int_{s}^{t}b_{i}^{\sim}(u_{i}(\tau ))\,d\tau}E_{ij1}(s)\,ds\), \(T_{ij0}=\int_{-\infty}^{t}e^{-\int_{s}^{t}b_{i}^{\sim}(u_{i}(\tau ))\,d\tau}E_{ij0}(s)\,ds\).
From the assumptions \((H_{1})\) and \((H_{2})\) and Lemma 2.3, the function \(\rho_{i}: \tau\rightarrow b_{i}^{\sim}(u_{i}(\tau))\) belongs to \(\operatorname {AA}(\mathbb{R},\mathbb{R})\).
Let \((s_{n}^{\prime})\) be a sequence of real numbers. Then it follows from Definition 2.1 that there exists a subsequence \((s_{n})\) of \((s_{n}^{\prime})\) such that for all \(t,s\in\mathbb{R}\)
and
Taking
then we have
By the Lebesgue dominated convergence theorem, we get
Similarly, we can prove that
which implies that the function \(T_{ij1}(t)\) belongs to \(\operatorname {AA}(\mathbb{R},\mathbb{R})\).
On the other hand, we have
Thus, \(T_{ij0}\in \operatorname {PAA}_{0}(\mathbb{R},\mathbb{R})\). Then \(x_{\phi_{i}}(t)\in \operatorname {PAA}(\mathbb{R},\mathbb{R})\). Therefore \(z_{(\phi)^{T}}(t)\in \operatorname {PAA}(\mathbb{R},\mathbb{R}^{m})\).
Setting \(B^{\ast}=\{z\mid z\in \operatorname {PAA}(\mathbb{R},\mathbb{R}^{m}), \Vert z-z_{0}\Vert \leq\frac{\delta I }{1-\delta}\}\), then we obtain
For every \(z\in B^{\ast}\), we get
Second, we will prove that the mapping T is a self-mapping from \(B^{\ast}\) to \(B^{\ast}\). Actually, for every \(z\in B^{\ast}\), noting that \(F_{j}^{-1}(0)=0\) and \(\vert F_{j}^{-1}(u)-F_{j}^{-1}(v)\vert \leq a_{j}^{+}\vert u-v\vert \), we have
which implies that \(T(z)(t)\in B^{\ast}\), and therefore T is a self-mapping from \(B^{\ast}\) to \(B^{\ast}\).
Finally, we will prove that the mapping T is a contraction mapping.
In view of \((H_{1})\)-\((H_{5})\), we have, for any \(z, z^{\ast}\in B^{\ast}\), where \(z=(\phi_{1},\ldots,\phi_{m})^{T}\), \(z^{\ast}=(\phi_{1}^{\ast}, \ldots,\phi_{m}^{\ast})^{T}\),
Noting that \(\delta<1\), we see that the mapping T is a contraction mapping. Hence, there exists a unique fixed point \(\varphi^{\ast}\in B^{\ast}\) such that \(T\varphi^{\ast}= \varphi^{\ast}\). Take \(u_{i}(t)=\varphi_{i}(t)\) in (4). Thus \((\varphi^{\ast})^{T}\) is a pseudo almost automorphic solution of system (3) in \(B^{\ast}\). This completes the proof. □
Corollary 3.1
In (1), assume that \(c_{ij}(t), d_{ij}(t), p_{ij}(t), I_{i}(t) \in C(\mathbb{R},\mathbb{R})\), \(\tau_{ij}(t)\in C(\mathbb{R},\mathbb {R}^{+})\) are all almost automorphic functions. \(a_{i}(u)\in C(\mathbb {R},\mathbb{R})\), \(b_{i}(u)\in \operatorname {BC}(\mathbb{R},\mathbb{R})\) and there are positive constants \(a_{i}^{+}\), \(a_{i}^{-}\), \(b_{i}^{-}\), \(b_{i}^{+}\) such that
where \(i,j= 1, 2, \ldots, m\). If the conditions \((H_{4})\)-\((H_{5})\) hold, and then system (1) has a unique almost automorphic solution.
Remark 3.1
Recently, there have been some results on the existence and uniqueness of almost automorphic solutions to cellular neural networks; for instance see [2] and [3]. However, to the best of our knowledge, there is not any paper to consider the existence and uniqueness of pseudo almost automorphic solution to Cohen-Grossberg type neural networks (1). Actually in CGNNs (1), taking \(a_{i}(u)\equiv1\), \(b_{i}(x_{i}(t))=d_{i}(t)x_{i}(t)\), \(a_{ij}(t)=c_{ij}(t)\), \(d_{ij}(t)=b_{ij}(t)\), \(p_{ij}(t)=c_{ij}(t)\), we can get the corresponding recurrent neural networks of [3]:
It should be mentioned that only the almost automorphic solution was studied in [3], and pseudo almost automorphic solution was not discussed in [3]. So, our result can be regarded as a generalization and improvement of that obtained in [3].
Remark 3.2
In [2], the authors studied the existence of k-almost automorphic sequence solution to the discrete analog of the cellular neural networks,
It should be mentioned that the activity function \(f_{j}\) in [2] was required to be global Lipschitz continuous and boundedness. However, in this paper we remove the condition of boundedness imposed on the activity functions \(f_{j}\), \(g_{j}\), \(h_{j}\) of (1).
4 The exponential stability of pseudo almost automorphic solution
In this section, we study the exponential stability of the unique pseudo almost automorphic solution of the system (1).
Theorem 4.1
Suppose that assumptions \((H_{1})\)-\((H_{5})\) hold. Let \(z^{*}(t)=(x_{1}^{*}(t),\ldots, x_{m}^{*}(t))\) be a unique pseudo almost automorphic solution to system (1) in \(B^{*}\). If \(\dot{\tau}_{ij}(t)\leq\tau^{*}<1\), \(\tau_{ij}(t)\leq\tau\), and
then there exist constants \(\varepsilon_{0}>0\) and \(k>0 \) such that for any solution \(x(t)\) of system (1), we have \(\sum_{i=1}^{m}\vert x_{i}(t)-x_{i}^{*}(t)\vert \leq k e^{-\varepsilon_{0} t }\), \(t>0\).
Proof
Let \(z^{*}(t)=(x_{1}^{*}(t),\ldots, x_{m}^{*}(t))\) be a unique pseudo almost automorphic solution to system (1) in \(B^{*}\). \(z(t)=(x_{1}(t),\ldots, x_{m}(t))\) is any solution of system (1). Consider the Lyapunov functional \(V(t)=V_{1}(t)+V_{2}(t)\), where
Calculating the Dini derivative \(D^{+}V_{i}(t)\), \(i=1,2\), we have
Noting that \(\frac{1-\dot{\tau}_{ij}(t)}{1-\tau^{*}}>1\) and \(e^{\tau-\tau _{ij}(t)}>1\), we have
So it follows that
Namely,
Define the function
By \((H_{6})\), we have
Utilizing the continuity of the function \(H(\cdot)\), there exists a real number \(\varepsilon_{0}\) such that
It means that \(D^{+}V(t)<0\). Hence \(V(t)< V(0)\), \(t>0\). On the other hand,
So
It follows from the definition of \(V(t)\) that
So,
This completes the proof. □
Remark 4.1
In [3], sufficient conditions were obtained to ensure the existence and stability of an almost automorphic solution to recurrent neural networks (5) by using the Lebesgue dominated convergence theorem and Banach fixed theorem. It is worth pointing out that the authors in [3] assumed that the kernel \(K_{ij}(\cdot)\) is almost automorphic and there exist \(M > 0\) and \(w > 0\) such that \(K_{ij} (t)\leq M e^{-t \omega}\). However, in this paper we only assume that the kernel functions \(G_{ij}(\cdot)\) are piecewise continuous, integrable, and satisfying \(\int_{0}^{+\infty}G_{ij}(u)\,du=1\), \(\int_{0}^{\infty }e^{\varepsilon_{0} u}G_{ij}(u)\,du<+\infty \), \(i,j= 1, 2, \ldots, m\). Therefore, our result has some significance in theories as well as in applications of pseudo almost automorphic solutions.
5 An example
In this section, an example is given to illustrate the feasibility of our result.
Let us consider the following simple neural network:
where the initial functions
and \(\tau_{ij}(t)=5\), \(i=1,2\), \(j=1,2\),
Let
Then we have \(a_{i}^{+}=8\), \(a_{i}^{-}=5\), \(b_{i}^{-}=2\), \(c_{ij}^{+}=d_{ij}^{+}=p_{ij}^{+}=\frac{1}{6}\), \(L_{j}^{f}=L_{j}^{g}=L_{j}^{h}=1\), where \(i,j=1,2\). Moreover,
Therefore, by Theorem 3.1, we see that system (6) has a unique pseudo almost automorphic solution. The corresponding simulation result of the solution is seen in Figure 1. Moreover, we verify the condition of Theorem 4.1:
Therefore, the pseudo almost automorphic solutions of system (6) is exponential stable.
6 Conclusions
In this paper, we have studied the existence, uniqueness, and exponential stability of pseudo almost automorphic solutions of system (1). By applying the Banach fixed point theorem and the Lyapunov functional method, some novel sufficient conditions are obtained to ensure the existence, uniqueness, and exponential stability of pseudo almost automorphic solutions of system (1). The results have an important role in the design and applications of CGNNs. Moreover, an example is given to demonstrate the effectiveness of the obtained results. In the future, we will study the other dynamic behaviors of system (1).
References
Xiao, T-J, Liang, J, Zhang, J: Pseudo almost automorphic solutions to semilinear differential equations in Banach space. Semigroup Forum 76(3), 518-524 (2008)
Abbas, S, Xia, Y: Existence and attractivity of k-almost automorphic sequence solution of a model of cellular neural networks with delay. Acta Math. Sci. 33(1), 290-302 (2013)
Chérif, F: Sufficient conditions for global stability and existence of almost automorphic solution of a class of RNNs. Differ. Equ. Dyn. Syst. 22(2), 191-207 (2014)
Diagana, T: Almost Automorphic Type and Almost Periodic Type Functions in Abstract Spaces, pp. 167-188. Spring International Publishing, Switzerland (2013)
N’Guerekata, GM: Topics in Almost Automorphy. Springer, New York (2005)
Zhao, Z, Chang, Y, N’Guerekata, GM: Pseudo-almost automorphic mild solutions to semilinear integral equations in a Banach space. Nonlinear Anal., Theory Methods Appl. 74(8), 2887-2894 (2011)
Abdurahman, A, Jiang, H: The existence and stability of the anti-periodic solution for delayed Cohen-Grossberg neural networks with impulsive effects. Neurocomputing 149, 22-28 (2015)
Cheng, L, Zhang, A, Qiu, J, Chen, X, Yang, C, Chen, X: Existence and stability of periodic solution of high-order discrete-time Cohen-Grossberg neural networks with varying delays. Neurocomputing 149, 1445-1450 (2015)
Bao, H: Dynamic analysis of stochastic fuzzy Cohen-Grossberg neural networks with time-varying delays. Adv. Differ. Equ. 2015, 196 (2015)
Xu, C, Wu, Y: Anti-periodic solutions for high-order cellular neural networks with mixed delays and impulses. Adv. Differ. Equ. 2015, 161 (2015)
Liang, T, Yang, Y, Liu, Y, Li, L: Existence and global exponential stability of almost periodic solutions to Cohen-Grossberg neural networks with distributed delays on time scales. Neurocomputing 123, 207-215 (2014)
Yu, S, Zhang, Z, Quan, Z: New global exponential stability conditions for inertial Cohen-Grossberg neural networks with time delays. Neurocomputing 151, 1446-1454 (2015)
Bochner, S: Continuous mappings of almost automorphic and almost periodic functions. Proc. Natl. Acad. Sci. 52(4), 907-910 (1964)
Acknowledgements
This work was jointly supported by the Alexander von Humboldt Foundation of Germany (Fellowship CHN/1163390), the National Natural Science Foundation of China (61374080, A010702), the Open scientific research project in Guangxi University of Finance and Economics(2015XK29), the Priority Academic Program Development of Jiangsu Higher Education Institutions, the Middle-aged and Young Teachers’ Basic Ability Promotion Project in Guangxi (ky2016yb401), and the Play of Nature Science Fundamental Research in Nanjing Xiao Zhuang University (2012NXY12).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhu, H., Zhu, Q., Sun, X. et al. Existence and exponential stability of pseudo almost automorphic solutions for Cohen-Grossberg neural networks with mixed delays. Adv Differ Equ 2016, 120 (2016). https://doi.org/10.1186/s13662-016-0831-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0831-5