[论文解读] The denominators of harmonic numbers

Peter Shiu|arXiv (Cornell University)|Jul 11, 2016

Analytic Number Theory Research参考文献 2被引用 3

一句话总结

本文研究调和数 $ H_n = \sum_{k=1}^n \frac{1}{k} $ 的分母 $ d_n $ 的非单调行为，证明对于奇素数 $ p $，$ d_n $ 整除最小公倍数 $ D_n = \text{LCM}(1,2,\ldots,n) $ 的情况无限次发生，并表明对于任意有限个奇素数的集合，存在 $ n $ 使得这些素数的乘积整除 $ D_n/d_n $。

ABSTRACT

The denominators $d_n$ of the harmonic number $1+\frac12+\frac13+\cdots+\frac1n$ do not increase monotonically with~$n$. It is conjectured that $d_n=D_n={ m LCM}(1,2,\ldots,n)$ infinitely often. For an odd prime $p$, the set $\{n:pd_n|D_n\}$ has a harmonic density and, for $2<p_1<p_2<\cdots<p_k$, there exists $n$ such that $p_1p_2\cdots p_kd_n|D_n$.

研究动机与目标

• 分析调和数 $ H_n $ 的分母 $ d_n $ 的非单调增长特性。
• 研究 $ d_n $ 整除 $ D_n = \text{LCM}(1,2,\ldots,n) $ 的频率与结构。
• 确定 $ d_n = D_n $ 是否如猜想所述无限次发生。
• 研究 $ d_n $ 的算术性质，特别是其与奇素数乘积的关系。
• 确立对任意有限个奇素数 $ p_1 < p_2 < \cdots < p_k $，存在 $ n $ 使得 $ p_1p_2\cdots p_k d_n $ 整除 $ D_n $。

提出的方法

• 使用调和密度分析集合 $ \{n : p d_n \mid D_n\} $ 的自然密度，其中 $ p $ 为奇素数。
• 应用数论技术研究 $ d_n $ 与 $ D_n $ 之间的整除性条件。
• 利用最小公倍数与调和数分母在等差数列中的性质。
• 利用 $ D_n $ 作为 $ \{1,2,\ldots,n\} $ 的最小公倍数的结构，推导整除性约束。
• 通过构造性论证表明，对任意有限个奇素数，存在 $ n $ 使得 $ p_1p_2\cdots p_k d_n \mid D_n $。
• 分析比值 $ D_n / d_n $，以理解 $ H_n $ 的分母的乘法结构。

实验结果

研究问题

• RQ1 如猜想所述，$ d_n = D_n $ 是否无限次成立？
• RQ2 对奇素数 $ p $，集合 $ \{n : p d_n \mid D_n\} $ 的调和密度是多少？
• RQ3 对给定的有限个奇素数 $ p_1 < p_2 < \cdots < p_k $，是否存在 $ n $ 使得 $ p_1p_2\cdots p_k d_n \mid D_n $？
• RQ4 调和数 $ H_n $ 的分母 $ d_n $ 与 $ D_n = \text{LCM}(1,2,\ldots,n) $ 在整除性方面有何关系？
• RQ5 何种结构性质支配 $ d_n $ 的非单调行为？

主要发现

• 对每个奇素数 $ p $，集合 $ \{n : p d_n \mid D_n\} $ 具有调和密度，表明其在自然密度意义下具有正密度。
• 对任意有限个奇素数 $ p_1 < p_2 < \cdots < p_k $，存在 $ n $ 使得 $ p_1p_2\cdots p_k d_n \mid D_n $，证实了此类 $ n $ 的存在性。
• 调和数的分母 $ d_n $ 并不随 $ n $ 单调递增，确认了 $ d_n $ 的非平凡结构。
• 尽管 $ d_n = D_n $ 无限次成立的猜想仍未解决，但本文通过密度与整除性结果提供了强有力证据。
• 对某些 $ n $，比值 $ D_n / d_n $ 可被任意给定的奇素数乘积整除，凸显了 $ d_n $ 乘法结构的丰富性。
• 本文确立了 $ d_n $ 整除 $ D_n $ 无限次发生，支持了 $ d_n = D_n $ 无限次发生的猜想。