Processing math: 93%

Viability approach to Hamilton-Jacobi-Moskowitz problem involving variable regulation parameters

  • Received: 01 April 2012 Revised: 01 July 2013
  • Primary: 49J40, 34A60; Secondary: 35L65.

  • A few applications of the viability theory to the solution to the Hamilton-Jacobi-Moskowitz problems are presented. In the considered problem the Hamiltonian (fundamental diagram) depends on time, position and/or some regulation parameters. We study such a problem in its equivalent variational formulation. In this case, the corresponding lagrangian depends on the state of the characteristic dynamical system. As the Lax-Hopf formulae that give the solution in a semi-explicit form for an homogeneous lagrangian do not hold, a capture basin algorithm is proposed to compute the Moskowitz function as a viability solution of the Hamilton-Jacobi-Moskowitz problem with general conditions (including initial, boundary and internal conditions). We present two examples of applications to traffic regulation problems.

    Citation: Anya Désilles. Viability approach to Hamilton-Jacobi-Moskowitz problem involving variable regulation parameters[J]. Networks and Heterogeneous Media, 2013, 8(3): 707-726. doi: 10.3934/nhm.2013.8.707

    Related Papers:

    [1] Yuwei Cao, Bing Li . Existence and global exponential stability of compact almost automorphic solutions for Clifford-valued high-order Hopfield neutral neural networks with $ D $ operator. AIMS Mathematics, 2022, 7(4): 6182-6203. doi: 10.3934/math.2022344
    [2] Nina Huo, Bing Li, Yongkun Li . Global exponential stability and existence of almost periodic solutions in distribution for Clifford-valued stochastic high-order Hopfield neural networks with time-varying delays. AIMS Mathematics, 2022, 7(3): 3653-3679. doi: 10.3934/math.2022202
    [3] Xiaofang Meng, Yongkun Li . Pseudo almost periodic solutions for quaternion-valued high-order Hopfield neural networks with time-varying delays and leakage delays on time scales. AIMS Mathematics, 2021, 6(9): 10070-10091. doi: 10.3934/math.2021585
    [4] Jin Gao, Lihua Dai . Anti-periodic synchronization of quaternion-valued high-order Hopfield neural networks with delays. AIMS Mathematics, 2022, 7(8): 14051-14075. doi: 10.3934/math.2022775
    [5] Abdulaziz M. Alanazi, R. Sriraman, R. Gurusamy, S. Athithan, P. Vignesh, Zaid Bassfar, Adel R. Alharbi, Amer Aljaedi . System decomposition method-based global stability criteria for T-S fuzzy Clifford-valued delayed neural networks with impulses and leakage term. AIMS Mathematics, 2023, 8(7): 15166-15188. doi: 10.3934/math.2023774
    [6] Qian Cao, Xiaojin Guo . Anti-periodic dynamics on high-order inertial Hopfield neural networks involving time-varying delays. AIMS Mathematics, 2020, 5(6): 5402-5421. doi: 10.3934/math.2020347
    [7] Xiaojin Guo, Chuangxia Huang, Jinde Cao . Nonnegative periodicity on high-order proportional delayed cellular neural networks involving $ D $ operator. AIMS Mathematics, 2021, 6(3): 2228-2243. doi: 10.3934/math.2021135
    [8] Yongkun Li, Xiaoli Huang, Xiaohui Wang . Weyl almost periodic solutions for quaternion-valued shunting inhibitory cellular neural networks with time-varying delays. AIMS Mathematics, 2022, 7(4): 4861-4886. doi: 10.3934/math.2022271
    [9] Qi Shao, Yongkun Li . Almost periodic solutions for Clifford-valued stochastic shunting inhibitory cellular neural networks with mixed delays. AIMS Mathematics, 2024, 9(5): 13439-13461. doi: 10.3934/math.2024655
    [10] Hedi Yang . Weighted pseudo almost periodicity on neutral type CNNs involving multi-proportional delays and D operator. AIMS Mathematics, 2021, 6(2): 1865-1879. doi: 10.3934/math.2021113
  • A few applications of the viability theory to the solution to the Hamilton-Jacobi-Moskowitz problems are presented. In the considered problem the Hamiltonian (fundamental diagram) depends on time, position and/or some regulation parameters. We study such a problem in its equivalent variational formulation. In this case, the corresponding lagrangian depends on the state of the characteristic dynamical system. As the Lax-Hopf formulae that give the solution in a semi-explicit form for an homogeneous lagrangian do not hold, a capture basin algorithm is proposed to compute the Moskowitz function as a viability solution of the Hamilton-Jacobi-Moskowitz problem with general conditions (including initial, boundary and internal conditions). We present two examples of applications to traffic regulation problems.


    As is well known, in the practical application of neural networks (NNs), it is often necessary to use and design NN models with different dynamic characteristics for different application scenarios and purposes. Therefore, the study of the dynamic behavior of NNs has become an important issue that is widely concerned in both theoretical research and practical applications of NNs. Therefore, the dynamics of various types of NNs, especially numerous classical NNs such as recurrent NNs [1,2], bidirectional associative memory NNs [3], inertial NNs [4,5], Hopfield NNs [6], Cohen-Grossberg NNs [7], etc., have been widely studied. It should be mentioned here that due to the stronger approximation, faster convergence speed, larger storage capacity, and higher fault tolerance of high-order NNs compared to low-order NNs, the dynamics research of high-order NNs has received widespread attention [8,9,10,11,12].

    Meanwhile, owing to the fact that algebra-valued NNs, such as complex-valued [13,14], quaternion-valued [15,16,17,18], Clifford-valued [19,20,21,22,23], and octonion-valued NNs [24,25,26], are extensions of real-valued NNs and have more advantages than real-valued NNs in many application scenarios, research on the dynamics of algebra-valued NNs has gradually become a new hotspot in the field of NN research in recent years. It is worth mentioning here that the Clifford-valued high-order Hopfield fuzzy NN represents a sophisticated integration of Clifford algebra, high-order synaptic connections, and fuzzy logic, enabling it to achieve advanced applications in multidimensional data processing and complex system modeling. For example, it has applications in the fields of multidimensional signal processing, secure communication and image encryption, optimization and control systems, neuroscience, and cognitive modeling [27,28,29,30].

    On the one hand, from both theoretical and practical perspectives, NN models with time-varying connection weights and time-varying external inputs are more realistic than those with constant connection weights and constant external inputs. Meanwhile, time delay effects are inevitable. As a result, the rate of change in the state of a neuron depends not only on its current state but also on its historical state, and even more so, on the rate of change in its historical state. It is precisely for these reasons that researchers have proposed various neutral-type NN models with $ D $ operators and conducted extensive research on their dynamics [31,32,33,34]. In addition, fuzzy logic and NNs complement each other: fuzzy systems provide interpretability and handle uncertainty, while NNs offer powerful learning from data. Their integration bridges the gap between data-driven machine learning and human-like reasoning, making systems more adaptable, transparent, and robust in real-world applications. Indeed, fuzzy NNs have been successfully applied in many fields such as signal processing, pattern recognition, associative memory, and image processing [35,36,37,38,39].

    On the other hand, as is well known, almost periodic oscillation is an important dynamic of NNs with time-varying connection weights and time-varying external inputs. In the past few decades, the almost periodic oscillations of various NNs have been studied by countless scholars [23,31,33,34]. We know that besides Bohr's concept of almost periodicity, there are also Stepanov almost periodicity, Weyl almost periodicity, Besicovitch almost periodicity, and so on [40]. It should be pointed out here that Besicovitch almost periodicity is the most complex almost periodicity among Bohr almost periodicity, Stepanov almost periodicity, and Weyl almost periodicity, and that Stepanov almost periodicity, Weyl almost periodicity, and Besicovitch almost periodicity are referred to as generalized almost periodicity. Meanwhile, it should be noted that the product of two generalized almost periodic functions in the same sense may not necessarily be a generalized almost periodic function in that sense. Because of this reason, the emergence of high-order terms in high-order NNs poses difficulties for studying the generalized almost periodic oscillations of high-order NNs. As a consequence, the results of generalized almost periodic oscillations for high-order NNs are still very rare. Thereupon, it is necessary to further study the generalized almost periodic oscillation problem of high-order NNs.

    Inspired by the above observations, this paper considers a class of Clifford-valued high-order Hopfield fuzzy NNs with time-varying delays and $ D $ operators as follows:

    $ [xi(t)ai(t)xi(tτi(t))]=bi(t)xi(t)+nj=1cij(t)fj(xj(t))+nj=1uij(t)fj(xj(tσij(t)))+nj=1γij(t)μj(t)+vj=1nk=1θijk(t)gj(xj(tδijk(t)))gk(xk(tδijk(t)))+nj=1αij(t)fj(xj(tηij(t)))+nj=1βij(t)fj(xj(tηij(t)))+nj=1nk=1qijk(t)gj(xj(tδijk(t)))gk(xk(tδijk(t)))+nj=1nk=1νijk(t)gj(xj(tδijk(t)))gk(xk(tδijk(t)))+nj=1Tij(t)μj(t)+nj=1Sij(t)μj(t)+Ii(t), $ (1.1)

    where $ i \in\mathcal{J}: = \{1, 2, \cdots, n\} $, $ x_i(t) \in\mathcal{A} $ indicates the state of the $ i $th unit at time $ t $; $ \mathcal{A} $ is a real Clifford algebra; $ b_{i}(t)\in\mathcal{A} $ represents the self feedback coefficient at time $ t $; $ \alpha_{ij}(t), \beta_{ij}(t), T_{ij}(t), S_{ij}(t)\in\mathcal{A} $ stand for the elements of the fuzzy feedback MIN template and fuzzy feed forward MAX template, respectively; $ a_{i}(t), c_{ij}(t), u_{ij}(t) $ and $ \theta_{ijk}(t), q_{ijk}(t), \nu_{ijk}(t) \in\mathcal{A} $ represent the first-order and second-order connection weights of the NN; $ \gamma_{ij}(t) $ stands for the element of the feed forward template; $ \bigwedge $ and $ \bigvee $ denote the fuzzy AND and OR operations, respectively; $ \mu_j(t)\in\mathcal{A} $ represents the input of the $ j $th neuron; $ I_{i}(t)\in\mathcal{A} $ corresponds to the external input to the $ i $th unit; $ f_j $ and $ g_j: \mathcal{A}\to\mathcal{A} $ signify the nonlinear activation functions; and $ \tau_i(t), \sigma_{ij}(t), \eta_{ij}(t), \delta_{ijk}(t)\in\mathbb{R^{+}} $ denote the transmission delays.

    The initial value condition associated with (1.1) is given as

    $ xi(s)=φi(s),s[ϱ,0],iJ, $ (1.2)

    where $ \varphi_{i}\in BC([-\varrho, 0], \mathcal{A}), \varrho = \max\limits_{i, j, k\in \mathcal{J}}\big\{\sup\limits_{t\in \mathbb{R}}\tau_i(t), \sup\limits_{t\in \mathbb{R}}\sigma_{ij}(t), \sup\limits_{t\in \mathbb{R}}\eta_{ij}(t), \sup\limits_{t\in \mathbb{R}}\delta_{ijk}(t)\big\} $.

    The main purpose of this paper is to investigate the existence and stability of Besicovitch almost periodic solutions for system (1.1). The main contributions of this paper are as follows:

    1. This paper is the first one to investigate the existence of Besicovitch almost periodic solutions for system (1.1), and the results of this paper still hold true and are new in the following special cases of system (1.1).

    (ⅰ) System (1.1) is a real-valued, complex-valued, or quaternion-valued system.

    (ⅱ) System (1.1) is a real-valued, complex-valued, or quaternion-valued system without $ D $ operators, i.e. $ a_i (t) = 0 $.

    (ⅲ) System (1.1) is a real-valued system without $ D $ operators and fuzzy terms, i.e., $ a_i (t) = \alpha_{ij}(t) = q_{ijk}(t) = \nu_{ijk}(t) = T_{ij}(t) = S_{ij}(t)\equiv 0 $.

    2. The research method proposed in the paper can be used to study the generalized almost periodic dynamics for other high-order NNs.

    Remark 1.1. The method we propose can be summarized as follows: First, we use the fixed point theorem to prove the existence of solutions for system (1.1) that are bounded and continuous with respect to the Besicovitch seminorm on a closed subset of an appropriate Banach space. Then, we apply the definition and inequality techniques to prove that this solution is Besicovitch almost periodic.

    The remaining part of the paper is arranged as follows: In the second section, we review some relevant concepts, introduce some symbols used in this article, cite a useful lemma, and state and prove the completeness of the space we will use. In the third section, we investigate the existence and stability of Besicovitch almost periodic solutions for system (1.1). In the fourth section, we provide an example to demonstrate the correctness of our results. Finally, in the fifth section, we provide a brief conclusion.

    Let $ \mathcal{A} = \Big\{\sum\limits_{A\in\Omega}x^{A}e_{A}\in\mathbb{R}\Big\} $ indicate a real Clifford algebra over $ \mathbb{R}^m $ [41], where $ \Omega = \{\emptyset, 1, 2, \cdots, A, \cdots, 12, \cdots, m\} $, $ e_A = e_{h_1}e_{h_2}\cdots e_{h_v} $, $ 1\le h_1 < h_2 < \cdots < h_v\le m $, and in addition, $ e_{\emptyset} = e_0 = 1 $, and $ e_h $, $ h = 1, 2, \cdots, m $ are said to be Clifford generators and satisfy $ e_p = 1, p = 0, 1, 2, \cdots, s, e_p^{2} = -1, p = s+1, s+2, \cdots, m $, where $ s < m $, and $ e_{p}e_{q}+e_{q}e_{p} = 0, p\neq q, p, q = 1, 2, \cdots, m. $ For every $ x = \sum\limits_{A\in\Omega}x^{A}e_{A}\in\mathcal{A} $ and $ y = (y_{1}, y_{2}, \cdots, y_{n})^{T}\in\mathcal{A}^{n} $, we define $ |x|_{1} = \max\limits_{A\in\Omega}\{|x^{A}|\} $ and $ |y|_{n} = \max\limits_{i\in\mathcal{J}}\{|y_{i}|_{1}\} $, respectively, and then the spaces $ (\mathcal{A}, |\cdot|_1) $ and $ (\mathcal{A}^n, |\cdot|) $ are Banach ones.

    Since there is no order relation among Clifford numbers, as in [42], for $ x = \sum\limits_{A\in\Omega}x^{A}e_{A}, y = \sum\limits_{A\in\Omega}y^{A}e_{A}, $ we define $ x\bigwedge y = \sum\limits_{A\in\Omega}(\min\{x^{A}, y^{A}\})e_{A} $ and $ x\bigvee y = \sum\limits_{A\in\Omega}(\max\{x^{A}, y^{A}\})e_{A}. $ According to this regulation, for example, regarding the 6th and 7th terms on the right-hand side of Equation (1.1), we have

    $ nj=1αij(t)fj(xj(tηij(t)))=AΩ(min1jn{αAij(t)fAj(xj(tηij(t)))})eA $

    and

    $ nj=1βij(t)fj(xj(tηij(t)))=AΩ(max1jn{αAij(t)fAj(xj(tηij(t)))})eA. $

    For $ x = \sum\limits_{A\in\Omega}x^{A}e_{A}\in\mathcal{A} $, we indicate $ x^c = x-x^{\emptyset} $.

    For the sake of generality in the subsequent discussion of this section, let $ (\mathbb{X}, \|\cdot\|) $ be a Banach space and $ L_{loc}^{p}(\mathbb{R}, \mathbb{X}) $ with $ 1\le p < +\infty $ be the space consisting of measurable and locally $ p $-integrable functions from $ \mathbb{R} $ into $ \mathbb{X} $. In the next section, we will take $ \mathbb{X} = \mathbb{R} $, $ \mathbb{X} = \mathcal{A} $, or $ \mathbb{X} = \mathcal{A}^n $.

    Definition 2.1. [40] A bounded continuous function $ \varphi: \mathbb{R} \rightarrow \mathbb{X} $ is said to be almost periodic, if for every $ \varepsilon > 0 $, there exists a number $ \ell(\varepsilon) > 0 $ such that for each $ a\in \mathbb{R} $, there exists a point $ \sigma \in [a, a+\ell] $ satisfying

    $ \|\varphi(t+\sigma)-\varphi(t)\| < \varepsilon. $

    The family of such functions will be signified by $ AP(\mathbb{R}, \mathbb{X}) $.

    For $ \varphi\in L_{loc}^{p}(\mathbb{R}, \mathbb{X}) $, the Besicovitch seminorm is defined as the following:

    $ φBp={¯liml12lllφ(t)pdt}1p. $

    Definition 2.2. [43] A function $ \varphi\in L_{loc}^p(\mathbb{R}, \mathbb{X}) $ is called $ B^{p} $-continuous if $ \lim\limits_{h\to0}\|\varphi(\cdot+h)-\varphi(\cdot)\|_{B^{p}} = 0 $ and is called $ B^{p} $-bounded if $ \|\varphi\|_{B^{p}} < \infty. $

    Henceforth, we will denote the set of all functions that are $ B^{p} $-continuous and $ B^{p} $-bounded by $ BC B^p(\mathbb{R}, \mathbb{X}). $

    Definition 2.3. [40] A function $ \varphi\in L_{loc}^{p}(\mathbb{R}, \mathbb{X}) $ is said to be Besicovitch almost periodic, if for every $ \varepsilon > 0 $, there exists a positive number $ \ell > 0 $ such that for each $ a\in \mathbb{R} $, there exists a point $ \sigma \in [a, a+\ell] $ satisfying

    $\|\varphi(\cdot+\sigma)-\varphi(\cdot)\|_{B^{p}} < \varepsilon .$

    Denote by $ B^{p}_{AP}(\mathbb{R}, \mathbb{X}) $ the class of such functions and, for simplicity, call them $ B^{p} $-almost periodic functions.

    Lemma 2.1. [44] If $ \alpha_{ij}, \beta_{ij}\in C(\mathbb{R}, \mathcal{A}), g_{j}\in C(\mathcal{A}, \mathcal{A}), i, j\in\mathcal{J}, $ then one has

    $ \Big|\bigwedge\limits_{i = 1}^{n}\alpha_{ij}(t)g_{j}(x)-\bigwedge\limits_{i = 1}^{n}\alpha_{ij}(t)g_{j}(y)\Big|_1 \leq\sum\limits_{i = 1}^{n}|\alpha_{ij}(t)\|\|g_{j}(x)-g_{j}(y)|_1, \\ \Big|\bigvee\limits_{i = 1}^{n}\beta_{ij}(t)g_{j}(x)-\bigvee\limits_{i = 1}^{n}\beta_{ij}(t)g_{j}(y)\Big|_1 \leq\sum\limits_{i = 1}^{n}\|\beta_{ij}(t)\||g_{j}(x)-g_{j}(y)|_1. $

    Let $ L^{\infty}(\mathbb{R}, \mathbb{X}) $ be the set of all essentially bounded measurable functions from $ \mathbb{R} $ to $ \mathbb{X} $, then $ (L^{\infty}(\mathbb{R}, \mathbb{X}), \|\cdot\|_\infty) $ is a Banach space, where $ \|\cdot\|_\infty: = ess\sup\limits_{t\in\mathbb{R}}\|\cdot\| $ denotes the essential supremum norm.

    Denote

    $ \mathbb{Z} = \{x|x\in L^{\infty}(\mathbb{R}, \mathbb{X})\cap BCB^{p}(\mathbb{R}, \mathbb{X})\}. $

    Then we have the following lemma which is crucial for the proof of our main result of this paper.

    Lemma 2.2. The space $ (\mathbb{Z}, \|\cdot\|_{\infty}) $ is a Banach space.

    Proof. Let $ \{{\phi_{n}}\} \subset\mathbb{Z} $ be a Cauchy sequence, and then for every $ \varepsilon > 0 $, there is a positive integer $ N_{1} $ such that for $ n, m > N_{1}, $

    $ \|\phi_{n}(\cdot)-\phi_{m}(\cdot)\|_{\infty} < \frac{\varepsilon}{3} . $

    Since $ \{\phi_n\}\subset\mathbb{Z}\subset L^{\infty}(\mathbb{R}, \mathbb{X}) $ and $ (L^{\infty}(\mathbb{R}, \mathbb{X}), \|\cdot\|_{\infty}) $ is a Banach space, there exists $ \phi\in L^\infty(\mathbb{R}, \mathcal{A}^n) $ such that $ \phi_n\to \phi $ as $ n\to\infty $ with respect to the norm $ \|\cdot\|_\infty. $ To complete the proof, it suffices to prove that $ \phi\in BCB^p(\mathbb{R}, \mathbb{X}). $ From $ \lim\limits_{n\to\infty} \phi_n = \phi $ in regard to the essential supremum norm, it follows that there exists a positive integer $ N_{2} $ such that for $ n > N_{2} $,

    $ \|\phi_n(\cdot)-\phi(\cdot)\|_\infty < \frac{\varepsilon}{3}. $

    Now, take $ N_0 = \max\{N_1, N_2\} $, and then, due to the fact that $ \phi_{N_0+1}\in BCB^p(\mathbb{R}, \mathbb{X}) $, there exists a $ \delta = \delta(\varepsilon) > 0 $ such that for any $ h\in \mathbb{R} $ with $ |h| < \varepsilon $, it holds that

    $ \|\phi_{N_{0}+1}(\cdot+h)-\phi_{N_{0}+1}(\cdot)\|_{B^{p}} < \frac{\varepsilon}{3}. $

    Consequently,

    $ ϕ(+h)ϕ()Bpϕ(+h)ϕN0+1(+h)Bp+ϕN0+1(+h)ϕN0+1()Bp+ϕN0+1()ϕ()Bpϕ(+h)ϕN0+1(+h)+ϕN0+1(+h)ϕN0+1()Bp+ϕN0+1()ϕ()ε3+ε3+ε3=ε, $

    which implies $ \phi\in BCB^p(\mathbb{R}, \mathbb{X}). $ The proof is completed.

    In this section, for $ x\in L^{\infty}(\mathbb{R}, \mathcal{A}) $, we denote $ |x|_{\infty} = \max\limits_{A\in\Omega}\{ess\sup\limits_{t\in\mathbb{R}}|x^{A}(t)|\} $ and for $ z = (z_{1}, z_{2}, \cdots, z_{n})^{T} = (\sum\limits_{A}z_{1}^{A}e_A, \sum\limits_{A}z_{2}^{A}e_A, \cdots, \sum\limits_{A}z_{n}^{A}e_A)^{T}\in L^{\infty}(\mathbb{R}, \mathcal{A}^{n}) $, we denote $ \|z\|_{\infty} = \max\limits_{i\in\mathcal{J}}\{|z_i|_\infty\} $. Let $ \mathbb{Z} = \{z|z\in L^{\infty}(\mathbb{R}, \mathcal{A}^n)\cap BCB^{p}(\mathbb{R}, \mathcal{A}^n)\}, $ and then, according to Lemma 2.2, $ (\mathbb{Z}, \|\cdot\|_{\infty}) $ is a Banach space. For $ x\in B^{p}_{AP}(\mathbb{R}, \mathcal{A}) $ and $ z\in B^{p}_{AP}(\mathbb{R}, \mathcal{A}^n) $, we will use $ |x|_{B^p} $ and $ \|z\|_{B^p} $ to represent the seminorms of $ x $ and $ z $, respectively.

    In what follows, we will employ the following symbols:

    $ \bar{g} = \sup\limits_{t\in\mathbb{R}}\|g(t)\|_\mathbb{Y} \; \text{and}\; \underline{g} = \inf\limits_{t\in\mathbb{R}}\|g(t)\|_\mathbb{Y}, $

    where $ g:\mathbb{R}\to\mathbb{Y} $ is a bounded function and $ (\mathbb{Y}, \|\cdot\|_\mathbb{Y}) $ is a normed space. Moreover, we will use the following assumptions:

    $ (A_1) $ For $ i, j, k\in\mathcal{J} $, functions $ b^\emptyset_i\in AP(\mathbb{R}, \mathbb{R}^+) $ with $ \underline{b}_i^\emptyset > 0 $, $ a_{i}, b^c_i, \mu_{j}, c_{ij}, u_{ij}, \alpha_{ij}, \beta_{ij}, \theta_{ijk}, q_{ijk}, \\ \nu_{ijk}\in AP(\mathbb{R}, \mathcal{A}), \tau_{i}, \sigma_{ij}, \eta_{ij}, \delta_{ijk}\in AP(\mathbb{R}, \mathbb{R})\cap C^{1}(\mathbb{R}, \mathbb{R^{+}}) $ with $ \tau^\prime_{i}(t)\le\bar{\tau}_{i}^{\prime} < 1, \sigma^{\prime}_{ij}(t)\le\bar{\sigma}_{ij}^\prime < 1, \eta^{\prime}_{ij}(t)\le\bar{\eta}_{ij}^\prime < 1, \delta^{\prime}_{ijk}(t)\le\bar{\delta}_{ijk}^\prime < 1 $, where $ \bar{\tau}^\prime, \bar{\sigma}^{\prime}, \bar{\eta}^\prime, \bar{\delta}^{\prime} $ are constants, and $ \gamma_{ij}, T_{ij}, S_{ij}, I_i\in L^{\infty}(\mathbb{R}, \mathcal{A}) \cap B_{AP}^{p}(\mathbb{R}, \mathcal{A}). $

    $ (A_2) $ For all $ j\in\mathcal{J} $, functions $ f_j, g_j\in C(\mathcal{A}, \mathcal{A}) $ with $ f_j(0) = 0, g_j(0) = 0 $, and there exist positive constants $ L_{j}^{f}, L_{j}^{g}, M_{j}^{g} $, and $ M_{k}^{g} $ such that for any $ u, v\in\mathcal{A} $,

    $ |fj(u)fj(v)|1Lfj|uv|1,|gj(u)gj(v)|1Lgj|uv|1,|gj(u)|1Mgj,|gk(u)|1Mgk. $

    $ (A_3) $ For $ i\in\mathcal{J} $, there exist positive constants $ \vartheta_{i} $ such that

    $ ρ:=maxiJ{ˉai+1b_i[ˉbiˉai+ˉbci+ϑ1i(nj=1ˉcijLfjϑj+nj=1ˉuijLfjϑj+ni=1nk=1ˉθijkLgjMgkϑj+nj=1ˉαijLfjϑj+nj=1ˉβijLfjϑj+ni=1nk=1ˉqijkLgjMgkϑj+ni=1nk=1ˉνijkLgjMgkϑj)]}<1. $

    $ (A_4) $ For the constants $ \vartheta_{i}, i\in J $, mentioned in $ (A_3) $, and $ p, q > 1 $ with $ \frac{1}{p}+\frac{1}{q} = 1 $, it holds that

    $ P:=2p1maxiJ{4p1(ˉai)p11ˉτi+70p1(1b_i)p+qq(ˉaiˉbi)peb_iˉτi1ˉτi+70p1(1b_i)p+qq(ˉbci)p+35p1ϑpi(1b_i)p+qq(nj=1(ˉcij)q)pqnj=1(Lfjϑj)p+70p1ϑpi(1b_i)p+1q(nj=1(ˉuij)q)pq×nj=1(Lfjϑj)peb_iˉσij1ˉσij+140p1ϑpi(1b_i)p+qqn2pq[nj=1nk=1(ˉθijkMgkLgjϑj)p+nj=1nk=1(ˉθijkMgjLgkϑk)p]eb_iˉδijk1ˉδijk+70p1ϑpi(1b_i)p+qq(nj=1(ˉαij)q)pq×nj=1(Lfjϑj)peb_iˉηij1ˉηij+70p1ϑpi(1b_i)p+qq(nj=1(ˉβij)q)pqnj=1(Lfjϑj)peb_iˉηij1ˉηij+140p1ϑpi(1b_i)p+qqn2pq(nj=1nk=1(ˉqijkMgkLgjϑj)p+nj=1nk=1(ˉqijkMgjLgkϑk)p)×eb_iˉδijk1ˉδijk+140p1ϑpi(1b_i)p+qqn2pq(nj=1nk=1(ˉνijkMgkLgjϑj)p+nj=1nk=1(ˉνijkMgjLgkϑk)p)epqb_iˉδijk1ˉδijk}<1. $

    For $ i\in\mathcal{J} $, let $ y_i(t) = \vartheta_{i}^{-1}x_i(t), Z_i(t) = y_i(t)-a_i(t)y_i(t-\tau_i(t)) $, where $ \vartheta_i > 0 $ are constants, and then system (1.1) turns into

    $ Zi(t)=bi(t)Zi(t)bi(t)ai(t)yi(tτi(t))bci(t)yi(t)+ϑ1i[nj=1cij(t)fj(ϑjyj(t)+nj=1uij(t)fj(ϑjyj(tσij(t)))+nj=1γij(t)μj(t)+nj=1nk=1θijk(t)gj(ϑjyj(tδijk(t)))gk(ϑkyk(tγijk(t)))+nj=1αij(t)fj(ϑjyj(tηij(t)))+nj=1βij(t)fj(ϑjyj(tηij(t)))+nj=1nk=1qijk(t)gj(ϑjyj(tδijk(t)))gk(ϑkyk(tδijk(t)))+nj=1nk=1νijk(t)gj(ϑjyj(tδijk(t)))gk(ϑkyk(tδijk(t)))+nj=1Tij(t)μi(t)+nj=1Sij(t)μi(t)+Ii(t)],iJ. $ (3.1)

    Multiplying both sides of (3.1) with $ e^{\int_{t_0}^{t}b_i^{\emptyset}(u)du} $ and integrating over the interval $ \left[t_0, t\right] $, then it holds that

    $ yi(t)=ai(t)yi(tτi(t))+[yi(t0)ai(t0)yi(t0τi(t0))]ett0bi(u)du+tt0etsbi(u)du(Ny)i(s)ds,iJ, $ (3.2)

    where

    $ (Ny)i(s)=bi(s)ai(s)yi(sτi(s))bci(s)yi(s)+ϑ1i(nj=1cij(s)fj(ϑjyj(s))+nj=1uij(s)fj(ϑjyj(sσij(s)))+nj=1γij(s)μj(s)+nj=1nk=1θijk(s)gj(ϑjyj(sδijk(s)))gk(ϑkyk(sδijk(s)))+nj=1αij(s)fj(ϑjyj(sηij(s)))+nj=1βij(s)fj(ϑjyj(sηij(s)))+nj=1nk=1qijk(s)gj(ϑjyj(sδijk(s)))gk(ϑkyk(sδijk(s)))+nj=1nk=1νijk(s)gj(ϑjyj(sδijk(s)))gk(ϑkyk(sδijk(s)))+nj=1Tij(s)μi(s)+nj=1Sij(s)μi(s)+Ii(s)). $

    It is easy to verify that if $ y^{\ast}(t) = \left(y_1^{\ast}(t), y_2^{\ast}(t), \cdots, y_n^{\ast}(t)\right) $ solves system (3.1), then $ x^{\ast}(t) = (x_1^{\ast}(t), x_2^{\ast}(t), \cdots, x_n^{\ast}(t)) = (\vartheta_{1}^{-1}y_1^{\ast}(t), \vartheta_{2}^{-1}y_2^{\ast}(t), \cdots, \vartheta_{n}^{-1}y_n^{\ast}(t)) $ solves system (1.1).

    Definition 3.1. A function $ x = \left(x_1, x_2, \cdots, x_n\right):\mathbb{R}\rightarrow \mathcal{A}^n $ is called a solution of (1.1) provided that there exist positive numbers $ \vartheta_i $ such that $ y_i(t) = \vartheta_{i}^{-1}x_i(t), i\in \mathcal{J} $ fulfill (3.2).

    Set

    $ \hat{\varphi} = (\hat{\varphi}_{1}(t), \hat{\varphi}_{2}(t), \cdots, \hat{\varphi}_{n}(t))^{T}, $

    where

    $ ˆφi(t)=tetsbi(u)du(nj=1γij(s)μj(s)+nj=1Tij(s)μj(s)+nj=1Sij(s)μj(s)+Ii(s))ds,iJ. $

    It is easy to see that $ \hat{\varphi} $ is well defined under condition $ (A_1) $. Choose a positive constant $ r $ with $ r > \|\hat{\varphi}\|_{\infty} $.

    Then, we are now in a position to present and prove our existence result.

    Theorem 3.1. Assume that $ (A_{1})-(A_{4}) $ hold. Then, system (1.1) admits a unique $ B^p $-almost periodic solution in $ \mathbb{Z}^*: = \{\varphi|\varphi\in\mathbb{Z}, \|\varphi-\hat{\varphi}\|_{\infty}\le \frac{\rho r}{1-\rho}\} $.

    Proof. Letting $ t_0\rightarrow \infty $, from (3.2), one gets

    $ yi(t)=ai(t)yi(tτi(t))+tetsbi(u)du(Ny)i(s)ds,iJ. $

    Define a mapping $ T:\mathbb{Z}^*\rightarrow \mathbb{Z}^* $ by setting $ (T\varphi)(t) = ((T\varphi)_{1}(t), (T\varphi)_{2}(t), \cdots, (T\varphi)_{n}(t))^{T} $ for $ \varphi\in\mathbb{Z} $ and $ t\in \mathbb{R} $, where $ (T\varphi)_{i}(t) = a_{i}(t)\varphi_{i}(t-\tau_{i}(t))+\int_{-\infty}^{t}e^{-\int_{s}^{t}b_{i}^{\emptyset}(u)du}(N^{\varphi})_{i}(s)ds, i\in\mathcal{J}. $

    To begin with, we show that $ T(\mathbb{Z}^*)\subset\mathbb{Z}^*. $

    Note that, for any $ \varphi\in\mathbb{Z}^* $, it holds that

    $ \|\varphi\|_{\infty}\leq\|\varphi-\hat{\varphi}\|_{\infty}+\|\hat{\varphi}\|_{\infty}\le\frac{\rho r}{1-\rho}+r = \frac{r}{1-\rho} $

    and $ \|N^\varphi\|_\infty < \infty. $

    For every $ \varphi\in\mathbb{Z}^* $, we infer that

    $ Tφˆφ=maxiJ{esssuptR|ai(t)φi(tτi(t))+tetsbi(u)du[bi(s)ai(s)φi(sτi(s))bci(s)φi(s)+ϑ1i(nj=1cij(s)fj(ϑjφj(s))+nj=1uij(s)fj(ϑjφj(sσij(s)))+ni=1nk=1θijk(s)gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))+nj=1αij(s)fj(ϑjφj(sηij(s)))+nj=1βij(s)fj(ϑjφj(sηij(s)))+nj=1nk=1qijk(s)gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))+nj=1nk=1νijk(s)gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s))))]ds|1}maxiJ{ˉaiφ+teb_i(ts)[ˉbiˉai+ˉbci+ϑ1i(nj=1ˉcijLfjϑj+nj=1ˉuijLfjϑj+ni=1nk=1ˉθijkLgjMgkϑjϑk+nj=1ˉαijLfjϑj+nj=1ˉβijLfjϑj+nj=1nk=1ˉqijkLgjMgkϑjϑk+nj=1nk=1ˉνijkLgjMgkϑjϑk)]φds}maxiJ{ˉai+1b_i(ˉbiˉai+ˉbci+nj=1ˉcijLfj+nj=1ˉuijLfj+ni=1nk=1ˉθijkLgjMgk+nj=1ˉαijLfj+nj=1ˉβijLfj+ni=1nk=1ˉqijkLgjMgk+ni=1nk=1ˉνijkLgjMgk)}φ=ρφ<r1ρ,iJ. $

    In addition, by condition $ (A_1) $ and the fact that $ \varphi\in \mathbb{Z} $, we have that for every $ \varepsilon > 0 $, there exists a positive number $ \delta = \delta(\varepsilon) (<\varepsilon) $ such that for any $ h\in \mathbb{R} $ with $ |h| < \delta $, it holds

    $ |ai(t+h)ai(t)|1<ε,|φi(+h)φi()|Bp<ε,|τi(t+h)τi(t)|<δ,iJ. $

    Without loss of generality, in the sequel, we assume that $ h > 0 $, then we deduce that

    $ Tφ(+h)Tφ()pBp2p1maxiJ{¯liml12lll|ai(t+h)φi(t+hτi(t+h))ai(t)φi(tτi(t))|p1dt}+2p1maxiJ{¯liml12lll|t+het+hsbi(u)du(Nφ)i(s)dstetsbi(u)du(Nφ)i(s)ds|p1dt}6p1maxiJ{¯liml12lll|ai(t+h)ai(t)|p1|φi(t+hτi(t+h))|p1dt}+6p1maxiJ{¯liml12lll|ai(t)|p1|φi(t+hτi(t+h))φi(tτi(t+h))|p1dt}+6p1maxiJ{¯liml12lll|ai(t)|p1|φi(tτi(t+h))φi(tτi(t))|p1dt}+4p1maxiJ{¯liml12lll|t|et+hsbi(u)duetsbi(u)du|(Nφ)i(s)ds|p1dt}+4p1maxiJ{¯liml12lll|t+htet+hsbi(u)du(Nφ)i(s)ds|p1dt}6p1maxiJ{¯liml12lll|ai(t+h)ai(t)|p1|φi(t+hτi(t+h))|p1dt}+6p1maxiJ{¯liml12lll|ai(t)|p1|φi(t+hτi(t+h))φi(tτi(t+h))|p1dt}+6p1maxiJ{¯liml12lll|ai(t)|p1|φi(tτi(t+h))φi(tτi(t))|p1dt}+4p1maxiJ{¯liml12lll|teb_i(ts)|t+hsbi(u)dutsbi(u)du|(Nφ(s))ids|p1}+4p1maxiJ{¯liml12lll|t+htet+hsbi(u)du(Nφ)i(s)ds|p1dt}maxiJ{6p1εpφp+6p1ˉapiεp+6p1ˉapiεp+4p1hp[(ˉbib_i)p+(1b_i)p]Nφp}maxiJ{6p1φp+6p1ˉai+6p1ˉai+4p1[(ˉbib_i)p+(1b_i)p]Nφp}εp, $

    which implies $ T\varphi\in BCB^{p}(\mathbb{R}, \mathcal{A}^{n}) $. Therefore, $ T(\mathbb{Z}^*)\subset \mathbb{Z}^* $.

    Next, we will prove that $ T $ is a contraction mapping. In fact, for any $ \varphi, \psi\in\mathbb{Z}^*, i\in\mathcal{J}, $ we have

    $ TφTψesssuptR|ai(t)(φi(tτi(t))ψi(tτi(t)))|1+esssuptR|tetsbi(u)du[bi(s)ai(s)(φi(sτi(s))ψi(sτi(s)))bci(s)(φi(s)ψi(s))+ϑ1i(nj=1cij(s)(fj(ϑjφj(s))fj(ϑjψj(s)))+nj=1uij(s)(fj(ϑjφj(sσij(s)))fj(ϑjψj(sσij(s))))+ni=1nk=1θijk(s)(gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))gj(ϑjψj(sδijk(s))))gk(ϑkψk(sδijk(s))))+nj=1αij(s)(fj(ϑjφj(sηij(s)))fj(ϑjψj(sηij(s))))+nj=1βij(s)(fj(ϑjφj(sηij(s)))fj(ϑjψj(sηij(s))))+ni=1nk=1qijk(s)(gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))gj(ϑjψj(sδijk(s))))gk(ϑkψk(sδijk(s))))+ni=1nk=1νijk(s)(gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))gj(ϑjψj(sδijk(s))))gk(ϑkψk(sδijk(s)))]dsˉaiφψ+teb_i(ts)[ˉbiˉai+ˉbci+ϑ1i(nj=1ˉcijLfjϑj+nj=1ˉuijLfjϑj+nj=1nk=1ˉθijkLgjMgkϑj+nj=1ˉαijLfjϑj+nj=1ˉβijLfjϑj+nj=1nk=1ˉqijkLgjMgkϑj+nj=1nk=1ˉνijkLgjMgkϑj)]φψdsmaxiJ{ˉai+1b_i[ˉbiˉai+ˉbci+ϑ1i(nj=1ˉcijLfjϑj+nj=1ˉuijLfjϑj+ni=1nk=1ˉθijkLgjMgkϑj+nj=1ˉαijLfjϑj+nj=1ˉβijLfjϑj+ni=1nk=1ˉqijkLgjMgkϑj+ni=1nk=1ˉνijkLgjMgkϑj)]}φψ=ρφψ,iJ, $

    which combined with condition $ (A_{3}) $ means that $ T $ is a contraction mapping. Thereupon, $ T $ has a unique fixed point $ \varphi^{*}\in\mathbb{Z}^*. $

    Finally, we will examine that $ \varphi^{*} $ is $ B^p $-almost periodic.

    Since $ \varphi^{*}\in\mathbb{Z}^*\subset BCB^p(\mathbb{R}, \mathcal{A}^n) $, for any $ \varepsilon > 0 $, there exists a $ \sigma > 0 (\sigma < \varepsilon) $ such that, for any $ \hbar\in \mathbb{R} $ with $ |\hbar| < \sigma $,

    $ |φi(+)φi()|Bp<ε,iJ. $

    Based on this and $ (A_1) $, there exists $ {\flat} $ such that, for all $ i\in\mathcal{J} $,

    $ |ai(+)ai()|1<ε,|bi(+)bi()|<ε,|bci(+)bci()|1<ε, $ (3.3)
    $ |cij(+)cij()|1<ε,|uij(+)uij()|1<ε,|γij(+)γij()|Bp<ε, $ (3.4)
    $ |θijk(+)θijk()|1<ε,|αij(+)αij()|1<ε,|βij(+)βij()|1<ε, $ (3.5)
    $ |qijk(+)qijk()|1<ε,|νijk(+)νijk()|1<ε,|Tij(+)Tij()|Bp<ε, $ (3.6)
    $ |τi(t+)τ(t)|<ε,|σij(t+)σij(t)|<ε,|δijk(t+)δijk(t)|<ε, $ (3.7)
    $ |ηij(t+)ηij(t)|<ε,|Sij(+)Sij()|Bp<ε,|Ii(+)Ii()|Bp<ε, $ (3.8)
    $ |φi(τi(+))φi(τi())|Bp<ε,|φj(σij(+))φj(σij())|Bp<ε, $ (3.9)
    $ |φi(ηij(+))φi(ηij())|Bp<ε,|φj(δijk(+))φj(δijk())|Bp<ε, $ (3.10)
    $ |φk(δijk(+))φk(δijk())|Bp<ε. $ (3.11)

    Then, we deduce that

    $ φ(t+)φ(t)pBp2p1maxiJ{¯liml12lll|ai(t+)φi(t+τi(t+))ai(t)φi(tτi(t))|p1dt}+2p1maxiJ{¯liml12lll|t+et+sbi(u+)du(Nφ)i(s)dstetsbi(u)du(Nφ)i(s)ds|p1dt}4p1maxiJ{¯liml12lll|ai(t+)(φi(t+τi(t+))φi(tτi(t)))|p1dt}+4p1maxiJ{¯liml12lll|(ai(t+)ai(t))φi(tτi(t))|p1dt}+2p1maxiJ{¯liml12lll|tetsbi(u+)du(Nφ)i(s+)dstetsbi(u)du(Nφ)i(s)ds|p1dt}4p1maxiJ{¯liml12lll|ai(t+)(φi(t+τi(t+))φi(tτi(t)))|p1dt}+4p1maxiJ{¯liml12lll|(ai(t+)ai(t))φi(tτi(t))|p1dt}+70p1maxiJ{¯liml12lll|tetsbi(u+)duai(s+)bi(s+)×(φi(s+τi(s+))φi(sτi(s)))ds|p1dt}+70p1maxiJ{¯liml12lll|tetsbi(u+)du(ai(s+)ai(s))bi(s+)×φi(sτi(s))ds|p1dt}+70p1maxiJ{¯liml12lll|tetsbi(u+)duai(s)(bi(s+)bi(s))φi(sτi(s))ds|p1dt}+70p1maxiJ{¯liml12ll1|t|etsbi(u+)duetsbi(u)du|×ai(s)bi(s)φi(sτi(s))ds|p1dt}+70p1maxiJ{¯liml12lll|tetsbi(u+)du(bci(s+)φi(s+)bci(s)φi(s))ds|p1dt}+70p1maxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|bci(s)φi(s)ds|p1dt} $
    $ +70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1cij(s+)(fj(ϑjφj(s+))fj(ϑjφi(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1(cij(s+)cij(s))fj(ϑjφj(s))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|×nj=1cij(s)fj(ϑjφj(s))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1uij(s+)×(fj(ϑjφj(s+σij(s+)))fj(ϑjφj(sσij(s))))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1(uij(s+)uij(s))×fj(ϑjφj(sσij(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|×nj=1uij(s)fj(ϑjφj(sσij(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)du(nj=1γij(s+)μj(s+)nj=1γij(s)μj(s))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|nj=1γij(s)μj(s)ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1nk=1θijk(s+)×(gj(ϑjφj(s+δijk(s+)))gk(ϑkφk(s+δijk(s+)))gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s))))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1nk=1(θijk(s+)θijk(s))gj(ϑjφj(sδijkk(s)))gk(ϑkφk(sδijk(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|×nj=1nk=1θijk(s)gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))ds|p1dt} $
    $ +70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1αij(s+)×(fj(ϑjφj(s+ηij(s+)))fj(ϑjφj(sηij(s))))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1(αij(s+)αij(s))×fj(ϑjφj(sηjj(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|×nj=1αij(s)fj(ϑjφj(sηjj(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1βij(s+)×(fj(ϑjφj(s+ηij(s+)))fj(ϑjφj(sηij(s))))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1(βij(s+)βij(s))×fj(ϑjφj(sηjj(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|×nj=1βij(s)fj(ϑjφj(sηjj(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1nk=1qijk(s+)×(gj(ϑjφj(s+δijk(s+))gk(ϑkφk(s+δijk(s+)))gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s))))ds|p1dt} $
    $ +70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1nk=1(qijk(s+)qijk(s))gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))ds|p1dt}+70p1ϑpimaxiJ{lim supl(2l)1ll|t|etsbi(u+)duetsbi(u)du|×nj=1nk=1qijk(s)gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1nk=1νijk(s+)×(gj(ϑjφj(s+δijk(s+))gk(ϑkφk(s+δijk(s+)))gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s))))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)dunj=1nk=1(νijk(s+)νijk(s))gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|×nj=1nk=1νijk(s)gj(ϑjφj(sδijk(s)))gk(ϑkφk(sδijk(s)))ds|p1dt} $
    $ +70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)du(nj=1Tij(s+)μj(s+)nj=1Tij(s)μj(s))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|nj=1Tij(s)μj(s)ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)du(nj=1Sij(s+)μj(s+)nj=1Sij(s)μj(s))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|nj=1Sij(s)μj(s)ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|tetsbi(u+)du(Ii(s+)Ii(s))ds|p1dt}+70p1ϑpimaxiJ{¯liml12lll|t|etsbi(u+)duetsbi(u)du|Ii(s)ds|p1dt}:=37i=1Ki. $

    Furthermore, based on inequalities (3.3)–(3.11), the Hölder inequality, and the Fubini theorem, we can deduce that

    $K18p1maxiJ{¯liml12l[ll|ai(t+)|p(|φi(t+τi(t+))φi(tτi(t+))|p1+|φi(tτi(t+))φi(tτi(t))|p1)dt}8p1maxiJ{(ˉai)p11¯τi|φi(t+)φi(t)|pBp+(ˉai)pεp},K24p1maxiJ{φpεp},K3140p1maxiJ{¯liml12lll[tetsbi(u+)duds]pqtetsbi(u+)du×|ai(s+)bi(s+)|1(|φi(s+τi(s+))φi(sτi(s+))|p1+|φi(sτi(s+))φi(sτi(s))|p1)dsdt}140p1maxiJ{(1b_i)pq(ˉaiˉbi)p[¯liml12llltτi(t+)eb_i(tsˉτi)1ˉτi×|φi(s+)φi(s)|p1dsdt]+εpb_i}140p1maxiJ{(1b_i)pq(ˉaiˉbi)p[eb_iˉτi1¯τi¯liml12lllteb_i(ts)×|φi(s+)φi(s)|p1dsdt]+εpb_i}140p1maxiJ{(1b_i)pq(ˉaiˉbi)p[eb_iˉτi1¯τi¯liml12ll(2l)1ss2leb_i(ls)×|φi(t+)φi(t)|p1dtds]+εpb_i}140p1maxiJ{(1b_i)p+qq(ˉaiˉbi)p(eb_iˉτi1¯τiφ(t+)φ(t)pBp+εp)},K470p1maxiJ{¯liml12lll(tetsbi(u+)duds)pq×tetsbi(u+)du|(ai(s+)ai(s))bi(s+)φi(sτi(s))|p1dsdt}70p1maxiJ{(1b_i)p+qq(ˉbi)pφpεp}.K570p1maxiJ{(1b_i)p+qq(ˉai)pφpεp},K670p1maxiJ{¯liml12ll1[t|etsbi(u+)duetsbi(u)du|ds]pq×t|etsbi(u+)duetsbi(u)du||ai(s)bi(s)φi(sτi(s))|p1dsdt}70p1maxiJ{(1b_i)2(p+q)q(ˉaiˉbi)pφpεp+qq},K770p1maxiJ{¯liml12lll[tetsbi(u+)duds]pq×tetsbi(u+)du|bci(s+)φi(s+)bci(s)φi(s)|p1dsdt}140p1maxiJ{(1b_i)pq¯liml12lleb_i(ls)ss2l((ˉbci)p $
    $ ×|φi(t+)φi(t)|p1+|bci(t+)bci(t)|p1φp)dtds}140p1maxiJ{(1b_i)p+qq((ˉbci)pφ(t+)φ(t)pBp+φpεp)},K870p1maxiJ{(1b_i)2(p+q)q(ˉbi)pφpεp+qq},K970p1maxiJ{ϑpi¯liml12lll[tetsbi(u+)duds]pq×tetsbi(u+)du|nj=1cij(s+)(fj(ϑjφj(s+))fj(ϑjφi(s)))|p1dsdt}70p1maxiJ{ϑpi(1b_i)pq(nj=1(ˉcij)q)pqnj=1(Lfjϑj)p¯liml12lleb_i(ls)×ss2l|φj(t+))φi(t)|p1dtds}70p1maxiJ{ϑpi(1b_i)p+qq(nj=1(ˉcij)q)pqnj=1(Lfjϑj)pφ(t+))φ(t)pBp},K1070p1maxiJ{ϑpi(1b_i)p+qqnpqnj=1(Lfjϑj)pφpεp},K1170p1maxiJ{ϑpi(1b_i)2(p+q)q(nj=1(ˉcij)q)pqnj=1(Lfjϑj)pφpεp+qq},K12140p1maxiJ{ϑpi(1b_i)p+1q(nj=1(ˉuij)q)pqnj=1(Lfjϑj)p×[eb_iˉσij1¯σijφ(t+)φ(t)pBp+εp]}, $
    $ K1370p1maxiJ{ϑpi(1b_i)p+qqnj=1(Lfjϑj)pnpqφpεp},K1470p1ϑpimaxiJ{¯liml12lll[t|etsbi(u+)duetsbi(u)du|qpds]pq×t|etsbi(u+)duetsbi(u)du|pq|nj=1uij(s)fj(ϑjφj(sσij(s)))|p1dsdt}70p1maxiJ{ϑpi(1b_i)2(p+q)q(nj=1(ˉuij)q)pqnj=1(Lfjϑj)pφpεp+qq},K15140p1maxiJ{ϑpi(1b_i)p+qq[nj=1(ˉμj)p+nj=1|γij|p]εp},K1670p1ϑpimaxiJ{¯liml12lll[t|etsbi(u+)duetsbi(u)du|qpds]pq×t|etsbi(u+)duetsbi(u)du|pq|nj=1γij(s)μj(s)|p1dsdt}70p1maxiJ{ϑpi(1b_i)2(p+q)q(nj=1|γij|q)pqnj=1(ˉμj)pεp+qq},K1770p1maxiJ{ϑpi¯liml12lll(tetsbi(u+)duds)pqtetsbi(u+)du×(nj=1nk=1ˉθijk(Mgk|gj(ϑjφj(s+δijk(s+)))gj(ϑjφj(sδijk(s)))|1+Mgj|gk(ϑkφk(s+δijk(s+)))gk(ϑkφk(sδijk(s))))|1)dsdt)p}280p1maxiJ{ϑpi(1b_i)p+qqn2pq[nj=1nk=1(ˉθijkMgkLgjϑj)p+nj=1nk=1(ˉθijkMgjLgkϑk)p]×(eb_iˉδijk1¯δijkφ(t+)φ(t)pBp+εp)},K1870p1maxiJ{ϑpi(1b_i)p+qqn2pqnk=1nj=1(MgjMgk)pεp},K1970p1maxiJ{ϑpi(1b_i)2(p+q)pn2pqnj=1nk=1(ˉθijkMgjMgk)pεp+qq},K20140p1maxiJ{ϑpi(1b_i)p+qq(nj=1(ˉαij)q)pqnj=1(Lfjϑj)p×[eb_iˉηij1¯ηijφ(t+)φ(t)pBp+εp]},K2170p1maxiJ{ϑpi(1b_i)p+qqnpqnj=1(Lfjϑj)pφpεp}, $
    $ K2270p1maxiJ{ϑpi(1b_i)2(p+q)q(nj=1(ˉαij)q)pqnj=1(Lfjϑj)pφpεp+qq},K23140p1maxiJ{ϑpi(1b_i)p+qq(nj=1(ˉβij)q)pqnj=1(Lfjϑj)p×[eb_iˉηij1¯ηijφ(t+)φ(t)pBp+εp]},K2470p1maxiJ{ϑpi(1b_i)p+qqnpqnj=1(Lfjϑj)pφpεp},K2570p1maxiJ{ϑpi(1b_i)2(p+q)q(nj=1(ˉβij)q)pqnj=1(Lfjϑj)pφpεp+qq},K26280p1maxiJ{ϑpi(1b_i)p+qqn2pq(nj=1nk=1(ˉqijkMgkLgjϑj)p+nj=1nk=1(ˉqijkMgjLgkϑk)p)×(eb_iˉδijk1ˉδijkφ(t+)φ(t)pBp+εp)},K2770p1maxiJ{ϑpi(1b_i)p+qqn2pqnk=1nj=1(MgjMgk)pεp},K2870p1maxiJ{ϑpi(1b_i)2(p+q)pn2pqnj=1nk=1(ˉqijkMgjMgk)pεp+qq},K29280p1maxiJ{ϑpi(1b_i)p+qqn2pq(nj=1nk=1(ˉνijkMgkLgjϑj)p+nj=1nk=1(ˉνijkMgjLgkϑk)p)×(epqb_iˉδijk1¯δijkφ(t+)φ(t)pBp+εp)},K3070p1maxiJ{ϑpi(1b_i)p+qqn2pqnk=1nj=1(MgjMgk)pεp},K3170p1maxiJ{ϑpi(1b_i)2(p+q)pn2pqnj=1nk=1(ˉνijkMgjMgk)pεp+qq},K32140p1maxiJ{ϑpi(1b_i)p+qq[(nj=1(ˉμj)q)pq+(nj=1(|Tij|)q)pq]εp},K3370p1maxiJ{ϑpi(1b_i)2(p+q)qnpqnj=1(|Tij|ˉμj)pεp+qq},K34140p1maxiJ{ϑpi(1b_i)p+1q[(nj=1(ˉμj)q)pq+(nj=1(|Sij|)q)pq]εp},K3570p1maxiJ{ϑpi(1b_i)2(p+q)qnpqnj=1(|Sij|ˉμj)pεp+qq},K3670p1maxiJ{ϑpi(1b_i)p+qqεp},K3770p1maxiJ{ϑpi(1b_i)2(p+q)q|Ii|pεp+qq}. $

    From the above estimates, it follows that

    $ φ(t+)φ(t)pBpPφ(t+)φ(t)pBp+Qεp, $ (3.12)

    where $ P $ is defined in condition $ (A_4) $ and

    $ Q=2p1maxiJ{4p1(ˉai)pεp1+2p1(r1ρ)pεp1+70p1(1b_i)p+qq(ˉaiˉbi)pεp1+35p1(1b_i)p+qq(ˉbi)p(r1ρ)pεp1+35p1(1b_i)p+qq(ˉai)p(r1ρ)pεp1+35p1(1b_i)2(p+q)q(ˉaiˉbi)p(r1ρ)pεpq+70p1(1b_i)p+qq(r1ρ)pεp1+35p1(1b_i)2(p+q)q(ˉbi)p(r1ρ)pεpq+35p1ϑpi(1b_i)p+qqnpqnj=1(Lfjϑj)p×(r1ρ)pεp1+35p1ϑpi(1b_i)2(p+q)q(nj=1(ˉcij)q)pqnj=1(Lfjϑj)p(r1ρ)pεpq+70p1ϑpi(1b_i)p+1q(nj=1(ˉuij)q)pqnj=1(Lfjϑj)pεp1+35p1ϑpi(1b_i)p+qq×nj=1(Lfjϑj)pnpq(r1ρ)pεp1+35p1ϑpi(1b_i)2(p+q)q(nj=1(ˉuij)q)pqnj=1(Lfjϑj)p×(r1ρ)pεpq+70p1ϑpi(1b_i)p+qq[nj=1(ˉμj)p+nj=1|γij|p]εp1+35p1ϑpi(1b_i)2(p+q)q(nj=1|γij|q)pqnj=1(ˉμj)pεpq+140p1ϑpi(1b_i)p+qqn2pq×[nj=1nk=1(ˉθijkMgkLgjϑj)p+nj=1nk=1(ˉθijkMgjLgkϑk)p]εp1}+35p1ϑpi(1b_i)p+qq×n2pqnk=1nj=1(MgjMgk)pεp1+35p1ϑpi(1b_i)2(p+q)pn2pqnj=1nk=1(ˉθijkMgjMgk)pεpq+70p1ϑpi(1b_i)p+qq(nj=1(ˉαij)q)pqnj=1(Lfjϑj)pεp1]+35p1ϑpi(1b_i)p+qq×npqnj=1(Lfjϑj)pφpεp1+35p1ϑpi(1b_i)2(p+q)q(nj=1(ˉαij)q)pqnj=1(Lfjϑj)p×(r1ρ)pεpq+700p1ϑpi(1b_i)p+qq(nj=1(ˉβij)q)pqnj=1(Lfjϑj)pεp1 $
    $ +35p1ϑpi(1b_i)p+qqnpqnj=1(Lfjϑj)p(r1ρ)pεp1+35p1ϑpi(1b_i)2(p+q)q×(nj=1(ˉβij)q)pqnj=1(Lfjϑj)pφpεpq+140p1ϑpi(1b_i)p+qqn2pq×(nj=1nk=1(ˉqijkMgkLgjϑj)p+nj=1nk=1(ˉqijkMgjLgkϑk)p)εp1+35p1ϑpi(1b_i)p+qq×n2pqnk=1nj=1(MgjMgk)pεp1+35p1ϑpi(1b_i)2(p+q)pn2pqnj=1nk=1(ˉqijkMgjMgk)pεpq+140p1ϑpi(1b_i)p+qqn2pq(nj=1nk=1(ˉνijkMgkLgjϑj)p+nj=1nk=1(ˉνijkMgjLgkϑk)p)εp1+35p1ϑpi(1b_i)p+qqn2pqnk=1nj=1(MgjMgk)pεp1+35p1ϑpi(1b_i)2(p+q)pn2pq×nj=1nk=1(ˉνijkMgjMgk)pεpq+70p1ϑpi(1b_i)p+qq[(nj=1(ˉμj)q)pq+(nj=1(|Tij|)q)pq]εp1+35p1ϑpi(1b_i)2(p+q)qnpqnj=1(|Tij|ˉμj)pεpq+70p1ϑpi(1b_i)p+1q[(nj=1(ˉμj)q)pq+(nj=1(|Sij|)q)pq]εp1+35p1ϑpi(1b_i)2(p+q)qnpqnj=1(|Sij|ˉμj)pεpq+35p1ϑpi(1b_i)p+qqεp1+35p1ϑpi(1b_i)2(p+q)q|Ii|pεpq}. $

    Hence, by (3.12) and $ (A_4) $, it holds that

    $ \begin{align*} \|\varphi^*(t+{\flat})-\varphi^*(t)\|_{B^{p}}^{p} \leq\frac{Q\varepsilon^{p}}{1-P}, \end{align*} $

    which implies that $ \varphi^{*} $ is $ B^p $-almost periodic. The proof is finished.

    Remark 3.1. Although we can prove that $ W = (L^\infty(\mathbb{R}, \mathcal{A})\cap B_{AP}^p(\mathbb{R}, \mathcal{A}), \|\cdot\|_\infty) $ is a Banach space, we still cannot directly use the fixed point theorem to determine the existence of almost periodic solutions for (1.1). Because there are higher-order terms in system (1.1), and $ W $ is not an algebra, we cannot prove that operator $ T $ is a self mapping.

    It is easy to prove the following stability results using the same method as the proof of Theorem 4.1 in [33] or the proof of Theorem 15 in [31].

    Theorem 3.2. Assume that $ (A_{1})-(A_{4}) $ hold. Then system (1.1) possesses a unique Besicovitch almost periodic solution, which is globally exponentially stable, i.e., if $ \bar{x} $ is the Besecovitch almost periodic solution with initial value $ \bar{\varphi} $ and $ x(t) $ is an arbitrary solution of system (1.1) with initial value $ \varphi $, then there exist positive numbers $ \zeta > 0 $ and $ N > 0 $ satisfying

    $ |x(t)-\bar{x}(t)|_{1}\leq N\|\varphi-\bar{\varphi}\|_{\varrho}e^{-\zeta t}, \, \, \, t > 0, $

    in which $ \|\varphi-\bar{\varphi}\|_{\varrho} = \max\limits_{i\in\mathcal{J}}\bigg\{\sup\limits_{t\in[- \varrho, 0]}|\varphi_{i}(t)-a_{i}(t)\varphi_{i}(t)-(\bar{\varphi}_{i}(t)-a_{i}(t)\bar{\varphi}_{i}(t))|_{1}\bigg\} $.

    In this section, we provide an example to demonstrate the validity of the results obtained in this paper.

    Example 4.1. In system (1.1), let $ m = 3, n = 2 $, and for $ i, j, k = 1, 2 $, take the coefficients are as follows:

    $ \begin{align*} x_i(t) = \, &e_0x_i^0(t)+e_1x_i^1(t)+e_2x_i^2(t)+e_3x_i^3(t)+e_{12}x_i^{12}(t)+e_{13}x_i^{13}(t)+e_{23}x_i^{23}(t)+e_{123}x_i^{123}(t), \\ f_j(x) = \, &\frac{1}{100}e_{0}\sin{x_j^{12}}+\frac{3}{250}\sin(x_j^{12}+x_j^{123})e_{1}+\frac{1}{168}\sin(x_j^{1}+x_j^{13})e_{2}+\frac{1}{53}\sin(x_j^{2}+x_j^{123})e_{3}\\ &+\frac{1}{125}e_{12}\arctan{x_j^{3}}+\frac{1}{156}\sin(x_j^{3}+x_j^{123})e_{13}+\frac{1}{150}e_{23}\tanh{x_j^{12}}+\frac{1}{40}\sin(x_j^{1}+x_j^{12}\\ &+x_j^{123})e_{123}, \\ g_j(x) = \, &\frac{1}{48}e_{0}\sin{x_j^{13}}+\frac{1}{153}\sin(x_j^{12}+x_j^{23})e_{1}+\frac{1}{150}e_{2}\arctan{x_j^{13}}+\frac{1}{120}\sin(x_j^{12}+x_j^{123})e_{3}\\ &+\frac{1}{150}\sin(x_j^{12}-x_j^{23})e_{12}+\frac{1}{250}\sin(x_j^{2}+x_j^{13})e_{13}+\frac{1}{57}e_{23}\sin{x_j^{13}}+\frac{1}{60}\sin(x_j^{0}+x_j^{3}\\ &+x_j^{23})e_{123}, \\ a_1(t) = \, &(0.01+0.004\sin{t})e_0+(0.01+0.001\sin{\sqrt{6}t})e_1+(0.01+0.001\cos{\sqrt{3}t})e_2\\ &+(0.01+0.002\sin{\sqrt{5}t})e_3+(0.01+0.003\sin{t})e_{12}+(0.01+0.002\cos{t})e_{13}\\ &+(0.01+0.002\cos{\sqrt{2}t})e_{23}+(0.01+0.002\sin{\sqrt{2}t})e_{123}, \\ a_2(t) = \, &(0.01+0.002\sin{t})e_0+(0.01+0.002\cos{3t})e_1+(0.01+0.001\sin{\sqrt{2}t})e_2\\ &+(0.01+0.001\sin{\sqrt{7}t})e_3+(0.01+0.001\sin{\sqrt{5}t})e_{12}+(0.01+0.002\cos{t})e_{13}\\ &+(0.01+0.002\cos{\sqrt{5}t})e_{23}+(0.01+0.002\sin{\sqrt{3}t})e_{123}, \\ b_{1}(t) = \, & (10+0.05\sin t)e_0+(0.2+0.01\cos\sqrt{2}t)e_1+(0.2+0.02\sin t)e_2\\ &+(0.2+0.01\sin\sqrt{3}t)e_3+(0.2+0.06\sin3t)e_{12}+(0.2+0.05\sin2t)e_{13}\\ &+(0.2+0.01\sin t)e_{23}+(0.2+0.01\cos\sqrt{3}t)e_{123}, \\ b_2(t) = \, & (0.2+0.01\cos\sqrt{3}t)e_0+(0.2+0.02\sin t)e_1+(0.2+0.07\cos t)e_2\\ &+(0.2+0.05\cos\sqrt{5}t)e_3+(10+0.05\sin\sqrt{5}t)e_{12}+(0.2+0.02\cos\sqrt{5}t)e_{13}\\ &+(0.2+0.01\sin t)e_{23}+(0.2+0.01\sin7t)e_{123}, \\ c_{11}(t) = \, &0.01e_{0}\sin{2t}+0.02e_{3}\sin{2t}+0.02e_{23}\cos{\sqrt{2}t}+0.03e_{123}\cos{11t}, \\ c_{12}(t) = \, &0.01e_{0}\sin{\sqrt{5}t}+0.02e_{2}\cos^{2}{3t}+0.01e_{3}\sin{5t}+0.03e_{12}\sin{\sqrt{3}t}, \\ c_{21}(t) = \, &0.01e_{0}\sin{6t}+0.02e_{3}\cos{\sqrt{2}t}+0.03e_{23}\cos{\sqrt{3}t}+0.03e_{123}\cos^{2}{2t}, \\ c_{22}(t) = \, &0.01e_{0}\sin^{2}{7t}+0.04e_{2}\cos{6t}+0.04e_{3}\sin{\sqrt{5}t}+0.03e_{12}\cos{7t}, \\ u_{11}(t) = \, &0.02e_{0}\sin{4t}+0.01e_{3}\cos{\sqrt{2}t}+0.04e_{23}\cos{\sqrt{3}t}+0.03e_{123}\sin^{2}{2t}, \\ u_{12}(t) = \, &0.02e_{0}\cos{9t}+0.03e_{2}\cos^{2}{3t}+0.04e_{3}\sin{5t}+0.01e_{12}\sin{3t}, \\ u_{21}(t) = \, &0.02e_{0}\sin{3t}+0.03e_{3}\cos{\sqrt{3}t}+0.01e_{23}\cos{\sqrt{3}t}+0.02e_{123}\sin^{2}{7t}, \\ u_{22}(t) = \, &0.02e_{0}\cos{t}+0.03e_{2}\sin^{2}{5t}+0.03e_{3}\sin{3t}+0.04e_{12}\cos{2t}, \\ \alpha_{11}(t) = \, &0.01e_{3}\sin{3t}+0.04e_{12}\cos{5t}+0.02e_{13}\cos{\sqrt{5}t}+0.03e_{123}\sin^{2}{3t}, \\ \alpha_{12}(t) = \, &0.01e_{2}\sin{\sqrt{3}t}+0.02e_{3}\sin{4t}+0.03e_{12}\sin{7t}+0.01e_{123}\cos^{2}{5t}, \\ \alpha_{21}(t) = \, &0.03e_{3}\cos{4t}+0.01e_{12}\sin{\sqrt{5}t}+0.03e_{23}\cos{4t}+0.01e_{123}\cos^{2}{5t}, \\ \alpha_{22}(t) = \, &0.01e_{0}\cos{\sqrt{5}t}+0.04e_{3}\sin{3t}+0.03e_{12}\sin^{2}{3t}+0.02e_{123}\cos{4t}, \\ \beta_{11}(t) = \, &0.01e_{0}\cos{5t}+0.02e_{1}\sin{3t}+0.01e_{2}\sin{\sqrt{7}t}+0.03e_{123}\cos{3t}, \\ \beta_{12}(t) = \, &0.03e_{0}\sin{7t}+0.02e_{1}\sin{t}+0.03e_{2}\sin{\sqrt{3}t}+0.02e_{23}\sin{3t}, \\ \beta_{21}(t) = \, &0.03e_{0}\cos{7t}+0.02e_{1}\sin{\sqrt{5}t}+0.04e_{2}\sin{\sqrt{6}t}+0.01e_{123}\sin{5t}, \\ \beta_{22}(t) = \, &0.03e_{0}\cos{2t}+0.02e_{1}\cos{3t}+0.04e_{2}\cos{\sqrt{2}t}+0.02e_{23}\cos{3t}, \\ \theta_{111}(t) = \, &0.03e_{0}\sin{\sqrt{2}t}+0.02e_{1}\cos{\sqrt{5}t}+0.01e_{2}\sin{\sqrt{7}t}+0.02e_{12}\cos{2t}, \\ \theta_{112}(t) = \, &0.04e_{0}\cos{\sqrt{5}t}+0.02e_{1}\sin{3t}+0.03e_{2}\sin{\sqrt{3}t}+0.03e_{13}\cos{\sqrt{3}t}, \\ \theta_{121}(t) = \, &0.02e_{0}\sin{\sqrt{3}t}+0.02e_{2}\cos{3t}+0.04e_{12}\sin{\sqrt{6}t}+0.01e_{23}\cos{3t}, \\ \theta_{122}(t) = \, &0.03e_{0}\sin{\sqrt{5}t}+0.04e_{2}\cos{5t}+0.03e_{12}\sin{\sqrt{5}t}+0.02e_{23}\cos{4t}, \\ \theta_{211}(t) = \, &0.03e_{0}\sin{3t}+0.03e_{1}\cos{t}+0.01e_{2}\cos{4t}+0.01e_{12}\sin{5t}, \\ \theta_{212}(t) = \, &0.04e_{0}\cos{3t}+0.02e_{1}\sin{t}+0.01e_{2}\cos{3t}+0.01e_{13}\sin{3t}, \\ \theta_{221}(t) = \, &0.03e_{0}\sin{4t}+0.03e_{2}\cos{\sqrt{2}t}+0.02e_{12}\sin{5t}+0.03e_{23}\cos{3t}, \\ \theta_{222}(t) = \, &0.01e_{0}\sin{4t}+0.01e_{2}\cos{3t}+0.01e_{12}\sin{4t}+0.04e_{123}\cos{2t}, \\ q_{111}(t) = \, &0.06e_{0}\sin{5t}+0.04e_{1}\cos{6t}+0.03e_{12}\sin{\sqrt{3}t}+0.03e_{23}\sin^{2}{2t}, \\ q_{112}(t) = \, &0.05e_{0}\sin{2t}+0.02e_{1}\cos{\sqrt{2}t}+0.04e_{2}\sin{3t}+0.02e_{23}\cos{3t}, \\ q_{121}(t) = \, &0.02e_{0}\cos{4t}+0.02e_{1}\cos^{2}{3t}+0.05e_{2}\sin{4t}+0.03e_{23}\cos{4t}, \\ q_{122}(t) = \, &0.05e_{0}\sin{4t}+0.03e_{1}\cos{\sqrt{3}t}+0.03e_{12}\cos{2t}+0.04e_{23}\sin{3t}, \\ q_{211}(t) = \, &0.01e_{0}\cos{\sqrt{5}t}+0.02e_{1}\sin{3t}+0.04e_{12}\cos{\sqrt{3}t}+0.02e_{23}\sin{t}, \\ q_{212}(t) = \, &0.01e_{0}\cos{4t}+0.06e_{1}\cos{\sqrt{2}t}+0.03e_{12}\sin{5t}+0.04e_{23}\cos{2t}, \\ q_{221}(t) = \, &0.01e_{0}\cos{3t}+0.02e_{1}\sin{t}+0.02e_{2}\cos{\sqrt{3}t}+0.01e_{23}\sin{2t}, \\ q_{222}(t) = \, &0.01e_{0}\cos{9t}+0.05e_{1}\cos^{2}{3t}+0.03e_{12}\sin{t}+0.05e_{23}\cos{t}, \\ \nu_{111}(t) = \, &0.02e_{0}\sin{3t}+0.03e_{1}\cos{\sqrt{3}t}+0.01e_{2}\cos{5t}+0.01e_{12}\sin{4t}, \\ \nu_{112}(t) = \, &0.02e_{0}\cos{t}+0.03e_{1}\sin^{2}{5t}+0.02e_{12}\cos{3t}+0.03e_{23}\sin{2t}, \\ \nu_{121}(t) = \, &0.05e_{0}\sin{3t}+0.04e_{2}\sin{3t}+0.03e_{12}\cos{2t}+0.02e_{23}\sin{3t}, \\ \nu_{122}(t) = \, &0.03e_{0}\cos{2t}+0.04e_{2}\cos{\sqrt{3}t}+0.05e_{12}\sin{\sqrt{2}t}+0.04e_{23}\cos{\sqrt{3}t}, \\ \nu_{211}(t) = \, &0.03e_{0}\sin{7t}+0.04e_{1}\sin{3t}+0.02e_{2}\cos{\sqrt{3}t}+0.03e_{12}\sin{2t}, \\ \nu_{212}(t) = \, &0.05e_{0}\cos{5t}+0.02e_{2}\cos{4t}+0.03e_{12}\sin{7t}+0.04e_{23}\cos{t}, \\ \nu_{221}(t) = \, &0.02e_{0}\sin{3t}+0.03e_{2}\cos{2t}+0.04e_{12}\sin{t}+0.01e_{23}\cos{2t}, \\ \nu_{222}(t) = \, &0.03e_{0}\sin{6t}+0.03e_{2}\cos{t}+0.01e_{12}\sin{2t}+0.04e_{23}\cos{3t}, \\ I_1(t) = \, &0.32e_{0}(\sin{\sqrt{5}t}+\frac{1}{1+t^2})+0.5e_{1}\cos{\sqrt{2}t}+0.36e_{2}\sin{\sqrt{3}t}+0.23e_{3}\cos{\sqrt{3}t}\\ &+0.49e_{12}\sin{\sqrt{2}t}+0.25e_{13}\cos{\sqrt{5}t}+0.42e_{23}\cos{\sqrt{5}t}+0.15e_{123}(\sin{\sqrt{3}t}+e^{-|t|}), \\ I_2(t) = \, &0.25e_{0}\cos{\sqrt{3}t}+0.42e_{1}(\sin{\sqrt{2}t}+e^{-|t|})+0.28e_{2}\sin{\sqrt{3}t}+0.45e_{3}\cos{\sqrt{3}t}\\ &+0.32e_{12}(\cos{\sqrt{2}t}+\frac{1}{1+t^{2}})+0.46e_{13}\sin{\sqrt{3}t}+0.15e_{23}\sin{\sqrt{5}t}+0.26e_{123}\cos{\sqrt{3}t}, \\ \gamma_{ij}(t) = \, &0.07e_{0}\cos{2t}+0.03e_{1}\sin{2t}+0.04e_{2}(\sin{2t}+\frac{1}{1+t^{2}})+0.06e_{3}\cos{t}\\ &+0.08e_{12}(\sin{t}+e^{-|t|})+0.02e_{13}\cos{t}+0.05e_{23}\sin{2t}+0.04e_{123}\cos{t}, \\ \mu_{j}(t) = \, &0.2e_{0}\sin{\sqrt{2}t}+0.3e_{1}\sin{\sqrt{3}t}+0.4e_{2}\sin{\sqrt{2}t}+0.6e_{3}\cos{\sqrt{2}t}\\ &+0.8e_{12}\cos{\sqrt{3}t}+0.3e_{13}\cos{\sqrt{5}t}+0.4e_{23}\sin{\sqrt{3}t}+0.2e_{123}\cos{\sqrt{6}t}, \\ T_{ij}(t) = \, &0.006e_{0}\sin{t}+0.004e_{1}\sin{t}+0.003e_{2}(\sin{t}+\frac{1}{1+t^{2}})+0.001e_{3}\cos{t}\\ &+0.002e_{12}\sin{t}+0.003e_{13}(\cos{t}+e^{-|t|})+0.002e_{23}\cos{t}+0.005e_{123}\sin{t}, \\ S_{ij}(t) = \, &0.002e_{0}\cos{t}+0.003e_{1}\sin{t}+0.001e_{2}\cos{t}+0.001e_{3}(\sin{t}+\frac{1}{2+t^{2}})\\ &+0.003e_{12}(\sin{t}+e^{-|t+1|})+0.002e_{13}\cos{t}+0.001e_{23}\sin{t}+0.002e_{123}\cos{t}, \\ \sigma_{ij}(t) = \, &1-0.3\sin{t}, \quad \eta_{ij}(t) = 1-0.8\cos{3t}, \quad \delta_{ijk}(t) = 1-0.6\sin{2t}, \\ \tau_1(t) = \, &1-0.1\sin{t}, \quad \tau_2(t) = 1-0.3\cos{t} . \end{align*} $

    Then, it is easy to see that conditions $ (A_1) $ and $ (A_2) $ are satisfied.

    Moreover, take $ \vartheta_{1} = \vartheta_{2} = 1, p = 3, q = \frac{3}{2} $, then through simple calculations, we obtain

    $ \begin{align*} &\bar{a}_{1} = 0.014, \bar{a}_{2} = 0.012, \bar{b}_{1}^{\emptyset} = 10.05, \bar{b}_{1}^{c} = 0.26, \underline{b}_{1}^{\emptyset} = 9.95, \bar{b}_{2}^{\emptyset} = 10.05, \bar{b}_{2}^{c} = 0.27, \underline{b}_{2}^{\emptyset} = 9.95, \\ &\bar{c}_{11} = 0.03, \bar{c}_{12} = 0.03, \bar{c}_{21} = 0.03, \bar{c}_{22} = 0.04, \bar{u}_{11} = 0.04, \bar{u}_{12} = 0.04, \bar{u}_{21} = 0.03, \bar{u}_{22} = 0.04, \\ &\bar{\alpha}_{11} = 0.04, \bar{\alpha}_{12} = 0.03, \bar{\alpha}_{21} = 0.03, \bar{\alpha}_{22} = 0.04, \bar{\beta}_{11} = 0.03, \bar{\beta}_{12} = 0.03, \bar{\beta}_{21} = 0.04, \bar{\beta}_{22} = 0.04, \\ &\bar{\theta}_{111} = 0.03, \bar{\theta}_{112} = 0.04, \bar{\theta}_{121} = 0.04, \bar{\theta}_{122} = 0.04, \bar{\theta}_{211} = 0.03, \bar{\theta}_{212} = 0.04, \bar{\theta}_{221} = 0.03, \\ &\bar{\theta}_{222} = 0.04, \bar{q}_{111} = 0.06, \bar{q}_{112} = 0.05, \bar{q}_{121} = 0.05, \bar{q}_{122} = 0.05, \bar{q}_{211} = 0.04, \bar{q}_{212} = 0.06, \\ &\bar{q}_{221} = 0.02, \bar{q}_{222} = 0.05, \bar{\nu}_{111} = 0.03, \bar{\nu}_{112} = 0.03, \bar{\nu}_{121} = 0.05, \bar{\nu}_{122} = 0.05, \bar{\nu}_{211} = 0.04, \\ &\bar{\nu}_{212} = 0.05, \bar{\nu}_{221} = 0.04, \bar{\nu}_{222} = 0.04, \bar{\tau}_{i} = \bar{\tau}'_{i} = 0.1, \bar{\sigma}_{ij} = \bar{\sigma}'_{ij} = 0.3, \bar{\eta}_{ij} = \bar{\eta}'_{ij} = 0.8, \\ &\bar{\delta}_{ijk} = \bar{\delta}'_{ijk} = 0.6, L_{1}^{f} = L_{2}^{f} = \frac{1}{40}, L_{1}^{g} = L_{2}^{g} = \frac{1}{48}, M_{1}^{g} = M_{2}^{g} = \frac{1}{48} , \rho \approx0.054972 < 1, \\ &P\approx0.518973 < 1 . \end{align*} $

    Hence, $ (A_{3}) $ and $ (A_{4}) $ are also satisfied. Consequently, in view of Theorem 3.2, we know that system (1.1) has a unique Besicovitch almost periodic solution that is globally exponentially stable (see Figures 14).

    Figure 1.  Curves of $ x_{1}^{0}(t), x_{2}^{0}(t), x_{1}^{1}(t) $, and $ x_{2}^{1}(t) $ of system (1.1) with two different initial values.
    Figure 2.  Curves of $ x_{1}^{2}(t), x_{2}^{2}(t), x_{1}^{3}(t) $, and $ x_{2}^{3}(t) $ of system (1.1) with two different initial values.
    Figure 3.  Curves of $ x_{1}^{12}(t), x_{2}^{12}(t), x_{1}^{13}(t) $, and $ x_{2}^{13}(t) $ of system (1.1) with two different initial values.
    Figure 4.  Curves of $ x_{1}^{23}(t), x_{2}^{23}(t), x_{1}^{123}(t) $, and $ x_{2}^{123}(t) $ of system (1.1) with two different initial values.

    Remark 4.1. Even when the system considered in Example 4.1 degenerates into a real-valued system, there are no existing results to derive the results of Example 4.1.

    This article introduces a new method to establish the existence and global exponential stability of Besicovitch almost periodic solutions for Clifford-valued high-order Hopfield fuzzy NNs with $ D $ operators. The methods and results of this article can be applied to study the generalized almost periodic and almost automorphic dynamics of high-order NNs.

    Bing Li: Methodology, Conceptualization, Writing - review and editing; Yuan Ning: Writing - original draft, Visualization; Yongkun Li: Methodology, Conceptualization, Funding acquisition, Writing - review and editing. All authors have read and approved the final version of the manuscript for publication.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This work was supported by the National Natural Science Foundation of China, grant number 12261098.

    The authors declare no conflict of interest.

    [1] J.-P. Aubin, "Viability Theory," Systems & Control: Foundations & Applications, Birkhäuser, Boston, Inc., Boston, MA, 1991.
    [2] J.-P. Aubin, A. M. Bayen and P. Saint-Pierre, Dirichlet problems for some hamilton-jacobi equations with inequality constraints, SIAM Journal on Control and Optimization, 47 (2008), 2348-2380. doi: 10.1137/060659569
    [3] J.-P. Aubin, A. M. Bayen and P. Saint-Pierre, "Viability Theory: New Directions," New directions. Second edition. Springer, Heidelberg, 2011. doi: 10.1007/978-3-642-16684-6
    [4] J.-P. Aubin and A. Cellina, "Differential Inclusions," Set-valued maps and viability theory. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 264, Springer-Verlag, Berlin, 1984. doi: 10.1007/978-3-642-69512-4
    [5] E. N. Barron and R. Jensen, Semicontinuous viscosity solutions for Hamilton-Jacobi equations with convex Hamiltonians, Comm. Partial Differential Equations, 15 (1990), 1713-1742. doi: 10.1080/03605309908820745
    [6] A. M. Bayen and C. G. Claudel, Solutions to switched Hamilton-Jacobi equations and conservation laws using hybrid components, Hybrid systems: Computation and control, 101–115, Lecture Notes in Computer Science, 4981, Springer, Berlin, 2008. doi: 10.1007/978-3-540-78929-1_8
    [7] C. Canudas de Wit, Best-effort highway traffic congestion control via variable speed limits, In "Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference Proceedings," (2001), 5959-5964.
    [8] R. C. Carlson, I. Papamichail, M. Papageorgiou and A. Messmer, Optimal motorway traffic flow control involving variable speed limits and ramp metering, Transportation Science, 44 (2010), 238-253. doi: 10.1287/trsc.1090.0314
    [9] C. G. Claudel and A. M. Bayen, Convex formulations of data assimilation problems for a class of Hamilton-Jacobi equations, SIAM Journal on Control and Optimization, 49 (2011), 383-402. doi: 10.1137/090778754
    [10] C. G. Claudel and A. M. Bayen, Lax-Hopf based incorporation of internal boundary conditions into Hamilton-Jacobi equation. Part I: Theory, IEEE Transactions on Automatic Control, 55 (2010), 1142-1157. doi: 10.1109/TAC.2010.2041976
    [11] C. G. Claudel and A. M. Bayen, Lax-Hopf based incorporation of internal boundary conditions into Hamilton-Jacobi equation. Part II: Computational methods, IEEE Transactions on Automatic Control, 55 (2010), 1158-1174. doi: 10.1109/TAC.2010.2045439
    [12] C. Daganzo, A variational formulation of kinematic waves: Basic theory and complex boundary conditions, Transporation Research B, 39 (2005), 187-196. doi: 10.1016/j.trb.2004.04.003
    [13] C. Daganzo, On the variational theory of traffic flow: Well-posedness, duality and applications, Networks and Heterogeneous Media, 1 (2006), 601-619. doi: 10.3934/nhm.2006.1.601
    [14] L. C. Edie, Car following and steady state theory for non-congested traffic, Operations Research, 9 (1961), 66-76. doi: 10.1287/opre.9.1.66
    [15] H. Frankowska, Lower semicontinuous solutions of Hamilton-Jacobi-Bellman equations, SIAM J. Control Optim., 31 (1993), 257-272. doi: 10.1137/0331016
    [16] H. Greenberg, An analysis of traffic flow, Operations Research, 7 (1959), 79-85. doi: 10.1287/opre.7.1.79
    [17] B. D. Greenshields, A study of traffic capacity, HRB Proc., 14 (1934), 448-481.
    [18] M. J. Lighthill and G. B. Whitham, On kinematic waves: II. A theory of traffic flow on long crowded roads, Proc. Royal Society, Ser. A, 229 (1955), 317-345. doi: 10.1098/rspa.1955.0089
    [19] G. Newell, Nonlinear effects in the dynamics of car following, Operations Research, 9 (1961), 209-229. doi: 10.1287/opre.9.2.209
    [20] M. Papageorgiou, E. Kosmatopoulos and I. Papamichail, Effects of variable speed limits on motorway traffic flow, Transportation Research Record: Journal of the Transportation Research Board, 2047 (2008), 37-48. doi: 10.3141/2047-05
    [21] P. I. Richards, Shock waves on the highway, Operations Research, 4 (1956), 42-51. doi: 10.1287/opre.4.1.42
    [22] P. Saint-Pierre, Approximation of the viability kernel, Applied Mathematics and Optimisation, 29 (1994), 187-209. doi: 10.1007/BF01204182
    [23] R. T. Underwood, Speed, volume and density relationships, quality and theory of traffic flow, in "Yale Bureau of Highway Traffic," 1961, 141-88.
  • Reader Comments
  • © 2013 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(3364) PDF downloads(97) Cited by(3)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog