[논문 리뷰] On the explicit representation of orthonormal Bernstein polynomials

Michael A. Bellucci|arXiv (Cornell University)|2014. 04. 08.

Advanced Mathematical Theories and Applications참고 문헌 27인용 수 14

한 줄 요약

이 논문은 그람-슈미트 정규화를 통해 유도된 표준(비정규화) 베지에 다항식의 선형 조합으로서의 정규직교 베지에 다항식의 처음으로 명시적인 해석 표현을 제시한다. 이 정규직교 다항식들이 스투름-리우빌 고유값 문제의 해임을 입증하고, 저차수 기저를 사용하여 곡선과 표면을 매우 정확하게 근사할 수 있음을 보여주며, 베지에 곡선 및 표면 모델링에서 수치적 안정성과 제어점 계산을 크게 향상시킨다.

ABSTRACT

In this work we present an explicit representation of the orthonormal Bernstein polynomials and demonstrate that they can be generated from a linear combination of non-orthonormal Bernstein polynomials. In addition, we report a set of $n$ Sturm-Liouville eigenvalue equations, where each of the $n$ eigenvalue equations have the orthonormal Bernstein polynomials of degree $n$ as their solution set. We also show that each of the $n$ Sturm-Liouville operators are naturally self-adjoint. While the orthonormal Bernstein polynomials can be used in a variety of different applications, we demonstrate the utility of these polynomials here by using them in a generalized Fourier series to approximate curves and surfaces. Using the orthonormal Bernstein polynomial basis, we show that highly accurate approximations to curves and surfaces can be obtained by using small sized basis sets. Finally, we demonstrate how the orthonormal Bernstein polynomials can be used to find the set of control points of Bezier curves or Bezier surfaces that best approximate a function.

연구 동기 및 목표

• 기존 문헌에서 이러한 표현식이 부재한 점을 고려해, 정규직교 베지에 다항식의 명시적이고 폐쇄형 표현을 개발하는 것.
• 정규직교 베지에 다항식과 스투름-리우빌 고유값 문제 사이의 관계를 설정하고, 자가수반 연산자 구조를 입증하는 것.
• 정규직교 베지에 다항식을 일반화된 푸리에 급수에 활용하여 곡선과 표면의 함수 근사에 높은 정확도를 달성하는 것.
• 정규직교 기저를 활용해 베지에 곡선 및 표면의 최적 제어점을 계산하는 데 있어 계산을 단순화하는 것.
• 정규직교 기저를 사용해 기존의 악조건인 변환 행렬에 대체할 수 있는 수치적으로 안정적인 방법을 제공하는 것.

제안 방법

• 기저의 차수를 점차 증가시키며, 그람-슈미트 정규화를 통해 비정규화된 베지에 다항식의 선형 조합으로서 정규직교 베지에 다항식을 명시적으로 유도하는 것.
• 정규직교 베지에 다항식이 만족하는 스투름-리우빌 미분방정식 시스템을 규명하고, 계수로 p(x) = x(1−x)², q(x) = n(n+2)(1−x), w(x) = 1, 고유값 λ = (n−j+1)(j−n)을 확인하는 것.
• [0,1] 및 [0,1]²에서 함수 근사를 위한 정규직교 베지에 다항식을 활용한 일반화된 푸리에 급수를 구성하는 것.
• 정규직교 기저를 활용해 근사 오차를 최소화하는 제어점을 계산하는 것.
• 기준 함수를 사용해 성능을 검증: 리사주 곡선, 싱크 표면, 랑거만 표면. 다양한 차수에서 오차를 비교하는 것.
• 최적의 근사 정확도는 저차수 기저(예: 리사주 곡선의 경우 n=20, 표면의 경우 n=12–13)에서 달성되며, 오차는 5.2×10⁻⁶ 이하임을 입증하는 것.

실험 결과

연구 질문

• RQ1 반복적 정규화에 의존하지 않고, 정규직교 베지에 다항식에 대한 명시적인 해석 형태를 유도할 수 있는가?
• RQ2 정규직교 베지에 다항식은 스투름-리우빌 고유값 문제를 만족하는가? 만약 그렇다면, 관련 미분 연산자와 고유값은 무엇인가?
• RQ3 곡선 및 표면 피팅에서 정규직교 기저와 비정규화 기저 간의 근사 정확도는 어떻게 비교되는가?
• RQ4 정규직교 기저는 베지에 곡선 및 표면의 최적 제어점 계산을 단순화할 수 있는가?
• RQ5 리사주 곡선 및 싱크 표면과 같은 복잡한 함수를 고정밀도로 근사하기 위해 필요한 최소 기저 차수는 얼마인가?

주요 결과

• 정규직교 베지에 다항식은 비정규화된 베지에 다항식의 선형 조합으로 명시적으로 표현되었으며, 문헌상 처음으로 폐쇄형 표현식을 제공한다.
• 각 차수 n의 정규직교 베지에 다항식은 자가수반 미분 연산자를 갖는 스투름-리우빌 고유값 문제의 해로서, 스펙트럼 성질을 확인한다.
• 리사주 곡선의 경우, 차수 n=20의 정규직교 기저로 근사 오차 2.1×10⁻⁷를 달성했으며, 동일한 차수에서 비정규화 기저의 정확도를 정확히 재현하였다.
• 싱크 표면의 경우, 12×12 정규직교 기저로 오차 5.1×10⁻⁶를 달성했고, 랑거만 표면의 경우 n=13에서 오차 2.0×10⁻⁶를 기록하였다.
• 기존 방법에 비해 훨씬 작은 기저 집합으로도 정확한 근사를 가능하게 하여, 악조건인 변환 행렬로 인한 수치적 불안정성을 크게 감소시켰다.
• 정규직교성 덕분에 최소제곱 피팅에서 보다 양호한 조건수를 갖는 선형 시스템을 확보함으로써, 베지에 곡선 및 표면의 제어점 최적화 과정이 간소화된다.