[论文解读] On mixed joint discrete universality for a class of zeta-functions

Roma Kačinskaitė, Kohji Matsumoto|arXiv (Cornell University)|Nov 24, 2016

Analytic Number Theory Research参考文献 17被引用 7

一句话总结

本文建立了关于来自 Steuding 子类 $\widetilde{S}$ 的 Matsumoto zeta 函数 $\varphi(s)$ 与周期 Hurwitz zeta 函数 $\xi(s,\alpha;\mathfrak{B})$ 的混合联合离散 universality 定理；证明了在参数 $\alpha$ 为超越数且平移步长 $h$ 满足 $\exp(2\pi/h)$ 为有理数的条件下，其离散平移可同时逼近任意非零全纯函数，前提是紧集的补集连通。该结果扩展了早期关于混合 universality 的工作，纠正了先前证明中的不准确之处，并引入了排除某些 Euler 因子的修正 zeta 函数。

ABSTRACT

We prove a mixed joint discrete universality theorem for a Matsumoto zeta-function $φ(s)$ (belonging to the Steuding subclass) and a periodic Hurwitz zeta-function $ζ(s,α;{\mathfrak{B}})$. For this purpose, certain independence condition for the parameter $α$ and the minimal step of discrete shifts of these functions is assumed. This paper is a continuation of authors' works [12] and [arXiv:1601.03795].

研究动机与目标

• 建立关于属于 Steuding 子类 $\widetilde{S}$ 的 Matsumoto zeta 函数 $\varphi(s)$ 与周期 Hurwitz zeta 函数 $\zeta(s,\alpha;\mathfrak{B})$ 的混合联合离散 universality 定理。
• 纠正早期证明中关于当 $\exp(2\pi/h)$ 为有理数时线性独立性条件的根基性错误。
• 通过移除与 $\exp(2\pi/h)$ 的分子或分母相关的素数所对应的有限个 Euler 因子，将 universality 框架扩展至修正后的 zeta 函数 $\varphi_h(s)$ 与 $L_h(s,\chi)$。
• 证明离散平移分布的弱收敛性，其极限概率测度定义在 adelic 群的乘积空间上，从而确保 universality 性质成立。

提出的方法

• 通过移除对应于素数集合 $\mathbb{P}_h$（即 $\exp(2\pi/h)$ 的分子或分母中所含素数）的 Euler 因子，定义修正后的 Matsumoto zeta 函数 $\widetilde{\varphi}_h(s)$。
• 引入修正 zeta 函数 $\varphi_h(s) = \widetilde{\varphi}_h(s + \alpha + \beta)$，其保持了全纯延拓与多项式增长等解析性质。
• 构造概率空间 $\Omega_h = \Omega_{1h} \times \Omega_2$，配备 Haar 测度 $m_{hH} = m_{1hH} \times m_{2H}$，其中 $\Omega_{1h}$ 对应于不在 $\mathbb{P}_h$ 中的素数，确保经验测度 $Q_{N,h}$ 的弱收敛性。
• 证明离散平移分布 $P_{N,h}$ 弱收敛于乘积空间上 $\varphi_h(s)$ 与 $\zeta(s,\alpha;\mathfrak{B})$ 的极限分布 $P_{\underline{Z},h}$。
• 应用修正后的线性独立性条件，证明涉及素数乘积与平移 zeta 值的函数方程的唯一解为平凡解，从而保证极限测度的非退化性。
• 利用函数极限定理框架，在全纯函数的乘积空间上通过测度的弱收敛性推导出离散 universality 结果。

实验结果

研究问题

• RQ1 能否在对 $\alpha$ 与 $h$ 的修正独立性条件下，为属于 $\widetilde{S}$ 的 Matsumoto zeta 函数 $\varphi(s)$ 与周期 Hurwitz zeta 函数 $\zeta(s,\alpha;\mathfrak{B})$ 建立混合联合离散 universality 定理？
• RQ2 当 $\exp(2\pi/h)$ 为有理数时，正确的线性独立性条件是什么？它如何影响 zeta 函数在离散平移下的函数独立性？
• RQ3 如何通过在受限素数集上使用修正的 Euler 乘积，纠正 [11] 与 [10] 中的早期证明错误——即错误地假设当 $\exp(2\pi/h)$ 为有理数时存在线性独立性？
• RQ4 对于排除了与 $\mathbb{P}_h$ 对应的有限个 Euler 因子的修正 zeta 函数 $\varphi_h(s)$，universality 性质是否仍然成立？
• RQ5 在修正后的独立性条件下，离散平移分布 $P_{N,h}$ 是否能弱收敛于极限测度 $P_{\underline{Z},h}$？

主要发现

• 本文证明：当 $\alpha$ 为超越数且 $\exp(2\pi/h)$ 为有理数时，对偶函数对 $(\varphi_h(s+ikh), \zeta(s+ikh,\alpha;\mathfrak{B}))$ 的离散平移分布 $P_{N,h}$ 在全纯函数的乘积空间上弱收敛于极限分布 $P_{\underline{Z},h}$。
• 修正后的线性独立性条件确保方程 $\prod_{p \in \mathbb{P} \setminus \mathbb{P}_h} p^{k_p} \prod_{m \in \mathbb{N}_0} (m + \alpha)^{l_m} = \exp(2\pi i a / h)$ 的唯一解为平凡解，从而防止 zeta 函数之间出现非平凡关系。
• 通过移除 $\mathbb{P}_h$ 中素数对应的 Euler 因子而构造的修正 zeta 函数 $\varphi_h(s)$，保留了原函数 $\varphi(s)$ 的解析性质（包括全纯延拓、多项式增长与均方有界性），确保 universality 框架的有效性。
• 在空间 $\Omega_h = \Omega_{1h} \times \Omega_2$ 上的 Haar 测度 $m_{hH}$ 是经验测度 $Q_{N,h}$ 的弱极限，这对证明 universality 结果至关重要。
• 离散 universality 结果成立：对任意 $\varepsilon > 0$，存在正的下密度，使得在区间 $[0,N]$ 中存在整数 $k$，满足 $\varphi_h(s+ikh)$ 与 $\zeta(s+ikh,\alpha;\mathfrak{B})$ 在紧集上分别以 $\varepsilon$ 内逼近给定的全纯函数 $f_1(s)$ 与 $f_2(s)$。
• 该结果推广了 Mishou 与 Sander–Steuding 的早期工作，将混合 universality 扩展至 $\exp(2\pi/h)$ 为有理数的情形，此前因错误的独立性假设而被排除。