1. 引言
为了克服的KdV方程的某些不足,文献 [1] [2] 提出了Rosenau方程:
, (1)
而方程(1)通常也被看作是正则长波(RLW)方程 [3] [4]
(2)
的另一种表述形式,对Rosenau方程(1)和RLW方程(2)的研究引起了众多学者的关注。
而Rosenau-RLW方程 [5] - [14]
(3)
是Rosenau方程(1)和RLW方程(2)的推广形式,也是一个重要的物理模型 [5] - [14],文献 [5] 对其进行了有限元方法研究,文献 [6] - [14] 对方程Rosenau-RLW(3)及其广义形式进行了有限差分方法研究,其中非线性差分格式 [10] [11] [12] [13] [14] 在数值求解时都需要非线性迭代,计算耗时较多。本文对非线性项
进行外推线性化离散处理,从而对Rosenau-RLW方程(3)进行线性化有限差分方法数值求解研究,考虑其如下的初值条件和边界条件:
(4)
(5)
其中
是一个已知的光滑函数。
2. 线性差分格式及可解性
剖分有界闭区域
,令
为时间步长,
,
,
;空间步长取为
,
,
;用
和
分别表示函数
在点
处的精确值和近似值,
即
,
。规定C为与时间步长和空间步长均无关的常数,且
。并定义以下符号:
,
,
,
,
,
,
,
,
.
在数值离散时,将方程(3)中的非线性项
部分外推到
层,从而对问题(3)~(5)提出如下三层线性化有限差分数值格式:
(6)
(7)
(8)
引理1 [15] 对
,恒有:
.
以下用数学归纳法来分析有限差分数值格式(6)~(8)其解的存在唯一性:
定理1 当时间步长
足够小时,线性有限差分格式(6)~(8)的数值解存在且唯一。
证明 由(7)式知,显然
是线性化有限差分格式(6)~(8)的数值解,再用其它方法(如两层差分格式 [10] )先计算出
(即
和
是唯一被确定的),现假设
,
是唯一可解的,于是有
(9)
考虑(6)式中的未知层
对应的齐次线性方程组,有
(10)
以向量
对(10)式取内积,由(8)式、(9)式和引理1,并利用分部求和公式 [15],有
(11)
又
, (12)
合并(11)式和(12)式,化简整理有
,
取时间步长
足够小,使得当
时,关于
的齐次线性方程组(10)有且仅有唯一零解,于是关于
的非齐次线性方程组(6)的解是唯一存在的。从而由归纳假设知,线性有限差分格式(6)~(8)的数值解是存在且唯一的。
3. 收敛性和稳定性
由于不能得到线性化有限差分格式(6)~(8)数值解的无穷范数先验估计,以下综合运用离散能量分析方法和数学归纳法来证明其收敛性和稳定性。
我们将线性有限差分数值格式(6)~(8)的截断误差定义为:
(13)
且由Taylor展开公式可知,
. (14)
引理2 [9] 假设
,初边值问题(3)~(5)的连续解满足如下估计式:
定理2 假设
,若时间步长
和空间步长h足够小,则线性有限差分格式(6)~(8)的数值解解
以范数
收敛到初边值问题(3)~(5)的连续解,且收敛阶为
。
证明 记
,用(13)式减去(6)式,可得
(15)
由引理2以及截断误差(14)式可知,存在与空间步长h和时间步长
都无关的常数
和
,满足
(16)
由初始值条件(7)式,可得
(17)
利用其他二阶方法(如两层有限差分格式 [10] )计算出具有二阶精度的
,即有
, (18)
为与空间步长h和时间步长
都无关的常数。
现在假设
(19)
其中
为与空间步长h和时间步长
都无关的常数。利用Cauchy-Schwarz不等式,于是由离散Sobolev嵌入不等式 [15] 有
(20)
(21)
以向量
对(15)式两端取内积,注意到
,
并由离散分部和公式 [15],整理得
(22)
利用微分中值定理,由引理2有
即
, (23)
再取空间步长
和时间步长h足够小,以满足
, (24)
且
, (25)
于是,由引理1和(21)式、(23)式、(25)式,利用Cauchy-Schwarz不等式有
(26)
(27)
(28)
将(26)~(28)式一起代入(22)式,然后化简整理可得
(29)
将式(29)从1到n进行递推并求和,化简整理有
(30)
又
(31)
再取时间步长
充分小,使之满足:
,
将(18)式和(31)式一起代入(30)式,整理后利用(24)式和离散Gronwall不等式 [15],于是有
其中
为与时间层n无关的常数。从而由归纳假设可以得到
最后在根据离散Sobolev不等式 [15],即得
定理3 假设
,如果时间步长
和空间步长h充分小,那么线性有限差分格式(6)~(8)的数值解满足如下估计式:
这里
是与时间步长
和空间步长h都无关的常数。
证明 由定理2的结论,当时间步长
和空间步长h足够小时,有
.
由定理3可知,如果时间步长
和空间步长h充分小,线性有限差分格式(6)~(8)的数值解
以范数
关于初始值绝对稳定。
4. 数值实验
Rosenau-RLW方程(3)的孤立行波解 [13] 为:
.
为了验证本文线性化有限差分算法的可靠性,取初值函数
进行数值求解计算,固定
,
,
。就
和
的不同取值线性有限差分数值格式(6)~(8)的数值解在不同时刻的误差见表1,同时在表2中对理论精度
也进行了数值验证。
Table 1. The error of the scheme at several different times
表1. 格式在几个不同时刻的误差
Table 2. Numerical simulation of the theoretical accuracy O ( τ 2 + h 2 ) of the scheme
表2. 对格式的理论精度
的数值模拟
从数值算例结果可以看出,本文对初边值问题(3)~(5)所提出的线性化有限差分数值格式(6)~(8)是可行的。格式(6)~(8)明显具有二阶理论精度,更为重要的是,数值求解时不需要非线性迭代,所以计算时间比较节约,数值求解效率也较高。
基金项目
国家自然科学基金青年基金(11701481);四川应用基础研究项目(2019JY0387)。
NOTES
*通讯作者。