Abstract

This paper is concerned with the finite-time projective synchronization problem of fractional-order memristive neural networks (FMNNs) with mixed time-varying delays. Firstly, under the frame of fractional-order differential inclusion and the set-valued map, several criteria are derived to ensure finite-time projective synchronization of FMNNs. Meanwhile, three properties are established to deal with different forms of the finite-time fractional differential inequation, which greatly extend some results on estimation of settling time of FMNNs. In addition to the traditional Lyapunov function with 1-norm form in Theorem 1, a more general and flexible Lyapunov function based on p-norm is constructed in Theorem 2 to analyze the finite-time projective synchronization problem, and the estimation of settling time has been verified less conservative than previous results. Finally, numerical examples are provided to demonstrate the effectiveness of the derived theoretical results.

1. Introduction

In the past several decades, artificial neural networks have been extensively investigated due to their wide applications in signal processing [1], combinatorial optimization [2], pattern recognition [3], associative memories [4], and so on. Memristor, first proposed by Chua in 1971 [5], was realized by Hewlett-Packard Laboratory in 2008 [6]. Compared with the resistor, the memristor possesses a memory characteristic as the synaptic characteristics of biological neurons, which is distinct from other circuit elements. As a result, by using the memristor to replace other resistors, scholars constructed the memristive neural networks (MNNs) to emulate the human brain. Moreover, as a special kind of neural networks, MNNs are nonlinear systems with state-dependent switching jumps and possess more complicated properties than the traditional neural networks.

It is well known that time delays are unavoidable in neural networks. On the one hand, discrete time delays are ubiquitous because of the finite switching speed of amplifiers and the inherent information exchanging time between different neurons [7]. On the other hand, distributed time delays should also be considered in neural networks because neural networks usually have a spatial nature and the presence of a large number of parallel pathways with multifarious axon sizes and lengths [8]. Hence, these time delays, which may bring about instability, chaos, oscillation, or other poor performances of the system, should be considered when investigating the dynamical behavior for neural networks [911].

As a generalization of the ordinary differentiation and integration to arbitrary noninteger order, fractional-order calculus has long history and can be traced back to the 17th century. For a long time, the theory of fractional calculus was once considered as a purely theoretical field of mathematics and developed very slow. However, due to its infinite memory and more degrees of freedom [12], many scholars have found that fractional-order models are more accurate than integer-order ones in describing the memory and hereditary properties. In consequence, fractional-order models have been incorporated into artificial neural networks. Subsequently, fractional-order memristive neural networks (FMNNs) have attracted lots of researchers to study their dynamical behaviors [1315].

Since chaos synchronization was firstly proposed in 1990 [16], synchronization control has become an important tool to control the chaos appearing in the practical applications such as security communications [17], image processing [18], and cryptography [19]. So far, many sorts of synchronization schemes have been presented such as complete synchronization [20], antisynchronization [21], phase synchronization [22], lag synchronization [23], exponential synchronization [24], and projective synchronization.

Overall, the above discussed synchronization schemes can be divided into two categories: finite-time and infinite-time synchronization. In practice, the system always expected to realize synchronization as quickly as possible. It is worth noting that the finite-time control technique can not only accelerate the convergence process but also demonstrate better interference suppression properties and robustness [25]. Consequently, the finite-time synchronization is an optimal synchronization method and has attracted lots of attention in many research studies [2633]. For example, in [27], by using the Gronwall–Bellman integral inequality and the Volterra integral equation, the authors explored the finite-time projective synchronization problem of memristor-based delay fractional-order neural networks. And Zhang and Deng studied the finite-time projective synchronization of fractional-order complex-valued memristor-based neural networks with time delays in [28]. However, we note that [2628] pay attention to discussing the synchronization conditions and ignore the computation of settling time. In [29], Zhang et al. deduced the fractional-order derivative of Lyapunov function and gave a conservative estimation of settling time with . In [3033], the authors deduced the fractional-order derivative of Lyapunov function and gave a conservative estimation of settling time with . And we propose a new method to estimate settling time with , which is less conservative than previous results.

Among a great variety of synchronization schemes, projective synchronization, first proposed by Mainieri and Rehacek in [34], is characterized by a fact that the drive and response systems could achieve synchronization up to a scaling factor. Particularly, due to the proportional feature, projective synchronization can be used to extend binary digital to M-nary digital communication for achieving fast communication [35]. Furthermore, projective synchronization of FMNNs, which can obtain faster communication with its proportional feature, has been widely concerned and deeply studied by researchers [3640]. For instance, the global projective synchronization for FMNNs is investigated via combining open-loop control with the time-delayed feedback control in [36]. And in [38], Yang et al. discussed the quasi-projective synchronization of fractional-order complex-valued neural networks, and the error bounds of quasi-projective synchronization are estimated. Based on notoriously Barbalat’s lemma and the Razumikhin-type stability theorem, Zhang et al. investigated the projective synchronization of FMNNs with switching jump mismatch in [40]. However, to the best of our knowledge, there are few research studies about the finite-time projective synchronization of FMNNs with mixed time-varying delays.

Inspired by the above discussion, this paper will study the finite-time projective synchronization of FMNNs with mixed time-varying delays via applying differential inequality of the Caputo derivative and the asymptotic expansion property of Mittag-Leffler function. The main innovations and contents of this paper lie in the following aspects:(1)For fractional-order neural networks, the fractional-order derivative of Lyapunov function can usually be reduced to or . In the existing literature studies on finite-time synchronization of fractional-order neural networks, most pay attention to discuss the synchronization condition and ignore the computation of settling time. And a few literature studies estimate the settling time with , which will increase the conservative of the obtained result. In this paper, via applying the asymptotic expansion property of Mittag-Leffler function and the fractional-order power law inequation, we propose three properties to estimate the settling time with . And the comparison result can be seen in Tables 13, which demonstrate our new estimation of the settling time is more applicative and accurate.(2)First, via designing a simple time-delayed feedback controller, some sufficient conditions are derived to guarantee the finite-time projective synchronization of FMNNs. And the results can be easily extended to the complete synchronization and antisynchronization.(3)Unlike the traditional maximum absolute value-based method to propose the synaptic weights of memristive neural networks, by introducing some transformations, FMNNs are translated to a type of fractional-order systems with uncertain parameters.(4)In addition to the traditional Lyapunov function with 1-norm form, a more general and flexible Lyapunov function based on p-norm is constructed to analyze the projective finite-time synchronization of FMNNs.

The rest of this paper is organized as follows. Section 2 describes the models and introduces the preliminaries including some necessary definitions and lemmas. In Section 3, we present the main results. Simulation examples are given to confirm the validity of our results in Section 4. And conclusions follow in Section 5.

Notation: throughout this study, , , and denote the set of all natural numbers, complex numbers, real numbers, and nonnegative real numbers, respectively. represents the family of continuous and n-order differentiable function form to . And denotes the sign function, where . The symbol involves the convolution operator. And is Euler’s gamma function which is defined by .

2. Preliminaries and Model Description

2.1. Preliminaries

In this section, we recall some basic definitions with respect to fractional calculus and several important lemmas used in this paper.

Definition 1. (see [41]). The Riemann–Liouville fractional integral with fractional-order for an integrable function is defined aswhere and .

Definition 2. (see [42]). The Caputo fractional derivative with fractional-order for a differentiable function is defined aswhere and n is a positive integral such that . Especially, when , then

Definition 3. (see [41]). Mittag-Leffler function with two parameters is defined aswhere , , and . And if , the Mittag-Leffler function with one parameter is shown as

Definition 4. If there exists a nonzero constant , for any solutions of the n-dimensional drive system and the response system, and , with initial values and are such thatwhere represents the projective coefficient. is called the settling time for synchronization. Then, the response system is said to be finite-time projective synchronization to the drive system.
Particularly, the drive-response system can be called finite-time complete synchronization if and finite-time antisynchronization if .

Lemma 1. (see [41]). If , then for all ,In particular, when , it has

Lemma 2. (see [43]). For all , , , and , , then the following asymptotic formula holds:

Lemma 3. (see [44]). Let , and ; then, the following inequality holds:where is an arbitrary positive constant.

Lemma 4. (see [45]). Assume that are nonnegative constants. For two arbitrary constants and satisfying , then

Lemma 5. (see [46]). Let be a continuous function on the positive interval and satisfywhere is a constant and ; then,

Lemma 6. Let be a continuous function on the positive interval and satisfywhere are constants and ; then,

Proof. Let , and we can easily obtainBy applying Lemma 5, we have , which is equivalent to

Remark 1. For Lemma 6, Yang et al. in [38] obtain a consistent result with and . And we believe that the conditions of and are conservative. And in Lemma 6, we consider that and are constants, which is more general than the results in [38].

Lemma 7. (see [30]). Suppose , , and ; then,

Lemma 8. (see [47]). Let be a continuous and differential function; the following inequation satisfies almost everywherewhere .
In the following, two new fractional-order inequalities are established to propose the finite-time convergence, which play a critical role to obtain the finite-time synchronization and calculate the settling time. And we can gain three new properties.

Property 1. Let be continuous and nonnegative definite. And the following inequation holds:where , , and . It can be deduced as follows:Then, we can judge converges to 0 within the settling time which can be estimated as follows:

Proof. By utilizing Lemma 6, we haveFrom Lemma 2, when , we can getBased on , we can easily gainApparently, ; then, we can judge that there exists such thatSimilarly, we haveFrom the above conclusion, inequation (20) can be converted toIn order to better analyze the problem, let . We can easily know that the function is monotonically decreasing. And and . According to the zero-point theorem, there exists such that . Then, we can gain , so we have . And when , then .
Based on Definition 4, the function converges to 0 in finite time. And the settling time can be calculated as follows:

Property 2. Assume that function is continuous and nonnegative definite. If the following inequality holds,where , , , then it can be deduced as follows:And we can judge converges to 0 within the settling time which can be estimated as follows:

Proof. Let ; according to Lemma 4, we gainMultiplying on sides of the above inequation, then we can getAccording to the conditions of Property 2,Let , where is a positive integer. Then, the above inequation can be written as follows:When , via applying Lemma 7, we can gainThen,Considering , thus . Once again, we apply Lemma 7 into the above inequation. And we haveCombining Lemma 1, we take the fractional integral with fractional-order from to on sides of in equation (3); we haveSubstituting into the above inequation, we can obtainApparently, the nonnegative function is monotonically decreasing. Hence, we can conclude that converges to 0 within the settling time . By simple computation, the estimation of settling time is given byFrom the above analysis, the estimation of settling time is connected with a positive integer . Then, we would like to discuss the effect of for settling time. First, we define a function as follows:Based on the property of Euler’s gamma function, we havewhere . Obviously, . On the contrary,According to the above analysis, it can be obtained that is monotone increasing about . Therefore, it can be deduced that the settling time is monotone increasing about . In order to obtain more accurate estimation of settling time, we should choose a smaller value of .
From the above analysis, if we consider , we can gain a smaller estimation of settling time as follows:For Property 2, considering , we can obtain Corollary 1 as follows.

Corollary 1. Assume that function is continuous and nonnegative definite. If the following inequality holds,where , , and , then it can be deduced as follows:And we can judge converges to 0 within the settling time which can be estimated as follows:

Remark 2. Peng et al. and Wu et al. in [31, 32] proposed the estimation of settling time for the differential inequation . According to the results in [31, 32], we can get another estimation of settling time:where . Apparently, the results in [31, 32] need a limiting condition on and . Compared with the above results, the estimation of settling time in Property 2 and Corollary 1 has no limits about and when we select a suitable value of . Hence, the result we obtained is more general and less conservative.

Property 3. Assume that function is continuous and nonnegative definite. If the following inequality holds,where , , , then it can be deduced as follows:And we can judge converges to 0 within the settling time which can be estimated as follows:

Proof. Let , where is a positive integer. Then, inequation (51) can be written as follows:When , via applying Lemma 7, we can gainThen,Considering , thus . Once again, we apply Lemma 7 into the above inequation. And we havewhereCombining Property 1, inequation (57) can be written as follows:Substituting and into the above inequation, we can obtainBecause is a nonnegative function, we can gain if . Therefore, based on the analysis in Property 1, we can conclude that converges to 0 within the settling time . By simple computation, the estimation of settling time is given bySimilar to Property 1, is monotone increasing about .Therefore, it can be deduced that the settling time is monotone increasing about . In order to obtain more accurate estimation of settling time, we should choose a smaller value of .And we can obtain the settling time as follows:

2.2. Model Description

A practical integer-order memristive neural network can usually be implemented by a very large-scale integration (VISI) circuit as shown in Figure 1. According to Kirchhoff’s current law, the ith subsystem with mixed delays can be described as follows:

In this paper, the above integer-order FNN model is expended to fractional-order FNNs to explore the finite-time projective synchronization. And the drive system can be described by the following differential equation:where denotes the Caputo fractional derivative of order from to ; is the self-feedback connection weight of the ith neuron; represents the corresponding state variable of the number of ith neurons at time ; , , and denote the activation function between the jth-dimension of the memristor and the state variable; and , respectively, describe the discrete and distributed time-varying delays which satisfied and ; and represents the external input or bias, and it is a constant. Furthermore, , , and are memristive synaptic connection weights which can be given bywhere ; represents the capacitors; and , , and , respectively; denote the memductance of memristors by , , and . And describes the memristor between activation function and ; denotes the memristor between activation function and ; and is the memristor between activation function and . According to the characteristics of memristors and the current-voltage, we use a simplified memristor model as follows:where the switching jumps and , , , , , and are all constants. And drive system (66) is supplemented with initial conditions as follows:

In order to express the proof process clearly, we set some mathematical simplified forms. Let , , , , , and . And , , , , , and . Also, , , and .

From the above description, we note that system (66) can be regarded as a class of the complex switching system with discontinuous right-hand side. In order to discuss the solution of the system, we have to consider them in Filippov’s sense. With the theories of the set-valued map and differential inclusions [48, 49], drive system (66) could be converted to the following differential inclusion:

According to the set-valued map and the measurable selection theorem in [50], there exist measurable functions such that

In order to investigate the synchronization of FMNNs, system (66) is regarded as the drive system. Similarly, the response system is described as follows:where represents the state of the response system and is the controller to be designed. And the initial conditions of response system (72) are given as follows:

By using the set-valued map and the measurable selection theorem, there exist measurable functions such that

Remark 3. The drive system and the response system are a distinct network, so probably is not equal to . Thus, we need to select six different measurable functions .
Let denote the synchronization error. And represents the projective coefficient. Hence, the fractional order of the synchronization error system can be given as follows:The initial conditions associated with system (75) are written as follows:To obtain the main results expediently, we set up the following assumptions:

Assumption 1. The activation functions , and are Lipschitz continuous. That is, for any , there exist three constants , , and such thatwhere .

Assumption 2. The activation functions , and are bounded. That is, for any , there exist three constants , , and such thatwhere .
It is obvious that error system (75) can be expressed as follows:According to Assumption 1, we can judgeAccording to Assumption 2, we haveSubstituting inequations (80) and (81) into equation (79), we can obtain

3. Main Results

In this section, a feedback controller is designed for actualizing finite-time projective synchronization of fractional-order memristor-based neural networks with mixed time-varying delays. And we choose the following feedback control strategy:where , , and denote the controller parameters.

3.1. The Finite-Time Projective Synchronization of FMNNs with a Lyapunov Function Based on 1-Norm

Theorem 1. When Assumptions 1 and 2 hold, drive system (66) and response system (72) achieve the finite-time projective synchronization under state feedback controller (83) ifwhereMoreover, the settling time is estimated by

Proof. Firstly, we consider the following Lyapunov function:Based on Lemma 8, the above fractional-order derivative of can be written as follows:From error system (82), we haveSubstituting the controller (83) into inequation (89),LetTherefore, in equation (90) can be rewritten as follows:where , and .
Based on the condition in Theorem 1, we haveAccording to the conditions of Theorem 1, we can gain . Furthermore, by virtue of Property 1, it follows thatAnd we can judge that the Lyapunov function converges to 0, which represents drive system (66) and response system (72) actualizing finite-time projective synchronization under feedback controller (83). And the settling time which can be estimated is as follows:This completes the proof.

Remark 4. For the differential inequation in fractional-order neural networks, Zhang et al. [29] ignored the effort of parameter when they calculated the settling time.Taking the fractional integral with variable order on both sides of the above inequation, we can gainThrough Definition 1, we can calculate that converges to 0 within the settling time , and is evaluated byApparently, the authors ignored the impact of parameter , and let which will increase the conservation of the settling time. Considering the parameter ; the estimation of settling time in Theorem 1 is less conservative than the results in [29]. To verify that the settling time is more accurate than , a comparison table has been given in numerical simulation.

Remark 5. For the differential inequation , when fractional order , the settling time is estimated byObviously, the estimate time is consistent with the result of the integer-order system given in [51]. Thus, it shows the estimation of settling time in Theorem 1 is more accurate and general.

3.2. The Finite-Time Projective Synchronization of FMNNs with a Lyapunov Function Based on p-Norm

Theorem 2. Under the state feedback controller (83) and Assumptions 1 and 2, drive system (66) and response system (72) achieve the finite-time projective synchronization ifwhere and are arbitrary positive constants.
Moreover, the settling time is estimated by

Proof. Firstly, we consider the following Lyapunov function:where p is a positive integer with .
Calculating the derivate of and using Lemma 7 and error system (82), one hasAccording to Lemma 8, the above fractional-order derivative of can be written as follows:Substituting the feedback controller (83) into inequation (104), we can getBy applying Lemma 3, we havewhere and are arbitrary positive constants.
Combining with inequations (105) and (106), one haswhereDenote , , and ; one getsApplying Lemma 4, we haveBased on the conditions of Theorem 2, we know , , and . Thus,Hence, from Property 3, we haveAnd we can judge that the Lyapunov function converges to 0, which represents drive system (66) and response system (72) achieve finite-time projective synchronization under feedback controller (83). And the settling time can be estimated byThe proof is accomplished.

Remark 6. For the differential inequation , considering the parameter , thenwhere .
According to Corollary 1, it hasAnd we can judge that the Lyapunov function converges to 0. Furthermore, the settling timeFrom Remark 2, if holds, we can obtain another estimation of settling time:Obviously, compared with in Theorem 2, the estimate times and are conservative estimations of settling time. And a comparison table about , , and has been given in numerical simulation.

4. Numerical Simulation

In this section, several numerical examples are given to illustrate the effectiveness of the obtained results. We consider the following two-dimensional fractional-order memristive neural networks with mixed time-varying delays:where . And the values of the memristors are given as follows:

For drive-response system (118), we select the system parameters as follows: , , . Hence, we can obtain that .And the initial values .

The activations are adopted as follows:

It is easy to check that Assumption 1 and 2 are satisfied. By simple calculation, , for .

4.1. Projective Synchronization

First, we choose the projective coefficient . We can get the initial values , , , and .

According to Theorem 1, it can be calculated as follows:

And we choose which make .

Then, we have a finite-time fractional-order differential inequation as follows:

Based on the result in Theorem 1, drive-response system (118) could achieve synchronization in finite time. And we can calculate the setting time as follows:

To verify Remark 4, we can calculate to demonstrate that is less conservative than . It follows that

On the contrary, we select and for Theorem 2. And it is easy to calculate

Under the controller parameter, which lead to .

Hence, we have another finite-time fractional-order differential inequation as follows:

Based on the result in Theorem 2, we can estimate the setting time as follows:

To verify Remark 6, we can calculate to demonstrate that is less conservative than . It follows that

Considering , holds. Thus, we have

Therefore, drive-response system (118) can achieve finite-time projective synchronization under controller (83). And the state trajectories and error curves of FMCGNNs are as shown in Figures 24, which demonstrate the effectiveness of Theorems 1 and 2.

4.2. Complete Synchronization

First, we choose the projective coefficient . We can get , , , and .

According to Theorem 1, it can be calculated as follows:

And we choose which make .

Then, we have a finite-time fractional-order differential inequation as follows:

Based on the result in Theorem 1, drive-response system (118) could achieve synchronization in finite time. And we can calculate the setting time as follows:

To verify Remark 4, we can calculate to demonstrate that is less conservative than . It follows that

On the contrary, we select and for Theorem 2. And it is easy to calculate

Under the controller parameter, which lead to .

Hence, we have another finite-time fractional-order differential inequation as follows:

Based on the result in Theorem 2, we can estimate the setting time as follows:

To verify Remark 6, we can calculate to demonstrate that is less conservative than . It follows that

Considering , holds. Thus, we have

Therefore, drive-response system (118) can achieve finite-time complete synchronization under controller (83). And the state trajectories and error curves of FMCGNNs are as shown in Figures 57, which demonstrate the effectiveness of Theorems 1 and 2.

4.3. Antisynchronization

First, we choose the projective coefficient . We can get , , , and .

According to Theorem 1, it can be calculated as follows:

And we choose which make .

Then, we have a finite-time fractional-order differential inequation as follows:

Based on the result in Theorem 1, drive-response system (118) could achieve synchronization in finite time. And we can calculate the setting time as follows:

To verify Remark 4, we can calculate to demonstrate that is less conservative than . It follows that

On the contrary, we select and for Theorem 2. And it is easy to calculate

Under the controller parameter, which lead to .

Hence, we have another finite-time fractional-order differential inequation as follows:

Based on the result in Theorem 2, we can estimate the setting time as follows:

To verify Remark 6, we can calculate to demonstrate that is less conservative than . It follows that

Considering , holds. Thus, we have

Therefore, drive-response system (118) can achieve finite-time antisynchronization under controller (83). And the state trajectories and error curves of FMCGNNs are as shown in Figures 810, which demonstrate the effectiveness of Theorems 1 and 2.

5. Conclusion

In this paper, we have extensively discussed the finite-time projective synchronization for a class of FMNNs which are translated to a type of fractional-order systems with time delays and uncertain parameters. By means of applying the differential inequality of the Caputo derivative and the asymptotic expansion property of Mittag-Leffler function, three useful properties are proposed which play a vital role in calculating the settling time of finite-time synchronization. Besides the time-delayed feedback control utilized in this paper, other control approaches, such as impulsive control, intermittent control, and pinning control, can also be applied in the future work for studying projective synchronization of memristive neural networks with mixed time-varying delays.

Data Availability

All data included in this study are available upon request by contact with the corresponding author.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported in part by the National Natural Science Foundation of China (nos. 51407012 and 61601059), the Natural Science Foundation of Shaanxi Province (2020JM-256), Technology Innovation Leading Program of Shaanxi (no. 2020QFY03-01), and the Fundamental Research Funds for the Central Universities, CHD (no. 300102329102).