[논문 리뷰] A uniform inf--sup condition with applications to preconditioning

Kent‐André Mardal, Joachim Schöberl외 1명|arXiv (Cornell University)|2012. 01. 06.

Advanced Numerical Methods in Computational Mathematics참고 문헌 11인용 수 6

한 줄 요약

이 논문은 영역의 볼록성 조건을 필요로 하지 않고 매개변수에 의존하는 스토크스 문제에 대해 균일한 inf–sup 조건을 확립함으로써, 다양한 변형 매개변수와 메쉬 세분화에 걸쳐도 안정적인 균일 조건수를 가지는 조건수 조절자가 가능해지게 한다. 주요 기여는 2차원에서 타일러–후드 요소에 대해 새로운 $L^2$-유계이자 발산을 공유하는 투영 연산자를 도입한 것으로, 이는 최저차수의 네드레크 모서리 요소와의 연결을 통해 유도된다.

ABSTRACT

A uniform inf-sup condition related to a parameter dependent Stokes problem is established. Such conditions are intimately connected to the construction of uniform preconditioners for the problem, i.e., preconditioners which behave uniformly well with respect to variations in the model parameter as well as the discretization parameter. For the present model, similar results have been derived before, but only by utilizing extra regularity ensured by convexity of the domain. The purpose of this paper is to remove this artificial assumption. As a byproduct of our analysis, in the two dimensional case we also construct a new projection operator for the Taylor-Hood element which is uniformly bounded in $L^2$ and commutes with the divergence operator. This construction is based on a tight connection between a subspace of the Taylor-Hood velocity space and the lowest order Nedelec edge element.

연구 동기 및 목표

• 이전에 균일 조건수 조절자에 대해 필요로 하던 인위적인 볼록성 조건을 제거하기 위해.
• 변형 매개변수 $\epsilon$와 메쉬 크기 $h$에 관계없이 항상 성립하는 특수한 편미분 문제 (1.1)에 대해 균일한 inf–sup 조건을 확립하기 위해.
• 두 차원에서 타일러–후드 유한요소 방법에 대해 발산 연산자와 교환되며 $L^2$에서 유계인 균일한 유계 투영 연산자를 구성하기 위해.
• 비볼록 영역에서의 조건수 조절자의 강건성에 대한 이론적 근거를 제공하고, 수치적 증거로 뒷받침하기 위해.
• 보고브스키 연산자와 형태 정규 메쉬를 활용하여 균일 조건수 조절 방법의 적용 가능 영역을 일반 리프시츠 영역으로 확장하기 위해.

제안 방법

• 연속적 설정에서 발산 연산자의 오른쪽 역함수로 보고브스키 연산자를 사용하여 연속성과 안정성을 확립한다.
• 타일러–후드 요소의 속도 공간과 최저차수 네드레크 모서리 요소 사이의 밀접한 연결을 이용하여 새로운 투영 연산자를 구성한다.
• 메쉬 크기와 요소 형태에 관계없이 일정한 고유값을 확보하기 위해 철저히 선택된 매개변수 $\gamma$를 사용하여 매크로요소에서 대칭적이고 양의 정부호 행렬 $M$을 정의한다.
• 형태 정규성 조건을 활용하여 매개변수 $\gamma$의 상한과 하한을 유계로 제한함으로써, 모든 메쉬 요소에서의 균일성을 확보한다.
• 거슈고린 원 정리(Gershgorin circle theorem)를 적용하여 행렬 $M$의 고유값에 하한을 증명함으로써, 이중형식의 강건성을 보장한다.
• 매크로요소에서 국소 투영을 조합하고, 발산을 공유하며 $L^2$에서 유계인 전역 맵 $\tilde{\Phi}_h$를 구성함으로써 균일한 inf–sup 안정성을 달성한다.

실험 결과

연구 질문

• RQ1 볼록성 조건 없이 매개변수에 의존하는 스토크스 문제에 대해 균일한 inf–sup 조건을 확립할 수 있는가?
• RQ2 두 차원에서 타일러–후드 요소에 대해 $L^2$에서 유계이면서 발산과 교환되는 균일한 유계 투영 연산자를 구성할 수 있는가?
• RQ3 타일러–후드 속도 공간과 최저차수 네드레크 모서리 요소 사이의 관계를 어떻게 활용하여 이러한 투영을 구축할 수 있는가?
• RQ4 보고브스키 연산자는 연속 문제의 균일 안정성을 확보하는 데 어떤 역할을 하는가?
• RQ5 결과로 도출된 조건수 조절자가 비볼록 영역에서도 변형 매개변수 $\epsilon$와 메쉬 세분화에 관계없이 균일한 조건수를 유지할 수 있는가?

주요 결과

• 일반 리프시츠 영역에서 매개변수에 의존하는 스토크스 문제 (1.1)에 대해 볼록성 조건 없이 균일한 inf–sup 조건이 확립되었다.
• 균일한 inf–sup 조건은 해 연산자가 $\epsilon$와 $h$에 대해 균일하게 유계임을 보장하며, 이는 균일 조건수 조절자의 구성 가능성을 보장한다.
• 두 차원에서 타일러–후드 요소에 대해 $L^2$에서 유계이면서 발산과 교환되는 새로운 투영 연산자가 구성되었다.
• 이 구성은 타일러–후드 속도 공간과 최저차수 네드레크 모서리 요소 사이의 정밀한 관계에 기반하며, 고유값이 $c_1|T|$ 이하로 유계인 대칭적이고 양의 정부호 행렬 $M$을 가능하게 한다.
• 행렬 $M$이 대칭적이고 양의 정부호이며, 고유값이 $c_1|T|$ 이하로 유계임을 증명하였으며, 여기서 $c_1 = \alpha \min(\gamma, \gamma^{-1})/2$ 이고, $\gamma$는 $h$와 요소 형태에 관계없이 유계이다.
• 전역 투영 맵 $\tilde{\Phi}_h$는 균일한 $L^2$ 안정성을 달성하며, $\sup_{z \in Z_h^0} \frac{\langle v, z \rangle}{\|z\|_{L^2}} \geq c_0 \|v\|_{L^2}$ 를 만족함으로써 균일한 inf–sup 조건을 확인한다.