本文将扩散因子引入互惠–寄生耦合系统,建立互惠–寄生耦合空间模型,研究其斑图动力学性态。利用斑图理论,给出耦合系统产生Hopf分支和Turing分支的临界表达式,并由此确定出图灵斑图出现的参数区域,运用有限差分法模拟模型的斑图结构。结果表明,当扩散存在时互惠–寄生耦合系统具有黑眼(点状)斑图结构,寄生物在空间呈现孤立的高密度分布。 In this paper, we establish mutualistic-parasitic coupled spatial model incorporating diffusion, and study the dynamical behaviors of this spatial model. By spatial pattern theory, we obtain the conditions for Hopf bifurcation and Turing bifurcation, and give the exact parameter space for Turing domain. By utilizing difference approximation method, we find that the spatial model ex-hibits black eye spotted pattern, which shows that the diffusion can result in an isolated high den-sity of parasite in the space.
高磊
宝鸡文理学院,数学与信息科学学院,陕西 宝鸡
收稿日期:2017年10月3日;录用日期:2017年10月17日;发布日期:2017年10月24日
本文将扩散因子引入互惠–寄生耦合系统,建立互惠–寄生耦合空间模型,研究其斑图动力学性态。利用斑图理论,给出耦合系统产生Hopf分支和Turing分支的临界表达式,并由此确定出图灵斑图出现的参数区域,运用有限差分法模拟模型的斑图结构。结果表明,当扩散存在时互惠–寄生耦合系统具有黑眼(点状)斑图结构,寄生物在空间呈现孤立的高密度分布。
关键词 :互惠,寄生,分支,空间斑图,扩散
Copyright © 2017 by author and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
寄生物与宿主协同进化的研究,不仅在种群生态学领域受到广泛关注,而且对农作物培育、畜牧养殖、致病细胞的过度复制等领域的预测研究有重要启示 [
首先给出互惠–寄生耦合模型 [
{ d H d t = H [ r 1 − α 1 H + ( μ − P H ) β P ] ≡ F ( H , P ) d P d t = P ( r 2 − α 2 P H ) ≡ G ( H , P ) (1)
其中 H ( t ) , P ( t ) 分别表示宿主与寄生物的种群密度, μ 表示寄生物对宿主的固有促进水平,当系统内寄生物与宿主的数量之比不超过 μ 时,寄生物对宿主具有促进作用;当该数量之比超过 μ 时,寄生物对宿主具有抑制作用;其它参数的含义见表1。
注:这里的寄生物的固有增长率 r 2 是指其不受密度制约情况下的增长率,以上各个系数均为正实数。
由Fick法则我们假定个体的扩散是随机的,这导致如下的表达:
∂ H ∂ t = d 1 ∇ 2 H , ∂ P ∂ t = d 2 ∇ 2 P ,
其中 ∇ 2 = ∂ 2 ∂ x 2 + ∂ 2 ∂ y 2 是二维空间的Laplacian算子, d 1 , d 2 分别表示扩散系数,结合模型(1),可得如下空间模型:
符号 | 含义 |
---|---|
r 1 , r 2 | 分别表示宿主种群和寄生物种群的固有增长率 |
β | 寄生物对宿主的影响程度 |
μ | 表示系统内寄生物对宿主的固有促进水平 |
α 1 | 宿主的密度制约系数 |
α 2 | 寄生物的密度制约系数 |
表1. 模型1中的符号及含义
{ ∂ H ∂ t = F ( H , P ) + d 1 ∇ 2 H ∂ P ∂ t = G ( H , P ) + d 2 ∇ 2 P (2)
其中 F ( H , P ) = H [ r 1 − α 1 H + ( μ − P H ) β P ] , G ( H , P ) = P ( r 2 − α 2 P H ) 。从生物意义上考虑,假设这里的所有系数都是正的。
设模型(1)存在唯一的均匀定态解 ( H * , P * ) ,即 H * 与 P * 满足
{ F ( H * , P * ) = 0 G ( H * , P * ) = 0 .
对均匀态解 ( H * , P * ) 作一个微扰,令 H = H * + h , P = P * + p ,代入方程(2),经泰勒级数展开并去掉高阶项,可得线性微扰方程
{ ∂ h ∂ t = a 11 h + a 12 p + d 1 ∇ 2 h ∂ p ∂ t = a 21 h + a 22 p + d 2 ∇ 2 p (3)
其中
a 11 = ∂ F ∂ H | ( H * , P * ) = ( β ( r 2 / α 2 ) 2 − α 1 ) ⋅ r 1 α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ,
a 12 = ∂ F ∂ P | ( H * , P * ) = ( μ − 2 r 2 / α 2 ) ⋅ β ⋅ r 1 α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ,
a 21 = ∂ G ∂ H | ( H * , P * ) = r 2 2 / α 2 , a 22 = ∂ G ∂ P | ( H * , P * ) = − r 2 .
将微扰变量在傅里叶空间展开,令
( h p ) = ∑ κ ( c κ 1 c κ 2 ) e λ κ t + i κ h (4)
代入微扰方程(3)得特征方程
λ κ ( c κ 1 c κ 2 ) = ( a 11 − κ 2 d 1 a 12 a 21 a 22 − κ 2 d 2 ) ( c κ 1 c κ 2 ) (5)
解特征方程(5)得如下色散关系:
λ κ 2 − t r κ λ κ + Δ κ = 0
其中
t r κ = a 11 + a 22 − κ 2 ( d 1 + d 2 ) = t r 0 − κ 2 ( d 1 + d 2 )
Δ κ = a 11 a 22 − a 21 a 12 − κ 2 ( a 11 d 2 + a 22 d 1 ) + κ 4 d 1 d 2 = Δ 0 − κ 2 ( a 11 d 2 + a 22 d 1 ) + κ 4 d 1 d 2 ,
解色散关系得
λ κ = t r κ ± t r κ 2 − 4 Δ κ 2 .
由斑图动力学理论及(4)知,当所有的特征值 λ κ 的实部都小于0时,微扰随时间衰变为0,因而系统是稳定的。而当系统有一个特征值 λ κ > 0 时,微扰变量将随时间不断增加,系统的均匀定态解 ( H * , P * ) 失稳。如果该反应扩散系统是有界的,由于系统的唯一均匀定态解失稳,它一定会向某种时空非均匀态转化,而这种转化必然伴随着系数的某种时空对称性破缺 [
下面,类似文献 [
1) 在跨临界分支中,非扩散模型的一个特征值消失。因此,解 λ 1 ⋅ λ 2 = Δ κ = 0 , κ = 0 ,可得跨临界分支参数 μ 的临界值表达式:
μ = α 1 α 2 / ( r 2 β ) + r 2 / α 2 .
由于参数 μ 的取值范围为 0 ≤ μ < α 1 α 2 / ( r 2 β ) + r 2 / α 2 ,故系统(3)不会出现跨临界分支。
2) Hopf分支不稳定的出现对应于下面情况:对于非扩散模型来说,当根从负到正跨越实轴时产生了一对纯虚根。从数学角度看,当满足下列条件:
I m ( λ κ ) ≠ 0 , R e ( λ κ ) = 0 .
在 κ = 0 系统产生了Hopf分支,即
t r 0 = a 11 + a 22 = 0 ,
( β ( r 2 / α 2 ) 2 − α 1 ) ⋅ r 1 / ( α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ) − r 2 = 0 .
方程两边同时乘以 α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 得
r 1 ( β ( r 2 / α 2 ) 2 − α 1 ) − r 2 ( α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ) = 0 ,
r 1 ( β ( r 2 / α 2 ) 2 − α 1 ) − r 2 ( α 1 + β ⋅ ( r 2 / α 2 ) 2 ) + ( r 2 ⋅ β ⋅ r 2 / α 2 ) μ = 0 ,
即可得Holf分支参数 μ 的临界值表达式:
μ = r 1 / r 2 ⋅ α 1 α 2 / ( r 2 β ) + α 1 α 2 / ( r 2 β ) + r 2 / α 2 − r 1 / α 2 .
3) 令
B ( κ 2 ) = ( a 11 − κ 2 d 1 a 12 a 21 a 22 − κ 2 d 2 ) ,
则 det ( B ( κ 2 ) ) 是关于 κ 2 的二次多项式,它在某些 κ 2 值处取得极小值。首先假设非扩散模型在平衡点处是稳定的(特别的 det ( B ( 0 ) ) > 0 ),且图灵不稳定的发生需满足下面两个条件:(a) κ 2 > 0 (如果这个条件不成立,对于所有的 κ 2 = 0 ,由 det ( B ( 0 ) ) > 0 可推出 det ( B ( κ 2 ) ) > 0 )是图灵不稳定的必要条件;(b) 图灵不稳定的充分条件是 det ( B ( κ 2 ) ) < 0 ,线性分析给出了图灵斑图产生的条件如下:
t r 0 = a 11 + a 22 < 0 , Δ 0 = a 11 a 22 − a 21 a 12 > 0 ,
a 11 d 2 + a 22 d 1 > 0 , ( a 11 d 2 + a 22 d 1 ) 2 > 4 d 2 d 1 ( a 11 a 22 − a 21 a 12 ) ;
图灵分支产生的条件如下:
I m ( λ κ ) = 0 , R e ( λ κ ) = 0 , κ = κ T ≠ 0 ,
且波数 κ T 满足
κ T 2 = a 11 a 22 − a 21 a 12 d 1 d 2 .
由 λ κ T = t r κ T ± t r κ T 2 − 4 Δ κ T 2 得
{ t r κ T = 0 t r κ T 2 − 4 Δ κ T = 0
其中,
t r κ = a 11 + a 22 − κ T 2 ( d 1 + d 2 ) ,
Δ κ = a 11 a 22 − a 21 a 12 − κ T 2 ( a 11 d 2 + a 22 d 1 ) + κ T 4 d 1 d 2 ,
即
{ a 11 + a 22 − κ T 2 ( d 1 + d 2 ) = 0 a 11 a 22 − a 21 a 12 − κ T 2 ( a 11 d 2 + a 22 d 1 ) + κ T 4 d 1 d 2 = 0 ,
整理得
{ a 11 + a 22 − κ T 2 ( d 1 + d 2 ) = 0 ( 6 ) 2 ( a 11 a 22 − a 21 a 12 ) − κ T 2 ( a 11 d 2 + a 22 d 1 ) = 0 ( 7 )
由 ( 7 ) × ( d 1 + d 2 ) − ( 6 ) × ( a 11 d 2 + a 22 d 1 ) 得
2 ( a 11 a 22 − a 21 a 12 ) ( d 1 + d 2 ) − ( a 11 + a 22 ) ( a 11 d 2 + a 22 d 1 ) = 0 ,
整理
( a 11 − a 22 ) ( a 22 d 1 − a 11 d 2 ) − 2 a 12 a 21 ( d 1 + d 2 ) = 0 ,
即
( ( β ( r 2 / α 2 ) 2 − α 1 ) ⋅ r 1 α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 + r 2 ) ( − r 2 ⋅ d 1 − ( β ( r 2 / α 2 ) 2 − α 1 ) ⋅ r 1 α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ⋅ d 2 ) − 2 ( μ − 2 r 2 / α 2 ) ⋅ β ⋅ r 1 α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ⋅ r 2 2 / α 2 ⋅ ( d 1 + d 2 ) = 0 ,
整理得
( β ( r 2 / α 2 ) 2 − α 1 ) ⋅ r 2 d 1 + ( β ( r 2 / α 2 ) 2 − α 1 ) 2 ⋅ r 1 / ( α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ) ⋅ d 2 + r 2 2 ⋅ d 1 ( α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ) / r 1 + ( β ( r 2 / α 2 ) 2 − α 1 ) ⋅ r 2 d 2 + 2 β ( μ − 2 r 2 / α 2 ) ⋅ r 2 2 / α 2 ( d 1 + d 2 ) = 0 ,
两边同时乘以 ( α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ) / ( r 2 d 2 ) 得
( β ( r 2 / α 2 ) 2 − α 1 ) ⋅ ( α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ) ⋅ d 1 / d 2 + ( β ( r 2 / α 2 ) 2 − α 1 ) 2 ⋅ r 1 / r 2 + r 2 / r 1 ⋅ d 1 / d 2 ⋅ ( α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ) 2 + ( β ( r 2 / α 2 ) 2 − α 1 ) ⋅ ( α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ) + 2 β ( μ − 2 r 2 / α 2 ) ⋅ r 2 / α 2 ⋅ ( 1 + d 1 / d 2 ) ( α 1 − ( μ − r 2 / α 2 ) β ⋅ r 2 / α 2 ) = 0
令
A = β ⋅ ( r 2 / α 2 ) 2 − α 1 , D = d 1 / d 2 , r = r 1 / r 2 ,
上式可变为
( 1 + D ) α 1 − μ β r 2 / α 2 ⋅ ( 1 + D ) + β ( r 2 / α 2 ) 2 ( 1 + D ) + A r + D / r ⋅ ( α 1 2 − 2 α 1 ( μ − r 2 / α 2 ) β r 2 / α 2 + ( μ − r 2 / α 2 ) 2 β 2 ( r 2 / α 2 ) 2 ) + 2 μ β r 2 / α 2 ⋅ ( ( 1 + D ) / A ) ( α 1 − ( μ − r 2 / α 2 ) β r 2 / α 2 ) − 4 β ( r 2 / α 2 ) 2 ( ( 1 + D ) / A ) ( α 1 − ( μ − r 2 / α 2 ) β r 2 / α 2 ) = 0 .
进一步,令
a = β 2 ⋅ ( r 2 / α 2 ) 2 ⋅ ( D / r − 2 ( 1 + D ) / A ) ,
b = − β ( r 2 / α 2 ) ⋅ ( 1 + D ) + 2 α 1 β ⋅ r 2 / α 2 ⋅ ( ( 1 + D ) / A − D / r ) + 2 β 2 ( r 2 / α 2 ) 3 ⋅ ( 3 ( 1 + D ) / A − D / r ) , c = ( 1 + D ) ⋅ ( α 1 + β ( r 2 / α 2 ) 2 ) + A r + D / r ⋅ ( ( α 1 + β ( r 2 / α 2 ) 2 ) ) 2 + 4 β ( r 2 / α 2 ) 2 ⋅ ( 1 + D ) .
整理得
a μ 2 + b μ + c = 0 ,
由此得图灵分支参数 μ 的临界表达式为
μ = − b ± b 2 − 4 a c 2 a .
根据 μ 的取值范围,上述两个值里面取正,且要保证 b 2 − 4 a c ≥ 0 。
下面我们将利用以上Hopf分支和Turing分支的临界表达式,确定出图灵斑图出现的区域,即Turing区域。由区域图可以清晰的看出系统的稳定与失稳区域。
在图1中,红线和黑线分别表Hopf和Turing分支线,参数空间中区域I表示稳定区域;区域II表示Hopf没有失稳,Turing失稳区域,即Turing区域;区域III表示Hopf和Turing同时失稳区域。参数取为 r 1 = 1 , r 2 = 0.5 , α 1 = 0.9 , α 2 = 0.4 , d 1 = 0.1 , d 2 = 1.2 。
一个具体的系统将会出现哪种斑图结构是斑图选择的问题,它基于比较难的非线性分析理论,故使用分析法或一般方法对空间模型的动力学性态进行研究是比较困难的。而借助于计算机进行数值模拟是解决该问题的一个有效方法。用计算机求解一个复杂的方程组,事实上就是将连续问题转化为离散问题。二维空间中定义的连续反应扩散系统的求解问题可以转变为由 m × n 格子组成的离散区域问题来进行求解。每两个格子间的空间距离定义为步长 Δ h 。在离散系统中,描述扩散的拉普拉斯算子 ∇ 2 = ∂ 2 / ∂ x 2 + ∂ 2 / ∂ y 2 用有限差分法进行离散,即导数是 Δ h 上的差分逼近,当 Δ h → 0 时,差分与求导近似相等。同样时间演化也离散化,时间步长为 Δ t ,可以用Euler法解决,下一个时间步长的状态依赖于前一个时间步长。
下面我们首先给出空间模型离散化后的差分格式,并进行数值模拟。模拟过程中采用零流边界条件(Neumann边界条件),离散区域为 120 × 120 个格子。此外,对于空间模型的数值模拟还依赖于下面两个初值条件:一种是种群密度随机分布,另一种是种群在水平空间呈不同的密度分布,而在垂直空间呈同一密度分布。在这里,我们选择第一种情况,种群密度随机分布。首先利用有限差分法给出模型(3)的差分格式:
{ H k + 1 ( i , j ) = H k ( i , j ) + Δ t ⋅ F 1 ( H , P ) + Δ t ⋅ d 1 ( Δ h ) 2 [ H k ( i + 1 , j ) + H k ( i − 1 , j ) + H k ( i , j + 1 ) + H k ( i , j − 1 ) − 4 H k ( i , j ) ] P k + 1 ( i , j ) = P k ( i , j ) + Δ t ⋅ F 2 ( H , P ) + Δ t ⋅ d 2 ( Δ h ) 2 [ P k ( i + 1 , j ) + P k ( i − 1 , j ) + P k ( i , j + 1 ) + P k ( i , j − 1 ) − 4 P k ( i , j ) ]
图1. 系统(3)的分支参数图
图2. 寄生物在空间分布的时间演化图
其中
F 1 ( H , P ) = H k ( i , j ) ⋅ [ r 1 − α 1 H k ( i , j ) + [ μ − P k ( i , j ) H k ( i , j ) ] β P k ( i , j ) ] . F 2 ( H , P ) = P k ( i , j ) ⋅ [ r 2 − α 2 P k ( i , j ) H k ( i , j ) ]
零流边界条件离散为:
H n ( x 0 , y j ) = H n ( x 1 , y j ) , H n ( x N + 1 , y j ) = H n ( x N , y j ) ,
H n ( x i , y 0 ) = H n ( x i , y 1 ) , H n ( x i , y N + 1 ) = H n ( x i , y N ) ,
P n ( x 0 , y j ) = P n ( x 1 , y j ) , P n ( x N + 1 , y j ) = P n ( x N , y j ) ,
P n ( x i , y 0 ) = P n ( x i , y 1 ) , P n ( x i , y N + 1 ) = P n ( x i , y N ) .
利用上述差分格式进行数值模拟,选取空间步长 Δ h = 1 ,时间步长 Δ t = 0.01 。由于寄生物与宿主的空间分布很类似,在这里我们只给出寄生物的空间斑图。各图表示寄生物种群在空间状态下的分布,图中各颜色表示寄生物种群的密度(数量),不同的空间位置种群的密度不同,即图中呈现出不同的颜色。
图2给出了在迭代0,1000,10,000,100,000次时寄生物的斑图的空间演化,从图中可以看出初始不规则的斑图最终演化为规则的黑眼点状斑图,且动力学性态不再发生任何改变。模拟过程初始条件为正平衡点的小扰动,参数选取为 r 1 = 1 ; r 2 = 0.5 ; α 1 = 0.9 ; α 2 = 0.4 ; β = 1 ; μ = 0.91 。
国家自然科学基金(31600299, 31560134);陕西省自然科学基础研究计划项目(2017JQ3020);陕西省高校科协青年人才托举基金(20160234);宝鸡文理学院重点项目(ZK2017021)。
高磊. 具有扩散项的互惠–寄生耦合模型图灵斑图研究Analysis of Spatial Pattern in Mutualistic-Parasitic Coupled System with Diffusion[J]. 应用数学进展, 2017, 06(07): 841-849. http://dx.doi.org/10.12677/AAM.2017.67101