[论文解读] 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)^{5\nu} $ 和 $ 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 $-公式。
• 推广涉及 $ 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 积分 $ \int_0^{u^{-1}(x)} u(q)^n \frac{f(-q^5)^5}{f(-q)} dq $ 在 $ n \in \{1/2, 1, 3/2, 2, \dots\} $ 时的精确求值为何？其与椭圆积分有何关联？
• 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 $-公式。