[논문 리뷰] A construction of linear bounded interpolatory operators on the torus

S. Chandrasekaran, H. N. Mhaskar|arXiv (Cornell University)|2010. 11. 24.

Electromagnetic Scattering and Analysis참고 문헌 18인용 수 3

한 줄 요약

이 논문은 최적화 기반 접근을 사용하여 q-토러스 위의 다변수 주기적 함수에 대해 선형이고 유계된 보간 연산자를 구성한다. 주어진 데이터 점에서의 보간 조건을 만족시키는 동시에 보간자의 소볼레프 노름을 제어하는 제약 조건이 있는 최소화 문제를 해결함으로써, 균일한 유계성과 산점된 데이터의 극한점에서 최적 수렴 속도를 보장한다. 이는 등간격 보간에서 발생하는 룬게 현상 등의 문제를 극복하면서도 안정성과 근사 정확도를 유지한다.

ABSTRACT

Let $q\ge 1$ be an integer. Given $M$ samples of a smooth function of $q$ variables, $2π$--periodic in each variable, we consider the problem of constructing a $q$--variate trigonometric polynomial of spherical degree $Ø(M^{1/q})$ which interpolates the given data, remains bounded (independent of $M$) on $[-π,π]^q$, and converges to the function at an optimal rate on the set where the data becomes dense. We prove that the solution of an appropriate optimization problem leads to such an interpolant. Numerical examples are given to demonstrate that this procedure overcomes the Runge phenomenon when interpolation at equidistant nodes on $[-1,1]$ is constructed, and also provides a respectable approximation for bivariate grid data, which does not become dense on the whole domain.

연구 동기 및 목표

• 산점된 데이터 점을 사용하여 다변수 주기적 함수를 선형적으로 보간하기 위한 구축 가능한 방법을 개발한다.
• 보간자가 샘플 수에 관계없이 균일하게 유계이면서 데이터의 극한점에서 최적 속도로 수렴하도록 보장한다.
• 등간격 단변수 보간에서 발생하는 룬게 현상을 다변수 주기적 함수로 확장한 접근을 통해 극복한다.
• 전체 도메인에 걸쳐 밀도가 높아야 하는 조건 없이도 보간 제약 조건을 만족하면서도 안정적이고 근사적으로 최적의 근사를 제공한다.
• 소볼레프 공간 이론과 푸리에 분석을 사용하여 수렴 속도와 연산자 노름에 대한 이론적 경계를 수립한다.

제안 방법

• 주어진 데이터 점에서의 보간 조건을 만족시키는 조건 하에 소볼레프 노름 $\|P^{(s)}\|_p$ 의 제약 최소화 문제로 보간 문제를 수립한다.
• 함수의 주기성과 변수 변경을 통해 문제를 q-토러스로 매핑함으로써 삼각 다항식의 사용을 가능하게 한다.
• 대칭성과 푸리에 계수 비교 기법을 적용하여 보간자와 목표 함수 사이의 오차를 경계한다.
• 아르체라-아스콜리 정리와 부분수열 수렴 추론을 사용하여 데이터의 극한점에서의 균일 수렴을 증명한다.
• 소볼레프 공간에서의 연산자 노름 경계를 통해 안정성을 확립하여 $\|\mathbb{P}_n^*\|_{W^p_s} \leq c\|f\|_{W^p_s}$ 를 확보한다.
• 연속성의 모듈러스와 차분 연산자를 사용하여 부드러움 파라미터에 기반한 호일더 유사 노름에서의 수렴 속도를 유도한다.

실험 결과

연구 질문

• RQ1 다변수 주기적 함수에 대해 룬게 현상을 피할 수 있는 선형이고 유계인 보간 연산자를 토러스 위에 구성할 수 있는가?
• RQ2 데이터 점들이 특정 극한점에 집중할 경우, 그러한 보간자의 최적 수렴 속도는 무엇인가?
• RQ3 샘플 수에 관계없이 연산자 노름을 제어할 수 있는가? 이는 안정성을 보장한다.
• RQ4 보간 제약 조건을 만족하면서도 소볼레프 공간에서 근사적으로 최적의 근사를 제공할 수 있는가?
• RQ5 전역적으로 밀도가 높지 않더라도, 보간자가 극한점에서 수렴하기 위한 데이터 분포에 대한 조건은 무엇인가?

주요 결과

• 제약 최소화 문제의 해는 $\|\mathbb{P}_n^*\|_{W^p_s} \leq c\|f\|_{W^p_s}$ 를 만족하는 선형이고 유계인 보간자를 제공하여 샘플 수에 관계없이 안정성을 보장한다.
• 보간자는 데이터의 극한점에서 최적 속도 $O(\delta^{s - q/p})$ 로 수렴하며, 여기서 $\delta$ 는 局소 밀도 척도이다.
• 등간격 단변수 보간에서 발생하는 룬게 현상을 다변수 주기적 설정에서의 유계성과 수렴성 보장으로 극복한다.
• 수치 예제는 데이터가 전체 도메인에 걸쳐 밀도가 높지 않더라도 이 방법이 이중 그리드 데이터에 대해 안정적이고 정확한 근사를 제공함을 확인한다.
• 이 수렴 속도는 주어진 소볼레프 공간 내에서 최선의 근사 오차와 일치하므로 최적이다.
• 이 구성은 임의의 산점된 데이터 세트에 대해 유효하며, 특정 기하적 배열이나 전역 밀도가 필요하지 않다.