[論文レビュー] Hypergeometric form of Fundamental theorem of calculus

Petr Blaschke|arXiv (Cornell University)|Aug 14, 2018

Analytic and geometric function theory参考文献 12被引用数 5

ひとこと要約

本稿は、原点付近の正則関数の不定積分を計算する際に、2つの追加Pochhammer記号を用いた一般化超幾何関数として不定積分を表現することにより、計算を簡略化する超幾何的形の微積分の基本定理を導入する。この手法により、$\frac{\sin x}{x}$、$\frac{\arctan x}{x}$、$e^{x^2}$ といった難易度の高い関数に対しても、一様で基本的な手順で積分が可能となり、超幾何関数が積分の自然なクラスであることを示し、積分のブラケット法のようなヒューリスティック手法に対する厳密な代替手段を提供する。

ABSTRACT

We introduce a natural method of computing antiderivatives of a large class of functions which stems from the observation that the series expansion of an antiderivative differs from the series expansion of the corresponding integrand by just two Pochhammer symbols. All antiderivatives are thus, in a sense, "hypergeometric". And hypergeometric functions are therefore the most natural functions to integrate. This paper would like to make two points: First, the method presented is easy. So much so that it can be taught in undergraduate university level. And second: It may be used to prove some of the more challenging examples computed only by heuristic processes like Method of brackets.

研究の動機と目的

• 原点付近の正則関数の不定積分を計算する簡単で体系的な方法を構築し、複素解析やヒューリスティック的手法に依存しないようにすること。
• 一般化超幾何関数$\,_{p}F_{q}$が、初等関数では表現できない関数を含む広範な積分可能関数のクラスを自然に要約できることを示すこと。
• 特に$\frac{\sin x}{x}$、$\left(\frac{\sin x}{x}\right)^2$、$e^{x^2}$ を含む積分に対して、ブラケット法のような非厳密な手法でしか解けなかった積分を、厳密に評価できる代替手段を提供すること。
• Pochhammer記号を用いた記号的変換によって、原点付近のすべての正則関数の不定積分を統一的に取り扱えるようにすること。

提案手法

• 本手法は、不定積分のテイラー級数が被積分関数のそれと比較して、丁度2つのPochhammer記号の差異を示すという観察に裏打ちされており、直接的な記号的積分が可能である。
• 超幾何的形の微積分の基本定理を用いる：$\int x^{\alpha} \,_{p}F_{q}\left(\begin{array}{c}a_1,\dots,a_p \\ c_1,\dots,c_q\end{array}; \gamma x^{\beta}\right) dx = \frac{x^{\alpha+1}}{\alpha+1} \,_{p+1}F_{q+1}\left(\begin{array}{c}a_1,\dots,a_p,\frac{\alpha+1}{\beta} \\ c_1,\dots,c_q,1+\frac{\alpha+1}{\beta}\end{array}; \gamma x^{\beta}\right) + c$。
• 異なる超幾何的クラスや次元にわたる記述を統一するために「超幾何化（hypergeometrization）」の概念が導入され、個別ケースの分析を避けた記号的扱いが可能になる。
• 特定の積分、たとえば$\int \frac{z^4}{(1+z^2)^3} dz$ および $\int \frac{z^4}{(1+z^2)^2} dz$ に対して、これらを超幾何関数として表現し、既知の恒等式を用いて簡略化することで適用する。
• 複素数値の超幾何関数を用いて実部を抽出し、$\arctan z$ や対数項を含む定積分を、複素超幾何表現の実部を通じて評価可能にする。
• 既知の特殊関数の恒等式と一致することを確認するために、$\int_0^1 \frac{x^{\alpha}}{\sqrt{1-x}} \,_{2}F_{1}\left(\begin{array}{c} \frac{\alpha}{2}, \frac{\alpha+1}{2} \\ \alpha+1 \end{array}; x \right) dx$ の閉形式を導出することで、本手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 原点付近の正則関数の不定積分を計算するための一様で基本的な記号的手続きを構築可能か。複雑な解析的技法やヒューリスティック手法に依存しないか。
• RQ2 一般化超幾何関数$\,_{p}F_{q}$が、$\frac{\sin x}{x}$、$\left(\frac{\sin x}{x}\right)^2$、$e^{x^2}$ を含む非初等的被積分関数の広範なクラスをどれほど自然に要約できるか。
• RQ3 微積分の基本定理の超幾何的形を用いて、ブラケット法のような非厳密な手法でしか解けなかった積分を、厳密に評価可能か。
• RQ4 複素超幾何関数をどのように用いて、$\arctan x$ や対数項を含む実数値の定積分を抽出できるか。
• RQ5 「超幾何化」を介した統一的な記号的枠組みが、異なる超幾何的クラスや次元にわたる不定積分に関する一般論を可能にするか。

主な発見

• 本稿は、原点付近の正則関数のすべての不定積分が、2つの追加Pochhammer記号を備えた一般化超幾何関数として表現可能であることを確立し、普遍的な記号的積分法を可能にする。
• 本手法は、$\int \frac{z^4}{(1+z^2)^3} dz = \frac{15}{8} \frac{(1+z^2)^3}{z^5} \arctan z - \frac{5}{32} (3+5z^2)(1+z^2)$ を正しく評価し、非初等的被積分関数に対してもその強力さを示している。
• 複素超幾何関数$_{2}F_{1}\left(\begin{array}{c}1, 3 \\ 7/2 \end{array}; \frac{i}{\sqrt{3}} \right)$ の実部が$\frac{45}{8} - \frac{135\sqrt{2}}{64} \arctan \sqrt{2} - \frac{45}{128} \sqrt{6} \ln(5+2\sqrt{6})$ として計算され、複素超幾何積分の閉形式が得られた。
• $I_{\alpha} = \int_0^1 \frac{x^{\alpha}}{\sqrt{1-x}} \,_{2}F_{1}\left(\begin{array}{c} \frac{\alpha}{2}, \frac{\alpha+1}{2} \\ \alpha+1 \end{array}; x \right) dx$ に対して、$\alpha$ の展開における係数は、$\left[\alpha\right]I_{\alpha} = \ln \frac{1}{2} - \frac{4}{45} \,_{3}F_{2}\left(\begin{array}{c}1, 1, \frac{3}{2} \\ \frac{7}{4}, \frac{9}{4} \end{array}; -\frac{1}{3} \right) - \frac{2}{45} \,_{4}F_{3}\left(\begin{array}{c}1, 1, \frac{3}{2}, \frac{3}{2} \\ 2, \frac{7}{4}, \frac{9}{4} \end{array}; -\frac{1}{3} \right)$ となる。
• 本手法により、$I_{\text{true}} = \frac{1}{\sqrt{2}} \,_{2}F_{1}\left(\begin{array}{c}1, \frac{1}{2} \\ \frac{3}{2} \end{array}; -\frac{1}{3} \right) = \frac{\pi}{2\sqrt{6}}$ が記号的超幾何的変換によって正当化され、既知の結果が確認された。