[論文レビュー] Mixed-Dimensional Elliptic Partial Differential Equations

Wietse M. Boon, Jan M. Nordbotten+1 more|arXiv (Cornell University)|Oct 2, 2017

Advanced Mathematical Modeling in Engineering被引用数 7

ひとこと要約

本稿では、異なる次元の部分多様体を含む混合次元楕円型偏微分方程式のための数学的枠組みを提示する。微分作用素は接線方向の変動と法線方向の不連続ジャンプを結合する。新たな内積、共微分作用素、不等式を用いてホッジ＝ラプラシアン問題の適切性（well-posedness）を確立し、破壊的多孔質媒体や電磁気学への応用において一意解が存在することを可能にする。

ABSTRACT

We are interested in partial differential equations on a domain containing a set of possibly intersecting embedded submanifolds of dimension $n-1$, where partial differential equations are also defined on the sub-manifolds. The partial differential equations on any given $d$-dimensional submanifold will then satisfy equations including differentials tangent to the manifold as well as discrete differentials (jumps) normal to the manifold. The combined action of the differentials and jumps leads to the notion of a semi-discrete differential operator coupling manifolds of different dimensions. We refer to such systems as mixed-dimensional, and applications are found in fractured and composite materials. We establish tools for analyzing elliptic equations (Hodge-Laplacian) in the mixed-dimensional setting, including suitable inner products, coderivative operators, Poincar\'e lemma and Poincar\'e--Friedrichs inequality. With these tools, we define the mixed-dimensional minimization problem corresponding to the Hodge-Laplacian, and show that this minimization problem is well-posed. Consequently, we also obtain the unique solvability of variational problems. The manuscript is concluded by showing how the analysis applies to model equations for flow in faulted and fractured porous media, and operators from fluids and electromagnetism. Mixed-dimensional model equations have become popular for computational analysis of these applications.

研究の動機と目的

• 次元 $n-1$ の埋め込み部分多様体を有する領域における楕円型PDEの厳密な数学的枠組みを構築し、微分条件とジャンプ条件の結合解析を可能にする。
• 破壊的および複合材料における物理現象をモデル化する課題に取り組み、界面を越える不連続性が本質的であることを扱う。
• 混合次元系のための基礎的解析的ツール（内積、共微分作用素、ポアンカレ型不等式など）を確立する。
• 混合次元ホッジ＝ラプラシアン変分問題の適切性（well-posedness）を証明し、一意解が保証されることを示す。
• 本フレームワークが、断層を伴う多孔質媒体を通過する流体の流れや、埋め込まれた界面を有する電磁気学的作用素のモデル化にどのように応用できるかを示す。

提案手法

• 次元 $d$ の部分多様体上の接線微分と、低次元の界面を越える法線ジャンプを結合する半離散的微分作用素を定義する。
• 異なる次元の部分多様体に跨る連続的および不連続的成分を考慮した混合次元内積を導入する。
• 混合次元構造に適合する共微分作用素を構築し、双対性と随伴作用素の一貫性を保証する。
• 混合次元ポアンカレ補題とポアンカレ＝フレドリクス不等式を証明し、エネルギー空間における解の制御を可能にする。
• 新たな内積と共微分作用素を用いて、ホッジ＝ラプラシアンと等価な混合次元最小化問題を定式化する。
• 双線形形式の強制性と連続性を確立し、ラックス＝ミルグラムの補題を用いて適切性（well-posedness）を保証する。

実験結果

リサーチクエスチョン

• RQ1 交差する異なる次元の部分多様体を含む領域において、偏微分方程式を一貫してどのように定式化できるか。
• RQ2 混合次元設定におけるエネルギーノルムと変分定式化を適切に定義するために、どのような内積構造が必要か。
• RQ3 混合次元空間においてポアンカレ型不等式を確立できるか。解の安定性を保証するためのものである。
• RQ4 混合次元ホッジ＝ラプラシアン変分問題は適切性を満たし、一意解が保証されるか。
• RQ5 本フレームワークは、断層入り多孔質媒体における流れや、埋め込まれた界面を有する電磁気学的場をモデル化するために、どのように応用できるか。

主な発見

• 接線微分と法線ジャンプを結合する新しい半離散的微分作用素が導入され、混合次元間での一貫したモデル化が可能になった。
• 混合次元空間に適した内積が定義され、適切なエネルギー制御を持つ変分問題の定式化が可能になった。
• 混合次元設定においてポアンカレ＝フレドリクス不等式が確立され、エネルギーノルムにおける解の有界性が保証された。
• 混合次元ホッジ＝ラプラシアン最小化問題が適切性を示し、変分定式化の一意解が保証された。
• 本フレームワークは、断層入り・破壊的多孔質媒体を通過する流体の流れをモデル化するのに成功し、実世界の応用への関連性が検証された。
• 解析は電磁気学および流体力学の作用素へも拡張可能であり、マルチフィジックスモデリングにおける広範な適用可能性を示した。