[論文レビュー] On annulus containing all the zeros of a polynomial

N. A. Rather, Suhail Gulzar|arXiv (Cornell University)|Nov 30, 2013

Advanced Mathematical Theories and Applications参考文献 3被引用数 3

ひとこと要約

本稿では、二項係数と一般化フィボナッチ数を含む多項式のすべての零点を含む複素平面上の新しい円形領域を提示する。この領域は、三パラメータの再帰的定義によって定義される。一般化フィボナッチ数列の性質を活用し、係数の絶対値に基づく不等式を適用することで、先行研究よりも tighter な境界を導出している。主な貢献は、以前の結果を特別な場合として含む統一的な円形領域の公式である。

ABSTRACT

In this paper, we obtain an annulus containing all the zeros of the polynomial involving binomial coefficients and generalized Fibonacci numbers. Our result generalize some of the recently obtained results in this direction.

研究の動機と目的

• 二項係数と一般化フィボナッチ数を含む複素多項式のすべての零点を含むよりタイトな円形領域を導出すること。
• 標準的および t-フィボナッチ数列を用いた Díaz-Barrero (2007) および Bidkham 他 (2010) の先行研究を一般化すること。
• 正の実数パラメータ (a, b, c) を用いて一般化フィボナッチ数列を定義し、それらを用いて既存の零点局在定理を統一的かつ拡張するフレームワークを構築すること。
• 多項式係数と数列パラメータに基づき、明示的かつ計算可能な内径と外径を提供すること。

提案手法

• 正の実数 a, b, c をパrameterとする、偶奇に依存する再帰的規則に基づく一般化フィボナッチ数列 $ F_n^{(a,b,c)} $ を定義する。
• 係数比の境界を導くために、$ F_k^{(a,b,c)} $ 項の重み付き和を $ F_{4n}^{(a,b,c)} $ で表す重要な恒等式（補題 2.1）を導入する。
• 多項式 $ P(z) $ に対して逆三角不等式を用いて外径 $ r_2 $ を確立し、$ |z| > r_2 $ のとき $ |P(z)| > 0 $ となることを保証する。
• 逆多項式 $ Q(z) = z^n P(1/z) $ に外径の結果を適用することで、内径 $ r_1 $ を導出する。これにより零点位置問題が変換される。
• 係数スケーリングの偶奇依存性を扱うために、関数 $ \xi(k) = k - 2\lfloor k/2 \rfloor $ を用いる。
• これらの境界を組み合わせて、最終的な円形領域 $ \{ z \in \mathbb{C} : r_1 \leq |z| \leq r_2 \} $ を得る。ここで $ r_1 $ と $ r_2 $ は $ a,b,c,u,v,w $ の関数として明示的に定義される。

実験結果

リサーチクエスチョン

• RQ1 三つの独立パラメータを持つ一般化フィボナッチ数列を組み込むことで、多項式の零点位置境界をよりタイトにできるか？
• RQ2 Díaz-Barrero (2007) および Bidkham 他 (2010) の境界は、一般化フィボナッチ数列のより広いクラスとどのように関係しているか？
• RQ3 係数に一般化フィボナッチ項と二項係数を組み合わせた多項式のすべての零点を含む最適な円形領域は何か？
• RQ4 標準的および t-フィボナッチ数列に基づく先行結果を統一する単一の公式は構築可能か？
• RQ5 一般化フレームワークを用いることで、従来手法に比べて零点局在境界にどの程度の定量的改善が得られるか？

主な発見

• 提案された円形領域 $ \{ z \in \mathbb{C} : r_1 \leq |z| \leq r_2 \} $ は、任意の非定数複素多項式（次数 $ n $）のすべての零点を含み、$ r_1 $ と $ r_2 $ は一般化フィボナッチ数 $ F_k^{(a,b,c)} $ と二項係数を用いて明示的に定義される。
• 内径 $ r_1 $ は $ \frac{uv+2w}{uvw+w^2} \min_k \left\{ \frac{(uvw+w^2)^n u^{\xi(k)} (uv)^{\lfloor k/2 \rfloor} F_k^{(u,v,w)} \binom{n}{k}}{F_{4n}^{(u,v,w)}} \left| \frac{a_0}{a_k} \right| \right\}^{1/k} $ で与えられ、ここで $ \xi(k) = k - 2\lfloor k/2 \rfloor $ である。
• 外径 $ r_2 $ は $ \frac{abc + c^2}{ab + 2c} \max_k \left\{ \frac{F_{4n}^{(a,b,c)}}{(abc + c^2)^n a^{\xi(k)} (ab)^{\lfloor k/2 \rfloor} F_k^{(a,b,c)} \binom{n}{k}} \left| \frac{a_{n-k}}{a_n} \right| \right\}^{1/k} $ で与えられる。
• この結果は、定理 B（Díaz-Barrero, 2007）および定理 C（Bidkham 他, 2010）を一般化しており、$ a = b = u = v = t $、$ c = w = 1 $ と設定することでそれらが特別な場合として回復される。
• 多項式 $ P(z) = z^3 + 0.1z^2 + 0.3z + 0.7 $ に対して、新しい境界は $ |z| < 1.185 $ を得る。これは定理 B による従来の上界 $ 1.23 $ よりも改善されている。
• 本手法により $ |z| > r_2 $ のとき $ |P(z)| > 0 $ が保証され、すべての零点が閉円板 $ |z| \leq r_2 $ 内にあることが証明される。また、逆多項式による双対性により、すべての零点が $ |z| < r_1 $ の外側にあることも保証される。