[논문 리뷰] Some remarks on filtered polynomial interpolation at Chebyshev nodes

Donatella Occorsio, Woula Themistoclakis|arXiv (Cornell University)|2021. 01. 12.

Mathematical functions and polynomials참고 문헌 25인용 수 7

한 줄 요약

이 논문은 체비셰프 노드에서 필터링된 드 라 발레 푸생(VP) 보간법을 제안하며, 보간, 다항식 보존, 레바스 상수의 균일 유계성의 특성을 통합하여 지배 현상(Gibbs phenomena)을 크게 감소시킨다. 이는 소볼레프 공간과 홀더–지그문트 공간에서 VP 근사 연산자의 균일 유계성을 확립하고, 함수와 그 도함수의 동시 근사에 대한 오차 추정을 제공함으로써 적분미분방정식의 안정적인 수치적 해를 가능하게 한다.

ABSTRACT

The present paper concerns filtered de la Vallée Poussin (VP) interpolation at the Chebyshev nodes of the four kinds. This approximation model is interesting for applications because it combines the advantages of the classical Lagrange polynomial approximation (interpolation and polynomial preserving) with the ones of filtered approximation (uniform boundedness of the Lebesgue constants and reduction of the Gibbs phenomenon). Here we focus on some additional features that are useful in the applications of filtered VP interpolation. In particular, we analyze the simultaneous approximation provided by the derivatives of the VP interpolation polynomials. Moreover, we state the uniform boundedness of VP approximation operators in some Sobolev and Hölder--Zygmund spaces where several integro--differential models are uniquely and stably solvable.

연구 동기 및 목표

• 라그랑주 보간과 필터링 근사의 장점을 통합한 안정적이고 보간 가능한 근사 방법을 개발하기 위해.
• 함수와 그 도함수의 동시 근사를 VP-필터링된 보간자로 분석하기 위해.
• 적분미분방정식의 안정적 해를 위한 소볼레프 공간과 홀더–지그문트 공간에서 VP 투영 연산자의 균일 유계성을 확립하기 위해.
• 일변수 및 이변수 VP 보간을 위한 이산 푸리에 변환 기반의 빠른 계산 알고리즘을 제공하기 위해.
• 실제 응용에서 근사 오차를 최소화하기 위한 최적의 필터 작동 파라미터(m)를 수치 실험을 통해 결정하기 위해.

제안 방법

• 메서드는 푸리에–체비셰프 부분합에 대한 드 라 발레 푸생 필터링을 적용하고, 가우스–체비셰프 정적분을 통해 체비셰프 노드에서의 보간을 유지하도록 이산화한다.
• 텐서 곱을 통한 이변수 확장 방식을 도입하여 보간 및 근사 성질을 유지한다.
• 근사 연산자 $ V_n^m f $ 는 최대 차수 $ n + m - 1 $ 인 다항식으로서, 네 종류의 체비셰프 노드 $ n $ 개에서 $ f $ 를 보간한다.
• 삼각함수 다항식 추정과 버니스타일 부등식을 이용하여 가중 $ L^\infty $, 소볼레프, 홀더–지그문트 공간에서 $ V_n^m $ 의 균일 유계성을 증명한다.
• 이산 블록 변환과 빠른 푸리에 변환(FFT) 알고리즘을 활용하여 빠른 계산을 가능하게 한다.
• 소볼레프 공간과 $ C^q([-1,1]) $ 에서 $ f $ 와 그 도함수의 동시 근사에 대한 오차 추정을 유도하며, 이는 $ m $ 과 $ n $ 에 따라 달라진다.

실험 결과

연구 질문

• RQ1 체비셰프 노드에서 VP-필터링된 보간이 보간성과 다항식 보존성을 유지하면서도 레바스 상수의 균일 유계성을 달성할 수 있는가?
• RQ2 함수와 첫 번째 $ r \geq 1 $ 개의 도함수는 동일한 VP 보간자로 얼마나 잘 동시에 근사될 수 있는가?
• RQ3 VP 연산자 $ V_n^m $ 는 소볼레프 공간과 홀더–지그문트 공간에서 어떤 맵핑 행동을 보이며, $ n $ 과 $ m $ 에 대해 균일하게 유계적인가?
• RQ4 일변수 및 이변수 환경에서 VP 보간자와 그 도함수를 계산하기 위한 효율적인 빠른 알고리즘을 구축할 수 있는가?
• RQ5 실제 응용에서 근사 오차를 최소화하기 위한 최적의 필터 작동 파라미터 $ m $ 은 무엇인가?

주요 결과

• VP 보간 연산자 $ V_n^m $ 는 소볼레프 공간과 홀더–지그문트 공간에서 균일 유계적이며, 기능 방정식의 안정적 근사를 보장한다.
• VP 보간자의 레바스 상수는 $ n $ 과 $ m $ 에 대해 균일하게 유계이며, $ n \sim m $ 일지라도 고전적 라그랑주 보간에서 관찰되는 발산을 피한다.
• 함수와 그 도함수의 동시 근사에 대한 오차 추정이 도출되었으며, $ C^q([-1,1]) $ 과 소볼레프 유형 공간에서 수렴 속도가 명시된다.
• 일반적으로 $ n \sim m $ 일 때, 가중 균일 노름에서의 근사 오차는 최적 근사 오차의 상수배 이내로 유계지며, 이는 근사적으로 최적 근사 성질을 나타낸다.
• 이산 푸리에 블록 변환을 통해 $ V_n^m f $ 와 그 도함수의 빠른 계산이 가능해져 $ O(n \log n) $ 복잡도를 달성한다.
• 수치 실험 결과 $ m \sim n $ 인 경우 최적 수렴 행동을 보이며, 오차 추정에 핵심적인 요소로 $ \sqrt{n/m} $ 가 나타난다.