[论文解读] On the monotonicity of the correction term in Ramanujan's factorial approximation

Mark B. Villarino, Daniel Campos Salas+1 more|arXiv (Cornell University)|Dec 8, 2011

Advanced Mathematical Identities参考文献 3被引用 3

一句话总结

本文提出了两个关于拉马努金阶乘近似中修正项 $\theta_n$ 严格单调递增性的新初等证明。第一个证明利用赫什霍恩对 $\theta_n$ 的紧致不等式边界，而第二个证明引入了一个更简单的下界 $\theta_n \geq 1 - \frac{3}{2n}$，该下界本身已足以证明 $\theta_n$ 对所有 $n \in \mathbb{N}$ 严格递增。主要贡献在于以更易理解且概念更简洁的方式重新证明了此前复杂的结果。

ABSTRACT

We present two new proofs of the monotonicity of the correction term $θ_n$ in Ramanujan's refinement of Stirling's formula.

研究动机与目标

• 提供拉马努金阶乘近似中修正项 $\theta_n$ 单调性更简单、更易理解的证明。
• 解决长期存在的挑战：证明 $\theta_n$ 严格递增，此前卡茨巴赫曾使用复杂方法处理。
• 证明一个更弱的下界 $\theta_n \geq 1 - \frac{3}{2n}$ 已足以证明其单调性，提出一种新颖且简化的思路。
• 使用初等不等式与符号计算，验证 $\theta_n$ 对所有自然数 $n$ 的单调性。

提出的方法

• 第一个证明利用赫什霍恩对 $\theta_n$ 的已建立双不等式边界，并证明当 $n \geq 3$ 时有 $\beta_n \leq \alpha_{n+1}$，从而推出 $\theta_n < \theta_{n+1}$。
• 第二个证明通过对数与指数不等式及 Mathematica 中的符号计算，推导出一个新的、更简单的下界 $\theta_n \geq 1 - \frac{3}{2n}$。
• 使用对数展开不等式：当 $-1 < x \leq 1$ 时，有 $\ln(1+x) \leq x - \frac{x^2}{2} + \cdots + \frac{x^7}{7}$ 与 $\ln(1+x) \geq x - \cdots - \frac{x^8}{8}$。
• 使用指数不等式 $e^x \geq 1 + x + \frac{x^2}{2} + \cdots + \frac{x^4}{4!}$ 对所有实数 $x$ 成立，以控制指数项。
• 应用符号计算验证由边界导出的多项式不等式，确保其在 $n \geq 5$ 或 $n \geq 8$ 时成立，其余情况通过直接计算验证。
• 将推导出的下界与 $\theta_n$ 的表达式结合，证明当 $n$ 足够大时有 $\theta_n - \theta_{n-1} > 0$，并通过多项式正性分析确认。

实验结果

研究问题

• RQ1 拉马努金阶乘近似中的修正项 $\theta_n$ 是否对所有 $n \in \mathbb{N}$ 严格递增？
• RQ2 能否使用比以往更简单的边界来证明 $\theta_n$ 的单调性？
• RQ3 一个更弱的 $\theta_n$ 下界是否足以证明其严格递增？
• RQ4 初等不等式与符号计算能否替代复杂分析方法来证明 $\theta_n$ 的单调性？

主要发现

• 序列 $\theta_n$ 对所有 $n \in \mathbb{N}$ 严格递增，确认了拉马努金近似修正的有效性。
• 第一个证明利用赫什霍恩的紧致边界 $1 - \frac{11}{8n} + \frac{5}{8n^2} < \theta_n < 1 - \frac{11}{8n} + \frac{11}{8n^2}$，并证明当 $n \geq 3$ 时有 $\beta_n \leq \alpha_{n+1}$。
• 第二个证明引入了一个新的、更简单的下界 $\theta_n \geq 1 - \frac{3}{2n}$，该下界本身已足以证明单调性。
• 直接计算确认 $\theta_1 \approx 0.3359$，$\theta_2 \approx 0.5117$，$\theta_3 \approx 0.6305$，支持递增趋势。
• 符号计算确认当 $n \geq 106$ 时差值 $\theta_n - \theta_{n-1}$ 为正，其余情况通过数值方法验证。
• 本文确立了更简单的边界 $\theta_n \geq 1 - \frac{3}{2n}$ 已足以证明单调性，标志着相比以往证明在概念上的显著简化。