\documentclass[reqno]{amsart}
\usepackage{hyperref}

\AtBeginDocument{{\noindent\small
\emph{Electronic Journal of Differential Equations},
Vol. 2008(2008), No. 07, pp. 1--10.\newline
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu
\newline ftp ejde.math.txstate.edu  (login: ftp)}
\thanks{\copyright 2008 Texas State University - San Marcos.}
\vspace{9mm}}

\begin{document}
\title[\hfilneg EJDE-2008/07\hfil Periodic solution and exponential stability]
{Periodic solutions and exponential stability for shunting inhibitory
cellular neural networks with continuously distributed delays}

\author[L. V. Hien,  T. T. Loan, D. A. Tuan\hfil EJDE-2008/07\hfilneg]
{Le Van Hien, Tran Thi Loan, Duong Anh Tuan}  % in alphabetical order

\address{Le Van Hien \newline
 Department of Mathematics\\
 Hanoi National University of education\\
 Add: 136 Xuan Thuy, Cau Giay, Hanoi, Vietnam}
\email{Hienlv@hnue.edu.vn}

\address{Tran Thi Loan\newline
Department of Mathematics\\
  Hanoi National University of education\\
 Add: 136 Xuan Thuy, Cau Giay, Hanoi, Vietnam}
\email{Tranthiloan2001@yahoo.com}

\address{Duong Anh Tuan\newline
Department of Mathematics\\
  Hanoi National University of education\\
 Add: 136 Xuan Thuy, Cau Giay, Hanoi, Vietnam}
\email{Tuanda@hnue.edu.vn}

\thanks{Submitted December 27, 2007. Published January 12, 2008.}
\subjclass[2000]{34C25, 34K13}
\keywords{Periodic solutions; exponential stability;
 unbounded delays;\hfill\break\indent
 shunting inhibitory; cellular neural networks}

\begin{abstract}
 In this paper, we consider a class of shunting inhibitory cellular
 neural networks with continuously distributed delays (SICNNs).
 The delays are unbounded and the activation function is not assumed
 to be bounded.
 Using the continuation theorems of coincidence degree theory,
 Lyapunov functional method, we obtain new sufficient conditions for
 the existence and local exponential stability of periodic solutions
 of (SICNNs). Numerical examples illustrated our results are given.
\end{abstract}

\maketitle
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{corollary}[theorem]{Corollary}

\section{Introduction}

Cellular neural networks, which was introduced in \cite{CY1,CY2},
have received much attention in the past years due to their
extensive applications in signal processing, moving image
processing, vision, pattern recognition, optimization and many
other area \cite{CY2,CU} and references therein.

Now, it has been shown that such applications of neural networks
rely on  the dynamical behaviors of the networks. Therefore, the
existence of periodic, almost periodic solutions, stability
analysis for neural networks have been wildly investigated
\cite{CW,ZX,Z1,JZ} and references therein.

Shunting inhibitory cellular neural networks (SICNNs), which was
first  proposed by Bouzerdoum and Pinter \cite{BP}, has been found
applications in may areas, such as psychophysics, speech,
perception, robotics, adaptive pattern recognition, vision and
image processing. So its dynamic behavior research has an
important significance for theory and applications.

In this paper, we study a class of shunting inhibitory cellular
neural networks with distributed time delay. The dynamics of a
cell $C_{ij}$ are described by the following equation
\begin{equation}\label{e1}
\begin{split}
\dot x_{ij}(t) &= - a_{ij}(t)x_{ij}(t) -\sum_{C_{kl}\in N_r(i,j)}
C^{kl}_{ij}f\Big(\int_0^\infty K_{ij}(u)x_{kl}{(t-u)}du\Big)x_{ij}(t)\\
&\quad +L_{ij}(t),\quad i = 1, 2, \dots, m;\; j = 1, 2,\dots, n,
\end{split}
\end{equation}
where $C_{ij}$ denote the cell at the $(i,j)$ position of the lattice,
 the $r$-neighborhood $N_r{(i,j)}$ of $C_{ij}$ is determined by
$$
N_r(i,j) =\{C_{kl}:\max(|k-i|,|l-j|)\le r,\; 1\le k\le m,\; 1\le
1\le n\}.
$$
Here $x_{ij}$ is the activity of the cell $C_{ij}, L_{ij}$ is the
external input to $C_{ij}, a_{ij}(t) > 0$ represent a passive
decay rate of the cell activity, $C^{kl}_{ij}\ge 0$ is the
connection of coupling strength of postsynaptic activity of the
cell transmitted to the cell $C_{ij}$, the activity function $f$
is a positive continuous function, representing the output or
firing rate of cell $C_{kl}$.

Using Poincar\'{e} mapping, the authors in \cite{CC} proved the
existence and global exponential stability of periodic solutions.
However, the activation function $f(.)$ was bounded, Lipschitzian
and the time delay was finite.

In recent paper \cite{ZX}, with assumptions the activation
function $f(.)$  was Lipschitzian and $f(0) = 0$, the authors give
conditions for the existence and stability of almost periodic
solutions of \eqref{e1}. However, we see that the conditions for
the stability depend on each solution of \eqref{e1}. So, it's
difficult for the stability test.

In this paper, by using coincidence degree theory, we prove the
existence and exponential stability of periodic solution of
\eqref{e1} without assumptions on boundedness and $f(0) = 0$ of
activation function.

Denote by $BC$ the Banach space of  bounded continuous
functions $\phi: (- \infty, 0] \to {\mathbb{R}}^{mn}$ with the
norm $\|\phi\| = (\sum_{i,j}\sup_{-\infty < s\leq
0}|\phi_{ij}(s)|^2)^{1/2}$.

The initial conditions associated with \eqref{e1} are of the form
\begin{equation}\label{e2}
x(\theta) =\phi(\theta),\quad \theta\in (-\infty, 0],\; \phi\in
BC.
\end{equation}
For system \eqref{e1} we consider the following hypotheses
\begin{itemize}
\item[(H1)] The delay kernels $K_{ij}: [0, \infty)\to {\mathbb{R}}$
are piecewise continuous and
 $P_{ij}(\varepsilon) = \int_0^\infty K_{ij}(u)e^{\varepsilon u}du$
 is continuous on $[0,\delta), P_{ij}(0) = 1$ for some $\delta > 0$.

\item[(H2)] The functions $a_{ij}(t), L_{ij}(t)$ are $\omega$-periodic,
$f(.)$ is positive, continuous and not assumed to be bounded on
$\mathbb{R}$.
\end{itemize}
Let $L_{ij}=\sup_{t\in{\mathbb{R}}}|L_{ij}(t)|,
a_{ij}=\inf_{t\in{\mathbb{R}}}a_{ij}(t) > 0$.


This paper is organized as follows. Section 2 presents notations,
mathematical definitions and some results from coincidence degree
theory that needed to use in the proof of main results in section
3. In section 3, we give new sufficient conditions for the
existence of periodic solutions of (SICNNs). Based on Lyapunov
functional method, the local exponential stability of the periodic
solution of (SICNNs) is established. An example illustrates our
main results is given in section 4. The paper ends with conclusion
and cited references.

\section{Preliminaries}

In this section, we recall some notations and results in
coincidence  degree theory that to be used in the proof of our
main results.

Let $\mathbb{X}, \mathbb{Y}$ be normed vector spaces,  $L:
\mathop{\rm Dom}L\subset \mathbb{X} \to \mathbb{Y}$ be a linear
operator and $N:\mathbb{X} \to\mathbb{Y}$ be a continuous mapping.
The mapping $L$ will be called a Fredholm mapping if
\begin{itemize}
\item[(a)] $\mathop{\rm Ker}L$ is a finite dimensional subspace of
$\mathbb{X}$;
\item[(b)] $\mathop{\rm Im}L$ is closed;
\item[(c)] $\mathop{\rm Im}L$ has a finite co-dimension.
\end{itemize}

 When $L$ is Fredholm mapping, its index is a integer defined by
$$
\mathop{\rm Ind}L:= \mathop{\rm dim}\mathop{\rm Ker}L- \mathop{\rm
codim}\mathop{\rm Im}L.
$$
Suppose that $L$ is Fredholm mapping of index zero, then there
exist continuous projectors $P: \mathbb{X} \to \mathbb{Y}$ and $Q:
\mathbb{Y}\to \mathbb{Y}$ such that
$$
\mathop{\rm Im}P = \mathop{\rm Ker}L, \quad
\mathop{\rm Ker}Q = \mathop{\rm Im}L = \mathop{\rm Im}(I - Q).
$$
It follows that mapping $L\big|_{\mathop{\rm Dom}L\cap \mathop{\rm
Ker} P}: \mathop{\rm Dom}L \cap \mathop{\rm Ker}P \to \mathop{\rm
Im}L$ is invertible. Denoted by $K_P$ the inversion of
$L\big|_{\mathop{\rm Dom}L\cap \mathop{\rm Ker}P}$.

Let $\Omega$ be an open and bounded subset of $\mathbb{X}$, the
mapping  $N$ is called $L-$compact on $\overline{\Omega}$ if
$QN(\overline{\Omega})$ is bounded and $K_P(I - Q)N:\Omega\to
\mathbb{X}$ is compact mapping. Since $ImQ$ is isomorphic to
$\mathop{\rm Ker}L$, there exists an isomorphism $J: ImQ\to
\mathop{\rm Ker}L$.

Next, we give the following lemma, which known as Mawhin's
continuation theorem \cite{GM}, that to be used in next section.

\begin{lemma}[\cite{GM}] \label{lem2.1}
Let $\Omega\subset\mathbb{X}$ be an open bounded set, $L$ be a
Fredholm mapping of index zero and $N:\mathbb{X}\to\mathbb{Y}$ be
a continuous mapping which is $L-$ compact on $\Omega$. Assume
that
\begin{itemize}
\item[(a)] For $\lambda\in(0, 1)$, $Lx\ne\lambda Nx$ for all
 $x\in\partial\Omega\cap \mathop{\rm Dom}L$;
\item[(b)] $QNx\ne 0$ for every $x\in\partial\Omega\cap \mathop{\rm
Ker}L$;
\item[(c)] $\mathop{\rm deg}(JQN,\Omega\cap \mathop{\rm Ker}L, 0)\ne 0$.
\end{itemize}

Then equation $Lx = Nx$ has at least one solution in
$\overline{\Omega}\cap \mathop{\rm Dom}L$.
\end{lemma}

\section{Main results}

In this section, by applying coincidence degree theory we give
sufficient conditions for the existence of periodic solutions of
the system \eqref{e1}. Next, we prove the local exponential
stability of periodic solutions of (SICNNs) \eqref{e1}.

\subsection{Existence of Periodic solutions}

\begin{theorem} \label{thm3.1}
Let hypotheses {\rm (H1), (H2)} hold. Then  \eqref{e1} has at
least one $\omega$-periodic solution.
\end{theorem}

\begin{proof}  We denote
$$
\mathbb{X}  =\{u\in C(\mathbb{R}, \mathbb{R}^{mn}): u(t+\omega) =
u(t),\; \forall t\in\mathbb{R}\}
$$
with norm
$$
\|u\| = \Big(\sum_{i,j}\max_{t\in[0,\omega]}|u_{ij}(t)|^2\Big)^{1/2}.
$$
It's easy to verify that $(\mathbb{X}, \|.\|)$ is a Banach space.
Denote $\mathop{\rm Dom}L = \mathbb{X}\cap C^1(\mathbb{R}, \mathbb{R}^{mn})$.
Consider the  linear operator
\begin{equation}\label{eq31}
L: \mathop{\rm Dom}L \to\mathbb{X},\quad Lu=\dot u(t).
\end{equation}
Then $\mathop{\rm Ker}L = \mathbb{R}^{mn}$  and
\[
\mathop{\rm Im}L = \big\{x\in\mathbb{X}: \int_0^\omega x_{ij}(t)dt = 0,\;
 i =1,\dots, m;\; j = 1,\dots n\big\}.
\]
Clearly  $\mathop{\rm Im}L$ is closed in $\mathbb{X}$ and
$\mathop{\rm dim}\mathop{\rm Ker}L = \mathop{\rm codim}\mathop{\rm
Im}L = mn$. Hence, $L$ is a Fredholm mapping of index zero.

For convenience, we denote
\begin{align*}
y(t)=y_{ij}(t) &= - a_{ij}(t)x_{ij}(t) - \sum_{C_{kl}\in N_r(i,j)}
C^{kl}_{ij}f\Big(\int_{0}^\infty K_{ij}(u)x_{kl}(t-u)du\Big)x_{ij}(t)\\
        &+L_{ij}(t).
\end{align*}
Consider the mapping $N:\mathbb{X}\to\mathbb{X},\quad Nx(t) =y(t)$.
Define two projectors $P, Q: \mathbb{X}\to\mathbb{X}$ as
\begin{equation}\label{e32}
Pu = Qu = \frac{1}{\omega}\int_0^\omega u(t)dt.
\end{equation}

Let $\Omega$ be an open bounded set in $\mathbb{X}$. Using the Arzela-Ascoli
theorem \cite{Y1}, it is easy to show that $N$ is $L$-compact on
$\overline{\Omega}$. For $\lambda\in(0, 1)$, corresponding to operator
 equation $Lx =\lambda Nx$, we have
\begin{equation}\label{e33}
\begin{aligned}
\dot x_{ij}(t) &=\lambda\Big[- a_{ij}(t)x_{ij}(t)
 - \sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}
f\Big(\int_0^\infty K_{ij}(u)x_{kl}(t-u)du\Big)x_{ij}(t)\\
&\quad +L_{ij}(t)\Big]
\end{aligned}
\end{equation}

Suppose that $x\in\mathbb{X}$ is a solution of \eqref{e33} for
some $\lambda\in(0,1), x(t) = (x_{ij}(t))$. Let
$\overline{\eta_{ij}}\in[0,\omega]$ such that
$x_{ij}(\overline{\eta_{ij}}) = \max_{t\in[0,\omega]}x_{ij}(t)$,
then
\begin{equation}\label{e34}
a_{ij}(\overline{\eta_{ij}})x_{ij}(\overline{\eta_{ij}})
+\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}
f\Big(\int_{0}^\infty K_{ij}(u)x_{kl}(\overline{\eta_{ij}}-u)du\Big)
x_{ij}(\overline{\eta_{ij}}) = L_{ij}(\overline{\eta_{ij}})
\end{equation}
Therefore, for all $i, j$,
$$
x_{ij}(\overline{\eta_{ij}})\leq\frac{L_{ij}}{a_{ij}}\,.
$$
By the same argument, let $\underline{\eta_{ij}}\in[0,\omega]$ such that $x_{ij}(\underline{\eta_{ij}}) =
\min_{t\in[0,\omega]}x_{ij}(t)$, we also have
$$x_{ij}(\underline{\eta_{ij}})\geq- \frac{L_{ij}}{a_{ij}}$$
for all $i,j$.
Denote
\[
C =\Big(\sum_{ij}L_{ij}^2\frac1{a^2}+T\Big)^{1/2},
\]
where $T > 0$, $a =\min_{i,j} a_{ij}$. Then $C$ independent of
$\lambda$. We will show that the conditions (a), (b), (c) in
Lemma \ref{lem2.1} are satisfied.

We take $\Omega =\{u\in\mathbb{X}: \|u\| < C\}$. Then $\Omega$ satisfies
condition (a) in Lemma \ref{lem2.1}.
For $u\in\partial\Omega\cap \mathop{\rm Ker}L
=\partial\Omega\cap \mathbb{R}^{mn}$, $u$ is a constant vector in
$\mathbb{R}^{mn}$ with $\|u\| = C$, we have
\begin{align*}
u^TQNu
&\le\sum_{i,j}\Big[-a_{ij}u_{ij}^2-\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}f(\int_{0}^\infty K_{ij}(s)u_{kl}ds)u_{ij}^2
+L_{ij}|u_{ij}|\Big]\\
&\le \sum_{i,j}[-a_{ij}u_{ij}^2+L_{ij}|u_{ij}|]\\
&\le -a\|u\|^2+\sum_{i,j}L_{ij}|u_{ij}| < 0.
\end{align*}
So for any $u\in\partial\Omega\cap \mathop{\rm Ker}L$, then $QNu\ne 0$.
It follows that condition (b) is satisfied.

Furthermore, from $\mathop{\rm Im}Q = \mathop{\rm Ker}L$, we choose
$J = Id$. Let
$$
\Phi(\gamma;u) = -\gamma u+(1-\gamma)QNu,\quad \gamma\in[0, 1],
 u\in\mathbb{R}.
$$
Then for any $x\in\partial\Omega\cap \mathop{\rm Ker}L, x^T\Phi(\gamma;x)
< 0$ implies $0\not\in\Phi([0,1]\times\partial\Omega\cap \mathop{\rm Ker}L)$.
According to the homotopy invariance property of mapping degree \cite{GM},
we get
$$
\mathop{\rm deg}\{JQN,\Omega\cap \mathop{\rm Ker}L,0\}
= \mathop{\rm deg}\{-Id,\Omega\cap \mathop{\rm Ker}L,0\}\ne0.
$$
Hence, condition (c) of Lemma \ref{lem2.1}. is satisfied.

Thus, by Lemma \ref{lem2.1} we conclude that $Lx = Nx$ has at least one solution
in the ball $B(0, C) = \{x\in \mathbb{X}: \|x\| < C\}$, which
concludes the proof.
\end{proof}

\subsection{Stability of periodic solutions}

In this subsection, first we prove the boundedness of solutions of the
system \eqref{e1} and then we deal with
the stability of the periodic solutions of \eqref{e1}.

\begin{definition} \label{def3.1} \rm
The periodic solution $x^*(t,\varphi^*)$ of  the system \eqref{e1}
is said to be locally exponentially stable,
if there are constants $\varepsilon > 0,\beta > 0$ and $ M \geq 1$
such that for any solution $ x(t,\varphi)$ of the system \eqref{e1}
which satisfies
$\|\varphi-\varphi^*\| <\beta$, one has
$$
|x_{ij}(t)-x_{ij}^*(t)|\le M\|\varphi-\varphi^*\|e^{-\varepsilon t},
\quad \forall t\in\mathbb{R}^+,\; i = 1,\dots , m;\; j =1,\dots ,n.
$$
If $\beta = \infty$ then  \eqref{e1} is said to be globally exponentially
stable.
\end{definition}

\begin{lemma} \label{lem3.1}
Assume that the hypotheses $H_1, H_2$ hold. Then every solution
$x(t,\varphi)$ of the system \eqref{e1} is bounded.
Moreover, we have
$$
|x_{ij}(t)|\le N_{ij}:=\max\big\{\frac{L_{ij}}{a_{ij}},
\sup_{\theta\in(-\infty,0]}|\varphi_{ij}(\theta)|\big\},\quad
\forall t\in\mathbb{R}.
$$
\end{lemma}

\begin{proof} Suppose that  the conclusion in Lemma \ref{lem3.1} is not true.
Then there exist a solution $x(t,\varphi)$ and $t > 0$
such that $|x_{ij}(t)| > N_{ij}$.

 If $x_{ij}(t) > N_{ij}$ then there exists a $t_{ij} > 0$ such that $x_{ij}(t_{ij}) > N_{ij}$ and\\ $D^+x_{ij}(t_{ij})\ge 0$.
On the other hand, we have
\begin{align*}
\dot x_{ij}(t_{ij}) &= -a_{ij}(t_{ij})x_{ij}(t_{ij})\\
&\quad -\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}f
\Big(\int_0^\infty K_{ij}(u)x_{kl}{(t_{ij}-u)}du\Big)x_{ij}(t_{ij})
 +L_{ij}(t_{ij})\\
&\le -a_{ij}(t_{ij})x_{ij}(t_{ij})+L_{ij}(t_{ij})\\
&< -a_{ij}N_{ij}+L_{ij}\le 0.
\end{align*}
Hence, $D^+x_{ij}(t_{ij}) < 0$. This is a contradiction.

If  $x_{ij}(t) < - N_{ij}$ then also there exists $t_{ij} > 0$ such
that $x_{ij}(t_{ij}) <-N_{ij}$ and $D^+x_{ij}(t_{ij})\le 0$. But
\begin{align*}
\dot x_{ij}(t_{ij}) &=  -a_{ij}(t_{ij})x_{ij}(t_{ij})\\
& \quad-\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}f
\Big(\int_0^\infty K_{ij}(u)x_{kl}{(t_{ij}-u)}du\Big)x_{ij}(t_{ij})
 +L_{ij}(t_{ij})\\
&\ge  -a_{ij}(t_{ij})x_{ij}(t_{ij})+L_{ij}(t_{ij})\\
&>  a_{ij}N_{ij}-L_{ij}\ge 0.
\end{align*}
Then we also find that it is a contradiction. Finally, we obtain
$|x_{ij}(t)|\le N_{ij}$ for all $t\in\mathbb{R}$, which concludes the proof.
\end{proof}

In what follows, we consider the assumption
\begin{itemize}
  \item [(H3)] There exists $\mu > 0$ such that
  $|f(x) - f(y)|\leq\mu|x-y|$ for all $x,y\in \mathbb{R}$.
  Also, there are constants $\xi_{ij}>0$, $\beta > 2\widetilde{C}$ such that
\begin{equation}\label{e35}
- a_{ij}\xi_{ij}+\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}M_f\xi_{ij}
 +\sum_{C_{kl}\in N_r(i,j)}\widetilde{C}C^{kl}_{ij}\mu \xi_{kl} < 0,
\end{equation}
 for $i= 1,\dots, m$; $j = 1,\dots, n$, where
$$
\widetilde{C} = \Big(\sum_{ij}L_{ij}^2\frac1{a^2}\Big)^{1/2}, \quad
M_f = \sup\big\{f(u):\quad |u|\le \widetilde{C} +\beta\big\}.
$$
\end{itemize}
From the condition (H3), there exist constants $\lambda > 0, T > 0$,
such that
\begin{equation}\label{e36}
(\lambda -a_{ij})\xi_{ij}+\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}M_f^*\xi_{ij}
+\sum_{C_{kl}\in N_r(i,j)}C^*C^{kl}_{ij}\mu P_{ij}(\lambda)\xi_{kl}<0,
\end{equation}
for  $i=1,\dots ,m$; $j =1,\dots ,n$,
where
\[
C^*= \Big(\sum_{ij}L_{ij}^2\frac1{a^2}+T\Big)^{1/2} < \beta, \quad
M_f^* = \sup \{f(u):\quad |u|\le C^*+\beta\}.
\]
The next theorem deals with the uniqueness and locally exponential
stability of periodic solution of \eqref{e1}.

\begin{theorem} \label{thm3.2}
Assume that hypotheses {\rm(H1)--(H3)} hold.
Then  \eqref{e1} has a unique $\omega$-periodic solution
$x^*(t,\varphi^*)$ in the region
$B =\{\varphi\in BC: \|\varphi\| < \frac{\beta}2\}$,
which is locally exponentially stable. Moreover the attractive domain
of $x^*$ is given as
$D(\varphi^*) =\{\varphi\in BC:\quad \|\varphi-\varphi^*\|\le\beta\}$.
\end{theorem}

\begin{proof}
 By Theorem \ref{thm3.1}, there exists a $\omega$-periodic solution of
 \eqref{e1} $x^*(t) = x^*(t,\varphi^*)$ satisfies
$\|x^*(t)\| < C^*,\quad t\in \mathbb{R}$. Let  $x(t)$ is a arbitrary
solution of \eqref{e1} with initial function
$\varphi$ satisfies $\|\varphi-\varphi^*\|\le\beta$.
It follows that $\|\varphi\|\le \|\varphi^*\| +\beta<C^*+\beta$ and
from Lemma \ref{lem3.1}, we have
$$
|x_{ij}(t)|\le N_{ij}<C^*+\beta,\quad \forall t\in\mathbb{R}.
$$
Setting $z(t) = x(t) - x^*(t)$, the we have
\begin{equation} \label{e37}
\begin{split}
\dot z_{ij}(t) = & -a_{ij}(t)z_{ij}(t)-\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}f
\Big(\int_{0}^\infty K_{ij}(u)x_{kl}(t-u)du\Big)x_{ij}(t)\\
&+\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}f
\Big(\int_{0}^\infty K_{ij}(u)x^*_{kl}(t-u)du\Big)x^*_{ij}(t).
\end{split}
\end{equation}
Consider the Lyapunov functionals
$$
V_{ij}(t) = |z_{ij}(t)|e^{\lambda t},\quad i = 1,\dots , m;\;
j = 1,\dots , n,
$$
where $\lambda > 0$ is determined from \eqref{e36}.

Putting $A=\frac{(1+\alpha)}{\xi_{\min}}\|\varphi-\varphi^*\|$,
$\xi_{min} = \min_{i,j}\xi_{ij}$, $\alpha > 0$. We will show
that
$$
V_{ij}(t)\leq \xi_{ij}A,\quad \text{ for  }i = 1,\dots,m;\;
j = 1,\dots n;\; t\in\mathbb{R}^+.
$$
Indeed, if this is not true, then there exists $i, j$ and $t_{ij}> 0$
such that:
$V_{ij}(t)\leq\xi_{ij}A$ and $V_{kl}(t)\leq \xi_{kl}A, (k,l)\ne
(i,j)$, for all $t < t_{ij}$ and $V_{ij}(t_{ij}) = \xi_{ij}A$,
$D^+V_{ij}(t_{ij})\geq 0$.

Taking Dini derivative of $V_{ij}(t)$ along trajectories of \eqref{e1},
we have
\begin{align*}
D^+V_{ij}(t_{ij})
&\leq e^{\lambda t_{ij}}(\lambda -a_{ij}(t_{ij}))|z_{ij}(t_{ij})|\\
&\quad +e^{\lambda t_{ij}}\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}\Big|f
 \Big(\int_{0}^\infty K_{ij}(u)x_{kl}(t_{ij}-u)du\Big)x_{ij}(t_{ij})\\
&\quad -f\Big(\int_{0}^\infty K_{ij}(u)x^*_{kl}(t_{ij}-u)du\Big)x^*_{ij}(t_{ij})
 \Big|\\
&\le e^{\lambda t_{ij}}(\lambda -a_{ij}(t_{ij}))|z_{ij}(t_{ij})|\\
&\quad +e^{\lambda t_{ij}}\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}\Big|f
 \Big(\int_{0}^\infty K_{ij}(u)x_{kl}(t_{ij}-u)du\Big)x^*_{ij}(t_{ij})\\
&\quad -f\Big(\int_{0}^\infty K_{ij}(u)x^*_{kl}(t_{ij}-u)du\Big)x^*_{ij}
 (t_{ij})\Big|\\
&\quad +e^{\lambda t_{ij}}\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}f
 \Big(\int_{0}^\infty K_{ij}(u)x_{kl}(t_{ij}-u)du\Big)
 |x_{ij}(t_{ij})-x^*_{ij}(t_{ij})|\\
&\le e^{\lambda t_{ij}}\Big((\lambda -a_{ij}(t_{ij}))|z_{ij}(t_{ij})|
 +\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}M_f^*|z_{ij}(t_{ij})|\\
&\quad +\sum_{C_{kl}\in N_r(i,j)}C^*C^{kl}_{ij}\mu\int_0^\infty K_{ij}(u)
 |z_{kl}(t_{ij}-u)|du\Big)\\
&= (\lambda -a_{ij}(t_{ij}))V_{ij}(t_{ij})+\sum_{C_{kl}\in N_r(i,j)}
 C^{kl}_{ij}M_f^*V_{ij}(t_{ij})\\
&\quad +\sum_{C_{kl}\in N_r(i,j)}C^*C^{kl}_{ij}\mu
  \int_0^\infty K_{ij}(u)V_{kl}(t_{ij}-u)e^{\lambda u}du\\
&\le \Big((\lambda -a_{ij}(t_{ij}))\xi_{ij}+\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}M_f^*\xi_{ij}\\
&\quad +\sum_{C_{kl}\in N_r(i,j)}C^*C^{kl}_{ij}\mu P_{ij}(\lambda)
 \xi_{kl}\Big)A.
\end{align*}
From \eqref{e36} we have $D^+ V_{ij}(t_{ij}) < 0$. This is a contradiction.
Hence we have, $V_{ij}(t)\le \xi_{ij}A$ for all $i = 1,\dots, m$;
$j = 1,\dots, n$, $t\in\mathbb{R}^+$ and therefore
$$
|z_{ij}(t)|\le \frac{(1+\alpha)\xi_{ij}}{\xi_{\min}}
 e^{-\lambda t}\|\varphi-\varphi^*\|,\quad\forall t\ge 0.
$$
This inequality shows that the periodic solution of \eqref{e1}
is exponentially stable. The proof is completed.
\end{proof}

For the global exponential stability, in \cite{CC} the authors
consider (SICNNs) with bounded activation function with constant time delay.
When the activation function $f$ is assume to be bounded, condition
(H3) is replaced by
\begin{itemize}
\item[(H3')] There exists $\mu > 0$ such that
$|f(x) - f(y)|\le\mu|x-y|$ for all $x,y\in\mathbb{R}$ and also
there are constants $\xi_{ij}>0$ such that
\begin{equation}\label{e38}
-a_{ij}\xi_{ij}+\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}M_f\xi_{ij}
+\sum_{C_{kl}\in N_r(i,j)}\widetilde{C}C^{kl}_{ij}\mu \xi_{kl}<0,
\end{equation}
for $i = 1,\dots , m$; $j =1,\dots , n$, where
$$
\widetilde{C} = \Big(\sum_{ij}L_{ij}^2\frac1{a^2}\Big)^{1/2},\quad
M_f = \sup \{f(u): u\in\mathbb{R}\}.
$$
\end{itemize}
In this case, we have the following results.

\begin{corollary} \label{coro3.3}
Assume that the hypotheses {\rm (H1), (H2)} and {\rm(H3')} hold. Then  \eqref{e1}
has a unique $\omega$-periodic solution $x^*(t,\varphi^*)$ which
is globally exponentially stable.
\end{corollary}

\section{Example}

In this section, we give an numerical example to illustrate
 our obtained results.
Consider (SICNNs) described by the  system
\begin{equation}\label{e41}
\begin{split}
\dot x_{ij}(t) &= - a_{ij}(t)x_{ij}(t)-\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}f\left(\int_0^\infty K_{ij}(u)x_{kl}{(t-u)}du\right)x_{ij}(t)\\
&\quad +L_{ij}(t),\quad i, j = 1, 2, 3,
\end{split}
\end{equation}
where
$$
\begin{pmatrix}
 a_{11}(t) & a_{12}(t) & a_{13}(t) \\
a_{21}(t) &a_{22}(t) & a_{23}(t)\\
 a_{31}(t) &  a_{32}(t) &  a_{33}(t) \\
\end{pmatrix}=\begin{pmatrix}
 2+\cos^2t &3+|\cos t| &2 + |\sin t| \\
2+0.5\sin^2t & 2+|\sin t\cos t|& 3+|\cos 2t| \\
3+|\sin t| & 2+|\sin 2t|& 2+\cos^22t \\
\end{pmatrix},$$
and
$$\begin{pmatrix}
 L_{11}(t) & L_{12}(t) & L_{13}(t) \\
L_{21}(t) &L_{22}(t) & L_{23}(t)\\
 L_{31}(t) &  L_{32}(t) &  L_{33}(t) \\
\end{pmatrix}=\begin{pmatrix}
 0.6\sin t & 0.1\cos 3t & 0.4\cos t \\
0.3\sin 2t & 0.2\sin 3t & 0.3\cos 3t \\
0.5\cos 2t& 0.5|\sin t| & 0.2|\cos t|\\
\end{pmatrix}$$
$$\begin{pmatrix}
 C_{11} & C_{12} & C_{13} \\
C_{21}&C_{22} & C_{23}\\
 C_{31} &  C_{32} &  C_{33}\\
\end{pmatrix}=\begin{pmatrix}
 0.2& 0.1 & 0.1 \\
0.15 &0.3 & 0 \\
0.1& 0.25 &0.1 \\
\end{pmatrix},$$
Taking  $r = 1,K_{ij}(u) = e^{-u}$ and $f(x) =\frac16|x-1|$, we have
\begin{gather*}
\mu = \frac16;\quad
\widetilde{C} = \Big(\sum_{ij}\frac{L^2_{ij}}{a^2}\Big)^{1/2}< 1\\
\sum_{C_{kl}\in N_1(1,1)}C^{kl}_{11} = 0.75,\quad
\sum_{C_{kl}\in N_1(1,2)}C^{kl}_{12} = 0.85, \quad
\sum_{C_{kl}\in N_1(1,3)}C^{kl}_{13}= 0.5;\\
\sum_{C_{kl}\in N_1(2,1)}C^{kl}_{21}=1.1,\quad
\sum_{C_{kl}\in N_1(2,2)}C^{kl}_{22}=1.3,\quad
\sum_{C_{kl}\in N_1(2,3)}C^{kl}_{23}= 0.85;\\
\sum_{C_{kl}\in N_1(3,1)}C^{kl}_{31}= 0.8,\quad
\sum_{C_{kl}\in N_1(3,2)}C^{kl}_{32} = 0.9,\quad
\sum_{C_{kl}\in N_1(3,3)}C^{kl}_{33}= 0.65.
\end{gather*}
We choose $\beta = 6$, $\xi_{ij}=1$ then $M_f = 4/3$ and we have
\begin{align*}
&-a_{ij}\xi_{ij}+\sum_{C_{kl}\in N_r(i,j)}C^{kl}_{ij}M_f\xi_{ij}
 +\sum_{C_{kl}\in N_r(i,j)}\widetilde{C}C^{kl}_{ij}\mu \xi_{kl}\\
&<-2+\frac43\times 1.3+\frac16\times 1.3 < 0,\quad i, j = 1, 2, 3.
\end{align*}
According to Theorem \ref{thm3.2}, System \eqref{e1} has a unique
periodic solution $x^*(t,\varphi^*)$ in the region
$B = \{\varphi:\|\varphi\| < 3\}$ which is locally exponentially
stable with the attractive domain
$D(\varphi^*) =\{\varphi\in BC: \|\varphi-\varphi^*\|\leq6\}$.

Note that, the activation function $f(x)$ is not bounded and $f(0)\ne 0$,
 so the results in \cite{ZX,CC} are not applicable for this example.

\subsection*{Conclusions}
This paper addressed the existence and local exponential stability of
periodic solutions of (SICNNs) with continuously distributed delays.
By using coincidence degree theory, we give new sufficient conditions
for the existence and locally exponential stability of periodic solutions
of (SICNNs) without assumption of boundedness on the activation function.
The results are new and complement previously known results.

\subsection*{Acknowledgments}
The authors would like to thank the associate editor and the anonymous
reviewers for their constructive comments and suggestions to improve
the quality of this paper.

\begin{thebibliography}{00}

\bibitem{BP} A. Bouzerdoum and R. B. Pinter;
\emph{Shunting inhibitory cellular neural networks: Derivation and
stability analysis},  IEEE Transactions on Circuits and Systems:
1-Fundamental Theory and Applications, {\bf 40}(1993), 215-221.

\bibitem{CU} A. Cichocki and R. Unbehauen,
\emph{Neural networks for Optimization and Signal Processing},
Wiley, Chichester, 1993.

\bibitem{CW} J. Cao and J. Wang;
\emph{Global exponential stability and periodicity of recurrent
neural networks with time delays}, IEEE Trans. on Circuits and Systems -I:
Regular paper, {\bf 52:5}, May, (2005).

\bibitem{CC} A. Chen, J. Cao and L. Huang;
\emph{Periodic solution and global exponential stability for shunting
inhibitory delayed cellular neural networks},  Electron. J. of Diff.
Equations, {\bf 2004} (2004), No 29, 1-16.

\bibitem{CY1} L. O. Chua and L. Yang;
\emph{Cellular neural network: Application},
IEEE.Trans.Circuits Syst., {\bf 35:10}(1988), 1273-1290.

\bibitem{CY2} L. O. Chua and L. Yang;
\emph{Cellular neural network: Theory}, IEEE.Trans.Circuits Syst.,
{\bf 35:10}(1988), 1257-1272.

\bibitem{F} R. Fengli and J. Cao;
\emph{Periodic oscillation of higher-order BAM neural networks with
periodic coefficients and delays},
Nonlinearity, {\bf 20:3}(2007), 605-629.

\bibitem{GM} R. E. Gaines and J. L. Mawhin,
\emph{Coincidence Degree and Nonlinear Differential Equations},
Springer-Verlag, Berlin, 1977.

\bibitem{JZ}  H. Jiang, L. Zhang and Zh. Teng;
\emph{Existence and global exponential stability of almost periodic
solution for cellular
Neural Networks with variable coefficients and time - varying delays},
IEEE Trans. on Neural Networks, {\bf 16:6} (2005), 1340-1351.

\bibitem{LC}  H. Lu, F. Chung and Z. He;
\emph{Some sufficient conditions for global exponential stability of
delayed Hopfield neural networks}, Neural networks, {\bf 17}(2004), 537-544.

\bibitem{XC} H. Xia and J. Cao;
\emph{Almost periodic solution of shunting inhibitory cellular neural
networks with time-varying delays},
Physic Letter A, {\bf 314:3} (2003), 222-231.

\bibitem{XCH} Y. Xia, J. Cao and H. Zhenkun;
\emph{Existence and exponential stability of almost periodic solution
for shunting inhibitory cellular neural networks with impulses},
Chaos, Solitons and Fractals, {\bf 34:5} (2007), 1599-1607.

\bibitem{Y1} K. Yosida,
\emph{Functional Analysis (sixth edition)},
Springer-Verlag, Berlin-Heidelberg -New York, 1980.

\bibitem{Z2}  J. Zhang;
\emph{Absolute stability of a class of neural networks with unbounded delay},
Inter.J. of Circuit theory and Appl., {\bf 32}(2004), 11-21.

\bibitem{ZS}  J. Zhang, Y. Suda and T. Iwasa;
\emph{Absolutely exponential stability of a class of neural networks
with unbounded delay}, Neural networks, {\bf 17}(2004), 391-397.

\bibitem{Z1}  H. Zhao;
\emph{Global asymptotic stability of Hopfield neural network
involving distributed delays}, Neural networks, {\bf 17}(2004), 47-53.

\bibitem{ZX} Q. Zhou, B. Xiao and Y. Yu;
\emph{Existence and stability of almost periodic solutions for
shunting inhibitory cellular neural networks with continuously
distributed delays}, Electron. J. of Diff. Equations, {\bf 2006} (2006),
no. 19, 1-10.

\end{thebibliography}
\end{document}
