[論文レビュー] The sum of the r'th roots of first n natural numbers and new formula for factorial

Snehal M. Shekatkar|arXiv (Cornell University)|Apr 4, 2012

Advanced Mathematical Theories and Applications被引用数 6

ひとこと要約

この論文は、任意の実数 r > 1 に対して、ラマヌジャンの最初の n 個の自然数の平方根の和の公式を r 乗根へ一般化し、リーマン積分と誤差補正項を用いる。スターリングの公式に類似した新しい階乗近似式を導出し、数値的に √(2π) に収束する補正項を提示することで、スターリング定数の新規な解析的導出を実現する。

ABSTRACT

Using the simple properties of Riemman integrable functions, Ramanujan's formula for sum of the square roots of first n natural numbers has been generalized to include r'th roots where r is any real number greater than 1.As an application we derive formula that gives factorial of positive integer $n$ similar to Stirling's formula.

研究の動機と目的

• ラマヌジャンの平方根の和の公式を、任意の実数 r > 1 に対して r 乗根へ拡張すること。
• リーマン積分と誤差限界を用いて、和 ∑_{x=1}^n x^{1/r} の閉形式近似を導出すること。
• 導出された和の公式を応用し、スターリングの公式に類似した n! の新たな解析的表現を求める。
• 補正項 φ_n(r) 及びその導関数が r → ∞ のときどのように振る舞うかを調査し、スターリング定数 √(2π) と関連付けること。

提案手法

• 区間 [0, n] 上で均等分割 P = {0, 1, 2, ..., n} を用いて、∫₀ⁿ x^{1/r} dx をリーマン積分で近似する。
• 和 ∑_{x=1}^n x^{1/r} を下ダーボウ和と上ダーボウ和の平均に補正項 φ_n(r) を加えた形で表現し、φ_n(r) は 0 から 1/2 の間に収束する。
• 主要な恒等式を導出：∑_{x=1}^n x^{1/r} = (r/(r+1))(n+1)^{(r+1)/r} - (1/2)(n+1)^{1/r} - φ_n(r)。
• この恒等式を r で微分し、∑ x^{1/r} log x を含む式を生成することで階乗の導出を可能にする。
• r → ∞ の極限を取ることで log(n!) を回復し、残余補正項が有限値 ξ に収束することを示す。
• r → ∞ における r² dφ/dr の極限を用いて、n! ≈ (n+1)^{n+1/2} e^{-n-1} e^ξ を導出し、e^ξ ≈ √(2π) であることを得る。

実験結果

リサーチクエスチョン

• RQ1 ラマヌジャンの平方根の和の公式は、任意の実数 r > 1 に対して r 乗根へ一般化可能か？
• RQ2 和の近似における補正項 φ_n(r) の関数的形は何か？ また、その有界性は？
• RQ3 r → ∞ のとき、補正項 φ_n(r) の導関数はどのように振る舞い、階乗定数に何を明らかにするか？
• RQ4 導出された n! の公式はスターリングの近似と整合する形に収束するか？ そして補正係数の値は何か？
• RQ5 r = 1 における dφ/dr の意味は何か？ また、1¹·2²·...·nⁿ の積にどのように影響を与えるか？

主な発見

• 和 ∑_{x=1}^n x^{1/r} は、φ_n(r) ∈ [0, 1/2] に収束する補正項を含めて (r/(r+1))(n+1)^{(r+1)/r} - (1/2)(n+1)^{1/r} - φ_n(r) で近似可能である。
• r → ∞ のとき、補正項 φ_n(r) は 1/2 に収束し、和が n に収束することと整合的である。
• 和の恒等式を r で微分することで、∑ x^{1/r} log x を含む式が得られ、これが階乗の表現に繋がる。
• r → ∞ の極限において、残余補正項 ξ は log(n!) ≈ (n + 1/2)log(n+1) - (n+1) + ξ を満たし、e^ξ ≈ √(2π) である。
• 導出された階乗の公式は n! ≈ (n+1)^{n+1/2} e^{-n-1} e^ξ であり、正確なスターリングの公式に非常に近い形である。
• r = 1 のとき、導関数 dφ/dr は数値的に小さく無視可能であり、1¹·2²·...·nⁿ の積に対する公式の妥当性が裏付けられる。