王雅迪， 袁海龙，2

1.陕西科技大学 数学与数据科学学院，西安 710021；2.西安交通大学 数学与统计学院，西安 710049

近年来,许多学者都非常关注海洋沉积物中生物化学反应现象的研究.为探究出系统的一些典型动力学行为,文献[1]提出了关于海洋沉积物的如下营养-微生物模型:

(1)

为了书写方便,作无量纲变换,令

得到简化后的系统

(2)

其中u和v分别表示细菌和营养物的生物量浓度.对系统(2)加入扩散项后考虑如下反应扩散模型:

(3)

对于系统(3),文献[1]主要研究了其Turing模式,发现由于Turing不稳定导致物种的异质分布现象,找到了非平凡平衡点失稳的条件;文献[2]利用空间分解定理和隐函数定理研究了系统(3)的稳态分支,并详细讨论了Hopf分支的存在性与稳定性;文献[3]研究了Turing不稳定性、非常数稳态解的存在性,并利用分支理论研究了系统(3)的局部和全局分支结构.

为了反映出系统的动力学行为不仅受当前状态的影响,还依赖于过去某一时刻的状态,众多学者围绕时滞微分方程进行了研究,取得了许多丰富且有意义的成果[4-12].例如,文献[4]研究了时滞效应对一类具有HollingⅡ功能反应的捕食食饵模型的影响,结果表明,当时滞参数较大时,系统会表现出稳定的振荡行为;文献[5]的研究结果显示,当系统经过某些稳定性开关后,平衡点会由稳定变成不稳定,并且当时滞参数取某些临界值时,系统会产生Hopf分支;文献[6]证明了系统的正平衡点在时滞小于某个临界值时是稳定的,而当时滞超过该临界值时,正平衡点变得不稳定;文献[7]在给模型引入两个不同时滞的条件下,研究了系统唯一正平衡点的稳定性和Hopf分支的存在性;文献[8]考虑了在Dirichlet边界条件下时滞效应对一类种群模型的影响;文献[9]建立了一个Wolbachia在蚊子种群中的传播模型,研究了时滞对Wolbachia传播的影响;文献[10]利用Mawhin连续定理和微分不等式研究了一类带有离散型时滞的Lotka-Volterra食饵-捕食者模型存在8个正周期解的问题;对于肿瘤-免疫动力学模型,文献[11]研究了免疫激发分布时滞对系统动力学性态的影响,文献[12]则发现分布时滞的引入可能导致系统产生周期振荡现象,进而解释肿瘤的复发现象.

文献[13]在系统(3)的基础上考虑给反应过程中的营养物生物量浓度引入时滞,研究了系统的许多动力学行为,例如平衡点的稳定性、Turing不稳定性、Hopf分支以及Hopf-Hopf分支.

事实上,在细菌和营养物这两类物种互相作用的过程中,时滞效应的存在会影响细菌和营养物的生物量浓度变化.因此,基于上述分析,本文在系统(3)的基础上考虑如下模型:

(4)

其中,时滞τ代表细菌的成熟期,指细菌进入环境后需经历τ单位的时间才能达到成熟进而完成繁殖增长.对于系统(4),本文分别对常微分系统和偏微分系统研究了时滞对正常数平衡点稳定性的影响,以及在正常数平衡点处Hopf分支产生的条件,并计算了分支周期解的稳定性和分支方向.结果表明,当时滞τ在经过某一临界值时,系统会由稳定状态变为不稳定状态,并产生Hopf分支.文中分别用N+和R+表示非负整数集和正实数集.

本文的结构如下.第一部分主要讨论带时滞参数的常微分系统和偏微分系统正常数平衡点的稳定性以及Hopf分支的存在性.第二部分讨论Hopf分支的方向和分支周期解的稳定性.第三部分进行数值模拟,验证结论.

1 正常数平衡点的稳定性和Hopf分支的存在性

1.1 带时滞的常微分系统

本节考虑如下带有时滞参数的常微分系统:

(5)

易知系统(5)存在正常数平衡点(u*,v*)的充要条件为(u*)2+(1-b)u*+K=0,因此可知:

根据文献[2]可知,当τ=0,且系统(5)满足条件

(6)

其中

u=u(t)uτ=u(t-τ)v=v(t)

根据Taylor展开式,系统(6)在(0,0)处的线性化系统是

(7)

系统(7)的特征方程为

λ2+A0λ+Be-λτ+C0=0

(8)

其中

若λ=iω(ω>0)是特征方程(8)的纯虚根,将其代入,可得

(9)

则有

(10)

其中

(11)

将ω0代入(9)式,计算可得

(12)

下面验证横截条件.令

对其积分后代入ω=ω0,可得

因此,当ω=ω0时横截条件成立,可得定理1:

1.2 带时滞的偏微分系统

本节研究如下带有时滞参数的偏微分系统,为了简化后期计算和着重探讨时滞因素对系统稳定性的影响,此时考虑空间域Ω=(0,lπ)的一维简单情形,其中l∈R+:

(13)

与1.1节类似,对系统(13)在平衡点(u*,v*)处做平移变换后,可以写成下面的抽象微分方程形式:

(14)

其中定义X=C([0,lπ],R2),dΔ=(d1Δ,d2Δ),以及

dom(dΔ)={(u,v)T:u,v∈C2([0,lπ],R);ux,vx=0;x=0,lπ}

已知

对于φ=(φ1,φ2)T∈C([-τ,0],X),有

以及

则系统(14)在(0,0)处附近的线性化系统为

(15)

线性系统(15)的特征方程等价于

λy-dΔy-L(eλy)=0y∈dom(dΔ)y≠0

(16)

因此,方程(16)的所有特征根由以下特征方程给出:

λ2+Anλ+Be-λτ+Cn=0n=0,1,2,…

(17)

其中

若λ=±iω(ω>0)是特征方程(17)的一对纯虚根,则有

(18)

化简可得

(19)

其中

(20)

(21)

对于0≤n≤N0,方程(19)有正根ωn,满足

(22)

因此,可以确定τ的表达式为

(23)

其中

(24)

故此时方程(17)存在一对纯虚特征根±iωn.

证对特征方程(17)两边同时关于τ求导,则有

(25)

(26)

由于

以及

故由(26)式,有

因此横截条件成立.证毕.

证由(22)式变形,可得

即有

2 Hopf分支的方向和分支周期解的稳定性

(27)

其中对于φ∈C([-1,0],X),有

G(φ,μ)=μdΔφ(0)+μL0(φ)+(μ+τ0)F0(φ)

系统(14)在(0,0)处的线性化系统是

(28)

由第二节知,±iω0τ0是线性化系统(28)的一对纯虚特征值.根据Riesz表示定理,存在一个2×2的有界变差函数矩阵η(θ,μ)(θ∈[-1,0]),满足以下形式:

(29)

其中

接下来定义算子A(0)和A*分别为

(30)

其中φ(θ)∈C1([-1,0],R2),ψ(s)∈C1([0,1],(R2)*).

对于u=(u1,u2),v=(v1,v2)∈X=C([0,lπ],R2),定义内积为

此外,对于φ(θ)∈C1([-1,0],R2)和ψ(s)∈C1([0,1],(R2)*),引入如下双线性型内积:

经验证可知,±iω0τ0是算子A(0)和A*的特征值,设q(θ)是算子A(0)关于特征值iω0τ0的特征向量,q*(s)是算子A*关于特征值-iω0τ0的特征向量,则根据算子A(0)和A*的定义可得,q(θ)和q*(s)的形式分别为

q(θ)=(q1,q2)Teiω0τ0θθ∈[-1,0]

和

再根据(30)式,计算可得

(31)

其中

(32)

根据G(φ,μ)的表达式可知G(φ,0)=τ0F0(φ)=τ0(G1,G2)T,其中

其中O(4)=O(‖(u,v)‖4).

由(32)-(34)式可得

(35)

其中

I为单位矩阵,通过链式法则

可得

H20=[2iω0τ0-A(0)]W20H11=-A(0)W11H02=[-2iω0τ0-A(0)]W02

(36)

当θ∈[-1,0)时,由(35)式可得

则有

(37)

结合(36)和(37)式得到如下微分方程

(38)

可得方程(38)的解为

当θ=0时,由(36)式和

可得

其中

基于上述分析,可以计算出如下用于判断Hopf分支方向和分支周期解稳定性的值:

由此可得出定理3:

定理3对于系统(13),有如下结论:

(i)μ2确定Hopf分支的方向,当μ2>0(μ2<0)时,分支方向是超临界的(次临界的);

(ii)β2确定分支周期解的稳定性,当β2<0时,分支周期解是渐近稳定的,当β2>0时,分支周期解是不稳定的;

(iii)T2确定分支周期解的周期,当T2>0时,周期增大,当T2<0时,周期减少.

3 数值模拟

本节利用MATLAB软件给出具体的数值实例,以补充验证前面给出的理论结果.

图1 正平衡点局部渐近稳定,此时参数且初值取(u0,v0)=(1.57,1.31)

图2 系统产生稳定的极限环,此时参数且初值取(u0,v0)=(1.57,1.31)

图3 正平衡点不稳定,此时参数且初值取(u0,v0)=(1.57,1.31)

图4 系统分支产生的空间齐次周期解,此时参数且初值取u0(x)=u*+0.65cos(5x),v0(x)=v*-0.65cos(5x)