[论文解读] On the Value-Distribution of Hurwitz Zeta-Functions with Algebraic Parameter

Athanasios Sourmelidis, Jörn Steuding|arXiv (Cornell University)|Jul 11, 2018

Analytic Number Theory Research参考文献 24被引用 15

一句话总结

本文在 Re(s) = 1 左侧的带状区域内，建立了代数无理参数 α 的 Hurwitz zeta 函数 ζ(s; α) 的有效稠密性结果，证明其导数可在紧集上一致逼近任意解析函数。通过丢番图逼近工具和多项式取值的有效估计，作者表明此类逼近在 τ ∈ [T, 2T] 中以正的下密度发生，首次实现了代数无理参数下有效、弱形式的 universality —— 尽管此前已有广泛研究，但该结果此前尚未达成。

ABSTRACT

We study the value-distribution of the Hurwitz zeta-function with algebraic irrational parameter $\zeta(s;\alpha)=\sum_{n\geq_0}(n+\alpha)^{-s}$. In particular, we prove effective denseness results of the Hurwitz zeta-function and its derivatives in suitable strips containing the right boundary of the critical strip $1+i\mathbb{R}$. This may be considered as a first "weak" manifestation of universality for those zeta-functions.

研究动机与目标

• 在代数无理数 α 的情况下，建立 Hurwitz zeta 函数 ζ(s; α) 及其导数在 Re(s) = 1 附近带状区域内的有效稠密性。
• 提供在紧集上一致逼近给定解析函数的平移 τ ∈ [T, 2T] 的密度的显式下界。
• 弥合已知的有理数/超越数 α 的 universality 结果与尚未解决的代数无理数 α 情况之间的差距。
• 为满足此类逼近的平移 τ 的存在性建立定量估计，明确依赖于 ε、d(α) 和 H(α)。

提出的方法

• 使用 ζ(s; α) 的近似函数方程，以控制临界带中 zeta 函数及其导数的大小。
• 应用类似 Liouville 的不等式，以界定在代数数处取值的多项式大小，确保其与零的有效分离。
• 运用丢番图逼近技术，以控制 ζ(s; α) 在临界线附近的取值分布。
• 构造集合 A(Q, M)，其中包含有界次数与高度的代数无理数 α，以确保有效逼近。
• 利用对数导数和泰勒系数的有效界，以 ε 和 N 表示逼近误差的控制。
• 通过测度论论证，对满足逼近条件的 τ ∈ [T, 2T] 集合建立下密度估计。

实验结果

研究问题

• RQ1 代数无理参数 α 的 Hurwitz zeta 函数是否能在临界带中实现对任意解析函数的有效逼近？
• RQ2 在哪些显式下界范围内，平移 τ ∈ [T, 2T] 的集合可使此类逼近成立？
• RQ3 α 的次数与高度如何影响 T 的所需大小及逼近质量？
• RQ4 能否利用代数数处多项式取值的有效估计，推导出定量的 universality 结果？
• RQ5 此类有效逼近在 Re(s) = 1 的最小距离是多少？

主要发现

• 对任意 σ ∈ (1/2, 1]，只要 T 足够大且 α 属于合适的有效集合 A(Q, M) ∩ [A, 1]，则 k = 0, ..., N 的导数 ζ(k)(s; α) 可在 Re(s) = σ 的带状区域内，将任意复数向量 (ak) 逼近到 ε 以内。
• 使逼近成立的 τ ∈ [T, 2T] 的集合具有至少 1/2Q − 2Q(1 − Q−2) 的下密度，当 Q ≥ 2 时为正。
• 所需 T 的增长速度至多为 exp(exp(Q²))，且明确依赖于 ε、N、d(α) 和 H(α)，所有常数均可有效计算。
• 该逼近是有效的：R、Q₀、Q、M 和 T 的显式界均以 ε、σ、N、d 和 A 表示。
• 由于丢番图逼近估计中的限制，该结果仅在 σ ≥ 1 − ξ 时成立，其中 ξ ≈ 0.000746。
• 该方法给出了 universality 的弱形式：对任意在 s₀ = σ₀ + it₀ 邻域内解析的 f，且 σ₀ ≥ 1 − ξ，存在 τ 使得 |ζ(s + iτ; α) − f(s)| < 3ε 在紧子集上一致成立。