Volume 2022, Issue 1 3973157
Research Article
Open Access

Exponential Stability for an Opinion Formation Model with a Leader Associated with Fractional Differential Equations

Dussadee Somjaiwang

Dussadee Somjaiwang

The Demonstration School of Kanchanaburi Rajabhat University, Kanchanaburi 71000, Thailand

Search for more papers by this author
Parinya Sa Ngiamsunthorn

Corresponding Author

Parinya Sa Ngiamsunthorn

Department of Mathematics, Faculty of Science, King Mongkut’s University of Technology Thonburi (KMUTT), Bangkok, Thailand kmutt.ac.th

Search for more papers by this author
First published: 26 October 2022
Citations: 1
Academic Editor: Jaume Giné

Abstract

This paper studies the dynamics of an opinion formation model with a leader associated with a system of fractional differential equations. We applied the concept of α-exponential stability and the uniqueness of equilibrium to show the consensus of the followers with the leader. A sufficient condition for the consensus is obtained for both fractional formation models with and without time-dependent external inputs. Moreover, numerical results are provided to illustrate the dynamical behavior.

1. Introduction

Humans and some animals are social animals. Living together as a society requires mutual assistance and generosity, which will lead to happiness. Whether it is a small or a large society, social animals, for instance, a flock of birds, bees, insects, and fish, have a complex thought structure and they tend to have a leader to lead their lives to peacefulness. Some research focuses on the behavior of these social animals, including an all-leader agent-based model for turning and flocking birds [1], the migration of honeybees to a new nest site [2], leadership in fish shoals [3], and the effective leadership and decision-making in animal groups on the move [4]. In these systems, individuals are mutually dependent and communicate some information to their peers in a certain region around them. Many researchers have studied and developed a group of opinion formation models, which have been developed into many approaches. Examples of these approaches are opinion formation models on a gradient [5], opinion formation models based on game theory [6], Boltzmann and Fokker–Planck equations for opinion formation models associated with strong leaders [7], opinion formation models based on kinetic equations [8], agent-based models for opinion formation [9], consensus and clustering in opinion formation on networks [10], and Boltzmann-type control of consensus of the opinion with leaders [11].

In recent years, fractional differential and integral operators have been utilized in various real-world problems and areas of study, such as physical and biological sciences [12], environmental science, signal and image processing, and engineering [1319]. New generalizations and definitions of the fractional derivative are also of interest by choosing different kernels [20]. In particular, it motivates a generalization of the opinion formation model to involve fractional calculus.

Consider the fractional opinion formation model
()
with the initial condition xi(0) = ξi for i = 0,1, …, N. The coefficient aij reflects the weight for which agents influence each other. The fractional derivative of order α is used to describe the memory effects of the interaction.
It is natural to introduce a leader to the above system in order to drive a consensus among all agents xi. The leader is regarded as a virtual agent whose opinion x0 is independent of all the remaining agents’ opinions. The fractional opinion formation model associated with a leader is described by
()
subject to the initial condition xi(0) = ξi for i = 0,1, …, N. The coefficient ci describes the influence of the leader on another agent. In particular, ci > 0, when the leader has an impact on the ith agent’s opinion.
During the last few years, the opinion formation model with leadership based on the fractional differential system has attracted tremendous attention and has been extensively studied by many researchers. For example, Almeida et al. [21] discussed an optimal control strategy for two types of fractional opinion formation models with leadership to reach a consensus. The result was given by a numerical scheme to approximate the Caputo fractional derivative based on the Grunwald–Letnikov approximation. Next, in 2019, Almeida et al. [22] used Mittag-Leffler stability to discuss sufficient conditions of (2) to guarantee that all agents have a consensus opinion approaching the leader’s opinion. They also studied the opinion formation model with external inputs hi(t) described by
()
with the initial data xi(0) = ξi for i = 0,1, …, N. In the above system, optimal control strategies were designed for the leader to obtain a consensus opinion.
Motivated by [21, 22], this paper aims to study the dynamics of a nonautonomous nonlinear fractional leader-follow opinion formation model
()
with xi(0) = ξi for i = 0,1, …, N as well as the model with time-dependent external inputs
()
subject to xi(0) = ξi for i = 0,1, …, N. Here, we include the time-dependence in the source term fi(t, xj(t)).

Rather than focusing on the design of an optimal control, we mainly focus on the exponential stability of the solutions and establish some sufficient conditions for the consensus opinion of all agents with the leader x0.

The rest of this paper is organized as follows. In Section 2, we provide some definitions and preliminary results in integral and differential fractional calculus and exponential stability of systems of fractional differential equations. The existence of a unique consensus equilibrium point of fractional opinion formation models associated with a leader will be investigated in Section 3 and Section 4 for the systems described by (4) and (5), respectively. In Section 5, we provide examples and numerical simulations to demonstrate our analytical results.

2. Fractional Calculus Framework

In this section, we briefly outline some notions from fractional calculus that will be used throughout the paper.

Definition 1 (see [23].)For α > 0, the left Caputo fractional derivative of order α is given by

()
where n is a natural number such that α ∈ (n − 1, n) and D = d/dτ.

Definition 2 (see [23].)The Riemann–Liouville fractional integral of order α > 0 is given by

()
provided the right-side integral exists point wisely, on (0, ).

Lemma 1 (see [23].)Let α > 0 be a real number. The general solution of the fractional Caputo type differential equation

()
is a function satisfying
()
for some constants ki, i = 0,1, …, n − 1 where n = [α] + 1 if α,and
()
for some constant k, if α.

Lemma 2 (see [23].)For a positive constant α > 0 and yCn[0, T], we have

()
for some constants ki, i = 0,1, …, n − 1 where n = [α] + 1 Here, Dα = dα/dtα(⋅) is the Caputo fractional derivative.

Consider the differential equation with the Caputo fractional derivative defined by
()
for some initial data y0m, where , 0 < α < 1, and the nonhomogeneous term f : [0, ) × mm satisfies the continuity in t and locally Lipschitz continuity in y.

Definition 3 (see [24].)We say the ym is an equilibrium of system (12) whenever f(t, y) = 0 for all t ∈ [0, ).

Definition 4 (see [24].)System (12) is α-exponentially stable if there exist two positive constants M > 0 and λ > 0 such that for any solutions x(t) and y(t) of system (6) subject to the initial conditions x0 and y0, respectively, we have

()
for t ≥ 0 where ‖.‖ denotes the Euclidean norm.

It should be noted that the notion of α-exponential stability concerns the closeness of solutions x(t) and y(t) subject to different initial conditions x0 and y0, respectively, while the definition of the Mittag-Leffler stability in [12] concerns the convergence of a solution x(t) to an equilibrium point.

Lemma 3 (see [17].)If dαx/dtαdαy/dtα with α ∈ (0,1) and x(0) = y(0), then x(t) ≤ y(t).

Lemma 4 (see [17].)Let WC[0, ) be a function such that dαy/dtαδW(t), where α ∈ (0,1) and δ is an arbitrary constant. Then, we have

()

We define the signum function as

()

3. Stability and Consensus of Fractional Leader-Follower Opinion Formation Model

In this section, we present a sufficient condition for the consensus opinion in a leader-follower opinion formation model (4) based on the exponential stability concept and the uniqueness of the equilibrium. We first outline the following assumptions for the problem (4)
  • (H1) The functions fi, i = 1,2, …, N are Lipschitz continuous with respect to the second variable on with Lipschitz constants Li > 0, that is,

    ()

  • for all x, y uniformly with respect to t,

  • And another prerequisite for proving results.

  • (H2) The constants ci is positive for i = 1,2, …, N and satisfies

    ()

Under the Lipschitz condition of the source term (H1), we obtain the existence and uniqueness of the solution to the Cauchy problem (4) from the standard result [25].

Motivated by [24], we prove the following result.

Theorem 1. Under the assumptions (H1) and (H2), system (4) is exponentially stable.

Proof. Let and be the solutions of system (4) subject to the different initial conditions xi(0) = ξi and yi(0) = ζi, i = 1,2, …, N.

Let for i = 1,2, …, N, then . By (4) we get

()

If is positive, then

()

if is negative, then

()

hence,

()

next, we construct a function W by

()

we compute the Caputo fractional derivative of W(t) using the assumptions (H1) and (H2) to obtain

()
where k = min1≤iNki. Lemma 4 implies that
()

it follows that system (4) is exponentially stable.

Next, we assume that the leader’s opinion is kept constant as ξ0 for all time, that is, u(t) = 0 in (4). Let be an equilibrium of (4). Hence, it satisfies the following system

()

Theorem 2. Assume that (H1) and (H2) hold. Then, system (4) has a unique equilibrium.

Proof. Let ciyi = pi for i = 1,2, …, N. We get from (25) that

()

consider the map defined by , where and

()

by the Lipschitz condition (H1), for any p, qN, we have

()

We have from (H1) that for i = 1,2, …, N. Hence,

()

Thus, the map is a contraction. Therefore, has a unique fixed point, showing that system (4) has a unique equilibrium.

The next result shows that all the agents’ opinions are in consensus with the leader.

Theorem 3. Assume that (H1) and (H2) hold. Suppose that fi(t, ξ0) = 0 for t ∈ [0, ) and for all i = 1,2, …, N. Then, all agents’ opinions xi(t) of (4) converge to the consensus opinion ξ0.

Proof. The proof follows the same argument as in [22, Theorem 2] where the system is autonomous. We outline the proof when the nonautonomous source term is considered here. Let (x0(t), x1(t), …, xN(t)) be a solution of (4). Since we assume that u(t) = 0, we have that x0(t) = ξ0 is a constant function. Let yi = xiξ0 and define gi(t, yi) : = fi(t, yi + ξ0), for i = 1, …, N. Then, system (4) can be written as

()

we see that for any ,

()
for i = 1,2, …, N. It follows from Theorem 2 that system (30) has a unique equilibrium y = (y1, y2, …yN). Furthermore, the exponential stability in Theorem 1 implies that every solution y of (30) converges to the equilibrium, that is, lim ty(t) − y‖ = 0. Since gi(t, 0) = fi(t, ξ0) = 0 for i = 1,2, …, N, we see that y = (0, …,0)T. Consequently, we have lim txi(t) = ξ0 for every i = 1, …, N showing the consensus of opinion.

4. Stability and Consensus of Leader-Follower Opinion Formation Model with Time-dependent External Inputs

In this section, we extend the study to consider a leader-follower opinion formation model with time-dependent external inputs.

Consider the leader-follower opinion formation model with time-dependent external inputs hi(t), i = 1,2, …, N in (5).

We assume the following conditions for the external inputs.

(H3) The functions hi, i = 1,2, …, N are bounded that is, there exists Oi > 0 such that
()
for each i = 1,2, …, N.

Theorem 4. Assume that (H1), (H2), and (H3) hold. Then, system (5) is exponentially stable. Moreover, for any solution x(t), there exists T ≥ 0 such that

()
where
()
and ε > 0 is arbitrary small.

Proof. Let and be the solutions of system (5) subject to the different initial conditions xi(0) = ξi and yi(0) = ζi, i = 1,2, …, N. By setting w(t) = y(t) − x(t) and using a similar argument as in the proof of Theorem 1, there exists M > 0 such that

()
showing the exponential stability of (5). Next, we construct a function W by
()

Using assumptions (H1) and (H2), we compute the Caputo fractional derivative of W(t) as

()
where k = min1≤inki.

Consider the fractional-order system

()

It is easily seen that (38) is exponentially stable, so that any solution converges to the unique equilibrium V = w/k, that is

()

Hence, for any arbitrary ε > 0, there exists T > 0 such that

()

By Lemma 3, we have W(t) ≤ V(t) with W(0) = V(0). Thus, there exists T ≥ 0 such that for any solution x(t),

()

We next state the consensus result for an opinion model with time-dependent external inputs.

Theorem 5. Assume that (H1), (H2), and (H3) hold. Suppose that fi(t, ξ0) = 0 for t ∈ [0, ) and limthi(t) = 0 for all i = 1,2, …, N. Then, all agents’ opinions xi(t) of (5) converge to the consensus opinion ξ0.

Proof. Let (x0(t), x1(t), …, xN(t)) be a solution of (5). Since we assume that u(t) = 0, the leader’s opinion is a constant function x0(t) = ξ0. Let yi = xiξ0 and define gi(t, yi) : = fi(t, yi + ξ0), for i = 1, …, N. Then, system (5) can be written as

()

it can be seen that gi satisfies Lipschitz continuity condition as

()
for any and i = 1,2, …, N. Hence, by applying Theorem 4 for (42), that is, considering gi instead of fi and taking ξ0 = 0 in (5), and using the assumption gi(t, 0) = fi(t, ξ0) = 0 for t ∈ [0, ), we see that the solution y(t) = (y1(t), y2(t), …, yN(t)) of (42) satisfies
()
for some T > 0 where
()

since limthi(t) = 0 for i = 1,2, …, N, we have |hi(t)| ≤ ε whenever t is sufficiently large for all i = 1,2, …, N. Hence, if we consider (37) for some sufficiently large time , then the bound of hi in (H3) can be chosen as an arbitrary small ε. Consequently, we obtain

()

As ε > 0 was arbitrary, we have yi(t)⟶0 as t. Consequently, we obtain the consensus opinion limtxi(t) = ξ0 for every i = 1, …, N.

5. Numerical Examples

In this section, we give examples of the fractional opinion formation model of order 0 < α < 1 to illustrate the dynamics of the system. In particular, we demonstrate through numerical examples that consensus opinion can be achieved when the assumptions of our results are satisfied.

Example 1. Consider the following system of opinion formation model with leader

()
subject to the initial condition x0(0) = 0, x1(0) = 25, x2(0) = 10, x3(0) = 30, x4(0) = 1.5, x5(0) = −10, x6(0) = −4.5.

In this system of opinion formation model (47) with leader x0(t) = ξ0 = 0, we set a11 = 0.06, a12 = −0.01, a16 = −0.02, a21 = 0.03, a22 = −0.02, a24 = −0.02, a33 = −0.01, a34 = 0.01, a44 = 0.03, a45 = −0.02, a46 = 0.02, a52 = 0.05, a53 = −0.09, a56 = 0.08, a61 = 0.03, a62 = 0.05, a63 = 0.09, a66 = 0.02, c1 = 0.3, c2 = 0.3, c3 = 0.2, c4 = 0.4, c5 = 0.1, and c6 = 0.4, respectively. We see that fi(t, ξ0) = 0, limthi(t) = 0 and Li = 1 for i = 1,2, …, 6 so that all the assumptions of Theorem 5 are satisfied. Hence, the leader-follower for opinion formation model (47) is exponentially stable. The states of x0, x1, x2, x3, x4, x5 and x6 of system (47) converges to a consensus state (0,0,0,0,0,0,0) as shown in Figure 1 for α = 0.5.

Details are in the caption following the image
The states of the system of opinion formation model (47) with α = 0.5.

Example 2. Consider the leader-follower opinion formation model

()
where f(t, x) = (x − 2/x2 + et) subject to the initial condition x0(0) = 2, x1(0) = 1.5, x2(0) = −5, x3(0) = 3.

In this system of opinion formation model (48) with leader x0(t) = ξ0 = 2, we set a11 = −0.06, a12 = 0.01, a13 = −0.04, a21 = 0.01, a22 = 0.01, a23 = −0.02, a31 = 0.06, a32 = −0.2, a33 = 0.01, c1 = 0.2, c2 = 0.4, c3 = 1, respectively. We see that f(t, ξ0) = 0, limthi(t) = 0 and Li = 1 for i = 1,2,3 so that all assumptions of Theorem 5 are satisfied. Hence, the leader-follower for opinion formation model (48) is exponentially stable. The states of x0, x1, x2, and x3 of system (48) converges to a consensus state (2,2,2,2) as shown in Figure 2 for α = 0.8.

Details are in the caption following the image
The states of the system of opinion formation model (48) with α = 0.8.

Example 3. Consider leader-follower for the opinion formation model

()
Subject to the initial condition x0(0) = 5, x1(0) = −1, x2(0) = 15. In this system of opinion formation model (49) with leader x0(t) = ξ0 = 5, we set a11 = −0.06, a12 = 0.01, a21 = −0.03, a22 = −0.02, c1 = 0.2, c2 = 0.3, respectively. We see that fi(t, ξ0) = 0, limthi(t) = 0 and Li = 1 for i = 1,2 so that all assumptions of Theorem 5 are satisfied. Hence, the leader-follower for opinion formation model (49) is exponentially stable. The states of x0, x1, and x2 of system (49) converges to a consensus state (5,5,5) as shown in Figure 3 for. α = 0.5

Details are in the caption following the image
The states of the system of opinion formation model (5.3) with α = 0.5.

6. Discussion and Conclusion

We study the exponential stability of a leader-follower opinion formation model given by the system of nonlinear fractional differential equations. We mainly focus on the sufficient conditions for a consensus opinion of the system when time-dependent inputs are involved. In particular, under the Lipschitz continuity of the source terms, the boundedness condition on the interaction of agents, and the boundedness of external inputs, we apply the concept of α− exponential stability to prove the consensus of the followers with the leader. Our main theoretical result is illustrated by a numerical model to verify that consensus opinion can be achieved. The result is complementary to the optimal control problem for the leader-follower opinion formation model where external control is added to drive all agents’ opinions to consensus, for example, in [21, 22]. A general framework for α-exponential stability can also be considered for fractional-order neural networks as in [24]. In many real-world phenomena, a group of agents can be described by a network where the information exchange between agents is represented by some weight. The results of this paper could be applied to obtain sufficient conditions for the system that ensures consensus with the leader.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The first author was supported by the Kanchanaburi Rajabhat University. The second author was supported by the King Mongkut’s University of Technology Thonburi.

    Data Availability

    No data were used to support this study.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.