1. 引言
众所周知,非线性耦合Burgers方程不具有精确的解析解。但由于其在科学和工程领域的广泛适用性,科学家和专家们对利用各种数值技术研究Burgers方程的性质很感兴趣。
一类耦合Burgers方程组:
初值条件:
边界条件:
其中
,
,
,
是实常数,
,
是任意常数,取决于系统参数。
和
是待测定的速度分量。
为非定常项,
为非线性对流项,
为扩散项。
,
,
,
,
,
是充分光滑函数。
Esipov [1] 推导了一维粘性Burgers方程,研究了多分散沉降模型。该耦合方程是重力作用下两种颗粒在流体悬浮液或胶体中的沉降或单位体积浓度(scaled volume concentrations)演化的简单模型。Burgers [2] 和Cole [3] 发现,该方程组描述了各种现象,如湍流的数学模型和在粘性流体中流过激波的近似理论。Soliman [4] 采用了改进的扩展的Tanh函数法得出一维耦合Burgers分解法的精确解,但在一般情况下,耦合burgers方程的解析解是不可用的。很多研究人员对一维耦合Burgers方程的数值解进行了求解。 Esipov给出了一些数值模拟,并将结果与实验数据进行了比较。Abdou和Soliman [5] 用变分迭代法求解一维Burgers方程和耦合Burgers方程。Deghan [6] 等人利用Adomian-Pade技术,得到了粘性Burgers耦合方程的数值结果。Mittal和Arora [7] 提出了一种基于Crank-Nicolson和三次B样条函数格式的耦合Burgers方程数值求解方法。Khater [8] 等提出了非线性偏微分方程近似解的Chebyshev谱配置法,利用Chebyshev谱配点法,将问题简化为一个ODES系统,然后用四阶Runge-Kutta方法求解。Rashid和Ismail [9] 等人利用空间上的Fourier伪谱法和经典的四阶Runge-Kutta方法,给出了具有一组初值、周期边界条件的耦合Burgers方程的近似解。Mittal [10] 等人用多项式微分求积法(PDQM)分析了一个耦合Burgers方程。PDQM将耦合Burgers方程转化为非线性方程组,然后用四阶Runge-Kutta方法求解。Mohanty [11] 等人提出了一种求解耦合Burgers方程的四阶隐式紧算子方法,没有使用任何变换或线性化技术来处理非线性项。Arminjon和Beuchamp [12] 提出了二维耦合Burgers方程的有限元方法,并得出了与其他方法,即直线法和Runge-Kutta型方法相比,该方法是有效的。魏 [13] 等人提出了空间离散的分布式逼近泛函格式和求解一维和二维Burgers方程的Taylor级数展开方法。
本文采用有限体积法对耦合Burgers方程组进行求解,有限体积法在离散化之前不需要对非线性项进行线性化处理,用有限体积法得到的离散方程,可以完美地体现守恒性。最后,将经该格式计算后的数值解和文献 [7] [14] [15] [16] [17] 中已有的精确解进行了比较,发现计算结果较好。
本论文以QUICK有限体积格式为基础,构造了一个满足TVD和CBC-BAIR约束条件的高阶有界有限体积数值格式,用于计算耦合Burgers方程组的数值解。本文的安排具体如下:第一章是引言;第二章建立了对流项的高分辨率有限体积格式和扩散项的数值离散;第三章以典型的耦合Burgers方程组为例,给出了几个的数值算例;第四章给出了结论。
2. 数值格式的构建
2.1. Burgers方程
以Burgers方程为例:
(2.1)
下利用有限体积法给出具体求解过程。
将计算区间
剖分成N个等距的网格,记
(2.2)
则有每一个控制单元
的长度为
将(2.1)式在
上积分,可得
其中,
。
进一步写成
(2.3)
进而可得
(2.4)
定义
是第j个单元的单元平均值,则(2.4)式可以简化为
为了简单起见,记
则有
(2.5)
再次,引入空间离散,在
时,由上面单元积分平均值的定义,可以计算
,由等式(2.5)可知,要求解
时的
的话,必须知道单元界面处的点值。
下用单元积分平均值表示单元界面处的点值
,然后利用数值格式实现用单
元积分平均值表示点值,代入方程(2.5),得出便于求解的线性方程或线性方程组。由图1可知,由于是等距剖分,故令
,由于对流项的离散产生的数值耗散比较大,所以先建立对流项的离散格式。

Figure 1. Three neighboring mesh points and the mesh face
图1. 三个相邻的节点及单元
2.2. 高阶格式
如图1所示,U、C、D是相邻的3个网格节点,分别表示上游(upwind point)、中心(central point)和下游(downwind point)的三个节点,f表示控制单元的界面(cell face)。若界面值
由单元平均值
确定,一般情况下,选取三个单元平均值重构界面值时可以表达成以下函数关系:
(2.6)
则
可以表达为
(2.7)
其中,参数
,对k赋不同的值可得到不同的高阶格式。根据Leonard的正则变量化方法 [18],定义正则化变量形式(Normalized Variable Formulation, NVF)为
这里的
的取值为
。于是有(2.6)的变量正则化形式是
(2.8)
因为
,所以(2.8)化简为
则k格式(2.7)可化为
(2.9)
由式(2.9)得知,
的变化只依赖于k和
,很大程度上简化了新的数值格式的建立过程。
表1给出了几种常见的对流格式的NV线,值得注意的是,这些线性高阶格式都不满足有界性,因此,采用有界性准则结合线性高阶格式来构造高分辨率格式。

Table 1. The linear convection schemes and the NV formulations
表1. 线性对流格式及其NV格式
通常称数值格式的正则变量化形式在
坐标系上的图形表达为格式的正则变量图(Normalized Variable Diagram, NVD),某一个格式在NVD上的图形表达称为其对应的NV线。在Leonard提出的NVD的基础上,Gaskell和Lau提出了对流有界性准则,即CBC准则。利用正则变量化形式,CBC准则可以表为:
(2.10)
数值格式的有界性,又称单调性,是指其数值计算结果不会超过物理问题自身所规定的上下限,即网格界面值
应满足以下不等式:
(2.11)
现在来分析一下CBC准则是如何保证界面值满足有界性的。当
或者
,即解是单调时,此时如果界面值
满足
或者
(2.12)
,当
(2.13)
当
或者
时,解不是单调的,此时如果使用一阶迎风格式
,就能保持解是单调的。上述情况用正则化变量形式表达就是
,当
或
(2.14)
然而,Wei [19] 和Hou [20] 证明了CBC准则只能保证数值格式的有界性,而未提及数值格式的精度。为了克服这个缺点,Wei和Hou提出了一个改进的CBC准则,即BAIR准则。它的正则变量化形式为
(2.15)
另一个重要的对流项有界性约束是TVD (Total Variational Diminishing)约束条件,用限制器函数表示为
其中
是一个限制器(limiter)函数,其中
TVD约束条件也可以表达为
(2.16)
综上所述,将BAIR区域与TVD区域绘制于图2中

Figure 2. The regions of the TVD (shaded) and BAIR (hatched)
图2. BAIR区域(虚线部分)和TVD区域(阴影部分)
2.3. Hermite插值构造新格式
由上可知,若格式满足对流有界性,那么格式的NV线必须落在TVD区域和BAIR区域的重合区域内,由前面提到的HR格式的标准化形式:
,由图2可知
由于所选的CUI格式不满足对流有界性,因此利用分段的思想来构造MCUI格式,使得此格式满足对流有界性准则。在
的区间内,选取原有的CUI格式,在
内,选取
和
,利用Hermite插值构造曲线,使曲线在重合的区域内,如图3所示,得到满足对流有界性的格式MCUI格式。该格式的正则化形式为

Figure 3. The illustration of the NV line of the MCUI scheme in the BAIR region
图3. MCUI格式在BAIR区域中的NV线
本文采用Local Lax-Friedrichs格式求解界面的数值通量f,任意单元体界面通量f可以表示为
,利用Local Lax-Friedrichs计算数值流通量式子如下:
对流项的离散完成后,扩散项采用二阶中心差分格式:
2.4. 时间项的离散
完成了关于空间导数的离散后,得到了关于时间t的一个常微分方程,即
为了抑制非物理振荡,采用三阶Runge-Kutta格式进行离散:
3. 耦合Burgers方程组的数值算例
3.1. 算例1
对于耦合Burgers方程组
其中
给定初边值条件:
分别计算
,
在
的数值解。

Figure 4. The numerical solution and the exact solution of Example 1 at different time for α = β = 1.0
图4. 算例1在不同时刻下的数值解和精确解,其中α = β = 1.0
经对比发现,
,
在不同时间数值解与精确解有很好的一致性。通过图4可以看出波的振幅随着时间的推移而减小,而波长保持不变。
3.2. 算例2
对于耦合Burgers方程组
给定初边值条件:
分别在以下三种情况下,计算
,
在
时刻的数值解(见图5~7):
情形1:
;
情形2:
;
情形3:
。
算例2的三组演化曲线以及
,
在
和
的
、
误差表明,不同系数下,
,
的数值解对精确解的逼近效果较好(见表2和表3)。

Figure 5. The numerical solution and of Case 1 at t = 1.0 for α = 1.0, β = 2.0
图5. 情形1在t = 1.0时刻的数值解,其中α = 1.0, β = 2.0

Figure 6. The numerical solution and of Case 2 at t = 1.0 for α = 0.1, β = 0.3
图6. 情形2在t = 1.0时刻的数值解,其中α = 0.1, β = 0.3

Figure 7. The numerical solution and of Case 3 at t = 1.0 for α = 0.3, β = 0.03
图7. 情形3在t = 1.0时刻的数值解,其中α = 0.3, β = 0.03

Table 2. Comparison of errors at different time for u(x,t) of Case 3
表2. 情形3中u(x,t)在不同时刻的误差比较

Table 3. Comparison of errors at different time for v(x,t) of Case 3
表3. 情形3中v(x,t)在不同时刻的误差比较
4. 结论
本文用有限体积法计算了一类耦合Burgers方程组的数值解,本文所采用的数值计算格式是基于BAIR准则和TVD准则,结合Hermite插值构造而成的。此格式简单方便,易于计算机实现。通过几个经典算例验证,此格式满足对流有界性、保持守恒特性,并且具有很好的计算效果。
基金项目
感谢内蒙古大学科研发展基金(21100-5187133)的支持。