[논문 리뷰] Error analysis for quadratic spline quasi-interpolants on non-uniform criss-cross triangulations of bounded rectangular domains

Catterina Dagnino, Paul Sablonnière|arXiv (Cornell University)|2006. 02. 16.

Advanced Numerical Analysis Techniques참고 문헌 8인용 수 4

한 줄 요약

이 논문은 유한한 직사각형 영역의 비균일한 크로스크로스 삼각분할에서 두 $C^1$ 2차 스퍼린 quasi-보간법 $S_2$ 및 $W_2^*$에 대한 오차 분석을 제시한다. 이 방법은 도메인 내부에 완전히 포함된 지원을 가진 B-spline과 경계상의 데이터 점을 사용하여, 삼각분할에 관계없이 작은 무한노름을 보장한다. 주요 기여는 함수, 1차 도함수 및 2차 도함수 근사에 대해 날카운 오차 한계를 도출한 것으로, 부드러움 조건과 메쉬 비율 조건 하에서 최적의 수렴 속도를 달성한다.

ABSTRACT

Given a non-uniform criss-cross partition of a rectangular domain $Ω$, we analyse the error between a function $f$ defined on $Ω$ and two types of $C^1$-quadratic spline quasi-interpolants (QIs) obtained as linear combinations of B-splines with discrete functionals as coefficients. The main novelties are the facts that supports of B-splines are contained in $Ω$ and that data sites also lie inside or on the boundary of $Ω$. Moreover, the infinity norms of these QIs are small and do not depend on the triangulation: as the two QIs are exact on quadratic polynomials, they give the optimal approximation order for smooth functions. Our analysis is done for $f$ and its partial derivatives of the first and second orders and a particular effort has been made in order to give the best possible error bounds in terms of the smoothness of $f$ and of the mesh ratios of the triangulation.

연구 동기 및 목표

• 유계 직사각형 영역의 비균일한 크로스크로스 삼각분할에서 $C^1$ 2차 스퍼린 quasi-보간법의 근사 오차를 분석하는 것.
• B-spline의 지원과 데이터 점이 도메인 내부에만 국한되도록 하여 도메인 경계를 초월한 외삽을 방지하는 것.
• 부드러움과 局부 메쉬 비율에 따라 함수 및 그 1차 및 2차 편도함수의 근사 오차에 대해 날카운 오차 한계를 도출하는 것.
• quasi-보간법의 무한노름이 삼각분할에 영향을 받지 않고 일관되게 유계임을 보장하는 것.
• 부드러운 함수에 대해 최적의 근사 순서를 확립하고, quasi-균일 메쉬 조건 하에서 수렴성을 보여주는 것.

제안 방법

• quasi-보간법 $S_2$ 및 $W_2^*$는 함수 값에서 유도된 이산 계수 함수형을 갖는 $C^1$ 2차 B-spline의 선형 조합으로 구성된다.
• B-spline는 $\Omega=[a,b]\times[c,d]$의 비균일 분할에서 각 하위직사각형에 양대각선을 그어 만든 크로스크로스 삼각분할 위에서 정의된다.
• 내부 B-spline와 도메인 $\Omega$ 내부에 지원이 포함된 경계 B-spline에 대해 베르슈타인-베지에 계수를 사용하여, 외부 데이터가 필요 없도록 보장한다.
• 오차 추정은 모듈러스의 부드러움과 B-spline 도함수의 경계를 이용하여 이전 연구에서 얻은 성질을 활용하여 유도된다.
• 핵심 부등식은 오차를 보간 오차와 quasi-보간 오차로 분해하고, 계수 함수형과 B-spline 도함수의 경계를 고려한다.
• 지역 메쉬 비율 $h/\delta$를 고려하여 오차 경계를 정밀화하며, 여기서 $h$는 최대 단위 간격이고 $\delta$는 최소 간격이다.

실험 결과

연구 질문

• RQ1 함수 $f \in C^2(\Omega)$에 대해 $S_2$ 및 $W_2^*$ quasi-보간법의 근사 오차는 함수 값과 도함수에 대해 어떻게 표현되는가?
• RQ2 quasi-보간법의 무한노름은 삼각분할에 어떻게 의존하며, 일관되게 유계로 유지될 수 있는가?
• RQ3 quasi-균일 메쉬 정밀화 조건 하에서 quasi-보간법과 그 도함수의 수렴 속도는 어떻게 되는가?
• RQ4 오차 경계는 함수의 부드러움과 지역 메쉬 비율 $h/\delta$에 따라 어떻게 달라지는가?
• RQ5 특히 삼각형 셀의 내부에서 1차 및 2차 도함수에 대해 날카운 오차 경계를 도출할 수 있는가?

주요 결과

• 함수 $f \in C^2(\Omega)$에 대해, 함수 근사 오차는 $\|f - Q\|_{\infty} \leq \left[1 + \bar{C}_2 (h/\delta)\right] h \omega(D^2f, h/2)$ 를 만족하며, $S_2$의 경우 $\bar{C}_2 \leq 122$, $W_2^*$의 경우 $\bar{C}_2 \leq 65$이다.
• 함수 $f \in C^3(\Omega)$에 대해, 1차 도함수 오차는 $\|D^\alpha f - D^\alpha Q\|_{\infty} \leq \bar{C}_3 (h/\delta) h^2 \|D^3f\|$, $S_2$의 경우 $\bar{C}_3 \leq 269/12 \approx 22.4$, $W_2^*$의 경우 $\bar{C}_3 \leq 65/6 \approx 10.8$로 유계이다.
• 삼각형 셀 내부에서 2차 도함수 오차는 $\|D^\alpha f - D^\alpha Q\|_{\text{int}(T)} \leq \left[1 + D_2 (h/\delta)^2\right] \omega(D^2f, h/2)$ 를 만족하며, $S_2$의 경우 $D_2 \leq 183$, $W_2^*$의 경우 $D_2 \leq 195/2 = 97.5$이다.
• 함수 $f \in C^3(\Omega)$에 대해, 2차 도함수 오차는 $\|D^\alpha f - D^\alpha Q\|_{\text{int}(T)} \leq \left[1 + D_3 (h/\delta)^2\right] h \|D^3f\|$, $S_2$의 경우 $D_3 \leq 269/8 \approx 33.6$, $W_2^*$의 경우 $D_3 \leq 65/4 = 16.25$로 유계이다.
• $\gamma$-quasi-균일 분할 조건 하에서, quasi-보간법은 $f$ 및 그 1차 도함수에 대해 $L^\infty(\Omega)$에서 수렴하며, 각 삼각형의 내부에서 2차 도함수도 수렴한다. 이때 수렴 속도는 $s=1,2$에 대해 $O(h^{s-1} \omega(D^s f, h/2))$로 최적의 비율을 보인다.
• quasi-보간법의 무한노름은 삼각분할에 영향을 받지 않고 일관되게 유계이며, 이는 대규모 문제에 있어 중요한 실용적 이점이다.