[논문 리뷰] Exact smooth piecewise polynomial sequences on Alfeld splits

Guosheng Fu, Johnny Guzmán외 1명|arXiv (Cornell University)|2018. 07. 16.

Advanced Numerical Analysis Techniques참고 문헌 12인용 수 11

한 줄 요약

이 논문은 단형의 정점과 그의 바리센터를 연결하여 형성된 알펠트 분할(Alfeld split)에 대해 임의의 공간 차원과 다항식 차수에서 정확한 de Rham 복합체를 구성한다. 이 복합체는 조각다항식 미분형식의 공간에서 외부 미분의 핵에 대해 향상된 연속성을 보장하며, 이를 통해 공변하는 투영 연산자, 스토크스 문제의 수렴 자유 부분공간의 특성화, 그리고 부드러운 다항식 공간의 명시적 차원 공식을 구성할 수 있다.

ABSTRACT

We develop exact piecewise polynomial sequences on Alfeld splits in any spatial dimension and any polynomial degree. An Alfeld split of a simplex is obtained by connecting the vertices of an $n$-simplex with its barycenter. We show that, on these triangulations, the kernel of the exterior derivative has enhanced smoothness. Byproducts of this theory include characterizations of discrete divergence-free subspaces for the Stokes problem, commutative projections, and simple formulas for the dimensions of smooth polynomial spaces.

연구 동기 및 목표

• 임의의 공간 차원과 다항식 차수에서 알펠트 분할에 대해 정확하고 부드러운 조각다항식 de Rham 복합체를 개발한다.
• 이 복합체를 사용하여 스토크스 문제의 이산 수렴 자유 부분공간을 특성화한다.
• 알펠트 삼각분할에 대한 유한요소 공간에 대해 유일한 자유도와 공변하는 투영을 구성한다.
• 알펠트 분할에서의 부드러운 다항식 공간에 대한 명시적 차원 공식을 유도한다.
• 수축 가능한 영역에서 이산 de Rham 복합체의 전역 정확성을 확립한다.

제안 방법

• 바리센터 좌표와 외부 대수를 사용하여 단일 단형에서 다항식 미분형식을 정의한다.
• 알펠트 분할에서 조각다항식 k-형식의 유한요소 공간을 정의하며, 단형의 면을 넘어선 향상된 연속성을 확보한다.
• 이 공간에서 외부 미분의 핵이 정확한 형식(즉, 고차수 형식의 상)으로 이루어져 있음을 증명하여 국소 정확성을 확립한다.
• 계수-핵 차원과 오일러 지표를 이용한 추론을 통해 수축 가능한 영역에서 이산 복합체의 전역 정확성을 증명한다.
• 3차원 유한요소 공간에 대해 공변하는 투영을 유도하는 유일한 자유도를 구성한다.
• 자유도의 수를 세는 방식을 통해 부드러운 다항식 공간의 차원 공식을 도출한다.

실험 결과

연구 질문

• RQ1 알펠트 분할에 정의된 조각다항식 k-형식에서 외부 미분의 핵의 구조는 어떠한가?
• RQ2 강화된 정규성 조건을 갖는 알펠트 삼각분할의 유한요소 공간에 대해 공변하는 투영을 어떻게 구성할 수 있는가?
• RQ3 알펠트 분할에서 연속적이고 조각다항식인 k-형식의 공간과 그 외부 미분이 연속적인 경우의 차원 공식은 무엇인가?
• RQ4 임의의 공간 차원과 다항식 차수에서 알펠트 분할에 대해 정확한 de Rham 복합체를 구성할 수 있는가?
• RQ5 이 복합체는 클라우프-토처, 알펠트, 진의 스토크스 요소와 같은 알려진 유한요소 가족과 어떻게 관련이 있는가?

주요 결과

• 알펠트 분할에서 조각다항식 k-형식의 외부 미분의 핵은 정확히 정확한 형식으로 이루어져 있으며, 이는 de Rham 복합체의 국소 정확성을 증명한다.
• 연속적이고 조각다항식인 k-형식의 공간과 그 외부 미분이 연속적인 경우의 차원은 자유도의 수를 세는 방식으로 유도된 폐쇄형 공식으로 주어진다.
• $ r \geq 5 $일 때, 벡터값 조각다항식 공간에서 스칼라값 조각다항식 공간으로의 수렴 지도는 알펠트 분할에서 전사적이다.
• $ r \geq 5 $일 때, $ H^1(\text{curl}) $-일치 유한요소 공간에서 수렴 자유 부분공간으로의 컬 지도가 전사적임을 차원 수와 오일러 지표 항등식을 통해 증명하였다.
• 수축 가능한 영역에서 알펠트 삼각분할의 이산 de Rham 복합체는 차원 매칭과 계수-핵 차원 추론을 통해 전역적으로 정확하다.
• 이 구성은 알펠트의 $ C^1 $ 요소와 진의 inf-sup 안정 스토크스 쌍을 전역적으로 연결하는 새로운 $ H^1(\text{curl}) $-일치 유한요소 공간을 제공한다.