研究有限差分格式稳定性的其他方法 - 报告
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
[6] R．D．里奇特迈尔著，何旭初等译：《初值问题差分方法》，科学出版社，北京，1966
[7 ] R. D. Richtmyer，Difference Methods for Initial-Value Problems，Interscience Pub.，New York，1957.）
[8] R. D. Richtmyer，K. W. Morton，Difference Methods for Initial-Value Problems，2nd ed.，Interscience Pub.，New York，1967.
引入误差向量 ，其中 是差分方程（3.5）的精确值（理论值）， 是差分方程（3.5）经数值求解得到的值（包括了舍入误差等）。显然， 满足
（3.7）
从而推出
（3.8）
差分格式（3.5）的稳定性就要求
（3.9）
其中 为向量的2-范数。由于
因此（3.9）式成立的充分必要条件为
（3.10）
上述采用2-范数，当然也可以采用其他类型的范数。对于稳定性条件（3.10），可以仿Fourier方法中的推导，得到一些结论：
2 Hirt
2.1
Hirt启示性方法是一种近似分析方法。主要是把差分格式在某确定点上作泰勒级数近似展开，把高阶误差略去，只留下最低阶的误差项。如果差分格式是相容的，那么这样得到的新的微分方程（称之为第一微分近似或修正微分方程）与原来的微分方程相比只增加了一些含小参数的较高阶导数的附加项。Hirt方法就是利用第一微分近似的适应性来研究差分格式的稳定性。Hirt方法的判别准则是这样的：如果第一微分近似是适定的，那么原来微分方程的差分格式是稳定的，否则不稳定。其实所述的微分格式是原来微分方程问题的相容的差分格式，那么也可以看作第一微分近似问题的相容的差分格式。如果第一微分近似问题是不适定的，那么它的差分格式将不稳定[1]。
将它代入（3.12）式的第一式，便得到关于 的一元二次方程
此方程称为（3.12）式的第一式的特征方程。由于 ，所以其解为
其中 。可以看到
取 ，则 。因此差分方程（3.12）的解可以表示为
由 ，得到 。再由 ，得到 ，从而有
由此可推 。 ，有 。所以得到 ，可以得到 。注意到 ，则 的特征值为 。从而得到 的特征值为
2.2
先给出几个方程
（2.1）
（2.2）
（2.3）
考虑对流方程（2.1）的差分格式（2.3），在点 进行Taylor技术展开，有
利用对流方程（2.1），有
因此，在点 上，有差分方程（2.3）可以得到
略去高阶误差项，得出第一微分方程近似
要使上面的抛物型方程有意义，必须有
而上面的不等号改为等号，则就化为原来的对流方程。在这两种情况下，相应的问题是适定的。即第一微分近似适定的条件是
由此得出差分格式（2.3）的稳定性条件是 ，其中 。此结论与Fourier方法分析得到的结论是一致的。
下面我们再来分析逼近对流方程（2.1）（仍设 ）的差分格式（2.2）的稳定性。模仿上面的推导可以得到它的第一微分近似是
可以看出 的系数小于0，因此第一微分近似是不适定的，从而推出差分格式（2.2）是不稳定的。
参考文献
[1]陆金甫,关治：《偏微分方程数值解法》，清华大学出版社，北京，2003
[2]冯康等编：《数值计算方法》，国防工业出版社，北京，1978.
[3]胡祖炽编：《计算方法》，高等教育出版社，北京，1959。
[4]清华大学、北京大学《计算方法》编与组编：（计算方法），科学出版社，北京，1980。
[5]朱幼兰等著：《初边值问题差分法及绕流》，科学出版社，北京，1980。
其中 为 阶单位矩阵。由此可知，关键是求出 的特征值和特征向量。
设 和 分别为 的特征值和特征向量，
写成分量的形式有
（3.12）
先求出 ，再求出 的特征值 。由于 为对称矩阵，所以其特征值 为实数。由Gerschgorin定理知，
ቤተ መጻሕፍቲ ባይዱ其中 为矩阵 的元素。由此得到 。（3.12）式的第一式为常系数线性差分方程。设其解具有如下形式：
（1）谱半径条件
（3.11）
是差分格式稳定的一个必要条件，其中 为常数。
（2）如果矩阵 是一个正规矩阵，则（3.11）式也是格式稳定的一个充分条件。
下面讨论差分格式（3.5），（3.6）的稳定性。矩阵（3.6）是对称矩阵，所以只要使条件（3.11）成立即可。现在来计算 的特征值。
令 阶方阵
则 可以表示为
4.2
考虑变系数对流方程的初值问题
（4.1）
假定 ，建立差分格式
（4.2）
其中 。下面用能量不等式方法来讨论这个差分格式的稳定性。先把它改变形式为
其中 为网格比。用 乘上式的两边，得
如果 满足条件
（4.3）
则有
移项得
用 乘上面不等式的两边，并对 求和，令
则有
如果
（4.4）
则有
由此可得
由于问题是线性的，因此上述不等式就证明了差分格式（4.2）的稳定性。由此看出，条件（4.4）是微分方程问题中给定的。而差分格式稳定性条件就是（4.3式）式。如果 即为常系数问题，那么（4.4）式满足，而条件（4.3）就化为 ，这与我们在课上所学的用Fourier方法得到的结论一致。
Key words:partial differential equation; finite difference scheme; stability
1
微分方程的定解问题就是在满足某些定解条件下求微分方程的解。在空间区域的边界上要满足的定解条件称为边值条件。如果问题与时间有关，在初始时刻所要满足的定解条件，称为初值条件。不含时间而只带边值条件的定解问题，称为边值问题。与时间有关而只带初值条件的定解问题，称为初值问题。同时带有两种定解条件的问题，称为初值边值混合问题。定解问题往往不具有解析解，或者其解析解不易计算。所以要采用可行的数值解法。有限差分方法就是一种数值解法，它的基本思想是先把问题的定义域进行网格剖分，然后在网格点上，按适当的数值微分公式把定解问题中的微商换成差商，从而把原问题离散化为差分格式，进而求出数值解。此外，还要研究差分格式的解的存在性和唯一性、解的求法、解法的数值稳定性、差分格式的解与原定解问题的真解的误差估计、差分格式的解当网格大小趋于零时是否趋于真解（即收敛性），等等。有限差分方法具有简单、灵活以及通用性强等特点，容易在计算机上实现。在课上我们已经跟着老师学习了运用Fourier方法研究有限差分格式的稳定性，但是在很多研究有限差分格式稳定性的问题中仅仅会用Fourier方法是不够的，所以在本篇论文中，将会介绍其他三种常用的研究有限差分格式稳定性的方法，分别是：Hirt启示型方法、直接方法和能量不等式方法。
3
关于抛物型方程初值问题的差分格式的稳定性问题，可以用直接方法（或称矩阵方法）来研究。下面用具体例子来说明这个方法的基本思想及使用方法。
考虑常系数扩散方程的初值问题
（3.1）
采用显示差分格式来逼近，即
（3.2）
其中 。先把差分格式（3.2）写成
（3.3）
其中 。可以把（3.3）写成向量形式，即
（3.4）
2015年秋季学期研究生课程考核
（读书报告、研究报告）
考核科目
:偏微分方程数值解法
学生所在院（系）
:理学院数学系
学生所在学科
:数学
学生姓名
: Hiter
学号
: 1XS012000
学生类别
:
考核结果
阅卷人
研究有限差分格式稳定性的其他方法
摘要
偏微分方程的求解一直是大家比较关心的一个问题，而有限差分格式则是求解偏微分方程时常用并且有效的一个方法。因此，研究有限差分格式的性质就显得尤为重要。在课上我们已经跟着老师学习了运用Fourier方法研究有限差分格式的稳定性，但是在很多研究有限差分格式稳定性的问题中仅仅会用Fourier方法是不够的，所以在本篇论文中，将会介绍其他三种常用的研究有限差分格式稳定性的方法，分别是：Hirt启示型方法、直接方法（或称矩阵方法）和能量不等式方法。
当 时， 。因此显示格式的稳定性条件为 。
下面讨论隐式格式
的稳定性。
可以把隐式格式写成向量形式
其中 ， 。利用前面已经求得的 的特征值，可以得到 的特征值
由此可知， ，从而有 。注意的 为对称矩阵，所以 也为对称矩阵，利用直接方法结论（2）知，扩散方程隐式格式是无条件稳定的。
从上面的叙述看来，利用直接方法来分析抛物型方程的初值问题的差分格式并不困难。但在实际应用中却存在着一定的限制。上面讨论稳定性的两个例子中式依据了特殊矩阵 才求出了 阶矩阵 、 的特征值。一般说来，计算高阶矩阵的特征值是相当困难的，因此直接方法应用也就很困难了。
关键字：偏微分方程；有限差分格式；稳定性
Abstract
The solution of partial differential equations has been more concerned with a problem, and the finite difference scheme is a common and effective method for solving partial differential equations. Therefore, it is very important to study the character of the finite difference scheme. We have followed the teacher to learn the use of Fourier method of finite difference scheme stability, but in a lot of research on the stability of finite difference scheme is only used Fourier method is not enough, so in this paper, will introduce the other three kinds of commonly used in the study of finite difference scheme stability method, respectively is: Hirt enlightenment method, direct method (or matrix method) and energy inequality method.
4
4.1
在讨论线性常系数差分格式的稳定性问题时，建立了判别差分格式的稳定性准则，从而比较容易地判断一些差分格式的稳定性。但对于变系数问题和非线性问题，一般不能采用Fourier方法和直觉法来讨论差分格式的稳定性。而对于上述这些问题，能量不等式方法是研究差分格式稳定性的有力工具。用能量不等式方法讨论差分格式稳定性是从稳定性的定义出发，通过一系列估计式来完成的。这个方法是偏微分方程中常用的能量方法的离散模拟，在此我们仅通过例子叙述其基本思想。
如果令
并考虑到 ，则（3.4）式可以写成
（3.5）
其中
（3.6）
从显示格式出发，得到方程组（3.5）式，也可以理解为较为一般的形式，即对于逼近初值问题（3.2）的其他二层格式也可以化为（3.5）式的形式。当然此时 不是（3.6）式所表示的形式。如果差分格式是二层隐式格式。则 为 这种形式。因此（3.5）式这种形式可理解为既包含二层显示格式又包含二层隐士格式的较为一般的形式。
5
在本篇论文中，从微分方程的基本概念出发，先介绍了微分方程中比较基本的概念，然后又介绍了有限差分格式的性质。在介绍有限差分格式时从三种求解有限差分格式稳定性的方法出发，分别是：Hirt启示性方法、直接方法（或矩阵方法）和能量不等式方法。在介绍这三种的方法时也是先从基本思想出发，然后分别阐述其方法原理、公式推导和实际应用等。但是求解有限差分格式稳定性的方法很多，作者也仅仅介绍了三种方法，希望能起到抛砖引玉的作用。
[7 ] R. D. Richtmyer，Difference Methods for Initial-Value Problems，Interscience Pub.，New York，1957.）
[8] R. D. Richtmyer，K. W. Morton，Difference Methods for Initial-Value Problems，2nd ed.，Interscience Pub.，New York，1967.
引入误差向量 ，其中 是差分方程（3.5）的精确值（理论值）， 是差分方程（3.5）经数值求解得到的值（包括了舍入误差等）。显然， 满足
（3.7）
从而推出
（3.8）
差分格式（3.5）的稳定性就要求
（3.9）
其中 为向量的2-范数。由于
因此（3.9）式成立的充分必要条件为
（3.10）
上述采用2-范数，当然也可以采用其他类型的范数。对于稳定性条件（3.10），可以仿Fourier方法中的推导，得到一些结论：
2 Hirt
2.1
Hirt启示性方法是一种近似分析方法。主要是把差分格式在某确定点上作泰勒级数近似展开，把高阶误差略去，只留下最低阶的误差项。如果差分格式是相容的，那么这样得到的新的微分方程（称之为第一微分近似或修正微分方程）与原来的微分方程相比只增加了一些含小参数的较高阶导数的附加项。Hirt方法就是利用第一微分近似的适应性来研究差分格式的稳定性。Hirt方法的判别准则是这样的：如果第一微分近似是适定的，那么原来微分方程的差分格式是稳定的，否则不稳定。其实所述的微分格式是原来微分方程问题的相容的差分格式，那么也可以看作第一微分近似问题的相容的差分格式。如果第一微分近似问题是不适定的，那么它的差分格式将不稳定[1]。
将它代入（3.12）式的第一式，便得到关于 的一元二次方程
此方程称为（3.12）式的第一式的特征方程。由于 ，所以其解为
其中 。可以看到
取 ，则 。因此差分方程（3.12）的解可以表示为
由 ，得到 。再由 ，得到 ，从而有
由此可推 。 ，有 。所以得到 ，可以得到 。注意到 ，则 的特征值为 。从而得到 的特征值为
2.2
先给出几个方程
（2.1）
（2.2）
（2.3）
考虑对流方程（2.1）的差分格式（2.3），在点 进行Taylor技术展开，有
利用对流方程（2.1），有
因此，在点 上，有差分方程（2.3）可以得到
略去高阶误差项，得出第一微分方程近似
要使上面的抛物型方程有意义，必须有
而上面的不等号改为等号，则就化为原来的对流方程。在这两种情况下，相应的问题是适定的。即第一微分近似适定的条件是
由此得出差分格式（2.3）的稳定性条件是 ，其中 。此结论与Fourier方法分析得到的结论是一致的。
下面我们再来分析逼近对流方程（2.1）（仍设 ）的差分格式（2.2）的稳定性。模仿上面的推导可以得到它的第一微分近似是
可以看出 的系数小于0，因此第一微分近似是不适定的，从而推出差分格式（2.2）是不稳定的。
参考文献
[1]陆金甫,关治：《偏微分方程数值解法》，清华大学出版社，北京，2003
[2]冯康等编：《数值计算方法》，国防工业出版社，北京，1978.
[3]胡祖炽编：《计算方法》，高等教育出版社，北京，1959。
[4]清华大学、北京大学《计算方法》编与组编：（计算方法），科学出版社，北京，1980。
[5]朱幼兰等著：《初边值问题差分法及绕流》，科学出版社，北京，1980。
其中 为 阶单位矩阵。由此可知，关键是求出 的特征值和特征向量。
设 和 分别为 的特征值和特征向量，
写成分量的形式有
（3.12）
先求出 ，再求出 的特征值 。由于 为对称矩阵，所以其特征值 为实数。由Gerschgorin定理知，
ቤተ መጻሕፍቲ ባይዱ其中 为矩阵 的元素。由此得到 。（3.12）式的第一式为常系数线性差分方程。设其解具有如下形式：
（1）谱半径条件
（3.11）
是差分格式稳定的一个必要条件，其中 为常数。
（2）如果矩阵 是一个正规矩阵，则（3.11）式也是格式稳定的一个充分条件。
下面讨论差分格式（3.5），（3.6）的稳定性。矩阵（3.6）是对称矩阵，所以只要使条件（3.11）成立即可。现在来计算 的特征值。
令 阶方阵
则 可以表示为
4.2
考虑变系数对流方程的初值问题
（4.1）
假定 ，建立差分格式
（4.2）
其中 。下面用能量不等式方法来讨论这个差分格式的稳定性。先把它改变形式为
其中 为网格比。用 乘上式的两边，得
如果 满足条件
（4.3）
则有
移项得
用 乘上面不等式的两边，并对 求和，令
则有
如果
（4.4）
则有
由此可得
由于问题是线性的，因此上述不等式就证明了差分格式（4.2）的稳定性。由此看出，条件（4.4）是微分方程问题中给定的。而差分格式稳定性条件就是（4.3式）式。如果 即为常系数问题，那么（4.4）式满足，而条件（4.3）就化为 ，这与我们在课上所学的用Fourier方法得到的结论一致。
Key words:partial differential equation; finite difference scheme; stability
1
微分方程的定解问题就是在满足某些定解条件下求微分方程的解。在空间区域的边界上要满足的定解条件称为边值条件。如果问题与时间有关，在初始时刻所要满足的定解条件，称为初值条件。不含时间而只带边值条件的定解问题，称为边值问题。与时间有关而只带初值条件的定解问题，称为初值问题。同时带有两种定解条件的问题，称为初值边值混合问题。定解问题往往不具有解析解，或者其解析解不易计算。所以要采用可行的数值解法。有限差分方法就是一种数值解法，它的基本思想是先把问题的定义域进行网格剖分，然后在网格点上，按适当的数值微分公式把定解问题中的微商换成差商，从而把原问题离散化为差分格式，进而求出数值解。此外，还要研究差分格式的解的存在性和唯一性、解的求法、解法的数值稳定性、差分格式的解与原定解问题的真解的误差估计、差分格式的解当网格大小趋于零时是否趋于真解（即收敛性），等等。有限差分方法具有简单、灵活以及通用性强等特点，容易在计算机上实现。在课上我们已经跟着老师学习了运用Fourier方法研究有限差分格式的稳定性，但是在很多研究有限差分格式稳定性的问题中仅仅会用Fourier方法是不够的，所以在本篇论文中，将会介绍其他三种常用的研究有限差分格式稳定性的方法，分别是：Hirt启示型方法、直接方法和能量不等式方法。
3
关于抛物型方程初值问题的差分格式的稳定性问题，可以用直接方法（或称矩阵方法）来研究。下面用具体例子来说明这个方法的基本思想及使用方法。
考虑常系数扩散方程的初值问题
（3.1）
采用显示差分格式来逼近，即
（3.2）
其中 。先把差分格式（3.2）写成
（3.3）
其中 。可以把（3.3）写成向量形式，即
（3.4）
2015年秋季学期研究生课程考核
（读书报告、研究报告）
考核科目
:偏微分方程数值解法
学生所在院（系）
:理学院数学系
学生所在学科
:数学
学生姓名
: Hiter
学号
: 1XS012000
学生类别
:
考核结果
阅卷人
研究有限差分格式稳定性的其他方法
摘要
偏微分方程的求解一直是大家比较关心的一个问题，而有限差分格式则是求解偏微分方程时常用并且有效的一个方法。因此，研究有限差分格式的性质就显得尤为重要。在课上我们已经跟着老师学习了运用Fourier方法研究有限差分格式的稳定性，但是在很多研究有限差分格式稳定性的问题中仅仅会用Fourier方法是不够的，所以在本篇论文中，将会介绍其他三种常用的研究有限差分格式稳定性的方法，分别是：Hirt启示型方法、直接方法（或称矩阵方法）和能量不等式方法。
当 时， 。因此显示格式的稳定性条件为 。
下面讨论隐式格式
的稳定性。
可以把隐式格式写成向量形式
其中 ， 。利用前面已经求得的 的特征值，可以得到 的特征值
由此可知， ，从而有 。注意的 为对称矩阵，所以 也为对称矩阵，利用直接方法结论（2）知，扩散方程隐式格式是无条件稳定的。
从上面的叙述看来，利用直接方法来分析抛物型方程的初值问题的差分格式并不困难。但在实际应用中却存在着一定的限制。上面讨论稳定性的两个例子中式依据了特殊矩阵 才求出了 阶矩阵 、 的特征值。一般说来，计算高阶矩阵的特征值是相当困难的，因此直接方法应用也就很困难了。
关键字：偏微分方程；有限差分格式；稳定性
Abstract
The solution of partial differential equations has been more concerned with a problem, and the finite difference scheme is a common and effective method for solving partial differential equations. Therefore, it is very important to study the character of the finite difference scheme. We have followed the teacher to learn the use of Fourier method of finite difference scheme stability, but in a lot of research on the stability of finite difference scheme is only used Fourier method is not enough, so in this paper, will introduce the other three kinds of commonly used in the study of finite difference scheme stability method, respectively is: Hirt enlightenment method, direct method (or matrix method) and energy inequality method.
4
4.1
在讨论线性常系数差分格式的稳定性问题时，建立了判别差分格式的稳定性准则，从而比较容易地判断一些差分格式的稳定性。但对于变系数问题和非线性问题，一般不能采用Fourier方法和直觉法来讨论差分格式的稳定性。而对于上述这些问题，能量不等式方法是研究差分格式稳定性的有力工具。用能量不等式方法讨论差分格式稳定性是从稳定性的定义出发，通过一系列估计式来完成的。这个方法是偏微分方程中常用的能量方法的离散模拟，在此我们仅通过例子叙述其基本思想。
如果令
并考虑到 ，则（3.4）式可以写成
（3.5）
其中
（3.6）
从显示格式出发，得到方程组（3.5）式，也可以理解为较为一般的形式，即对于逼近初值问题（3.2）的其他二层格式也可以化为（3.5）式的形式。当然此时 不是（3.6）式所表示的形式。如果差分格式是二层隐式格式。则 为 这种形式。因此（3.5）式这种形式可理解为既包含二层显示格式又包含二层隐士格式的较为一般的形式。
5
在本篇论文中，从微分方程的基本概念出发，先介绍了微分方程中比较基本的概念，然后又介绍了有限差分格式的性质。在介绍有限差分格式时从三种求解有限差分格式稳定性的方法出发，分别是：Hirt启示性方法、直接方法（或矩阵方法）和能量不等式方法。在介绍这三种的方法时也是先从基本思想出发，然后分别阐述其方法原理、公式推导和实际应用等。但是求解有限差分格式稳定性的方法很多，作者也仅仅介绍了三种方法，希望能起到抛砖引玉的作用。