[论文解读] New proofs of some formulas of Guillera-Ser-Sondow

Vassily Bolbachan|arXiv (Cornell University)|Oct 21, 2009

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

一句话总结

本文通過有限差分恆等式與積分表達式，提供了歐拉-馬歇羅尼常數 γ 及相關常數的對數級數的新初等證明。文章建立了 γ、u 和 ln u 的新公式，利用二項係數和，並透過對有理函數積分的線性獨立性條件猜想，證明了 e^γ 的超越性。

ABSTRACT

We present logarithmic series for u, ln u and the Euler-Mascheroni constant gamma. It was indicated by J. Sondow that Theorem 4 and all proofs are new. All proofs are elementary. We present some conjectures.

研究动机与目标

• 提供先前由 Guillera、Ser 和 Sondow 所建立之涉及歐拉-馬歇羅尼常數 γ、u 和 ln u 的已知公式之新初等證明。
• 透過包含階乘對數與調和級數的二項係數和，推導 γ 的新表達式。
• 透過一個猜測的有理函數積分線性獨立性條件，建立特定二項係數級數收斂性與 e^γ 的超越性之間的關聯。
• 透過提出涉及嵌套對數表達式與特殊函數的新猜測，擴展已知恆等式的適用範圍。
• 僅使用初等微積分與有限差分技術，統一並重新推導文獻中的既有結果。

提出的方法

• 使用引理 7，將總和 ∑ₖ₌₀ᵐ (m choose k)(-1)^k / (k + z) 表示為 gₘ(z)/z，其中 gₘ(z) = m! / [(z+1)(z+2)...(z+m)]。
• 應用引理 8，證明 gₘ(z)/z 在 [z₀, ∞) 上的均勻收斂性，進而允許在積分與級數中交換極限。
• 使用引理 9：(m choose k)/k = ∑ₙ₌ₖᵐ (n choose k)/n，重新索引雙重求和，並交換二項係數表達式中的求和順序。
• 使用引理 10：∑ₖ₌ₙʲ (-1)ᵏ⁺ⁿ (j choose k) = (j-1 choose n-1)，重新組織涉及交錯二項係數的巢狀求和。
• 應用對數的積分表達式，如 ∫₁ᵘ dz/z = ln u 和 ∫₀¹ᐟʲ gₘ(1/u) du，將離散求和與連續極限聯結。
• 透過與調和級數比較及對 gₘ(1/u) 的界估計，證明 ∫₀¹ᐟʲ gₘ(1/u) du → 0 當 m → ∞ 時的收斂性。

实验结果

研究问题

• RQ1 能否使用初等方法重新證明歐拉-馬歇羅尼常數的公式 γ = limₘ→∞ ∑ₖ₌₁ᵐ (m choose k)(-1)^k / k ⋅ ln(k!)？
• RQ2 二項係數和的收斂性與 u 及 ln u 的對數表達式之間有何關聯？
• RQ3 能否從有理函數積分的猜測線性獨立性條件出發，建立 e^γ 的超越性？
• RQ4 如何將包含多層對數的嵌套對數表達式表示為無限二項係數級數？
• RQ5 在涉及 1/(ku + 1) 及相關函數的二項係數和的極限中，均勻收斂性扮演何種角色？

主要发现

• 定理 1 證明：對於任意 u > 0，有 1 = limₘ→∞ ∑ₖ₌₁ᵐ (m choose k)(-1)ᵏ⁺¹ / (ku + 1)，且在緊緻區間上具備均勻收斂性。
• 定理 4 證明：γ = limₘ→∞ ∑ₖ₌₁ᵐ (m choose k)(-1)^k / k ⋅ ln(k!)，提供了此基本常數的新初等推導。
• 推論 3 表明：u = limₘ→∞ ∏ₖ₌₁ᵐ (k + u)^(m choose k)(-1)ᵏ⁺¹，提供了一種透過二項係數表示實數的乘積表達式。
• 推論 5 僅使用初等恆等式，重新證明公式 γ = ∑ⱼ₌₁^∞ ∑ᵢ₌₁ʲ (j-1 choose i-1)(-1)^i / j ⋅ ln i，避開了解析延拓。
• 猜測 4 提供了一個涉及不同正整數 a₁,…,aₘ 的 γ 一般公式，其係數由有理函數定義。
• 本文結論指出：若數字 yᵢ = ∑ₙ₌₁^∞ ∫₀¹ᐟⁿ dx / (1 + (ix)⁻¹) 在 ℤ 上線性獨立，則 e^γ 為超越數——這是一個重要的數論意義。