1. 引言
Brusselator模型是一个著名的模型 [1] [2],它通常是用来描述化学反应过程中化学元素变化的一类反应扩散方程组 [3]。其形式为:
(1)
其中:
和
是未知函数,
是扩散系数,
是拉普拉斯算子,
在光滑的边界
上的齐次Neumann边界条件,即
是已知的光滑函数。
许多方法被用来解决Brusselator模型。这些方法包括有限差分法 [4],Galerkin有限元法 [5],最佳均匀(BURA)有理近似 [6]。本文基于一种新的空间谱插值配点方法,研究了Brusselator系统的动力学行为,分析了该系统的稳定性 [7] [8]。数值模拟结果和理论吻合较好,仿真结果表明了该方法的有效性。
2. 空间谱插值配点方法的描述
在本文中,我们使用空间谱插值配点方法来解决Brusselator模型(1)。
从参考文献 [9] [10] 中,我们可以得到离散序列
的插值函数
可以写成:
(2)
其中
,
对于任何函数,都是这样的插值算子,
在区间
定义为
,插值空间为
。由此推导出n阶导数的简单表达式并不难
在
处的n阶导数的简单表达式并不难,为:
(3)
其中
被称为第n个谱微分矩阵 [9]。
这里我们考虑有限空间域
。我们定义
个等间距的网格点在区域
上,因此
其中
对于给定的有限自然数
。使用(2)则配点函数
和
关于函数
和
可以被写为:
(4)
其中
。因此,下列关系在搭配点
处成立:
(5)
注意的是
(6)
因此,公式(5)可以被写成一下矩阵形式:
(7)
其中
是N阶单位矩阵,
是矩阵的克罗内克积,相反地。二阶谱微分矩阵为:
(8)
结合等式(6)和等式(7),Equation (1)可以写成以下系统:
(9)
这里
利用Matlab中的ode45求解器求解系统(9),得到系统(1)的数值解。
3. 动力系统分析
在这一部分,我们给出了Brusselator模型的图灵分叉分析 [11]。如果不考虑扩散现象,即假设扩散系数为零时,则方程(1)就可以写为:
(10)
从动力学角度我们来分析系统(10)的解的性质 [12]。首先(10)只有唯一的平衡解
。其次,讨论这一平衡解的稳定性。为此考虑(10)的Jacobian矩阵:
其在平衡解
的Jacobian矩阵为:
(11)
显见矩阵(11)的迹
,判别式
。由于
,所以(11)的特征根同号,故:
1) 若
,即
,平衡解
是稳定的;
2) 若
,即
,平衡解
是发散的。
下面讨论(10)的分岔。固定
,让
变动。由
得到
。下面我们来证明
是(10)的Hopf分岔点 [13] [14] [15],设
为(11)的特征根,为此必须证明:(a) (11)在
点只有一对纯虚根。(b)
。事实上,(11)的特征根为
,由
及
知
。所以(a)成立。其次,由
可得
,所以
,故(b)也成立。综上所述,
为系统(10)的Hopf分岔点,且由于
时系统的平衡不稳定,所以由
变化到
系统在Hopf分岔点处得到稳定性 [14]。
4. 数值实验
在这一节中,我们给出了一些数值例子,以便更好地解释使用不同的初始条件和参数的上述分析结果。
例1 考虑以下形式的Brusselator模型 [3]:
(12)
这里
,
为常数,
为时间变量,
是空间变量,
是t与
的函数。其中
,固定一个初始条件,当u变化时模拟的结果见图1~10,具体初始条件见表1。
例2:考虑以下形式的Brusselator模型 [3]:
(13)
这里
,
为常数,
为时间变量,
是空间变量,
是t与
的函数。其中
;本文方法得到的数值结果见图11~22,具体的初始条件见表2。

Figure 1. Shows the numerical solution with the initial condition of
of example 1
图1. 例1初始条件为
的数值解

Figure 2. Shows the pattern with the initial condition of
example 1
图2. 例1初始条件为
的斑图

Figure 3. Shows the numerical solution with the initial condition of
of example 1
图3. 例1初始条件是
的数值解

Figure 4. Shows the pattern with the initial condition of
example 1
图4. 例1初始条件是
的斑图

Figure 5. Shows the numerical solution with the initial condition of
of example 1
图5. 例1初始条件是
的数值解

Figure 6. Shows the pattern with the initial condition of
example 1
图6. 例1初始条件是
的的斑图

Figure 7. Shows the numerical solution with the initial condition of
of example 1
图7. 例1初始条件是
的数值解

Figure 8. Shows the pattern with the initial condition of
example 1
图8. 例1初始条件是
的斑图

Figure 9. Shows the numerical solution with the initial condition of
of example 1
图9. 例1初始条件是
的数值解

Figure 10. Shows the pattern with the initial condition of
example 1
图10. 例1初始条件是
的斑图

Table 1. The different initial conditions corresponding to the numerical solution and pattern in example 1 are shown in Figures 1-10
表1. 例1中数值解和斑图所对应的不同的初始条件在图1~10

Figure 11. Shows the numerical solution with the initial condition of
of example 2
图11. 图为例2初始条件是
的数值解

Figure 12. Shows the pattern with the initial condition of
example 2
图12. 例2初始条件是
的斑图

Figure 13. Shows the numerical solution with the initial condition of
of example 2
图13. 例2初始条件是
的数值解

Figure 14. Shows the pattern with the initial condition of
example 2
图14. 图为例2初始条件是
的斑图

Figure 15. Shows the numerical solution with the initial condition of
of example 2
图15. 例2初始条件是
的数值解

Figure 16. Shows the pattern with the initial condition of
example 2
图16. 图为例2初始条件是
的斑图

Figure 17. Shows the numerical solution with the initial condition of
of example 2
图17. 例2初始条件是
的数值解

Figure 18. Shows the pattern with the initial condition of
example 2
图18. 图为例2初始条件是
的斑图

Figure 19. Shows the numerical solution with the initial condition of
of example 2
图19. 例2初始条件是
的数值解

Figure 20. Shows the pattern with the initial condition of
example 2
图20. 图为例2初始条件是
的斑图

Figure 21. Shows the numerical solution with the initial condition of
of example 2
图21. 例2初始条件是
的数值解

Figure 22. Shows the pattern with the initial condition of
example 2
图22. 图为例2初始条件是
的斑图

Table 2. The different initial conditions corresponding to the numerical solution and pattern in example 2 are shown in Figures 11-22
表2. 例2中数值解和斑图所对应的不同的初始条件在图 11~22
5. 结论
本文用谱插值配点方法求解Brusselator模型,数值结果表明了该方法与理论吻合较好。本文所有程序由matlab2017b算得。
致谢
感谢王玉兰老师的支持与帮助。
参考文献