1. 引言
一直以来,谣言伴随着媒介传播于社会当中。随着大数据时代的到来,谣言的传播形式已经从口口相传发展成通过社交网络如微信,微博,抖音等平台迅速扩散。在互联网的助力下,谣言的传播速度愈发迅猛,潜在危害也在不断升级,给我们的生活带来了极大的负面影响。因此,对社交网络谣言的研究是非常必要且有意义的。
对于谣言的传播动力学模型,最早由Daley和Kendall两人开始研究[1]。他们将人群分为无知者,传播者和遏制者三类,并提出了随机谣言传播模型(DK模型)。Zanette等人基于这一模型,深入探究了复杂网络上的谣言传播行为[2]。在DK模型的基础上,Maki和Thomson假设其中的两名传播者相接触时,一方会停止传播谣言,并把这样改进得到的模型称为MT模型[3]。借助此模型,Xiao等人进一步纳入了反谣言信息和用户心理因素,构建了更为精细的谣言传播模型[4],为相关研究提供了坚实的理论基础。此后,Zhang等人在谣言传播过程中加入真实信息的传播者,建立了SITR谣言传播模型[5]。Yao等人考虑了谣言传播者的顽固性,基于传统的SIR传播模型建立了SDILR模型,探讨了网络上重复散布谣言的现象[6]。Zhao等人建立了社交网络谣言传播的SI模型,借助模型考虑了遗忘机制对谣言传播的影响,并探讨了平衡点的稳定性[7]。Hu等人进一步讨论了人们不同的态度对于谣言传播的影响情况[8]。
2018年,Chen等人考虑到政府控制、个人兴趣、自我识别能力等因素在谣言传播中的作用,并基于此建立了一类新的社交网络谣言传播模型[9]。他们不仅运用常微分方程稳定性的相关知识讨论了边界平衡点和正平衡点的稳定性,还通过数值仿真去验证理论的正确性。
然而,值得注意的是,这一领域内的多数研究都没有考虑到谣言传播过程中普遍存在的时滞效应。2022年,Zhu等人研究了具有时滞效应的谣言传播模型,并讨论了平衡点的稳定性以及Hopf分岔情况[10]。本文在Chen等人的研究基础上,进一步扩展模型,以包含时滞效应这一关键因素,我们主要研究在时滞影响下正平衡点的稳定性以及相应的Hopf分岔情况。通过这一动力学分析,我们能更准确地理解谣言在社交网络中的传播机制,为未来的研究和实践提供有力的理论支撑。
2. 模型改进
Chen等人考虑到政府控制,个人兴趣,自我识别能力等因素,建立的社交网络谣言传播模型如下[9]:
(1)
其中
,
,
分别表示t时刻谣言易感者,传播者和恢复者的密度;参数
均为非负常数,
为新增网络谣言易感者的密度,
为谣言传播系数,
为谣言传播者因自我识别而停止传播转化为谣言恢复者的概率,
为个体对网络谣言失去兴趣而移出网络平台的概率,a为政府控制参数,b为饱和系数,
表示政府部门对谣言传播的干预。
对于模型(1),尽管已经考虑了政府通过发布辟谣信息来干预谣言传播,但是在现实生活中,谣言传播者并非能够即刻收到政府发布的辟谣信息,同时,即使收到这些消息,他们也不一定能立即作出反应。所以我们需要将时滞纳入原模型中,用新函数
刻画出这种滞后。基于以上分析,考虑政府干预带来的时滞效应,建立了如下时滞在线社交网络谣言传播模型:
(2)
其中
为知道谣言的用户接触t时刻对谣言敏感用户的时间延迟。模型(2)的初值条件为:
接下来,我们考虑正平衡点的存在性以及稳定性。
3. 正平衡点存在性,稳定性和Hopf分岔分析
3.1. 正平衡点存在性
令系统(2)右端等于0,通过计算可知,如果条件(H1)
成立,那么存在正平衡点
,在该点处,谣言在传播过程中同时存在谣言易感者,谣言传播者和谣言恢复者,其中
这里
,
,
。
3.2. 正平衡点稳定性和Hopf分岔分析
现在我们开始讨论在系统(2)中正平衡点
的稳定性。
根据文献[9]可知,这里仅需考虑二维系统:
(3)
令
,
,将平衡点
化为
,此时系统(3)变为:
线性化上面的系统:
(4)
其中
对于系统(4),它在正平衡点的雅可比矩阵为:
则对应的特征方程为:
(5)
对于
的不同情形,我们分为以下两种情况进行讨论。
情形1
。此时特征方程(5)变为:
(6)
引理1 (Routh-Hurwitz定理)考虑多项式方程
所有根具有负实部的充要条件是
其中
时,补充定义
。
根据引理1可知,当
且
时,特征方程(6)的根具有负实部,并根据稳定性的定义,有:
定理1 对于系统(3),当
时,若条件(H21)
和条件(H22)
成立,则平衡点
是局部渐近稳定的。
情形2
,记
,
,
,
。则特征方程(6)变为:
(7)
设
为方程(7)的一个根,代入(7)可得
利用欧拉公式,整理得
分离实部和虚部,有
(8)
将上面两式平方相加得:
(9)
记
,
,
。从而方程(9)变为:
引理2 对于方程
,有:
1) 当条件(H31)
或(H32)
,
成立,那么方程没有正实根;
2) 当条件(H33)
或(H34)
成立,那么上述方程至少有一个正实根。
证明:根据一元二次方程的性质可得。
则满足条件(H33)
或条件(H34)
时,可设方程
的一个正实根为
。从而,方程(8)有一个正实根
。
可以计算得到时滞的临界值:
则当
,即
时,方程(8)有一对纯虚根
。
下面考虑横截条件
的符号。
特征方程(7)两边对
求导,有
所以,有
那么当
时,就有
由(8)可得
整理可得
其中
不难发现,分母恒大于0。分子记为:
。而
,则有
引理3 对于
,如果条件(H41)
或条件(H42)
,
成立,那么
。
证明:利用二次函数的性质可得。
所以若条件(H41)
或条件(H42)
,
,则
。
综上,结合定理1和引理2,3,我们可以得到下面的结论:
定理2 对于系统,当
时假设条件(H1)和(H21)和(H22)成立,则有:
1) 当条件(H31)或条件(H32)成立,正平衡点
是局部渐近稳定的;
2) 当条件(H33) (H41)或(H33) (H42)或(H34) (H41)或(H34) (H42)成立时,则当
时,正平衡点
是局部渐近稳定的;当
时,正平衡点
是不稳定的;当
时,正平衡点
在时滞临界值附近会产生Hopf分岔。
4. 数值仿真分析
利用Matlab软件来进行数值模拟,对理论分析加以验证。
首先,在系统中选取参数
,
,
,
,
,
。通过计算,我们可以得到
和
。条件(H1) (H21) (H22) (H34) (H42)成立,根据定理2,正平衡点
对于
局部渐近稳定,对于
时不稳定。由图1(a)知,正平衡点
在
时局部渐近稳定;由图1(b)知,在
时不稳定。
(a) (b)
Figure 1. (a) E* local asymptotic stability; (b) E* instability
图1. (a) E*局部渐近稳定;(b) E*不稳定
接下来考虑
的情况,在系统中选取参数
,
,
,
,
,
。通过计算,可以得到
。条件(H1) (H21) (H22)成立,根据定理1,正平衡点
是局部渐近稳定的。由图2知,当时间没有延迟时,随着时间推移到
,谣言传播最终会停留在平衡点
。
通过理论证明与数值模拟,我们都得到了在一定条件下存在临界值
,当
时,正平衡点
局部渐近稳定;当
时,正平衡点
不稳定并出现周期震荡现象,产生Hopf分岔。
Figure 2. E* local asymptotic stability when τ = 0
图2. 当τ = 0,E*局部渐近稳定
5. 结论
本文首先验证了正平衡点
的存在性,然后讨论了系统的正平衡点的稳定性以及Hopf分岔的判别条件。选取
为分岔参数,当时滞不超过临界值时正平衡点
局部渐进稳定,当超出临界值时正平衡点
将由稳定变为不稳定,并且正平衡点在分岔临界附近出现周期解。