[論文レビュー] 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 の σ₋ᵣ に注目する。r ≤ η であるときかつそのときに限り、σ₋ᵣ の値域が [1, ζ(r)) に稠密であるような臨界閾値 η ≈ 1.88779 を同定する。この閾値を超えると、素因数の冪に関する乗法的構造の制約によって、値域にギャップが生じることを証明する。

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 に対して、σ₋ᵣ の値域の閉包がちょうど L 個の互いに交わらない部分区間の和集合となるような r の値についての未解決問題を提示すること。

提案手法

• σₜ(n) = ∑_{d|n} dᵗ を実数 t に一般化し、乗法的性質を保つ。
• σ₋ᵣ = I₀ * I₋ᵣ（ただし I₀(n)=1、I₋ᵣ(n)=n⁻ʳ）という恒等式を用いて、乗法的構造を活用する。
• log スケールでの部分和の再帰的構成を用い、[0, log ζ(r)) 内の任意の値を近似する。
• F(m,r) = (1 + 1/pₘʳ) ∏_{i=1}^{m} (1 + 1/pᵢʳ + 1/pᵢ²ʳ + ⋯) を定義し、すべての m に対して F(m,r) ≤ ζ(r) が成り立つことと、値域の稠密性が同値であることを証明する。
• p_{j+1}/p_j < √2（j≠1,2,4 のとき）などの素数比の上限を用いて、m≥5 のとき F(m,r) が単調増加することを示す。
• 数値的・解析的技法（例：Mathematica、微分解析）を用いて、方程式 (2^η/(2^η−1))((3^η+1)/(3^η−1)) = ζ(η) の唯一の解である η を特定する。

実験結果

リサーチクエスチョン

• RQ1 実数 r > 1 に対して、σ₋ᵣ の値域が区間 [1, ζ(r)) に稠密となるのはどのようなときか？
• RQ2 σ₋ᵣ が [1, ζ(r)) に稠密な値域を持つための必要十分条件となる正確な閾値 η は何か？
• RQ3 なぜ σ₋₂ は [1, π²/6) に稠密でないのか、そのギャップを引き起こす構造的要因は何か？
• RQ4 σ₋ᵣ が素因数の冪上で示す乗法的性質が、その値域の稠密性にどのように影響するか？
• RQ5 r > 1 のどの値についても、σ₋ᵣ の値域の閉包が [1, ζ(r)) のちょうど L 個の互いに交わらない部分区間の和集合となるのか？

主な発見

• σ₋ᵣ の値域が [1, ζ(r)) に稠密であるのは、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)) に稠密でない。
• F(m,r) は m ≥ 5 で厳密に単調増加であり、ζ(r) に収束する。したがって、F(4,r) ≤ ζ(r) ならば、すべての m ≥ 5 に対して F(m,r) ≤ ζ(r) が成り立つ。
• 本論文では、一般の r > 1 に対して、値域の閉包におけるギャップの数（すなわち、互いに交わらない区間の数）を特徴づける問題を未解決のままとして残している。