论文部分内容阅读
本文首先建立了三个反应扩散方程模型:霍乱模型,营养-细菌模型及具有治疗的流感模型.然后用打靶法及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的线性化方程只有一个,而本论文第四章中模型的线性化方程却有两个,故使用分析的方法就行不通了.受到稳定流形定理证明过程的启发,我们提出了一个证明指数衰减性的新方法,这种方法不受方程个数的限制,所以具有更广泛的适用性.