带有自由边界条件的反应扩散方程描述的竞争模型

蔡静静, 周诗雨

(上海电力学院 数理学院, 上海 201300)

种群竞争模型的研究一直备受关注[1-6]。文献[1-2]研究了一般的种群竞争模型,并对平衡点进行了稳定性分析,文献[2]分析了平衡点的局部稳定性和全局稳定性。文献[3]研究了一类捕食与被捕食的食物链系统的关系,研究了系统平衡点的稳定性和极限环的存在性,得到了不同条件下两物种生存之间的变化关系。他们使用的模型都是常微分方程组,通过分析特征根(或者说特征根实部)的符号来分析平衡点的稳定性,进而得到种群的生存或死亡的结论。在自然界中,有些种群向另一个种群的生存区域入侵时,入侵种群的生存区域是随时间变化的(通常被称为“自由边界”),所以我们考虑的是自由边界问题,使用的是反应扩散方程组。

本文考虑的是两种种群竞争模型,假设A种群在半空间中生存,B种群从一侧入侵A种群,研究何种状态下B种群能在A种群的生存空间中存活,以及此时B种群的生存区域,也分析何种状态下B种群入侵失败。

1 竞争模型的解的有界性

本文主要研究带有自由边界条件的反应扩散方程组解的渐近行为,即

(1)

式中:h(t)——自由边界,h(0)=h0>0;

u(t,x)——种群A的密度;

v(t,x)——种群B的密度;

a1,a2——两种群的内增长率;

c1,b2——内部竞争系数;

b1,c2——外部竞争系数。

对于自由边界h(t),[0,h(t)]为种群A在t时刻所占领的区域。种群A的初始密度为u(0,x)=u0(x),x∈[0,h0];种群B的初始密度为v(0,x)=v0(x),x∈(0,∞),种群B的生存区域为半空间(0,+∞),现在种群A向半空间中传播,我们主要考虑种群A是否能传播成功。

定理1式(1)存在唯一解且一致有界,即对所有t>0,存在两个常数M1和M2,使得

另外,存在与t无关的常数M3>0,使得

0

证 明设u1(t)是式(2)的解,即

(2)

则由常微分方程的知识可知

由比较原理得到

u(t,x)≤u1(t),t>0,0

于是

又因为v(t,x)满足

所以

最后,构造二次函数

U(t,x)=M1[2M(h(t)-x)-M2(h(t)-x)2]

直接计算可以得到

Ut=2M1M(1-Mh(t)+M)

Uxx=-2M1M2

U(t,h(t))=0=u(t,h(t))

取M充分大,可以证明

u(t,x)≤U(t,x),t>0,

由数学分析知识可知,对所有的t≥0有

-ux(t1,h(t))≤-Ux(t,h(t))=2MC

所以,h′(t)=-ux(t,h(t))≤2MC,t>0。

2 弱竞争

这里主要考虑种群A是弱竞争者的情形,即假设

(3)

下面证明若竞争者传播失败,原来的种群B战胜竞争者而永远生存下去。

定理2若式(3)成立且v0≠0,则

证 明首先,由上述分析可知

同样的,可证

(4)

从而v(t,x)满足

令v1(t,x)为式(5)的解,即

(5)

则有

根据比较原理可知,当时间很大时,存在t2,当t>t2时,

此时,u和v满足

考虑由式(6)来构造上解和下解,进而分析解的渐近行为,即

(6)

再由比较原理可知

u(t,x)

因此

3 强竞争

这里主要考虑种群A入侵种群B,但种群A是强竞争者,即

(7)

与以往常微分方程组描述的竞争模型不同的是,这里得到的都是二分性(二择一)的结论。

定理3设式(7)成立,(u,v,h)是式(1)的解,且v0≠0,则有下面的二分性结果:

证 明一是传播现象的证明。由定理1可知

(8)

从而可知,对于充分大的正常数L,存在tL>t2,使得

于是u和v满足

为了分析u和v的渐近行为,先考虑一个常微分方程组

则

u(t,x)≥z(t),v(t,x)≤w(t)

而由经典的常微分方程竞争模型可知

再结合式(8)得到

先考虑常微分方程

可知

再由比较原理可知,v(t,x)≥w(t)。

结合ε的任意性可知

(9)

由式(8)和式(9)可知

4 结 语

本文利用带有自由边界条件的反应扩散方程研究了种群的强竞争和弱竞争现象。结果表明,无论种群的初始密度有多小,种群都会生存且生存区域不变,显然本文的结论更符合实际现象。