[论文解读] A uniform bound for the Lagrange polynomials of Leja points for the unit disk

Amadeo Irigoyen|arXiv (Cornell University)|Nov 20, 2014

Analytic and geometric function theory参考文献 11被引用 4

一句话总结

本文建立了在复单位圆盘上由Leja序列构造的Lagrange多项式的一致有界性，证明其在任意次数 $N$ 下均保持一致有界。作为关键结果，本文证明Lebesgue常数的增长至多为线性：$ Lambda_N = O(N)$，并在 $N = 2^p - 1$ 时获得了改进的界。该结果解决了单位圆盘上多项式插值中的关键稳定性问题。

ABSTRACT

We study uniform estimates for the family of fundamental Lagrange polynomials defined from any Leja sequence for the complex unit disk. The main result claims that all these polynomials are uniformly bounded on the disk, i.e. independently on the range $N$ of the associated $N$-Leja section. An essential and immediate application is an estimate of the associated Lebesgue constants as $\Lambda_N=O(N)$, $\forall\,N\geq1$. We also deal with the special case of $N=2^p-1$ where we give an improvement of the main result.

研究动机与目标

• 建立由复单位圆盘上Leja序列导出的基本Lagrange多项式的一致有界性。
• 解决这些多项式在所有次数 $N$ 下一致有界的长期悬而未决问题。
• 在单位圆盘插值背景下，推导Lebesgue常数 $\nLambda_N$ 的精确估计。
• 针对特殊情形 $N = 2^p - 1$，改进该情形下的界，此时Lebesgue常数的增长率进一步优化。

提出的方法

• 分析单位圆盘上Leja序列的结构，以利用其分布特性。
• 运用复分析技术，对 $N$ 一致有界的基本Lagrange多项式进行控制。
• 推导出在闭单位圆盘上Lagrange基多项式上确界范数的与 $N$ 无关的一致上界。
• 应用Leja点已知的极值性质，以控制插值算子的增长。
• 通过Lagrange多项式的一致有界性，建立Lebesgue常数的 $O(N)$ 增长率。
• 利用这些索引处Leja序列的特殊代数与递推性质，对 $N = 2^p - 1$ 的界进行优化。

实验结果

研究问题

• RQ1 与单位圆盘上Leja序列相关的基本Lagrange多项式在 $N$ 上是否一致有界？
• RQ2 Leja插值在单位圆盘上，Lebesgue常数 $ Lambda_N$ 的最优增长速率为何？
• RQ3 对于特定 $N$ 值（如 $N = 2^p - 1$），$O(N)$ 的 $ Lambda_N$ 界能否进一步改进？
• RQ4 Lagrange多项式的一致有界性是否意味着单位圆盘上多项式插值的稳定性？

主要发现

• 与任意Leja序列相关的单位圆盘上基本Lagrange多项式在 $N$ 上一致有界，且与次数无关。
• 对于所有 $N \geq 1$，Lebesgue常数满足 $ Lambda_N = O(N)$，为插值误差提供了线性增长界。
• 当 $N = 2^p - 1$ 时，Lebesgue常数的界优于一般 $O(N)$ 估计，表明在这些特殊索引处具有更优的增长速率。
• Lagrange多项式的一致有界性确保了基于Leja点的单位圆盘插值方案具有数值稳定性。