[논문 리뷰] On the Equivalence of Primal and Dual Substructuring Preconditioners

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

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 $ 를 도입하여 비자명한 고유값 간의 일대일 대응을 증명한다.
• 투영 연산자로써의 항등식 $ 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의 고유벡터 간의 매핑은 일대일 대응이며, 이는 스펙트럼 동치성을 증명한다.
• 이 증명은 연산자 $ B_D S \widetilde{S}^{+} B^T $ 가 투영 연산자임을 이용하며, 이는 매핑이 단사적이지 않을 경우 가능한 고유값이 0과 1 뿐임을 제한한다.