【摘 要】
:
近几十年来,各类反应扩散方程受到了很多生物学家和数学家的极大关注,特别是带有不同反应函数和边界条件的捕食-食饵模型.从现实的生物意义上来讲,捕食-食饵模型研究的主要问题是物种能否共存.所以,捕食-食饵模型的平衡态系统成为主要的研究课题.Chemostat是一种用于微生物连续培养的实验装置.在微生物研究中,chemostat被广泛应用于废料处理、微生物的生产、生物制药、污水处理、食品加工及环境污染的
论文部分内容阅读
近几十年来,各类反应扩散方程受到了很多生物学家和数学家的极大关注,特别是带有不同反应函数和边界条件的捕食-食饵模型.从现实的生物意义上来讲,捕食-食饵模型研究的主要问题是物种能否共存.所以,捕食-食饵模型的平衡态系统成为主要的研究课题.Chemostat是一种用于微生物连续培养的实验装置.在微生物研究中,chemostat被广泛应用于废料处理、微生物的生产、生物制药、污水处理、食品加工及环境污染的控制等领域,因此研究这类模型有非常重要的现实意义.本文基于对捕食-食饵模型和chemostat模型的研究现状,深入系统地研究了两类生物数学模型:捕食-食饵模型(一个食饵和两个捕食者的捕食-食饵模型、带Crowley-Martin功能反应函数的捕食-食饵模型)和非均匀chemostat模型.研究内容包括抛物系统正解的渐近行为、正平衡态解的存在性、惟一性、稳定性和多解性.所涉及的理论方法包括比较原理、上下解方法、扰动理论、不动点指标理论、隐函数定理、正则化理论、分歧理论、Lyapunov-Schmidt分解法和数值模拟等.本文的结构和主要内容如下:第一章介绍了捕食-食饵模型和chemostat模型的背景及研究现状,并列出了后面各章用到的一些预备知识.第二章研究了具有一个食饵和两个捕食者的捕食-食饵模型.首先讨论了平凡解和半平凡解的稳定性并利用比较原理给出了抛物系统灭绝和持续的充分条件.其次,通过计算不动点指标得到了共存解存在和不存在的充分条件.接着,利用空间分解和隐函数定理研究了系统的二重分歧,得到了正分歧解的近似表达式.结果表明,当c1,c2充分小和e1,e2充分大时,三物种能够共存.最后,利用Matlab和差分方法,通过数值模拟验证和补充了上面得到的理论结果.第三章研究了一类带Crowley-Martin反应函数的捕食-食饵模型.首先利用不动点指数理论讨论了正解的存在性,进而讨论了当b1充分小时,系统正解的稳定性和惟一性.其次,利用扰动理论、分歧理论和度理论讨论了当c1充分大时正解的稳定性和多解性.结果显示参数c1对正解的稳定性和解的确切个数有很大的影响.接着,利用隐函数定理和空间分解讨论了系统的二重分歧正解的存在性,并运用扰动理论和Lyapunov-Schmidt分解法得到了二重分歧正解的稳定性.最后,通过数值模拟对本章的理论分析进行了验证和补充.第四章讨论了一类非均匀chemostat食物链模型.首先以b为分歧参数,利用分歧理论研究了发自半平凡解的局部分歧和全局分歧,得到了物种共存的充要条件.其次,运用线性算子的扰动理论和分歧解的稳定性理论研究了一定条件下分歧解的稳定性.最后,利用扰动理论和度理论研究了m2充分大时共存解的惟一性和稳足性,得到了共存解稳定性和惟一性的充分条件.结果表明如果m2充分大,当物种v的最大增长率b在一定范围内时,系统存在惟一的渐近稳定的共存解.
其他文献
量子绝热定理是量子理论中的一个定律,它揭示了具有含时哈密尔顿算符的量子系统的演化规律,同时也提供了求解薛定谔方程的近似解的一种重要方法.近年来,量子绝热定理的自洽性受到了许多学者的关注.量子态的纠缠或可分性反映了量子态的本质特性,量子纠缠被认为是量子信息处理的重要资源.本文利用算子理论和矩阵分析理论,系统研究了量子绝热演化理论与可分态的动力学性质,给出了经典的绝热定理和绝热逼近误差,提出了广义量子
赋值代数是一种与局部计算密切相关、用于描述信息处理方式的代数结构模型.赋值代数的实例涵盖了关系数据库、约束系统、信任函数、贝叶斯网、命题逻辑等多个领域.而在这些诸多实例中,由半环诱导的赋值代数扮演着重要的角色.本文主要对全序半环、约束半环诱导的赋值代数的解、解的结构及其算法等问题进行了研究;并且讨论了信息代数与信息系统之间的关系,得到信息系统与信息代数在相互诱导时连续性与紧性的较为完整的相互对应关
数学生态学是用数学方法来定量研究生态系统变化过程的一门学科.非线性分析和非线性偏微分方程理论(特别是反应扩散方程理论)的发展,以及计算机模拟仿真技术的介入,使得生态模型的定量/定性研究进入到一个新的阶段,也取得了越来越多有实际应用价值的成果.本文利用非线性理论和反应扩散方程理论来研究几类生态模型在不同边界(Dirichlet、Neumann、Robin)条件下的动力学行为.研究内容主要包括平衡态正
在自然界和人类社会中广泛存在着大量的复杂系统都可以通过复杂网络来加以描述,如因特网、信息网、交通网络、电力网络和社会网络等.随着现实网络规模的日益扩大和连接的日益复杂,用一般的网络拓扑结构和理论有时并不能全面刻画真实网络的特性,超网络随之应运而生,它为研究超大规模的网络系统提供了崭新的视角.在超网络的相关研究中,超网络重要测度的研究是最基本也是最重要的一个方面.本文以Estrada指标和谱半径作为
青藏高原被誉为“世界屋脊”和“地球第三极”,其与毗邻地区一起构成全球物种多样性中心之一。该地区植物种类丰富,特有植物物种比例高,一直是物种界定、物种进化和生物多样性研究的热点地区之一。固沙草属Orinus Hitchcock(禾本科Poaceae)是青藏高原及其邻近地区的一个高山特有属,是在该地区极端沙地环境下生长的关键或唯一类群,作为野生牧草和适应极端环境植物资源,具有重要的生态价值。自该属确立
部分线性模型是一类具有较强实际背景的半参数模型,由Engle等在1986年首次提出,之后有大量研究与众多应用.而广义线性模型理论是对线性模型经典理论的重要推广,可以用来分析实际问题中遇到的各种不同类型的数据.它在应用问题的研究中,特别是在社会、经济以及生物和医学数据的统计分析中,有重要的理论和实际意义.另外,在实际应用中常常遇到诸如缺失数据、测量误差数据以及相依数据等类型的复杂数据.关于复杂数据的
本文采用线粒体DNA——细胞色素b(cyt b)和细胞色素c氧化酶亚基I(COI)基因的联合数据,利用分子生态学的基本研究方法对宁陕齿突蟾(Scutiger ningshanensis)的种群遗传结构、历史生物地理、种群动态历史以及景观特征对遗传分化的影响进行了系统的研究。研究结果表明宁陕齿突蟾的遗传分化较高,在大多数种群中遗传分化显著,共检测到3个谱系(进化枝)。这3个谱系分别是佛坪-太白谱系、
发育阶段社会环境对动物成年后的行为和神经内分泌系统具有显著的影响。在哺乳动物中,早期的社会环境主要包括亲-子联系(一般为母子联系)和同伴联系。亲子互作非常强烈,可以延伸到后代发育的整个阶段。亲本除提供营养和温度外,亲子互作可以促进后代行为和生理反应的发育。与同伴的社会互作对后代行为的发育也至关重要。在一些社会性的家庭中,一些年轻的个体会对较小的同胞提供类似于亲本一样的照顾,年轻个体对同胞的育幼行为
生态动力学研究一直是个热门课题,其丰富的研究方法和取得的研究成果不仅带来技术层面的科技创新,而且极大地改善了人类生存环境、提高了人类生活质量.随着非线性分析和非线性偏微分方程理论(特别是反应扩散方程理论)的发展,以及计算机模拟仿真技术的介入,使得生态模型的定量/定性研究进入到一个新的阶段,取得了更有深度,更有实际应用价值的成果.本文利用反应扩散方程理论结合数值模拟技术来研究三类具有扩散的生态模型在
摘要随着计算机科学的迅速发展,关于计算机科学的数学基础研究越来越受到人们的重视,已成为数学和计算机科学研究者共同关注的领域.产生于上个世纪70年代初的Domain理论和80年代的Quantale理论正是这样的两个重要交叉领域,它们各自独立发展,但从共同的数学基础来看,二者均基于数学中三大基本结构之一的序结构理论,同时与拓扑、代数、范畴、逻辑等学科有着密切的联系.尽管Domain理论与Quantal