Lyapunov functions for studying global asymptotic stability of two rumor spreading models

Manh Tuan Hoang

Department of Mathematics,FPT University,Hoa Lac Hi-Tech Park,Km29 Thang Long Blvd,Hanoi,Vietnam

Abstract In a previous work (2018,Commun.Theor.Phys.70,795–802),a new compartment model for the spreading of rumors was introduced and analyzed.However,only the local asymptotic stability of this model was discussed.In the present work,we first provide a rigorous mathematical analysis for the global asymptotic stability (GAS) of the above-mentioned rumor spreading model.By constructing suitable Lyapunov candidate functions,we obtain the GAS of a rumor-free (boundary) equilibrium point and a unique rumor-spreading (positive) equilibrium point.After that,we utilize the approach based on the Lyapunov candidate functions to study the GAS of another rumor spreading model with control strategies,which was proposed in (2022,Physica A 606,128157).As an important consequence,the GAS of the rumor spreading model with control strategies is determined fully without resorting to technical hypotheses used in the benchmark work.Lastly,the theoretical findings are supported by a set of illustrative numerical examples.The obtained results not only improve the ones constructed in the two abovementioned benchmark papers but also can be extended to study the global dynamics of other rumor propagation models in the context of both integer-order and fractional-order derivatives.

Keywords: rumor propagation models,global asymptotic stability,Lyapunov stability theory,control strategies,social networks

1.Introduction

It is well-known that controlling rumors is an important social issue,especially in the context of the rapidly evolving Internet and social media sites and platforms For this reason,many mathematicians and engineers have studied a broad range of mathematical models based on basic principles of compartment epidemiological models for describing the transmission of rumors (see,for example,[1–12]).These models have various useful applications in real-world situations and can suggest effective and suitable strategies to control the spreading of rumors.It is important to note that rumors are often spread in community and social networks;hence,there is a high similarity between the spreading of rumors and the transmission of infectious diseases (see,for instance,[13–15]).

In a previous work[1],Dong and Huang proposed a new rumor spreading model,which is based on characteristics of the transmission of rumors in online social networks and can be considered as a modification of the well-known SIS epidemic models.In this model,the total population N is divided into two compartments according to their statuses with respect to rumors,namely the susceptible(health)class S that contains network users who are not under the influence of some rumor message at some time and the infected (transmission) class I containing network users who are in the influence of some rumor message at some time so that they involve in the message propagation.Then,the following model was formulated by using basic ideas of mathematical epidemiology and suitable technical hypotheses

Here,all the parameters are assumed to be positive due to biological and epidemiological reasons.It is important to remark that the changing total user number N(t)in the online social networks was assumed to satisfy the logistic differential equation dN/dt=bN(1-N) since the network population grows but definitely has the global human population as its upper ceiling,where b is the net growth rate of users and is determined by the difference of the registration rate of new users and deactivation rate of users.We refer the readers to[1] for more details of the model (5) and its derivation.

It was proved in [1] that the model (1) always has a rumor-free equilibrium point F0=(1,0)for all the values of the parameters and a unique (positive) rumor-spreading equilibrium point,which is given byF*=(S*,I*)=exists if β>b+σ.It should be emphasized that in [1] only local asymptotic stability of F* was established but numerical examples suggested that this equilibrium point may be not only locally asymptotically stable but also globally asymptotically stable (see section 4 in [1]).It is worth noting that the analysis of global asymptotic stability (GAS) of dynamical systems governed by differential equations is an important and prominent problem with many applications in both theory and practice [16–19].

Motivated by the above reason,in the first part of this work,we provide a rigorous mathematical analysis for the GAS of the compartment model (1).By using suitable Lyapunov functions,we obtain the GAS of the rumor-free and rumor-spreading equilibrium points of the model (1).The obtained results improve the stability analysis performed in [1].

After establishing the complete GAS of the model(1),we consider another rumor spreading model with discontinuous control strategies introduced in [12].This model is a combination of the model(1)with control strategies and is given by

where φ(I) is called a control function and satisfies the following properties

(i)φ:R+→R+and has a limited number of jump discontinuities in every compact interval;

(ii) φ and is non-decreasing and φ(x)?[0,1] for all x ?[0,1].

The derivation and practical meanings of the control function φ(I) were explained in [12].

In[12],stability analysis of equilibrium points and global convergence in finite time of the model (2) were studied.In particular,it was shown that a rumor-free equilibrium E0=(1,0)always exists and it is globally asymptotically stable if σ0,then at least one rumor-spreading (positive)equilibrium point E*=(S*,I*) exists (see theorem 3.1 in [12])and it is globally asymptotically stable whenever (see theorem 4.2 in [12])

Although the conditions (3) and (4) may be not difficult to be verified,they make the parameter space limited;moreover,stability analysis of many epidemic models suggested that positive equilibrium points are often globally asymptotically stable provided they exist (see,for instance,[20–22]).Therefore,it is reasonable to predict that conditions(3)and(4)may be technical hypotheses and can be released.

By the above reason,in the second part of this work,we utilize the approach based on the Lyapunov functions,which was used to analyze the GAS of the model(1),to investigate the GAS of the equilibrium points of the model (2).As expected,we obtain the complete GAS of the model (2)without resorting to the technical hypotheses (3) and (4).Hence,the stability analysis in [12] is improved.

As we mentioned above,the GAS analysis of dynamical systems is an essential problem with many useful applications in real-world situations but it is not a trivial task in general.It is well-known that the Lyapunov stability theory has been considered as one of the most successful approaches to this problem [16–19].However,an indispensable requirement of this approach is the construction of suitable Lyapunov function candidates but there is no general technique for constructing such Lyapunov functions.In the present work,by transforming the model(1)to the new system(5)and utilizing well-known Lyapunov functions suggested in previous works,namely linear Lyapunov functions and Voltera–Lyapunov functions (see,e.g.[23–27]),we construct appropriate Lyapunov functions to establish the GAS of the rumor spreading models (1)and also (2).Moreover,the constructed Lyapunov functions can be utilized to study the stability properties of extensions of the rumor spreading models in the context of fractional-order models.This is an important advantage of the used Lyapunov functions.

Lastly,in the third part of this work,we report a set of illustrative numerical examples to support the theoretical findings.The obtained results indicate that the numerical examples are consistent with the theoretical assertions.

The plan of this work is as follows:

In section 2,we analyze the complete GAS of the model(1).The GAS analysis of the model (2) is performed in section 3.Section 4 reports a set of illustrative numerical examples.Some conclusions and discussions are presented in the last section.

2.Stability analysis of the model (1)

In this section,we analyze the GAS of the model (1).First,let us denote by N the total population,that is,N(t)=S(t)+I(t) for t ≥0.Then,the model (1) can be represented in the from

Here,a feasible region of the model (5) is given by

Lemma 1 (Local asymptotic stability).

(i) The equilibrium pointE1=(0,0)is always unstable.

(ii) The rumor-free equilibrium pointE0=(1,0)is locally asymptotically stable ifσ+b>βand is unstable ifσ+b<β.

(iii) The rumor-spreading equilibrium pointE* is locally asymptotically stable if it exists,i.e.whenσ+b<β.

Proof.The Jacobian matrix of the system (5) is given by

Hence,J(N,I) evaluating at E1is

The matrixJ(E1) has two eigenvalues,which areλ1=b>0 andλ2=-σ.Hence,E1is unstable.

Similarly,the Jacobian matrix evaluating at E0is given by

Therefore,ifβ<σ+bthenJ(E0) has two negative eigenvalues,which implies that E0is locally asymptotically stable.Ifβ>σ+b,thenJ(E0) has one positive eigenvalueλ2=β-σ-b,which implies that E0is unstable.

Lastly,the Jacobian matrix evaluating at E* is given by

Remark 1.By transforming the model(1)to the form(5),the local stability analysis in the proof of lemma 1 is simpler than the analysis presented in [1].

We now establish the GAS of E0and E* by using the Lyapunov stability theory [16–19].Note that if (N(0),I(0))=(0,0),then (N(t),I(t))=(0,0) for all t ≥0 and if I(0)=0,then I(t)=0 for t ≥0.On the other hand,if N(0)>0 and I(0)>0,then it follows from (5) that

which implies that the set

is a positively invariant set of the model (5).

Theorem 1 (Global asymptotic stability analysis).

(i) The rumor-free equilibrium point E0is not only locally asymptotically stable but also globally asymptotically stable with respect to the set Ω - {(0,0)}whenσ+b>β.

(ii) The rumor-spreading equilibrium point E* is not only locally asymptotically stable but also globally asymptotically stable with respect to the set Ω*defined in(7)if it exists.

Proof.Proof of Part (i) Consider a Lyapunov function candidateV0:Ω -{(0,0)}→R+given by

where0τis a positive real number that will be chosen later.The time derivative of the function V0along solutions of the model (5) satisfies

We deduce fromβ<σ+bandI≤ 1that

Combining (9) and (10),we obtain

Proof of Part (ii) Consider a Lyapunov function candidateV*: Ω*→R+defined by

whereτ* is any positive real number satisfying

Since(N*,I*) is the unique positive equilibrium point,the model (5) can be rewritten in the form

This implies that the derivative of V*along trajectories of(5)satisfies

Thus,we deduce from (13) and (14) that the function V*satisfies the Lyapunov stability theorem,which implies the GAS of E*.The proof of this part is complete. ?

3.Stability analysis of the model (2)

In this section,we examine the GAS of the rumor model with control strategies (2).

3.1.Stability of the model with smooth control functions

For the sake of convenience,we first consider the case when the control function φ is a smooth function.This makes the stability analysis of the equilibria of the model easier.In the case when φ is a function having a limited number of jump discontinuities in every compact interval,the analysis will be studied in a similar way.

Assume that the control function φ is a smooth function,non-decreasing and φ(x)?[0,1] for all x ?[0,1].Let us denote by N(t)=S(t)+I(t) for t ≥0.Then,we obtain a new system from the system (2)

The model (15) also admits the set Ω defined in (6) as a feasible region and positively invariant set.Then,it is easily seen that the model (15) always has two rumor-free equilibrium points,which are ?0=(N0,I0)=(1,0)and?1=(N1,I1)=(0,0).In the following lemma,we show that the model (15) can possess a unique (positive) rumorspreading equilibrium point.

Lemma 2.Ifqφ(0)+a+b<σ,then the model(15)has?*=(N*,I*)=(1,I*),where I* is a unique solution of a unique (positive) rumor-spreading equilibrium point the equation

Otherwise,ifφ(0)+a+b≥σthen the model has no rumor-spreading equilibrium points.

Proof.To determine possible positive equilibrium points,we consider the following system of algebraic equations

Hence,we obtain N=1 and

It is easy to see that

Therefore,the equationf(I)=0 has a unique solutionI?(0,1).Consequently,the existence of the unique rumorspreading equilibrium point is shown.The proof is completed.

We first analyze the LAS of the model (15).

Theorem 2 (Local asymptotic stability).

(i) The equilibrium point ?1=(0,0)is always unstable.

(ii) The rumor-free equilibrium point ?0=(1,0)is locally asymptotically stable ifa+b+qφ(0)>σand is unstable ifa+b+qφ(0)<σ.

(iii) The rumor-spreading equilibrium point?* is locally asymptotically stable if it exists.

Proof.The Jacobian matrix of the system (15) is given by

which implies that1? is unstable.

Similarly,we have

Therefore,ifa+b+qφ(0)>σthenJ(?0)has two negative eigenvalues and hence,E0is locally asymptotically stable.Ifa+b+qφ(0)<σ,thenJ(E0) has two eigenvalues of opposite sign,which implies that ?0is unstable.

Lastly,the Jacobian matrix evaluating at?* is given by

Hence,J(?*) has two eigenvalues,which areμ1=-a<0 and

This implies that E* is locally asymptotically stable.

In the following two theorems,the GAS of the model(15) is examined.

Theorem 3 (GAS of the free-rumor equilibrium point).Ifa+b+qφ(0)>σ,then the rumor-free equilibrium point?0=(1,0)is not only locally asymptotically stable but also globally asymptotically stable with respect to the set Ω -{?1}.

Proof.We consider a Lyapunov function candidateL0:Ω -{ ?1}→R+given by

where w0is a real number satisfying

Note that N0=1.Then,the derivative of L0along solutions of (15) satisfies

Note thatφ(I)≥φ(0)≥0andI≥I2forI?[0,1]andσ-(a+b+qφ(0))<0.Consequently,we have the following estimate for

Thus,we deduce from (18) and (19) that the function L0satisfies the Lyapunov stability theorem and hence,the GAS of ?0is shown.The proof is complete.

Theorem 4 (GAS of the rumor-spreading equilibrium point).The rumor-spreading equilibrium point?*is not only locally asymptotically stable but also globally asymptotically stable with respect to the set Ω* given in (7) provided that it exists.

Proof.We consider a Lyapunov candidate functionL*: Ω*→R+defined by

where w* is a real number satisfying

Since(N*,I*) is a unique positive equilibrium point,the model (15) can be represented in the form

From (20) and (22) and due to the fact that φ is nondecreasing,the time derivative of the function L* along solutions of (15) satisfies:

Hence,we deduce form (21) and (23) that the function L*satisfies the Lyapunov stability theorem and thus,the GAS of?* is obtained.The proof is complete.

3.2.A note on stability analysis of the model with discontinuous control functions

In[12],Zhu et al performed a complex and rigorous analysis of the global dynamics of the model(2)in the case the control function φ(I) is not necessarily smooth but has a limited number of jump discontinuities in every compact interval.It was proved that if σ-a-b-q>0,then the model (2) has at least one positive equilibrium E*=(S*,I*)(see theorem 3.1 in [12]).It is important to note that the condition σ-a-b-q>0 implies that σ-a-b-qφ(0)>0 since φ(0)≤φ(1)≤1.On the other hand,the GAS of the unique positive equilibrium point was established by using a Lyapunov function given by

and β is a positive parameter.By using the Lyapunov function given in (24)–(25),it was proved in [12],theorem 3.2 that the positive equilibrium point is globally asymptotically stable if the conditions (3) and (4) hold.

Fig. 1.Global dynamics of the model (5) in Case 1 of Example 1.

Now,by using the approach used in section 3.1 with the help of the Lyapunov candidate function given by (20) and the arguments in the proof of theorem 4,we can conclude that the positive equilibrium point of the model (2) is globally asymptotically stable provided that it exists.As an important consequence,the conditions (3) and (4) are released.This provides an important improvement of theorem 3.2 in [12].

4.Numerical examples

In this section,we report some numerical examples to support the theoretical findings constructed before.In all numerical examples performed below,we will use the classical fourth stage Runge-Kutta (RK4) method (see [28]) using a small step size Δt,namely,Δt=10-5,to numerically simulate the models (5) and (15) over the time interval [0,100].

Example 1 (Global dynamics of the model (5)).In this example,we investigate global dynamics of the model (5).For this purpose,consider the model (5) with the following set of the parameters

In table 1,the term ‘GAS’ stands for the globally asymptotically stable equilibrium point.Figures 1 and 2 depict solutions of the model (5) generated by the RK4 method.In these figures,each blue curve is a trajectory corresponding to a specific initial data,the yellow arrowsshow the evolution of the model and the red circles indicate the position of the globally asymptotically stable equilibrium points.It is clear that the numerical results are strong evidence supporting the validity of the theoretical findings presented in section 2.

Table 1.The set of the parameters used in Example 1.

Example 2 (Global dynamics of the model (15)).In this example,we consider the model (15) with a smooth control function given byφ(I)=1-e-IforI≥0and the parameters given in Table 2.

Figures 3 and 4 sketch phase planes corresponding to specific initial data of the model(15).It is clear that the GAS of the equilibrium points is confirmed.Hence,the assertions in section 3 are supported.

5.Conclusions and discussions

Fig. 2.Global dynamics of the model (5) in Case 2 of Example 1.

Table 2.The set of the parameters used in Example 2.

As the first and also the main conclusion of this work,we have provided a rigorous mathematical analysis for the GAS of the compartment models for the spreading of rumors (1)and (2).By using the Lyapunov candidate functions constructed in sections 2 and 3,the complete GAS of the two rumor spreading models has been determined fully.The obtained results in this work improve the ones constructed in[1] and [12].

The GAS analysis of the two rumor spreading models implies that there are only two scenarios of the spreading of the rumors,the first one corresponding to the GAS of the rumor-free equilibrium point means that the rumors will be receded and extinguished and the second one corresponding to the GAS of the rumor-spreading equilibrium point implies that the rumors always appear.Hence,we are able to control the spreading of the rumors by adjusting the parameters in the models.This may be useful in real-world situations.

In recent years,mathematical models described by fractional-order differential equations have been strongly developed and widely used to study complex systems arising in real-world applications,in which the stability problems of fractional-order systems is very important and prominent.The Lyapunov stability theory for fractional-order dynamical systems can be considered as one of the most successful approaches to this problem [26,29–32].Hence,it is reasonable to assume that the Lyapunov functions proposed in the present work can be utilized to analyze the global dynamics of the rumor spreading models (1) and (2) in the context of fractional-order derivatives.For example,we can consider the Lyapunov candidate functions in sections 2 and 3 with the help of the fractional-order Lyapunov theory in[26,29–32]to study stability properties of the following fractional-order versions

Fig. 3.Global dynamics of the model with control strategies (15) in Case 1 of Example 2.

The proposed Lyapunov functions in the present work may be only suitable with the two rumor spreading models under consideration.Hence,it is necessary to propose new Lyapunov function candidates or different approaches to study the stability properties of other rumor spreading models that are more complex in form or structure.This issue will be considered in future studies.

In the near future,we will study stability properties and practical applications of the rumor spreading models (1) and(2) in the context of fractional-order derivative operators.Also,reliable numerical methods for solving the models (1)and (2) as well as their fractional-order versions will be considered.

Acknowledgments

We would like to thank the editor and anonymous referees for useful and valuable comments that led to a great improvement of the paper.

Ethical approval

Not applicable.

Availability of supporting data

The data supporting the findings of this study are available within the article [and/or] its supplementary materials.

Conflicts of interest

We have no conflicts of interest to disclose.

Funding information

Not available.

Authors’ contributions

Manh Tuan Hoang: Conceptualization,Methodology,Software,Formal analysis,Writing-Original draft preparation,Methodology,Writing—Review and Editing,Supervision.