【摘 要】
:
数学生态学是用数学方法来定量研究生态系统变化过程的一门学科.非线性分析和非线性偏微分方程理论(特别是反应扩散方程理论)的发展,以及计算机模拟仿真技术的介入,使得生态模型的定量/定性研究进入到一个新的阶段,也取得了越来越多有实际应用价值的成果.本文利用非线性理论和反应扩散方程理论来研究几类生态模型在不同边界(Dirichlet、Neumann、Robin)条件下的动力学行为.研究内容主要包括平衡态正
论文部分内容阅读
数学生态学是用数学方法来定量研究生态系统变化过程的一门学科.非线性分析和非线性偏微分方程理论(特别是反应扩散方程理论)的发展,以及计算机模拟仿真技术的介入,使得生态模型的定量/定性研究进入到一个新的阶段,也取得了越来越多有实际应用价值的成果.本文利用非线性理论和反应扩散方程理论来研究几类生态模型在不同边界(Dirichlet、Neumann、Robin)条件下的动力学行为.研究内容主要包括平衡态正解的存在性、惟一性、多重性、稳定性、稳态分歧和Hopf分歧的存在性以及含时间t正解的长时行为.涉及的方法主要包括比较原理、最大值原理、上下解方法,线性化理论、分歧理论、不动点理论、摄动理论以及基于MATLAB(?)软件的数值方法.第一章介绍Lotka-Volterra模型和活化-抑制模型的研究工作背景及其现状,然后概述本文的主要研究工作.第二章讨论基于比率和改进Leslie-Gower功能反应的食物链模型,该模型描述了三个营养水平层次间的相互作用.首先利用不动点指标理论,得到模型平衡态正解存在的充分条件,进而说明其惟一性.其次利用上下解方法和比较原理,证明了全局吸引子的存在性和系统灭绝性.另外,通过数值模拟,补充验证了模型平衡态正解的存在性及稳定性,总结了参数c,α1,β1对种群u,v,,w密度的影响.第三章讨论具有非线性生长率的捕食-食饵模型,其中捕食者种群具有非线性的生长率.将参数m作为主要参数,分析了m充分大时,模型正解的存在性、惟-性、多重性及稳定性.另外,通过数值模拟,补充验证了模型的存在性、不存在性及稳定性,并分析了参数β对种群u,v密度的影响.本章涉及理论分析工具包括不动点指标理论、上下解方法、分歧理论及正则(奇异)摄动理论.第四章讨论具有Ivlev功能反应函数的捕食-食饵模型在零解处小分支正解的存在性和线性稳定性.另外,通过数值模拟分析和补充了理论分析结果,总结了参数γ,d对种群u,v密度的影响.本章主要涉及理论分析工具包括Lyapunov-Schmidt约化方法、隐函数定理以及线性化方法.第五章讨论齐次和非齐次环境活化-抑制模型的动力学行为.首先分析了内部平衡态的渐近性,及其附近ODE系统极限环的存在性、稳定性及走向.其次证明了PDE系统的Turing不稳定性及稳态分歧、Hopf分歧的存在性.另外,通过数值模拟分析和补充了理论分析结果.
其他文献
自然科学的发展很大程度上依赖于物理、化学、生命科学等方面的进展情况,这些具体问题的数学化对它们的进一步研究是很重要的.许多数学模型可以归为反应扩散模型.近几十年来,反应扩散模型的研究已取得了很大进展.随着研究的不断深入,反应扩散模型被广泛用来探讨大量的带有扩散的动力系统。本文利用非线性分析和非线性偏微分方程理论研究了两类反应扩散模型的动力学行为.研究的主要内容包括模型平衡态正解的先验估计、不存在性
Domain理论是理论计算机科学中程序设计语言的指称语义学的数学基础.序和拓扑的相互结合,相互作用是这一理论的基本特征.正是这一特征使Domain理论成为理论计算机科学和数学研究者共同关注的领域,也使这一理论具有广泛的应用空间.自2000年以来,模糊集理论被应用到Domain理论中,形成了模糊Domain理论.目前,该理论已有较为丰富的理论成果和应用背景,并与范畴论,模糊拓扑,形式概念分析,粗糙集
本文主要讨论了三类数字集与整数扩张矩阵生成的自仿测度的谱与非谱性质.首先,利用Strichartz的一个谱对准则讨论自仿测度的谱性质,在谱的情形下,找出了它的一些谱.其次,利用自仿测度的Fourier变换零点的分布特点讨论了它的非谱性质,并指出了此时相互正交的指数函数的个数.本文的内容安排如下:第二章讨论共线数字集生成的自仿测度的谱性质.根据自仿测度的Fourier变换零点的分布特点,来讨论整数扩
健康的社会交往和稳定的社会联系能力的减弱是许多精神疾病如抑郁症,成瘾,精神分裂症和自闭症等普遍的症状之一。理解正常社会联系发育、形成的神经生物机制和遗传机制对理解上述这些精神疾病非常重要,也可为药理干预和治疗这些疾病提供可能的靶标。社会联系在生命活动中普遍存在,它可以影响社会、心理、生理和行为机能。关于社会联系的发育形成机制目前还不清楚,但是社会联系涉及一系列复杂的过程,包括通过感觉发现同伴、识别
近年来,复杂网络引起了科学家的广泛关注,已经成为包括数学、力学、物理学、计算机、生命科学、管理科学、系统科学、社会学、金融和经济学等许多科学领域的研究热点。复杂网络上的动力学或物理状态的演化是一个重要研究领域,而复杂网络上自旋系统的相变行为研究是一个具有重要意义的方向。如果给复杂网络的节点赋予某种自旋状态,给连边赋予某种耦合或相互作用就可以建立复杂网络上的自旋系统,这类自旋模型可以用于刻画诸如复杂
本文主要研究解析数论和Diophantine方程中占有重要地位的经典问题,特别是著名的Gauss和的均值估计,D.H.Lehmer问题,椭圆曲线整数点问题,指数Diophantine方程组以及其它各类Diophantine方程的可解性等特殊情形.即利用解析方法研究了一个特殊的Gauss和的均值估计,并讨论了两类椭圆曲线的整数点问题,一类指数Diophantine方程组以及三类Diophantine
产生于上世纪80年代的Quantale理论是理论计算机科学的数学基础之一,与拓扑、代数、逻辑等学科有着密切的联系.作为Quantale理论的一个相关结构,m-半格把V-半格的结构和半群的乘法运算结合起来,从而剩余格、]Erame.Qua-ntale和格序半群等都是特殊的m-半格.m-半格在Quantale理论的研究中有着重要的作用,因为每一个凝聚式Quantale都同构于某个含最大元的m-半格的V
模糊图是经典图的模糊化,也可以视为一种广义的赋权图.本博士论文主要研究了模糊软图和区间值模糊图的运算性质以及图格的有关图论方面的性质.具体内容如下:第一章,介绍了模糊图、区间数、模糊软集以及格论中的一些概念.第二章,定义了模糊图的割点、割边及块的概念并讨论了它们的相关性质,包括点和边分别成为模糊图的割点和割边的充要条件、阶至少为3的模糊图成为块的充要条件、模糊圈成为块的充要条件、模糊图中两顶点间距
量子绝热定理是量子理论中的一个定律,它揭示了具有含时哈密尔顿算符的量子系统的演化规律,同时也提供了求解薛定谔方程的近似解的一种重要方法.近年来,量子绝热定理的自洽性受到了许多学者的关注.量子态的纠缠或可分性反映了量子态的本质特性,量子纠缠被认为是量子信息处理的重要资源.本文利用算子理论和矩阵分析理论,系统研究了量子绝热演化理论与可分态的动力学性质,给出了经典的绝热定理和绝热逼近误差,提出了广义量子
赋值代数是一种与局部计算密切相关、用于描述信息处理方式的代数结构模型.赋值代数的实例涵盖了关系数据库、约束系统、信任函数、贝叶斯网、命题逻辑等多个领域.而在这些诸多实例中,由半环诱导的赋值代数扮演着重要的角色.本文主要对全序半环、约束半环诱导的赋值代数的解、解的结构及其算法等问题进行了研究;并且讨论了信息代数与信息系统之间的关系,得到信息系统与信息代数在相互诱导时连续性与紧性的较为完整的相互对应关