[论文解读] 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 与 β，统一并改进先前不等式，并确立等式成立条件。

提出的方法

• 作者通过算子 D_αP(z) = nP(z) + (α - z)P'(z) 递归定义多项式 P(z) 的 s 阶极导数，推广了普通导数。
• 引入比较多项式 F(z) = z^n M / k^n，其中 M 为 P(z) 在 |z| = k 上的模最大值，用于构造极导数的控制函数。
• 利用儒歇定理与倒数多项式法，分析 P(z) − λm（|λ| < 1）的行为，以确保当 P(z) 的所有零点位于 |z| > k 时，其在 |z| < k 内无零点。
• 将主不等式（定理 1.1）应用于倒数多项式 g(z) = z^n ar{P}(1/ar{z}) − ar{λ}m，将零点分布性质转移至单位圆内。
• 通过选择 λ 的辐角以最大化下界，利用三角不等式变形，导出结合上界与下界的精确不等式。
• 最终通过合并两个不等式（一个来自定理 1.9，一个来自定理 1.11）得到统一不等式，其中同时包含 |z| = k 上的最大与最小模。

实验结果

研究问题

• RQ1 当多项式所有零点位于 |z| ≤ k（k ≤ 1）时，经典多项式导数不等式如何推广至极导数算子？
• RQ2 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 阶极导数提供了精确不等式，其上界由 P(z) 在 |z| = k 上的最大模与一比较多项式 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 通过令 |α| → ∞ 得到，给出了涉及 |z| = k 上 P(z) 最大模的 s 阶普通导数的上界。
• 定理 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 达到等式，证实了不等式的精确性。
• 所采用的证明方法（结合儒歇定理与倒数多项式）可导出统一不等式，且在极限情形下退化为已知结果。