[论文解读] Zeros of Sections of the Binomial Expansion

Svante Janson, Timothy S. Norfolk|ArXiv.org|Mar 23, 2009

Mathematical functions and polynomials参考文献 12被引用 4

一句话总结

本文研究了二项式展开部分和 $ B_{r,n}(z) = \sum_{k=0}^{r} \binom{n}{k} z^k $ 的零点渐近分布，当 $ n \to \infty $ 且 $ r/n \to \alpha \in (0,1) $ 时，建立了零点的精确界限和极限曲线。文中引入了由 $ \frac{|z|^\alpha}{|1+z|} = \alpha^\alpha(1-\alpha)^{1-\alpha} $ 定义的曲线 $ C_\alpha $，表明零点在适当缩放下会聚集并收敛到该曲线。

ABSTRACT

We examine the asymptotic behaviour of the zeros of sections of the binomial expansion. That is, we consider the distribution of zeros of $\displaystyle B_{r,n}(z) = \sum_{k=0}^r {n \choose k} z^k$, where $1 \le r < n$.

研究动机与目标

• 理解多项式 $ B_{r,n}(z) = \sum_{k=0}^{r} \binom{n}{k} z^k $ 在 $ 1 \leq r < n-1 $ 时的零点渐近分布。
• 通过系数比分析和复分析理论，建立这些零点位置的精确几何界限。
• 刻画极限曲线 $ C_\alpha $，其定义为 $ \frac{|z|^\alpha}{|1+z|} = \alpha^\alpha(1-\alpha)^{1-\alpha} $，并表明当 $ n \to \infty $ 时零点会收敛到该曲线。
• 提供二项式展开余项的定量估计，以支持收敛性证明。
• 通过均匀拟阵 $ U_{r,n} $ 的可靠性多项式，将零点分布与拟阵理论联系起来。

提出的方法

• 使用 Eneström-Kakeya 定理，通过系数比 $ \frac{\binom{n}{k}}{\binom{n}{k-1}} = \frac{n-k+1}{k} $ 来界定零点模长。
• 应用分式线性变换 $ z = \frac{q}{1-q} $，将 $ B_{r,n}(z) $ 与可靠性多项式 $ H_{r,n}(q) $ 关联，从而借助对 $ q $ 的已知界限进行分析。
• 对于 $ \alpha = r/n \in (0,1) $，将极限曲线 $ C_\alpha $ 定义为满足 $ \frac{|z|^\alpha}{|1+z|} = K_\alpha = \alpha^\alpha(1-\alpha)^{1-\alpha} $ 的点的集合。
• 采用分解式 $ (1+z)^{-n}B_{r,n}(z) = 1 - \frac{z^r}{(1+z)^n} R_{r,n}(z) $ 来分析余项 $ R_{r,n}(z) $。
• 利用引理 3.2 对某些幂级数的 $ |f(z)| $ 从下方进行有界，确保其在单位圆内非零，从而支持收敛性论证。
• 渐近地应用中心极限定理，估计和式 $ \sum_{k=r+1}^{n} \binom{n}{k} \beta^k (1-\beta)^{n-k} \sim \frac{1}{2} $，适用于大 $ n $、$ r $ 和 $ n-r $。

实验结果

研究问题

• RQ1 当 $ n \to \infty $ 时，$ B_{r,n}(z) = \sum_{k=0}^{r} \binom{n}{k} z^k $ 的零点在复平面上如何分布？
• RQ2 当 $ r/n \to \alpha \in (0,1) $ 时，$ B_{r,n}(z) $ 的零点收敛到的极限曲线是什么？
• RQ3 能否建立与 $ n $ 无关的 $ B_{r,n}(z) $ 零点位置的精确几何界限？
• RQ4 当 $ |z| \leq \frac{\alpha}{1-\alpha} $ 时，余项 $ R_{r,n}(z) = \sum_{k=r+1}^{n} \binom{n}{k} z^{k-r} $ 的模长行为如何？
• RQ5 $ B_{r,n}(z) $ 的零点分布与均匀拟阵 $ U_{r,n} $ 的可靠性多项式之间有何联系？

主要发现

• $ B_{r,n}(z) $ 的零点位于区域 $ |z| \leq \frac{r}{n+1-r} $ 内，这是通过将 Eneström-Kakeya 定理应用于缩放后的系数得出的。
• 所有零点满足 $ \left| z - \frac{\gamma^2}{1-\gamma^2} \right| \leq \frac{\gamma}{1-\gamma^2} $，其中 $ \gamma = \frac{r}{n-1} $，形成一个圆盘约束。
• 所有零点满足 $ \operatorname{Re}(z) > -\frac{1}{2} $，这是由条件 $ \left| \frac{z}{1+z} \right| < 1 $ 推导得出。
• 零点位于由 $ \frac{|z|^\alpha}{|1+z|} = \alpha^\alpha(1-\alpha)^{1-\alpha} $ 定义的曲线 $ C_\alpha $ 外部，其中 $ \alpha = r/n $。
• 当 $ n \to \infty $ 且 $ r/n \to \alpha \in (0,1) $ 时，$ B_{r,n}(z) $ 的零点收敛到曲线 $ C_\alpha $，收敛速率通过映射 $ w = z^{\alpha}/(1+z) $ 进行分析。
• 余项 $ R_{r,n}(z) $ 满足 $ |R_{r,n}(z)| \leq K_\alpha^{-n} $，当 $ |z| \leq \frac{\alpha}{1-\alpha} $ 时成立，且 $ |R_{r,n}(z)| \geq \frac{|z|}{r+1} K_\alpha^{-n} \sum_{k=r+1}^{n} \binom{n}{k} \beta^k (1-\beta)^{n-k} $，其中该和式渐近等价于 $ \sim \frac{1}{2} $。