[论文解读] Optimal rates of convergence and error localization of Gegenbauer projections

Haiyong Wang|arXiv (Cornell University)|Aug 2, 2020

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积分，推导出投影系数的精确表达式。
• 利用高斯超几何函数的渐近展开，推导出系数的主导行为及收敛速率。

实验结果

研究问题

• RQ1 在何种条件下，Gegenbauer投影在最大范数下的收敛速率与最佳逼近一致？
• RQ2 当λ > 1时，Gegenbauer投影相对于可微函数的最佳逼近，其收敛速率如何退化？
• RQ3 为何Gegenbauer投影表现出误差局域化现象，即在奇点附近更准确？
• RQ4 具有端点或内部奇点的函数，其Gegenbauer投影系数的精确衰减速率为何？
• RQ5 参数λ如何影响Gegenbauer逼近的收敛行为与误差局域化？

主要发现

• 对于解析函数且λ ≤ 0，或可微函数且λ ≤ 1，Gegenbauer投影的收敛速率与最佳逼近一致。
• 对于解析函数且λ > 0，Gegenbauer投影的收敛速率比最佳逼近慢n^λ倍。
• 对于可微函数且λ > 1，Gegenbauer投影的收敛速率比最佳逼近慢n^{λ−1}倍。
• 对于具有端点奇点的函数，当所有λ > −1/2时，Gegenbauer投影与最佳逼近的收敛速率一致。
• 误差局域化现象得到理论解释：除奇点附近的小邻域外，Gegenbauer投影比最佳逼近更精确。
• 通过分数阶微积分与超几何函数，推导出Gegenbauer投影系数的显式渐近公式，验证了预测的收敛速率。