Classification of Fourier summation formulas on a horizontal strip

技术摘要：水平带状区域内傅里叶求和公式的分类

问题陈述
本文研究了傅里叶求和对（FS-pairs）在比以往更广泛设定下的分类。虽然先前的研究（特别是 [18, 19]）分类了底层测度 $\mu$ 严格支撑在实线 $\mathbb{R}$ 上的 FS-对，但本研究将框架扩展到了支撑在复平面水平带 $U := \{z \in \mathbb{C} : |\text{Im } z| < \sigma < \infty\}$ 上的测度。这一扩展的主要动机是涵盖解析数论中重要的显式公式，例如黎曼 $\zeta$ 函数、狄利克雷 $L$-函数以及 Selberg 类中一般函数的 Guinand–Weil 公式。这些公式涉及离散测度，其支撑集延伸至实轴之外（例如 $L$-函数中的非平凡零点），这一特征是此前要求测度必须支撑在 $\mathbb{R}$ 上的分类方法所无法涵盖的。

研究的核心对象是一个形式如下的恒等式：
$$\sum_{n \ge 0} a(\lambda_n) \phi(\lambda_n) = \int_{\mathbb{R}} \hat{\phi}(t) d\nu(t) + \sum_{\gamma \in A} b(\gamma) \hat{\phi}(\gamma)$$
该恒等式对所有测试函数 $\phi \in C_c^\infty(\mathbb{R})$ 均成立，其中 $\hat{\phi}$ 是傅里叶变换。此处测度 $\mu = \nu + \eta$ 支撑在一条带状区域内，其中 $\nu$ 是 $\mathbb{R}$ 上的强缓增测度，而 $\eta = \sum b(\gamma)\delta_\gamma$ 是支撑在实轴之外的离散测度。函数 $a$ 具有有限指数增长。

研究方法
作者采用了类似于 [18, 19] 中的策略，依赖于求和公式与有界型函数（functions of bounded type）及 Nevanlinna 类理论之间的相互作用。其核心方法论包括：

1. 桥梁引理的适配： 建立了一个新版本的“桥梁引理”（Lemma 8），以处理支撑在 $\mathbb{R}$ 之外的离散测度 $\eta$。该引理通过特定的辅助核 $G_k$ 和 $S_k$，将关于 $\lambda_n$ 的离散求和与关于测度 $\mu$ 的积分及离散求和联系起来。
2. 有界型函数： 利用上半平面 $\mathbb{C}^+$ 中有界型函数的理论来管理测度 $\eta$。具体而言，作者利用此类函数的平均型（mean type）以及半平面中的柯西公式（Theorem 6）来处理边界行为和奇异性。
3. 生成函数的分解： 文中从 FS-对构造了一个生成函数 $F(z)$。该函数被证明是上半平面上的亚纯映射。作者将 $F(z)$ 分解为奇异部分 $S(z)$（由 $F$ 的极点决定，对应于 $\eta$）和全纯部分 $G(z)$（由 $\mathbb{R}$ 上的边界行为决定，对应于 $\nu$）。
4. Nevanlinna 表示： 全纯部分的生成函数与广义 Herglotz–Nevanlinna 类相关联。作者利用阶数 $\le k$ 的类 $\mathcal{N}_{\le k}$（广义 Nevanlinna 函数）的表示来刻画测度 $\nu$。

主要贡献与结果
本文提供了一个关于带状区域内 FS-对的双向分类定理，建立了这些求和公式与一类特定亚纯函数之间的对应关系。

• 定理 1（分类）： 对于一个实反对称（real-antipodal）、$R$-对称且支撑在带状区域上并具有有限阶的 FS-对 $(\mu, a)$，其相关的生成函数 $F(z) = \frac{1}{2}a(0) + \sum_{\lambda > 0} a(\lambda)e^{2\pi i \lambda z}$ 定义了上半平面上的一个全纯几乎周期映射。该函数可扩张为上半平面 $\mathbb{C}^+$ 上的亚纯映射，形式为 $F(z) = N(z) + S(z)$，其中：

  • $N(z)$ 属于两个广义 Nevanlinna 类的差集（$\mathcal{N}_{\le k} - \mathcal{N}_{\le k}$），编码了连续部分测度 $\nu$。
  • $S(z)$ 是一个显式的亚纯求和，编码了离散部分 $\eta$（极点和留数）。
  • 函数 $F$ 在水平线上是几乎周期的，其傅里叶系数对应于函数 $a$。

• 定理 2（构造）： 反之，给定一个在 $\mathbb{C}^+$ 上几乎周期且在水平线上几乎周期的亚纯函数 $F$，若其具有特定的衰减条件的单极点，且其奇异部分减去后剩余的部分属于广义 Nevanlinna 类，则可以唯一地重构出 FS-对 $(\nu + \eta, a)$。测度 $\eta$ 由 $F$ 的极点和留数决定，而 $\nu$ 则通过 $F$ 的全纯部分的 Nevanlinna 分解来恢复。

• 推论 3： 在测度是纯离散（即 $\delta$ 质量之和）的特殊情况下，生成函数是一个具有单极点的亚纯函数，分类过程也随之简化。

数论应用
本文明确地将这些结果应用于导出以下内容的生成函数：

1. 黎曼 $\zeta$ 函数的 Guinand–Weil 显式公式： 作者恢复了该公式，并将生成函数识别为 $F(z) = -\frac{1}{2\pi} \frac{\zeta'}{\zeta}(\frac{1}{2} - iz)$。
2. 狄利克雷 $L$-函数： 该框架被应用于原始实偶狄利克雷特征，得到了涉及 $L'/L$ 的相应生成函数。
3. Selberg 类： 结果被推广到 Selberg 类中的任何函数 $L$。论文证明了任何此类 $L$ 的 Guinand–Weil 公式都对应于亚纯函数 $F_L(z) = -\frac{1}{2\pi} \frac{L'}{L}(\frac{1}{2} - iz)$。

在应用中强调的一个重要技术成就是，该分类在不假设自对偶性（即不要求狄利克雷系数为实数）的情况下对 Selberg 类仍然成立。该框架通过测度分量的共轭对称性，自然地容纳了复系数。

意义
本文声称提供了第一个关于实反对称傅里叶求和对的通用双向分类，其中测度支撑在水平带上，允许同时存在实轴上的非离散分量以及带有任意复权重的实轴外离散分量。通过将这些公式表征为几乎周期亚纯 Nevanlinna 函数的奇异性和边界行为，这项工作统一了晶体测度（crystalline measures）理论与解析数论中的显式公式。它将之前的分类范围（[18, 19]）扩展到了包含 Guinand–Weil 公式，而后者此前处于现有理论之外。研究结果依赖于有界型函数理论和广义 Nevanlinna 表示，从而严谨地处理了测度在实轴之外的支撑问题。