[論文レビュー] Functional Analysis and Exterior Calculus on Mixed-Dimensional Geometries

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

Advanced Mathematical Modeling in Engineering参考文献 24被引用数 9

ひとこと要約

本稿では、次元が異なる多様体が階層的に接続された混合次元幾何構造に対して、接ベクトルと法線（ジャンプ）微分を次元間で結合する半離散的微分作用素を導入することで、関数解析的かつ外微分形式の枠組みを統一的に構築する。主な貢献は、de Rham複体構造を用いて混合次元Hodge-Laplacian問題の適切な定式化を証明し、亀裂や複合材料における物理的モデルの一貫性ある変分的定式化を可能にすることにある。

ABSTRACT

We are interested in differential forms on mixed-dimensional geometries, in the sense of a domain containing sets of $d$-dimensional manifolds, structured hierarchically so that each $d$-dimensional manifold is contained in the boundary of one or more $d + 1$ dimensional manifolds. On any given $d$-dimensional manifold, we then consider differential operators tangent to the manifold as well as discrete differential operators (jumps) normal to the manifold. The combined action of these operators leads to the notion of a semi-discrete differential operator coupling manifolds of different dimensions. We refer to the resulting systems of equations as mixed-dimensional, which have become a popular modeling technique for physical applications including fractured and composite materials. We establish analytical tools in the mixed-dimensional setting, including suitable inner products, differential and codifferential operators, Poincaré lemma, and Poincaré--Friedrichs inequality. The manuscript is concluded by defining the mixed-dimensional minimization problem corresponding to the Hodge-Laplacian, and we show that this minimization problem is well-posed.

研究の動機と目的

• 次元が異なる多様体（例：亀裂、膜）が高次元領域に埋め込まれた混合次元幾何構造における偏微分方程式の厳密な数学的枠組みを構築すること。
• 古典的外微分形式およびSobolev空間を混合次元設定に一般化し、de Rham複体やPoincaré不等式といった基本的性質を保持すること。
• 各次元間で微分作用素を結合する半離散的微分作用素を定義することで、連続体力学における物理的モデルの一貫性ある変分的定式化を可能にすること。
• 混合次元PDEの数値的離散化の理論的基盤を確立し、有限要素法の安定性と収束性を保証すること。
• 亀裂を有する多孔質媒体、複合材料、薄板構造などの応用分野における、異なるモデリング手法を一つの解析的・計算的枠組みに統合すること。

提案手法

• 混合次元幾何構造を、異なる次元の多様体間の階層的かつ境界に基づく関係を符号化する有向非巡回グラフ（DAG）を用いて表現する。
• 個々の多様体上の古典的Sobolev空間を組み合わせることで、混合次元領域上のk-形式の空間を定義し、界面における明示的なトレースおよびジャンプ条件を含める（補題10）。
• 各多様体上で接ベクトル微分作用素として作用し、次元が隣接する多様体間で法線方向のジャンプ（離散的微分）を統合する半離散的外微分作用素を導入する。
• 多様体の森全体における関数値およびトレースを考慮した内積を用いて、外微分作用素の随伴作用素として余微分作用素を構成する。
• 得られた複体がde Rham性質を満たし、全領域のコホモロジーと同型であることを証明し、混合次元設定におけるPoincaré補題およびPoincaré–Friedrichs不等式を確立する。
• 変分的最小化問題を用いて混合次元Hodge-Laplacianを定義し、材料係数の均一有界性および非退化性の下でその適切な定式化を証明する。

実験結果

リサーチクエスチョン

• RQ1 次元が異なる多様体が階層的に接続された混合次元幾何構造に対して、外微分形式および関数解析をどのように一般化できるか。
• RQ2 de Rham複体やPoincaré不等式といった重要な解析的性質を保持する混合次元設定における微分形式、内積、ノルムの適切な定義は何か。
• RQ3 各多様体上の接微分と次元が隣接する多様体間の法線ジャンプを結合する半離散的微分作用素をどのように構築できるか。
• RQ4 特にHodge-Laplacianから生じる混合次元変分問題の適切な定式化を保証する条件は何か。
• RQ5 本枠組みは、亀裂を有する多孔質媒体や複合材料などの既存モデルとどのように関係し、それらを一つの変分的定式化に統合できるか。

主な発見

• 混合次元de Rham複体は適切に定義されており、コホモロジーが全領域のそれと同型であるため、位相的一致性が保証される。
• 混合次元設定においてPoincaré補題およびPoincaré–Friedrichs不等式が成り立つため、安定性および収束解析に不可欠な道具が得られる。
• 係数作用素rおよびr*の均一有界性および非退化性の下で、混合次元Hodge-Laplacian問題は適切に定式化される。
• 変分的定式化(81)–(82)は、特にk=nの場合に応用で用いられるモデルと代数的に同値であり、最適近似性質を有する有限要素離散化を支持する。
• 本枠組みは、個々の多様体上の古典的Sobolev空間を用いて、混合次元幾何構造上のSobolev空間を明示的に表現可能であり、厳密な解析が可能になる。
• 係数作用素rおよびr*は、多様体間の関数値およびトレースの両方に作用し、界面結合を含む材料特性の概念を拡張するため、物性則の設計に指針を提供する。