[논문 리뷰] A unifying theory for multivariate polynomial interpolation on general Lissajous-Chebyshev nodes

Peter Dencker, Wolfgang Erb|arXiv (Cornell University)|2017. 11. 01.

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

한 줄 요약

이 논문은 일반적인 리사주-체비셰프 노드 집합에서 다변수 다항식 보간을 위한 통합 이론적 프레임워크를 제시한다. 이는 패두아 점, 모어프-패터슨-주 점, 비퇴화된 리사주 곡선을 통합한다. 스펙트럼 색인 집합과 이산 수직 구조를 도입함으로써 유일한 보간을 증명하고 효율적인 계산 방법을 유도하며, 리만 상수가 텐서곱 경우와 비슷한 비율로 渐近적으로 증가함을 보여준다.

ABSTRACT

The goal of this article is to provide a general multivariate framework that synthesizes well-known non-tensorial polnomial interpolation schemes on the Padua points, the Morrow-Patterson-Xu points and the Lissajous node points into a single unified theory. The interpolation nodes of these schemes are special cases of the general Lissajous-Chebyshev points studied in this article. We will characterize these Lissajous-Chebyshev points in terms of Lissajous curves and Chebyshev varieties and derive a general discrete orthogonality structure related to these points. This discrete orthogonality is used as the key for the proof of the uniqueness of the polynomial interpolation and the derivation of a quadrature rule on these node sets. Finally, we give an efficient scheme to compute the polynomial interpolants.

연구 동기 및 목표

• 비텐서 곱이 아닌 다변수 다항식 보간 기법—특히 패두아 점, 모어프-패터슨-주 점, 리사주-체비셰프 노드—을 하나의 이론적 프레임워크로 통합하는 것.
• 리사주 곡선과 체비셰프 다양체를 통해 보간 노드를 특성화하여, 비텐서 곱 노드 집합의 일반적 처리를 가능하게 하는 것.
• 이러한 노드 집합에서 보간의 유일성을 보장하고 효율적인 계산을 가능하게 하기 위해 이산 수직 구조를 수립하는 것.
• 이산 수직 구조를 이용해 리사주-체비셰프 노드 집합에서의 적분 규칙을 유도하는 것.
• 텐서곱 설정에서 관찰되는 것과 유사한 계산 효율성을 유지하는 보간 다항식 계산을 위한 효율적 알고리즘을 제공하는 것.

제안 방법

• 일반적인 리사주-체비셰프 노드 집합 $\underline{\boldsymbol{\operatorname{LC}}}^{(\underline{\boldsymbol{m}})}_{\underline{\boldsymbol{\kappa}}}$ 를 통합적인 보간 노드 클래스로 도입한다.
• 리사주 곡선과 체비셰프 다양체를 통해 노드를 특성화하여 다변수 수직 구조와 연결한다.
• 정의된 다항식 공간에 대한 관련성을 지닌 스펙트럼 색인 집합을 $\underline{\boldsymbol{m}}$ 과 $\underline{\boldsymbol{\kappa}}$ 를 기반으로 정의한다.
• 체비셰프 다항식의 성질과 리사주 곡선의 대칭성을 이용해 노드 집합에서 이산 수직 구조를 수립한다.
• 이산 수직 구조를 이용해 정의된 다항식 공간 내에서 보간자의 유일성을 증명한다.
• 수직 구조를 활용하여 이산余弦변환과 유사한 변환을 통한 효율적 알고리즘을 개발한다.

실험 결과

연구 질문

• RQ1 패두아 점과 모어프-패터슨-주 점과 같은 비텐서 곱 다변수 보간 기법들이 하나의 이론적 프레임워크로 통합될 수 있는가?
• RQ2 리사주 곡선과 체비셰프 다양체의 관점에서 리사주-체비셰프 노드 집합의 기하학적 및 대수적 성질은 무엇인가?
• RQ3 일반적인 리사주-체비셰프 노드 집합에서 보간의 유일성을 보장하기 위해 어떻게 이산 수직 구조를 구성할 수 있는가?
• RQ4 이러한 노드 집합에서 보간 다항식을 계산하는 데 필요한 계산 복잡도는 무엇이며, 텐서곱 경우와 유사한 효율성을 달성할 수 있는가?
• RQ5 이러한 비텐서 곱이 아닌 노드 집합에서 보간의 리만 상수는 어떤 渐近적 행동을 보이는가?

주요 결과

• 정의된 스펙트럼 색인 집합 기반 다항식 공간에서 일반 리사주-체비셰프 노드 집합 $\underline{\boldsymbol{\operatorname{LC}}}^{(\underline{\boldsymbol{m}})}_{\underline{\boldsymbol{\kappa}}}$ 에서의 보간 문제는 고유한 해를 가진다.
• 노드 집합에서 이산 수직 구조가 수립되었으며, 이는 보간의 유일성 증명과 적분 규칙 도출의 핵심이다.
• 이러한 노드 집합에서의 보간 리만 상수는 텐서곱 경우와 동일한 비율로 渐近적으로 증가하며, 최적의 수치적 안정성을 나타낸다.
• 이산 수직 구조를 활용하고 이산余弦변환과 유사한 구조를 이용해 보간 다항식 계산을 위한 효율적 알고리즘이 도출되었다.
• 비퇴화된 리사주 곡선의 특정 조건 하에서 노드 집합의 크기는 $\#Γ^{(\underline{\boldsymbol{m}})}_{\underline{\boldsymbol{\kappa}}} = \frac{1}{2^{\mathsf{d}-1}}\left(\operatorname{p}[\underline{\boldsymbol{m}}+\underline{\boldsymbol{1}}] - \prod_{\mathsf{i}\notin\{\mathsf{g},\mathsf{g}'\}}(n_{\mathsf{i}}+1)\right)$ 로 주어진다.
• 이론은 기존 기법들을 통합한다: 패두아 점은 퇴화된 리사주 곡선으로 나타나며, 모어프-패터슨-주 점은 일반 프레임워크의 특수한 경우로 복원된다.