[論文レビュー] The integrals in Gradshteyn and Ryzhik. Part 7: Elementary examples

Tewodros Amdeberhan, Victor H. Moll|ArXiv.org|Jul 14, 2007

Mathematical functions and polynomials参考文献 10被引用数 3

ひとこと要約

この論文は、グレーデシュタインとリーズヒクの有名な積分表に掲載されたいくつかの初等的な定積分について、厳密な導出と文脈的な証明を提供する。置換、ベータ関数とガンマ関数、三角関数の変換、再帰的積分といった初等的技法を用いて、代数的、対数的、指数的、有理関数を含む関数の積分に対して閉形式の評価を確立する。主な結果として、ベータ関数、逆三角関数および対数関数、一般化超幾何構造に基づく評価が得られる。

ABSTRACT

The classical table of integrals by I. S. Gradshteyn and I. M. Ryzhik contains some elementary integrals. We discuss their evaluations.

研究の動機と目的

• グレーデシュタインとリーズヒクの積分表に掲載された、詳細な導出が欠落している初等的な定積分について、厳密な証明を提供すること。
• 有理関数、代数的関数、対数関数、指数関数などの初等関数を組み合わせた積分を評価するための体系的なアプローチを確立すること。
• 置換と変換を用いて既知の積分を一般化し、より広いパrameter範囲にまで拡張すること。
• ベータ関数やガンマ関数などの特殊関数との関連を明らかにし、新しい閉形式の表現を導出すること。
• 表の項目を検証・拡張すること、特に $ (ax^2 + 2bx + c)^{-n-3/2} $ を含む積分族の新しい一般化を含む。

提案手法

• 置換 $ y = 1 - \sqrt{x} $ を用いて $ \int_0^1 (1 - \sqrt{x})^{p-1} dx $ を累乗積分の和に変換する。
• 変数変換 $ t = x^a $ を用いて $ \int_0^1 (1 - x^a)^{p-1} dx $ をベータ関数 $ B(p, a^{-1}) $ の形に表現する。
• 三角関数の置換 $ t = \tan\varphi $ および $ u = \sin\varphi $ を適用し、振動的積分を有理関数または逆三角関数の形に簡略化する。
• 積分記号の下での微分を用いて再帰的関係を導出し、パラメータ依存積分の微分方程式・差分方程式を解く。
• 部分分数分解と級数展開を用いて、$ (1 - s^2)^{-1} $ および $ (1 + z^2 x^2)^{-n-1} $ を含む積分を評価する。
• 部分積分とパラメータ微分を用いて、$ \ln(a^s + x^s) $ を含む積分および分数べき乗の有理関数を含む積分の閉形式を導出する。

実験結果

リサーチクエスチョン

• RQ1 初等的積分 $ \int_0^1 (1 - \sqrt{x})^{p-1} dx = \frac{2}{p(p+1)} $ は、初等的置換を用いてどのように厳密に導出可能か？
• RQ2 $ \int_0^1 (1 - x^a)^{p-1} dx $ の一般化は、ベータ関数を用いてどのように閉形式で表されるか？
• RQ3 一般の $ a, b > 0 $ に対して、積分 $ \int_{-\infty}^\infty \frac{dx}{(1+x^2)\sqrt{b + a x^2}} $ はどのように評価可能か？また、$ a $ と $ b $ に基づく3つの場合に分かれるのはなぜか？
• RQ4 $ \int_0^\infty \frac{dt}{(a + b t^2)^n \sqrt{1 + t^2}} $ の閉形式評価は何か？ベータ関数および三角関数の置換とどのように関連するか？
• RQ5 積分 $ \int_0^\infty e^{-px}(e^{-x} - 1)^n \frac{dx}{x^j} $ は再帰的にどのように評価可能か？$ T_j $ の明示的公式は、対数的および多項式的項でどのように表されるか？

主な発見

• 積分 $ \int_0^1 (1 - \sqrt{x})^{p-1} dx $ は、置換 $ y = 1 - \sqrt{x} $ を用いた直接積分により $ \frac{2}{p(p+1)} $ に評価される。
• 一般化された形 $ \int_0^1 (1 - x^a)^{p-1} dx $ は、$ a^{-1} B(p, a^{-1}) $ に等しく、置換 $ t = x^a $ を用いて得られる。ここで $ B $ はベータ関数を表す。
• 積分 $ \int_{-\infty}^\infty \frac{dx}{(1+x^2)\sqrt{b + a x^2}} $ は $ a < b $ のとき $ \frac{2}{\sqrt{a}} \tan^{-1}\left( \frac{\sqrt{b-a}}{\sqrt{a}} \right) $ に評価され、$ a = b $ および $ a > b $ の場合にも同様の式が得られる。特殊ケース $ a=3, b=4 $ では $ \pi/3 $ が得られる。
• 積分 $ \int_0^\infty \frac{dt}{(a + b t^2)^n \sqrt{1 + t^2}} $ は、置換 $ v = t / \sqrt{1 + t^2} $ を用いて $ \int_0^1 \frac{(1 - v^2)^{n-1} dv}{(a + (b-a)v^2)^n} $ に変換され、再帰的評価が可能になる。
• 積分 $ \int_0^\infty e^{-px}(e^{-x} - 1)^n \frac{dx}{x^j} $ は、反復積分とパラメータ微分を用いて $ \frac{(-1)^j}{(j-1)!} \sum_{k=0}^n (-1)^k \binom{n}{k} (p + n - k)^{j-1} \ln(p + n - k) $ に評価される。
• 対数積分 $ \int_0^\infty \ln\left( \frac{a^s + x^s}{b^s + x^s} \right) dx = (a - b) \frac{\pi}{\sin(\pi/s)} $ は、部分積分と既知の結果 $ \int_0^\infty \frac{dx}{1 + x^s} = \frac{\pi}{s \sin(\pi/s)} $ を用いて証明される。