Core Concepts
本論文では、Biot's 2次元圧密モデルの3変数定式化に対して、一体型2段階Schwarzプリコンディショナーを構築し、その収束性を理論的に解析した。
Abstract
本論文では、Biot's 2次元圧密モデルの3変数定式化に対して、一体型2段階Schwarzプリコンディショナーを提案している。
まず、時間離散化と空間離散化を行い、質量保存性の高い混合有限要素法を用いて離散化モデルを構築した。次に、この離散化モデルに対して、一体型2段階Schwarzプリコンディショナーを定義した。このプリコンディショナーは、局所サブドメイン問題と大域的粗視化問題を組み合わせたものである。
理論解析では、まず離散化モデルを等価な対称正定値問題に変換し、その上で安定な分解を示した。これにより、対称正定値問題に対する既存の理論を適用して、プリコンディショナーの収束性を証明した。特に、透過率係数の上下限に依存するものの、その他のモデルパラメータに対して頑健な収束性を示した。
最後に、数値実験により、理論的な収束性の結果を確認した。
Stats
圧密モデルのLamé定数λ、μは正の定数である。
透過率テンソルˆKは対称正定値であり、上下限ˆRmax、ˆRminを持つ。
貯留係数ˆcsは正の定数である。
Quotes
"本論文では、Biot's 2次元圧密モデルの3変数定式化に対して、一体型2段階Schwarzプリコンディショナーを構築し、その収束性を理論的に解析した。"
"特に、透過率係数の上下限に依存するものの、その他のモデルパラメータに対して頑健な収束性を示した。"