Right edge rates of the zeros of $\widetilde{\Xi}_n$ and $\widetilde{\Lambda}_n$

以下是 Luc Ramsès Talla Waffo 所著论文"$\tilde{\Xi}_n$ 和 $\tilde{\Lambda}_n$ 零点的右边缘速率”的详细技术总结。

1. 问题陈述

本文研究了两个特定族的重标偶多项式 $\tilde{\Xi}_n(x)$ 和 $\tilde{\Lambda}_n(x)$（定义于 $n \geq 2$）的最大零点（即“右边缘”）的渐近行为。

这些多项式源自先前的工作 [1] 中引入的族 $\Xi_n$ 和 $\Lambda_n$，它们与狄利克雷 $\beta$ 函数 $\beta(2n)$ 和黎曼 $\zeta$ 函数 $\zeta(2n+1)$ 的归一化值的积分表示相关联。

• 定义：
  • $\tilde{\Xi}_n(x) := \Xi_n(\sqrt{x})$
  • $\tilde{\Lambda}_n(x) := \Lambda_n(\sqrt{x})$
• 性质： 这两个族都是 $n-1$ 次多项式，其所有零点均为实数、单重，且严格包含在区间 $(0, 1)$ 内。
• 研究缺口： 虽然已知这两个族零点的全局分布收敛于同一个极限分布函数 $F(x)$，但最右侧极端零点（即最接近 1 的零点）的行为尚未被完全刻画。具体而言，本文探讨的问题是：这两个族的最大零点是否以相同的指数速率趋近于端点 1？

2. 方法论

作者采用了一种基于多项式用欧拉多项式显式表示的初等但严谨的方法，并结合了一个将区间 $(0, 1)$ 映射到负实轴的变换。

A. 变换为负零点

该方法的核心依赖于引理 1.1 中的变量代换，将零点 $x \in (0, 1)$ 映射为关联欧拉多项式的负零点 $z = -a$（其中 $a \in (0, 1)$）：
$$z = -\frac{1-\sqrt{x}}{1+\sqrt{x}} \implies x = \left(\frac{1-a}{1+a}\right)^2$$
关键在于，当 $a \to 0^+$ 时，到右端点的距离表现为：
$$1 - x \sim 4a$$
因此，确定 $x \to 1$ 的速率等价于确定欧拉多项式的最小模负零点 $a$ 趋近于 0 的速率。

B. 与欧拉多项式的联系

多项式 $\Xi_n$ 和 $\Lambda_n$ 显式地用 B 型欧拉多项式（$B_m$）和 A 型欧拉多项式（$A_m$）表示：

• $\Xi_n$ 与 $B_{2n-1}$ 相关。
• $\Lambda_n$ 与 $A_{2n}$ 相关。
  $\tilde{\Xi}_n$ 的最大零点对应于 $B_{2n-1}$ 中离原点最近的负零点，$\tilde{\Lambda}_n$ 的情况同理对应于 $A_{2n}$。

C. 系数估计（引理 1.2）

作者利用了一个关于具有正系数和实负根的多项式 $P(z) = 1 + c_1 z + \dots + c_d z^d$ 的最小正根 $a_1$ 的界限：
$$\frac{1}{c_1} \leq a_1 \leq \frac{d}{c_1}$$
这意味着 $\log a_1 = -\log c_1 + O(\log d)$。因此，根的指数速率完全由多项式的第一个非常数系数（$c_1$）决定。

D. 首项系数的计算

本文计算了相关欧拉多项式的第一个非常数系数：

• A 型（$A_{2n}$）： $z$ 的系数为 $c^{(A)}_{n,1} = 2^{2n} - 2n - 1 \sim 4^n$。
• B 型（$B_{2n-1}$）： $z$ 的系数为 $c^{(B)}_{n,1} = 3^{2n-1} - 2n \sim 9^n$（具体为 $3^{2n-1}$）。

3. 主要贡献与结果

主定理（定理 2.1）

本文证明了这两个族的最大零点趋近于 1 时具有不同的指数速率。

1. 对于 $\tilde{\Lambda}_n$（A 型）：
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Lambda)}_{n-1,n}\right) = -\log 4$$
   这意味着 $1 - x^{(\Lambda)}_{n-1,n} \approx 4^{-(n-1)}$。

2. 对于 $\tilde{\Xi}_n$（B 型）：
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Xi)}_{n-1,n}\right) = -\log 9$$
   这意味着 $1 - x^{(\Xi)}_{n-1,n} \approx 9^{-(n-1)}$。

数值验证

第 4 节提供了一个数值表格以证实这些极限。

• $\tilde{\Lambda}_n$ 的归一化对数间隙迅速收敛于 $-\log 4 \approx -1.386$。
• $\tilde{\Xi}_n$ 的归一化对数间隙收敛于 $-\log 9 \approx -2.197$。
  数据表明，尽管全局分布相同，但“边缘”行为在本质上是不同的。

4. 意义与解读

• 微观与宏观行为： 结果揭示了一种现象，即宏观极限分布（描述零点主体的分布）未能捕捉到极端零点的微观行为。两个序列可以共享相同的全局极限律，但在边界处具有不同的局部缩放律。
• 欧拉系数的作用： 本文建立了极端零点的渐近速率与底层欧拉多项式第一个非常数系数的增长率之间的直接联系。
  • A 型中的因子 $4^n$ 导致速率为 $4^{-n}$。
  • B 型中的因子 $9^n$ 导致速率为 $9^{-n}$。
• 方法论的简洁性： 该证明的显著之处在于其“初等性”。它避免了复分析或复杂的渐近工具，而是依赖于代数变换和对多项式根的基本界限。这使得该结果易于理解，并突显了系数分析在根分布问题中的力量。

总之，本文解决了这些特定多项式族最右侧零点的渐近行为问题，证明了尽管它们共享全局极限，但其边界行为由源自各自欧拉多项式结构的不同指数尺度（$4^{-n}$ 与 $9^{-n}$）所支配。