通过构建三链耦合映像格子模型,研究了Holling-II型时空离散反应自扩散–交叉扩散捕食系统的时空动力学。在分析并确定该时空离散捕食系统的均匀稳定状态后,对其进行图灵失稳分析,计算出了图灵失稳条件。在图灵失稳基础上进行的数值模拟,展现了空间密度分布斑图的自组织过程,发现捕食者与被捕食者空间密度斑图总会由无规律的随机分布演化出块状、圆盘状以及螺旋波状斑图。 The spatiotemporal dynamics of Holling-II spatiotemporal discrete-time reactive self-diffusion and cross-diffusion predator-prey system was studied by constructing a three-chain coupled map lattice model. After analyzing and determining the homogeneous stable state of the spatio-temporal discrete predator-prey system, the Turing instability was analyzed and the Turing instability conditions were calculated. The numerical simulation on the basis of Turing instability showed the self-organizing process of spatial density distribution patterns, and it was found that the spatial density patterns of predator and prey always evolved into block, disk and spiral wave patterns from random distributions.
刘钊,何函芮,黄头生*
华北电力大学工程生态学与非线性科学研究中心,北京
Email: 15540959555@163.com, *50902253@ncepu.edu.cn
收稿日期:2020年5月26日;录用日期:2020年6月10日;发布日期:2020年6月17日
通过构建三链耦合映像格子模型,研究了Holling-II型时空离散反应自扩散–交叉扩散捕食系统的时空动力学。在分析并确定该时空离散捕食系统的均匀稳定状态后,对其进行图灵失稳分析,计算出了图灵失稳条件。在图灵失稳基础上进行的数值模拟,展现了空间密度分布斑图的自组织过程,发现捕食者与被捕食者空间密度斑图总会由无规律的随机分布演化出块状、圆盘状以及螺旋波状斑图。
关键词 :捕食系统,稳定性,图灵失稳,自组织,斑图
Copyright © 2020 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
在捕食系统中,两个不同种群之间的互动方式为捕食,而捕食行为最主要的特征就是捕食者对被捕食者种群有直接的影响。在捕食系统中,捕食者捕捉被捕食者,同时被捕食者奋力地从捕食者的捕捉中逃脱。自Lotka和Volterra第一次对捕食系统进行研究以来,研究者们为了探讨捕食系统中的非线性行为,建立了许多动力学模型 [
在反应自扩散–交叉扩散捕食系统中,存在着种群的自扩散过程,交叉扩散过程以及种间反应过程。前人的研究表明,交叉扩散能够产生稳定的捕食者和被捕食者斑图 [
具有Holling-II型功能反应函数的捕食者–被捕食者模型可以表示如下
d U d T = β U ( 1 − U K ) − E M U V A + U (1a)
d V d T = V ( M U A + U − D ) (1b)
其中U,V分别表示被捕食者与捕食者密度;T 表示时间; β ,K ,E ,D ,M ,A 是正常数; β 为被捕食者的内禀增长率;K为被捕食者的环境容纳量;E为被捕食者的相对损失;D为捕食者的死亡率。
为方便起见,令 t = β T , u = U , v = E M V / β ,则方程(1)可表示为
d u d t = u ( 1 − u k ) − u v a + u (2a)
d v d t = v ( b u a + u − c ) (2b)
其中 a = A , k = K , b = M / β , c = D / β 。
反应扩散系统的研究表明,生物种群的空间扩散除了包含自扩散外,同时还可能受到其他生物种群空间运动的影响,即还存在交叉扩散 [
∂ u ∂ t − Δ ( d 1 u + ρ 12 u v ) = u ( 1 − u k ) − u v a + u (3a)
∂ v ∂ t − Δ ( d 2 v + ρ 21 u v ) = v ( b u a + u − c ) (3b)
∂ u ∂ t = ∂ v ∂ t = 0 (3c)
u ( x , 0 ) = u 0 ( x ) , v ( x , 0 ) = v 0 ( x ) (3d)
其中d1,d2分别表示被捕食者与捕食者的自扩散系数;式(3c)表示捕食者与被捕食者在边界处的通量为0;非负常数ρ12 和ρ21 是交叉扩散常数,ρ12表示被捕食者远离捕食者的趋势,而ρ21表示捕食者远离庞大的被捕食者群体的趋势。在连续反应自扩散–交叉扩散模型中,交叉扩散会破坏均衡,产生不稳定性,当随机的自扩散不能产生稳定斑图时,交叉扩散可以产生稳定斑图。
上述反应自扩散-交叉扩散捕食系统是时空连续的,根据前人研究 [
u ′ ( i , j , t ) = u ( i , j , t ) + τ h 2 d 1 ∇ d 2 u ( i , j , t ) (4a)
v ′ ( i , j , t ) = v ( i , j , t ) + τ h 2 d 2 ∇ d 2 v ( i , j , t ) (4b)
τ表示时间步长,h 表示空间步长, ∇ d 2 为离散拉普拉斯算子,且
∇ d 2 x ( i , j , t ) = x ( i + 1 , j , t ) + x ( i − 1 , j , t ) + x ( i , j + 1 , t ) + x ( i , j − 1 , t ) − 4 x ( i , j , t ) (5)
其中x表示任意具备空间扩散的变量。
其次考虑捕食系统中两个种群的交叉扩散过程,对(3)的交叉扩散空间项进行时空离散,并令w = uv,得到
u ″ ( i , j , t ) = u ′ ( i , j , t ) + τ h 2 ρ 12 ∇ d 2 w ′ ( i , j , t ) (6a)
v ″ ( i , j , t ) = v ′ ( i , j , t ) + τ h 2 ρ 21 ∇ d 2 w ′ ( i , j , t ) (6b)
最后考虑捕食系统的反应阶段,对(3)中的非空间项进行时空离散,则反应阶段可表示为
u ( i , j , t + 1 ) = u ″ ( i , j , t ) + τ u ″ ( i , j , t ) ( 1 − u ″ ( i , j , t ) k ) − τ u ″ ( i , j , t ) v ″ ( i , j , t ) a + u ″ ( i , j , t ) (7a)
v ( i , j , t + 1 ) = v ″ ( i , j , t ) + τ v ″ ( i , j , t ) ( b u ″ ( i , j , t ) a + u ″ ( i , j , t ) − c ) (7b)
通过对此三链耦合映像格子模型进行分析,推导出在强交叉扩散影响下的捕食系统斑图形成条件,并进行相应的数值模拟。
除了一些众所周知的英文缩写,如IP、CPU、FDA,所有的英文缩写在文中第一次出现时都应该给出其全称。文章标题中尽量避免使用生僻的英文缩写。
捕食系统的动力学分为空间同质性动态和空间异质性动态,其中空间同质性动态要求
∇ d 2 u ( i , j , t ) ≡ 0 , ∇ d 2 v ( i , j , t ) ≡ 0 , ∇ d 2 w ( i , j , t ) ≡ 0 (8)
将式(8)代入式(4)~(7),得到捕食系统的差分方程,写成映射形式,则可表示为
( u v ) = ( u + τ u ( 1 − u k ) − τ u v a + u v + τ v ( b u a + u − c ) ) (9)
根据不动点的定义求解映射(9),可得到反应自扩散–交叉扩散捕食系统的三个不动点 ( u 0 , v 0 ) : ( 0 , 0 ) ; ( u 1 , v 1 ) : ( k , 0 ) ; ( u 2 , v 2 ) : ( a c b − c , 1 k ( a + a c b − c ) ( k − a c b − c ) ) 。 ( u 0 , v 0 ) 表示被捕食者和捕食者都灭绝的情况; ( u 1 , v 1 ) 表示捕食者灭绝,而被捕食者达到最大环境容纳量的情况; ( u 2 , v 2 ) 代表捕食者和被捕食者的共存态。
不动点的稳定性可由映射(9)的Jacobian矩阵确定,其在任意点 ( u , v ) 的Jacobian矩阵为
J ( u , v ) = ( 1 + τ ( 1 − 2 u k − a v ( a + u ) 2 ) − τ u a + u τ a b v ( a + u ) 2 1 + τ ( b u a + u − c ) ) (10)
由于捕食者和被捕食者都灭绝的情况对于捕食系统来说没有现实的生态学意义,所以本文不考虑不动点 ( u 0 , v 0 ) 的稳定性。现在将不动点 ( u 1 , v 1 ) 与 ( u 2 , v 2 ) 分别代入Jacobian矩阵(10),并计算其特征值。Nayfeh等的研究表明 [
J ( u 1 , v 1 ) = ( 1 − τ − τ k a + k 0 1 + τ ( b k a + k − c ) ) (11)
通过计算可得,矩阵 J ( u 1 , v 1 ) 的两个特征值为 λ 1 = 1 − τ 和 λ 2 = 1 + τ ( b k a + k − c ) 。可知当 b > c ( k + a ) k 时, λ 2 > 1 ,即不动点 ( u 1 , v 1 ) 是不稳定的。
对于不动点 ( u 2 , v 2 ) ,为方便起见,令 u * = a c b − c ,则不动点 ( u 2 , v 2 ) 的Jacobian矩阵为
J ( u 2 , v 2 ) = ( 1 + τ k ( k − 2 u * − a ( k − u * ) a + u * ) − τ u * a + u * τ a b ( k − u * ) k ( a + u * ) 1 + τ ( b u * a + u * − c ) ) (12)
通过计算可得,矩阵 J ( u 2 , v 2 ) 的两个特征值为 λ 1 , 2 = p ± p 2 − 4 q 2 ,其中 p = tr ( J ( u 2 , v 2 ) ) ,
q = det ( J ( u 2 , v 2 ) ) 。通过计算 | λ 1 , 2 | < 1 可得到不动点 ( u 2 , v 2 ) 稳定的条件为 − 1 − q < p < 1 + q 和 q < 1 。
在没有空间种群运动时,捕食系统处于空间均匀稳定状态。然而在三链CML中,自扩散和交叉扩散的组合效应可能会破坏这种稳定状态,触发图灵不稳定性,导致捕食系统发生空间斑图自组织。为了进行图灵失稳分析,引入空间非均匀扰动在均匀稳定状态 ( u 2 , v 2 ) 对捕食系统进行线性化。设
u ( i , j , t ) = u 2 + u ˜ ( i , j , t ) , v ( i , j , t ) = v 2 + v ˜ ( i , j , t ) (13)
当 u ˜ ( i , j , t ) ≪ u 2 , v ˜ ( i , j , t ) ≪ v 2 时,将式(13)直接代入CML方程,得
( u ˜ ( i , j , t + 1 ) v ˜ ( i , j , t + 1 ) ) = J ( u 2 , v 2 ) ( u ˜ ( i , j , t ) + τ h 2 d 1 ∇ d 2 u ˜ ( i , j , t ) + τ h 2 ρ 12 ( c 1 ∇ d 2 u ˜ ( i , j , t ) + c 2 ∇ d 2 v ˜ ( i , j , t ) ) + τ 2 h 4 ρ 12 ( c 1 d 1 ∇ d 2 ∇ d 2 u ˜ ( i , j , t ) + c 2 d 2 ∇ d 2 ∇ d 2 v ˜ ( i , j , t ) ) v ˜ ( i , j , t ) + τ h 2 d 2 ∇ d 2 v ˜ ( i , j , t ) + τ h 2 ρ 21 ( c 1 ∇ d 2 u ˜ ( i , j , t ) + c 2 ∇ d 2 v ˜ ( i , j , t ) ) + τ 2 h 4 ρ 21 ( c 1 d 1 ∇ d 2 ∇ d 2 u ˜ ( i , j , t ) + c 2 d 2 ∇ d 2 ∇ d 2 v ˜ ( i , j , t ) ) ) (14)
其中, c 1 = ∂ w ′ ∂ u | ( u 2 , v 2 ) , c 2 = ∂ w ′ ∂ v | ( u 2 , v 2 ) 。根据文献中描述的方法 [
λ 1 i j ¯ = 4 ( sin 2 ( i ¯ − 1 ) π n + sin 2 ( j ¯ − 1 ) π n ) (15a)
λ 2 i j ¯ = 16 ( sin 4 ( i ¯ − 1 ) π n + sin 2 ( i ¯ − 1 ) π n sin 2 ( j ¯ − 1 ) π n ) (15b)
其中 i ¯ 和 j ¯ 代表波数。
假设 X i ¯ j ¯ i j 是特征值 λ i j ¯ 所对应的特征函数,则用 X i ¯ j ¯ i j 分别乘式(14)的两端,再对所有的i和j求和得到
∑ X i ¯ j ¯ i j u ˜ ( i , j , t + 1 ) = a 11 ∑ X i ¯ j ¯ i j u ˜ ( i , j , t ) + a 12 ∑ X i ¯ j ¯ i j v ˜ ( i , j , t ) + a 11 τ h 2 ( d 1 ∑ X i ¯ j ¯ i j ∇ d 2 u ˜ ( i , j , t ) + ρ 12 ( c 1 ∑ X i ¯ j ¯ i j ∇ d 2 u ˜ ( i , j , t ) + c 2 ∑ X i ¯ j ¯ i j ∇ d 2 v ˜ ( i , j , t ) ) ) + a 12 τ h 2 ( d 2 ∑ X i ¯ j ¯ i j ∇ d 2 v ˜ ( i , j , t ) + ρ 21 ( c 1 ∑ X i ¯ j ¯ i j ∇ d 2 u ˜ ( i , j , t ) + c 2 ∑ X i ¯ j ¯ i j ∇ d 2 v ˜ ( i , j , t ) ) ) + a 11 τ 2 h 4 ρ 12 ( c 1 d 1 ∑ X i ¯ j ¯ i j ∇ d 2 ∇ d 2 u ˜ ( i , j , t ) + c 2 d 2 ∑ X i ¯ j ¯ i j ∇ d 2 ∇ d 2 v ˜ ( i , j , t ) ) + a 12 τ 2 h 4 ρ 21 ( c 1 d 1 ∑ X i ¯ j ¯ i j ∇ d 2 ∇ d 2 u ˜ ( i , j , t ) + c 2 d 2 ∑ X i ¯ j ¯ i j ∇ d 2 ∇ d 2 v ˜ ( i , j , t ) ) (16a)
∑ X i ¯ j ¯ i j v ˜ ( i , j , t + 1 ) = a 21 ∑ X i ¯ j ¯ i j u ˜ ( i , j , t ) + a 22 ∑ X i ¯ j ¯ i j v ˜ ( i , j , t ) + a 21 τ h 2 ( d 1 ∑ X i ¯ j ¯ i j ∇ d 2 u ˜ ( i , j , t ) + ρ 12 ( c 1 ∑ X i ¯ j ¯ i j ∇ d 2 u ˜ ( i , j , t ) + c 2 ∑ X i ¯ j ¯ i j ∇ d 2 v ˜ ( i , j , t ) ) ) + a 22 τ h 2 ( d 2 ∑ X i ¯ j ¯ i j ∇ d 2 v ˜ ( i , j , t ) + ρ 21 ( c 1 ∑ X i ¯ j ¯ i j ∇ d 2 u ˜ ( i , j , t ) + c 2 ∑ X i ¯ j ¯ i j ∇ d 2 v ˜ ( i , j , t ) ) ) + a 21 τ 2 h 4 ρ 12 ( c 1 d 1 ∑ X i ¯ j ¯ i j ∇ d 2 ∇ d 2 u ˜ ( i , j , t ) + c 2 d 2 ∑ X i ¯ j ¯ i j ∇ d 2 ∇ d 2 v ˜ ( i , j , t ) ) + a 22 τ 2 h 4 ρ 21 ( c 1 d 1 ∑ X i ¯ j ¯ i j ∇ d 2 ∇ d 2 u ˜ ( i , j , t ) + c 2 d 2 ∑ X i ¯ j ¯ i j ∇ d 2 ∇ d 2 v ˜ ( i , j , t ) ) (16b)
其中a11,a12,a21,a22是矩阵 J ( u 2 , v 2 ) 的元素。令
u ¯ t = ∑ X i ¯ j ¯ i j u ˜ ( i , j , t ) , v ¯ t = ∑ X i ¯ j ¯ i j v ˜ ( i , j , t ) (17)
则有
( u ¯ t + 1 v ¯ t + 1 ) = ( A 11 A 12 A 21 A 22 ) ( u ¯ t v ¯ t ) (18)
其中
A 11 = a 11 − τ h 2 λ 1 i j ¯ ( a 11 d 1 + a 11 ρ 12 c 1 + a 12 ρ 21 c 1 ) − τ 2 h 4 λ 2 i j ¯ c 1 d 1 ( a 11 ρ 12 + a 12 ρ 21 ) (19a)
A 12 = a 12 − τ h 2 λ 1 i j ¯ ( a 12 d 2 + a 11 ρ 12 c 2 + a 12 ρ 21 c 2 ) − τ 2 h 4 λ 2 i j ¯ c 2 d 2 ( a 11 ρ 12 + a 12 ρ 21 ) (19b)
A 21 = a 21 − τ h 2 λ 1 i j ¯ ( a 21 d 1 + a 21 ρ 12 c 1 + a 22 ρ 21 c 1 ) − τ 2 h 4 λ 2 i j ¯ c 1 d 1 ( a 21 ρ 12 + a 22 ρ 21 ) (19c)
A 22 = a 22 − τ h 2 λ 1 i j ¯ ( a 22 d 2 + a 21 ρ 12 c 2 + a 22 ρ 21 c 2 ) − τ 2 h 4 λ 2 i j ¯ c 2 d 2 ( a 21 ρ 12 + a 22 ρ 21 ) (19d)
计算(18)的两个特征值,可得到
λ ¯ ± = 1 2 ( ( A 11 + A 22 ) ± ( A 11 − A 22 ) 2 + 4 A 12 A 21 ) (20)
由于(18)描述了所有位置空间异质扰动下捕食系统的动力学方程,所以,若(18)收敛,那么捕食系统将回到空间均匀的稳定共存状态;而当(18)发散时,则捕食系统的稳定状态将会被打破,发生图灵失稳,导致图灵斑图的自组织,形成图灵斑图。(18)的发散条件为 | λ ¯ + | > 1 或者 | λ ¯ − | > 1 ,也即至少存在一组满足 | λ i j ¯ | ≠ 0 的 i ¯ 和 j ¯ 使得
L = max i ¯ , j ¯ ( λ ¯ + , λ ¯ − ) > 1 (21)
当条件(21)满足时,出现图灵失稳,捕食系统形成空间异质性斑图。
根据以上理论结果,本节通过数值模拟呈现在强交叉扩散影响下的捕食系统空间密度分布斑图的形成。由于捕食者和被捕食者斑图空间结构的互补性,故只展现被捕食者的斑图。选取以下一组参数值进行数值模拟,a = 0.1,b = 0.5,c = 0.3,K = 2,d1 = 0.1,d2 = 0.2,ρ12 = 0.02,ρ21 = 0.01,τ = 0.01,h = 1,得到图1中的捕食者块状斑图形成。可以发现,当t = 100 时,空间斑图仍呈随机分布;从t = 800开始,被捕食者空间斑图开始出现密度较大的区域,捕食者在一定区域内密度也会增加;当t = 5000时,这一趋势变得更加明显,被捕食者密度区域面积分布更广,斑点面积增大;当 t = 8000 时,被捕食者种群密度进一步增大,占据大部分空间;当 t = 10000 时,由于被捕食者种群内部竞争以及捕食等原因,被捕食者高密度区域减少至块状斑图状态。
图1. 块状斑图随时间的演变图像
图2. 圆盘状斑图随时间的演变图像
选取参数a = 7,b = 10,c = 8,K = 41,d1 = 2,d2 = 2,ρ12 = 0.7,ρ21 = 0.9,τ = 1,h = 21,模拟得到图2的圆盘状斑图。当t = 100时,被捕食者的空间密度分布斑图呈斑点状;当t = 500~1000时,被捕食者种群开始聚集,高密度区域面积增大;当t = 5000~10000时,斑图呈圆盘分布,高密度区域集中在中央位置。
图3. 螺旋波状斑图随时间的演变图像
当参数条件选择为a = 4,b = 8,c = 6,K = 19,d1 = 1,d2 = 1,ρ12 = 0.8,ρ21 = 0.7,τ = 1,h = 10,捕食系统呈现图3所示的螺旋波状斑图。从随机斑图出发,被捕食者斑图逐渐发展成不规则的块状和条状。当t > 2000时,被捕食者的空间密度分布斑图开始具有规律性,出现螺旋状和圆弧状。当t > 8000时,捕食系统稳定地呈现螺旋波状斑图。
刘 钊,何函芮,黄头生. 一类自扩散–交叉扩散离散捕食系统的斑图形成The Pattern Formation of a Certain Kind of the Self- and Cross-Diffusion Discrete Predator-Prey System[J]. 应用数学进展, 2020, 09(06): 862-870. https://doi.org/10.12677/AAM.2020.96103