[논문 리뷰] Convergence and Optimality of Adaptive Methods in the Finite Element Exterior Calculus Framework

Michael Holst, Adam Mihalik외 1명|arXiv (Cornell University)|2013. 06. 08.

Advanced Numerical Methods in Computational Mathematics참고 문헌 26인용 수 3

한 줄 요약

이 논문은 히르체르 복합체 위에서 혼합 유한요소법의 수렴성과 최적성에 대해, 히오지 분해에서 유도된 준수직성 성질을 활용하여 유한요소외적계산(FEEC) 프레임워크 내에서 확립한다. 이전 결과를 확장하여, 히르체르 복합체 위에서 혼합법에 대한 후행 오차 지표에 의해 구동되는 적응형 알고리즘이 수렴하고 최적 수렴 속도를 달성함을 증명한다.

ABSTRACT

ABSTRACT. Finite Element Exterior Calculus (FEEC) was developed by Arnold, Falk, Winther and others over the last decade to exploit the observation that mixed variational problems can be posed on a Hilbert Complex, and Galerkin-type mixed methods can then be obtained by solving finite-dimensional subcomplex problems. Stability and consistency of the resulting methods then follow directly from the framework by establishing the existence of operators connecting the Hilbert complex with its subcomplex, giving a essentially a “recipe ” for well-behaved methods. In 2012, Demlow and Hirani developed a posteriori error indicators for driving adaptive methods in the FEEC framework. While adaptive techniques have been used successfully with mixed methods for years, convergence theory for such techniques has not been fully developed. The main difficulty is lack of error orthogonality. In 2009, Chen, Holst, and Xu established convergence and optimality of an adaptive mixed finite element method for the Poisson equation (the Hodge-Laplace problem fork = n = 2) on simply connected polygonal domains in two dimensions. Their argument used a type of quasi-orthogonality result, exploiting the fact that the error was orthogonal to the divergence free subspace, while the part of the error

연구 동기 및 목표

• 오차 수직성의 부재로 인해 기존에 수렴 이론의 격차가 존재하는 적응형 혼합 유한요소법의 수렴 이론을 보완하기 위해.
• Chen, Holst, and Xu (2009)의 포아송 방정식에 대한 수렴성 및 최적성 결과를 FEEC 프레임워크의 일반화된 범주로 확장하기 위해.
• FEEC 내에서 후행 오차 지표에 기반한 적응형 방법이 수렴하고 최적 수렴 속도를 달성함을 입증하기 위해.
• 히오지 분해에서 유래된 준수직성 성질이 표준 오차 수직성의 부재에도 불구하고 수렴을 가능하게 함을 보여주기 위해.
• FEEC 프레임워크 내에서 복잡한 기하학과 일반 혼합 변분 문제에 대한 적응형 혼합법의 이론적 기초를 마련하기 위해.

제안 방법

• 히르체르 복합체와 그 유한차원 부분복합체 위에서 혼합 변분 문제를 모델링하기 위해 FEEC 프레임워크를 활용한다.
• Demlow와 Hirani (2012)가 개발한 후행 오차 지표를 활용하여 메쉬의 적응형 개선을 유도한다.
• 히오지 분해를 이용해 오차가 발산이 없는 부분공간과 수직인 준수직성 결과를 확립한다.
• FEEC 프레임워크의 이산 인프-소프 조건과 안정성을 적용하여 이산 문제의 잘 정의됨을 보장한다.
• 연속 복합체와 이산 복합체를 연결하는 투영 연산자의 존재를 이용해 일致성과 안정성을 유도한다.
• 준수직성과 사전 및 사후 오차 추정을 조합하여 적응형 알고리즘의 수렴성과 최적성을 증명한다.

실험 결과

연구 질문

• RQ1 FEEC 프레임워크 내에서 표준 오차 수직성이 부재함에도 불구하고, 적응형 혼합 유한요소법이 수렴할 수 있는가?
• RQ2 FEEC 프레임워크 내에서 적응형 FEM의 최적 수렴 속도를 보장하는 조건은 무엇인가?
• RQ3 표준 오차 수직성이 부재한 상황에서 준수직성 성질을 어떻게 활용하여 수렴성을 입증할 수 있는가?
• RQ4 FEEC 내에서 후행 오차 지표가 최적의 적응형 메쉬 개선 전략을 이끌어내는 데까지 어느 정도 기여하는가?
• RQ5 포아송 방정식에 대한 수렴성 및 최적성 이론이 FEEC 내에서 더 넓은 범위의 혼합 문제로 일반화될 수 있는가?

주요 결과

• FEEC와 후행 오차 지표에 기반한 적응형 유한요소법은 에너지 노름에서 전역적으로 수렴한다.
• 최적 수렴 속도가 달성되며, 이는 주어진 메쉬 개선 전략에 대해 오차가 가능한 한 가장 빠르게 감소함을 의미한다.
• 히오지 분해에서 유도된 준수직성 성질이, 연속적인 적응 단계에서 오차가 감소하도록 보장함으로써 수렴을 가능하게 한다.
• 수렴성 및 최적성 결과는 포아송 방정식 뿐 아니라 일반 혼합 변분 문제에 대해서도 성립한다.
• 연속 복합체와 이산 복합체를 연결하는 투영 연산자의 존재를 통해 이 프레임워크는 이산 방법의 안정성과 일치성을 보장한다.
• Chen, Holst, and Xu (2009)의 이전 작업을 일반화하여, 이들의 수렴성 및 최적성 분석을 이중 차원 포아송 사례를 초월해 확장한다.