[논문 리뷰] Optimal rates of convergence and error localization of Gegenbauer projections

Haiyong Wang|arXiv (Cornell University)|2020. 08. 02.

Numerical methods in inverse problems참고 문헌 35인용 수 5

한 줄 요약

이 논문은 최대 노름에서 Gegenbauer 투영의 최적 수렴 속도를 확립하며, λ ≤ 1일 때 해석적 또는 미분 가능 함수에 대해 이들이 최적 근사와 동일한 속도로 수렴함을 보여주지만, λ > 1일 경우 수렴 속도가 n^λ 또는 n^{λ−1}의 인자만큼 느려진다는 것을 밝힌다. 또한 특이점 근처에서 오차가 국소화되는 현상을 설명하고, 구간의 대부분 영역에서 Gegenbauer 방법의 뛰어난 정확도에 대한 이론적 근거를 제공한다.

ABSTRACT

Motivated by comparing the convergence behavior of Gegenbauer projections and best approximations, we study the optimal rate of convergence for Gegenbauer projections in the maximum norm. We show that the rate of convergence of Gegenbauer projections is the same as that of best approximations under conditions of the underlying function is either analytic on and within an ellipse and $λ\leq0$ or differentiable and $λ\leq1$, where $λ$ is the parameter in Gegenbauer projections. If the underlying function is analytic and $λ>0$ or differentiable and $λ>1$, then the rate of convergence of Gegenbauer projections is slower than that of best approximations by factors of $n^λ$ and $n^{λ-1}$, respectively. An exceptional case is functions with endpoint singularities, for which Gegenbauer projections and best approximations converge at the same rate for all $λ>-1/2$. For functions with interior or endpoint singularities, we provide a theoretical explanation for the error localization phenomenon of Gegenbauer projections and for why the accuracy of Gegenbauer projections is better than that of best approximations except in small neighborhoods of the critical points. Our analysis provides fundamentally new insight into the power of Gegenbauer approximations and related spectral methods.

연구 동기 및 목표

• Gegenbauer 투영의 최대 노름에서의 최적 수렴 속도를 결정하는 것.
• Gegenbauer 투영의 수렴 행동을 최적 다항근사와 비교하는 것.
• 특히 특이점 근처에서 Gegenbauer 투영에서 오차 국소화 현상을 설명하는 것.
• Gegenbauer 근사가 임계점에서 벗어난 영역에서 정확도가 뛰어난 데 대한 이론적 기초를 제공하는 것.

제안 방법

• Lebesgue 보조정리를 사용하여 Gegenbauer 투영 오차를 최적 근사 오차와 Lebesgue 상수 Λₙ(λ)와 연결한다.
• 기존의 Lebesgue 상수에 대한 渐近 경계를 활용: λ > 0일 경우 O(n^λ), λ = 0일 경우 O(log n), λ < 0일 경우 O(1).
• 끝점 또는 내부 특이성이 있는 함수의 경우, 분수적 미적분학과 기하급수 함수 항등식을 이용해 명시적인 계수 감쇠 속도를 유도한다.
• 분포적 도함수와 분수적 적분을 통해 Gegenbauer 투영 계수 aₖ^λ를 분석하며, 특히 점프 불연속성 또는 도함수를 갖는 함수에 대해 다룬다.
• 일반화된 Gegenbauer 함수와 좌/우 분수적 Riemann-Liouville 적분을 적용하여 투영 계수의 정확한 표현을 유도한다.
• Gauss 기하급수 함수의 渐近 전개를 사용하여 계수와 수렴 속도의 주요 항 행동을 유도한다.

실험 결과

연구 질문

• RQ1 Gegenbauer 투영이 최대 노름에서 최적 근사와 동일한 속도로 수렴하는 조건은 무엇인가?
• RQ2 λ > 1인 경우, 미분 가능 함수에 대해 Gegenbauer 투영의 수렴 속도가 최적 근사와 비교해 어떻게 떨어지는가?
• RQ3 왜 Gegenbauer 투영은 특이점 근처를 제외한 영역에서 더 정확한가? 오차 국소화 현상의 이유는 무엇인가?
• RQ4 끝점 또는 내부 특이성이 있는 함수에 대해 Gegenbauer 투영 계수의 정확한 감쇠 속도는 무엇인가?
• RQ5 파rameter λ가 Gegenbauer 근사의 수렴 행동과 오차 국소화에 어떻게 영향을 미치는가?

주요 결과

• 해석적 함수이거나 λ ≤ 0일 경우, 또는 미분 가능 함수이거나 λ ≤ 1일 경우, Gegenbauer 투영의 수렴 속도는 최적 근사와 동일하다.
• 해석적 함수이거나 λ > 0일 경우, Gegenbauer 투영의 수렴 속도는 최적 근사보다 n^λ의 인자만큼 느리다.
• 미분 가능 함수이거나 λ > 1일 경우, Gegenbauer 투영의 수렴 속도는 최적 근사보다 n^{λ−1}의 인자만큼 느리다.
• 끝점 특이성이 있는 함수에 대해선, 모든 λ > −1/2에서 Gegenbauer 투영과 최적 근사는 동일한 속도로 수렴한다.
• 오차 국소화 현상은 이론적으로 설명된다: Gegenbauer 투영은 특이점 주변의 작은 이웃 영역를 제외한 나머지 영역에서 최적 근사보다 더 정확하다.
• 분수적 미적분학과 기하급수 함수를 사용하여 Gegenbauer 투영 계수의 명시적 渐近 공식을 도출하였으며, 예측된 수렴 속도를 확인하였다.