Abstract
Existence of piecewise differentiable pseudo almost-periodic solutions for a class of impulsive high-order Hopfield neural networks with leakage delays are established by employing the fixed point theorem, differential inequality and Lyapunov functionals. The results of this paper are new and they supplement previously known works. Numerical example with graphical illustration is given to illuminate our main results.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
In recent years, high-order Hopfield recurrent neural networks have attracted the attention of many scientists : mathematicians, computer scientists, physicists and other. This is due to the fact that high-order neural networks have stronger approximation property, faster convergence rate, greater storage capacity, and higher fault tolerance than lower-order neural networks [1–10].
Time delays, which is inevitably encountered in the neural networks, is often one of the main sources to cause poor performance, make the dynamic behaviors become more complex, may destabilize the stable equilibria and admit oscillations, bifurcation and chaos [7, 14–20]. Therefore, it is of prime importance to consider the delay effects on the stability of neural networks. Recently, Xiao and Meng [6] studied the high-order Hopfield neural networks (HHNNs) with time-varying delays described by
In addition, the time delay in the negative feedback terms which is known as leakage have a tendency to destabilize the system [21–24] and have great impact on the dynamical behavior of neural networks. This is to say, it is necessary to consider the effect of leakage delays when studying the stability of state estimation of neural networks.
Moreover, it is known that the existence and the stability of the almost periodic solution play a key role in characterizing the behavior of dynamical system [25–32]. Thus, it is worth while to continue to investigate the existence and stability of almost periodic solution to high-order neutral networks.
The dynamics of evolving processes is usually subjected to suddenly changes such as shocks, harvesting, and natural disasters [11–13]. Often these short-term perturbations are treated as having acted instantaneously or in the form of impulses. High-order recurrent neural networks are often subject to impulsive perturbations that in turn affect the dynamical behaviors. Xu et al. [8] studied the following impulsive high-order Hopfield type neural networks with delays as follows
There have been extensive results on the existence and stability of equilibrium points, periodic solutions, almost periodic solutions and anti-periodic solutions for high-order neural networks. However, to the best of our knowledge, there are no published papers considering the piecewise differentiable pseudo almost periodic solutions for impulsive high-order Hopfield neural networks with time-varying delays in the leakage terms.
In this paper, we discuss piecewise differentiable pseudo almost periodic solutions for impulsive high-order Hopfield neural networks (IHOHNNs) with time-varying delays in the leakage terms
in which n corresponds to the number of units in a neural network, \(x_{i}(t)\) corresponds to the state vector of the \(i^{th}\) unit at the time \(t, c_{i}(t)> 0\) represents the rate with which the \(i^{th}\) unit will reset its potential to the resting state in isolation when disconnected from the network and external inputs at the time \(t, a_{ij}(.), b_{ij}(.)\) and \(\alpha _{ijl}(.), \beta _{ijl}(.)\) are respectively the first-order connection weights and the second-order connection weights of the neural network, \(0 \le \tau _{ij}(t), \sigma _{ij}(t), \nu _{ij}(t) \le \tau , 0 \le \rho (t) \le \rho ^{+}\) correspond to the transmission delays, \(d_{ij}(.), h_{ijl}(.)\) and \(k_{ijl}(.)\) correspond to the transmission delay kernels, \(J_{i}(t)\) denote the external inputs at time t, and \(g_{j}\) is the activation function of signal transmission. The sequence \(\{ t_{k}\}\) has no finite accumulation point and \(I_{k} : \mathbb {R}^{n} \longrightarrow \mathbb {R}, k \in \mathbb {Z}\).
The main aim of this article is to establish some sufficient conditions for the existence, uniqueness and exponential stability of piecewise differentiable pseudo almost periodic solutions of Eq. (1).
Throughout this paper, for \(i,j,l \!=\! 1,2,\dots ,n\), it will be assumed that \(a_{ij}, b_{ij}, \alpha _{ijl}, \beta _{ijl}, J_{i}\!: \mathbb {R} \longrightarrow \mathbb {R}\) are pseudo almost periodic functions, and let the positive constant \(\overline{a}_{ij}, \overline{b}_{ij}, \overline{\alpha }_{ijl}, \overline{\beta }_{ijl}\) and \(\overline{J}_{i}\) such that
We also assume that the following conditions (H1)–(H6) hold.
-
(H1)
For each \( j = \{1,2,\dots ,n\}\), there exist nonnegative constants \( L^{g}_{j}\) and \( M^{g}_{j}\) such that
$$\begin{aligned} g_{j}(0)= 0, \, \, \, |g_{j}(u)- g_{j}(v)|\le L^{g}_{j} |u-v |, \, \, and \, |g_{j}(u)|\le M^{g}_{j}, \, \, \, \hbox { for all } \, u,v \in \mathbb {R}. \end{aligned}$$ -
(H2)
For \(i,j,l \in \{1,2,\dots ,n\}\), the delay kernels, \(d_{ij},h_{ijl},k_{ijl} : [0, \infty ) \longrightarrow \mathbb {R}\) are continuous, and there exist nonnegative constants \(d^{+}_{ij},h^{+}_{ijl},k^{+}_{ijl},\eta _{d}, \eta _{h}, \eta _{k} \) such that
$$\begin{aligned} |d_{ij}(u)|\le d^{+}_{ij} e^{-\eta _{d} u }, \, |h_{ijl}(u)|\le h^{+}_{ijl} e^{-\eta _{h} u }, \, |k_{ijl}(u)|\le k^{+}_{ijl} e^{-\eta _{k} u }. \end{aligned}$$ -
(H3)
For all \(1\le i \le n\) the functions \(t \mapsto c_{i}(t)\) are almost periodic and
$$\begin{aligned} 0<c_{i*} = \inf _{t \in \mathbb {R}} \big ( c_{i}(t) \big ),\, \, c^{+}_{i} = \sup _{t \in \mathbb {R}} \big ( c_{i}(t) \big ).\, \, \end{aligned}$$ -
(H4)
\(I_{k} \in PAP(\mathbb {Z},\mathbb {R}^{n})\) and there exists a constant \(L_{1}\) such that \(0<L_{1}<1\) and
$$\begin{aligned} \parallel I_{k}(u)-I_{k}(v)\parallel \le L_{1} \parallel u-v\parallel ,\, \, u,v \in \mathbb {R}^{n},\, k \in \mathbb {Z}. \end{aligned}$$ -
(H5)
Assume that there exist nonnegative constants L, p and q such that
$$\begin{aligned}&\max _{1 \le i \le n} \max \left\{ \frac{\overline{J}_{i}}{c_{i*}}, \left( 1+\frac{c_{i}^{+}}{c_{i*}}\right) \overline{J}_{i}\right\} = L\\&p= \max _{ 1 \le i \le n} \max \left\{ \Big (c^{-1}_{i*} \big [ c_{i}^{+} \rho ^{+} +\sum _{j=1}^{n} \overline{a}_{ij} L^{g}_{j}+ \sum _{j=1}^{n} \overline{b}_{ij} \frac{d^{+}_{ij}}{\eta _{d}} L^{g}_{j} +\sum _{j=1}^{n} \sum _{l=1}^{n} \overline{\alpha }_{ijl} L^{g}_{j} M^{g}_{l} \right. \\&\quad \quad +\sum _{j=1}^{n} \sum _{l=1}^{n} \overline{\beta }_{ijl} \frac{h^{+}_{ijl}}{\eta _{h}} \frac{k^{+}_{ijl}}{\eta _{k}} L^{g}_{j} M^{g}_{l} \big ]+ \frac{L_{1}}{1-e^{-c_{i*}}}\Big ),\left( \left( 1+ \frac{c^{+}_{i}}{c_{i*}}\right) \big [ c_{i}^{+} \rho ^{+}\right. \\&\qquad \left. +\sum _{j=1}^{n} \overline{a}_{ij} L^{g}_{j}+ \sum _{j=1}^{n} \overline{b}_{ij} \frac{d^{+}_{ij}}{\eta _{d}} L^{g}_{j} +\sum _{j=1}^{n} \sum _{l=1}^{n} \overline{\alpha }_{ijl} L^{g}_{j} M^{g}_{l} \right. \\&\quad \quad \left. \left. +\sum _{j=1}^{n} \sum _{l=1}^{n} \overline{\beta }_{ijl} \frac{h^{+}_{ijl}}{\eta _{h}} \frac{k^{+}_{ijl}}{\eta _{k}} L^{g}_{j} M^{g}_{l} \big ]+ \frac{c_{i}^{+}L_{1}}{1-e^{-c_{i*}}}\right) \right\} <1,\\ \end{aligned}$$$$\begin{aligned}&q = \max _{1 \le i \le n} \max \left\{ \left( c^{-1}_{i*} \left[ c_{i}^{+} \rho ^{+} +\sum _{j=1}^{n} \overline{a}_{ij} L^{g}_{j}+\sum _{j=1}^{n} \overline{b}_{ij} \frac{d^{+}_{ij}}{\eta _{d}} L^{g}_{j}\right. \right. \right. \\&\quad \quad + \sum _{j=1}^{n} \sum _{l=1}^{n} \overline{\alpha }_{ijl} \left( L^{g}_{j} M^{g}_{l}+ M^{g}_{j} L^{g}_{l}\right) \\&\quad \quad \left. \left. + \sum _{j=1}^{n} \sum _{l=1}^{n} \overline{\beta }_{ijl} \frac{h^{+}_{ijl}}{\eta _{h}} \frac{k^{+}_{ijl}}{\eta _{k}} \left( L^{g}_{j} M^{g}_{l}+ M^{g}_{j} L^{g}_{l}\right) \right] + \frac{L_{1}}{1-e^{-c_{i*} }} \right) ,\left( \left( 1+\frac{c^{+}_{i}}{c_{i*} }\right) \left[ c_{i}^{+} \rho ^{+}\right. \right. \\&\quad \quad +\sum _{j=1}^{n} \overline{a}_{ij} L^{g}_{j}+\sum _{j=1}^{n} \overline{b}_{ij} \frac{d^{+}_{ij}}{\eta _{d}} L^{g}_{j}\\&\quad \quad + \sum _{j=1}^{n} \sum _{l=1}^{n} \overline{\alpha }_{ijl} \left( L^{g}_{j} M^{g}_{l}+ M^{g}_{j} L^{g}_{l}\right) \\&\quad \quad \left. \left. \left. + \sum _{j=1}^{n} \sum _{l=1}^{n} \overline{\beta }_{ijl} \frac{h^{+}_{ijl}}{\eta _{h}} \frac{k^{+}_{ijl}}{\eta _{k}} \left( L^{g}_{j} M^{g}_{l}+ M^{g}_{j} L^{g}_{l}\right) \right] + \frac{ c_{i}^{+}L_{1}}{1-e^{-c_{i*} }} \right) \right\} < 1. \end{aligned}$$ -
(H6)
There exist positive constants \(p_{i}\) and \( q_{i}\), such that: for \(t \in [0, \infty ), i = 1,2,\dots ,n\)
$$\begin{aligned}&p_{i}c_{i}(t) - q_{i} c_{i}^{+} \rho ^{+} - \sum _{j=1}^{n} p_{j} |a_{ij}(t) |L_{j}^{g} -\sum _{j=1}^{n} p_{j} |b_{ij}(t) |\frac{d_{ij}}{\eta _{d}} L_{j}^{g} \nonumber \\&\quad - \sum _{j=1}^{n} \sum _{l=1}^{n} |\alpha _{ijl}(t) |[ p_{j} L_{j}^{g} M_{l}^{g}+ p_{l} M_{j}^{g} L_{l}^{g}] \nonumber \\&\quad - \sum _{j=1}^{n} \sum _{l=1}^{n} |\beta _{ijl}(t) |\frac{h_{ijl}^{+}}{\eta _{h}} \frac{k_{ijl}^{+}}{\eta _{k}}[ p_{j} L_{j}^{g} M_{l}^{g}+ p_{l} M_{j}^{g} L_{l}^{g}]> 0,\\&q_{i}- p_{i}c_{i}(t) - q_{i} c_{i}^{+} \rho ^{+} - \sum _{j=1}^{n} p_{j} |a_{ij}(t) |L_{j}^{g} -\sum _{j=1}^{n} p_{j} |b_{ij}(t) |\frac{d_{ij}}{\eta _{d}} L_{j}^{g} \nonumber \\&\quad - \sum _{j=1}^{n} \sum _{l=1}^{n} |\alpha _{ijl}(t) |[ p_{j} L_{j}^{g} M_{l}^{g}+ p_{l} M_{j}^{g} L_{l}^{g}] \nonumber \\&\quad - \sum _{j=1}^{n} \sum _{l=1}^{n} |\beta _{ijl}(t) |\frac{h_{ijl}^{+}}{\eta _{h}} \frac{k_{ijl}^{+}}{\eta _{k}}[ p_{j} L_{j}^{g} M_{l}^{g}+ p_{l} M_{j}^{g} L_{l}^{g}] > 0, \end{aligned}$$
Throughout this paper, we will first recall some basic definitions and lemmas which are used in what follows.
-
\(\mathbb {N}, \mathbb {Z}\) and \(\mathbb {R}\) stand for the set of natural numbers, integer numbers and real numbers, respectively.
-
\(C(\mathbb {R},\mathbb {R}^{n})\): the set of continuous functions from \(\mathbb {R}\) to \(\mathbb {R}^{n}\).
-
\(BC(\mathbb {R},\mathbb {R}^{n})\): the set of bounded continuous functions from \(\mathbb {R}\) to \(\mathbb {R}^{n}\). Note that \((BC(\mathbb {R},\mathbb {R}^{n}),\parallel . \parallel _{\infty })\) is a Banach space where \(\parallel . \parallel _{\infty } \) denotes the sup norm
$$\begin{aligned} \parallel f \parallel _{\infty }:= \max _{1 \le i \le n} \sup _{t \in \mathbb {R}} |f_{i}(t) |. \end{aligned}$$ -
Let T be the set consisting of all real sequences \(\{t_{i}\}_{i \in \mathbb {Z}}\) such that \( \alpha = \inf \limits _{i \in \mathbb {Z}} ( t_{i+1} - t_{i}) > 0.\) It is immediate that this condition implies that \(\lim \limits _{i \rightarrow +\infty } t_{i} = +\infty \) and \(\lim \limits _{i \rightarrow -\infty } t_{i} = -\infty \).
-
\(PC(\mathbb {R},\mathbb {R}^{n})\): the space of all piecewise continuous functions \(f : \mathbb {R} \rightarrow \mathbb {R}^{n} \) such that
-
f(.) is continuous at t for any \(t \not \in \{t_{i}, i \in \mathbb {Z}\}\),
-
\(f(t_{i}^{+}), f(t_{i}^{-})\) exists and \(f(t_{i}^{-})= f(t_{i})\) for all \(i \in \mathbb {Z}\).
-
-
\(PC([-\tau , 0],\mathbb {R}^{n}) \!=\! \big \{ f : [-\tau , 0] \rightarrow \mathbb {R}^{n} | f(t^{-})= f(t), \hbox { for } t \in [-\tau , 0], f(t^{+}) \hbox { exists on} \mathbb {R} \hbox { and } f(t^{+})= f(t) \hbox { for all but at most a finite number of points } \hbox { on } [-\tau , 0]. \big \},\)
-
\(PC^{1}([-\tau , 0],\mathbb {R}^{n}) \!= \!\big \{ f : [-\tau , 0] \!\rightarrow \! \mathbb {R}^{n} | f'(t^{+}) \hbox { and } f'(t^{-})) \hbox { exist }, f'(t) \!=\! f'(t^{-}) \hbox { for} t \in [-\tau , 0], f'(t^{+})=f'(t) \hbox { for all but at most a finite number of points} \hbox {on } [-\tau , 0]. \big \},\)
-
\(l^{\infty }(\mathbb {Z},\mathbb {R}^{n})= \big \{ x : \mathbb {Z} \rightarrow \mathbb {R}^{n} : \parallel x \parallel = \sup \limits _{n \in \mathbb {Z}} \parallel x(n) \parallel < \infty \big \}.\)
Definition 1
[32]. A function \(f \in C(\mathbb {R},\mathbb {R}^{n})\) is called (Bohr) almost periodic if for each \(\varepsilon > 0\) there exists \(L(\varepsilon )>0\) such that every interval of length \(L(\varepsilon )>0\) contains a number \(\tau \) with the property that \(\parallel f(t+\tau )-f(t) \parallel _{\infty } < \varepsilon ,\) for each \(t\in \mathbb {R}\).
The number \(\tau \) above is called an \(\varepsilon \)-translation number of f, and the collection of all such functions will be denoted as \(AP(\mathbb {R},\mathbb {R}^{n})\).
Definition 2
[32]. A sequence \(\{x_{n}\}\) is called almost periodic if for any \(\epsilon > 0\), there exists a relatively dense set of its \(\epsilon \)-periods, i.e., there exists a natural number \(l = l(\epsilon )\), such that for \(k \in \mathbb {Z}\), there is at least one number p in \([k,k+l]\), for which inequality \(\parallel x_{n+p} - x_{n} \parallel < \epsilon \) holds for all \(n \in \mathbb {N}\). Denote by \(AP(\mathbb {Z},\mathbb {R}^{n})\), the set of such sequences.
Define
Remark 1
Notice that
-
1.
A sequence vanishing at infinity is a \(PAP_{0}(\mathbb {Z},\mathbb {R})\) sequence.
-
2.
The sequence \((x(n))_{n \in \mathbb {Z}}\) defined by
$$\begin{aligned} x(n)= \left\{ \begin{array}{ll} 1, &{} n = 2^{k}, \\ 0, &{} n \ne 2^{k}, \end{array} \right. \end{aligned}$$is an example of a \(PAP_{0}(\mathbb {Z},\mathbb {R})\) sequence which not vanishing at infinity.
-
3.
For \(k \in \mathbb {N}\), the sequence \((x(n))_{n \in \mathbb {Z}}\) defined by
$$\begin{aligned} x(n)= \left\{ \begin{array}{ll} k, &{} n = 2^{k^{2}}, \\ 0, &{} n \ne 2^{k^{2}}, \end{array} \right. \end{aligned}$$is an example of an unbounded \(PAP_{0}(\mathbb {Z},\mathbb {R})\) sequence.
Definition 3
[32]. A sequence \(\{x_{n}\}_{n \in \mathbb {Z}} \in l^{\infty }(\mathbb {Z},\mathbb {R}^{n})\) is called pseudo almost periodic if \( x_{n} = x_{n}^{1}+ x_{n}^{2}\), where \(x_{n}^{1} \in AP(\mathbb {Z},\mathbb {R}^{n}), x_{n}^{2} \in PAP_{0}(\mathbb {Z},\mathbb {R}^{n})\). Denote by \(PAP(\mathbb {Z},\mathbb {R}^{n})\) the set of such sequences.
For \(\{t_{i}\}_{i \in \mathbb {Z}} \in T, \{t_{i}^{j}\}\) defined by
It is easy to verify that the numbers \(t_{i}^{j}\) satisfy
Definition 4
[34]. A function \(f \in PC(\mathbb {R},\mathbb {R}^{n})\) is said to be piecewise almost periodic if the following conditions are fulfilled:
-
1.
\(\{t_{i}^{j} = t_{i+j} - t_{i}\}, i,j \in \mathbb {Z}\) are equipotentially almost periodic, that is, for any \(\epsilon > 0\), there exists a relatively dense set in \(\mathbb {R}\) of \(\epsilon \)-almost periods common for all of the sequences \(\{t_{i}^{j}\}\).
-
2.
For any \(\epsilon > 0\), there exists a positive number \(\delta = \delta (\epsilon )\) such that if the points \(t'\) and \(t''\) belong to the same interval of continuity of f and \(|t'-t''|<\delta \), then \(\parallel f(t') - f(t'')\parallel < \epsilon \).
-
3.
For any \(\epsilon > 0\), there exists a relatively dense set \(\varOmega _{\epsilon }\) in \(\mathbb {R}\) such that if \(\tau \in \varOmega _{\epsilon }\), then
$$\begin{aligned} \parallel f(t+ \tau ) - f(t)\parallel < \epsilon \end{aligned}$$for all \(t \in \mathbb {R}\) which satisfy the condition \( |t- t_{i}|> \epsilon ,\, i \in \mathbb {Z}.\)
We denote by \(AP_{T}(\mathbb {R},\mathbb {R}^{n})\) the space of all piecewise almost periodic functions. Obviously, \(AP_{T}(\mathbb {R},\mathbb {R}^{n})\) endowed with the supremum norm is a Banach space. Throughout the rest of this paper, we always assume that \(\{t_{i}^{j}\}\) are equipotentially almost periodic. Let \(UPC(\mathbb {R},\mathbb {R}^{n})\) be the space of all functions \(f \in PC(\mathbb {R},\mathbb {R}^{n})\) such that f satisfies the condition (2) in Definition 4.
Define
Definition 5
[32]. A function \(f \in PC(\mathbb {R},\mathbb {R}^{n})\) is said to be piecewise pseudo almost periodic if it can be decomposed \(f= g+ h\), where \(g \in AP_{T}(\mathbb {R},\mathbb {R}^{n})\) and \(h \in PAP_{T}^{0}(\mathbb {R},\mathbb {R}^{n})\). Denote by \(PAP_{T}(\mathbb {R},\mathbb {R}^{n})\) the set of all such functions. \(PAP_{T}(\mathbb {R},\mathbb {R}^{n})\) is a Banach space when endowed with the supremum norm.
Remark 2
The functions g and h in Definition 5 are respectively called the almost periodic component and the ergodic perturbation of the pseudo almost periodic function f. The decomposition given in Definition 5 is unique. For instance, the function
is a piecewise pseudo almost periodic function, where
Hence, it is easy to see that f(.) is more general than our traditional piecewise almost periodic functions since the ergodic perturbations are introduced.
Lemma 1
[37]. Suppose that both functions f and its derivative \(f'\) are in \(PAP(\mathbb {R},\mathbb {R}).\) That is, \(f= g+h\) and \(f'= g'+h'\), where \(g,g' \in AP(\mathbb {R},\mathbb {R})\) and \(h,h' \in PAP_{0}(\mathbb {R},\mathbb {R})\). Then the functions g and h are continuous differentiable.
Remark 3
Let \( E=\{ f |f,f' \in PAP(\mathbb {R},\mathbb {R}^{n})\}\) equipped with the induced norm defined by
Follows from [37] that \((PAP(\mathbb {R},\mathbb {R}^{n}),\parallel . \parallel _{E} )\) is a Banach space.
The initial conditions associated with (1) are of the form
where \(\varphi (.)\) and \(\varphi '(.)\) are real-valued piecewise continuous functions defined on \((-\infty , 0]\).
Lemma 2
[28]. Let \(c_{i}(.)\) be an almost periodic function on \(\mathbb {R}\) and
Then the linear system
admits an exponential dichotomy on \(\mathbb {R}\).
Lemma 3
[36]. The inhomogeneous linear system
has a unique bounded solution for a vector \(f \in C(\mathbb {R}, \mathbb {R}^n)\) if and only if the inhomogeneous linear system (31) has exponential dichotomy.
The rest of this paper is organized as follow. The existence and the uniqueness of piecewise differentiable pseudo almost-periodic solutions of Eq. (1) in the suitable convex set are discussed in Sect. 2. Some sufficient conditions on the global exponential stability of piecewise differentiable pseudo almost periodic solutions of Eq. (1) are established in Sect. 3. A numerical example is given in Sect. 4 to illustrate the effectiveness of our results. Finally, we draw conclusion in Sect. 5.
2 Existence of piecewise differentiable pseudo almost periodic solution
In this section, let us recall some lemmas and theorems, which are of importance in proving the main results of this paper.
Lemma 4
[30]. If \(\varphi \in PAP_{T}(\mathbb {R},\mathbb {R}^{n})\), then \(\varphi (.-h) \in PAP_{T}(\mathbb {R},\mathbb {R}^{n})\).
Lemma 5
[30]. If \(\varphi , \psi \in PAP_{T}(\mathbb {R},\mathbb {R})\), then \(\varphi \times \psi \in PAP_{T}(\mathbb {R},\mathbb {R})\).
Lemma 6
If \( g \in C(\mathbb {R},\mathbb {R})\) a \(L^g-\)lipschitz function, \(\varphi (.) \in PAP_{T}(\mathbb {R},\mathbb {R})\) and \( \sigma \in C(\mathbb {R},\mathbb {R})\) then \(g(\varphi (.-\sigma (.))) \in PAP_{T}(\mathbb {R},\mathbb {R})\)
Proof
We have \(\varphi = \varphi _{1}+ \varphi _{2},\) where \(\varphi _{1} \in AP_{T}(\mathbb {R},\mathbb {R})\) and \(\varphi _{2} \in PAP_{T}^{0}(\mathbb {R},\mathbb {R}).\) Let
Firstly, it follows from Theorem 2.11 in [29] that \(E_{1}(.)\in AP_{T}(\mathbb {R},\mathbb {R})\). Then, we show that \(E_{.}(t) \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\) because
Thus \(E_{2}(.) \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\). So, \(E(.) \in PAP_{T}(\mathbb {R},\mathbb {R})\). The proof is complete. \(\square \)
Theorem 1
Under the conditions (H1)-(H2), and for all \(1\le j \le n \) , \(x_{j}(.) \in PAP_{T}(\mathbb {R},\mathbb {R}) \), then for all \( 1\le i \le n \), the function \(\phi _{i} : t \longmapsto \int _{-\infty }^{t} d_{ij}(t-s) g_{j}(x_{j}(s)) ds\) belongs to \(PAP_{T}(\mathbb {R},\mathbb {R})\).
Proof
For \(x_{j}(.) \in PAP_{T}(\mathbb {R},\mathbb {R})\), it follows from Lemma 6 that \(g_{j}(x_{j}(.)) \in PAP_{T}(\mathbb {R},\mathbb {R})\). Let \(g_{j}(x_{j}(.))= u_{j}(.)+ v_{j}(.)\), where \(u_{j} \in AP_{T}(\mathbb {R},\mathbb {R})\) and \(v_{j} \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\), then
First, \(\phi ^{1}_{i}(.) \in AP_{T}(\mathbb {R},\mathbb {R})\).
It is not difficult to see that \(\phi ^{1}_{i}(.) \in UPC(\mathbb {R},\mathbb {R})\). Let \(t_{k}< t\le t_{k+1}\).
For \(\epsilon > 0\), let \(\varOmega _{\epsilon }\) be a relatively dense set of \(\mathbb {R}\) formed by \(\epsilon \)-periods of \(u_j\). For \(\tau \in \varOmega _{\epsilon }\) and \( 0< h < \min \{\epsilon , \frac{\alpha }{2}\},\)
Since \(u_j \in AP_{T}(\mathbb {R},\mathbb {R})\), one has \(|u_{j}(t+\tau ) - u_{j}(t) |\le \epsilon \), for all \(t \in [ t_{l}+h, t_{l+1}-h]\) and \(l \in \mathbb {Z}, l \le k,\)
then
On the other hand,
Similarly, one has
where \(S_{1},S_{2}\) are some positive constants. Hence, \(\phi ^{1}_{i}(.) \in AP_{T}(\mathbb {R},\mathbb {R})\).
Second \(\phi ^{2}_{i}(.) \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\).
In fact, for \(r > 0\), one has
Since \(v_{i}(.) \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\), it follows that \(v_{i}(.-s) \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\) for each \(s \in \mathbb {R}\) by Lemma 4. Using the Lebesgues dominated convergence theorem, we have \(\phi ^{2}_{i}(.) \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\). This completes the proof. \(\square \)
Similarly, we can obtain:
Corollary 1
Under the conditions (H1)-(H2), and for all \(1\le j \le n \) , \(x_{j}(.) \in PAP_{T}(\mathbb {R},\mathbb {R}) \), then for all \( 1\le i \le n \), the function \(\phi _{i} : t \longmapsto \int _{-\infty }^{t} h_{ijl}(t-s) g_{j}(x_{j}(s)) ds\) belongs to \( PAP_{T}(\mathbb {R},\mathbb {R})\).
Corollary 2
Under the conditions (H1)-(H2), and for all \(1\le l \le n \) , \(x_{j}(.) \in PAP_{T}(\mathbb {R},\mathbb {R}) \), then for all \( 1\le i \le n \), the function \(\phi _{i} : t \longmapsto \int _{-\infty }^{t} k_{ijl}(t-s) g_{l}(x_{l}(s)) ds\) belongs to \( PAP_{T}(\mathbb {R},\mathbb {R})\).
Lemma 7
Suppose that assumptions (H1)–(H3) hold. Define the nonlinear operator \( X_{\varphi }(.)\) as follows, for each \(\varphi =(\varphi _{1},\ldots ,\varphi _{n}) \in PAP_{T}(\mathbb {R},\mathbb {R}^{n})\) and \(\varphi ' =(\varphi '_{1},\ldots ,\varphi '_{n}) \in PAP_{T}(\mathbb {R},\mathbb {R}^{n})\)
and
then \( X_{\varphi }\) maps \(PAP_{T}(\mathbb {R},\mathbb {R}^{n})\) into itself.
Proof
First, note that, for all \(1 \le i \le n\), the function
is in \(PAP_{T}(\mathbb {R},\mathbb {R})\) by using Lemmas 4, 5, 6, Theorem 1, Corollary 1 and 2. Consequently, for all \(1 \le i \le n, F_{i}\) can be expressed as
where \(F_{i}^{1} \in AP_{T}(\mathbb {R},\mathbb {R})\) and \(F_{i}^{2} \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\). So
(i) Firstly, we prove that \(G_{i}^{1}(.) \in UPC(\mathbb {R},\mathbb {R})\). Let \(t^{'},t^{''} \in (t_{k},t_{k+1}), k \in \mathbb {Z}, t^{''} < t^{'}\), then
It is easy to see that for any \(\epsilon > 0\), there exists
and for a suitable \(t^{'}, t^{''}\) satisfying \(0< t^{'} - t^{''} < \delta \) one has
which implies that \(G_{i}^{1}(.) \in UPC(\mathbb {R},\mathbb {R})\).
(ii) Secondly, we prove that \(G_{i}^{1}(.) \in AP_{T}(\mathbb {R},\mathbb {R})\). Since \(F_{i}^{1} \in AP_{T}(\mathbb {R},\mathbb {R})\), for \(\epsilon > 0 \), there exists a relatively dense set \(\varOmega _{\epsilon }\) such that for \(\tau \in \varOmega _{\epsilon }, t \in \mathbb {R}, |t- t_{k} |> \epsilon , i \in \mathbb {Z}\), then
So there exists \(\theta \in ]0, 1[\) such that
where
and
We obtain immediately that, \(G_{i}^{1} \in AP_{T}(\mathbb {R},\mathbb {R})\).
Now, we turn our attention to \(G_{i}^{2}\).
where
and
Pose \(m= t-s\), then by Fubini’s theorem one has
since the function \(F_{i}^{2}(.) \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\), and by the Lebesgue dominated convergence theorem, we obtain
On the other hand, notice that \(\parallel F_{i}^{2}\parallel = \sup \limits _{t \in \mathbb {R}} |F_{i}^{2}(t) |< \infty \) then
then
Consequently, the function \(G_{i}^{2}\) belongs to \(PAP^{0}_{T}(\mathbb {R},\mathbb {R})\). So \((X_{\varphi })\) belongs to \(PAP_{T}(\mathbb {R},\mathbb {R}^{n}).\) \(\square \)
Lemma 8
Suppose that assumption (H4) hold. For each \(\varphi =(\varphi _{1},\ldots ,\varphi _{n}) \in PAP_{T}(\mathbb {R},\mathbb {R}^{n})\), we have
Proof
We will show that \( \sum \limits _{ t_{k}<t} e^{- \int _{t_{k}}^{t} c_{i}(u) du} I_{k}(\varphi _{i}(t_{k})) \in PAP_{T}(\mathbb {R},\mathbb {R}).\) It is not difficult to see that\( \sum \limits _{ t_{k}<t} e^{- \int _{t_{k}}^{t} c_{i}(u) du} I_{k}(\varphi _{i}(t_{k})) \in UPC(\mathbb {R},\mathbb {R})\). By Corollary 2.1 (see [30]), \(I_{k}(x_{i}(t_{k})) \in PAP(\mathbb {Z},\mathbb {R})\), then let \(I_{k}(x_{i}(t_{k})) = I_{k}^{1} + I_{k}^{2}\) where \( I_{k}^{1} \in AP(\mathbb {Z},\mathbb {R})\) and \( I_{k}^{2} \in PAP_{0}(\mathbb {Z},\mathbb {R})\), so
Since \(\{ t_{j}^{k}\} ,k,j \in \mathbb {Z}\) are equipotentially almost periodic, then (see Lemma 3.2, [30]), for any \(\epsilon > 0\), there exists relative dense sets of real numbers \(\varOmega _{\epsilon }\) and integers \(Q_{\epsilon }\), such that for \(t_{k}< t\le t_{k+1}, \tau \in \varOmega _{\epsilon }, q \in Q_{\epsilon }, |t- t_{k}|> \epsilon \), \(|t- t_{k+1}|> \epsilon , k \in \mathbb {Z}\), one has
that is \( t_{k+q}> t + \tau > t_{k+q+1}; \) then
So, \(\varPhi _{1}(.) \in AP_{T}(\mathbb {R},\mathbb {R})\).
Next, we show that \(\varPhi _{2}(.) \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\). For a given \(k \in \mathbb {Z}\), define the function \(\chi (t)\) by
then
then \(\chi \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\). Define \(\chi _{n} :\mathbb {R} \rightarrow \mathbb {R}\) by
So \(\chi _{n} \in PAP^{0}_{T}(\mathbb {R},\mathbb {R})\). Moreover,
therefore, the series \(\varSigma _{n=1}^{\infty } \chi _{n}\) is uniformly convergent on \(\mathbb {R}\). By Lemma 2.2 (see [30]), one has
So, \( \sum \limits _{ t_{k}<t} e^{- \int _{t_{k}}^{t} c_{i}(u) du} I_{k}(x_{i}(t_{k})) \in PAP_{T}(\mathbb {R},\mathbb {R}). \) \(\square \)
Theorem 2
Suppose that assumptions (H1)–(H4) hold. Define the nonlinear operator \(\varGamma \) as follows, for each \(\varphi =(\varphi _{1},\ldots ,\varphi _{n}) \in PAP_{T}(\mathbb {R},\mathbb {R}^{n}),\) and \(\varphi ' =(\varphi '_{1},\ldots ,\varphi '_{n}) \in PAP_{T}(\mathbb {R},\mathbb {R}^{n}),\)
then \(\varGamma \) maps \(PAP_{T}(\mathbb {R},\mathbb {R}^n)\) into itself and
and \(\varGamma ^{'}\) maps \(PAP_{T}(\mathbb {R},\mathbb {R}^n)\) into itself.
Theorem 3
Let conditions (H1)–(H5) hold. Then, there exists a unique piecewise differentiable pseudo almost periodic solution of system (1) in the region
where
Proof
It is easy to see that \(B = \Big \{\varphi / \varphi ,\varphi ' \in PAP_{T}(\mathbb {R},\mathbb {R}^{n}), \parallel \varphi - \varphi _{0} \parallel _{E} \le \frac{p L }{1-p}\Big \}\) is a closed convex subset of \(PAP_{T}(\mathbb {R},\mathbb {R}^{n})\). According to the definition of the norm of Banach space \(PAP_{T}(\mathbb {R},\mathbb {R}^{n})\), we get
Therefore, for \(\forall \varphi \in B\), we have
In view of (H1), we have
Now, we prove that the mapping \(\varGamma \) is a self-mapping from B to B. In fact, for all \( \varphi \in B\), by using the estimate just obtained together with (4), (5), Lemmas 2, 3, 7 and 8 we obtain
On the other hand
where \(i = 1, 2,\dots ,n.\) So we can write
where \(p < 1\), it implies that \(\varGamma _{\varphi }(.) \in B\). So, the mapping \(\varGamma \) is a self-mapping from B to B.
Next, we prove that the mapping \(\varGamma \) is a contraction mapping of the B. In fact, in view of (H1), for \( \forall \phi ,\psi \in B\), we have
On the other hand
where \(i = 1, 2,\dots ,n.\) It follows that
where
It is clear that the mapping \(\varGamma \) is a contraction. Therefore the mapping \(\varGamma \) possesses a unique fixed point \(z^{*} \in B, T(z^{*}) = z^{*}\). By (7), \(z^{*}\) satisfies (1). So \(z^{*}\) is a piecewise differentiable pseudo almost periodic solution of system (1) in the region B. The proof is now complete. \(\square \)
Remark 4
To the best of our knowledge, there have been no results of piecewise pseudo-almost periodic solutions for impulsive high-order Hopfield neural networks with time-varying coefficients, mixed delays and leakage until now. Hence, the obtained results are essentially new and the investigation methods used in this paper can also be applied to study the piecewise pseudo-almost periodic solutions for general Hopfield neural networks and for some other types of neural networks.
3 Exponential stability of piecewise differentiable pseudo almost periodic solution
To study the exponential stability of (1), we need the following lemma and notations. So, for a continuous function \(\kappa (.)\), we denote \(\overline{\kappa }(t) = \sup \limits _{ t- \tau \le s\le t} | \kappa (s) |,\)
Lemma 9
Let \(\tau \ge 0\) be a given real constant. Assume that p(t) and \(q_{i}(t)(i=1,2)\) be continuous functions on \([0,+\infty ), k(s)\) be nonnegative function on \([0,+\infty )\) and satisfies that \(\int _{0}^{+\infty } k(s)ds \le k\) and \(\int _{0}^{+\infty } k(s) e^{\mu s} ds \le +\infty \) for positive constant \(\mu \).
Moreover, assume that there exist positive constants \(\eta \) and M such that
then
Proof
Consider the following equation:
Because
and \(G(+\infty ) > 0,\) we follow that \(G(\lambda )\) is a strictly monotone increasing function.
Therefore, for any \(t\ge 0\), there is a unique positive \(\lambda (t)\) such that
Moreover, \(\lambda ^{*}\) exists and \(\lambda ^{*} \ge 0\).
Now, we will prove \(\lambda ^{*} > 0\). Suppose this is not true. Pick \(\epsilon \in (0,\mu )\) such that \(\epsilon < \{ \frac{\eta }{3}, \frac{1}{\tau } \ln (1+ \frac{\eta }{3M})\}\) and \(\int _{0}^{+\infty } k(s) e^{\epsilon s} ds \le k+ \frac{\eta }{3M}. \) Then there exist \(t^{*} > 0\) such that \(\lambda ^{*}(t^{*}) < \epsilon \) and
Now we have
which is a contradiction. Hence, \(\lambda ^{*} > 0\). The proof of this lemma is completed. \(\square \)
Then we have
Lemma 10
Assume that (H1)–(H6) hold and there exist nonnegative vector functions \((V_{1}(t),\dots ,V_{n}(t))^{T}\) and \((W_{1}(t),\dots ,W_{n}(t))^{T} \in PC([-\rho ^{+},0],\mathbb {R}^{n})\), where \(V_{i}(t)\) is continuous at \(t \ne t_{k} (k \in \mathbb {N}^{*})\), such that
for \(t>0, i =1,2,\dots ,n \) and \( k \in \mathbb {N}^{*}\). Then for all \(t\ge 0\) and \(i =1,2,\dots ,n\), there exists a positive constant M such that
where \(\lambda ^{*}\) is defined, respectively, as
Proof
By the similar analysis in Lemma 9, we can deduce that \(\lambda _{i}^{*}\) and \(\widehat{\lambda }_{i}^{*}\) exist uniquely and \(\lambda _{i}^{*}> 0, \widehat{\lambda }_{i}^{*}> 0\). Consequently, \(\lambda ^{*} > 0\).
Choose a positive constant \(\theta \) such that
Let
Then for all \(t \in (-\infty ,0]\) and \(\gamma > 1\), we have
Then
For the sake of contradiction, assume that there exist \(i \in \{1,2,\dots ,n\}\) and \(\overline{t} > 0\) such that
The we have the following
(I) \((1/p_{i}) V_{i}(\overline{t}^{+}) \ge \gamma \varPsi (\overline{t})\) then we have the following subcases.
(i) \(\overline{t} \ne t_{k},t_{k} \in \in \mathbb {N}^{*}\). So \(V_{i}(t)\) is continuous at \(\overline{t}\). By 17, we have
From (H6), (17) and the definition of \(\lambda ^{*}\), we have
which is a contradiction with (18).
(ii) There exists \(k_{0} \in \mathbb {N}^{*}\) such that \(\overline{t} = t_{k}\). By (17), we have
Noting \(\frac{1}{p_{i}} V_{i}(\overline{t}^{-}) \ne \frac{1}{p_{i}} V_{i}(\overline{t}^{+})\), we have \(\frac{1}{p_{i}} V_{i}(\overline{t}^{-}) < \gamma \varPsi (\overline{t})\) or \(\gamma \varPsi (\overline{t}) < \frac{1}{p_{i}} V_{i}(\overline{t}^{+})\). Without loss of generality, we assume that \(\gamma \varPsi (\overline{t}) < \frac{1}{p_{i}} V_{i}(\overline{t}^{+})\). from (9) and (20) we get that
Simplifying (21), we obtain \(L_{1}> 1,\) which contradict that \(L_{1}<1\).
If (I) does not hold, then
(II)
Then from (8) and (H6) we have
which is a contradiction. From (I) and (II), (16) holds. Letting \(\gamma \rightarrow 1^{+}\) in (16), we have
So \(\frac{1}{p_{i}} V_{i}(t) \le \varPsi (t)\) for all \(t \in [0, \infty ), \, i =1,2,\dots ,n.\) Let \(\widetilde{L}=\max \limits _{1\le i\le n}\{ p_{i} \theta \}\) then for \(t \ge 0\) and \(i =1, 2, \dots , n\), we have
The proof is complete. \(\square \)
Theorem 4
Assume that (H1)-(H6) hold, then the unique piecewise differentiable pseudo almost periodic solution of system (1) is globally exponentially stable.
Proof
It follows from Theorem 3 that system (1) has at least one piecewise differentiable pseudo almost periodic solution \(x^{*}(t)=(x^{*}_{1}(t), \ldots , x^{*}_{n}(t))^{T} \in \mathbb {B}\) with initial value \(\phi ^{*}(t)\). Let \(x(t)=(x_{1}(t), \ldots , x_{n}(t))^{T}\) be an arbitrary solution of system (1) with initial value \(\phi (t)\).
Let \(V_{i}(t)= |x_{i}(t)-x^{*}_{i}(t) |, W_{i}(t)= |x'_{i}(t)-x^{*'}_{i}(t)|\) for \(t\in \mathbb {R}^+, \hbox { and } i=1 \ldots n\), Then,
By (9) and (H5) we have
By (26)–(28), (H1)–(H6) and Lemma 10, there exists a positive constant M such that
where \(\lambda ^{*}\) is defined in (11). \(\square \)
4 Application
Example 1
Consider the following impulsive High-order Hopfield Neural Networks with time-varying coefficients, continuously distributed delays and leakage:
where
for all \(t \in \mathbb {R}\)
Then
Let \(p_{1} = p_{2}= 1\) and \(q_{1}= q_{2}= 10\), from the above assumption, the (H6) is satisfied. Therefore, all conditions from Theorems 3 and 4 are satisfied, then the delayed impulsive high order Hopfield neural network with leakage of Example1 has a unique piecewise differentiable pseudo almost-periodic solution (Figs. 1, 2, 3).
Example1 without leakage:
The example considered here is a special case of Example 1. Simulation results are depicted in Figure 4, Figure 5 and Figure 6. If the leakage delays are not small enough they can have a destabilizing influence on the system leading to delay induced instability and oscillations and even periodicity.
5 Conclusion
A class of impulsive high order neural networks described with mixed delays is considered. By means of fixed point theorem, Lyapunov functional method and differential inequality techniques, criteria on existence and global exponential stability of piecewise differentiable pseudo almost periodic solution for model (1) are derived. Many adjustable parameters are introduced in criteria to provide flexibility for the design and analysis of the system.The results of this paper are new and they supplement previously known results. An example is given to illustrate the results.
References
Aouiti C, M’hamdi MS, Touati A (2016) Pseudo almost automorphic solutions of recurrent neural networks with time-varying coefficients and mixed delays. Neural Process Lett. doi:10.1007/s11063-016-9515-0
Lu JQ, Ding CD, Lou JG, Cao JD (2015) Outer Synchronization of Partially Coupled Dynamical Networks via Pinning Impulsive Controllers. J Franklin Inst 352:5024–504
Li L, Ho DWC, Cao J, Lu J (2016) Pinning cluster synchronization in an array of coupled neural networks under event-based mechanism. Neural Netw 76:1–12
Li Y, Wang C, Li X (2014) Existence and global exponential stability of almost periodic solution for high-order BAM neural networks with delays on time scales. Neural Process Lett 39(3):247–268
Yuehua Y, Cai M (2008) Existence and exponential stability of almost-periodic solutions for high-order Hopfield neural networks. Math Comput Model 47:943–951
Xiao B, Meng H (2009) Existence and exponential stability of positive almost-periodic solutions for high-order Hopfield neural networks. Appl Math Model 33:532–542
Xiang H, Yan K-M, Wang B-Y (2006) Existence and global exponential stability of periodic solution for delayed high-order Hopfield-type neural networks. Phys Lett A 352:341–349
Xu B, Liu X, Teo KL (2009) Global exponential stability of impulsive high-order Hopfield type neural networks with delays. Comput Math Appl 57:1959–1967
Cheng L, Zhang A, Qiu J, Chen X, Yang C, Chen X (2015) Existence and stability of periodic solution of high-order discrete-time Cohen-Grossberg neural networks with varying delays. Neurocomputing 149(C):1445–1450
Cao J, Liang J, Lam J (2004) Exponential stability of high-order bidirectional associative memory neural networks with time delays. Physica D 199:425–436
Tu Z, Cao J, Hayat T (2016) Global exponential stability in Lagrange sense for inertial neural networks with time-varying delays. Neurocomputing 171(1):524–531
Pan L, Cao J (2011) Anti-periodic solution for delayed cellular neural networks with impulsive effects. Nonlinear Anal Real World Appl 12(6):3014–3027
Rakkiyappan R, Balasubramaniam P, Cao J (2010) Global exponential stability results for neutral-type impulsive neural networks. Nonlinear Anal Real World Appl 11(1):122–130
Xiao B (2009) Existence and uniqueness of almost periodic solutions for a class of Hopfield neural networks with neutral delays. Appl Math Lett 22:528–533
Yang W (2012) Existence and stability of almost periodic solutions for a class of generalized Hopfield neural networks with time-varying neutral delays. J Appl Math Inform 30(5–6):1051–1065
Bai C (2008) Global stability of almost periodic solution of Hopfield neural networks with neutral time-varying delays. Appl Math Comput 203:72–79
Bai C (2009) Existence and stability of almost periodic solutions of Hopfield neural netwokrs with continuously distributed delays. Nonlinear Anal 71:5850–5859
Huang H, Cao J, Wang J (2002) Global exponential stability and periodic solutions of recurrent neural networks with delays. Phys Lett A 298:393–404
Jiang H, Cao J (2006) Global exponential stability of periodic neural networks with time-varying delays. Neurocomputing 70:343–350
Xiang H, Cao J (2009) Almost periodic solutions of recurrent neural networks with continuously distributed delays. Nonlinear Anal 71:6097–6108
Gopalsamy K (2007) Leakage delays in BAM. J Math Anal Appl 325:1117–1132
Li X, Cao J (2010) Delay-dependent stability of neural networks of neutral type with time delay in the leakage term. Nonlinearity 23:1709–1726
Li C, Huang T (2009) On the stability of nonlinear systems with leakage delay. J Frankl Inst 346:366–377
Gao J, Wang Q-R, Zhang L-W (2014) Existence and stability of almost periodic solutions for cellular neural networks with time-varying delays in leakage terms on time scales. Appl Math Comput 237:639–649
Wang C (2016) Piecewise pseudo almost periodic solution for impulsive non autonomous high-order Hopfield neural networks with variable delays. Neurocomputing 171:1291–1301
Zhang CY (1994) Pseudo almost periodic solutions of some differential equations. J Math Anal Appl 181(1):62–76
Zhang C (1995) Pseudo almost periodic solutions of some differential equations, II. J Math Anal Appl 192:543–561
Shao J, Wang L, Chunxia O (2009) Almost periodic solutions for shunting inhibitory cellular neural networks without global Lipschitz activaty functions. Appl Math Model 33(6):2575–2581
Li Y, Wang C (2011) Almost periodic functions on time scales and applications. Discret Dyn Nat Soc 20 Article ID 727068
Xia Z (2015) Pseudo almost periodic mild solution of nonautonomous impulsive integro-differential equations. Mediterr J Math 12(1):1–22
Liu J, Zhang C (2013) Composition of piecewise pseudo almost periodic functions and applications to abstract impulsive differential equations. Adv Differ Equ 2013(1):1–21
Chérif F (2014) Pseudo almost periodic solutions of impulsive differential equations with delay. Differ Equ Dyn Syst 22(1):73–91
Jiang H, Teng Z (2004) Global exponential stability of cellular neural networks with time-varying coefficients and delays. Neural Netw 17:1415–1425
Samoilenko AM, Perestyuk NA (1995) Impulsive differential equations. World Scientific, Singapore
Zhao W (2008) Dynamics of Cohen-Grossberg neural network with variable coefficients and time-varying delays. Nonlinear Anal 9(3):1024–1037
Lin Z, Lin Y-X (2000) Linear systems, exponential dichotomy, and structure of sets of hyperbolic points. World Scientific, Singapore
Zhang C (2003) Almost periodic type functions and ergodicity. Science Press, Beijing
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Aouiti, C., M’hamdi, M.S., Cao, J. et al. Piecewise Pseudo Almost Periodic Solution for Impulsive Generalised High-Order Hopfield Neural Networks with Leakage Delays. Neural Process Lett 45, 615–648 (2017). https://doi.org/10.1007/s11063-016-9546-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11063-016-9546-6
Keywords
- Impulsive high-order Hopfield neural networks
- Leakage delays
- Piecewise pseudo almost-periodic function
- Mixed delays