[論文レビュー] A lower bound for the minimum deviation of the Chebyshev polynomial on a compact real set

Klaus Schiefermayr|arXiv (Cornell University)|Jun 26, 2013

Mathematical functions and polynomials参考文献 11被引用数 36

ひとこと要約

本稿は、任意の非有界コンパクト無限部分集合 $ C \subset \mathbb{R} $ におけるチェビシェフ多項式の最小偏差 $ L_n(C) $ に対して、$ 2(\text{cap } C)^n $ の鋭い下界を確立する。ここで $ \text{cap } C $ は対数的容量を表す。この下界は最適であり、$[-1,1]$ の逆多項式像である集合に対して等号が成立する。同様の結果が、チェビシェフ多項式および容量論との関連を用いて、単位円上の対称的コンパクト集合に対しても得られる。

ABSTRACT

In this paper, we give a sharp lower bound for the minimum deviation of the Chebyshev polynomial on a compact subset of the real line in terms of the corresponding logarithmic capacity. Especially if the set is the union of several real intervals, together with a lower bound for the logarithmic capacity derived recently by A.Yu.\,Solynin, one has a lower bound for the minimum deviation in terms of elementary functions of the endpoints of the intervals. In addition, analogous results for compact subsets of the unit circle are given.

研究の動機と目的

• 実数コンパクト集合におけるチェビシェフ多項式の最小偏差の下界を、対数的容量の観点から鋭く確立すること。
• 下界が等号で成立するコンパクト実数集合のクラスを同定すること。
• 結果を実軸に関して対称な単位円のコンパクト部分集合へ拡張すること。
• 最近の容量推定値を用いて、実区間の和集合に対して初等関数による明示的下界を導出すること。

提案手法

• 次数 $ n $ の多項式による $[-1,1]$ の逆像である集合 $ A $ に対して、$ L_n(A) = 2(\text{cap } A)^n $ という重要な恒等式を導出する。
• 交互定理を適用して、コンパクト実数集合 $ C $ における最小多項式が $ C $ を、$[-1,1]$ への正規化された最小多項式の逆像である $ C' \subset \mathbb{R} $ に写像することを示す。
• $ C' $ における最小多項式が $ C $ におけるそれと同一であることに着目し、逆像恒等式の適用を可能にする。
• ロビンソンの公式を用いて、実数集合 $ C $ の対数的容量と、単位円上の関連する弧 $ \Gamma $ の容量との関係を確立する：$ \text{cap } \Gamma = \sqrt{2 \cdot \text{cap } C} $。
• 既知の区間の和集合における最小偏差の上限（例えばトティクの結果）を応用し、$ L_n(\Gamma) $ の上限を得ることで、最終的に $ \text{cap } \Gamma $ の関数としての上限を導出する。
• 対称集合におけるチェビシェフ多項式の実数値性の性質を用いて、単位円上での $ L_n $ ノルムに関する不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の非有界コンパクト無限部分集合 $ C \subset \mathbb{R} $ におけるチェビシェフ多項式の最小偏差 $ L_n(C) $ の、対数的容量 $ \text{cap } C $ を用いた最良の普遍的下界は何か？
• RQ2 どのコンパクト実数集合において、下界 $ L_n(C) \geq 2(\text{cap } C)^n $ が等号で成立するか？
• RQ3 特に実軸に関して対称な場合に、単位円のコンパクト部分集合における最小偏差を対数的容量でどのように評価できるか？
• RQ4 実区間の和集合に対して、区間の端点の初等関数のみを用いて $ L_n(C) $ の明示的下界を導出できるか？

主な発見

• 本稿は鋭い下界を確立する：すべての非有界コンパクト無限部分集合 $ C \subset \mathbb{R} $ に対して $ L_n(C) \geq 2(\text{cap } C)^n $ が成り立ち、定数 2 が最適である。
• 等号 $ L_n(C) = 2(\text{cap } C)^n $ が成立するための必要十分条件は、$ C $ が何らかの次数 $ n $ の多項式による $[-1,1]$ の逆像であることである。
• 区間 $ E_\alpha = [-1,-\alpha] \cup [\alpha,1] $（$ 0 < \alpha < 1 $）に対して、$ n $ が偶数のとき等号が成立し、$ L_n(E_\alpha) = \frac{1}{2^{n-1}}(1 - \alpha^2)^{n/2} $、$ \text{cap } E_\alpha = \frac{1}{2}\sqrt{1 - \alpha^2} $ が得られる。
• 実軸に関して対称な単位円上のコンパクト集合 $ \Gamma \subset \{ |z| = 1 \} $ に対して、$ L_n(\Gamma) \geq \sqrt{2|b_{k^*}|}(\text{cap } \Gamma)^{n - k^*} $ が成り立つ。ここで $ k^* $ は $ \Gamma $ 上の最小多項式の最初の非ゼロ係数の添え字である。
• 単位円の弧 $ \Lambda $ における最小偏差について、$ L_n(\Lambda) \leq B(\text{cap } \Lambda)^n $ という上界が確立され、$ B $ は $ \Lambda $ のみに依存する。これは容量に関する多項式的減衰を示している。
• 逆像恒等式とソリニンの最近の対数的容量に関する下界を組み合わせることで、区間の和集合への結果が拡張され、区間の端点の関数として明示的な下界が得られる。