1. 引言
在过去的许多年中,偏微分方程发数值解法一直备受学者们的关注。波动方程作为偏微分方程中的一类,其精确解很难直接求出,通过各种数值方法求解波动方程的精确解备受关注。因此,求解波动方程的初边值问题是偏微分方程数值解研究方向的热门问题。例如,Du等人为了研究分数阶扩散波动方程,提出了一种高阶的差分方法 [1] 。安文静等人用有限差分方法给出了波动方程的一种离散格式,并且用Fourier方法分析了该格式的无条件稳定性,用能量不等式法分析了误差估计,理论分析表明他们提出的格式收敛阶为
[2] 。廖洪林利用离散H2能量法给出三层显式格式和交替方向隐式格式的最大模误差估计,并且得到时间和空间方向的收敛阶都为二阶精度 [3] 。朱爱玲等人针对波动方程推导出了一种显式差分外推格式,将收敛精度由原来的二阶提高为四阶 [4] 。由于传统的有限差分方法不能达到高阶的差分近似,紧致有限差分方法被许多学者广泛的关注。紧致差分方法之所以被许多学者们关注,是因为它可以使用比较少的网格点来达到高精度的收敛阶 [5] 。关于紧致有限差分格式的详细介绍可以参见 [6] 。例如,Gao和Sun对于满足Neumann边界条件的分数阶次扩散方程和热方程提出了一种紧致有限差分格式 [7] [8] 。Ren等人提出了一种紧致有限差分格式去求解具有Neumann边界条件的时间分数阶次扩散方程, [9] 。Li等人为了解决地下水污染问题,针对空间二维对流扩散方程研究了一种四阶紧致有限差分方法 [10] 。Liao等人提出了一种紧致算法去解决非线性反应扩散方程,并且时间和空间方向的收敛精度都达到了四阶 [11] 。
本文所研究的方程如下:
(1)
其中,
是足够光滑的函数,
是已知的正常数。
本篇文章的章节内容安排如下。在第二节中,我们对方程(1)进行紧致有限差分格式的构造。在第三节中,我们用能量不等式方法分析了离散格式的稳定性和误差估计。第四节是本文的数值实验部分,第五节是本文的总结。
2. 离散格式的构造
用有限差分方法求解波动方程的时候,必须把连续问题进行离散化。在对方程(1)进行离散格式构造之前,我们需要对空间区间
和时间区间
进行网格剖分。本篇文章中,对于给定的正整数M和N,记
,
其中
,
。分别称h和
为空间和时间步长。
空间网格函数的定义如下:
紧致差分算子
的定义如下:
(2)
下面提出的符号和一些引理在后面的证明中将会用到
引理2.1. [12] 若
,并且
,
则
其中,
,
。
对于离散格式的构造方面。时间方向采用中心有限差分法离散,空间方向在n-1层、n层和n+1层上用中心差商的权平均去离散,即
因此方程(1)可以先离散为
(3)
接下来将
算子作用在(3)式的左右两端,我们可以得到
(4)
由引理2.1,有
将上面三个离散的式子代入到(4)式中,可得到
(5)
在上式中,误差项
。舍去截断误差项
后,用
代替精确解
,可得到方程(1)的紧致有限差分格式如下
(6)
3. 稳定性分析和误差估计
接下来进行离散格式(6)的稳定性分析,然后对产生的误差进行估计。在接下来的分析中,常数C的取值随着使用位置的不同而变化。
第一步进行离散格式(6)的稳定性分析。在接下来的证明中,我们省略下标j。
引理3.5. 假设
,则
。
证明. 根据(2)式中
的定义有
,
又根据
,故上式可改写为
,
引理证明完毕。 □
引理3.6. [13] 令
,那么有如下不等式成立,
引理3.7. [14] 令
和
,那么有
在上式中,C是一个常数。
以上引理在接下来的证明中将会用到。
定理3.8. 令
是差分格式(6)的数值解。如果有下面的不等式成立
则差分格式(6)是无条件稳定的,其中,C是一个正常数。
证明. 通过(6)式,我们有
(7)
用
在(7)式的两边做内积,得到
我们以引理3.5为依据,可得
(8)
对于(8)式,根据范数等价定理,Cauchy-Schwarz不等式以及引理3.6得到
对于上式,可写为
(9)
接下来将通过归纳法证明。当
时,根据(9)式和引理3.7,我们有
(10)
假设(10)式对于
时上述结论也成立,即
(11)
现在,我们证明当
时结论也成立。
(12)
使用引理3.6,可得
差分格式(6)是无条件稳定的,定理得证。 □
定理3.8说明,所构造离散格式的每一层值,都受初值的控制,因此证明了离散格式是无条件稳定的。
接着,进行离散格式(6)的误差估计。
定理3.9. 若
是方程(1)的精确解,
是离散格式(6)的数值解,并且
。则有
。
其中,C是一个常数。
证明. 将(5)式和(6)式做差,可得
(13)
其中
。对于上式左右两端同时乘以
做内积,可得
由于
和引理3.5,我们可知
(14)
对于(14)式,根据范数等价定理,Cauchy-Schwarz不等式及引理3.6可得
上式化简得
(15)
对于(15)式,当
时,有
(16)
为了证明结论,首先需要对
进行估计。由引理3.7可得
故,
。
结合(16)式可知
。
现在我们假设当
时,(15)描述的结论也成立,即
接下来我们将考虑
,根据(15)式及假设,可得
以引理3.6为依据,可得
因此
以上定理证明完毕。 □
定理3.9说明了方程的数值解和精确解之间的误差随着时间和空间剖分的增大而减小,从侧面说明了数值解和精确解在理论分析上是很接近的。
4. 数值实验
在本节中,我们将进行数值实验去证明对紧致有限差分格式理论分析的正确性。数值实验是在Intel酷睿i5-8265U,内存4 GB和主频1.60 GHz的计算机环境下,使用MATLAB2017a进行数值实验。用
范数来衡量数值误差。数值解的
范数误差、时间和空间方向的收敛阶分别用下面的公式计算:
其中,
和
分别为时间步长
和
所对应的误差。
其中,
和
分别为空间步长
和
所对应的误差。
例1. 考虑下面的时间波动方程
其中,
,精确解
,并且
例1的实验结果将会呈现在表1、表2和图1中。表1展示了紧致有限差分格式(6)的最大范数误差、时间收敛阶和CPU时间。我们选择合适的空间步长
,时间步长取不同的剖分。我们很容易可以看到时间方向的收敛阶为
。表2展示了紧致有限差分格式的最大范数误差、空间收敛阶和CPU时间。此时,空间步长和时间步长都取不同的剖分。我们很容易可以看到空间方向的收敛阶为
,这就验证了定理3.9。
![](Images/Table_Tmp.jpg)
Table 1. L ∞ -error, time convergence order and CPU time when M = 100
表1. 当M = 100时的
-误差,时间收敛阶和CPU时间
![](Images/Table_Tmp.jpg)
Table 2. L ∞ -error, spatial convergence order and CPU time when M and N are taken into different subdivisions
表2. 当M,N取不同剖分时的
-误差,空间收敛阶和CPU时间
图1展示了当
时的精确解、数值解、绝对误差和误差的等高线图。
(a) 精确解 (b) 数值解
(c) 绝对误差 (d) 绝对误差等高线
Figure 1. Contour plot of exact solution, numerical solution, absolute error and error when
图1. 当
时的精确解、数值解、绝对误差和误差的等高线图
通过上面四组图,我们很容易看出,离散格式的数值解是很接近原方程的精确解的。
5. 总结
本文针对满足一定的初边值条件的整数阶波动方程,结合紧致有限差分算子,构造了一种高精度的差分格式,并且用能量不等式的方法证明了差分格式的稳定性以及收敛性,通过理论分析得到差分格式的收敛精度在时间上达到二阶,在空间上达到四阶。最后通过数值实验证明了理论分析的正确性,即所构造差分格式的收敛阶为
。
本文研究的模型虽然达到了高精度的收敛阶,但是研究的模型不具备足够的新颖性和可应用性。在接下来的研究中,作者将会致力于研究分数阶波动方程的紧致有限差分方法,在时间维度上将会考虑一维和二维。
基金项目
新疆应用职业技术学院科研项目(XYZY2023KQL016)。
NOTES
*通讯作者。