[論文レビュー] 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列から構成されたラグランジュ多項式について、その一様有界性を確立し、次数 $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列から得られる基本ラグランジュ多項式が複素数単位円板上で一様に有界であることを確立すること。
• 次数 $N$ にかかわらず、これらの多項式が一様に有界であるという長年の未解決問題を解消すること。
• 単位円板上での補間の文脈において、Lebesgue定数 $\Lambda_N$ の鋭い推定値を導出すること。
• 特に $N = 2^p - 1$ の場合に、Lebesgue定数の評価を改善すること。

提案手法

• 単位円板上におけるLeja列の構造を分析し、その分布的性質を活用すること。
• 複素関数論的手法を用いて、$N$ に依存しないラグランジュ多項式の上界を一様に得ること。
• 閉単位円板上におけるラグランジュ基底多項式のノルムの上界を、$N$ に依存しない形で導出すること。
• Leja点の既知の極値的性質を応用し、補間作用素の増大を制御すること。
• ラグランジュ多項式の一様有界性を基に、Lebesgue定数の $O(N)$ 増大率を確立すること。
• これらのインデックスにおける特別な代数的および再帰的性質を活用し、$N = 2^p - 1$ の場合の評価を精緻化すること。

実験結果

リサーチクエスチョン

• RQ1 単位円板上におけるLeja列に関連する基本ラグランジュ多項式は、$N$ に対して一様に有界であるか？
• RQ2 単位円板上でのLeja補間におけるLebesgue定数 $\Lambda_N$ の最適な増大率は何か？
• RQ3 $N = 2^p - 1$ のような特定の $N$ 値に対して、$\Lambda_N$ の $O(N)$ 評価を改善できるか？
• RQ4 ラグランジュ多項式の一様有界性は、単位円板上での多項式補間の安定性を示唆するか？

主な発見

• 任意のLeja列に対して、単位円板上における基本ラグランジュ多項式は、次数にかかわらず一様に有界である。
• すべての $N \geq 1$ に対して、Lebesgue定数は $\Lambda_N = O(N)$ を満たし、補間誤差の線形増大率の上界が得られる。
• $N = 2^p - 1$ の場合、一般の $O(N)$ 評価を上回るより良い評価が得られ、これらの特別なインデックスにおける増大率がより良好であることが示された。
• ラグランジュ多項式の一様有界性により、単位円板上におけるLeja点に基づく補間スキームの数値的安定性が保証される。