跳到主要内容

理论与现代应用

正则长波方程的高阶保守Crank-Nicolson格式

摘要

利用一种新的保守的Crank-Nicolson有限差分格式研究了正则长波方程的数值解。通过Richardson外推技术,该方案的精度为O(运行)( τ 2 + 小时 4 )无精细网格。讨论了离散质量守恒和离散能量守恒,并利用Browder不动点定理证明了数值解的存在性。利用能量法推导了该解的收敛性、无条件稳定性和唯一性。通过数值算例验证了理论分析的正确性。

MSC公司:65M06、65N30。

1引言

考虑正则长波方程的初边值问题

u个 t吨 + u个 x个 +u个 u个 x个 u个 x个 x个 t吨 =0,x个( x个 L(左) , x个 R(右) ),t吨(0,T型]
(1.1)

具有初始条件

u个(x个,0)= u个 0 (x个),x个[ x个 L(左) , x个 R(右) ],
(1.2)

和边界条件

u个( x个 L(左) ,t吨)=u个( x个 R(右) ,t吨)=0,t吨[0,T型],
(1.3)

哪里 u个 0 (x个)是给定的已知函数。RLW方程最初是作为Korteweg-de-Vries(KdV)方程的替代方程引入的,用于描述Peregrine的波状孔的行为[1]在物理介质中起着非常重要的作用,因为它描述了具有弱非线性和色散波的现象,包括浅水中的非线性横波、等离子体中的离子声波和磁流体动力学波以及非线性晶体中的声子包。当它用于模拟浅水航道中产生的波浪时,变量按以下方式归一化:距离x个和水位u个按水深缩放小时、和时间t吨缩放到 小时 ,其中是重力引起的加速度。物理边界要求

u个0,作为|x个|.
(1.4)

所以,如果 x个 L(左) 0 x个 R(右) 0,问题(1.1)-(1.3)符合方程的柯西问题(1.1).RLW方程具有以下守恒定律,

(t吨)= ¦Β x个 L(左) x个 R(右) u个(x个,t吨)d日x个= ¦Β x个 L(左) x个 R(右) u个 0 (x个)d日x个=(0)
(1.5)

E类(t吨)= u个 L(左) 2 2 + u个 x个 L(左) 2 2 = u个 0 L(左) 2 2 + ( u个 0 ) x个 L(左) 2 2 =E类(0),
(1.6)

哪里(0)E类(0)是与初始条件有关的两个正常数。

RLW方程解的存在唯一性在[2]. 找到了它的解析解[]在有限的初始和边界条件下,因此,从数值的角度来看,它变得很有趣。解RLW方程的一些数值方法,如变分迭代法[4,5],有限差分法[68],傅立叶伪谱法[9],有限元法[1013],搭配法[14]和adomian分解方法[15]已在许多作品中引入。在[16],Li和Vu-Quoc指出“在某些领域,保持原微分方程某些不变性质的能力是判断数值模拟成功与否的标准“与此同时,张等。[17]认为保守差分格式的性能优于非保守差分方案,而非保守差分解格式很容易表现出非线性的“blow-up”因此,构造一个保守的差分格式来求解非线性偏微分方程是非常有意义的。本文结合Richardson外推,对问题(1.1)-(1.3)提出了一个两层非线性Crank-Nicolson有限差分格式,其精度为O(运行)( τ 2 + 小时 4 )提出了无需细化网格的方法。该方案分别很好地模拟了两个守恒量(1.5)和(1.6)。此外,先验的讨论了数值解的估计、存在唯一性。证明了该格式的收敛性和无条件稳定性。

论文大纲如下。第二节提出了一个非线性保守差分格式。在第3节中,我们用Browder不动点定理证明了差分解的存在性。普里奥里第4节证明了估计、收敛性和稳定性,第5节报告了验证理论分析的数值实验。

2非线性有限差分格式

像往常一样,让小时= x个 R(右) x个 L(左) J型 是空间网格的步长,以便 x个 j个 = x个 L(左) +j个小时(j个=1,0,1,,J型,J型+1). τ是时间方向的步长 t吨 n个 =n个τ(n个=0,1,2,,N个),N个=[ T型 τ ].表示 u个 j个 n个 u个( x个 j个 , t吨 n个 )

Z轴 小时 0 = { u个 = ( u个 j个 ) | u个 1 = u个 0 = u个 J型 = u个 J型 + 1 = 0 , j个 = 0 , 1 , 2 , , J型 } .

定义

( u个 j个 n个 ) x个 = u个 j个 + 1 n个 u个 j个 n个 小时 , ( u个 j个 n个 ) x个 ¯ = u个 j个 n个 u个 j个 1 n个 小时 , ( u个 j个 n个 ) x个 图6 = u个 j个 + 1 n个 u个 j个 1 n个 2 小时 , ( u个 j个 n个 ) x个 ¨ = u个 j个 + 2 n个 u个 j个 2 n个 4 小时 , ( u个 j个 n个 ) t吨 = u个 j个 n个 + 1 u个 j个 n个 τ , u个 j个 n个 + 1 2 = u个 j个 n个 + 1 + u个 j个 n个 2 , u个 n个 , v(v) n个 = 小时 j个 = 0 J型 u个 j个 n个 v(v) j个 n个 , u个 n个 2 = u个 n个 , u个 n个 , u个 n个 = 最大值 0 j个 J型 | u个 j个 n个 | .

在论文中,C类表示在不同情况下可能具有不同值的一般正常数。

引理2.1 对于网格函数 u个 Z轴 小时 0 ,我们有

u个 x个 ¨ 2 u个 x个 图6 2 u个 x个 2 .

证明显然,

( u个 j个 ) x个 ¨ = u个 j个 + 2 u个 j个 2 4 小时 = 1 2 ( u个 j个 + 2 u个 j个 2 小时 + u个 j个 u个 j个 2 2 小时 ) = 1 2 ( ( u个 j个 + 1 ) x个 图6 + ( u个 j个 1 ) x个 图6 ) , ( u个 j个 ) x个 图6 = u个 j个 + 1 u个 j个 1 2 小时 = 1 2 ( u个 j个 + 1 u个 j个 小时 + u个 j个 u个 j个 1 小时 ) = 1 2 ( ( u个 j个 ) x个 + ( u个 j个 ) x个 ¯ ) .

u个 Z轴 小时 0 ,我们有 u个 x个 2 = u个 x个 ¯ 2 .通过Cauchy-Schwarz不等式,我们得到

u个 x个 ¨ 2 = 1 4 小时 j个 = 0 J型 ( ( u个 j个 + 1 ) x个 图6 + ( u个 j个 1 ) x个 图6 ) ( ( u个 j个 + 1 ) x个 图6 + ( u个 j个 1 ) x个 图6 ) u个 x个 图6 2 , u个 x个 图6 2 = 1 4 小时 j个 = 0 J型 ( ( u个 j个 ) x个 + ( u个 j个 ) x个 ¯ ) ( ( u个 j个 ) x个 + ( u个 j个 ) x个 ¯ ) u个 x个 2 .

 □

考虑以下问题(1.1)-(1.3)的Crank-Nicolson保守差分格式,

( u个 j个 n个 ) t吨 4 ( u个 j个 n个 ) x个 x个 ¯ t吨 + 1 ( u个 j个 n个 ) x个 图6 x个 图6 t吨 + 4 ( u个 j个 n个 + 1 2 ) x个 图6 1 ( u个 j个 n个 + 1 2 ) x个 ¨ + 4 9 { ( u个 j个 n个 + 1 2 ) ( u个 j个 n个 + 1 2 ) x个 图6 + [ ( u个 j个 n个 + 1 2 ) 2 ] x个 图6 } 1 9 { u个 j个 n个 + 1 2 ( u个 j个 n个 + 1 2 ) x个 ¨ + [ ( u个 j个 n个 + 1 2 ) 2 ] x个 ¨ } = 0 , j个 = 1 , 2 , , J型 1 n个 = 1 , 2 , , N个 1 ,
(2.1)
u个 j个 0 = u个 0 ( x个 j个 ),0j个J型,
(2.2)
u个 n个 Z轴 小时 0 ,n个=0,1,2,,N个.
(2.3)

从边界条件(1.3)和物理边界(1.4)来看,离散边界条件(2.3)是合理的。基于方案(2.1)-(2.3),得到(1.5)和(1.6)的离散版本如下。

定理2.1 方案(2.1)-(2.3)接受以下不变量,.e(电子).,

n个 =小时 j个 = 0 J型 u个 j个 n个 = n个 1 == 0 ,
(2.4)
E类 n个 = u个 n个 2 + 4 u个 x个 n个 2 1 u个 x个 图6 n个 2 = E类 n个 1 == E类 0
(2.5)

对于 n个=1,2,,N个.

证明将(2.1)与相乘小时,然后总结j个从1到J型1根据边界条件(2.3)和分部求和公式[18],我们有

小时 j个 = 0 J型 ( u个 j个 n个 ) t吨 =0.
(2.6)

根据的定义 n个 ,(2.4)由(2.6)得到。

取(2.1)的内积2 u个 n个 + 1 2 ,根据边界条件(2.3),我们得到

u个 n个 t吨 2 + 4 u个 x个 n个 t吨 2 1 u个 x个 图6 n个 t吨 2 + 8 u个 x个 图6 n个 + 1 2 , u个 n个 + 1 2 2 u个 x个 ¨ n个 + 1 2 , u个 n个 + 1 2 + 2 φ ( u个 n个 + 1 2 ) , u个 n个 + 1 2 2 κ ( u个 n个 + 1 2 ) , u个 n个 + 1 2 = 0 ,
(2.7)

哪里

φ ( u个 j个 n个 + 1 2 ) = 4 9 { ( u个 j个 n个 + 1 2 ) ( u个 j个 n个 + 1 2 ) x个 图6 + [ ( u个 j个 n个 + 1 2 ) 2 ] x个 图6 }

κ ( u个 j个 n个 + 1 2 ) = 1 9 { ( u个 j个 n个 + 1 2 ) ( u个 j个 n个 + 1 2 ) x个 ¨ + [ ( u个 j个 n个 + 1 2 ) 2 ] x个 ¨ } .

u个 x个 图6 n个 + 1 2 , u个 n个 + 1 2 =0, u个 x个 ¨ n个 + 1 2 , u个 n个 + 1 2 =0,
(2.8)
φ ( u个 n个 + 1 2 ) , u个 n个 + 1 2 = 4 9 小时 j个 = 0 J型 { u个 j个 n个 + 1 2 ( u个 j个 n个 + 1 2 ) x个 图6 + [ ( u个 j个 n个 + 1 2 ) 2 ] x个 图6 } u个 j个 n个 + 1 2 φ ( u个 n个 + 1 2 ) , u个 n个 + 1 2 = 4 9 小时 j个 = 0 J型 ( u个 j个 n个 + 1 2 ) 2 ( u个 j个 n个 + 1 2 ) x个 图6 + 4 9 小时 j个 = 0 J型 [ ( u个 j个 n个 + 1 2 ) 2 ] x个 图6 u个 j个 n个 + 1 2 φ ( u个 n个 + 1 2 ) , u个 n个 + 1 2 = 4 9 小时 j个 = 0 J型 ( u个 j个 n个 + 1 2 ) 2 ( u个 j个 n个 + 1 2 ) x个 图6 4 9 小时 j个 = 0 J型 ( u个 j个 n个 + 1 2 ) 2 ( u个 j个 n个 + 1 2 ) x个 图6 φ ( u个 n个 + 1 2 ) , u个 n个 + 1 2 = 0
(2.9)

κ ( u个 n个 + 1 2 ) , u个 n个 + 1 2 = 1 9 小时 j个 = 0 J型 { ( u个 j个 n个 + 1 2 ) ( u个 j个 n个 + 1 2 ) x个 ¨ + [ ( u个 j个 n个 + 1 2 ) 2 ] x个 ¨ } u个 j个 n个 + 1 2 = 1 9 小时 j个 = 0 J型 ( u个 j个 n个 + 1 2 ) 2 ( u个 j个 n个 + 1 2 ) x个 ¨ + 1 9 小时 j个 = 0 J型 [ ( u个 j个 n个 + 1 2 ) 2 ] x个 ¨ u个 j个 n个 + 1 2 = 1 9 小时 j个 = 0 J型 ( u个 j个 n个 + 1 2 ) 2 ( u个 j个 n个 + 1 2 ) x个 ¨ 1 9 小时 j个 = 0 J型 ( u个 j个 n个 + 1 2 ) 2 ( u个 j个 n个 + 1 2 ) x个 ¨ = 0 .
(2.10)

将(2.8)-(2.10)代入(2.7),我们得到

( u个 n个 + 1 2 u个 n个 2 ) + 4 ( u个 x个 n个 + 1 2 u个 x个 n个 2 ) 1 ( u个 x个 图6 n个 + 1 2 u个 x个 图6 n个 2 ) =0.
(2.11)

同样,根据 E类 n个 ,(2.5)由(2.11)得到。□

3存在

为了证明格式(2.1)-(2.3)解的存在性,应引入以下Browder不动点定理。有关证明,请参见[19].

引理3.1 H(H) 是有限维内积空间.假设 :H(H)H(H) 是连续的,并且存在一个 α>0 这样的话 (x个),x个>0 为所有人 x个H(H) 具有 x个=α.然后存在 x个 H(H) 这样的话 ( x个 )=0 x个 α.

定理3.1 存在 u个 n个 Z轴 小时 0 满意差分格式(2.1)-(2.3).

证明使用数学归纳法。显然,对于条件(2.2),存在以下解n个=0。假设n个N个1, u个 0 , u个 1 ,, u个 n个 满足(2.1)-(2.3),则证明存在 u个 n个 + 1 满足(2.1)-(2.3)。

定义运算符 Z轴 小时 0 如下:

(v(v))=2v(v)2 u个 n个 8 v(v) x个 x个 ¯ + 8 u个 x个 x个 ¯ n个 + 2 v(v) x个 图6 x个 图6 2 u个 x个 图6 x个 图6 n个 + 4 τ v(v) x个 图6 1 τ v(v) x个 ¨ +τφ(v(v))τκ(v(v)).
(3.1)

取(3.1)的内积v(v),我们得到

v(v) x个 图6 ,v(v)=0, v(v) x个 ¨ ,v(v)=0, φ ( v(v) ) , v(v) =0, κ ( v(v) ) , v(v) =0.

从引理2.1和Cauchy-Schwarz不等式,我们得到

( v(v) ) , v(v) = 2 v(v) 2 2 u个 n个 , v(v) + 8 v(v) x个 2 8 u个 x个 n个 , v(v) x个 2 v(v) x个 图6 2 + 2 u个 x个 图6 n个 , v(v) x个 图6 2 v(v) 2 ( u个 2 + v(v) 2 ) + 8 v(v) x个 2 4 ( u个 x个 n个 2 + v(v) x个 2 ) 2 v(v) x个 图6 2 1 ( u个 x个 图6 n个 2 + v(v) x个 图6 2 ) v(v) 2 u个 n个 2 + 1 v(v) x个 2 4 u个 x个 n个 2 1 u个 x个 图6 n个 2 v(v) 2 ( u个 n个 2 + 4 u个 x个 n个 2 + 1 u个 x个 图6 n个 2 ) .

因此,对于v(v) Z轴 小时 0 ,(v(v)),v(v)0什么时候 v(v) 2 =( u个 n个 2 + 4 u个 x个 n个 2 + 1 u个 x个 图6 n个 2 )+1.根据引理3.1,存在 v(v) Z轴 小时 0 这满足了( v(v) )=0.让 u个 n个 + 1 =2 v(v) u个 n个 很容易证明 u个 n个 + 1 是方案(2.1)-(2.3)的解。□

4普里奥里估计、收敛性与无条件稳定性

v(v)(x个,t吨)是问题(1.1)-(1.3)的解决方案 v(v) j个 n个 =v(v)( x个 j个 , t吨 n个 ),则得到方案(2.1)-(2.3)的截断误差如下:

第页 j个 n个 = ( v(v) j个 n个 ) t吨 4 ( v(v) j个 n个 ) x个 x个 ¯ t吨 + 1 ( v(v) j个 n个 ) x个 图6 x个 图6 t吨 + 4 ( v(v) j个 n个 + 1 2 ) x个 图6 1 ( v(v) j个 n个 + 1 2 ) x个 ¨ + + φ ( v(v) j个 n个 + 1 2 ) κ ( v(v) j个 n个 + 1 2 ) , j个 = 1 , 2 , , J型 1 n个 = 1 , 2 , , N个 1 ,
(4.1)
v(v) j个 0 = u个 0 ( x个 j个 ),0j个J型,
(4.2)
v(v) n个 Z轴 小时 0 ,n个=0,1,2,,N个.
(4.3)

根据泰勒展开,我们得到了以下结果。

定理4.1 | 第页 j个 n个 |=O(运行)( τ 2 + 小时 4 ) 保持为 τ,小时0.

证明v(v)(x个,t吨)是问题(1.1)-(1.3)的解决方案,我们有

v(v) t吨 + v(v) x个 +v(v) v(v) x个 v(v) x个 x个 t吨 =0,x个( x个 L(左) , x个 R(右) ),t吨(0,T型].
(4.4)

首先,考虑术语 v(v) t吨 ,通过泰勒展开( x个 j个 , t吨 n个 + 1 2 ),我们得到

v(v) j个 n个 + 1 = v(v) j个 n个 + 1 2 + ( τ 2 ) v(v) t吨 | j个 n个 + 1 2 + 1 2 ! ( τ 2 ) 2 v(v) t吨 t吨 | j个 n个 + 1 2 +O(运行) ( τ ) ,
(4.5)
v(v) j个 n个 = v(v) j个 n个 + 1 2 + ( τ 2 ) v(v) t吨 | j个 n个 + 1 2 + 1 2 ! ( τ 2 ) 2 v(v) t吨 t吨 | j个 n个 + 1 2 +O(运行) ( τ ) .
(4.6)

由(4.5)和(4.6)可知

v(v) t吨 | j个 n个 + 1 2 = v(v) j个 n个 + 1 v(v) j个 n个 τ +O(运行) ( τ 2 ) = ( v(v) j个 n个 ) t吨 +O(运行) ( τ 2 ) .
(4.7)

同样,通过泰勒展开,我们可以分别得到以下结果:

( v(v) x个 ) | j个 n个 + 1 2 = v(v) j个 + 1 n个 + 1 2 v(v) j个 1 n个 + 1 2 2 小时 1 6 小时 2 ( v(v) x个 x个 x个 ) | j个 n个 + 1 2 + O(运行) ( 小时 4 ) = ( v(v) j个 n个 + 1 2 ) x个 图6 1 6 小时 2 ( v(v) x个 x个 x个 ) | j个 n个 + 1 2 + O(运行) ( 小时 4 ) ,
(4.8)
( v(v) x个 ) | j个 n个 + 1 2 = v(v) j个 + 2 n个 + 1 2 v(v) j个 2 n个 + 1 2 4 小时 2 小时 2 ( v(v) x个 x个 x个 ) | j个 n个 + 1 2 + O(运行) ( 小时 4 ) = ( v(v) j个 n个 + 1 2 ) x个 ¨ 2 小时 2 ( v(v) x个 x个 x个 ) | j个 n个 + 1 2 + O(运行) ( 小时 4 )
(4.9)

( v(v) x个 x个 ) | j个 n个 + 1 2 = ( v(v) j个 n个 + 1 2 ) x个 x个 ¯ 1 12 小时 2 ( v(v) x个 x个 x个 x个 ) | j个 n个 + 1 2 +O(运行) ( 小时 4 ) ,
(4.10)
( v(v) x个 x个 ) | j个 n个 + 1 2 = ( v(v) j个 n个 + 1 2 ) x个 图6 x个 图6 1 小时 2 ( v(v) x个 x个 x个 x个 ) | j个 n个 + 1 2 +O(运行) ( 小时 4 ) .
(4.11)

因此,通过(4.8)和(4.9),我们得到了

4 ( v(v) j个 n个 + 1 2 ) x个 图6 1 ( v(v) j个 n个 + 1 2 ) x个 ¨ =( v(v) x个 ) | j个 n个 + 1 2 +O(运行) ( 小时 4 ) .
(4.12)

根据(4.10)和(4.11),我们已经

4 ( v(v) j个 n个 + 1 2 ) x个 x个 ¯ 1 ( v(v) j个 n个 + 1 2 ) x个 图6 x个 图6 =( v(v) x个 x个 ) | j个 n个 + 1 2 +O(运行) ( 小时 4 ) .
(4.13)

此外,

φ ( v(v) j个 n个 + 1 2 ) κ ( v(v) j个 n个 + 1 2 ) = 4 9 { ( v(v) j个 n个 + 1 2 ) ( v(v) j个 n个 + 1 2 ) x个 图6 + [ ( v(v) j个 n个 + 1 2 ) 2 ] x个 图6 } 1 9 { v(v) j个 n个 + 1 2 ( v(v) j个 n个 + 1 2 ) x个 ¨ + [ ( v(v) j个 n个 + 1 2 ) 2 ] x个 ¨ } = 1 v(v) j个 n个 + 1 2 { 4 ( u个 j个 n个 + 1 2 ) x个 图6 1 ( u个 j个 n个 + 1 2 ) x个 ¨ } + 1 { 4 [ ( u个 j个 n个 + 1 2 ) 2 ] x个 图6 1 [ ( u个 j个 n个 + 1 2 ) 2 ] x个 ¨ } = ( u个 u个 x个 ) | j个 n个 + 1 2 + O(运行) ( 小时 4 ) .
(4.14)

显然,根据(4.7)、(4.12)、(413)和(4.14),(4.4)成立。□

引理4.1 假设 u个 0 H(H) 0 1 [ x个 L(左) , x个 R(右) ],那么初始值的解-边值问题(1.1)-(1.3)满足

u个 L(左) 2 C类, u个 x个 L(左) 2 C类, u个 L(左) C类.

证明由(1.6)可知

E类(t吨)= u个 L(左) 2 2 + u个 x个 L(左) 2 2 =E类(0)=C类,

这就产生了

u个 L(左) 2 C类, u个 x个 L(左) 2 C类.

根据Sobolev不等式, u个 L(左) C类持有。□

引理4.2 假设 u个 0 H(H) 0 1 [ x个 L(左) , x个 R(右) ],然后是方案的解决方案(2.1)-(2.3)满足

u个 n个 C类, u个 x个 n个 C类, u个 n个 C类

对于 n个=1,2,,N个.

证明根据定理2.1和引理2.1

u个 n个 2 + u个 x个 n个 2 E类 n个 = u个 n个 2 + 4 u个 x个 n个 2 1 u个 x个 图6 n个 2 =C类,

也就是说,

u个 n个 C类, u个 x个 n个 C类.

通过离散Sobolev不等式[18],我们有 u个 n个 C类. □

定理4.2 假设 u个 0 H(H) 0 1 [ x个 L(左) , x个 R(右) ],然后是解决方案 u个 n个 差分格式(2.1)-(2.3)收敛于问题的解决(1.1)-(1.3)带订单 O(运行)( τ 2 + 小时 4 ) 规范.

证明出租

e(电子) j个 n个 = v(v) j个 n个 u个 j个 n个 ,

从(4.1)-(4.3)中分别减去(2.1)-(2.3),我们得到

第页 j个 n个 = ( e(电子) j个 n个 ) t吨 4 ( e(电子) j个 n个 ) x个 x个 ¯ t吨 + 1 ( e(电子) j个 n个 ) x个 图6 x个 图6 t吨 + 4 ( e(电子) j个 n个 + 1 2 ) x个 图6 第页 j个 n个 = 1 ( e(电子) j个 n个 + 1 2 ) x个 ¨ + φ ( v(v) j个 n个 + 1 2 ) φ ( u个 j个 n个 + 1 2 ) 第页 j个 n个 = κ ( v(v) j个 n个 + 1 2 ) + κ ( u个 j个 n个 + 1 2 ) , j个 = 1 , 2 , , J型 1 n个 = 1 , 2 , , N个 1 ,
(4.15)
e(电子) j个 0 =0,0j个J型,
(4.16)
e(电子) n个 Z轴 小时 0 ,n个=0,1,2,,N个.
(4.17)

计算(4.15)的内积2 e(电子) n个 + 1 2 ,使用边界条件(4.17),我们得到

第页 n个 , 2 e(电子) n个 + 1 2 = e(电子) n个 t吨 2 + 4 e(电子) x个 n个 t吨 2 1 e(电子) x个 图6 n个 t吨 2 + 8 e(电子) x个 图6 n个 + 1 2 , e(电子) n个 + 1 2 2 e(电子) x个 ¨ n个 + 1 2 , e(电子) n个 + 1 2 + 2 φ ( v(v) n个 + 1 2 ) φ ( u个 n个 + 1 2 ) , e(电子) n个 + 1 2 2 κ ( v(v) n个 + 1 2 ) κ ( u个 n个 + 1 2 ) , e(电子) n个 + 1 2 .
(4.18)

与(2.8)类似,我们有

e(电子) x个 图6 n个 + 1 2 , e(电子) n个 + 1 2 =0, e(电子) x个 ¨ n个 + 1 2 , e(电子) n个 + 1 2 =0.
(4.19)

根据引理4.1、引理4.2、定理2.1和Cauchy-Schwartz不等式,我们得到

φ ( v(v) n个 + 1 2 ) φ ( u个 n个 + 1 2 ) , e(电子) n个 + 1 2 = 4 9 小时 j个 = 0 J型 [ v(v) j个 n个 + 1 2 ( v(v) j个 n个 + 1 2 ) x个 图6 u个 j个 n个 + 1 2 ( u个 j个 n个 + 1 2 ) x个 图6 ] e(电子) j个 n个 + 1 2 + 4 9 小时 j个 = 0 J型 [ ( v(v) j个 n个 + 1 2 ) 2 ( u个 j个 n个 + 1 2 ) 2 ] x个 图6 e(电子) j个 n个 + 1 2 = 4 9 小时 j个 = 0 J型 [ v(v) j个 n个 + 1 2 ( e(电子) j个 n个 + 1 2 ) x个 图6 + e(电子) j个 n个 + 1 2 ( u个 j个 n个 + 1 2 ) x个 图6 ] e(电子) j个 n个 + 1 2 4 9 小时 j个 = 0 J型 [ e(电子) j个 n个 + 1 2 ( u个 j个 n个 + 1 2 + v(v) j个 n个 + 1 2 ) ] ( e(电子) j个 n个 + 1 2 ) x个 图6 C类 ( e(电子) n个 + 1 2 + e(电子) n个 2 + e(电子) x个 图6 n个 + 1 2 + e(电子) x个 图6 n个 2 ) C类 ( e(电子) n个 + 1 2 + e(电子) n个 2 + e(电子) x个 n个 + 1 2 + e(电子) x个 n个 2 ) ,
(4.20)
κ ( v(v) n个 + 1 2 ) κ ( u个 n个 + 1 2 ) , e(电子) n个 + 1 2 = 1 9 小时 j个 = 0 J型 [ v(v) j个 n个 + 1 2 ( v(v) j个 n个 + 1 2 ) x个 ¨ u个 j个 n个 + 1 2 ( u个 j个 n个 + 1 2 ) x个 ¨ ] e(电子) j个 n个 + 1 2 + 1 9 小时 j个 = 0 J型 [ ( v(v) j个 n个 + 1 2 ) 2 ( u个 j个 n个 + 1 2 ) 2 ] x个 ¨ e(电子) j个 n个 + 1 2 = 1 9 小时 j个 = 0 J型 [ v(v) j个 n个 + 1 2 ( e(电子) j个 n个 + 1 2 ) x个 ¨ + e(电子) j个 n个 + 1 2 ( u个 j个 n个 + 1 2 ) x个 ¨ ] e(电子) j个 n个 + 1 2 1 9 小时 j个 = 0 J型 [ e(电子) j个 n个 + 1 2 ( u个 j个 n个 + 1 2 + v(v) j个 n个 + 1 2 ) ] ( e(电子) j个 n个 + 1 2 ) x个 ¨ C类 ( e(电子) n个 + 1 2 + e(电子) n个 2 + e(电子) x个 ¨ n个 + 1 2 + e(电子) x个 ¨ n个 2 ) C类 ( e(电子) n个 + 1 2 + e(电子) n个 2 + e(电子) x个 n个 + 1 2 + e(电子) x个 n个 2 )
(4.21)

第页 n个 , 2 e(电子) n个 + 1 2 = 第页 n个 , e(电子) n个 + 1 + e(电子) n个 第页 n个 2 + e(电子) n个 + 1 2 + e(电子) n个 2 .
(4.22)

将(4.19)-(4.22)代入(4.18),我们得到

e(电子) n个 t吨 2 + 4 e(电子) x个 n个 t吨 2 1 e(电子) x个 图6 n个 t吨 2 第页 n个 2 +C类 ( e(电子) n个 + 1 2 + e(电子) n个 2 + e(电子) x个 n个 + 1 2 + e(电子) x个 n个 2 ) .
(4.23)

出租 B类 n个 = e(电子) n个 2 + 4 e(电子) x个 n个 2 1 e(电子) x个 图6 n个 2 并从0到求和(4.23)n个1,我们有

B类 n个 B类 0 +C类τ = 0 n个 1 第页 2 +C类τ = 0 n个 ( e(电子) 2 + e(电子) x个 2 ) .
(4.24)

通知

τ = 0 n个 1 第页 2 n个τ 最大值 0 n个 1 第页 2 T型O(运行) ( τ 2 + 小时 4 ) 2 ,

B类 0 =O(运行) ( τ 2 + 小时 4 ) 2 ,从(4.24),我们得到

e(电子) n个 2 + e(电子) x个 n个 2 B类 n个 O(运行) ( τ 2 + 小时 4 ) 2 +C类τ = 0 n个 ( e(电子) 2 + e(电子) x个 2 ) .

通过离散Gronwall不等式[18],我们有

e(电子) n个 O(运行) ( τ 2 + 小时 4 ) , e(电子) x个 n个 O(运行) ( τ 2 + 小时 4 ) .

最后,通过离散Sobolev不等式[18],我们得到

e(电子) n个 O(运行) ( τ 2 + 小时 4 ) .

这就完成了定理4.2的证明。□

同样,我们可以证明差分解的稳定性和唯一性。

定理4.3 在定理的条件下4.2,方案的求解(2.1)-(2.3)通过 规范.

定理4.4 解决方案 u个 n个 方案的(2.1)-(2.3)是独一无二的.

5数值实验

在本节中,我们计算了一个数值例子来证明我们的差分格式的有效性。RLW方程的单波解(1.1)由

u个(x个,t吨)=A类 2 (k个x个ωt吨+δ),
(5.1)

哪里

A类= 2 1 2 ,k个= 2 ,ω= 2 ( 1 2 ) ,

,δ是常量。

方案(2.1)-(2.3)是一个非线性方程组,可以通过牛顿迭代求解。采取= 1 2 ,δ=0,问题(1.1)-(1.3)的初始函数重写为

u个(x个,0)= 2 ( 1 4 x个 ) .

在数值实验中,我们取 x个 L(左) =50, x个 R(右) =50T型=10.在以下意义上的错误 L(左) -规范和 L(左) 2 -不同网格步长下数值解的范数小时τ表中列出了1.表2结果表明,该格式的计算阶数与理论阶数非常接近。此外,由于我们已经在定理2.1中证明了数值解 u个 n个 分别满足不变量(2.4)和(2.5),表还展示了离散质量的守恒定律 n个 和离散能量 E类 n个 .

表1不同条件下数值解的误差估计 小时 τ
表2理论精度的数值验证 O(运行)( τ 2 + 小时 4 )
表3离散质量和离散能量 小时 τ

从这些计算结果中,验证了该方案的稳定性和收敛性,并表明我们提出的算法是有效的。

工具书类

  1. Peregrine DH:海滩上的长波。J.流体力学。1967, 27: 815-827. 10.1017/S0022112067002605

    第条 数学 谷歌学者 

  2. Bona JL,Bryant PJ:非线性色散系统中造波机产生的长波的数学模型。程序。外倾角。菲洛斯。Soc公司。1973, 73: 391-405. 10.1017/S0305004100076945

    第条 数学科学网 数学 谷歌学者 

  3. Wazwaz AM:RLW和PHI方程非线性变量的分析研究。Commun公司。非线性科学。数字。模拟。2007, 12: 314-327. 2016年10月10日/j.cnsns.2005.03.001

    第条 数学科学网 数学 谷歌学者 

  4. Soliman AA:用He的变分迭代法对广义正则长波方程进行数值模拟。数学。计算。模拟。2005, 70: 119-124. 2016年10月10日/j.matcom.2005.06.002

    第条 数学科学网 数学 谷歌学者 

  5. Yusufoglu E,Bekir A:变分迭代法在正则长波方程中的应用。计算。数学。申请。2007, 54: 1154-1161. 2016年10月10日/j.camwa.2006.12.073

    第条 数学科学网 数学 谷歌学者 

  6. Chang Q,Wang G,Guo B:边界运动诱导的非线性色散波及其孤立波模型的保守格式。J.计算。物理学。1991, 93: 360-375. 10.1016/0021-9991(91)90189-R

    第条 数学科学网 数学 谷歌学者 

  7. Ramos JI:EW和RLW方程的显式有限差分方法。申请。数学。计算。2006, 179: 622-638. 2016年10月10日/j.amc.2005.12.003

    第条 数学科学网 数学 谷歌学者 

  8. 张磊,常Q:正则长波方程的一种新的有限差分方法。J.数字。方法计算。申请。2000, 21: 247-254.

    数学科学网 谷歌学者 

  9. Christou MA,Christov CI:通过Galerkin谱方法,正则长波方程的相互作用局域波。数学。计算。模拟。2005, 69: 257-268. 2016年10月10日/j.matcom.2005.01.004

    第条 数学科学网 数学 谷歌学者 

  10. Alexender ME,Morris JL:Galerkin方法应用于非线性色散波的一些模型方程。J.计算。物理学。1979年,30:428-451。10.1016/0021-9991(79)90124-4

    第条 数学科学网 谷歌学者 

  11. Esen A,Kutluay S:集总Galerkin方法在正则长波方程中的应用。申请。数学。计算。2006, 174: 833-845. 2016年10月10日/j.amc.2005.05.032

    第条 数学科学网 数学 谷歌学者 

  12. Gu H,Chen N:RLW方程的最小二乘混合有限元方法。数字。方法部分差异。等于。2008, 24: 749-758. 10.1002/编号20285

    第条 数学科学网 数学 谷歌学者 

  13. Mei L,Chen Y:RLW方程的数值解,使用Galerkin方法和外推技术。计算。物理学。Commun公司。2012, 183: 1609-1616. 2016年10月10日/j.cpc.2012.02.029

    第条 数学科学网 数学 谷歌学者 

  14. Soliman AA,Hussien MH:RLW方程的配置解与化粪池样条。申请。数学。计算。2005, 161: 623-636. 2016年10月10日/j.amc.2003.12.053

    第条 数学科学网 数学 谷歌学者 

  15. El-Danaf TS,Ramadan MA,Abd Alaal FEI:使用adomian分解方法求解正则长波方程。混沌孤子分形2005, 26: 747-757. 2016年10月10日/j.chaos.2005.02.012

    第条 数学科学网 数学 谷歌学者 

  16. Li S,Vu-Quoc L:非线性Klein-Gordon方程一类算法的有限差分不变量结构。SIAM J.数字。分析。1995, 32: 1839-1875. 10.1137/0732083

    第条 数学科学网 数学 谷歌学者 

  17. Zhang F,Victor MP,Luis V:非线性薛定谔系统的数值模拟:一种新的保守格式。申请。数学。计算。1995年,71:165-177。10.1016/0096-3003(94)00152-T

    第条 数学科学网 数学 谷歌学者 

  18. 周勇:离散函数分析在有限差分法中的应用.国际。阿卡德。出版社,北京;1990

    谷歌学者 

  19. Browder FE:非线性边值问题解的存在唯一性定理。程序。交响乐团。申请。数学。1965, 17: 24-49.

    第条 数学科学网 谷歌学者 

下载参考资料

鸣谢

作者感谢编辑和匿名审稿人为提高论文质量提出的建设性意见和建议。本研究得到四川省教育厅科研基金(No.11ZB009)和西南科技大学博士项目研究基金(No.11zx7129)的资助。

作者信息

作者和附属机构

作者

通讯作者

通信至胡劲松.

其他信息

竞争性利益

作者声明,他们没有相互竞争的利益。

作者的贡献

这篇论文是所有作者的共同作品,他们对论文的最终版本做出了同等的贡献。所有作者阅读并批准了最终手稿。

权利和权限

开放式访问本文根据Creative Commons Attribution 2.0 International License的条款分发(https://creativecommons.org/licenses/by/2.0)它允许在任何介质中不受限制地使用、分发和复制原始作品,前提是正确引用了原始作品。

转载和许可

关于本文

引用这篇文章

Zheng,K.,Hu,J.正则长波方程的高阶保守Crank-Nicolson格式。高级差异Equ 2013, 287 (2013). https://doi.org/10.1186/1687-1847-2013-287

下载引文

  • 收到:

  • 认可的:

  • 出版:

  • 内政部:https://doi.org/10.1186/1687-1847-2013-287

关键词