[論文レビュー] 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.

研究の動機と目的

• ギュルラ、セル、ゾンドウによって以前に確立された、オイラー＝マスケローニ定数 γ、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₀, ∞) 上で一様収束して 0 に収束することを示し、積分と級数の極限の交換を可能にする。
• 補題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) の境界を用いて収束を確立し、m → ∞ のとき ∫₀¹ᐟʲ gₘ(1/u) du → 0 であることを示す。

実験結果

リサーチクエスチョン

• 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^γ は無理数である。