[논문 리뷰] Convergence Properties of Overlapping Schwarz Domain Decomposition Algorithms

Minh-Binh Tran|arXiv (Cornell University)|2011. 04. 21.

Advanced Numerical Methods in Computational Mathematics참고 문헌 18인용 수 4

한 줄 요약

이 논문은 비선형 타원형 및 방정식에 대한 겹치는 Schwarz 도메인 분할 방법의 수렴 성질을 확립한다. 딜리클레 전달 조건은 두 방정식 유형 모두에서 수렴을 보장하지만, 루빈 조건은 파라볼릭 방정식에서만 수렴한다. 에너지 추정과 가중치(norm)를 사용하여, 비선형 타원형 방정식에 대해 루빈 조건 하에서 수렴을 달성하기 위한 새로운 안정화 조건을 제안한다.

ABSTRACT

In this paper, we partially answer open questions about the convergence of overlapping Schwarz methods. We prove that overlapping Schwarz methods with Dirichlet transmission conditions for semilinear elliptic and parabolic equations always converge. While overlapping Schwarz methods with Robin transmission conditions only converge for semilinear parabolic equations, but not for semilinear elliptic ones. We then provide some conditions so that overlapping Schwarz methods with Robin transmission conditions converge for semilinear elliptic equations. Our new techniques can also be potentially applied to others kinds of partial differential equations.

연구 동기 및 목표

• 비선형 타원형 및 파라볼릭 방정식에 대한 겹치는 Schwarz 방법의 루빈 전달 조건에 대한 수렴에 대한 열린 질문을 해결하기 위해.
• 최적화된 Schwarz 방법이 비선형 타원형 방정식에 대해 루빈 전달 조건을 사용할 때 수렴할 수 있는 조건을 설정하기 위해.
• 기존 선형 문제를 초월하여 다중 하위영역에서 일반적인 비선형 방정식에 대해 에너지 기반 기법을 활용한 수렴 분석을 확장하기 위해.
• 클래식한 Schwarz 방법이 딜리클레 조건을 사용할 경우 타원형 및 파라볼릭 방정식 모두에서 수렴함을 보여주며, 루빈 기반 방법은 타원형 문제에서는 실패함을 밝히기 위해.
• 에너지 추정과 매개변수에 의존하는 노름을 기반으로 하여, 타원형 사례에서 루빈 기반 방법에 대한 새로운 안정화 메커니즘을 제공하기 위해.

제안 방법

• 겹치는 Schwarz 알고리즘에서 반복 간 오차의 진화를 분석하기 위해 가중치를 부여한 소볼레프 공간에서 에너지 추정을 사용한다.
• 오차 항의 성장을 제어하기 위해 $ \lambda |\nabla \Phi^{k+1}|^2 $ 와 $ \alpha |\Phi^{k+1}|^2 $ 를 포함하는 가중치를 부여한 노름을 적용한다.
• 재귀 부등식 $ (\beta - M_5)E_{k+1} \leq M_5 E_k $ 를 유도하며, 여기서 $ E_k $ 는 반복 $ k $ 에서 오차의 에너지 노름이며, $ \beta $ 와 $ M_5 $ 는 하위영역 기하학과 계수에 따라 달라진다.
• 오차 에너지 $ E_k $ 의 지수적 감쇠를 보장하기 위해 $ \frac{M_5}{\beta - M_5} < 1 $ 를 만족시키는 조건을 $ \alpha $ 와 $ \beta $ 에 부여한다.
• 비선형 및 대류 유사 항을 지배할 수 있도록 $ \alpha $ 를 충분히 크게 선택하여 안정화 메커니즘을 도입한다.
• 파라볼릭 사례에서 최대 원리와 상하해법 기법을 사용하여 알려진 수렴 시스템과의 비교 논증을 수행한다.

실험 결과

연구 질문

• RQ1 비선형 타원형 방정식에 대해 루빈 전달 조건을 갖는 겹치는 Schwarz 방법이 수렴하는 조건은 무엇인가?
• RQ2 비선형 타원형 방정식에 대해 루빈 기반 최적화 Schwarz 방법이 실패하는 이유는 무엇인가, 비록 파라볼릭 및 선형 사례에서는 성공했더라도?
• RQ3 비선형 타원형 방정식에 적용된 루빈 기반 방법의 수렴을 복원하기 위한 새로운 안정화 기법을 개발할 수 있는가?
• RQ4 파라볼릭 방정식에서 시간 변수는 타원형 문제에서 실패하는 곳에서 수렴을 어떻게 가능하게 하는가?
• RQ5 전달 매개변수와 하위영역 겹침은 Schwarz 반복의 안정성과 수렴성에 어떤 역할을 하는가?

주요 결과

• 딜리클레 전달 조건을 사용하는 겹치는 Schwarz 방법은 비선형 타원형 및 파라볼릭 방정식 모두에서 수렴한다.
• 루빈 전달 조건을 사용하는 겹치는 Schwarz 방법은 시간 감쇠 효과 덕분에 비선형 파라볼릭 방정식에서 수렴한다.
• 비선형 타원형 방정식의 경우, 일반적으로 루빈 기반 방법은 수렴하지 않으며, 특정 방정식에 대해 불안정성을 보여주는 반례가 제시된다.
• 새로운 안정화 조건이 도출되었다: $ \alpha > (\max ||B_i^l||_{L^\infty})^2 $ 를 만족시키도록 $ \alpha $ 를 충분히 크게 선택하면 타원형 문제에서 수렴이 복원된다.
• 에너지 노름 $ E_k $ 는 $ E_k \leq \left(\frac{M_5}{\beta - M_5}\right)^{k-1} E_1 $ 로 지수적으로 감쇠하며, $ \frac{M_5}{\beta - M_5} < 1 $ 이므로 수렴이 증명된다.
• 수렴 증명은 하위영역 기하학과 방정식 계수에만 의존하는 상수를 갖는 가중치를 부여한 $ L^2 $ 와 $ H^1 $ 노름을 사용하여 오차 진화를 제한하는 데 기반한다.