1. 引言
反应–扩散方程形式的动力学模型在各种自然科学中得到了广泛的研究。对于生物群落系统的研究一直是生物数学的热门。许多种群动力学模型都可以用延迟反应–扩散方程来刻画。在经典的扩散洛特卡–沃尔特拉型模型中研究了环境的扩散和非均质性之间的相互作用。
我们研究以下系统
(1.1)
其中,
是一个光滑有界域,
,
相对于时间t是
-周期函数。上式的非线性算子
定义如下
(1.2)
系统(1.1)模拟了居住在区域
内的两个种群密度分别为
和
的竞争物种之间的相互作用。因此,我们只对非负解
,
感兴趣。此外,我们假设
完全被一个致命的环境所包围,因为这两个种群的密度都服从于均匀的狄利克雷边界条件。关于这种模型的详细描述,见 [1]。近年来,共存解,即具有
,
的解
受到了广泛的关注。早期文献中的大部分工作都致力于研究线性扩散的情况:即
,
(例如,见 [2] [3] [4] [5])。而作为一个特殊的情况,对生物群落系统的共存稳态也进行了相应的研究:见 [6] [7] [8]。其生物学背景使得研究与(1.1)相同类型的非线性扩散系统的共存周期解变得非常有趣。在这方面,具有双退化的情况,即
,已经被广泛地讨论过:参见 [1] [9]。对于梯度奇异点的情况,即
,
,Fragnelli等人通过应用Leray-Schauder理论(见 [10])在
,
的情况下证明了问题(1.1)共存周期解的存在性。
在文献 [10] 的基础上,本文进一步考虑在具有梯度奇异性的情况下共存周期解的存在性问题,即在 [10] 中,非线性算子
的
,而本文应用Leray-Schauder不动点定理考虑
的情形,从而进一步完善了文献 [10] 的结论,再结合文献 [10] 的结果给出了参数
,
,
,
,
时解的完整图像。
本文的结构如下:第二节介绍了一些必要的引理以及本文主要结果。第三节首先利用Leray-Schauder不动点理论证明了问题(1.1)的一个近似共存解
的存在性,且它的下界是不依赖于
的。在此基础上,通过对
取极限,证明了(1.1)共存解的存在性。
2. 基本准备
在本文中,
表示在
中连续的且对于时间t是
-周期性的函数集。
是一个以半径为中心的球。假设
,
,
,
,和
(2.1)
若选择
,
,则这对应于竞争情况。由于(1.1)中的方程的奇异性,问题(1.1)可能没有经典解。因此,我们从以下意义上考虑其弱解。
定义2.1:在
中定义的一对非负函数
被称为问题(1.1)的弱解,若
,
,
且
满足
(2.2)
和
(2.3)
其中对于
,有
,
和
,
。
为了得到该问题(1.1)共存解的存在性,我们在退化抛物型方程中加入了一些粘性项,然后考虑了下面的正则化问题:
(2.4)
其中,非线性算子
定义为
(2.5)
为了应用Leray-Schauder不动点定理得到该问题(2.3)共存解的存在性,我们引入了一个映射
如下:
上式中
为以下耦合周期问题的解:
(2.6)
如上所述,令
和
其中,
,
。显然,若非负函数
满足
那么,
也是问题(2.4)的一个非负解。因此,问题(2.4)的非负解的存在性等价于映射
的不动点
的存在性。设
为Poincare常数,使得对于任意
有
。那么,存在性的结果可以表述如下。
定理2.2:假设
,
,若
且
则问题(1.1)存在一个共存解
。
3. 主要结果及证明
首先,我们证明正则化问题(2.4)的周期解
的存在性,其中
,
,
,
且
足够小。因此,需应用不动点定理来得到映射
的正不动点。并且为证明定理2.1,还需以下引理。
引理3.1:若
为下式的非平凡解
(3.1)
则
,此外,若
或
则
或
,
。
证明:假设
,
是(3.1)的解,且
,首先证明
。将(2.6)的第一个方程乘以
,再在区间
上积分并且由于
的周期性及
。可得
分别考虑到上式的各部分,
(3.2)
(3.3)
则
注意到
且
因此,特别地,
因为
则
因此
由Poincare不等式可得
对上式在区间
上进行积分,可得
再结合边界条件与
,则可得
。因此
现在我们证明在
内有
。由于
是非平凡的,因此存在
,使得
。设
是一个非负函数,使得
且对于
,令z为下式的解
由于
,我们可以选择足够大M,且通过比较原理可知,
。根据极大值原理有,
。因此,
。同理可知,当
时,有
。
引理3.2: [10] 令
为区间
上一个非负的和非递增的函数,满足
其中
,
,
。则
且
。
引理3.3:若
是
的解,则存在一个不依赖于
和
的
正常数R。使得
。
证明:由引理3.1可知
,
。再令
为
对上式两边同乘
再在区间
上积分可得
由Poincare不等式及Young不等式可得
利用
关于时间t的周期性,存在一个
,使得
且有
其中函数
满足
。特别地,可知有
利用 [1] 中的类似方法可知,对于任何
,存在一个常数
,只依赖于
和
使得
接下来,可以利用DeGiorgis迭代来证明(3.11)。事实上,用(3.12)乘以
,其中
是区间
的特征函数,并将结果对
进行积分,则有
因此,类似 [9] 中定理2.2的证明方法,利用Sobolev嵌入定理、Young不等式和引理3.2,可知
,且R不依赖于
和
。同理可知,
,由此引理得证。
利用文献 [10] 中的方法,可以证明下述引理3.4与引理3.5成立。
引理3.4:映射
存在至少一个不动点
,有
。
引理3.5:假设定理2.2中的假设(2.7)和(2.8)成立。则存在正常数
和
,使得对于映射
上的任意一个不动点
存在下列不等式
。
定理2.2的证明
结合上述引理3.1~3.5,类似文献 [10] 中的方法,通过对上述正则性问题
中的
取极限,由此可以证明定理2.2成立。
基金项目
国家自然科学基金资助项目(11671085);福建省自然科学基金资助项目(2020J01160)。
NOTES
*通讯作者。