[論文レビュー] Sturm Theorem and a Refinement of Vietoris Inequality for Cosine Polynomials

Horst Alzer, Man Kam Kwong|arXiv (Cornell University)|Jun 3, 2014

Mathematical functions and polynomials被引用数 6

ひとこと要約

この論文は、コサイン多項式に関するバーティス型不等式の先行結果に対する厳密な計算的補足を提供し、Sturmの定理を用いて特定の三角多項式の非負性を臨界区間で検証している。MAPLEを用いたSturm系列の使用により、特定の多項式が所定の部分区間で実根を持たないことを確認し、バーティスの不等式の精密化における鋭い下界を確立している。主な結果は、不等式 $T_n(x) \geq c_0 + c_1x + c_2x^2 > 0$ における最適定数の正確な値 $α = 0.12290\ldots$ である。この方法は、コサイン展開から得られる高次代数多項式に対しても、アルゴリズム的根数え上げにより理論的厳密性を保証している。

ABSTRACT

In a recent work, the authors established a refinement of the well-known 1958 result of Vietoris on nonnegative cosine polynomials. In four places of the proof, use was made of the classical Sturm Theorem on determining the number of real roots of an algebraic polynomials in a given interval. Although absolutely rigorous, the Sturm procedure involves lengthy technical computations carried out with the help of the software MAPLE 13. This article provides such details which were omitted in the article presenting the recent work.

研究の動機と目的

• コサイン多項式に関するバーティスの不等式の精密化に関する先行論文で省略された詳細な計算的証明を提供すること。
• 高次代数多項式（コサイン多項式から導かれるもの）に対して、特定の区間で実根が存在しないことを検証する文脈でSturmの定理の実用的応用を示すこと。
• すべての $n \geq 1$ および $x \in (0, \pi)$ に対して成り立つ不等式 $T_n(x) \geq c_0 + c_1x + c_2x^2 > 0$ における最適定数 $\alpha = 0.12290\ldots$ の正確な値を確立すること。
• 補助多項式 $\mu(x)$ および $\nu(x)$ が $[0.65, 0.95]$ にゼロを持たないことを厳密に確認することで理論的結果を検証し、境界の鋭さを保証すること。

提案手法

• コサイン多項式 $T_n(x)$ を $y = \cos(x)$ における代数多項式に変換し、Sturmの定理を適用する。
• Euklideanアルゴリズムに基づく多項式系列の符号変化数を計算することで、与えられた区間 $(\alpha, \beta)$ 内の実根数を数えるSturm系列アルゴリズムを用いる。
• MAPLE 13 の `sturm` コマンドを用いて根数え上げを自動化し、区間内の実根の数のみを出力する。
• 符号変化数の計算における数値的安定性と一貫性を確保するため、Sturm系列に含まれる各多項式を先頭係数が $\pm 1$ になるように正規化する。
• Sturm手順を用いて $\mu(x)$ および $\nu(x)$ が $[0.65, 0.95]$ にゼロを持たないことを確認し、これにより $T_6(x)/(x - \pi)^2$ の最小値が $\alpha = 0.12290\ldots$ であることを裏付ける。
• 高次多項式を扱うために、$x = 10y$ に置換して展開するなど、区間置換と展開技術を用いる。これにより、MAPLEの三角関数展開における $k < 100$ の制限を回避できる。

実験結果

リサーチクエスチョン

• RQ1 すべての $n \geq 1$ および $x \in (0, \pi)$ に対して $T_n(x) \geq c_0 + c_1x + c_2x^2 > 0$ が成り立つような最適定数 $\alpha$ の正確な値は何か？ただし $c_0 = \pi^2 c_2$、$c_1 = -2\pi c_2$、$0 < c_2 \leq \alpha$ である。
• RQ2 特に記号計算を伴う状況において、Sturmの定理をどのように体系的に応用して、変換されたコサイン多項式の臨界区間における非負性を検証できるか？
• RQ3 なぜSturm手順は $[0.65, 0.95]$ 内で多項式 $\mu(x)$ および $\nu(x)$ の根を検出できないのか？そして、この現象が $\alpha = 0.12290\ldots$ の境界の鋭さをどのように裏付けるのか？
• RQ4 標準的なMAPLEコマンドが内部制限により失敗する場合、コサイン多項式から得られる高次代数多項式を扱うためにSturm手順をどのように適合させられるか？

主な発見

• 精密化されたバーティス不等式における最適定数は、正確に $\alpha = \min_{0 \leq t < \pi} \frac{T_6(t)}{(t - \pi)^2} = 0.12290\ldots$ に等しく、これは $[0.65, 0.95]$ 内で $\mu(x)$ および $\nu(x)$ にSturmの定理を適用することで確認された。
• Sturm手順により $\mu(x)$ および $\nu(x)$ が $[0.65, 0.95]$ 内に実根を持たないことが確認され、これは $\alpha = 0.12290\ldots$ の境界の鋭さを確立するために不可欠である。
• $n = 2$ から $21$（$n \neq 6$）について、変換された多項式 $X$ を $[0.951, 0.981]$ でSturm手順にかけた結果、実根が存在しないことが判明し、これらのケースにおける不等式の成立が裏付けられた。
• $\Delta(x)$ が $[5\pi/8, 2.68]$ で $0.29$ を超過し、その後続の部分区間ではより高い値を示すことが示され、Sturm手順により厳密な下界が得られた。
• $I(x) - 1.5$ が $x \in (0, 0.1]$ で正であることは、$Y = \cos(x)$ における代数的対応多項式が $[0.995, 1]$ に根を持たないことを示すことで確認され、この区間で $I(x) > 1.5$ であることが保証された。
• Sturm手順は低次および中程度の次数の多項式に対しては有効であるが、次数が高くなると計算的に非現実的になるため、一般定理の適用ではなく、例外的なケースに限定して使用可能である。