[論文レビュー] Generalized Elliptic Integrals and Applications

Nikos Bagis|arXiv (Cornell University)|Apr 4, 2013

Advanced Mathematical Identities参考文献 6被引用数 3

ひとこと要約

本稿では、超幾何関数、モジュラー形式、デデキンドのエータ関数の特別値を用いて、一般化された楕円積分およびロジャース＝ラマヌジャン連分数（RRCF）積分の閉形式評価を導出する。RRCF、超幾何級数、楕円積分の間の新しい関係を確立し、$ f(-q)^4 q^{-5/6} R(q)^{5u} $ および $ u(q)^n $ を含む積分に対して正確な結果をもたらし、モジュラー方程式やラマヌジャン型 $ \pi $ 公式への応用を示す。

ABSTRACT

We use some general properties, presented in previous work, to evaluate special cases of integrals relating Rogers-Ramanujan continued fraction, eta function and elliptic integrals.

研究の動機と目的

• ロジャース＝ラマヌジャン連分数（RRCF）、デデキンドのエータ関数、楕円積分を含む積分の特殊ケースを、高度な特別関数を用いて評価すること。
• 超幾何関数およびガンマ関数を用いて、$ \int_0^{R^{-1}(\sqrt[5]{(-11+5\sqrt{5})/2})} f(-q)^4 q^{-5/6} R(q)^{5\nu} dq $ の形の積分に対する閉形式表現を導出すること。
• 置換およびアペル $ F_1 $ 超幾何恒等式を用いて、RRCFおよびエータ関数の積分に対する新しいモジュラー方程式および変換を確立すること。
• モジュラー方程式に現れる $ m(R) $ および $ \psi^*(x) $ を用いた解を用いて、任意の精度のラマヌジャン型 $ \pi $-公式を構成すること。
• 一般化されたベータ関数 $ B_\alpha(x) $、方程式 $ B_\alpha(1 - \beta_r)/B_\alpha(\beta_r) = \sqrt{r} $ の解 $ \beta_r $、および超幾何級数展開との関係を一般化し、$ u(q) = R(q)^{-5} - 11 - R(q)^5 $ を含む積分の評価を楕円積分および既知の特別関数と結びつけること。

提案手法

• ロジャース＝ラマヌジャン連分数（RRCF）のラマヌジャンの恒等式、特に $ \frac{1}{R(q)} - 1 - R(q) = \frac{f(-q^{1/5})}{q^{1/5} f(-q^5)} $ および $ \frac{1}{R^5(q)} - 11 - R^5(q) = \frac{f(-q)^6}{q f(-q^5)^6} $ を用いて、RRCF をモジュラー形式に関連付ける。
• 微分公式 $ R'(q) = 5^{-1} q^{-5/6} f(-q)^4 R(q) \sqrt[6]{R(q)^{-5} - 11 - R(q)^5} $ を適用し、積分を $ R(q) $ の有理関数形に変換する。
• アペル $ F_1 $ 超幾何関数およびガウス超幾何関数のオイラー積分表現を用いて、$ \int x^m (ax^2 + bx + c)^n dx $ の形の積分を評価する。
• 変換 $ x \to w^{1/5} $、$ w \to y/\rho_2 $、および $ w^{-1} - 11 - w \to t $ を用いて、複雑な積分を標準的な超幾何関数形に簡約する。
• エータ関数、モジュラー形式、完全楕円積分の既知の関係、たとえば $ f(-q) = 2^{1/3} \pi^{-1/2} q^{-1/24} k^{1/12} k'^{1/3} K(k)^{1/2} $ を用いて、積分を $ k $、特異モジュラー値の形で表現する。
• 微分関係 $ \frac{dq}{dk} = \frac{-q \pi^2}{2 k k'^2 K(k)^2} $ を適用し、$ \frac{dR}{dk} $ を導出し、$ k $ および $ F_1 $ または $ {}_2F_1 $ 関数を用いた積分を可能にする。

実験結果

リサーチクエスチョン

• RQ1 超幾何関数を用いて、$ \int_0^{R^{-1}(\sqrt[5]{(-11+5\sqrt{5})/2})} f(-q)^4 q^{-5/6} R(q)^{5\nu} dq $ の形の積分を閉形式で評価できるか？
• RQ2 ロジャース＝ラマヌジャン連分数およびデデキンドのエータ関数を用いて、新しいモジュラー方程式および変換を導出できるか？
• RQ3 $ n \in \{1/2, 1, 3/2, 2, \dots\} $ のとき、$ \int_0^{u^{-1}(x)} u(q)^n \frac{f(-q^5)^5}{f(-q)} dq $ の正確な評価は何か？ また、楕円積分とどのように関係するか？
• RQ4 モジュラー方程式に現れる $ m(R) $ および $ \psi^*(x) $ を用いた解から、任意の精度のラマヌジャン型 $ \pi $-公式を構成できるか？
• RQ5 一般化されたベータ関数 $ B_\alpha(x) $、方程式 $ B_\alpha(1 - \beta_r)/B_\alpha(\beta_r) = \sqrt{r} $ の解 $ \beta_r $、および超幾何級数展開との関係は何か？

主な発見

• 積分 $ \int_0^{R^{-1}(\sqrt[5]{(-11+5\sqrt{5})/2})} f(-q)^4 q^{-5/6} R(q)^{5/2} dq $ は、正確に $ \frac{27\Gamma(5/6)\Gamma(8/3)\sin\left(\frac{2}{3}\arctan\left(\sqrt{\frac{-11+5\sqrt{5}}{11+5\sqrt{5}}}\right)\right)}{2\sqrt{5\pi}} $ に評価され、ガンマ関数および三角関数の閉形式表現である。
• $ u(q) = R(q)^{-5} - 11 - R(q)^5 $ のとき、積分 $ \int_0^{u^{-1}(x)} u(q)^n \frac{f(-q^5)^5}{f(-q)} dq = -\int_0^x \frac{t^{n-1}}{\sqrt{125 + 22t + t^2}} dt $ に簡約され、$ n \in \{1/2, 1, 3/2, \dots\} $ のとき楕円積分に帰着する。
• 恒等式 $ \pi \int_{\sqrt{r}}^{\infty} \eta(it/2)^4 dt = 3\sqrt[3]{2k_r} \cdot {}_2F_1\left[\frac{1}{3}, \frac{1}{6}; \frac{7}{6}; k_r^2\right] = 5 \int_0^{R(q)} \frac{dx}{x \sqrt[6]{x^{-5} - 11 - x^5}} $ は、エータ関数を超幾何関数およびRRCF積分と結びつける。
• $ r = 4 $ のとき、評価 $ R(e^{-2\pi}) = -\frac{1+\sqrt{5}}{2} + \sqrt{\frac{5+\sqrt{5}}{2}} $ から $ \int_2^{\infty} \eta(it/2)^4 dt = 5\pi^{-1} \int_0^{R(e^{-2\pi})} \frac{dx}{x \sqrt[6]{x^{-5} - 11 - x^5}} $ が得られ、これは新しい正確な公式である。
• 関数 $ m(R) = \sin^2\left(\frac{\pi}{2(R+1)}\right) $ はモジュラー方程式 $ m(R+1) = \frac{1 - \sqrt{1 - m(R/2)}}{2} $ を満たし、これによりラマヌジャン型 $ \pi $-公式を再帰的に構成可能である。
• 級数 $ \sum_{n=0}^\infty \frac{(1/4)_n (3/4)_{-n}}{(1/2)_{-n} n!} \frac{m(R)^{n+1/2}}{n+1/2} = 2\arcsin(\sqrt{m(R)}) $ が成り立ち、$ m(R) $ が根号で評価できるとき、任意の精度のラマヌジャン型 $ \pi $-公式が得られる。