[論文レビュー] 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の部分クラスに属するMatsumoto zeta関数 $\varphi(s)$ と周期的Hurwitz zeta関数 $\xi(s,\alpha;\mathfrak{B})$ の混合離散ユニバーサル定理を確立する。$\alpha$ が超越的であり、かつ $\exp(2\pi/h)$ が有理数である場合に、それらの離散的シフトが、連結な補集合を持つコンパクト集合上で任意の消失しない正則関数を同時に近似可能であることを証明する。この結果は、以前の証明における不正確さを是正し、分母または分子に $\exp(2\pi/h)$ が関与する素数に対応する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})$ の混合離散ユニバーサル定理を確立すること。
• $\exp(2\pi/h)$ が有理数である場合の線形独立性条件に関する、初期の証明における基礎的誤りを是正すること。
• $\exp(2\pi/h)$ の分母または分子に現れる素数に対応するEuler因子を有限個除去することで、修正されたzeta関数 $\varphi_h(s)$ と $L_h(s,\chi)$ のユニバーサルフレームワークを拡張すること。
• アーリッド群の積空間上での離散的シフト分布の弱収束を示し、それがユニバーサル性の成立を保証すること。

提案手法

• $\exp(2\pi/h)$ の分子または分母に現れる素数の集合 $\mathbb{P}_h$ に対応するEuler因子を除去することで、修正されたMatsumoto zeta関数 $\widetilde{\varphi}_h(s)$ を定義する。
• $\varphi_h(s) = \widetilde{\varphi}_h(s + \alpha + \beta)$ を導入し、メロモーフィックな拡張や多項式成長といった解析的性質を保持する。
• $\Omega_{1h}$（$\mathbb{P}_h$ の外の素数に対応）と $\Omega_2$ の積である確率空間 $\Omega_h = \Omega_{1h} \times \Omega_2$ を構成し、Haar測度 $m_{hH} = m_{1hH} \times m_{2H}$ を導入。このとき、経験的測度 $Q_{N,h}$ の弱収束を保証する。
• $\varphi_h(s)$ と $\zeta(s,\alpha;\mathfrak{B})$ の積空間上での離散的シフト分布 $P_{N,h}$ が、極限分布 $P_{\underline{Z},h}$ に弱収束することを証明する。
• 修正された線形独立性条件を適用し、素数の積とシフトされたzeta値を含む関数方程式の唯一の解が自明なものであることを示し、極限測度の非退化性を保証する。
• 関数極限定理の枠組みを用いて、正則関数の積空間上での測度の弱収束から、離散ユニバーサル性の結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 $\alpha$ と $h$ に対して修正された独立性条件を満たす場合、$\varphi(s) \in \widetilde{S}$ と $\zeta(s,\alpha;\mathfrak{B})$ の混合離散ユニバーサル定理を確立できるか。
• RQ2 $\exp(2\pi/h)$ が有理数である場合の正しい線形独立性条件は何か。また、その条件は離散的シフト下でのzeta関数の関数的独立性にどのように影響するか。
• RQ3 [11] および [10] の誤った証明誤り（$\exp(2\pi/h)$ が有理数のときの線形独立性を誤って仮定）を、$\exp(2\pi/h)$ の分母または分子に現れる素数の制限された集合上で定義された修正されたEuler積を用いてどのように是正できるか。
• RQ4 $\mathbb{P}_h$ に属する素数に対応する有限個のEuler因子を除いた修正zeta関数 $\varphi_h(s)$ に対しても、ユニバーサル性が保たれるか。
• 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)$ が持つ解析的性質（メロモーフィックな拡張、多項式成長、平均平方有界性）を保持しており、ユニバーサルフレームワークが有効であることを保証する。
• 空間 $\Omega_h = \Omega_{1h} \times \Omega_2$ 上のHaar測度 $m_{hH}$ は、経験的測度 $Q_{N,h}$ の弱極限として得られ、ユニバーサル性の証明に不可欠である。
• 離散ユニバーサル性の結果が成立する：任意の $\varepsilon > 0$ に対して、コンパクト集合上で関数 $f_1(s)$ と $f_2(s)$ にそれぞれ $\varepsilon$ 以内で近似する整数 $k \in [0,N]$ の下密度が正である。
• 本結果は、Mishou や Sander–Steuding の先行研究を一般化し、$\exp(2\pi/h)$ が有理数である場合にまで混合ユニバーサル性を拡張する。これは、かつては独立性仮定の誤りにより除外されていた状況を含む。