Asymptotics and zero behaviour of geometric polynomials

以下是 M. Bello-Hernández、M. Benito、Ó. Ciaurri 和 E. Fernández 所著论文《几何多项式的渐近性与零点行为》的详细技术总结。

1. 问题陈述

本文研究了两个密切相关多项式族的渐近行为及其零点分布：几何多项式（$P_n(z)$）和欧拉多项式（$A_n(z)$）。

• 几何多项式：由生成函数 $f(z, t) = \frac{1}{1-z(e^t-1)} = \sum_{n=0}^\infty P_n(z) \frac{t^n}{n!}$ 定义。它们与第二类斯特林数及有序集合划分（Fubini 数）相关联。
• 欧拉多项式：由 $\sum_{k=1}^\infty k^n z^k = \frac{z A_n(z)}{(1+z)^n}$ 定义。它们用于计数具有特定数量下降的排列。
• 核心挑战：尽管这些多项式的代数性质已为人熟知，但它们在复平面（特别是区间 $[-1, 0]$ 之外）的精确渐近行为，以及其零点在区间 $(-1, 0)$ 内部的详细分布，仍需严格分析。作者旨在推导一致渐近展开式，并确定区间“体部”内零点的间距。

2. 方法论

作者结合了复分析、生成函数理论和渐近分析。

• 生成函数与奇点：分析主要依赖于 $P_n(z)$ 和 $A_n(z)$ 的生成函数。作者识别了这些函数在复 $t$ 平面上的奇点（极点）。
  • 对于 $P_n(z)$，生成函数在 $t_k = \log(\frac{1+z}{z}) + 2\pi k i$ 处具有单极点。
  • 对于 $z \in (-1, 0)$，主导奇点位于 $t = \ell(z) \pm \pi i$，其中 $\ell(z) = \log|\frac{1+z}{z}|$。
• 柯西积分公式：系数 $P_n(z)$ 利用柯西积分公式提取。作者变形积分围道以分离主导极点的贡献，将主渐近项与误差项区分开来。
• 留数计算：通过计算主导极点处的留数，作者推导出了显式渐近公式，这些公式涉及由共轭极点留数之和导出的三角函数（具体为余弦函数）。
• 对称性与正交性：文章利用对称性性质 $P_n(z) = (-1)^n (1+z) P_n(-1-z)$ 来建立正交关系及零点的交错性质。
• 向欧拉多项式的转换：一个关键的方法论步骤是利用变换 $P_n(\frac{1}{z}-1) = \frac{A_n(z)}{(z-1)^n}$，将几何多项式的结果转移到欧拉多项式上，从而避免冗余证明。

3. 主要贡献与结果

A. 复平面中的渐近行为

作者建立了几何多项式在 $\mathbb{C} \setminus [-1, 0]$ 的紧子集上的一致渐近行为。

• 定理 3：
  $$\lim_{n \to \infty} \frac{P_n(z) (\log \frac{1+z}{z})^{n+1}}{n!} = \frac{1}{1+z}$$
  该收敛在紧集上是一致的。欧拉多项式也导出了类似结果（定理 6）。
• 推论：这导出了推论 1，该推论通过对数势描述了零点的极限分布，并确立了比值 $\frac{n P_{n-1}(z)}{P_n(z)}$ 收敛于 $\log \frac{1+z}{z}$。

B. 区间 $(-1, 0)$ 内的渐近行为

在零点所在的区间内，行为呈现振荡性。

• 定理 1：作者推导了 $P_n(z)$ 在 $(-1, 0)$ 内的精确渐近近似。令 $\ell(z) = \log|\frac{1+z}{z}|$。该多项式的行为类似于：
  $$(1+z)P_n(z) \frac{((\ell(z))^2 + \pi^2)^{(n+1)/2}}{n!} \approx J_n(z)$$
  其中 $J_n(z)$ 是一个归一化的振荡项：
  $$J_n(z) = \frac{(\ell(z) + \pi i)^{n+1} + (\ell(z) - \pi i)^{n+1}}{((\ell(z))^2 + \pi^2)^{(n+1)/2}} = 2\cos((n+1)\theta(z))$$
  当 $n \to \infty$ 时，该近似在趋近于端点 $-1$和$0$ 的子区间上一致成立。

C. 零点分布（时钟行为）

文章详细描述了区间 $(-1, 0)$ “体部”内零点的间距。

• 定理 2：$P_n(z)$ 的零点 $z_{j,n}$ 是相对于中心 $-1/2$ 进行索引的。当 $n \to \infty$ 时，零点遵循“时钟”模式，间距量级为 $O(1/n)$。
  • 对于偶数 $n$：$z_{j,2n} = -\frac{1}{2} + \frac{\pi^2}{4} \frac{j}{n+1} + o(\frac{1}{n})$。
  • 对于奇数 $n$：$z_{j,2n+1} = -\frac{1}{2} + \frac{\pi^2}{8} \frac{2j-1}{n+1} + o(\frac{1}{n})$。
• 结论：体部内连续零点之间的距离渐近为 $\frac{\pi^2}{4n}$。
• 定理 8：为欧拉多项式提供了类似结果，表明其在 $(-\infty, 0)$ 内的零点分布间距为 $\frac{\pi^2}{n}$。

D. 正交性质

文章基于多项式的对称性证明了新的正交关系。

• 引理 2 与 5：作者证明了几何多项式和欧拉多项式满足关于涉及 $(1+z)$ 或 $(1-x)$ 幂次的权函数的特定正交条件。例如，不同奇偶性的多项式乘积在 $(-1, 0)$ 上的积分消失。

4. 意义

• 组合对象的统一：文章严格连接了几何多项式（与集合划分相关）和欧拉多项式（与排列相关）的渐近分析，表明它们的零点分布具有基本的结构相似性。
• 零点分布的精确性：虽然这些多项式实零点的存在性已知，但本文提供了精确的渐近间距和误差项（$o(1/n)$），提供了类似于正交多项式（如勒让德多项式或切比雪夫多项式）中发现的“时钟行为”描述。
• 解析框架：涉及函数 $J_n(z)$ 的渐近公式的推导，为在复平面中近似这些多项式提供了强有力的工具，这对数值分析和进一步的组合研究非常有用。
• 推广到广义形式：作者指出，这些结果可以扩展到由 $P_n(z)$ 的线性分式变换定义的多项式，表明其方法具有更广泛的适用性。

总之，本文提供了一个全面的解析框架，用于理解几何多项式和欧拉多项式的大 $n$ 行为，从全局复渐近性推进到实轴上零点局部精确分布的研究。