1. Introduction
Distributed parameter systems are kind of infinite dimensional dynamical systems described by partial differential equations, inverse differential equations or integral equations in abstract spaces. For instance, pattern dynamics in biology, the movement of electrons in non-uniform magnetic fields in physics, etc. These diffusion phenomena undoubtedly effect the stability of the system. Therefore, reaction-diffusion systems have been investigated since the 1960s, and has become a hot research topic due to their amazing applications in environment system, mechanical system, population system, and other fields [
1,
2,
3].
In recent years, neural networks have been successfully applied in different field of application such as signal processing, parallel computing, pattern classification and nonlinear functions approximation. But these applications rely heavily on the stability, passivity, and dissipativity of the considered system. As mentioned above, the phenomenon of reaction-diffusion is common in nature. Therefore, it is of great significance to analyse the dynamical behaviours of reaction-diffusion neural networks and its application. Till now, many interesting results have emerged regarding the dynamic behavior of reaction-diffusion neural networks. For instance, in [
4], several stability and passivity criteria for reaction-diffusion neural networks were established by exploiting some inequality techniques. Ref. [
5] studied the asymptotic stability of reaction-diffusion neural networks with time-varying delays. In addition to the reaction-diffusion term, the influence of stochastic perturbations on the stability of the neural networks can not be ignored. As a result, many interesting results have emerged regarding the dynamic behavior of neural networks with stochastic perturbations or reaction-diffusion terms [
3,
6]. In [
3], authors studied the exponential stability of the periodic solutions of impulsive stochastic reaction-diffusion neural networks with mixed time delays. Ref. [
6] investigated the stochastic stability of delayed neural networks with local impulses. Additionally, uncertainty and fuzziness are inevitable in application of nonlinear dynamics. In order to consider the fuzziness, fuzzy cellular neural networks were proposed by Yang and Yang in 1986 [
7,
8]. Afterward, quite a few researchers have found that fuzzy neural networks can provide a useful paradigm for pattern recognition and image processing. Therefore, researchers have extensively considered the stability, synchronization and chaotic bifurcation of fuzzy neural networks with or without time delays, and published many excellent papers, such as [
9,
10,
11,
12,
13,
14], etc.
It is well known that fixed-time (FXT) synchronization or stability means that the system is global finite-time stable, and that the settling time (ST) is independent of the initial conditions of the system and can be bounded for any initial values of systems [
15,
16]. Compared with classical asymptotic stability, the biggest advantage of FXT stability is that it allows the system to respond to constraints in a finite time, thereby improving product quality or obtaining more reliable anti-interference ability in engineering applications, such as sliding mode controller design [
17] and robot control [
18]. As a result, FXT stability and synchronization of various systems has been extensively studied such as discontinuous systems [
19,
20], fuzzy systems [
21] and impulsive systems [
22], etc. However, till now, there are very few works on the study of FXT synchronization of reaction-diffusion fuzzy neural networks with stochastic perturbations.
Motivated by above discussions, in this paper, we considered the FXT synchronization of reaction-diffusion fuzzy neural networks with stochastic perturbations. The main innovations of this paper are as follows: (1) For the first time, the FXT synchronization issue of neural networks with three main factors such as reaction diffusion, fuzzy term and stochastic perturbations is considered. (2) Compared to some early published works, the introduced controller in this paper is more simple since it has only consisted of the power-law terms and not include linear term (3) The upper bound of ST is estimated more accurately by using some special function approach.
The rest of the paper is structured as follows. In
Section 2, some basic definitions, corollaries, and lemmas for FXT synchronization with stochastic perturbations are presented.
Section 3 gives the main results on FXT synchronization of reaction-diffusion fuzzy neural networks with stochastic perturbations.
Section 4 provides one numerical example to verify the validity of obtained results. A conclusion of the paper and an outlook on the next research steps are given in
Section 5.
2. Preliminaries
In this paper, we consider the following model:
where
,
, and
for
is a bounded compact set with smooth boundary
and
in space
, where
is the measure of the set
X;
stand for the transmission diffusion coefficients;
corresponds to state variable of the
ith neuron at time
t in space
x;
denotes the passive decay rates to the
neuron;
are the connections weights among neurons;
are elements of fuzzy feed-forward template;
is the activation function;
,
,
,
respectively represent the elements of fuzzy feed-forward MIN template, fuzzy feed-forward MAX template, fuzzy feedback MIN template and fuzzy feedback MAX template;
and
respectively denote the bias and input value of the
ith neuron;
denotes the noise strength function;
is a
ℓ-dimensional Brown motion defined on a complete probability space
; ⋁ and ⋀ are the fuzzy OR and fuzzy AND operation, respectively.
We will study model (1) under the following Dirichlet-type boundary conditions and initial conditions:
where
is a bounded continuous function defined on
X and satisfies compatibility condition. In this article, to investigate the FXT synchronization of system (
1), we make the following assumptions:
Assumption 1 ([23]). The activation functions satisfy the Lipschitz condition, i.e., there exist constants such that , .
Assumption 2. For , there exists positive constant such that the inequality holds true for any .
We give the corresponding slave system for the master system (
1) as:
where
indicates the controller input and other parameters are the same as defined in the system (
1). The boundary condition and initial value of system (
2) are listed as:
Now consider the following general stochastic nonlinear system:
where
,
is the state variable of stochastic system (
3),
,
is an
ℓ-dimensional Brown motion on the probability space
. Functions
and
are continuous functions and they satisfy
.
For simplicity, we let
be the solution of system (
3) which satisfies the initial condition
. The following definitions and lemmas will be used to obtain the main results of the paper:
Definition 1 ([24]). The zero solution of system (3) is said to be FXT stable in probability, if the solution exists for any initial condition of , and the following statements are true: (i) For any initial value , it holds that Pro, where is called the stochastic ST.
(ii) For every pair of and , there exists a such that for all .
(iii) Expectation of ST function is nothing to the initial states of (3) and it is bounded by a positive constant . That is, for all .
In this paper, let
be the set of all non-negative function
on
its partial derivative for t continuous and second-order partial derivatives for
z exist, then for each
, the operator
is defined as:
where
,
,
.
Lemma 1 ([25]). Assume that is a positive definite Lyapunov function, function is continuous, where denotes set of the bounded functions which is defined aswhere is positive constant. For any with , if the following differential inequality holdsthen the zero solution of the system (3) is FXT stable in probability with a ST which satisfies Lemma 2 ([19,25,26]). Suppose is a C-regular function such thatwhere , , and , then the origin of system (3) is FXT stable in probability with a ST which satisfy , wherewhere , . Especially when , the estimation of ST can be given more precisely as , wherewhere . Lemma 3 ([27]). Suppose and are two real numbers, then we have Lemma 4 ([28]). Let X be a cube and assume that is a real-valued function belonging to which vanishes on the boundary of X, i.e, . Then Lemma 5 ([29]). If , then 3. Main Results
In this section, we will derive some criteria to guarantee the FXT synchronization between master-slave systems (
1) and (
2). First, let
be the synchronization error between master system (
1) and slave system (
2). In addition, according to the boundary conditions of (
1) and (
2), one has
for
, thus the error dynamical system can be listed as follows:
where
,
.
Now, to achieve FXT synchronization aim, we deign the controller
in slave system (
2) as follows:
where
and
are positive constants such that
,
, and
Denote
where
, then the following theorem can be derived via the FXT controller (9).
Theorem 1. Assume that the Assumptions 1 and 2 are satisfied, and the control parameters and in (9) satisfy the following conditionthen the master-slave systems (1) and (2) can achieve FXT synchronization in probability via controller (9), and it ST can be estimated by , where is defined in (6) with the parameters , , , , , , and . Proof. Consider the following Lyapunov function:
Calculating the derivative of
along the solution of system (
8), we have
By the Green formula and boundary condition, one can has
where
, and
is the gradient operator.
From Lemma 4
in which
.
Using the Assumption 1 and inequality
for any
, one has
Similarly, by Lemma 3, we get
Also, by simple observation, we can have
Finally, by Assumption 2, one can has
Then in the view of (
13)–(
19), we obtain
Furthermore, by Lemma 5, we have
Furthermore, since
and
are positive, in view of (
21) and (
22), we can obtain
where
and
.
Let
,
,
and
, then from the inequality (
10) we get that
. Therefore, based on Lemma 2, the master-slave systems (
1) and (
2) will realize FXT synchronization with the ST
, which is given in (
6). The proof is completed. □
Corollary 1. Assume that the inequality (10), Assumptions 1 and 2 holds true. If and , where the control gains and λ are introduced in Theorem 1, then the master-slave systems (1) and (2) will realize FXT synchronization in probability with the ST , where is given in (7). If the elements of fuzzy feedback MIN template and fuzzy feedback MAX template are removed from system (1), i.e., , then it is reduced to the following form Accordingly, the corresponding slave system (2) degenerates as Then, from Theorem 1 and Corollary 1, we can have the following Corollary.
Corollary 2. Suppose that Assumptions 1 and 2 hold true. If the control parameters and in the controller (9) satisfy the condition (10), where is substituted by above given , then the master-slave systems (24) and (25) can achieve FXT synchronization in probability under the controller (9), and its ST is bounded by . Especially, if and , where γ and λ are defined in Theorem 1, then the systems (24) and (25) will achieve FXT synchronization with the ST , where is introduced in (7). When the synchronization errors approach to 0, the discontinuous signum function in (9) may bring some poor chattering effects. To reduce or suppress this undesired influence, now we will achieve the FXT synchronization between master-slave systems (1) and (2) by introducing the following novel controllerwhere , and are positive odd integers satisfying and . Theorem 2. The systems (1) and (2) will achieve FXT synchronization in probability via the continuous controller (26), and its ST can be bounded by , as if Assumptions 1 and 2 hold true and the control gains and of (26) satisfy the inequality of (10). Especially, if and , where parameters and λ are introduced in Theorem 1, then the master-slave systems (1) and (2) will achieve FXT synchronization in probability with the ST , where and are given in (6) and (7) respectively, and their parameters are defined as , and . Proof. Similar to the proof of Theorem 1, we construct the Lyapunov function as
, then we have
Then in view of (
13)–(
19), (
28) and (
29), we can obtain
where
.
Thus, based on Lemma 2, the master system (
1) and slave system (
2) will realize FXT synchronization in probability via controller (26) with the ST
. Especially, when
( for
and
(for
, then the master system (
1) and the slave system (
2) will achieve FXT synchronization in probability with ST
, where
is given in (7). □
From the results of Corollary 2 and Theorem 2, we can also obtain the following Corollary.
Corollary 3. Assume that the Assumptions 1 and 2 are satisfied and control parameters and in (26) satisfy the condition (10), where is substituted by , then the systems (24) and (25) can be FXT synchronized under the continuous controller (26), and its ST is bounded by . Especially, when and , then the master-slave systems (24) and (25) can achieve FXT synchronized in probability via the continuous controller (26) with ST , where is introduced in (7), and its parameters are defined as , , and . Remark 1. In the previous studies [21,23,27,30,31,32], authors achieved FXT synchronization of deterministic fuzzy neural networks by employing a controller that uses a discontinuous signum function. However, this may bring poor chattering effects when synchronization errors approach to 0, and this may somewhat influences the synchronization property of the original master-slave systems. In Theorem 2 and Corollary 3, to overcome this sophisticated issue, we introduce a novel controller which does not use a signum function. Remark 2. In the previous studies [23,27,30,31,32,33], authors achieved FXT synchronization of various types of fuzzy neural networks with memristors, stochastic perturbations, or discontinuous neuron activations. However, till now there are seldom results on the FXT synchronization of fuzzy neural networks with reaction-diffusion terms. In this paper, for the first time, we have considered this issue by designing two types of controllers that did not include linear feedback term, but the results of previous works [27,30,31,32,33] were based on the controllers that use the linear feedback term as a main component. From this point, we can see that the obtained results of this paper are more general and thus have better applicability.