[논문 리뷰] Finite element systems of differential forms

Snorre H. Christiansen|arXiv (Cornell University)|2010. 06. 24.

Advanced Mathematical Modeling in Engineering참고 문헌 110인용 수 50

한 줄 요약

이 논문은 다각형 격자 위의 복합체의 역계열을 사용하여 미분형식에 대한 통합된 유한요소 프레임워크를 제안한다. 이는 외부 도함수와 가환하는 고차 혼합 유한요소와 안정적인 투영을 가능하게 하며, 호지-라플라스 연산자의 고차 고유쌍 근사와 강건한 변분 이산화를 실현한다. 주요 기여는 외부 도함수와 가환하고 레베그 공간에서 일관된 안정성을 보장하는 보간자와 매끄러운 연산자를 구성하는 것이다. 이를 통해 호지-라플라스 연산자의 고차 고유쌍 근사와 강건한 변분 이산화가 가능해진다.

ABSTRACT

We develop the theory of mixed finite elements in terms of special inverse systems of complexes of differential forms, defined over cellular complexes. Inclusion of cells corresponds to pullback of forms. The theory covers for instance composite piecewise polynomial finite elements of variable order over polyhedral grids. Under natural algebraic and metric conditions, interpolators and smoothers are constructed, which commute with the exterior derivative and whose product is uniformly stable in Lebesgue spaces. As a consequence we obtain not only eigenpair approximation for the Hodge-Laplacian in mixed form, but also variants of Sobolev injections and translation estimates adapted to variational discretizations.

연구 동기 및 목표

• 미분형식과 세포 복합체를 기반으로 한 혼합 유한요소의 체계적 이론을 개발하는 것.
• 특히 저규칙성 함수 공간에서 유계 보간자의 부재 문제를 해결하는 것.
• 외부 도함수와 가환하고 레베그 공간에서 일관된 안정성을 확보하는 보간자와 매끄러운 연산자를 구성하는 것.
• 통합 프레임워크를 통해 기울기, 컬, 디브 연산자를 포함하는 PDE의 고차 변분 이산화를 가능하게 하는 것.
• 대부분의 다항식 차수와 다각형 메쉬에서 윌슨형식과 라비아르트-톰슨/네데lec 요소를 대수적 및 기하 조건을 통해 일반화하는 것.

제안 방법

• 세포 복합체 위의 de Rham 복합체의 미분형식에 대한 혼합 유한요소를 역계열로 공식화하는 것.
• 세포의 포함 관계를 미분형식의 당김을 통해 정의하여 외부 도함수와의 호환성을 보장하는 것.
• 메쉬에 대한 대수적 및 기하 조건을 사용하여 외부 도함수와 가환하는 보간자와 매끄러운 연산자를 구성하는 것.
• 쌍대성 원리와 확장 연산자를 통해 L^p 공간에서 보간자-매끄러운 연산자 곱의 일관된 안정성을 확보하는 것.
• 안정성 조건 하에서 고차 근사 성질을 도출하기 위해 브램블-힐버트 보조정리를 적용하는 것.
• 단위 분할과 국소 정규 벡터장들을 사용하여 경계의 정(regularity)을 확보하기 위한 튜브형 이웃의 미분동형사상(diffeomorphism)을 구성하는 것.

실험 결과

연구 질문

• RQ1 변동 다항식 차수를 가진 다각형 격자 위에서 미분형식에 대한 혼합 유한요소 방법을 어떻게 시스템적으로 구성할 수 있는가?
• RQ2 보간자와 매끄러운 연산자가 외부 도함수와 가환하고 레베그 노름에서 일관된 안정성을 확보하기 위한 조건는 무엇인가?
• RQ3 이 프레임워크는 기존의 유한요소(예: 라비아르트-톰슨, 네데lec)를 임의의 다항식 차수로 일반화하면서도 가환성 특성을 유지할 수 있는가?
• RQ4 이 이론은 혼합형 호지-라플라스 연산자에 대한 고차 고유쌍 근사를 어떻게 지원하는가?
• RQ5 메쉬에 대한 기하적 및 기하 조건은 어떤 조건이어야, 미분형식에 대해 안정적이고 가환하는 투영의 존재를 보장하는가?

주요 결과

• 외부 도함수와 가환하고, 모든 p ∈ [1, ∞]에 대해 L^p 공간에서 곱이 일관된 안정성을 보장하는 보간자와 매끄러운 연산자가 구성되었다.
• 이 프레임워크는 다각형 격자 위에서 임의의 다항식 차수를 가진 고차 혼합 유한요소를 지원하며, 기존의 라비아르트-톰슨 및 네데lec 요소를 일반화한다.
• 외부 도함수와 가환하는 보간자와 일관된 안정성 덕분에 혼합형 호지-라플라스 연산자에 대한 고유쌍 근사는 고차 수렴성을 달성한다.
• 이론은 변분 이산화에 적합한 소볼레프 포함관계 및 이동 추정치의 변형을 제공한다.
• 리프시츠 경계를 가진 도메인에 대해 튜브형 이웃의 미분동형사상이 존재하여 국소 정(regularity)을 보장하고 확장 연산자의 구성이 가능하다.
• 이 프레임워크는 미분형식에 대한 유한요소 방법을 통합하며, PDE의 고차, 호환 가능한 이산화를 위한 기초를 제공한다.