An Approximate Bounded Cochain Projection

技術要約：近似有界共鎖射影 (An Approximate Bounded Cochain Projection)

問題設定
本論文は、無限次元のヒルベルト複体（微分 $k$ 形式の空間 $H\Lambda^{(k)}(\Omega)$）から、有限次元の区分的多項式部分複体（$H\Lambda^{(k)}_h(\Omega)$）への射影 $\Pi^{(k)}$ の構築に取り組んでいる。目的は、「有界共鎖射影」に特徴的な以下の3つの性質を満たすことである。

1. 冪等性 (Idempotence): $\Pi^{(k)}\Pi^{(k)} = \Pi^{(k)}$。
2. 一様有界性 (Uniform Boundedness): 射影がソボレフノルム（$H\Lambda^{(k)}$）において有界であり、その定数がメッシュパラメータ $h$ に依存しないこと。
3. 可換性 (Commuting Property): 射影が外微分（$d$）と可換であること、すなわち $d\Pi^{(k)} = \Pi^{(k+1)}d$ が成立すること。

有界共鎖射影は、可縮な領域（de Rham複体が完全である場合）においては確立されているが、本論文では非可縮な領域における困難さを指摘している。このような領域では、複体は非自明なコホモロジー（調和形式）を持つ。標準的な構成法では、有限次元の部分空間が領域のトポロジーを完全に捉えきれていない場合（すなわち、無限次元の調和空間と有限次元の調和空間の間のギャップがゼロでない場合）、一様有界性や厳密な可換性を維持できないことが多い。

手法
著者らは、拡張混合定式化 (augmented mixed formulation) と 2レベル離散複体 (two-level discrete complex) に基づく構成を提案している。

1. 拡張混合定式化:
   平滑化演算子の後に補間を行う手法（これは $H\Lambda$ ノルムにおける一様有界性を欠く可能性がある）に代わり、著者らは変分問題を通じて射影 $\Pi^{(k)}$ を定義する。$\phi^{(k)} \in H\Lambda^{(k)}(\Omega)$ が与えられたとき、射影は $\lambda^{(i)} \in H\Lambda^{(i)}_h(\Omega)$ および 調和変数 $h^{(k+1)} \in H^{(k+1)}_h$ を求め、対称な方程式系を満たす。

• この系は、射影された微分が完全形式の空間に属することを強制するラグランジュ乗数 $h^{(k+1)}$ を導入する。
• 著者らは、閉形式上の双線形形式の強凸性と、外微分および調和空間に関するインフ・スュップ条件を含む安定条件を用いて、この系の良定義性を証明している。

2. 拡張系の特性:

• 冪等性: 入力が既に有限次元空間内にある場合、混合系の解がその入力自身になることを示すことで証明される。
• 有界性: 解を閉形式と直交成分に分解し、ポアンカレの不等式を用いて $L^2$ ノルムおよびグラフノルムを抑えることで証明される。
• 可換性: 領域が可縮であるか、あるいは有限次元空間が「トポロジー的に適合 (topologically conforming)」している場合（すなわち、離散的調和空間と連続的調和空間の間のギャップがゼロである場合）、射影が $d$ と可換であることを示す。トポロジー的に適合していない場合、調和乗数 $h^{(k+1)}$ は非ゼロとなり、これはトポロジー的不一致を表す。このとき、可換性は誤差の大きさに応じて成立する。

3. 近似有界共鎖射影（2レベル構成）:
   非可縮な領域において離散空間がトポロジー的に適合していない場合に対処するため、著者らは2つの作用素の合成による構成を提案している。

• ステップ1: 無限次元空間から、拡張された 有限次元空間 $\tilde{H}\Lambda^{(k)}_h(\Omega)$ への射影 $\Pi^{(k)}$。この拡張空間は、トポロジー的に適合するように（ギャップ = 0）構築されている。
• ステップ2: 拡張空間 $\tilde{H}\Lambda^{(k)}_h(\Omega)$ から、ターゲットとなる計算空間 $H\Lambda^{(k)}_h(\Omega)$ への標準的な射影 $\Pi^{(k)}_C$。
  この合成 $\Pi^{(k)}_C \Pi^{(k)}$ が、最終的な近似有界共鎖射影として機能する。

主な貢献と結果

• 有界な射影の構築: 論文は、可縮な領域および非可縮な領域の両方において、冪等かつソボレフノルムにおいて一様に有界な射影の厳密な構成法を提供している。
• 非可縮領域の取り扱い: 非可縮な領域において、離散調和空間がトポロジー的に適合している場合に可換性が厳密に満たされることを示している。適合していない場合、可換性の誤差は、トポロジー的不一致を測定する調和乗数 $h^{(k+1)}$ によって定量化される。
• 離散的安定性: 連続的な正則化に依存する従来の構成とは異なり、本アプローチは混合定式化を用いることで、外微分の連続的な右逆写像に関連する解析的な困難を回避している。
• 近似可換性: 2レベルのアプローチ（トポロジーを解決するために補助的な細分を用いた拡張空間を経由してから、最終的なメッシュへ射影する手法）を用いることで、有界であり、かつ外微分と任意の精度で可換な射影が得られることを示している。

意義と主張
本論文は、有界共鎖射影を定義する3つの性質を満たす射影の構成を提示していると主張している。具体的には、以下の通りである。

• 可縮な領域において、提案された射影は冪等であり、一様に有界で、外微分と厳密に可換である。
• 非可縮な領域において、射影は冪等かつ一様に有界であり続ける。可換性は「任意の精度まで」満たされる。つまり、中間空間のトポロジー的解像度（例：調和乗数がマシン精度まで消失するまでの $p$ 細分）を高めることで、誤差を任意に小さくすることができる。

本研究は、局所的な構成および境界条件に関する既存の概念を洗練させたものであり、有限要素外微分形式（FEEC）の枠組みを構築している。本手法は、連続的な右逆写像を回避し、トポロジー的制約を扱うために補助的な細分上の離散問題を頼るという点で、「完全に局所的 (fully local)」な構成を提供している点において、既存の手法と一線を画している。著者らは、複雑な幾何形状における微分形式の数値的手法の安定性と整合性を確保するための手法として、本研究を位置づけている。