[论文解读] On approximate Gauss-Lucas theorems

Trevor Richards|arXiv (Cornell University)|Jun 16, 2017

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

一句话总结

本文建立了在有理函数在有界凸集 $K\subset\mathbb{C}$ 中至少具有 $k$ 个零点的条件下，其临界点位于 $K$ 的 $\epsilon$-邻域内的充分条件，推广了经典的 Gauss–Lucas 定理。通过复分析和 Rouché 定理，推导出涉及 $n$、$k$、$\epsilon$ 和 $K$ 的直径 $s$ 的显式不等式，以保证近似 Gauss–Lucas 性质 $\mathcal{RAGL}(n,k,\epsilon)$ 成立，且当 $K$ 为圆盘时可获得更紧的界。

ABSTRACT

The Gauss--Lucas theorem states that any convex set $K\subset\mathbb{C}$ which contains all $n$ zeros of a degree $n$ polynomial $p\in\mathbb{C}[z]$ must also contain all $n-1$ critical points of $p$. In this paper we explore the following question: for which choices of positive integers $n$ and $k$, and positive real number $ε$, will it follow that for every degree $n$ polynomial $p$ with at least $k$ zeros lying in $K$, $p$ will have at least $k-1$ critical points lying in the $ε$-neighborhood of $K$. We supply an inequality relating $n$, $k$, and $ε$ which, when satisfied, guarantees a positive answer to the above question.

研究动机与目标

• 确定在哪些 $n$、$k$ 和 $\epsilon$ 下，有界凸集 $K\subset\mathbb{C}$ 满足近似 Gauss–Lucas 性质 $\mathcal{RAGL}(n,k,\epsilon)$。
• 将经典 Gauss–Lucas 定理推广至仅有 $n$ 个零点中的 $k$ 个位于 $K$ 内的情形，确保 $k-1$ 个临界点位于 $K$ 的 $\epsilon$-邻域内。
• 提供关于 $n$、$k$、$\epsilon$ 和 $K$ 的直径 $s$ 的显式不等式，以保证 $\mathcal{RAGL}(n,k,\epsilon)$ 成立，并为圆盘情形提供改进的界。
• 将结果从多项式推广至有理函数，允许存在极点，从而扩展近似临界点定位的适用范围。

提出的方法

• 本文使用复分析技术，特别是幅角原理和围线积分，将有理函数的临界点数量与零点和极点的分布联系起来。
• 应用 Rouché 定理比较因式分解为 $f = g \cdot h$ 的有理函数的对数导数，其中 $g$ 表征 $K$ 内的零点和极点，$h$ 表征其余部分。
• 通过估计在包围 $K_\epsilon$ 的围线 $\gamma$ 上 $\frac{g'}{g}$ 的实部，该方法推导出 $\left|\frac{g'}{g}\right|$ 的下界，从而控制靠近 $K$ 的临界点数量。
• 对于一般凸集，推导出界 $\left|\frac{g'}{g}\right| \geq \frac{k}{(s+\epsilon)^2} \cdot \frac{16(s+\epsilon)^2}{\epsilon^2}$，进而得出充分条件 $\frac{16(s+\epsilon)^2}{\epsilon^2} < \frac{k}{(n-k)^2}$。
• 对于圆盘，利用 $\Re(1/-w)$ 在 $K$ 上的最小值获得更精确的估计，得到界 $\left|\frac{g'}{g}\right| \geq \frac{k}{\epsilon + s}$，从而导出 $\frac{8(s+\epsilon)}{\epsilon} < \frac{k}{(n-k)^2}$。
• 证明依赖于假设 $g$ 的所有临界点均位于 $K$ 内，并利用 $h$ 的零点和极点数量较少，因此其对 $f = gh$ 的临界点影响有限。

实验结果

研究问题

• RQ1 在何种 $n$、$k$ 和 $\epsilon$ 条件下，具有 $k$ 个零点位于有界凸集 $K$ 内的有理函数，其至少 $k-1$ 个临界点位于 $K$ 的 $\epsilon$-邻域内？
• RQ2 集合 $K$ 的直径 $s$ 如何影响临界点定位所需的 $\epsilon$-邻域大小？
• RQ3 经典 Gauss–Lucas 定理能否推广至仅有 $k$ 个零点位于 $K$ 内的有理函数情形，以确保大多数临界点仍靠近 $K$？
• RQ4 在 $n$、$k$ 和 $s$ 的表达下，$\mathcal{RAGL}(n,k,\epsilon)$ 成立的 $\epsilon$ 的最优界是什么？其在圆盘情形下有何不同？
• RQ5 是否存在一个通用常数 $C$，使得若 $g$ 的零点和极点数与 $h$ 的比值超过 $C$，则 $gh$ 的临界点数量满足 $\#_c(gh, K_\epsilon) \geq \#_c(g,K)$？

主要发现

• 不等式 $\frac{16(s+\epsilon)^2}{\epsilon^2} < \frac{k}{(n-k)^2}$ 足够保证任意有界凸集 $K$（直径为 $s$）满足 $\mathcal{RAGL}(n,k,\epsilon)$。
• 对于圆盘，条件 $\frac{8(s+\epsilon)}{\epsilon} < \frac{k}{(n-k)^2}$ 确保 $\mathcal{RAGL}(n,k,\epsilon)$ 成立，该条件比一般情形更紧。
• 推论 1.2 提供了 $\epsilon$ 的下界：$\epsilon > \frac{4s(n-k)}{\sqrt{k} - 4(n-k)}$，当 $\sqrt{k} > 4(n-k)$ 时成立，可确保 $\mathcal{RAGL}(n,k,\epsilon)$。
• 推论 1.3 给出了函数 $\psi_1(n,k)$ 的界：$\psi_1(n,k) \leq \frac{8(n-k)^2}{k - 8(n-k)^2}$，当 $k > 8(n-k)^2$ 时成立，适用于 $K$ 为圆盘的情形。
• 所推导的界在某些参数范围内优于 Marden 和 Biernacki 的早期结果，特别是在 $n-k$ 固定且 $n \to \infty$ 时，Marden 的界保持不变，而新界趋近于零。
• 本文猜想：若 $g$ 的零点和极点数与 $h$ 的比值超过某个通用常数 $C$，则 $\#_c(gh, K_\epsilon) \geq \#_c(g,K)$，表明临界点定位对少量极点和零点的扰动具有鲁棒性。