Pseudo almost periodic solutions for quaternion-valued cellular neural networks with discrete and distributed delays

Abstract

This paper is concerned with a class of quaternion-valued cellular neural networks with discrete and distributed delays. By using the exponential dichotomy of linear systems and a fixed point theorem, sufficient conditions are derived for the existence and global exponential stability of pseudo almost periodic solutions of this class of neural networks. Finally, a numerical example is given to illustrate the feasibility of the obtained results.

Introduction

Since Chua and Yang proposed cellular neural networks (CNNs) in 1988 [1], various dynamical behaviors of CNNs, such as the existence and stability of the equilibrium, periodic solutions, anti-periodic solutions, almost periodic solutions, and pseudo-almost periodic solutions, have been studied by many scholars [2–15].

On the one hand, quaternion-valued neural networks (QVNNs), as an extension of the complex-valued neural networks (CVNNs), can deal with multi-level information and require only half the connection weight parameters of CVNNs [16]. Moreover, compared with CVNNs, QVNNs perform more prominently when it comes to geometrical transformations, like 2D affine transformations or 3D affine transformations. 3D geometric affine transformations can be represented efficiently and compactly based on QVNNs, especially spatial rotation [17]. Since the multiplication of quaternion is not commutative due to Hamilton rules: $ij=-ji=k$, $jk=-kj=i,ki=-ik=j,i^2=j^2=k^2=ijk=-1$, the analysis for QVCNNs becomes difficult. However, with the continuous development of the theory of quaternion, there are some results about the dynamics of QVNNs. For example, the authors of [18, 19] studied the existence and global exponential stability of equilibrium point for QVNNs; the authors of [20] investigated the robust stability of QVNNs with time delays and parameter uncertainties; the authors of [21] considered the existence and stability of pseudo almost periodic solutions for a class of QVCNNs on time scales by a special decomposition method; the authors of [22, 23] investigated the existence and global μ-stability of an equilibrium point for QVNNs; the authors of [24] dealt with the existence and stability of periodic solutions for QVCNNs by using a continuation theorem of coincidence degree theory; the authors of [25] studied the almost periodic synchronization for QVCNNs. Although non-autonomous neural networks are more general and practical than the autonomous ones, up to now, there have been only few results about the dynamic behaviors of non-autonomous QVNNs.

On the other hand, it is well known that the periodicity, almost periodicity, pseudo almost periodicity, and so on are the very important dynamics for non-autonomous systems [10, 12, 26]. Moreover, the almost periodicity is more general than the periodicity. In addition, the pseudo almost periodicity is a natural generalization of almost periodicity. In the past few years, the pseudo almost periodicity of real-valued neural networks (RVNNs) has been studied by many authors [13–15, 27–34]. Besides, as we all know, time delay is universal and can change the dynamical behavior of the system under consideration [3, 5, 29, 30, 35, 36]. Therefore, it is important and necessary to consider the neural network model with time delay. However, to the best of our knowledge, there is no paper published on the existence and stability of pseudo almost periodic solutions for quaternion-valued cellular neural networks (QVCNNs) with discrete and distributed delays.

Motivated by the above, in this paper, we are concerned with the following QVCNN with discrete and distributed delays:

$$\begin{array}{rcl}{x}_p^{\prime }(t)& =& -c_p(t)x_p(t)+\sum _{q=1}^n{a}_{pq}(t)f_q\left(x_q(t-{\tau }_{pq}(t))\right)\\ & & +\sum _{q=1}^n{b}_{pq}(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q(x_q(t-u))\mathrm{d}u+u_p(t),\end{array}$$ 1

where $p\in \{1,2,\dots ,n\}:=\mathrm{\Lambda }$, $x_p(t)\in \mathbb{Q}$ is the state vector of the pth unit at time t, $c_p(t)>0$ represents the rate at which the pth unit will reset its potential to the resting state in isolation when disconnected from the network and external inputs, $a_{pq}(t),b_{pq}(t)\in \mathbb{Q}$ are the synaptic weights of delayed feedback between the pth neuron and the qth neuron, $f_q,g_q:\mathbb{Q}\to \mathbb{Q}$ are the activation functions of signal transmission, ${\tau }_{pq}(t)\ge 0$ denotes the transmission delay, $u_p(t)\in \mathbb{Q}$ denotes the external input on the pth neuron at time t.

Throughout this paper, we denote by $BC(\mathbb{R},{\mathbb{R}}^n)$, the set of all bounded continuous functions from $\mathbb{R}$ to ${\mathbb{R}}^n$.

The initial value is given by

$$x_p(s)={\varphi }_p(s),s\in (-\mathrm{\infty },0],p\in \mathrm{\Lambda },$$

where ${\varphi }_p\in BC((-\mathrm{\infty },0],\mathbb{Q})$.

Our main aim in this paper is to study the existence and global exponential stability of pseudo almost periodic solutions of (1). The main contributions of this paper are listed as follows.

1. To the best of our knowledge, this is the first time to study the existence and stability of pseudo almost periodic solutions for QVCNNs with discrete and distributed delays.

2. The stability of QVNNs with distributed delays has not been reported yet. Therefore, our result about the stability of QVNNs is new, and most of the existing results about the stability of QVNNs are obtained by using the theory of linear matrix inequalities but ours are not.

3. The method that we use to transform QVNNs into RVNNs is different from that used in [18, 20–23].

4. QVCNN (1) contains RVCNNs and CVCNNs as its special cases.

Throughout this paper, ${\mathbb{R}}^{n\times n}$, ${\mathbb{Q}}^{n\times n}$ denote the set of all $n\times n$ real-valued and quaternion-valued matrices, respectively. The skew field of quaternion is denoted by

$$\mathbb{Q}:=\{x=x^R+i{x}^I+j{x}^J+k{x}^K\},$$

where $x^R$, $x^I$, $x^J$, $x^K$ are real numbers and the elements i, j, and k obey Hamilton’s multiplication rules.

For the convenience, we will introduce the notations: $\overline{h}={sup}_{t\in \mathbb{R}}|h(t)|$, $\underset{\_}{h}={inf}_{t\in \mathbb{R}}|h(t)|$, where $h(t)$ is a bounded continuous function.

This paper is organized as follows. In Sect. 2, we introduce some definitions, make some preparations for later sections. In Sect. 3, by utilizing Banach’s fixed point theorem and differential inequality techniques, we establish the existence and global exponential stability of pseudo almost periodic solutions of (1). In Sect. 4, we give an example to demonstrate the feasibility of our results. This paper ends with a brief conclusion in Sect. 5.

Preliminaries

In this section, we shall first recall some fundamental definitions, lemmas which are used in what follows.

Definition 1

([37])

A function $u\in BC(\mathbb{R},{\mathbb{R}}^n)$ is said to be almost periodic if, for any $ϵ>0$, it is possible to find a real number $l=l(ϵ)>0$, for any interval with length $l(ϵ)$, there exists a number $\tau =\tau (ϵ)$ in this interval such that $|u(t+\tau )-u(t)|<ϵ$ for all $t\in \mathbb{R}$. The collection of such functions will be denoted by $AP(\mathbb{R},{\mathbb{R}}^n)$.

Let

$$PA{P}_0(\mathbb{R},{\mathbb{R}}^n)=\{f\in BC(\mathbb{R},{\mathbb{R}}^n)|\underset{r\to +\mathrm{\infty }}{lim}\frac{1}{2r}{\int }_{-r}^r\parallel f(t)\parallel \mathrm{d}t=0\}.$$

Definition 2

([38, 39])

A function $f\in BC(\mathbb{R},{\mathbb{R}}^n)$ is called pseudo almost periodic if it can be expressed as $f=f_1+f_0$, where $f_1\in AP(\mathbb{R},{\mathbb{R}}^n)$ and $f_0\in PA{P}_0(\mathbb{R},{\mathbb{R}}^n)$. The collection of such functions will be denoted by $PAP(\mathbb{R},{\mathbb{R}}^n)$.

From the above definitions, it is easy to see that $AP(\mathbb{R},{\mathbb{R}}^n)\subset PAP(\mathbb{R},{\mathbb{R}}^n)$.

Definition 3

A quaternion-valued function $x=x^R+i{x}^I+j{x}^J+k{x}^K\in BC(\mathbb{R},{\mathbb{Q}}^n)$ is called a pseudo almost periodic function if, for every $l\in \{R,I,J,K\}:=E$, $x^l\in PAP(\mathbb{R},{\mathbb{R}}^n)$.

Definition 4

([38, 39])

The system

$$x^{\prime }(t)=A(t)x(t)$$ 2

is said to admit an exponential dichotomy if there exist a projection P and positive constants $\alpha ,\beta$ such that the fundamental solution matrix $X(t)$ satisfies

$$\begin{array}{rcl}& & |X(t)P{X}^{-1}(s)|\le \beta e^{-\alpha (t-s)},t\ge s,\\ & & |X(t)(I-P)X^{-1}(s)|\le \beta e^{-\alpha (s-t)},t\le s.\end{array}$$

Consider the following pseudo almost periodic system:

$$x^{\prime }(t)=A(t)x(t)+f(t),$$ 3

where $A(t)$ is an almost periodic matrix function, $f(t)$ is a pseudo almost periodic vector function.

Lemma 1

([38, 39])

If the linear system (2) admits an exponential dichotomy, then system (3) has a unique pseudo almost periodic solution:

$$x(t)={\int }_{-\mathrm{\infty }}^{t}X(t)P{X}^{-1}(s)f(s)\mathrm{d}s-{\int }_t^{+\mathrm{\infty }}X(t)(I-P)X^{-1}(s)f(s)\mathrm{d}s,$$

where $X(t)$ is the fundamental solution matrix of (2).

Lemma 2

([38, 39])

Let $c_p(t)$ be an almost periodic function on $\mathbb{R}$ and

$$M[c_p]=\underset{T\to \mathrm{\infty }}{lim}\frac{1}{T}{\int }_t^{t+T}{c}_p(s)\mathrm{d}s>0,p\in \mathrm{\Lambda }.$$

Then the linear system

$$x^{\prime }(t)=diag(-c_1(t),-c_2(t),\dots ,-c_n(t))x(t)$$

admits an exponential dichotomy on $\mathbb{R}$.

In order to decompose the quaternion-valued system (1) into a real-valued system, we need the following assumption:

$(S_1)$

Let $x_p=x_p^R+i{x}_p^I+j{x}_p^J+k{x}_p^K$, $x_p^l\in \mathbb{R},l\in E$. Then the activation functions $f_q(x_q)$ and $g_q(x_q)$ of (1) can be expressed as

$$\begin{array}{c}{f}_q(x_q)=f_q^R(x_q^R,x_q^I,x_q^J,x_q^K)\hfill \\ \phantom{f_q(x_q)=}+i{f}_q^I(x_q^R,x_q^I,x_q^J,x_q^K)+j{f}_q^J(x_q^R,x_q^I,x_q^J,x_q^K)+k{f}_q^K(x_q^R,x_q^I,x_q^J,x_q^K),\hfill \\ g_q(x_q)=g_q^R(x_q^R,x_q^I,x_q^J,x_q^K)+i{g}_q^I(x_q^R,x_q^I,x_q^J,x_q^K)+j{g}_q^J(x_q^R,x_q^I,x_q^J,x_q^K)\hfill \\ \phantom{f_q(x_q)=}+k{g}_q^K(x_q^R,x_q^I,x_q^J,x_q^K),\hfill \end{array}$$

where $f_q^l,g_q^l:{\mathbb{R}}^4\to \mathbb{R}$, $p\in \mathrm{\Lambda },l\in E$.

Under assumption $(S_1)$, system (1) can be decomposed into the following four real-valued sub-systems:

$$\begin{array}{c}{(x_p^R(t))}^{\prime }=-c_p(t)x_p^R(t)+\sum _{q=1}^n(a_{pq}^R(t)f_q^R[t,x]-a_{pq}^I(t)f_q^I[t,x]\hfill \\ \phantom{{(x_p^R(t))}^{\prime }=}-a_{pq}^J(t)f_q^J[t,x]-a_{pq}^K(t)f_q^K[t,x])+\sum _{q=1}^n(b_{pq}^R(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)\hfill \\ \phantom{{(x_p^R(t))}^{\prime }=}\times g_q^R[t,u,x]\mathrm{d}u-b_{pq}^I(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q^I[t,u,x]\mathrm{d}u\hfill \\ \phantom{{(x_p^R(t))}^{\prime }=}-b_{pq}^J(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q^J[t,u,x]\mathrm{d}u-b_{pq}^K(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)\hfill \\ \phantom{{(x_p^R(t))}^{\prime }=}\times g_q^K[t,u,x]\mathrm{d}u)+u_p^R(t),\hfill \end{array}$$ 4

$$\begin{array}{c}{(x_p^I(t))}^{\prime }=-c_p(t)x_p^I(t)+\sum _{q=1}^n(a_{pq}^R(t)f_q^I[t,x]+a_{pq}^I(t)f_q^R[t,x]\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}+a_{pq}^J(t)f_q^K[t,x]-a_{pq}^K(t)f_q^J[t,x])+\sum _{q=1}^n(b_{pq}^R(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}\times g_q^I[t,u,x]\mathrm{d}u+b_{pq}^I(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q^R[t,u,x]\mathrm{d}u\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}+b_{pq}^J(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q^K[t,u,x]\mathrm{d}u-b_{pq}^K(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}\times g_q^J[t,u,x]\mathrm{d}u)+u_p^I(t),\hfill \end{array}$$ 5

$$\begin{array}{c}{(x_p^J(t))}^{\prime }=-c_p(t)x_p^J(t)+\sum _{q=1}^n(a_{pq}^R(t)f_q^J[t,x]+a_{pq}^J(t)f_q^R[t,x]\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}-a_{pq}^I(t)f_q^K[t,x]+a_{pq}^K(t)f_q^I[t,x])+\sum _{q=1}^n(b_{pq}^R(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}\times g_q^J[t,u,x]\mathrm{d}u+b_{pq}^J(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q^R[t,u,x]\mathrm{d}u\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}-b_{pq}^I(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q^K[t,u,x]\mathrm{d}u+b_{pq}^K(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}\times g_q^I[t,u,x]\mathrm{d}u)+u_p^J(t),\hfill \end{array}$$ 6

$$\begin{array}{c}{(x_p^K(t))}^{\prime }=-c_p(t)x_p^K(t)+\sum _{q=1}^n(a_{pq}^R(t)f_q^K[t,x]+a_{pq}^K(t)f_q^R[t,x]\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}+a_{pq}^I(t)f_q^J[t,x]-a_{pq}^J(t)f_q^I[t,x])+\sum _{q=1}^n(b_{pq}^R(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}\times g_q^K[t,u,x]\mathrm{d}u+b_{pq}^K(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q^R[t,u,x]\mathrm{d}u\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}+b_{pq}^I(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q^J[t,u,x]\mathrm{d}u-b_{pq}^J(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)\hfill \\ \phantom{{(x_p^I(t))}^{\prime }=}\times g_q^I[t,u,x]\mathrm{d}u)+u_p^K(t),\hfill \end{array}$$ 7

where $f_q^l[t,x]\triangleq f_q^l(x_q^R(t-{\tau }_{pq}(t)),x_q^I(t-{\tau }_{pq}(t)),x_q^J(t-{\tau }_{pq}(t)),x_q^K(t-{\tau }_{pq}(t)))$, $g_q^l[t,u,x]\triangleq g_q^l(x_q^R(t-u),(x_q^I(t-u)),(x_q^J(t-u)),(x_q^K(t-u)))$, and

$$\begin{array}{c}{a}_{pq}(t)=a_{pq}^R(t)+i{a}_{pq}^I(t)+j{a}_{pq}^J(t)+k{a}_{pq}^K(t),\hfill \\ b_{pq}(t)=b_{pq}^R(t)+i{b}_{pq}^I(t)+j{b}_{pq}^J(t)+k{b}_{pq}^K(t),\hfill \\ u_p(t)=u_p^R(t)+i{u}_p^I(t)+j{u}_p^J(t)+k{u}_p^K(t).\hfill \end{array}$$

According to (4)–(7), one can obtain that

$$\begin{array}{rcl}{X}_p^{\prime }(t)& =& -c_p(t)X_p(t)+\sum _{q=1}^n{A}_{pq}(t)F_q[t,x]\\ & & +\sum _{q=1}^n{B}_{pq}(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)G_q[t,u,x]\mathrm{d}u+U_p(t),p\in \mathrm{\Lambda },\end{array}$$ 8

where

$$\begin{array}{rl}{A}_{pq}(t)& =\left(\begin{array}{cccc}{a}_{pq}^R(t)& -a_{pq}^I(t)& -a_{pq}^J(t)& -a_{pq}^K(t)\\ a_{pq}^I(t)& a_{pq}^R(t)& -a_{pq}^K(t)& a_{pq}^J(t)\\ a_{pq}^J(t)& a_{pq}^K(t)& a_{pq}^R(t)& -a_{pq}^I(t)\\ a_{pq}^K(t)& -a_{pq}^J(t)& a_{pq}^I(t)& a_{pq}^R(t)\end{array}\right),\\ B_{pq}(t)& =\left(\begin{array}{cccc}{b}_{pq}^R(t)& -b_{pq}^I(t)& -b_{pq}^J(t)& -b_{pq}^K(t)\\ b_{pq}^I(t)& b_{pq}^R(t)& -b_{pq}^K(t)& b_{pq}^J(t)\\ b_{pq}^J(t)& b_{pq}^K(t)& b_{pq}^R(t)& -b_{pq}^I(t)\\ b_{pq}^K(t)& -b_{pq}^J(t)& b_{pq}^I(t)& b_{pq}^R(t)\end{array}\right),X_p(t)=\left(\begin{array}{c}{x}_p^R(t)\\ x_p^I(t)\\ x_p^J(t)\\ x_p^K(t)\end{array}\right),\\ U_p(t)& =\left(\begin{array}{c}{u}_p^R(t)\\ u_p^I(t)\\ u_p^J(t)\\ u_p^K(t)\end{array}\right),F_q[t,x]=\left(\begin{array}{c}{f}_q^R[t,x]\\ f_q^I[t,x]\\ f_q^J[t,x]\\ f_q^K[t,x]\end{array}\right),G_q[t,u,x]=\left(\begin{array}{c}{g}_q^R[t,u,x]\\ g_q^I[t,u,x]\\ g_q^J[t,u,x]\\ g_q^K[t,u,x]\end{array}\right).\end{array}$$

The initial condition associated with (8) is of the form

$$X_p(s)={\mathrm{\Phi }}_p(s),p\in \mathrm{\Lambda },s\in (-\mathrm{\infty },0],$$

where

$${\mathrm{\Phi }}_p(s)={({\varphi }_p^R(s),{\varphi }_p^I(s),{\varphi }_p^J(s),{\varphi }_p^K(s))}^T$$

and ${\varphi }_p^l(s)\in BC((-\mathrm{\infty },0],\mathbb{R}),p\in \mathrm{\Lambda },l\in E$.

Remark 1

Under assumption $(S_1)$, it is easy to see that if $X={(x_1^R,x_1^I,x_1^J,x_1^K,\dots ,x_n^R,x_n^I,x_n^J,x_n^K)}^T\in {\mathbb{R}}^{4n}$ is a solution of system (8), then $x={(X_1,X_2,\dots ,X_n)}^T$ is a solution of system (1), and vice visa, where $X_p=x_p^R+i{x}_p^I+j{x}_p^J+k{x}_p^K,p\in \mathrm{\Lambda }$. Therefore, to find a solution for system (1) is equivalent to finding one for system (8). To study the stability of solutions of system (1), we only need to investigate the stability of solutions of system (8).

Main results

In this section, we establish the existence and global exponential stability of pseudo almost periodic solutions of system (8).

Let $\mathbb{X}=\{f(t)\mid f\in PAP(\mathbb{R},{\mathbb{R}}^{4n})\}$ with the norm ${\parallel f\parallel }_{\mathbb{X}}={sup}_{t\in \mathbb{R}}\parallel f(t)\parallel$, where $\parallel f(t)\parallel ={max}_{1\le h\le 4n}\{|f_h(t)|\}$, then $\mathbb{X}$ is a Banach space.

In the following, we assume that the following conditions hold:

$(S_2)$

There exist positive constants ${\alpha }_q^l,{\beta }_q^l$ such that

$$\begin{array}{c}|f_q^l(x_q^R,x_q^I,x_q^J,x_q^K)-f_q^l(y_q^R,y_q^I,y_q^J,y_q^K)|\hfill \\ \le {\alpha }_q^R|x_q^R-y_q^R|+{\alpha }_q^I|x_q^I-y_q^I|+{\alpha }_q^J|x_q^J-y_q^J|+{\alpha }_q^K|x_q^K-y_q^K|,\hfill \\ |g_q^l(x_q^R,x_q^I,x_q^J,x_q^K)-g_q^l(y_q^R,y_q^I,y_q^J,y_q^K)|\hfill \\ \le {\beta }_q^R|x_q^R-y_q^R|+{\beta }_q^I|x_q^I-y_q^I|+{\beta }_q^J|x_q^J-y_q^J|+{\beta }_q^K|x_q^K-y_q^K|\hfill \end{array}$$

and $f_q^l(0,0,0,0)=g_q^l(0,0,0,0)=0$, where $p\in \mathrm{\Lambda }$, $l\in E$.

$(S_3)$

The function $c_p\in C(\mathbb{R},{\mathbb{R}}^{+})$ with $M[c_p]>0$ is almost periodic, $U_p\in C(\mathbb{R},{\mathbb{R}}^{4\times 1})$, $A_{pq},B_{pq}\in C(\mathbb{R},{\mathbb{R}}^{4\times 4})$, and ${\tau }_{pq}\in C(\mathbb{R},{\mathbb{R}}^{+})$ are pseudo almost periodic, where $p,q\in \mathrm{\Lambda }$.

$(S_4)$

The delay kernel $K_{pq}:[0,\mathrm{\infty })\to \mathbb{R}$ is continuous and integrable with $0\le {\int }_0^{\mathrm{\infty }}|K_{pq}(u)|\mathrm{d}u\le {\overline{K}}_{pq}$, where $p,q\in \mathrm{\Lambda }$.

$(S_5)$

There exists a constant κ such that

$$\underset{p\in \mathrm{\Lambda }}{max}\left\{\underset{l\in E}{max}\left\{\frac{{\mathrm{\Theta }}_p\kappa +{\overline{u}}_p^l}{{\underset{\_}{c}}_p}\right\}\right\}\le \kappa ,\underset{p\in \mathrm{\Lambda }}{max}\left\{\frac{{\mathrm{\Theta }}_p}{{\underset{\_}{c}}_p}\right\}:=\rho <1,$$

where

$$\begin{array}{c}{\mathrm{\Theta }}_p=V_p+W_p,p\in \mathrm{\Lambda },\hfill \\ V_p=\sum _{q=1}^n({\overline{a}}_{pq}^R+{\overline{a}}_{pq}^I+{\overline{a}}_{pq}^J+{\overline{a}}_{pq}^K)({\alpha }_q^R+{\alpha }_q^I+{\alpha }_q^J+{\alpha }_q^K),p\in \mathrm{\Lambda },\hfill \\ W_p=\sum _{q=1}^n{\overline{K}}_{pq}({\overline{b}}_{pq}^R+{\overline{b}}_{pq}^I+{\overline{b}}_{pq}^J+{\overline{b}}_{pq}^K)({\beta }_q^R+{\beta }_q^I+{\beta }_q^J+{\beta }_q^K),p\in \mathrm{\Lambda }.\hfill \end{array}$$

Theorem 1

Suppose that $(S_1)$–$(S_5)$ hold. Then system (8) has a unique pseudo almost periodic solution in the region ${\mathbb{X}}^{\ast }=\{\phi \mid \phi \in \mathbb{X},{\parallel \phi \parallel }_{\mathbb{X}}\le \kappa \}$.

Proof

Let $\phi ={({\phi }_1^R,{\phi }_1^I,{\phi }_1^J,{\phi }_1^K,\dots ,{\phi }_n^R,{\phi }_n^I,{\phi }_n^J,{\phi }_n^K)}^T\in \mathbb{X}$. Obviously, $(S_1)$ implies that $F_q[t,\phi ]$ and $G_q[t,u,\phi ]$ are uniformly continuous functions on $\mathbb{R}$ for $q\in \mathrm{\Lambda }$. Set $h(t,z)={\phi }_q(t-z)$ $(q\in \mathrm{\Lambda })$, where ${\phi }_q(t-z)=({\phi }_q^R(t-z),{\phi }_q^I(t-z),{\phi }_q^J(t-z),{\phi }_q^K(t-z))$. By Theorem 5.3 in [40] and Definition 5.7 in [40], we can obtain that $h\in PAP(\mathbb{R}\times \mathrm{\Omega })$ and h is continuous in $z\in K$ and uniformly in $t\in \mathbb{R}$ for all compact subset K of $\mathrm{\Omega }\subset \mathbb{R}$. This, together with ${\tau }_{pq}\in PAP(\mathbb{R},{\mathbb{R}}^{+})$ and Theorem 5.11 in [40], implies that

$${\phi }_q(t-{\tau }_{pq}(t))\in PAP(\mathbb{R},{\mathbb{R}}^4),p,q\in \mathrm{\Lambda }.$$

Again from Corollary 5.4 in [40], we have

$$F_q[t,\phi ]\in PAP({\mathbb{R}}^4,{\mathbb{R}}^{4\times 1}),q\in \mathrm{\Lambda },$$

which implies that

$$\sum _{q=1}^n{A}_{pq}(t)F_q[t,\phi ]\in PAP(\mathbb{R},{\mathbb{R}}^{4\times 1}),p,q\in \mathrm{\Lambda }.$$

By a similar argument as that in the proof of Lemma 2.3 in [13], one can obtain that

$$\sum _{q=1}^n{B}_{pq}(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)G_q({\phi }_q(t-u))\mathrm{d}u\in PAP(\mathbb{R},{\mathbb{R}}^{4\times 1}),p\in \mathrm{\Lambda }.$$

For any $\phi \in \mathbb{X}$, consider the following linear system:

$$\begin{array}{rcl}{X}_p^{\prime }(t)& =& -c_p(t)X_p(t)+\sum _{q=1}^n{A}_{pq}(t)F_q[t,\phi ]\\ & & +\sum _{q=1}^n{B}_{pq}(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)G_q[t,u,\phi ]\mathrm{d}u+U_p(t),p\in \mathrm{\Lambda }.\end{array}$$ 9

In view of Lemma 2, we can conclude that the linear system

$$X_p^{\prime }(t)=-c_p(t)X_p(t),p\in \mathrm{\Lambda }$$ 10

admits an exponential dichotomy. Furthermore, by Lemma 1, we obtain that system (9) has exactly one pseudo periodic almost solution:

$$X^{\phi }=(X_1^{\phi },X_2^{\phi },\dots ,X_n^{\phi }),$$

where

$$\begin{array}{rcl}{X}_p^{\phi }(t)& =& {\int }_{-\mathrm{\infty }}^t{e}^{-{\int }_s^t{c}_p(u)\mathrm{d}u}(\sum _{q=1}^n{A}_{pq}(s)F_q[s,\phi ]\\ & & +\sum _{q=1}^n{B}_{pq}(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)G_q[s,u,\phi ]\mathrm{d}u+U_p(s))\mathrm{d}s,p\in \mathrm{\Lambda }.\end{array}$$ 11

Define a mapping $T:\mathbb{X}\to \mathbb{X}$ by setting $(T\phi )(t)=X^{\phi }(t)$, $\mathrm{\forall }\phi \in \mathbb{X}$. Obviously, ${\mathbb{X}}^{\ast }$ is a closed convex subset of $\mathbb{X}$.

Now, we prove that the mapping T is a self-mapping from ${\mathbb{X}}^{\ast }$ to ${\mathbb{X}}^{\ast }$. In fact, for $\mathrm{\forall }\phi \in {\mathbb{X}}^{\ast }$, we have

$$\begin{array}{rl}& \underset{t\in \mathbb{R}}{sup}|{(T\phi )}_p^R(t)|\\ & =\underset{t\in \mathbb{R}}{sup}\left|{\int }_{-\mathrm{\infty }}^t{e}^{-{\int }_s^t{c}_p(u)\mathrm{d}u}\right(\sum _{q=1}^n(a_{pq}^R(s)f_q^R[s,\varphi ]-a_{pq}^I(s)f_q^I[s,\varphi ]\\ & -a_{pq}^J(s)f_q^J[s,\varphi ]-a_{pq}^K(s)f_q^K[s,\varphi ])+\sum _{q=1}^n(b_{pq}^R(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u){\tilde{g}}_q^R\mathrm{d}u\\ & -b_{pq}^I(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u){\tilde{g}}_q^I\mathrm{d}u-b_{pq}^J(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u){\tilde{g}}_q^J\mathrm{d}u\\ & -b_{pq}^K(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u){\tilde{g}}_q^K\mathrm{d}u)+u_p^R(s))\mathrm{d}s|\\ & \le \underset{t\in \mathbb{R}}{sup}{\int }_{-\mathrm{\infty }}^t{e}^{-{\int }_s^t{c}_p(u)\mathrm{d}u}(\sum _{q=1}^n({\overline{a}}_{pq}^R+{\overline{a}}_{pq}^I+{\overline{a}}_{pq}^J+{\overline{a}}_{pq}^K)\\ & \times \left({\alpha }_q^R\right|{\phi }_q^R(s-{\tau }_{pq}(s))|+{\alpha }_q^I|{\phi }_q^I(s-{\tau }_{pq}(s))|+{\alpha }_q^J|{\phi }_q^J(s-{\tau }_{pq}(s))|\\ & +{\alpha }_q^K\left|{\phi }_q^K(s-{\tau }_{pq}(s))\right|)+\sum _{q=1}^n({\overline{b}}_{pq}^R+{\overline{b}}_{pq}^I+{\overline{b}}_{pq}^J+{\overline{b}}_{pq}^K)\\ & \times {\int }_0^{\mathrm{\infty }}|K_{pq}(u)|\left({\beta }_q^R\right|{\phi }_q^R(s-u)|+{\beta }_q^I|{\phi }_q^I(s-u)|+{\beta }_q^J|{\phi }_q^J(s-u)|\\ & +{\beta }_q^K|{\phi }_q^K(s-u)|)\mathrm{d}u+{\overline{u}}_p^R)\mathrm{d}s\\ & \le \underset{t\in \mathbb{R}}{sup}{\int }_{-\mathrm{\infty }}^t{e}^{-{\int }_s^t{c}_p(u)\mathrm{d}u}\left(\sum _{q=1}^n({\overline{a}}_{pq}^R+{\overline{a}}_{pq}^I+{\overline{a}}_{pq}^J+{\overline{a}}_{pq}^K)\right({\alpha }_q^R+{\alpha }_q^I+{\alpha }_q^J\\ & +{\alpha }_q^K){\parallel \phi \parallel }_{\mathbb{X}}+\sum _{q=1}^n{\overline{K}}_{pq}({\overline{b}}_{pq}^R+{\overline{b}}_{pq}^I+{\overline{b}}_{pq}^J+{\overline{b}}_{pq}^K)({\beta }_q^R+{\beta }_q^I+{\beta }_q^J\\ & +{\beta }_q^K){\parallel \phi \parallel }_{\mathbb{X}}+{\overline{u}}_p^R)\mathrm{d}s\\ & \le \frac{1}{{\underset{\_}{c}}_p}(V_p\kappa +W_p\kappa +{\overline{u}}_p^R)=\frac{{\mathrm{\Theta }}_p\kappa +{\overline{u}}_p^R}{{\underset{\_}{c}}_p},p\in \mathrm{\Lambda }.\end{array}$$ 12

In a similar way, we can obtain

$$\underset{t\in \mathbb{R}}{sup}|{(T\phi )}_p(t)|\le \frac{{\mathrm{\Theta }}_p\kappa +{\overline{u}}_p^l}{{\underset{\_}{c}}_p},p\in \mathrm{\Lambda },l=I,J,K.$$ 13

It follows from (12), (13), and $(H_4)$ that

$${\parallel T\phi \parallel }_{\mathbb{X}}\le \kappa ,$$

which implies that $T\phi \in {\mathbb{X}}^{\ast }$. Therefore, the mapping T is a self-mapping from ${\mathbb{X}}^{\ast }$ to ${\mathbb{X}}^{\ast }$. Next, we show that $T:{\mathbb{X}}^{\ast }\to {\mathbb{X}}^{\ast }$ is a contraction mapping. In fact, for any $\phi ,\psi \in {\mathbb{X}}^{\ast }$, we have

$$\begin{array}{rl}& \underset{t\in \mathbb{R}}{sup}|{(T\phi )}_p^R(t)-{(T\psi )}_p^R(t)|\\ & \le \underset{t\in \mathbb{R}}{sup}{\int }_{-\mathrm{\infty }}^t{e}^{-{\int }_s^t{c}_p(u)\mathrm{d}u}\left(\sum _{q=1}^n({\overline{a}}_{pq}^R+{\overline{a}}_{pq}^I+{\overline{a}}_{pq}^J+{\overline{a}}_{pq}^K)\right({\alpha }_q^R|{\phi }_q^R(s-{\tau }_{pq}(s))\\ & -{\psi }_q^R(s-{\tau }_{pq}(s))|+{\alpha }_q^I|{\phi }_q^I(s-{\tau }_{pq}(s))-{\psi }_q^I(s-{\tau }_{pq}(s))|\\ & +{\alpha }_q^J|{\phi }_q^J(s-{\tau }_{pq}(s))-{\psi }_q^J(s-{\tau }_{pq}(s))|+{\alpha }_q^K|{\phi }_q^K(s-{\tau }_{pq}(s))\\ & -{\psi }_q^K(s-{\tau }_{pq}(s))\left|\right)+\sum _{q=1}^n({\overline{b}}_{pq}^R+{\overline{b}}_{pq}^I+{\overline{b}}_{pq}^J+{\overline{b}}_{pq}^K){\int }_0^{\mathrm{\infty }}|K_{pq}(u)|\\ & \times \left({\beta }_q^R\right|{\phi }_q^R(s-u)-{\psi }_q^R(s-u)|+{\beta }_q^I|{\phi }_q^I(s-u)-{\psi }_q^I(s-u)|\\ & +{\beta }_q^J|{\phi }_q^J(s-u)-{\psi }_q^J(s-u)|+{\beta }_q^K|{\phi }_q^K(s-u)-{\psi }_q^K(s-u)|\left)\mathrm{d}u\right)\mathrm{d}s\\ & \le \underset{t\in \mathbb{R}}{sup}{\int }_{-\mathrm{\infty }}^t{e}^{-{\int }_s^t{c}_p(u)\mathrm{d}u}\left(\sum _{q=1}^n({\overline{a}}_{pq}^R+{\overline{a}}_{pq}^I+{\overline{a}}_{pq}^J+{\overline{a}}_{pq}^K)\right({\alpha }_q^R+{\alpha }_q^I\\ & +{\alpha }_q^J+{\alpha }_q^K){\parallel \phi -\psi \parallel }_{\mathbb{X}}+\sum _{q=1}^n{\overline{K}}_{pq}({\overline{b}}_{pq}^R+{\overline{b}}_{pq}^I+{\overline{b}}_{pq}^J+{\overline{b}}_{pq}^K)({\beta }_q^R+{\beta }_q^I\\ & +{\beta }_q^J+{\beta }_q^K\left){\parallel \phi -\psi \parallel }_{\mathbb{X}}\right)\mathrm{d}s\\ & \le \frac{1}{{\underset{\_}{c}}_p}(V_p+W_p){\parallel \phi -\psi \parallel }_{\mathbb{X}}=\frac{{\mathrm{\Theta }}_p}{{\underset{\_}{c}}_p}{\parallel \phi -\psi \parallel }_{\mathbb{X}}.\end{array}$$ 14

In a similar way, we can obtain

$$\underset{t\in \mathbb{R}}{sup}|{(T\phi )}_p^l(t)-{(T\psi )}_p^l(t)|\le \frac{{\mathrm{\Theta }}_p}{{\underset{\_}{c}}_p}{\parallel \phi -\psi \parallel }_{\mathbb{X}},p\in \mathrm{\Lambda },l=I,J,K.$$ 15

It follows from (14), (15), and $(H_4)$ that

$${\parallel T(\phi )-T(\psi )\parallel }_{\mathbb{X}}\le \rho {\parallel \phi -\psi \parallel }_{\mathbb{X}}.$$

Hence, T is a contraction mapping from ${\mathbb{X}}^{\ast }$ to ${\mathbb{X}}^{\ast }$. Therefore, T has a unique fixed point in ${\mathbb{X}}^{\ast }$, that is, (8) has a unique pseudo almost periodic solution in ${\mathbb{X}}^{\ast }$. The proof is complete. □

By Remark 1, Theorem 1, we have the following.

Theorem 2

Suppose that $(S_1)$–$(S_5)$ hold, then system (1) has a unique pseudo almost periodic solution in ${\mathbb{X}}^{\ast }=\{\phi \mid \phi \in \mathbb{X},{\parallel \phi \parallel }_{\mathbb{X}}\le \kappa \}$.

Definition 5

Let $x={(x_1^R,x_1^I,x_1^J,x_1^K,\dots ,x_n^R,x_n^I,x_n^J,x_n^K)}^T$ be a solution of (8) with the initial value $\phi ={({\phi }_1^R,{\phi }_1^I,{\phi }_1^J,{\phi }_1^K,\dots ,{\phi }_n^R,{\phi }_n^I,{\phi }_n^J,{\phi }_n^K)}^T\in C((-\mathrm{\infty },0],{\mathbb{R}}^{4n})$ and $y={(y_1^R,y_1^I,y_1^J,y_1^K,\dots ,y_n^R,y_n^I,y_n^J,y_n^K)}^T$ be an arbitrary solution of system (8) with the initial value $\psi ={({\psi }_1^R,{\psi }_1^I,{\psi }_1^J,{\psi }_1^K,\dots ,{\psi }_n^R,{\psi }_n^I,{\psi }_n^J,{\psi }_n^K)}^T\in C((-\mathrm{\infty },0],{\mathbb{R}}^{4n})$. If there exist constants $\lambda >0$ and $M>0$ such that

$$\parallel x(t)-y(t)\parallel \le M\parallel \phi -\psi \parallel e^{-\lambda t},t>0,$$

where

$$\parallel x(t)-y(t)\parallel =\underset{p\in \mathrm{\Lambda }}{max}\left\{\right|x_p^l(t)-y_p^l(t)|,l\in E\},$$

$${\parallel \phi -\psi \parallel }_0=\underset{p\in \mathrm{\Lambda },l\in E}{max}\left\{\underset{s\in (-\mathrm{\infty },0]}{sup}\right|{\phi }_p^l(s)-{\psi }_p^l(s)\left|\right\}.$$

Then the solution x of system (8) is said to be globally exponentially stable.

Theorem 3

Under the assumptions of Theorem 1, system (8) has a unique pseudo almost periodic solution that is globally exponentially stable.

Proof

From Theorem 1, we see that system (8) has a pseudo almost periodic solution $X^{\ast }={(X_1^{\ast },X_2^{\ast },\dots ,X_n^{\ast })}^T$ with initial value ${\mathrm{\Phi }}^{\ast }={({\varphi }_1^{\ast },{\varphi }_2^{\ast },\dots ,{\varphi }_n^{\ast })}^T$. Suppose that $X={(X_1,X_2,\dots ,X_n)}^T$ is an arbitrary solution of system (8) with initial value $\mathrm{\Phi }={({\varphi }_1,{\varphi }_2,\dots ,{\varphi }_n)}^T$ and let $Z=X-X^{\ast }$, then we have

$$\begin{array}{rcl}{Z}_p^{\prime }(t)& =& -c_p(t)Z_p(t)+\sum _{q=1}^n{A}_{pq}(t)(F_q[t,z+x^{\ast }]-F_q[t,x^{\ast }])\\ & & +\sum _{q=1}^n{B}_{pq}(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)(G_q[t,u,z+x^{\ast }]\\ & & -G_q[t,u,x^{\ast }])\mathrm{d}u,p\in \mathrm{\Lambda }.\end{array}$$ 16

The initial condition of (16) is

$$Z_p(s)={\psi }_p(s)={\mathrm{\Phi }}_p(s)-{\mathrm{\Phi }}_p^{\ast }(s),s\in (-\mathrm{\infty },0],p\in \mathrm{\Lambda }.$$

For $p\in \mathrm{\Lambda }$, we define ${\mathrm{\Gamma }}_p$ as follows:

$${\mathrm{\Gamma }}_p(\theta )=\theta -{\underset{\_}{c}}_p+V_p{e}^{\theta {\overline{\tau }}_{pq}}+W_p,p\in \mathrm{\Lambda }.$$

From $(S_5)$, we have

$${\mathrm{\Gamma }}_p(0)=-{\underset{\_}{c}}_p+V_p+W_p=-{\underset{\_}{c}}_p+{\mathrm{\Theta }}_p<0$$

and ${\mathrm{\Gamma }}_p(\theta )$ is continuous on $[0,+\mathrm{\infty })$ and ${\mathrm{\Gamma }}_p(\theta )\to +\mathrm{\infty }$, as $\theta \to +\mathrm{\infty }$. Hence, there exists ${\xi }_p>0$ such that ${\mathrm{\Gamma }}_p({\xi }_p)=0$ and ${\mathrm{\Gamma }}_p(\theta )<0$ for $\theta \in (0,{\xi }_p)$, $p\in \mathrm{\Lambda }$. So, we can choose a positive constant $0<\lambda <min\{{min}_{p\in \mathrm{\Lambda }}{\xi }_p,{min}_{p\in \mathrm{\Lambda }}\{{\underset{\_}{c}}_p\}\}$ such that

$${\mathrm{\Gamma }}_p(\lambda )<0,p\in \mathrm{\Lambda }.$$

Let ${\gamma }_p=V_p{e}^{\lambda {\overline{\tau }}_{pq}}+W_p$, $p\in \mathrm{\Lambda }$. Then ${\gamma }_p<{\underset{\_}{c}}_p-\lambda$, $p\in \mathrm{\Lambda }$. Take a constant M such that

$$M>\frac{{\underset{\_}{c}}_p-\lambda }{{\gamma }_p}>1,p\in \mathrm{\Lambda },$$

which yields

$$\frac{1}{M}-\frac{{\gamma }_p}{{\underset{\_}{c}}_p-\lambda }<0,p\in \mathrm{\Lambda }.$$

Hence, for any $ϵ>0$, it is obvious that

$$\parallel Z(0)\parallel <({\parallel \phi \parallel }_0+ϵ)$$ 17

and

$$\parallel Z(t)\parallel <({\parallel \phi \parallel }_0+ϵ)e^{-\lambda t}<M({\parallel \phi \parallel }_0+ϵ)e^{-\lambda t},\mathrm{\forall }t\in (-\mathrm{\infty },0].$$ 18

We claim that

$$\parallel Z(t)\parallel <M({\parallel \phi \parallel }_0+ϵ)e^{-\lambda t},\mathrm{\forall }t>0.$$ 19

Otherwise, there must exist some $p\in \mathrm{\Lambda }$ and $\eta >0$ such that

$$\{\begin{array}{c}|Z_p(\eta )|=\parallel Z(\eta )\parallel =M({\parallel \phi \parallel }_0+ϵ)e^{-\lambda \eta },\hfill \\ \parallel Z(t)\parallel <M({\parallel \phi \parallel }_0+ϵ)e^{-\lambda t},t<\eta .\hfill \end{array}$$ 20

Multiplying both sides of (16) by $e^{{\int }_0^t{c}_p(u)\mathrm{d}u}$ and integrating over $[0,t]$, we get

$$\begin{array}{rcl}{Z}_p(t)& =& Z_p(0)e^{-{\int }_0^t{c}_p(u)\mathrm{d}u}+{\int }_0^t{e}^{-{\int }_s^t{c}_p(u)\mathrm{d}u}(\sum _{q=1}^n{A}_{pq}(s)(F_q[s,z+x^{\ast }]\\ & & -F_q[s,x^{\ast }])+\sum _{q=1}^n{B}_{pq}(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)(G_q[s,u,z+x^{\ast }]\\ & & -G_q[s,u,x^{\ast }]\left)\mathrm{d}u\right)\mathrm{d}s.\end{array}$$

From this and (20), we get

$$\begin{array}{rl}& |z_p^R(\eta )|\\ & =|z_p^R(0)e^{-{\int }_0^{\eta }{c}_p(u)\mathrm{d}u}+{\int }_0^{\eta }{e}^{-{\int }_s^{\eta }{c}_p(u)\mathrm{d}u}(\sum _{q=1}^n(a_{pq}^R(s){\hat{f}}_q^R[s,x-x^{\ast }]\\ & -a_{pq}^I(s){\hat{f}}_q^I[s,x-x^{\ast }]-a_{pq}^J(s){\hat{f}}_q^J[s,x-x^{\ast }]-a_{pq}^K(s){\hat{f}}_q^K[s,x-x^{\ast }])\\ & +\sum _{q=1}^n(b_{pq}^R(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u){\hat{g}}_q^R[s,u,x-x^{\ast }]-b_{pq}^I(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)\\ & \times {\hat{g}}_q^I[s,u,x-x^{\ast }]-b_{pq}^J(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u){\hat{g}}_q^J[s,u,x-x^{\ast }]\\ & -b_{pq}^K(s){\int }_0^{\mathrm{\infty }}{K}_{pq}(u){\hat{g}}_q^K[s,u,x-x^{\ast }]\left)\mathrm{d}u\right)\mathrm{d}s|\\ & \le ({\parallel \phi \parallel }_0+ϵ)e^{-{\int }_0^{\eta }{c}_p(u)\mathrm{d}u}+{\int }_0^{\eta }{e}^{-{\int }_s^{\eta }{c}_p(u)\mathrm{d}u}\left(\sum _{q=1}^n\right({\overline{a}}_{pq}^R+{\overline{a}}_{pq}^I\\ & +{\overline{a}}_{pq}^J+{\overline{a}}_{pq}^K)({\alpha }_q^R+{\alpha }_q^I+{\alpha }_q^J+{\alpha }_q^K)e^{\lambda {\overline{\tau }}_{pq}}+\sum _{q=1}^n({\overline{b}}_{pq}^R+{\overline{b}}_{pq}^I\\ & +{\overline{b}}_{pq}^J+{\overline{b}}_{pq}^K\left)({\beta }_q^R+{\beta }_q^I+{\beta }_q^J+{\beta }_q^K){\int }_0^{\mathrm{\infty }}\right|K_{pq}(u)\left|e^{-\lambda s}{e}^{\lambda u}\mathrm{d}u\right)\mathrm{d}s\\ & \times M({\parallel \phi \parallel }_0+ϵ)\\ & \le ({\parallel \phi \parallel }_0+ϵ)e^{-\lambda \eta }{e}^{-{\int }_0^{\eta }(c_p(u)-\lambda )\mathrm{d}u}+{\int }_0^{\eta }{e}^{-{\int }_s^{\eta }{c}_p(u)\mathrm{d}u}\left(\sum _{q=1}^n\right({\overline{a}}_{pq}^R\\ & +{\overline{a}}_{pq}^I+{\overline{a}}_{pq}^J+{\overline{a}}_{pq}^K)({\alpha }_q^R+{\alpha }_q^I+{\alpha }_q^J+{\alpha }_q^K)e^{\lambda {\overline{\tau }}_{pq}}+\sum _{q=1}^n{\overline{K}}_{pq}({\overline{b}}_{pq}^R\\ & +{\overline{b}}_{pq}^I+{\overline{b}}_{pq}^J+{\overline{b}}_{pq}^K\left)({\beta }_q^R+{\beta }_q^I+{\beta }_q^J+{\beta }_q^K)\right)\mathrm{d}sM({\parallel \phi \parallel }_0+ϵ)e^{-\lambda \eta }\\ & \le ({\parallel \phi \parallel }_0+ϵ)e^{-\lambda \eta }{e}^{-{\int }_0^{\eta }(c_p(u)-\lambda )\mathrm{d}u}+\frac{1-e^{(\lambda -{\underset{\_}{c}}_p)\eta }}{{\underset{\_}{c}}_p-\lambda }(V_p{e}^{\lambda {\overline{\tau }}_{pq}}\\ & +W_p)M({\parallel \phi \parallel }_0+ϵ)e^{-\lambda \eta }\\ & \le M({\parallel \phi \parallel }_0+ϵ)e^{-\lambda \eta }[(\frac{1}{M}-\frac{{\gamma }_p}{{\underset{\_}{c}}_p-\lambda })e^{(\lambda -{\underset{\_}{c}}_p)\eta }+\frac{{\gamma }_p}{{\underset{\_}{c}}_p-\lambda }]\\ & <M({\parallel \phi \parallel }_0+ϵ)e^{-\lambda \eta },\end{array}$$ 21

where ${\hat{f}}_q^l[s,x-x^{\ast }]\triangleq f_q^l[s,x]-f_q^l[s,x^{\ast }],{\hat{g}}_q^l[s,u,x-x^{\ast }]\triangleq g_q^l[s,u,x]-g_q^l[s,u,x^{\ast }]$.

Similarly, we can get

$$|z_p^l(\eta )|<M({\parallel \phi \parallel }_0+ϵ)e^{-\lambda \eta },l=I,J,K.$$ 22

It follows from (21) and (22) that

$$|Z_p(\eta )|<M({\parallel \phi \parallel }_0+ϵ)e^{-\lambda \eta },$$

which contradicts the first equation of (20). Hence, (19) holds. Letting $ϵ\to 0^{+}$, from (19), we have

$$\parallel Z(t)\parallel \le M{\parallel \phi \parallel }_0{e}^{-\lambda t},\mathrm{\forall }t>0.$$

Therefore, the pseudo almost periodic solution of system (8) is globally exponentially stable. The proof is complete. □

By Remark 1, Theorem 3, we have

Theorem 4

Suppose that $(S_1)$–$(S_5)$ hold, then system (1) has a unique pseudo almost periodic solution that is globally exponentially stable.

An example

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

Example 1

Consider the following quaternion-valued system:

$$\begin{array}{rcl}{x}_p^{\prime }(t)& =& -c_p(t)x_p(t)+\sum _{q=1}^2{a}_{pq}(t)f_q\left(x_q(t-{\tau }_{pq}(t))\right)\\ & & +\sum _{q=1}^2{b}_{pq}(t){\int }_0^{\mathrm{\infty }}{K}_{pq}(u)g_q(x_q(t-u))du+u_p(t),\end{array}$$ 23

where $p=1,2$, $x_p=x_p^R+i{x}_p^I+j{x}_p^J+k{x}_p^K\in \mathbb{Q}$, and the coefficients are taken as follows:

$$\begin{array}{c}{c}_1(t)=4+cos(\sqrt{2}t),c_2(t)=5-sint,K_{pq}(u)=|sinu|e^{-4u},\hfill \\ f_q(x_q)=\frac{1}{4}{sin}^2(x_q^R+x_q^J)+i|x_q^I+x_q^K|+j\frac{1}{2}sin{x}_q^J+k\frac{1}{2}\left(\right|x_q^K+1|+|x_q^K|-1),\hfill \\ g_q(x_q)=tan{x}_q^R+i\frac{1}{8}{sin}^2(x_q^R+x_q^I)+j\left|x_q^J\right|+k\frac{1}{4}sin\left(\sqrt{2}{x}_q^K\right),\hfill \\ a_{11}(t)=a_{12}(t)=0.032cost+i0.03sin(\sqrt{2}t)+j0.028sint+k0.045cost,\hfill \\ a_{21}(t)=a_{22}(t)=0.04sin(\sqrt{2}t)+i0.05sin(\sqrt{3}t)+j0.036cos(\sqrt{2}t)+k0.06sint,\hfill \\ b_{11}(t)=b_{12}(t)=0.4sint+i0.2cos(\sqrt{2}t)+j0.3sin(\sqrt{3}t)+k0.25cost,\hfill \\ b_{21}(t)=b_{22}(t)=0.5cos(\sqrt{3}t)+i0.45sint+j0.35cost+k0.6sin(\sqrt{2}t),\hfill \\ {\tau }_{11}(t)=|sin(2t)|,{\tau }_{12}(t)={cos}^{2}t,{\tau }_{21}(t)=|sin(\sqrt{2}t)|,{\tau }_{22}(t)={sin}^{2}t,\hfill \\ u_1(t)=u_2(t)=cost+isin(2t)+jsin(\sqrt{2}t)+kcos(\sqrt{2}t).\hfill \end{array}$$

By a simple calculation, we have

$$\begin{array}{c}{\underset{\_}{c}}_1=3,{\underset{\_}{c}}_2=4,{\overline{K}}_{pq}=\frac{1}{4},p,q=1,2,\hfill \\ {\alpha }_q^R={\alpha }_q^J=\frac{1}{2},{\alpha }_q^I={\alpha }_q^K={\beta }_q^R={\beta }_q^J=1,{\beta }_q^I={\beta }_q^K=\frac{1}{4},\hfill \\ {\overline{a}}_{11}^R={\overline{a}}_{12}^R=0.032,{\overline{a}}_{11}^I={\overline{a}}_{12}^I=0.03,{\overline{a}}_{11}^J={\overline{a}}_{12}^J=0.028,\hfill \\ {\overline{a}}_{11}^K={\overline{a}}_{12}^K=0.045,{\overline{a}}_{21}^R={\overline{a}}_{22}^R=0.04,{\overline{a}}_{21}^I={\overline{a}}_{22}^I=0.05,\hfill \\ {\overline{a}}_{21}^J={\overline{a}}_{22}^J=0.036,{\overline{a}}_{21}^K={\overline{a}}_{22}^K=0.06,{\overline{b}}_{11}^R={\overline{b}}_{12}^R=0.4,\hfill \\ {\overline{b}}_{11}^I={\overline{b}}_{12}^I=0.2,{\overline{b}}_{11}^J={\overline{b}}_{12}^J=0.3,{\overline{b}}_{11}^K={\overline{b}}_{12}^K=0.25,\hfill \\ {\overline{b}}_{21}^R={\overline{b}}_{22}^R=0.5,{\overline{b}}_{21}^I={\overline{b}}_{22}^I=0.45,{\overline{b}}_{21}^J={\overline{b}}_{22}^J=0.35,{\overline{b}}_{21}^K={\overline{b}}_{22}^K=0.6,\hfill \\ {\overline{u}}_1^R={\overline{u}}_1^I={\overline{u}}_1^J={\overline{u}}_1^K={\overline{u}}_2^R={\overline{u}}_2^I={\overline{u}}_2^J={\overline{u}}_2^K=1,{\overline{\tau }}_{pq}=1,p,q=1,2.\hfill \end{array}$$

Take $\kappa =2$, then we have

$$\begin{array}{rcl}& & max\{\frac{2{\mathrm{\Theta }}_1+{\overline{u}}_1^R}{{\underset{\_}{c}}_1},\frac{2{\mathrm{\Theta }}_1+{\overline{u}}_1^I}{{\underset{\_}{c}}_1},\frac{2{\mathrm{\Theta }}_1+{\overline{u}}_1^J}{{\underset{\_}{c}}_1},\frac{2{\mathrm{\Theta }}_1+{\overline{u}}_1^K}{{\underset{\_}{c}}_1},\frac{2{\mathrm{\Theta }}_2+{\overline{u}}_2^R}{{\underset{\_}{c}}_2},\frac{2{\mathrm{\Theta }}_2+{\overline{u}}_2^I}{{\underset{\_}{c}}_2},\\ & & \frac{2{\mathrm{\Theta }}_2+{\overline{u}}_2^J}{{\underset{\_}{c}}_2},\frac{2{\mathrm{\Theta }}_2+{\overline{u}}_2^K}{{\underset{\_}{c}}_2}\}\approx \{1.8327,1.9955\}=1.9955\le \kappa =2\end{array}$$

and

$$max\{\frac{{\mathrm{\Theta }}_1}{{\underset{\_}{c}}_1},\frac{{\mathrm{\Theta }}_2}{{\underset{\_}{c}}_2}\}\approx \{0.7492,0.8728\}=0.8728=\rho <1.$$

It is easy to check that all the assumptions in Theorem 4 are satisfied. Therefore, we obtain that (23) has a pseudo almost periodic solution that is globally exponentially stable (see Fig. 1).

Figure 1.

Transient states of four parts of QVNN (23) in Example 1

Remark 2

The results obtained in [13–15, 21, 27–34] cannot be applied to obtain that system (23) has a unique pseudo almost periodic solution that is globally exponentially stable.

Conclusion

In this paper, we have established the existence and global exponential stability of pseudo almost periodic solutions of QVCNNs with discrete and distributed delays. An example has been given to demonstrate the effectiveness of our results. This is the first time to study the pseudo almost periodic oscillation for QVCNNs with discrete and distributed delays. Furthermore, the method of this paper can be used to study other types of quaternion-valued neural networks.

Authors’ contributions

The authors have made the same contribution. All authors read and approved the final manuscript.

Funding

The first author was supported by the National Natural Science Foundation of China (No. 11861072 and No. 11361072) and the Science Research Fund of Education Department of Yunnan Province of China (No. 2017YJS111). The second author was supported by the National Natural Science Foundation of China (No. 11861072 and No. 11361072).

Competing interests

The authors declare that they have no competing interests.