[论文解读] On the convolution powers of complex functions on Z

Evan Randles, Laurent Saloff‐Coste|arXiv (Cornell University)|Dec 19, 2012

advanced mathematical theories参考文献 14被引用 8

一句话总结

本文通过傅里叶分析，将局部极限定理推广至 ℤ 上复值、有界支集函数的卷积幂，推导出上范数的渐近界与广义极限定理。结果表明，$ L^\infty $-范数以 $ n^{-1/m} $ 速率衰减，且经缩放后的卷积幂在紧集上一致收敛于解析吸引子，包括艾里函数与虚时热核。

ABSTRACT

The local limit theorem describes the behavior of the convolution powers of a probability distribution supported on Z. In this work, we explore the role played by positivity in this classical result and study the convolution powers of the general class of complex valued functions finitely supported on Z. This is discussed as de Forest's problem in the literature and was studied by Schoenberg and Greville. Extending these earlier works and using techniques of Fourier analysis, we establish asymptotic bounds for the sup-norm of the convolution powers and prove extended local limit theorems pertaining to this entire class. As the heat kernel is the attractor of probability distributions on Z, we show that the convolution powers of the general class are similarly attracted to a certain class of analytic functions which includes the Airy function and the heat kernel evaluated at purely imaginary time.

研究动机与目标

• 将经典的局部极限定理从概率测度推广至 ℤ 上的复值、有界支集函数。
• 理解此类函数卷积幂 $ \phi^{(n)} $ 的渐近行为，特别是 $ \|\phi^{(n)}\|_{\infty} $ 的衰减速率。
• 在缩放下识别 $ \phi^{(n)} $ 的吸引子函数，扩展热核在概率情形中的角色。
• 通过精细的渐近分析，解决先前工作中被排除的情形，如具有振荡行为的实值三点函数。

提出的方法

• 使用傅里叶变换 $ \hat{\phi}(\xi) = \sum_{x \in \mathbb{Z}} \phi(x) e^{ix\xi} $ 分析 $ \phi $ 的谱性质，特别是 $ \hat{\phi} $ 的最大模的位置与阶数。
• 在 $ \xi = 0 $ 附近对 $ \log(\hat{\phi}(\xi)/\hat{\phi}(0)) $ 进行泰勒展开，以确定主导项 $ \sim \beta \xi^m $，该主导项决定了缩放指数 $ m $。
• 定义吸引子函数 $ H_m^\beta(x) = \frac{1}{2\pi} \int_{\mathbb{R}} e^{-ixu} e^{-\beta u^m} du $，其推广了热核，描述了 $ \phi^{(n)} $ 经缩放后的极限形状。
• 在傅里叶反演中应用驻相法与鞍点法，推导出 $ \phi^{(n)}(\lfloor xn^{1/m} \rfloor) $ 的渐近展开，证明其收敛于 $ n^{-1/m} H_m^\beta(x) $。
• 建立缩放后卷积幂在紧集上的一致收敛性，尽管这些函数具有有限支集。
• 通过分析傅里叶变换在 $ \xi = \pi $ 处的行为，处理特殊情况——如满足 $ a_+a_- < 0 $ 且 $ 4|a_+a_-| = a_0|a_+ + a_-| $ 的实值三点函数——导致三阶缩放与艾里型吸引子。

实验结果

研究问题

• RQ1 对于 ℤ 上的复值、有界支集函数，$ \|\phi^{(n)}\|_{\infty} $ 的精确衰减速率是什么？其如何依赖于傅里叶变换的谱性质？
• RQ2 哪些解析函数可作为缩放后卷积幂 $ \phi^{(n)}(\lfloor xn^{1/m} \rfloor) $ 的通用吸引子？它们如何推广热核？
• RQ3 当 $ |\hat{\phi}| $ 的最大值出现在 $ \xi = 0 $ 与 $ \xi = \pi $ 时，渐近行为有何不同？每种情况下会涌现出何种缩放律？
• RQ4 能否将广义局部极限定理扩展至此前被排除的情形，如具有振荡傅里叶变换的实值三点函数？
• RQ5 在何处取得 $ \phi^{(n)} $ 的 $ L^\infty $-范数？其支集的精确结构如何随 $ n $ 演化？

主要发现

• 第 $ n $ 个卷积幂的上范数满足 $ C n^{-1/m} \leq \|\phi^{(n)}\|_{\infty} \leq C' n^{-1/m} $，其中 $ m \geq 2 $ 由 $ \log(\hat{\phi}(\xi)/\hat{\phi}(0)) $ 的泰勒展开中首个非零项的阶数决定。
• 对于示例函数 $ \phi(0) = \frac{1}{8}(5-2i) $，$ \phi(\pm1) = \frac{1}{8}(2+i) $，$ \phi(\pm2) = -\frac{1}{16} $，上范数以 $ n^{-1/2} $ 速率衰减，且缩放后函数收敛于 $ \frac{1}{\sqrt{4\pi i/8}} e^{-8|x|^2 / 4i} $，即虚时高斯函数。
• 当 $ |\hat{\phi}| $ 的最大值出现在 $ \xi = \pi $ 时，如实值三点函数满足 $ a_+a_- < 0 $ 且 $ 4|a_+a_-| = a_0|a_+ + a_-| $，缩放为 $ n^{-1/3} $，吸引子为 $ H_3^\beta $，其中 $ \beta = i(\alpha - \alpha^3)/6 $，其形态类似艾里函数。
• $ \phi^{(n)} $ 的 $ L^\infty $-范数在形如 $ \alpha n + K n^{1/m} $ 的集合上取得，其中 $ K $ 为紧集，表明峰值围绕线性漂移中心扩散。
• $ \phi^{(n)}(\lfloor xn^{1/m} \rfloor) $ 收敛于 $ n^{-1/m} H_m^\beta(x) $ 的过程在 $ \mathbb{R} $ 的紧子集上一致收敛，尽管函数具有有限支集。
• 吸引子函数 $ H_m^\beta $ 包含纯虚时间下的热核与艾里函数，且作为具有适定支集的复函数卷积幂的通用极限而出现。