两类种群模型行波解的存在性

来源 :西南大学 | 被引量 : 3次 | 上传用户:visualhoxygen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先建立了三个反应扩散方程模型:霍乱模型,营养-细菌模型及具有治疗的流感模型.然后用打靶法及Schauder不动点定理研究了这三个模型行波解的存在性及不存在性,得到了模型的最小波速,从而为传染病控制及细菌种群控制提供了理论依据.下面分章介绍.   第一章是引言部分,主要介绍了问题研究的背景,所用的数学方法及不同方法的比较.   第二章建立了具有污染物扩散的霍乱传播模型.首先忽略因病死亡率,考虑霍乱传播的两种方式(人与环境之间的传播及人与人之间的传播).把原系统行波解的存在性问题转化为极限系统行波解的存在性问题,然后通过打靶法得到了模型行波解存在的充要条件,给出了最小波速的计算公式.接着考察因病死亡率对霍乱传播的影响,但是忽略人的自然出生与死亡过程.通过常数变易法把原系统降维,转化为具有分布时滞的反应扩散系统,然后构造一对有界的上下解,从而得到了一个正锥.对这个正锥用Schauder不动点定理得到行波解的存在性.我们用双边Laplace变换方法来排除行波解的存在性,为了应用双边Laplace变换就首先要说明行波解至少是指数衰减的,受到稳定流形定理证明过程的启发,结合行波解的平移不变性,提出了一种新的证明指数衰减性的方法.   第三章基于Mimura的营养-细菌模型,建立了一个简化的反应扩散模型.通过常数变易法把原系统转化为一个具有分布时滞的发展系统.首先考虑线性化特征值问题,通过把两个高次多项式与同一个一次多项式进行比较得到了最小波速的计算公式.为了证明行波解的存在性,进一步构造一个辅助系统.对辅助系统构造一对上下解,使用Schauder不动点定理得到辅助系统行波解的存在性,这样就得到一列行波解,通过Arzela-Ascoli定理就证明了辅助系统行波解序列的极限就是原系统的行波解.为了证明行波解的不存在性,我们定义了”负向单边Laplace变换”,通过”负向单边Laplace变换”证明行波解的不存在性.   第四章建立了具有治疗的流感扩散模型.通过分析线性化特征值问题得到最小波速的计算方法.类似于第三章的方法,首先构造一个辅助系统,通过Schauder不动点定理得到辅助系统行波解的存在性,进一步使用Arzela-Ascoli定理就证明了原系统的行波解的存在性.行波解不存在性的证明与第二章的第二个模型的方法类似.   本段给出论文的创新点.创新点分为两个方面:模型对现实问题的解释及行波解证明方法上的创新.本文通过反应扩散方程模型的行波解揭示了传染病传播及细菌扩散的内在机理,得到了最小波速,为霍乱与流感的控制提供了理论基础,有助于分析细菌的扩散模式.证明方法上的创新点如下:   1.第一个创新点就是线性化问题特征方程的分析.第三章的特征值问题是一个三次多项式方程,为了得到最小波速c*的计算,我们把两个高次多项式与一个共同的一次多项式相比较得出了c*的存在性,这样的方法对三次多项式方程具有较大的适用性,目前没有见到有文献这样用过.   2.第二个创新点是”负向单边Laplace变换”概念的引入.为了证明行波解的不存在性,Wang和Wu(2010)使用了双边Laplace变换,我们引入的负向单边Laplace变换使证明变得更加简洁明了.   3.第三个创新点在于我们引入了辅助系统,构造的上下解是有界的,从而所得到的正锥也是有界的,这与Wang和Wu(2010)的无界上解有根本的区别.对非合作系统来说,利用所构造的有界上下解来得到最小波速是很不容易的.   4.第四个创新点就是提出了一个证明行波解指数衰减性的新的方法.Wang和Wu(2010)是使用分析的方法证明行波解的指数衰减性的,但是Wang和Wu的线性化方程只有一个,而本论文第四章中模型的线性化方程却有两个,故使用分析的方法就行不通了.受到稳定流形定理证明过程的启发,我们提出了一个证明指数衰减性的新方法,这种方法不受方程个数的限制,所以具有更广泛的适用性.
其他文献
在解决理论和实际应用中的多变量优化问题时,许多智能优化算法存在收敛速度较慢或容易陷入局部最优的缺陷。由于人工蜂群算法具有设置参数少、收敛速度快和鲁棒性强等优点,因此
格点系统源于医学、生物、化学、金融和工程等具有空间离散结构的许多应用领域.由于客观世界中不确定性和随机因素的存在,随机格点系统备受关注.在实际问题中,系统的状态依赖
本文主要研究带有离散输出(输入)的混沌系统的控制与同步。众所周知在现实生活中有些系统只有输出变量可用且其在信号传输过程中可能会因为某些原因而中断,因此讨论仅输出变量可
在现实生活中,植被生态系统受人类活动的影响而严重退化,导致了生态平衡的破坏、气候的恶化等一系列问题,这直接威胁着人类的生命财产安全。为了更真实直观的描述草原生态系
互联网的快速发展对交易系统的要求越来越高,低延迟和高可用性已经成为衡量一个交易系统的重要指标。交易系统不仅需要满足数据的一致性和完整性,而且还要考虑交易延迟对用户
分形几何学是十分活跃的新学科之一,它使人们能更好地认识世界:世界是非线性的,分形无处不在。   自仿射集的维数是分形几何研究的热点问题之一,受到越来越多的关注,由于仿射
本文建立了两类具有Markov转换与互惠关系的随机捕食模型,其中一类是受白噪声与电报噪声干扰的随机时滞两互惠食饵—一捕食者模型(简称“模型一”),其中功能反应为Holling II与Be
本文讨论了拟四元数空间上一阶双曲型方程的Riemann-Hilbert边值问题,用四元数分析以及复分析的方法给出了解的表示形式.   在第一章,用类似文[4]中对问题E的讨论,定义了一阶
本文研究了分数阶微分方程解的存在性与唯一性问题,主要讨论了一类分数阶微分方程解的表达式及不连续分数阶泛函微分方程极值解的存在性.  文章利用Schauder不动点定理并使用
半参数回归模型是以参数回归模型和非参数回归模型为基础而发展起来的,由于该模型很好的结合了两模型的特点,它能有效的继承了参数回归模型容易解释的特点,又能很好的避免非参数