[논문 리뷰] On the stability of Scott-Zhang type operators and application to multilevel preconditioning in fractional diffusion

Markus Faustmann, Jens Markus Melenk외 1명|arXiv (Cornell University)|2019. 12. 19.

Advanced Numerical Methods in Computational Mathematics참고 문헌 54인용 수 15

한 줄 요약

이 논문은 스코트-징 유형의 연산자가 베소프 공간에서 종단점 안정성을 확립함으로써, 뉴에스트 버텍스 이등분에 의해 생성된 적응적 메시에서 다수준 분해를 가능하게 한다. 분수라플라시안에 대해 균일하게 유계인 조건수를 갖는 국소 다수준 대각 예조건자(Preconditioner)를 제안하여, 국소로 메시가 세분화된 경우에도 반복 해법의 최적 수렴성을 보장한다.

ABSTRACT

We provide an endpoint stability result for Scott-Zhang type operators in Besov spaces. For globally continuous piecewise polynomials these are bounded from $H^{3/2}$ into $B^{3/2}_{2,\infty}$; for elementwise polynomials these are bounded from $H^{1/2}$ into $B^{1/2}_{2,\infty}$. As an application, we obtain a multilevel decomposition based on Scott-Zhang operators on a hierarchy of meshes generated by newest vertex bisection with equivalent norms up to (but excluding) the endpoint case. A local multilevel diagonal preconditioner for the fractional Laplacian on locally refined meshes with optimal eigenvalue bounds is presented.

연구 동기 및 목표

• 글로벌로 연속적이거나 불연속적인 조각다항식에 대해 B3/22,∞ 및 B1/22,∞ 공간에서 스코트-징 유형 연산자의 종단점 안정성을 확립한다.
• 최근 정점 이등분에 의해 생성된 메시 계층에서 수정된 스코트-징 연산자를 기반으로 한 다수준 분해를 개발한다.
• 적응적 메시에서 분수라플라시안의 적분형에 대해 최적의 고유값 유계를 갖는 국소 다수준 대각 예조건자를 설계한다.
• 메시 세분화 수준에 관계없이, 예조건화된 시스템의 조건수가 균일하게 유계임을 보장한다. 특히 강한 국소 세분화 조건에서도 마찬가지이다.

제안 방법

• 보간 이론과 K-기능 추정을 이용하여, 종단점 베소프 노름에서 준보간 연산자의 안정성을 증명한다.
• 특히 두 메시의 가장 가느스러운 공통 세분화에서 일致성을 유지하는 수정된 스코트-징 연산자를 구성한다.
• 분수 슈바르츠 노름에서의 새로운 역추정을 통해, 형상 정규 메시에서의 다수준 분해에 대한 노름 동치성을 확립한다.
• 가중치 역추정과 척도 분석을 이용하여 강화된 코시-슈바르츠 부등식을 유도하여 비대칭 항을 유계로 제한한다.
• 덧셈형 샤워 프레임워크와 대각 스케일링을 적용하여, 다수준 분해를 활용해 예조건화된 강성 행렬의 극단적 고유값을 유계로 제한한다.
• 계층적 패치에서 노드 지지 집합으로 제한된 대각 항목을 이용해 국소 다수준 대각 예조건자를 구현함으로써 최적의 조건화를 보장한다.

실험 결과

연구 질문

• RQ1 스코트-징 연산자는 글로벌로 연속적인 조각다항식에 대해 종단점 베소프 공간 B3/22,∞ 에서 안정적인가?
• RQ2 스코트-징 유형 연산자를 사용하여 적응적 메시에서 동치 노름을 갖는 다수준 분해를 구성할 수 있는가?
• RQ3 국소로 세분화된 메시에서 분수라플라시안에 대해 국소 다수준 대각 예조건자가 균일하게 유계인 조건수를 달성하는가?
• RQ4 메시가 세분화됨에 따라 예조건화된 시스템의 고유값은 어떻게 변화하는가? 특히 강한 국소 세분화 조건에서 어떻게 되는가?
• RQ5 최종 메시에 종속되지 않고도 예조건자가 최적의 조건화를 유지할 수 있는가?

주요 결과

• 스코트-징 연산자는 H3/2에서 B3/22,∞로, 그리고 H1/2에서 B1/22,∞로 유계이며, 이는 베소프 노름에서 종단점 안정성을 보장한다.
• 최근 정점 이등분에 의해 생성된 메시에서 동치 노름을 갖는 다수준 분해가 구성되었으며, 이는 종단점 경우까지 유효하다.
• 제안된 국소 다수준 대각 예조건자는 예조건화된 시스템의 조건수가 메시 크기나 세분화 비율에 관계없이 균일하게 유계임을 보장한다.
• s ∈ (0, 1)일 때, S1,10(T)에서의 선형 조각다항식 해법에 대해 최적의 고유값 유계를 달성하며, s ∈ (0, 1/2)일 땐 S0,0(T)에서도 마찬가지이다.
• 수치 실험 결과, 예조건화된 시스템의 조건수는 최대 로그적 성장률을 보이며, 예조건화되지 않은 시스템은 O(N2s/dℓ)의 성장률을 보임을 확인하였다.
• 예조건자는 경계 요소법에서 사용되는 것과 유사한 구조를 가지며, 수치 결과에 의해 효율적으로 실현 가능함을 확인하였다.