论文部分内容阅读
近三四十年来,非线性演化系统(特别是抛物型系统)的行波解与渐近传播速度理论吸引了很多学者的关注。所谓行波解,是指随着时间的推移,沿某个方向以恒定速度移动但形状不发生改变(或呈规律地变化)的一类特别的解;而渐近传播速度是上世纪七十年代新引入的概念,它是用来描述一类初值(如具紧支集)的最终传播速度。二者在种群生物学,传染病学,化学,燃烧理论等自然科学中有十分重要的意义。近十年来,很多工作都集中在单稳型和双稳型系统上,所谓单稳型系统,是指其空间齐性系统有两个平衡态:一个稳定,另一个不稳定;所谓双稳型系统,是指其空间齐性系统有两个有序且稳定的平衡态,而二者之间其它的平衡态都是不稳定的。目前,对单稳型具有一定紧性的单调半流,已有比较一般的抽象理论。然而,对于单稳型非单调的方程,双稳型单调半流,以及一些不具紧性的方程,还存在很多问题有待解决。本文的研究主要集中在上述三类演化系统。 首先研究单调但退化(即部分扩散系数为零)的反应扩散方程组。此时,系统不再具有紧性。在单稳情形下,本文构造了一对向量形式的上下解,再结合单调迭代的方法得到了行波解的存在性;在双稳情形下,本文利用扰动后的非退化系统来逼近退化系统(也称粘性消去法),得到了行波解的存在性。上述两个结果发展和补充了Volpert建立的关于反应扩散方程组的行波解理论。 其次研究两类单稳型非单调的方程。利用构造两个辅助的单调方程夹住非单调方程的思想来研究渐近传播速度和行波解的存在性与不存在性;而关于行波解的唯一性,本文先建立一个线性方程整体解的结构定理,然后借助于此定理得到波形函数在无穷远处确切的衰减速度,进而得到了唯一性。其中结构定理也有其自身的用处。此外,唯一性的证明克服了已有方法的某些局限性。 最后研究双稳型单调半流。此部分首先给出双稳结构的一种新的解释,从而将单稳和双稳情形结合了起来,并引出了反向传播这一几乎必要的条件。此部分系统地得到了双稳型半流的行波解存在性,包括连续环境上的离散和连续时间的紧半流,离散环境上的离散和连续时间的紧半流,时间周期的紧半流,周期环境上的紧半流,以及一些不紧的半流。同时把这些理论结果应用到了四类方程上,其中对具周期扩散系数的反应扩散方程,本文给出了其具有双稳结构的充分条件以及不具双稳结构的反例,进而说明此类方程的双稳结构并不仅由非线性项所确定。此外,对环境和时间均离散的情形,引入另一个算子首次拓宽了行波解的定义,为了克服此算子是非紧的困难,本文建立了一个关于抽象单调函数序列收敛性的Helly定理。