[論文レビュー] The integrals in Gradshteyn and Ryzhik. Part 11: The incomplete beta function

Khristo N. Boyadzhiev, Luis A. Medina+1 more|ArXiv.org|Aug 20, 2008

Mathematical functions and polynomials参考文献 4被引用数 12

ひとこと要約

この論文は、グラドシュタインとリジクの定積分について、不完全ベータ関数を含むものを体系的に分析し、級数展開およびディガンマ関数・トライガンマ関数の性質を用いて評価を行っている。∫₀¹ ln x / (1+x)² dx = −ln 2 や ∫₁^∞ ln x / (1+x²)² dx = G/2 − π/8 といった積分の閉形式評価を導出し、積分変換および留数積分法を用いて不完全ベータ関数と特殊関数との関係を確立している。

ABSTRACT

The table of Gradshteyn and Ryzhik contains some integrals that can be expressed in terms of the incomplete beta function. We describe some elementary properties of this function and use them to check some of the formulas in the mentioned table.

研究の動機と目的

• グレーデシュタインとリジクに記載された不完全ベータ関数を含む定積分を検証および導出すること。
• 級数および特殊関数を用いて、不完全ベータ関数 β(a) = ∫₀¹ x^{a−1}/(1+x) dx の基本的性質を確立すること。
• 関数的恒等式を用いて、不完全ベータ関数とディガンマ関数・トライガンマ関数との関係を確立すること。
• パラメータ微分および変数変換を用いて、対数的および有理関数の積分を評価すること。
• 不完全ベータ関数が、数学的物理および解析学における高度な定積分の評価にどのように有用であるかを示すこと。

提案手法

• 不完全ベータ関数を級数として表現：β(a) = ∑_{k=0}^∞ (−1)^k / (a + k) （a > 0）。
• ディガンマ関数の展開を用いて、恒等式 β(a) = ½[ψ((a+1)/2) − ψ(a/2)] を導出すること。
• ディガンマ関数の関数的恒等式（ψ(x+1) = ψ(x) + 1/x および ψ(x) − ψ(1−x) = −π cot(πx)）を適用すること。
• x = t^p などの変数変換を用いて、積分を β(a) で表せる形に変換すること。
• パラメータに依存する積分を微分することで、対数積分（例：∫ t^{a−1} ln t / (b^p + t^p) dt）を評価すること。
• ポアソン積分表現およびフーリエ変換を用いて、cosh(πx) および β(x) を含む積分を評価すること。

実験結果

リサーチクエスチョン

• RQ1 不完全ベータ関数 β(a) は、級数および特殊関数を用いてどのように表現できるか。これにより、グレーデシュタインとリジクの記述を検証できるか。
• RQ2 a → a+1 や a → 1−a などの変換において、β(a) の振る舞いを支配する関数的恒等式は何か。
• RQ3 パラメータ微分および変数変換を用いて、β(a) を含む対数積分をどのように評価できるか。
• RQ4 不完全ベータ関数と双曲線関数のフーリエ変換またはラプラス変換との関係は何か。
• RQ5 ∫₀^∞ dx / [(b² + x²) cosh(πx)] は β(b + ½) を用いて閉形式で評価可能か。

主な発見

• ∫₀¹ ln x / (1+x)² dx は正確に −β(1) = −ln 2 に評価される。
• ∫₁^∞ ln x / (1+x²)² dx は G/2 − π/8 に評価され、ここで G はカタラン定数である。
• b > 0 に対して、∫₀^∞ e^{−bt} cos(yt)/cosh t dt = (1/π) ∫_{−∞}^∞ h(0,u) b / (b² + (y−u)²) du という恒等式が確立された。
• μ(x) = ∫₀^∞ e^{−xt}/cosh t dt は μ(x) = β((x+1)/2) を満たし、不完全ベータ関数と関連づけられる。
• 恒等式 ∫₀^∞ μ(t) sin(xt) dt = μ(2x/π) が証明され、正弦変換における自己双対性が示された。
• ∫₀¹ x² ln x / (1+x²)² dx の評価は −½ β′(3/2) + ¼ β(3/2) となり、G/2 − 1/2 に簡約される。