[논문 리뷰] Generalized Finite Element Systems for smooth differential forms and Stokes problem

Snorre H. Christiansen, Kaibo Hu|arXiv (Cornell University)|2016. 05. 27.

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

한 줄 요약

이 논문은 미분 형식의 고규칙성 유한요소 복합체를 구성하기 위한 일반화된 유한요소 시스템(FES) 프레임워크를 제안한다. 이는 연속 또는 비연속 압력이 있는 스토크스 문제에 대해 적합한 혼합 유한요소를 가능하게 하며, 대수적 호환 조건을 통해 공명하는 보간자를 보장한다. 2차원 및 3차원에서 최소 크기의 다항식 기반 복합 요소를 구성하며, 새로운 C1-연속 벡터장과 개선된 연속성 특성을 가진 스토크스 쌍을 포함한다.

ABSTRACT

We provide both a general framework for discretizing de Rham sequences of differential forms of high regularity, and some examples of finite element spaces that fit in the framework. The general framework is an extension of the previously introduced notion of Finite Element Systems, and the examples include conforming mixed finite elements for Stokes' equation. In dimension 2 we detail four low order finite element complexes and one infinite family of highorder finite element complexes. In dimension 3 we define one low order complex, which may be branched into Whitney forms at a chosen index. Stokes pairs with continuous or discontinuous pressure are provided in arbitrary dimension. The finite element spaces all consist of composite polynomials. The framework guarantees some nice properties of the spaces, in particular the existence of commuting interpolators. It also shows that some of the examples are minimal spaces.

연구 동기 및 목표

• 표준 C0 또는 H1-연속 요소를 초월하여 더 높은 차수의 연속성을 갖는 미분 형식을 지원하는 일반화된 유한요소 시스템(FES) 프레임워크를 개발하는 것.
• 복합 다항식 기저 함수를 사용하여 고규칙성의 미분 형식, 특히 k ≥ 1 인 k-형식을 위한 새로운 유한요소 공간을 구성하는 것.
• 연속 또는 비연속 압력을 갖는 스토크스 문제에 대해 적합한 혼합 유한요소 쌍을 제공하여 최적의 근사 및 안정성을 보장하는 것.
• 도메인의 자유도에 대한 대수적 제약 조건을 통해 공명 보간자의 존재를 확립하고, de Rham 복합체와의 일致성을 보장하는 것.
• 특히 2차원 및 3차원의 저차수 및 고차수의 경우에서 유한요소 공간의 최소성과 유일해결성(유일성)을 입증하는 것.

제안 방법

• 기존의 FES 프레임워크를 확장하여 메쉬 경계에서의 고차수 연속성(예: C1)을 표현하기 위해 비-풀백 제약 연산자를 허용한다.
• 지역 유한요소 공간을 정밀한 단체 메쉬 위의 복합 다항식 함수로 정의하며, 정점, 모서리, 면에서 공유되는 값과 도함수를 통해 연속성을 강제한다.
• 외부 미분과의 공명 보간자를 보장하는 데 사용되는 표준 자유도로 조화 자유도를 선택한다.
• 공명 보간자의 존재를 활용하여 미분 연산자와 가환하는 유계 프로젝션을 구성하기 위해 평균화 기법을 적용한다.
• 모든 차수의 미분 형식을 위한 de Rham 유형 복합체를 구성하며, 특히 3차원에서 인덱스 1 또는 2에서 윌리엄스 형식으로 분기 가능한 새로운 저차수 복합체를 정의한다.
• 특히 임의의 차원 n에서 ℓ = n−1 인 경우에 대해 차원 수를 세는 방법을 통해 공간의 차원과 유일해결성을 증명한다.

실험 결과

연구 질문

• RQ1 FES 프레임워크는 어떻게 C1-연속 벡터장과 같은 고규칙성의 미분 형식을 지원하도록 일반화될 수 있는가?
• RQ2 부드러운 미분 형식에 대해 공명 보간자를 갖는 de Rham 복합체를 이루는 최소 유한요소 공간은 무엇인가?
• RQ3 연속 속도와 연속 또는 비연속 압력을 갖는 새로운 적합한 혼합 유한요소를 스토크스 문제에 대해 구성할 수 있는가?
• RQ4 정점과 모서리에서 공유되는 도함수를 갖는 복합 다항식 요소는 어떻게 공명 보간자의 존재를 보장하는가?
• RQ5 특히 고차수 및 고차원의 경우에서 유한요소 공간의 차원과 구조는 무엇인가?

주요 결과

• 제안된 일반화된 FES 프레임워크는 C1-연속 형식을 갖는 유한요소 복합체를 구성할 수 있으며, 이는 고규칙성 이산화를 가능하게 한다.
• 2차원에서는 저차수로 네 개의 복합체와 무한한 고차수 복합체 가족이 명시적으로 구성되었으며, 모두 공명 보간자를 갖는다.
• 3차원에서는 새로운 저차수 복합체가 정의되었으며, 이는 인덱스 1 또는 2에서 윌리엄스 형식으로 분기되어 비연속 압력을 갖는 스토크스 쌍을 생성한다.
• 임의의 차원 n에서 ℓ = n−1 인 경우, dim A^{n−1}(S) = (n+1)^2 이고 dim A^n(S) = 1 이며, 자유도의 유일해결성이 입증된다.
• 구성된 보간자는 발산 연산자와 가환하므로 안정성을 보장하고, inf-sup 조건의 증명을 단순화한다.
• 이 프레임워크는 스토크스 문제에서 inf-sup 안정성을 증명하기 위한 매크로 요소 기법의 대안을 제공하며, 대수적 호환성과 공명 프로젝션을 통해 실현된다.