1. 引言
图灵斑图是一类重要的时空斑图 [1]。近几年,在《Science》《Nature》等顶级期刊上均有对图灵斑图的相关研究 [2] [3] [4]。植被斑图是一类典型的时空图灵斑图,也是干旱半干旱地区的一种重要景观 [5] [6]。近几十年来,干旱、半干旱地区的植被斑图形成引起了理论生态学家的广泛兴趣。研究表明,植被斑图的形成主要是由植物与水资源之间反馈作用所导致 [7] [8] [9]。对植被斑图的研究,不仅可以揭示植被斑图形成的内在机制和获得其形成的主导因素,还可以为干旱与半干旱地区制定合理的植被恢复和保护策略提供科学依据 [10]。
反应扩散模型是研究植被斑图的主要形式。基于植物与水资源之间的反馈作用机制,研究者们建立了众多的时空动力学模型,主要包括Klausmeier模型 [11],Rierkerk模型 [12],Gilad模型 [13] 等。很多的研究基于这些模型及改进的模型做了大量的斑图形成的探索研究 [14] [15] [16]。在这些模型中,Klausmeier 模型作为一个经典模型起着重要的作用 [11]。1999年,Klausmeier应用反应对流扩散模型研究半干旱地区坡地上的植被斑图形成 [11]。Sherratt等 [17] 提出水在缓坡上不仅有对流过程,还应具有扩散过程,因此将水的扩散项引入Klausmeier模型。实际上,在缓坡上植被种子也会随径流流动 [18]。
本研究将基于引入交叉对流项的改进Klausmeier模型,研究其空间均匀定态解及线性渐近稳定性。并基于线性渐近稳定的定态解,进行图灵分岔分析,研究交叉对流项对斑图分岔点和斑图形成的影响。然后通过分岔图、数值模拟的验证理论分析的结果,揭示交叉对流系数的改变对斑图形成的影响。
2. 引入交叉对流项的改进Klausmeier模型
Klausmeier模型 [11] 是以植物生物量和水资源量作为状态变量的时空连续动力学模型,其表达式为:
(1)
其中,
表示植被的地上生物量,
表示水量。R表示植被对水分的吸收系数;J表示转换率;M表示死亡率;A表示年均降雨量;L表示蒸发损失率。Klausmeier模型基于对植物和水之间反馈作用机制基本特征的刻画,并借助图灵分岔机制,其数值模拟的结果与野外观测结果十分吻合。因此Klausmeier模型成功地揭示了干旱、半干旱地区坡地上带状植被斑图的自组织形成。
Sherratt [17] 提出水在缓坡上不仅有对流过程,还应具有扩散过程,因此将水的扩散项引入Klausmeier模型,其表达式可表示为:
(2)
其中,DW表示水在缓坡上的扩散系数。实际上,在缓坡上植被种子也会随径流流动 [18]。因此,本研究考虑将这个过程引入上述改进的Klausmeier模型,得到一个含交叉对流项的Klausmeier模型,其表达式可表示如下:
(3)
其中,AV表示植被随水流方向的对流系数。将其无量纲化 [11] 可表示为:
(4)
3. 空间均匀定态解及稳定性
考虑方程组(4)等于0时,得到的解为模型的空间均匀定态解。容易看出,空间均匀定态解的求解过程等价于相应时间模型的平衡点解。因此,可通过以下方程组来求解不动点:
(5)
解之得,当
时,系统存在以下三个平衡点:
(6a)
(6b)
(6c)
每个平衡点都表示该系统的一个空间均匀定态。其中
里
,为边界平衡点。
和
为内平衡点。平衡点的线性渐近稳定性(局部)可以由其雅可比矩阵的特征值来进行研究。模型的雅可比矩阵可表示为:
(7)
将内平衡点分别代入上述雅可比矩阵中,并求出对应的特征值。稳定不动点对应的矩阵特征值应满足特征值实部的最大值小于0。通过简单地分析可知平衡点
总是线性渐近稳定的,其对应的特征值分别为:
,
(8)
其中,
(9)
而平衡点
是线性渐近稳定的条件为
,其对应的特征值为:
,
(10)
其中,
(11)
4. 图灵分岔分析
图灵分岔分析将在总是线性渐近稳定的内平衡点
,即整个模型稳定的空间均匀定态解
处进行。对
进行空间非均匀的扰动:
(12a)
(12b)
其中
,
表示在t时刻空间斑块
上的扰动变量。将上式代入原方程组,并进行线性化得到:
(13)
令
,
(14)
代入上式可得:
(15)
其中,
(16)
此方程组的雅克比矩阵可写为:
(17)
可以看到,交叉扩散项的对系统动力学的影响,体现在它影响了雅可比矩阵的非对角线元素。计算此矩阵的两个特征值为:
(18)
其实部的最大值为:
(19)
其中,
(20a)
(20b)
(20c)
图灵分岔理论表明,当
等于0为系统的分岔点;当
大于0时,系统发生图灵分岔,即
(21)
5. 数值模拟
本部分进行数值模拟以展示交叉对流项对半干旱地区植被斑图分岔点及对斑图形成的影响。我们通过改变参数并分析色散图,发现交叉对流项影响了特征值的分岔点,从而影响了系统的斑图形成。参数a、m以及
的取值保持不变:
,
,
。
5.1. 交叉对流对分岔点的影响
假设在x和y方向的扰动是相等的。考虑交叉对流项存在和不存在两种情况,做图灵分岔的分岔图。由图1(a)可以看出,当没有交叉对流项
,即
时,
时,特征值实部的最大值
恒小于0,表明不能发生图灵分岔。而当
时,
的最大值等于0;这表明
为系统的图灵分岔点,当
时,系统发生图灵分岔。如
时,
明显有一部分是大于0的。
下面考虑
,
的情况。由图1(b)可以看出,
的增大可以使得
的最大值变大,从而使得系统发生图灵分岔。此时,图灵分岔的分岔点为
;当
时,系统发生图灵分岔。比较图1(a)中的红线和图1(b)中的红线可知,
的存在,使得系统发生图灵分岔所需的
减小了(从67.5减小为30)。
实际上,在x和y方向的扰动是不同的,特征值实部的最大值
的变化由图1(c)和图1(d)给出。从图中可以看出,即使考虑扰动的各向异性,
的最大值依然出现在
轴上(
)。这表明斑图的振幅将只会出现在平行于x的方向上;这意味着模拟将得到带状的植被斑图。注意,此时我们将
的方向设置为x方向。通过对比图1(c)和图1(d),可以看出
的变化稍稍增大了
的最大值。但这个变化不是特别明显,因此我们需要通过斑图形成的数值模拟来进一步研究和验证。
Figure 1. Variations of the maximum of real part of eigenvalues with perturbation number k in different cases of parameter values
图1. 特征值实部最大值在不同参数取值下随扰动模数k的变化曲线
5.2. 交叉对流对斑图形成的影响
数值模拟在100 × 100的方格上进行,初值设定为对空间均匀定态解进行非均匀随机扰动,同时采用周期性边界条件,通过有限差分法进行迭代模拟。同时,参数
固定取值为30。图2展示了植被从空间均匀定态解,经扰动后(图2(a)和图2(b)),逐渐退化形成带状植被斑图的过程;主要包括4个不同时刻的植被生物量的空间分布,即
,
,
和
。注意,对应图1(c)和图1(d),斑图中我们将竖直方向设置为x方向(坡向),将水平方向设置为y方向。
当
时,在
时,植被的斑块已经开始形成(图2(c))。到
时,小斑块间聚合形成较大的斑块,并有部分呈带状分布(图2(e))。当
时,带状的植被斑图清晰可见,并垂直于x方向(图2(g))。从整个过程可以看出,不同方格上的植被生物量的振幅逐渐变大。当
时,带状植被斑图按照类似的过程逐渐形成。
对比不同
形成带状植被斑图的过程,可以看出,在同样的时间长度下,较大的
使得植被生物量远离平衡点产生的振幅更大,这导致在
时,图2(g)的带状斑图的振幅很小,而图2(h)中的带状斑图振幅却很大,植被生物量的最小值甚至减少到0。在
时,想要得到类似于图2(h)的振幅,需要大约
。同时,对比两图也可以清晰地看到,较大的
形成了较窄的植被带。
Figure 2. Vegetation pattern formation with different av
图2. 不同av下的植被斑图形成
图3展示了在
坐标方格上(
的直线)的v和w的生物量的变化曲线。其中绿线代表v的值,而蓝线代表w的值。在图3(a)中,虚线代表
的值,实线代表
的值。在图3(a)中,虚线代表
的值,实线代表
的值。容易得出,图3(a)和图3(b)中虚线和实线均有时间差
。因此,带状植被带并不是静止的,而是沿着x方向移动,即坡的方向。同时可看出
时,植被带的移动速度有所降低。
Figure 3. Variations of v and w on lattice
(line
)
图3. 在
坐标方格上(
的直线)的v和w的变化曲线
6. 结论
考虑坡面水流对植被种子传播的影响,将交叉对流项引入Klausmeier模型;基于改进的模型,进行了图灵分岔分析和斑图形成的数值模拟。结果显示,交叉对流的存在,使得系统更容易发生图灵分岔。斑图形成的模拟结果显示,交叉对流的存在使得系统发生分岔远离平衡点的速度加快(相同时间长度后斑图中的振幅更大),产生的植被带更窄。从植被与水的切面图可以看出,斑图稳定后,交叉对流项使得植被带的移动速度减慢。