[논문 리뷰] A characterization of supersmoothness of multivariate splines

Michael S. Floater, Kaibo Hu|arXiv (Cornell University)|2019. 06. 19.

Advanced Numerical Analysis Techniques참고 문헌 14인용 수 5

한 줄 요약

이 논문은 다변량 스플라인에서 초매끄러움의 성질을 단순체의 한 꼭짓점에 공유되는 세포에서 다항 스플라인 공간의 열화와 연결시켜 기술한다. 이 기술을 바탕으로 Clough-Tocher, Alfeld, Worsey-Farin 분할 및 2-세포를 포함한 다양한 메쉬 구성에서 초매끄러움의 최대 차수를 도출하며, 다항식 차수와 메쉬 구조에 따라 도달 가능한 최대 매끄러움 차수에 대한 명시적 공식을 제시한다.

ABSTRACT

We consider spline functions over simplicial meshes in $\RR^n$. We assume that the spline pieces join together with some finite order of smoothness but the pieces themselves are infinitely smooth. Such splines can have extra orders of smoothness at a vertex, a property known as \emph{supersmoothness}, which plays a role in the construction of multivariate splines and in the finite element method. In this paper we characterize supersmoothness in terms of the degeneracy of spaces of polynomial splines over the cell of simplices sharing the vertex, and use it to determine the maximal order of supersmoothness of various cell configurations.

연구 동기 및 목표

• 다음과 같은 꼭짓점에 인접한 단순체의 세포에서 다항 스플라인 공간의 열화를 이용해 다변량 스플라인에서 초매끄러움을 기술하는 것.
• n차원 단순체 메쉬에서 다양한 세포 구성에 대해 도달 가능한 초매끄러움의 최대 차수를 결정하는 것.
• 스플라인 조각이 무한히 매끄럽다는 가정 하에 이전의 초매끄러움 결과를 고차원 공간과 고차수 매끄러움으로 확장하는 것.
• 스플라인의 매끄러움이 다항식 공간의 대수적 조건과 연결됨을 고려해 유한요소 방법과 스플라인 구성에 적용 가능한 일반적인 프레임워크를 제공하는 것.

제안 방법

• 논문은 한 꼭짓점에서의 초매끄러움을 그 꼭짓점에 공유되는 단순체의 세포에서 다항 스플라인 공간의 열화를 통해 기술한다.
• 다항 스플라인 공간의 차원 공식을 사용하여 공간이 열화되는 조건을 판단함으로써 초매끄러움이 발생하는지 확인한다.
• 이 방법은 스플라인 공간 공식에서 특정 차원 항의 조합이 0이 되는 것과 초매끄러움이 연결됨을 보여주는 정리 1을 적용한다.
• Alfeld 및 Worsey-Farin 분할과 같은 특정 구성에 대해서는 이전 연구(예: Schenck와 Sorokina [10])에서 알려진 차원 공식을 활용하여 최대 초매끄러움을 계산한다.
• 2-세포에 대해서는 한 비단순체 성분에서 값이 0인 스플라인 공간에 대한 새로운 차원 공식을 유도하여 최대 초매끄러움에 대한 닫힌 표현식을 도출한다.
• 최대 다항식 차수 d를 특정하기 위해 코로나리 1을 적용함으로써 스플라인 공간이 열화되는 조건을 확인하고, 이에 따라 최대 초매끄러움 차수를 결정한다.

실험 결과

연구 질문

• RQ1 단순체의 세포에서 다항 스플라인 공간에 어떤 조건이 성립하면 꼭짓점에서 초매끄러움이 발생하는가?
• RQ2 n차원 공간에서 Alfeld 분할에 대해 도달 가능한 초매끄러움의 최대 차수는 얼마인가?
• RQ3 Worsey-Farin 또는 2-세포 구조와 같은 메쉬 구성에 따라 최대 초매끄러움 차수는 어떻게 달라지는가?
• RQ4 2차원을 초월하는 고차원 단순체 메쉬로의 초매끄러움 기술을 확장할 수 있는가?
• RQ5 스플라인 공간의 열화가 꼭짓점에서 추가적인 매끄러움이 존재함을 정확히 반영하는가?

주요 결과

• n차원 공간에서 Alfeld 분할의 최대 초매끄러움 차수는 $\rho_{n,n} = n(n+1) - 1$ 로 주어진다.
• Worsey-Farin 분할 $\Delta_{n-1,n}$ 에서 최대 초매끄러움 차수는 $\rho_{n-1,r} = r + (n-1)(r+1)$ 이며, 이 공식은 정렬된 분할에 대해 성립한다.
• 3차원에서 Worsey-Farin 분할의 최대 초매끄러움 차수는 $\rho_{2,1} = 2$ 이며, 이는 기존 결과와 일치한다.
• n차원 공간에서 2-세포 구성의 최대 초매끄러움 차수는 $r + (n-1)(r+1)$ 이며, $\dim S_d^r(\Delta_2) = \dim \Pi_d + \dim \Pi_{d - n(r+1)}$ 이다.
• 2차원에서 2-세포의 최대 초매끄러움 차수는 $2r+1$ 이고, 3차원에서는 $3r+2$ 이다.
• 스플라인 공간의 열화를 통한 기술은 임의의 단순체 메쉬 구성에서 초매끄러움을 식별하는 일반적이고 계산 가능한 기준을 제공한다.