[论文解读] On the Density of Ranges of Generalized Divisor Functions

Colin Defant|arXiv (Cornell University)|Jun 17, 2015

Advanced Topology and Set Theory参考文献 2被引用 6

一句话总结

本文将除数函数 σₜ 推广至实数指数 t，特别关注 r > 1 时的 σ₋ᵣ。识别出一个临界阈值 η ≈ 1.88779，使得当且仅当 r ≤ η 时，σ₋ᵣ 的值域在 [1, ζ(r)) 中是稠密的。证明了当 r 超过此值时，由于素数幂乘法结构的限制，值域中会出现间隙。

ABSTRACT

The range of the divisor function $σ_{-1}$ is dense in the interval $[1,\infty)$. However, the range of the function $σ_{-2}$ is not dense in the interval $\displaystyle{\left[1,\frac{π^2}{6} ight)}$. We begin by generalizing the divisor functions to a class of functions $σ_{t}$ for all real $t$. We then define a constant $η\approx 1.8877909$ and show that if $r\in(1,\infty)$, then the range of the function $σ_{-r}$ is dense in the interval $[1,ζ(r))$ if and only if $r\leqη$. We end with an open problem.

研究动机与目标

• 将经典的除数函数 σₜ 推广至实数指数 t，特别是关注 r > 1 时的 σ₋ᵣ。
• 确定对于哪些 r > 1，σ₋ᵣ 的值域在区间 [1, ζ(r)) 中是稠密的。
• 识别出一个临界阈值 η，使得当且仅当 r ≤ η 时，σ₋ᵣ 的值域是稠密的。
• 分析当 r > η 时，σ₋ᵣ 值域中出现间隙的结构性原因，特别是与素数幂贡献的关系。
• 提出一个开放问题：对于给定的 r，σ₋ᵣ 值域的闭包中不相交区间的个数是多少？

提出的方法

• 将 σₜ(n) = ∑_{d|n} dᵗ 推广至实数 t，同时保持乘法性。
• 利用恒等式 σ₋ᵣ = I₀ * I₋ᵣ，其中 I₀(n)=1 且 I₋ᵣ(n)=n⁻ʳ，以利用乘法结构。
• 在对数尺度上应用部分和的递归构造，以近似 [0, log ζ(r)) 中的任意值。
• 定义 F(m,r) = (1 + 1/pₘʳ) ∏_{i=1}^{m} (1 + 1/pᵢʳ + 1/pᵢ²ʳ + ⋯)，并证明 F(m,r) ≤ ζ(r) 对所有 m 成立当且仅当值域是稠密的。
• 利用素数比界（例如，当 j≠1,2,4 时，p_{j+1}/p_j < √2）证明当 m≥5 时 F(m,r) 的单调性。
• 采用数值与解析技术（如 Mathematica、导数分析）定位方程 (2^η/(2^η−1))((3^η+1)/(3^η−1)) = ζ(η) 的唯一根 η。

实验结果

研究问题

• RQ1 对于哪些实数 r > 1，σ₋ᵣ 的值域在区间 [1, ζ(r)) 中是稠密的？
• RQ2 精确的阈值 η 是什么，使得当且仅当 r ≤ η 时，σ₋ᵣ 在 [1, ζ(r)) 中的值域是稠密的？
• RQ3 为何 σ₋₂ 在 [1, π²/6) 中不稠密？其背后的结构性特征是什么？
• RQ4 σ₋ᵣ 在素数幂上的乘法行为如何影响其值域的稠密性？
• RQ5 对于哪些 r > 1，σ₋ᵣ 值域的闭包是 [1, ζ(r)) 中恰好 L 个不相交子区间的并集？

主要发现

• 当且仅当 r ≤ η 时，σ₋ᵣ 的值域在 [1, ζ(r)) 中是稠密的，其中 η ≈ 1.8877909 是方程 (2^η/(2^η−1))((3^η+1)/(3^η−1)) = ζ(η) 的唯一解。
• 当 r > η 时，σ₋ᵣ 的值域中存在间隙；例如，σ₋₂ 在 (π²/8, 5/4) 中无取值，表明其值域非稠密。
• 临界阈值 η 位于 (1,2] 内，且它是唯一满足对所有 m 都有 1 + 1/pₘʳ ≤ ∏_{i=m+1}^∞ (1 + 1/pᵢʳ + 1/pᵢ²ʳ + ⋯) 的 r 值。
• 当 r > 3 时，F(1,r) > ζ(r)，这意味着由于在 m=1 处密度条件失效，σ₋ᵣ 的值域在 [1, ζ(r)) 中不稠密。
• 当 m ≥ 5 时，F(m,r) 严格递增且收敛于 ζ(r)，因此若 F(4,r) ≤ ζ(r)，则对所有 m ≥ 5 都有 F(m,r) ≤ ζ(r)。
• 本文仍留有一个开放问题：对于一般 r > 1，如何刻画值域闭包中间隙的个数（即不相交区间的个数）？