[论文解读] Zeros of Sections of Some Power Series

Antonio R. Vargas|arXiv (Cornell University)|Aug 26, 2012

Mathematical functions and polynomials参考文献 32被引用 5

一句话总结

本文研究了通过指数积分定义的整函数的幂级数部分和的零点的渐近分布。通过将变量按 n 进行缩放，推导出归一化零点的显式极限曲线，表明其行为关键取决于被积函数中临界点的阶数；主要结果可推广至贝塞尔函数和合流超几何函数，这是该背景下对贝塞尔函数的首次严格处理。

ABSTRACT

For a power series which converges in some neighborhood of the origin in the complex plane, it turns out that the zeros of its partial sums---its sections---often behave in a controlled manner, producing intricate patterns as they converge and disperse. We open this thesis with an overview of some of the major results in the study of this phenomenon in the past century, focusing on recent developments which build on the theme of asymptotic analysis. Inspired by this work, we derive results concerning the asymptotic behavior of the zeros of partial sums of power series for entire functions defined by exponential integrals of a certain type. Most of the zeros of the n'th partial sum travel outwards from the origin at a rate comparable to n, so we rescale the variable by n and explicitly calculate the limit curves of these normalized zeros. We discover that the zeros' asymptotic behavior depends on the order of the critical points of the integrand in the aforementioned exponential integral. Special cases of the exponential integral functions we study include classes of confluent hypergeometric functions and Bessel functions. Prior to this thesis, the latter have not been specifically studied in this context.

研究动机与目标

• 分析通过指数积分定义的整函数的幂级数部分和的零点的渐近行为。
• 在通过 n 缩放后，确定归一化零点的极限曲线，特别关注这些曲线如何依赖于被积函数中临界点的阶数。
• 将已知的 Szegő 曲线结果推广至新函数类，包括贝塞尔函数和合流超几何函数。
• 在该背景下，首次提供对贝塞尔函数部分和零点的详细渐近分析。
• 将该方法推广至其他整函数，并探索其迭代应用的潜力。

提出的方法

• 通过 n 缩放变量，研究第 n 个部分和的零点的极限行为。
• 使用渐近分析和 Watson 引理，从指数积分表示中近似整函数及其余项。
• 应用 Eneström-Kakeya 定理限制零点位置，并确保在收敛半径内收敛。
• 通过分析复平面上 |ze^{1−z}| = 1 的方程，将 Szegő 曲线作为归一化零点的极限集合。
• 利用贝塞尔函数的已知渐近展开，验证虚轴上和实线段上的极限点行为。
• 使用变换恒等式将贝塞尔函数的截断部分与零点分布已知的多项式联系起来。

实验结果

研究问题

• RQ1 当 n → ∞ 时，由指数积分导出的幂级数部分和的零点的渐近行为如何？
• RQ2 在通过 n 缩放后，归一化零点的极限曲线的形状和结构由什么决定？
• RQ3 指数积分被积函数中临界点的阶数如何影响零点的渐近分布？
• RQ4 此前在该背景下尚未研究的贝塞尔函数，是否可将用于指数积分的方法加以推广？
• RQ5 在极限曲线推导中，什么条件允许使用子序列 {N} 而非完整序列 {n}？

主要发现

• 当 f(z) = exp(z) 时，部分和 s_n(f; nz) 的归一化零点在曲线 |ze^{1−z}| = 1 上累积，该曲线被称为 Szegő 曲线。
• 对于贝塞尔函数 J_α，部分和 s_N(J_α; Nz) 的归一化截断在实线段 [−1/e, 1/e] 上具有极限点，且所有此类点均为零点的极限点。
• 在复平面上且不收敛于 z = −i 的 s_n(J_α; nz) 的零点满足 |ze^{1−iz}| = 1 + (log N)/(2N) + O(1/N)，当 N → ∞ 时。
• 对于实 α，子序列 {N} 在极限结果中的使用可被原始偶数索引 {n} 替代，且渐近行为保持不变。
• 该方法可推广至其他具有已知渐近性质的整函数，且 Eneström-Kakeya 定理可确保零点被限制在收敛半径内。
• 该分析可扩展至高阶指数积分，如 F_m(z) = ∫ φ(t)e^{z^m t} dt，提示存在进一步推广的潜力。