StokesDarcy耦合问题的算法设计和数值分析.pdfVIP

兹呈交的学位论文，是本人在导师指导下独立完成的研究成果。本人

在论文写作中参考的其他个人或集体的研究成果，均在文中以明确方式标

明。本人依法享有和承担由此论文产生的权利和责任。

声明人（签名）：

年月日

ｌＩＩＩＩＩ

ＩＩｌｌｌ

Ｙ２４４３２９４

厦门大学学位论文著作权使用声明

本人完全了解厦门大学有关保留、使用学位论文的规定。厦门大学有

权保留并向国家主管部门或其指定机构送交论文的纸质版和电子版，有权

将学位论文用于非赢利目的的少量复制并允许论文进入学校图书馆被查

阅，有权将学位论文的内容编入有关数据库进行检索，有权将学位论文的

标题和摘要汇编出版。保密的学位论文在解密后适用本规定。

本学位论文属于

１、保密（），在年解密后适用本授权书。

２、不保密（）

作者签名：日期：年月日

导师签名：日期：年月日

中文摘要

中文摘要

和某些合适的交界面条件构成。近年来，该耦合问题受到越来越多的关注。一方面是

因为它在水力学、环境科学、生物流体力学等诸多领域有着广泛的应用；另一方面，

该问题在数学理论和数值分析方面也很具有挑战性。例如，两区域内方程特征的差异

以及交界面上耦合条件的处理等都给算法设计和数值分析带来困难。

本文从理论和数值计算两方面对Ｓｔｏｋｅｓ／Ｄａｒｅｙ耦合方程及其相关问题进行深入研

究，主要内容包括以下四部分。

第一部分，研究ＴＳｔｏｋｅｓ／Ｄａｒｃｙ耦合问题的谱方法逼近。主要贡献包括：１）引

进了解决这类问题的新的弱形式，在这一框架下，除了考虑经典的Ｂｅａｖｅｒｓ—Ｊｏｓｅｐｈ－．

Ｓａｆｆｍａｎ条件外，还采用了另一可替代的交面条件。通过把这两类交面条件所产生的

弱形式统一成鞍点问题，我们得以应用经典的鞍点理论证明了问题的适定性。２）构

造了数值求解耦合鞍点问题的一个新的谱方法，证明了逼近空间满足ｉｎｆ－ｓｕｐ条件，估

计Ｔｉｎｆ－ｓｕｐ常数，并借此推导了速度和压力的逼近误差。３）提出了求解谱逼近产生

的代数系统的有效方法，通过一系列算例验证了理论结果的正确性，并数值考察了代

数系统的性质。４）作为上述结果的拓展，研究了当交面不是直线（２Ｄ情形）或平面

（３Ｄ情形）的情况下，ｍＢｃａｖｅｒｓ－．Ｊｏｓｅｐｈ交面条件代替Ｂｅａｖｅｒｓ－Ｊｏｓｅ

行性，在原有框架下进行了理论分析，得出了新耦合问题弱解的存在唯一性。

第二部分，研究了Ｌｅｇｅｎｄｒｅ－．Ｇａｌｅｒｋｉｎ谱方法逼

差估计。主要贡献包括：１）首次用谱方法对ｓｔｏｋｅｓ／Ｄａｒｃｙ耦合问题的后验误差估计进

行了深入分析，利用残值法和加权的逆不等式理论，给出了后验误差估计的上界和下

界。２）充分考虑方程本身的性质，把Ｄａｒｃｖ部分的速度和压力一起考虑，技巧性地解

决ＴＤａｒｃｙ部分后验误差估计子的下界问题。

第三部分，研究了用有限元法求解可兼容交面条件下的Ｓｔｏｋｅｓ／Ｄａｒｃｙ耦合方程的后

验误差估计。在多孔介质区域用Ｒａｖｉａｒｔ—Ｔｈｏｍａｓ空间而在自由流体区域选取Ｂｅｒｎａｒｄｉ—

Ｒａｕｇｅｌ空间对解空间进行逼近。利用残值法，我们得到ｆＳｔｏｋｅｓ／Ｄａ：

的后验误差估计。

第四部分，研究了用有限元法求解Ｂｅａｖｅｒｓ，．Ｊｏｓｅｐｈ－Ｓａｆｆｒｎａｎ条件下

耦合方程的后验误差估计。基于第一部分提出的弱形式并选取合适的有限元逼近空间，

我们得到了最优的后验误差估计子。