1. 背景
为了描述细胞外细菌病原体的过程,例如铜绿假单胞菌,能够通过外毒素和降解外酶的作用穿透宿主组织。King等人在文献 [1] 中介绍了一个数学模型,包括一个反应扩散方程和一个常微分方程。在没有显著免疫反应的情况下,预测细菌进入组织的行波,其速度可以根据模型参数明确地确定。在基于蛋白质的基质中进行了简单的体外实验,产生了与这种行为一致的结果。关于建模的详细背景和想法,可以参考文献 [1] [2],他们关注了细菌感染的速度。例如,烧伤的伤口可能侵入潜在组织(对患者产生可怕的潜在后果,特别是由败血症引起的死亡率)。由于对细菌感染的深入了解,该模型受到了越来越多的关注。Hilhorst等人在文献 [3] 中建立了时间依赖问题的解的存在唯一性,以及在大退化速率极限下对极限问题的收敛性。对于偏微分方程行波解的稳定性已经得到了很好地研究,例如,期刊文献 [4] - [14]、专著 [15] [16] 和调查论文 [17]。在文章 [18] [19] [20] [21] 中,Hilhorst等人研究了系统无量纲形式的存在性和行波解的行为,该系统作为细菌降解宿主组织的模型出现,模型如下:
(1)
其中u表示细菌产生的降解酶的浓度,
表示衡量健康组织的体积分数,
为正常数。人们一般认为细菌的种群密度与v成正比。
通过简单的计算,易得系统(1)有两个常数平衡点
和
。其中,
是不稳定的,
是稳定的。因此,系统(1)就是单稳态的单调系统。通过做以下变化
(2)
然后可以得到
(3)
结合方程(1),得到关于
的系统:
(4)
进一步,使用变换
可以把方程(1)转化为以下系统
(5)
本文的目的是研究方程(1)稳态解的局部渐近行为。渐近行为可以作为行波解动力学性质很重要的部分,可以用来证明行波解的稳定性等。本文将具体分析行波解在平衡点附近的动力学行为。
我们的安排如下,第一节主要讨论系统的研究背景,并将竞争系统转换为合作系统,讨论了平衡点的稳定类型。第二节研究了在不稳定点处的局部渐近行为,并给出了在无穷远处的等价行为。第三节给出了本文的结论。
2. 在e0的局部渐近行为
在这个部分,我们将研究行波解
在靠近平衡点(0, 0)的局部渐近行为。先讨论
时,系统(4)的渐近行为。让
(6)
其中,参数
都为正的常数。把式(6)代入(4),线性化系统,得到
(7)
其中,
(8)
这个方程(7)有非零的解,当且仅当
。因此,可以得到
(9)
假设
是方程(9)的三个根,由韦达定理,根据根与系数的关系,得
(10)
假设
,那么计算可得
和
。因此,方程(9)存在一个负数根
。那么其他的两个根
、
满足方程
(11)
通过计算式(11),可以得到
(12)
由文献 [20] 中引理2.2可知,当选取
时,我们假定
,其中
需要满足以下方程组
(13)
当
时,
才是实数。此时,我们有
。当
时,行波解
的渐近行为可以表示为:
(14)
其中,要么
,或者
时,
。特别的,特征值
对应的特征向量可为
(15)
定理1. 对于任何的
,波前解
有如下的渐近行为,当
,有
(16)
证明:反证法,假设对于
,波前解
有如下的渐近行为,当
,有
(17)
在这个假设条件下,
是如下偏微分方程系统的解:
(18)
它的初值条件是
(19)
对于
,我们知道系统(15)存在一个单调的行波解。特别地,选取
,假设
是系统(15)具有初始条件的一个解,它的初始条件为
(20)
通过简单的计算这个解在系统(3)~(4)的
处的渐近行为。我们总能得到(有必要的话,通过平移变换)
,通过比较原理,对于任意的
,我们可以得到
(21)
另一方面,让
,显然
,当
,有
(22)
而由(18)知,
。而这个结论与假设所得
矛盾,所以命题得证。
3. 结论
本文讨论行波解的渐近行为,是为了分析其局部稳定性和全局稳定性。本文的分析方法也可以适用于其他的竞争模型或者其余的反应扩散方程。
基金项目
湖南省教育厅资助项目:17C1363。