[論文レビュー] 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$ の厳密な単調増加性について、2つの新しい初等的証明を提示する。最初の証明は、ヒルシュホルンが得た $\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}$ が、単独で単調性の証明に十分であることを示し、新しい洗練された手法を提示すること。
• 初等的不等式と記号計算を用いて、すべての自然数 $n$ に対して $\theta_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}$。
• すべての実数 $x$ に対して $e^x \geq 1 + x + \frac{x^2}{2} + \cdots + \frac{x^4}{4!}$ という指数関数の不等式を用いて、指数関数的項を評価する。
• 得られた多項式不等式を記号計算により検証し、$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$ の単調性の証明において、複雑な解析的手法に代わって用いられるか？

主な発見

• すべての $n \in \mathbb{N}$ に対して、列 $\theta_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}$ というより単純な不等式が、単調性の証明に十分であることを確立し、従来の証明に比べて概念的に簡素化されたことを示している。