Abstract
The synchronization issue between fractional-order quaternion-valued neural networks with different structures is more common than that with the same structure in the real world. This paper addresses the Mittag-Leffler stability and adaptive impulsive synchronization between two fractional-order quaternion-valued neural networks with different structures. We also propose two assumptions to analyze the parameters of the nonlinear activation functions. Based on the Mittag-Leffler stability and fractional-order Lyapunov direct method, an impulsive controller scheme is designed to ensure the global stability of fractional-order time-delay quaternion-valued neural networks. We also analyzed the situation when the self-feedback matrix and connection matrix of quaternion-valued fractional-order neural networks with different structures are unknown and designed adaptive impulsive controllers to achieve synchronization. Finally, we verified the feasibility and effectiveness of the proposed theorem through numerical simulation experiments.
Keywords
1. Introduction
Fractional calculus has recently become a research hotspot in dynamic systems because of the modeling needs of many objects in the real world and its incomplete mathematical theory. Studies have shown that fractional-order description is more consistent with the true nature of reality, while the integer-order description is only an idealized and simplified representation (Podlubny, 1999; Zhang et al., 2019a). As is well known, artificial neural networks aim to simulate biological neural networks, so their unique structure and parallel processing ability, similar to biological neural networks, make them a very important class of nonlinear dynamic models and have a wide range of application scenarios. Hence, the dynamical behaviors of neural networks have been extensively investigated, such as the stability, chaos, synchronization, state estimation, and periodicity (Al-Sharman et al., 2019; Fan et al., 2019; Wang et al., 2019a; Cao et al., 2020; Cao and Cao, 2022). Factional derivatives have been brought into neural networks, in which fractional-order equations can describe their behaviors (Li et al., 2015a; Li and Zhang, 2016; (Lin et al., 2019)). Fractional-order real-valued neural networks and fractional-order complex-valued neural networks have been widely studied for their diffuse application in secure communication, engineering optimization, signal processing, and pattern recognition (Bao et al., 2016; Qi et al., 2019; Chen et al., 2020; You et al., 2020; Xu et al., 2021).
Many scholars have studied the stability analysis and synchronization of fractional-order neural networks using adaptive (Zhang et al., 2019a; Pratap et al., 2020a), impulsive (Zhang et al., 2019b; Pratap et al., 2020a), fuzzy (Liu et al., 2018a; Zhang et al., 2019a), projective (Udhayakumar et al., 2022), and other methods (Wang et al., 2019b; Mirrezapour et al., 2022; Gokyildirim et al., 2023). These methods are mainly based on Mittag-Leffler stability (Podlubny, 1999; Li et al., 2015b) and fractional-order Lyapunov direct methods (Aguila-Camacho et al., 2014). When solving the synchronization problem and stability analysis of fractional-order complex number domain neural networks, some scholars will divide the complex number based on the real part and the imaginary part (Luo and Wang, 2013). Although this method makes the problem simpler, it destroys the overall structure of the fractional-order complex number field system and ignores the nature of the complex number itself (Zhang et al., 2019b). Then the fractional-order Lyapunov direct method is extended to a complex number field (Zhang et al., 2019b).
Quaternion is a particular case of Clifford algebra invented by Hamilton in 1843 (Wei and Cao, 2019). Because of its characteristics, some general operation rules on real and complex numbers, such as the commutativity of multiplication, do not apply to quaternions. It consists of one real part and three imaginary parts, whose structure is particularly effective in processing multidimensional data (Lin et al., 2019). It has received extensive attention for its practical applications in space rotation, computer graphics, robotics, and image processing (Xia et al., 2015; Zou et al., 2016). Recently, some researchers have incorporated quaternion algebra into classical neural networks to establish quaternion-valued neural networks (QVNNs) (Liu et al., 2018b), whose connection weights, states, and activation functions of QVNNs take values in the quaternion field. Compared with real-valued neural networks (RVNNs) and complex-valued neural networks (CVNNs), a significant superiority of QVNNs is low dimension and high efficiency in handling multidimensional data (Wei and Cao, 2019).
To analyze the dynamic, stability, and synchronization of integer-order QVNNs, researchers have proposed the real decomposition approach (Wei and Cao, 2019; Qi et al., 2019), plural decomposition approach (Liu et al., 2016; Chen et al., 2018), and direct quaternion approach (Chen et al., 2017; Tu et al., 2018; Liu et al., 2018b; Singh et al., 2022). Based on Mittag-Leffler’s stability, scholars try to realize the stability and synchronization of fractional-order quaternion-valued neural networks (abbreviated as FQVNNs). The fractional-order Lyapunov direct method, suitable for real-valued and complex-valued, is extended to quaternions (Lin et al., 2019). The Mittag-Leffler stability and synchronization of FQVNNs with linear threshold neurons are analyzed (Yang et al., 2018). Classical synchronization methods, such as projection (Zhang et al., 2021), adaptive (Pratap et al., 2020a), impulsive (Pratap et al., 2020a), and finite-time (Pratap et al., 2020b; Zhang et al., 2022; Mo and Bo, 2022), are also implemented on FQVNNs.
Unknown parameters in neural networks are a more complex problem than parameter uncertainty. Adaptive methods are highly effective for integer-order (Zhang and Zeng, 2019; Zhou et al., 2021; Cao et al., 2022) and fractional-order (Gu et al., 2020; Sun and Liu, 2020, 2021) neural networks to address this issue. However, most of these methods do not discuss the nonlinear part.
It is worth noting that the above methods are carried out between FQVNNs with the same structure. The synchronization between networks with different structures is a more complex and easily encountered phenomenon in reality. Therefore, we address the adaptive impulsive synchronization of FQVNNs with time delay and different structures based on the Mittag-Leffler stability and fractional-order Lyapunov direct method. We propose two assumptions to analyze the parameters of the nonlinear activation functions and design an efficient impulsive control scheme to ensure the global Mittag-Leffler stability of fractional-order time-delay quaternion-valued neural networks. We also analyzed the situation when the self-feedback matrix and connection matrix of quaternion-valued fractional-order neural networks with different structures are unknown and designed adaptive impulsive controllers to achieve synchronization. The main contributions are concluded as follows: • We proposed two necessary assumptions to analyze the parameters of the nonlinear activation function of FQVNNs and provided a proof process. • Impulsive synchronization between FQVNNs with different structures was achieved based on Mittag-Leffler stability theory. • Furthermore, we designed an adaptive impulsive method to synchronize the self-feedback matrix and connection matrix of FQVNNs with different structures in unknown situations.
2. Preliminaries and model description
Let
Then
(Podlubny, 1999) Caputo fractional derivative of function x(t) is defined as
(Podlubny, 1999) The Mittag-Leffler function with one parameter is defined as
(Yang et al., 2018) An equilibrium point x* of system
(Aguila-Camacho et al., 2014) Let The proof of Lemma 1 is based on the definition of fractional-order derivatives and the Lyapunov method.
(Li et al., 2015b) Let
(Li et al., 2019) Let The proof of Lemma 3 is based on Lemma 1. If
(Aguila-Camacho et al., 2014; Zhang et al., 2019b) The fractional-order extension of the Lyapunov direct method. Let x = 0 be an equilibrium point for the non-autonomous fractional-order system Then fractional-order system Next, we consider the following fractional-order quaternion-valued neural networks Impulsive controlled response fractional order quaternion-valued neural networks with different structures are defined as Let e(t) = y(t) − x(t) be the error between two fractional-order quaternion-valued neural networks (9) and (10), then If
(Zhang et al., 2019b) There exists two positive constants L
f
and L
g
such that the nonlinear neuron activation function satisfies Assumption 1 can also be written as the following.
(Zhang et al., 2019b) There exists two positive constants L
h
and L
f
such that
(Aguila-Camacho et al., 2014) For any two vectors
3. Main result
3.1. Synchronization with known parameters
To analyze the stability of the error system, we need two more assumptions.
For the nonlinear part of the neural networks, we have the following inequality.
The fractional-order quaternion-valued neural networks (9) can be rewritten as follows. Then the second inequality of equation (15) satisfies Let Hence, we have the following inequality. In the same way, we can get a similar equation for the nonlinear part of the response system. There also exists a positive In neural networks, the time delay is a common phenomenon, which usually uses the same activation function. Then, it also generally meets the above assumptions. To simplify expressions, let f*(e(t − τ)) = f(y(t − τ)) − f(x(t − τ)) and g*(e(t − τ)) = g(y(t − τ)) − g(x(t − τ)). Then, we get Assumptions 4.
For the time-delayed nonlinear part of the neural networks, we have the following inequality.
The fractional-order quaternion-valued neural networks (9) can be rewritten as equation (16). Then the second inequality of equation (20) satisfies Let Hence, we have the following inequality. In the same way, we can get a similar equation for the nonlinear part of the response system. There also exists a positive To realize stability, we design controller u(t). Under the designed controller (25), the error system of fractional-order quaternion-valued neural networks (11) is defined as Then we get the first theorem. Let β
m
be the largest eigenvalue of matrix
The controller is designed as equation (25). The following two conditions hold: (A1): σ < 0 and β
m
< 1 for m = 0, 1, 2, ⋯ and (A2): there exists a positive constant δ > 1 for m = 0, 1, 2, ⋯ such that Then the error system (26) is asymptotically stable, which means the synchronization of two fractional-order quaternion-valued neural networks (equations (9) and (10)).
Consider the following Lyapunov function When t ∈ [t0, t1), calculating the Caputo derivative of Lyapunov function equation (28) along the trajectory, we have the following inequality. Applying Assumptions 3 and 4, we simplify the above inequality. Combining inequality (29) and fractional-order Razumikhin theorem (Liu et al., 2019), there exists a positive constant η > 1 such that Hence And let σ = −2λ
D
+ nM
W
+ nM
V
+ nM
A
+ nM
B
+ η(nM
F
+ nM
H
). Based on Lemma 2, there exists a Mittag-Leffler function such that equation (30) satisfies Therefore, the following inequality holds on the interval t ∈ [t0, t1). When t = t1, the Lyapunov function (27) satisfies Besides, at impulsive point t = t1, the Lyapunov function (28) also satisfies Then applying the inequality (31) on interval t ∈ [t1, t2) Applying the inequality (32) at impulsive point t = t2 In the same way, when t ∈ [t
m
, tm+1) Following the condition (A2) in the theorem, there exists a positive constant δ > 1 for m = 0, 1, 2, ⋯ such that Then inequality (33) satisfies Hence, V(t) → 0 as m → ∞. The error system of fractional-order quaternion-valued neural network (26) is asymptotically stable, which means the synchronization of two fractional-order quaternion-valued neural networks with different structures (equations (9) and (10)) is realized. In addition, we need to explain that condition (A2) is tenable. In condition (A2), the β
m
and σ can be controlled by designing an appropriate control gain matrix and impulse matrix. As introduced in equation (3), the Mittag-Leffler function is a function series. And let In condition (A1), we designed the control gain matrix and impulse matrix such that σ < 0 and 0 < β
m
< 1. And the impulsive interval Δt
m
= tm+1 − t
m
is usually small; hence, we can design a control gain matrix such that the value of ℵ is easy to locate in the interval (−1, 0), then 0 < 1 + ℵ < 1 and 0 < ℵ2 < 1. Besides, the gamma function Γ(α) is monotonically increasing; therefore Then there exists a positive constant δ > 1 such that condition (A2) holds.
3.2. Synchronization with unknown parameters
In Theorem 1, we mainly discuss the case that the self-feedback coefficients C, D and connection matrices A, B, W, V are known. However, in many neural networks, these connection matrices are unknown, increasing the difficulty in achieving synchronization and stability analysis. The fractional-order quaternion-valued neural networks (9) can be rewritten as follows.
Compared with equations (9) and (35), we can easily get the following rules.
Then, the impulsive controlled response fractional-order quaternion-valued neural networks (10) with different structures are
Similarly, we can also get the equation by combining equations (10) and (36).
Then, the controller u(t) is designed as
Then we can get the theorem of fractional-order quaternion-valued neural networks with random parameters and different structures.
The controller and adaptive law are designed as equations (37) and (38). Let λ be the largest eigenvalue of matrix There exists a positive constant δ > 1 for m = 0, 1, 2, ⋯, such that Then synchronization of fractional-order quaternion-valued neural networks with random parameters and different structures (equations (36) and (37)) is realized.
Constructing the following Lyapunov function Applying Lemma 3, the Caputo derivative of Lyapunov function (40) satisfies Combining Lemma 2 and adaptive law, we can get the following rule for the self-feedback matrix of the response neural network based on the nature of Caputo calculus. Similarly, we can also get the analyses for other unknown parameters. For the connection matrix of the response neural network For the connection matrix of the response neural network (time-delay part) For the self-feedback matrix of the drive neural network For the connection matrix of the drive neural network For the connection matrix of the drive neural network (time-delay part) Based on the characteristics of matrix multiplication, we can easily get Similarly, other unknown parameters also satisfy the same conclusion. Combining equations (41)–(47), we can get the Caputo derivative of Lyapunov function (40) when t ∈ [t0, t1). Based on Lemma 2, there exists a Mittag-Leffler function such that equation (48) satisfies Therefore, the error system is Mittag-Leffler stable from Definition 3 on the interval t ∈ [t0, t1). Similarly, we can obtain that the error system is Mittag-Leffler stable within each impulsive interval. However, we need to consider the overall stability including impulsive points. Besides, at impulsive point t = t1, the Lyapunov function (41) also satisfies In the same way, when t ∈ [t
m
, tm+1) Following the condition (A2) in the theorem, there exists a positive constant δ > 1 for m = 0, 1, 2, ⋯ such that Then inequality (51) satisfies Hence, V(t) → 0 as m → ∞. The error system of fractional-order quaternion-valued neural network is asymptotically stable. The synchronization of two fractional-order quaternion-valued neural networks with unknown parameters and different structures (equations (36) and (37)) is realized.
4. Numerical simulation
4.1. Numerical result for FQVNNs with known parameters
Consider the following FQVNNs as the drive system:
The FQVNNs equation (53) shows chaotic attractors with the initial value x(0) = [−0.2 + 0.2i − 0.2j + 0.2k, 1 + 0.2i + j + 0.2k] (Lin et al., 2019).
Then we choose an FQVNN with different structures as the response system with an impulsive controller, whose structure is
4.1.1. Conditions for achieving synchronization
For Theorem 1, we choose [1.2 + 2.2i − 3.2j + 1.7, − 1 − 3.2i + 1.9j + 2.2] as the initial value of equation (54). Then we realize the synchronization between equations (53) and (54) with the impulsive matrix H
m
= diag(0.2, 0.2) and the control gain matrix as K = diag(15, 15), whose result is shown in Figures 1 and 2. The error cure of e1(t). The error cure of e2(t).

4.1.2. Synchronization of another example
If the nonlinear activation function in equation (53) is another function, so as the sin(·), we can also reach synchronization via Theorem 1, as illustrated in Figure 3. Another example for Theorem 1.
4.2. Numerical result for FQVNNs with unknown parameters
In Theorem 2, we apply the adaptive impulsive methods to realize synchronization between two FQVNNs with unknown parameters. Then, we also choose the FQVNNs as equations (53) and (54). However, the parameter matrices A, B and W, V corresponding to the nonlinear activation function in these two equations are unknown, which are evaluated via the adaptive law (38).
We use the same initial value as the previous experiment. The impulsive matrix is set to H
m
= diag(−0.2, − 0.2) and the impulsive interval is 60 steps. The error of synchronization can also realize stability, as shown in Figures 4–6. The error curve of e1(t). The error curve of e2(t). The error curve under adaptive impulsive method.


4.3. Detailed analysis of synchronization conditions
4.3.1. Impact of the impulsive matrix on synchronization
As shown in Theorem 1, we give two conditions corresponding to the control gain matrix and impulsive matrix. First, we fix the control gain matrix to analyze the impact of the impulsive matrix on synchronization. The largest eigenvalue β
m
of matrix Error Error 

When H m is greater than 1, the error system cannot reach stable, as shown by the green line in Figures 7 and 8. It can also be seen from the red and blue curves in Figures 7 and 8 that the smaller the matrix value, the shorter the time for the error system to become stable.
4.3.2. Impact of the control gain matrix on synchronization
Then we set the impulsive matrix H
m
= diag(−0.2, − 0.2) to analyze the control gain matrix with K = diag(5, 5), K = diag(15, 15), and K = diag(25, 25), whose result is shown in Figure 9. In fact, the error curve with the control gain matrix of 5 or 15 does not tend to be stable. This shows the necessity of the control gain matrix. Error 
4.3.3. Impact of the impulsive interval on synchronization
In the method of impulsive synchronization, the impulsive interval is also very important. In this experiment, we take the step size of numerical simulation as the pulse interval, namely, 60 steps, 120 steps, and 180 steps, as shown in Figures 10 and 11. The longer the impulsive interval is, the less stable the error is, as shown in the green and blue curves in Figures 10 and 11. Error Error 

5. Conclusion
In this paper, we address the Mittag-Leffler stability between two fractional-order quaternion-valued neural networks (FQVNNs) with different structures via adaptive impulsive synchronization. Based on the Mittag-Leffler stability and fractional-order Lyapunov direct method, we designed an efficient impulsive control scheme and proposed a sufficient condition to ensure the global Mittag-Leffler synchronization of FQVNNs. We also analyzed the situation when the self-feedback matrix and connection matrix of quaternion-valued fractional-order neural networks with different structures are unknown and designed adaptive impulsive controllers to achieve synchronization. Finally, numerical examples are also presented to manifest the feasibility and validity of the obtained results. We analyzed the influence of the impulsive matrix, impulsive interval, and control gain matrix on synchronization in detail.
Footnotes
Declaration of conflicting interests
The author(s) declared no potential conflicts of interest for the research, authorship, and/or publication of this article.
Funding
The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work is supported by the Natural Science Starting Project of SWPU (No. 2022QHZ023), the Sichuan Scientific Innovation Fund (No. 2022JDRC0009), the Sichuan Provincial Department of Science and Technology Project (No. 2022NSFSC0283), and Key Laboratory of Internet Natural Language Intelligent Processing in Sichuan Provincial Higher Education Institutions (No. INLP202202).
