[論文レビュー] On the Equivalence of Primal and Dual Substructuring Preconditioners

Bedřich Sousedík, Jan Mandel|ArXiv.org|Feb 29, 2008

Matrix Theory and Algorithms参考文献 32被引用数 13

ひとこと要約

本稿は、プライマルおよびデュアルなサブス トラクチャリングプリコンディショナの数学的同等性を確立し、P-FETI-DPとBDDCが同一の手法であることを証明するとともに、BDDとFETI-1の特定の変種の固有値が等しいことを示している。この研究は、主要な領域分割法を共通の枠組みに統合し、それらのスペクトル同等性を示し、収束行動に関する新たな知見を提供する。

ABSTRACT

After a short historical review, we present four popular substructuring methods: FETI-1, BDD, FETI-DP, BDDC, and derive the primal versions to the two FETI methods, called P-FETI-1 and P-FETI-DP, as proposed by Fragakis and Papadrakakis. The formulation of the BDDC method shows that it is the same as P-FETI-DP and the same as a preconditioner introduced by Cros. We prove the equality of eigenvalues of a particular case of the FETI-1 method and of the BDD method by applying a recent abstract result by Fragakis.

研究の動機と目的

• プライマルおよびデュアルなサブス トラクチャリングプリコンディショナの理論的同等性を確立すること、特にP-FETI-DPとBDDCの間の同等性を示すこと。
• FETI-1とBDD手法の関係について長年の疑問を解消することを目的とし、特定の変種において両者の固有値スペクトルが同一であることを証明すること。
• FETI手法のプライマル版を導出し、それらを共通の数学的枠組みに位置づけることで、領域分割法の分析を統一すること。
• Fragakisによる抽象的結果を応用し、BDDとFETI-1の変種の間のスペクトル同等性を厳密に証明すること。
• FETI、BDD、BDDCおよびそれらのプライマル版の間の関係を明確にし、収束性およびプリコンディショニング行動の理解を深めること。

提案手法

• FETI-1およびFETI-DPのプライマル版、それぞれP-FETI-1およびP-FETI-DPを、デュアルからプライマル形式への体系的変換により導出する。
• Fragakisによる抽象的スペクトル同等性結果を適用し、BDDとFETI-1の特定の変種の固有値が同一であることを示す。
• シュール補行列、ラグランジュ乗数、射影作用素を用いた行列変換を用いて、異なる手法のプリコンディショニング作用素を関連付ける。
• 固有ベクトルをBDDおよびFETI-1プリコンディショニング系の間で写像するための作用素$ T_D $および$ T_P $を導入し、非自明な固有値の1対1対応を証明する。
• 射影作用素としての恒等式$ B_D S \widetilde{S}^{+} B^T $を用いて、固有値の重複度を分析し、写像が単射でない場合にのみ$ \lambda = 0,1 $が得られることを示す。
• プリコンディショニング作用素$ M_{BDD} \widehat{S} $と$ M_{FETI-1} \mathcal{F} $が、0および1を除く固有値を除き、同じスペクトルを持つことを示し、$ \lambda \neq 0,1 $の固有値の重複度も同一であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 FETI手法のプライマルおよびデュアル形式は、固有値の性質において同等であるか？
• RQ2 P-FETI-DP手法は数学的にBDDC手法と同等であるか？
• RQ3 特定のFETI-1の変種において、BDDとFETI-1は同一の固有値スペクトルを持つのか？
• RQ4 抽象的スペクトル同等性結果を、領域分割法に具体的に適用し、固有値の同一性を証明できるか？
• RQ5 BDDおよびFETI-1プリコンディショニング作用素の固有空間の関係は何か？

主な発見

• P-FETI-DP手法は数学的にBDDC手法と同等であり、両者が同一のアルゴリズムであることを確認した。
• Crosによって導入されたプリコンディショナーは、P-FETI-DPおよびBDDCと同等であり、既存の手法間に新たな接続を確立した。
• BDDとFETI-1の特定の変種の固有値は、0および1の固有値を除き、同一である。
• 共通の固有値$ \lambda \neq 0,1 $の重複度は、BDDおよびFETI-1プリコンディショニング作用素の間で同一である。
• 非自明な固有値について、BDDとFETI-1の固有ベクトル間の写像は1対1対応であり、スペクトル同等性が証明された。
• 証明は、作用素$ B_D S \widetilde{S}^{+} B^T $が射影作用素であることに依拠しており、これは写像が単射でない場合にのみ固有値0および1が得られることを制限する。