论文部分内容阅读
差分方程(系统)是描述现实世界中随离散时间演化规律的有力建模工具,自然界和人类社会中的很多现象都可以用适当的差分方程模型来刻画。例如,差分方程在算法分析、种群动力学、经济学等领域都有着广泛的应用。不仅如此,许多连续的数学模型也可以通过“离散化”转换为相应的离散形式,进而可以用计算机进行数值模拟。近年来,高阶差分方程、非自治差分方程、Max型差分方程和差分系统是差分方程领域的研究热点。本学位论文主要研究了几类高阶差分方程(系统)的全局渐近稳定性和全局吸引性,并通过差分方程建模建立了一个含有用户意识度的网络蠕虫传播模型。具体来说,取得的主要研究成果如下:①研究了两类含有实指数的有理型差分方程。首先,利用变换法研究了一类高阶Stevi方程及其对应的Max型方程,在一定条件下得到了解的渐近表达式。其次,运用部分度量(Part metric)方法研究了一类含有指数参数的高阶对称有理差分方程。通过建立与部分度量有关的不等式链,证明了如果所有指数参数的绝对值都小于或等于1,则方程的唯一正平衡点是全局渐近稳定的。②研究了两类含有抽象函数的差分方程的全局吸引性。首先,研究了一类含有抽象函数的非自治差分方程。通过构造交错序列,证明了在一定参数条件下方程的平衡点是全局吸引子。其次,首次提出了基于此非自治方程的一类Max型自治方程,并研究了它的一种特殊情况。采用类似的方法,证明了在一定参数条件下Max型方程的解具有全局吸引性。③研究了一类非自治Max型差分方程的全局吸引性。首先,研究了含有单一非自治项的情况,在几组不同的非自治项及参数满足条件下分别证明了其解具有全局吸引性。随后,对方程中含有多个非自治项的情况进行了研究,同样给出了几组方程中各参数满足的充分条件,使得其解具有全局吸引性。④研究了两类差分系统的动力学性质。首先,研究了一类一般的二维差分系统的全局吸引性。具体地说,在一定条件下证明了系统的唯一正平衡点是全局吸引子。其次,研究了一类高阶循环差分系统。通过定义矩阵上的部分度量,证明了其平衡点的全局稳定性。⑤通过差分方程建模建立了一个含有用户意识度的网络蠕虫传播模型—dSLB模型。运用差分方程稳定性理论对模型的动力学性质进行了分析,得到了影响蠕虫传播动力学行为的阈值参数。具体地说,分析了模型在无蠕虫平衡点及蠕虫平衡点处的动力学性质,在一定条件下从理论上证明了当阈值参数小于1时无蠕虫平衡点是渐近稳定的,而当阈值参数大于1时蠕虫平衡点是渐近稳定的。