[论文解读] The football player and the infinite series

Harold P. Boas|arXiv (Cornell University)|Jun 25, 1997

Functional Equations Stability Results参考文献 17被引用 50

一句话总结

本文研究了狄利克雷级数的收敛性质，特别关注在一致收敛但非绝对收敛的带状区域中，其存在性与最大宽度。通过复分析与围道积分，作者证明此类带状区域的最大宽度为 1/2，并构造了显式例子（如交错黎曼ζ函数级数及其与黎曼ζ函数的组合），以证明在 (0, 1/2) 区间内任意宽度均可实现。

ABSTRACT

This is the text of an expository talk given at the May 1997 Detroit meeting of the American Mathematical Society. It is a tale of a famous football player and a subtle problem he posed about the uniform convergence of Dirichlet series. Hiding in the background is the theory of analytic functions of an infinite number of variables.

研究动机与目标

• 确定复平面上垂直带状区域中狄利克雷级数一致收敛但非绝对收敛的最大可能宽度。
• 建立狄利克雷级数在半平面中一致收敛的条件，扩展至绝对收敛区域之外。
• 证明存在狄利克雷级数，其一致非绝对收敛带状区域的宽度可达到任意预设的 (0, 1/2) 区间内的值。
• 提供一种基于切萨罗平均与围道积分的构造性方法，以扩展如黎曼ζ函数等解析函数的定义域。
• 解决关于狄利克雷级数一致收敛带状区域极值宽度的长期悬而未决问题，建立在哈拉尔德·玻尔的奠基性工作之上。

提出的方法

• 在复平面上应用围道积分，以界定函数与其部分狄利克雷级数部分和之间的差值。
• 使用顶点为 s ± a − b ± iM/(a−b+ε) 的矩形围道，将部分和的贡献与余项分离。
• 估计围道左、上、下、右四条边上的积分，表明余项被界为 O(M^{−ε} log M)。
• 根据 n ≤ M 或 n > M 的情况区分处理，以计算 (M+1)^{z−s}/n^{z−s} 沿围道的积分。
• 对于 n > M，将围道形变至无穷远，并利用指数衰减性，将积分界为 O(1/M)。
• 对于 n ≤ M，利用 z = s 处的留数提取部分和，并通过几何衰减估计其余积分。

实验结果

研究问题

• RQ1 狄利克雷级数在一致收敛但非绝对收敛的垂直带状区域中，其最大可能宽度是多少？
• RQ2 能否构造狄利克雷级数，使其一致非绝对收敛带状区域的宽度在 (0, 1/2) 内取任意指定值？
• RQ3 狄利克雷级数的一致收敛性与黎曼ζ函数等函数的解析延拓之间有何关系？
• RQ4 切萨罗平均在扩展发散或条件收敛狄利克雷级数的收敛域中起什么作用？
• RQ5 围道积分技术在证明狄利克雷级数在收敛横坐标右侧半平面中的一致收敛性方面，其适用范围在多大程度上成立？

主要发现

• 狄利克雷级数一致收敛但非绝对收敛的带状区域的最大可能宽度为 1/2。
• 对于任意实数 κ ∈ (0, 1/2)，存在一个狄利克雷级数，其一致非绝对收敛带状区域的宽度恰好为 κ。
• 交错狄利克雷级数 ∑(−1)^{n+1}/n^s 在 Re(s) > 0 时条件收敛，并在任意半平面 Re(s) ≥ ε > 0 上一致收敛。
• 函数 (1 − 2^{1−s})^{-1} ∑(−1)^{n+1}/n^s 作为黎曼ζ函数在 Re(s) > 0 上的亚纯延拓。
• 函数 f(s) 与其部分狄利克雷级数 ∑_{n=1}^M b_n / n^s 之间的差值，在 Re(s) ≥ b + ε 上一致有界于 O(M^{−ε} log M)。
• 构造 f(s) + ζ(s + κ) 可实现宽度恰好为 κ 的一致非绝对收敛带状区域，从而证明了 1/2 边界的紧致性。