[论文解读] Repeated differentiation and free unitary Poisson process

Zakhar Kabluchko|arXiv (Cornell University)|Dec 29, 2021

Mathematical functions and polynomials被引用 5

一句话总结

该论文证明了在大 $d$ 极限下，实根三角多项式第 $[2td]$ 阶导数的零点经验分布弱收敛于初始零点分布与参数为 $t$ 的自由酉泊松分布的自由乘法卷积。该结果通过自由概率与鞍点分析，将此前针对代数多项式研究的零点流体动力学行为推广至三角多项式情形。

ABSTRACT

We investigate the hydrodynamic behavior of zeroes of trigonometric polynomials under repeated differentiation. We show that if the zeroes of a real-rooted, degree $d$ trigonometric polynomial are distributed according to some probability measure $ν$ in the large $d$ limit, then the zeroes of its $[2td]$-th derivative, where $t>0$ is fixed, are distributed according to the free multiplicative convolution of $ν$ and the free unitary Poisson distribution with parameter $t$. In the simplest special case, our result states that the zeroes of the $[2td]$-th derivative of the trigonometric polynomial $(\sin \frac θ2)^{2d}$ (which can be thought of as the trigonometric analogue of the Laguerre polynomials) are distributed according to the free unitary Poisson distribution with parameter $t$, in the large $d$ limit. The latter distribution is defined in terms of the function $ζ=ζ_t(θ)$ which solves the implicit equation $ζ- t an ζ= θ$ and satisfies $$ ζ_t(θ)= θ+ t an (θ+ t an (θ+ t an (θ+\ldots))), \qquad \mathrm{Im}\, θ>0, \;\; t>0. $$

研究动机与目标

• 理解在大次数极限下，三角多项式重复微分后零点的渐近分布。
• 建立重复微分与自由概率之间的联系，特别是与自由酉泊松分布的联系。
• 利用有限自由概率与鞍点方法，将此前针对代数多项式研究的零点流体动力学行为推广至三角多项式情形。
• 将极限零点分布表征为初始测度与自由酉泊松律的自由乘法卷积。

提出的方法

• 在大 $d$ 极限下分析次数为 $d$ 的三角多项式第 $[2td]$ 阶导数的零点分布。
• 应用鞍点法渐近计算导数多项式系数。
• 使用有限自由概率工具，特别是自由乘法卷积，描述极限测度。
• 通过隐式方程 $\zeta - t\tan\zeta = \theta$（其中 $\operatorname{Im}\theta > 0$，$t > 0$）推导自由酉泊松分布。
• 建立 $S$-变换与 $\psi$-变换关系，以从初始傅里叶系数计算极限零点密度。
• 证明当 $t \geq 1$ 时，极限密度的傅里叶级数表示在一致范数与 $L^p$ 范数下收敛，且当 $t=1$ 时点态收敛。

实验结果

研究问题

• RQ1 在大次数极限下，三角多项式的零点在重复微分下如何演化？
• RQ2 当 $d \to \infty$ 时，实根三角多项式第 $[2td]$ 阶导数的零点极限分布为何？
• RQ3 是否能通过自由概率，特别是自由乘法卷积，描述重复微分下零点的流体动力学行为？
• RQ4 自由酉泊松分布在该极限过程中起什么作用？其特征是什么？
• RQ5 极限零点密度在傅里叶级数表示下如何表现？其收敛模式如何？

主要发现

• 第 $[2td]$ 阶导数的极限零点分布是初始零点分布 $\nu$ 与自由酉泊松分布 $\Pi_t$ 的自由乘法卷积。
• 在特定情形 $T_{2d}(\theta) = (\sin \theta/2)^{2d}$ 下，第 $[2td]$ 阶导数的零点分布于大 $d$ 极限下收敛于 $\Pi_t$。
• 自由酉泊松分布 $\Pi_t$ 由隐式方程 $\zeta - t\tan\zeta = \theta$ 刻画，其中 $\zeta = \theta + t\tan(\theta + t\tan(\cdots))$，且 $\operatorname{Im}\theta > 0$，$t > 0$。
• 单位圆上 $\Pi_t$ 的密度具有统一收敛的傅里叶级数表示，形式为 $\operatorname{Re}\left(1 + 2\psi_t(e^{-i\theta})\right)$，其系数以 $e^{-2|\ell|t}p_{|\ell|}(t)$ 的速度衰减。
• 当 $t=1$ 时，极限密度属于 $L^p$ 空间（$1 \leq p < 3$），且其傅里叶级数在 $[-\pi, \pi] \setminus \{0\}$ 上点态收敛。
• 通过 $\psi$-变换推导出 Steinerberger 方程 (1.2) 的形式解，表明密度展开中仅出现 $e^{-2t}$ 的整数幂次。