[论文解读] The best bounds of harmonic sequence

Chao-Ping Chen, Feng Qi|arXiv (Cornell University)|Jun 16, 2003

Mathematical Approximation and Integration参考文献 3被引用 11

一句话总结

本文利用ψ函数和ψ'函数的性质，建立了调和级数与其对数近似减去欧拉常数之差的最紧已知界限。证明了不等式中最佳常数为 $\frac{1}{1-\gamma}-2 \approx 0.3653$ 和 $\frac{1}{3}$，改进了先前结果，并解决了关于Franel型不等式常数最优性的一个开放问题。

ABSTRACT

For any natural number $n\in\mathbb{N}$, $ \frac{1}{2n+\frac1{1-γ}-2}\le \sum_{i=1}^n\frac1i-\ln n-γ

研究动机与目标

• 确定序列 $\sum_{i=1}^{n}\frac{1}{i} - \ln n - \gamma$ 的最佳可能下界和上界。
• 解决Tóth和Mare提出的关于Franel型不等式中常数最优性的第二个问题。
• 通过改进界限中的常数，优化现有的不等式，如Franel不等式。
• 利用Binet公式和渐近展开，为ψ函数和ψ'函数建立新的双不等式。

提出的方法

• 利用对数Γ函数的第一种Binet公式，推导ψ函数的积分表示。
• 应用Euler-Maclaurin求和公式，并利用当 $x \to \infty$ 时 $\psi(x)$ 的渐近展开式 $\psi(x) = \ln x - \frac{1}{2x} - \frac{1}{12x^2} + O(x^{-4})$。
• 通过级数展开和积分表示，推导 $\psi(x+1) - \ln x$ 和 $\psi'(x+1)$ 的精确不等式。
• 引入函数 $\phi(x) = \frac{1}{\psi(x+1) - \ln x} - 2x$，并证明其在 $x > \frac{12}{5}$ 时严格递减，从而支持界限分析。
• 利用极限 $\lim_{x \to \infty} \phi(x) = \frac{1}{3}$ 和 $\phi(1) = \frac{1}{1 - \gamma} - 2$ 确定极值。
• 通过伯努利多项式和级数展开的严格积分估计，证明余项的符号不等式。

实验结果

研究问题

• RQ1 对于所有 $n \in \mathbb{N}$，是否存在最佳常数 $a$ 和 $b$，使得 $\frac{1}{2n + a} \leq \sum_{i=1}^{n} \frac{1}{i} - \ln n - \gamma < \frac{1}{2n + b}$ 成立？
• RQ2 上界中的常数 $\frac{1}{3}$ 是否可以改进为更大的值而不违反不等式？
• RQ3 下界中的常数 $\frac{1}{1 - \gamma} - 2$ 是否最优，或能否替换为更小的值？
• RQ4 ψ函数和ψ'函数的渐近展开如何有助于推导更紧的界限？
• RQ5 函数 $\phi(n) = \frac{1}{\psi(n+1) - \ln n} - 2n$ 的单调性在建立最佳界限中起什么作用？

主要发现

• 最佳下界常数为 $\frac{1}{1 - \gamma} - 2 \approx 0.36527211862544155$，且为最优：无法用更小的值替代。
• 最佳上界常数为 $\frac{1}{3}$，且为最优：若替换为更大的值将违反不等式。
• 序列 $\phi(n) = \frac{1}{\psi(n+1) - \ln n} - 2n$ 在 $n \in \mathbb{N}$ 上严格递减，且满足 $\phi(1) = \frac{1}{1 - \gamma} - 2$，$\lim_{n \to \infty} \phi(n) = \frac{1}{3}$。
• 不等式 $\frac{1}{2n + \frac{1}{1 - \gamma} - 2} \leq \sum_{i=1}^{n} \frac{1}{i} - \ln n - \gamma < \frac{1}{2n + \frac{1}{3}}$ 对所有 $n \in \mathbb{N}$ 成立，且下界仅在极限情况下取等。
• 本文利用积分表示和级数展开，为ψ函数和ψ'函数建立了两个新的双不等式。
• 结果确认了Tóth-Mare问题中常数的最优性，正面解决了其猜想的第二部分。