[論文レビュー] Inequalities for the polar derivative of a polynomial

N. A. Rather, Suhail Gulzar|arXiv (Cornell University)|Mar 1, 2013

Mathematical functions and polynomials参考文献 5被引用数 3

ひとこと要約

本稿は、零点の構造的制約の下で多項式の極微分に関する鋭い不等式を確立し、ベルンシュタインやツァラプの古典的結果を一般化する。s階極微分を用いた新規な枠組みを導入し、すべての零点が |z| ≤ k（k ≤ 1）にある多項式に対して、s階極微分の大きさが |z| = k 上の最大・最小モジュラスの組み合わせで抑えられることを示し、パラメータ α_j および β に明示的な依存関係を示す。

ABSTRACT

Let $ P(z) $ be a polynomial of degree $ n $ and for any real or complex number $α,$ let $D_αP(z)=nP(z)+(α-z)P^{\prime}(z)$ denote the polar derivative with respect to $α.$ In this paper, we obtain generalizations of some inequalities for the polar derivative of a polynomial.

研究の動機と目的

• 古典的な多項式微分の不等式（ベルンシュタインやツァラプのものなど）を、極微分作用素を導入することで一般化すること。
• すべての零点が |z| < 1 にない多項式の s 階極微分に関する既存の結果を、すべての零点が |z| ≤ k（k ≤ 1）にある場合にまで拡張すること。
• 多項式 |z| = k 上での最大・最小モジュラスを用いて、s 階極微分の鋭い上界を導出すること。
• 複素パラメータ α_j および β を組み込み、既存の不等式を統一的かつ精緻化すること。等号成立条件を特定すること。

提案手法

• 著者らは、多項式 P(z) の s 階極微分を、作用素 D_αP(z) = nP(z) + (α - z)P'(z) により再帰的に定義し、通常の微分を一般化する。
• P(z) の |z| = k 上での最大モジュラスを M とするとき、比較多項式 F(z) = z^n M / k^n を導入し、極微分の上界を構築する。
• ローランの定理と逆多項式の手法を用い、P(z) がすべての零点を |z| > k に持つとき、|λ| < 1 に対して P(z) − λm が |z| < k に零点を持たないことを解析する。
• 逆多項式 g(z) = z^n \bar{P}(1/\bar{z}) − \bar{λ}m を用いて、主不等式（定理 1.1）を適用し、零点分布の性質を単位円板に移行する。
• λ の偏角を下界を最大化するように選ぶことで、三角不等式の変形を用いて上界と下界を統合した鋭い不等式を導出する。
• 最終的な上界は、定理 1.9 と定理 1.11 からの2つの不等式を加算することで得られ、|z| = k 上での最大・最小モジュラスを含む統一的な不等式となる。

実験結果

リサーチクエスチョン

• RQ1 k ≤ 1 に対してすべての零点が |z| ≤ k にある場合に、古典的な多項式微分の不等式を極微分作用素に一般化する方法は何か？
• RQ2 多項式 P(z) の s 階極微分 |D_{α_s}⋯D_{α_1}P(z)| の鋭い上界は、|z| = k 上での P(z) の最大・最小モジュラスを用いてどのように表現できるか？
• RQ3 この上界は、最大・最小モジュラスの極値ケースを統合する形に表現可能か？また、パラメータ α_j および β は果たす役割は何か？
• RQ4 一般化された極微分不等式における等号成立条件は何か？また、(z^n + 1)/2 のような既知の極値多項式とどのように関係するか？

主な発見

• 定理 1.1 は、すべての零点が |z| ≤ k（k ≤ 1）にある多項式 P(z) の s 階極微分について鋭い不等式を提供し、|z| = k 上での P(z) の最大モジュラスと比較多項式 F(z) の組み合わせによって抑えられる。
• 系 1.2 は、|z^s P_s(z) + β n_s Λ_s / (1+k)^s P(z)| の明示的な上界を、|z| = k 上での P(z) の最大モジュラスを用いて提示し、|α_j| ≥ k および |β| ≤ 1 に依存する明示的関係を示す。
• 系 1.3 は |α| → ∞ の極限をとることで得られ、s 階通常微分の上界が |z| = k 上での P(z) の最大モジュラスに依存することを示す。
• 定理 1.11 は、|z| = k 上での最大・最小モジュラスを統合した鋭い不等式を確立する：上界は { |z^s + βΛ_s/(1+k)^s| + |z^n α_1⋯α_s + βΛ_s/(1+k)^s|/k^n } に最大モジュラスを乗じた形で比例する。
• 等号成立は、すべての α_j = ∞ かつ β = 1 のとき、多項式 P(z) = (z^n + 1)/2 で達成され、鋭さが確認される。
• ローランの定理と逆多項式を用いる証明手法により、極限状況で既知の結果に帰着する統一的な不等式が導出可能である。