让是问题(1.1)-(1.3)的解决方案,则得到方案(2.1)-(2.3)的截断误差如下:
(4.1)
(4.2)
(4.3)
根据泰勒展开,我们得到了以下结果。
定理4.1 保持为 .
证明自是问题(1.1)-(1.3)的解决方案,我们有
(4.4)
首先,考虑术语,通过泰勒展开,我们得到
(4.5)
(4.6)
由(4.5)和(4.6)可知
(4.7)
同样,通过泰勒展开,我们可以分别得到以下结果:
(4.8)
(4.9)
和
(4.10)
(4.11)
因此,通过(4.8)和(4.9),我们得到了
(4.12)
根据(4.10)和(4.11),我们已经
(4.13)
此外,
(4.14)
显然,根据(4.7)、(4.12)、(413)和(4.14),(4.4)成立。□
引理4.1 假设 ,那么初始值的解-边值问题(1.1)-(1.3)满足
证明由(1.6)可知
这就产生了
根据Sobolev不等式,持有。□
引理4.2 假设 ,然后是方案的解决方案(2.1)-(2.3)满足
对于 .
证明根据定理2.1和引理2.1
也就是说,
通过离散Sobolev不等式[18],我们有. □
定理4.2 假设 ,然后是解决方案 差分格式(2.1)-(2.3)收敛于问题的解决(1.1)-(1.3)带订单 由 规范.
证明出租
从(4.1)-(4.3)中分别减去(2.1)-(2.3),我们得到
(4.15)
(4.16)
(4.17)
计算(4.15)的内积,使用边界条件(4.17),我们得到
(4.18)
与(2.8)类似,我们有
(4.19)
根据引理4.1、引理4.2、定理2.1和Cauchy-Schwartz不等式,我们得到
(4.20)
(4.21)
和
(4.22)
将(4.19)-(4.22)代入(4.18),我们得到
(4.23)
出租并从0到求和(4.23),我们有
(4.24)
通知
和,从(4.24),我们得到
通过离散Gronwall不等式[18],我们有
最后,通过离散Sobolev不等式[18],我们得到
这就完成了定理4.2的证明。□
同样,我们可以证明差分解的稳定性和唯一性。
定理4.3 在定理的条件下4.2,方案的求解(2.1)-(2.3)通过 规范.
定理4.4 解决方案 方案的(2.1)-(2.3)是独一无二的.