[论文解读] Finite and infinite Euler products of Ramanujan expansions

Giovanni Coppola|arXiv (Cornell University)|Oct 31, 2019

Analytic Number Theory Research参考文献 10被引用 4

一句话总结

本论文在Ramanujan系数为乘法函数且点态收敛成立的条件下，建立了算术函数Ramanujan展开的有限Euler乘积分解。关键结果表明，此类展开可分解为针对选定有限素数集的有限乘积与一个无限尾部，其中有限部分依赖于自变量的p进赋值，从而提供了具有应用价值的结构性分解，适用于零函数及乘法系数的情形。

ABSTRACT

All the $F:$N$ ightarrow $C having Ramanujan expansion $F(a)=\sum_{q=1}^{\infty}G(q)c_q(a)$ (here $c_q(a)$ is the Ramanujan sum) pointwise converging in $a\in $N, with $G:$N$ ightarrow $C a multiplicative function, may be factored into two Ramanujan expansions, one of which is a finite Euler product : details in our Main Theorem. This is a general result, with unexpected and useful consequences, esp., for the Ramanujan expansion of null-function, say 0. The Main Theorem doesn't require other analytic assumptions, as pointwise convergence suffices; this depends on a general property of Euler $p-$factors (the factors in Euler products) for the general term $G(q)c_q(a)$; namely, once fixed $a\in $N (and prime $p$), the $p-$Euler factor of $G(q)c_q(a)$ (involving all $p-$powers) has a finite number of non-vanishing terms (depending on $a$) : see our Main Lemma. In case we also add some other hypotheses, like the absolute convergence, we get more classical Euler products: the infinite ones. For the Ramanujan expansion of 0 this strong hypothesis makes the class of 0 Ramanujan coefficients much smaller; also excluding Ramanujan's $G(q)=1/q$ and Hardy's $G(q)=1/φ(q)$ ($φ$ is Euler's totient function). Our Main Theorem, instead, suffices to classify all the multiplicative Ramanujan coefficients for 0, so we also announce and (partially) prove this Classification.

研究动机与目标

• 在乘法系数与点态收敛条件下，建立Ramanujan展开分解为有限与无限Euler乘积的一般性因子分解。
• 分析零函数的Ramanujan系数结构，特别关注乘法函数的情形。
• 对支持在光滑数上的乘法Ramanujan系数进行分类，并确定其恒为零的条件。
• 为理解经典系数（如Ramanujan的G(q) = 1/q 和 Hardy的G(q) = 1/φ(q)）为何不满足绝对收敛性，提供理论基础。

提出的方法

• 引入有限素数集F，并将Ramanujan展开分解为F上的有限Euler乘积与与F互素的整数上的补尾部。
• 利用主引理证明：对固定的a ∈ ℕ，G(q)c_q(a)的p进因子仅含有限多个非零项，其数量依赖于v_p(a)。
• 利用G的乘法性质，将有限部分表示为对p ∈ F的求和，形式为∑_{K=0}^{v_p(a)} p^K (G(p^K) - G(p^{K+1}))。
• 通过点态收敛假设建立收敛性，避免使用绝对收敛等更强的分析条件。
• 利用Ramanujan和c_q(a)的结构及其与Möbius函数μ(q)在a = 1时的关系，推导出展开恒为零的必要条件。
• 借助Eratosthenes变换与光滑数支持，分析系数的支撑集，推导出零函数的条件。

实验结果

研究问题

• RQ1 在何种条件下，具有乘法系数的Ramanujan展开可分解为有限Euler乘积与无限尾部？
• RQ2 为何经典Ramanujan系数如G(q) = 1/q 与 G(q) = 1/φ(q) 不满足绝对收敛性？这对它们的表示有何含义？
• RQ3 乘法Ramanujan系数需满足何种结构性约束，才能恒为零函数？
• RQ4 p进赋值v_p(a)如何影响展开中有限Euler乘积的长度与形式？
• RQ5 素数集F(G)在分类零函数的乘法Ramanujan系数中起何作用？

主要发现

• 主定理表明：对任意乘法系数函数G与有限素数集F，只要点态收敛成立，Ramanujan展开即可分解为F上的有限Euler乘积与与F互素的整数上的无限尾部。
• 有限Euler乘积显式表达为∏_{p∈F} ∑_{K=0}^{v_p(a)} p^K (G(p^K) - G(p^{K+1}))，明确显示出对自变量a的p进赋值的依赖性。
• 对于零函数，条件∑_{(r,F)=1} G(r)μ(r) = 0在点态收敛下是Ramanujan展开恒为零的充要条件。
• 本文证明Ramanujan的G(q) = 1/q 与 Hardy的G(q) = 1/φ(q) 不满足绝对收敛性，解释了为何它们不属于可表示为无限Euler乘积的系数类。
• 即使支撑集为无限，Q-光滑数上的有限Ramanujan展开仍为有限，原因在于其对v_p(a)的依赖性。
• 通过证明仅存在三种情形：F(G) = ∅，F_0(G) ≠ ∅，或F(G) ≠ ∅ 且 F_0(G) = ∅，完成了对零函数的乘法Ramanujan系数的分类，其中第三种情形需满足对μ(r)的和条件以使其为零。