[论文解读] On Generalized Integrals and Ramanujan-Jacobi Special Functions

Nikos Bagis|arXiv (Cornell University)|Sep 25, 2013

Advanced Mathematical Identities参考文献 9被引用 4

一句话总结

本文引入基于罗杰斯-拉马努金连分数、戴德克ind eta函数和椭圆奇异模的广义积分变换，用于计算函数的积分与根。通过反变换与超几何恒等式，建立了拉马努金-雅可比θ函数、模方程与特殊函数之间的新联系，实现了对涉及 $ R(q) $ 和 $ k_r $ 的积分的闭式求值。

ABSTRACT

In this article we consider new generalized functions for evaluating integrals and roots of functions. The construction of these generalized functions is based on Rogers-Ramanujan continued fraction, the Ramanujan-Dedekind eta, the elliptic singular modulus and other similar functions. We also provide modular equations of these new generalized functions and remark some interesting properties.

研究动机与目标

• 开发一种广义框架，利用源自拉马努金工作的特殊函数，评估函数的积分与根。
• 建立罗杰斯-拉马努金连分数 $ R(q) $、椭圆奇异模 $ k_r $ 与戴德克ind eta函数之间的模对应关系。
• 推导新的积分变换及其反演关系，将 $ G(R(q)) $、$ m_G(A) $ 与超几何函数联系起来。
• 为广义θ函数 $ \theta_{\{a,p\}}(q) $ 构造模方程，并将其与 $ Q_{\{a,p\}}(x) $ 关联，后者是具有整数系数多项式的根。
• 通过 $ G $-变换推广θ函数的概念，并为通过反函数映射评估积分提供统一框架。

提出的方法

• 将 $ m_G(A) $ 定义为涉及 $ \eta(it/2)^4 $、$ G(R(e^{-\pi t})) $ 与罗杰斯-拉马努金连分数 $ R(q) $ 的变换的逆，从而实现积分求值。
• 推导关键恒等式 $ y(A) = R(e^{-\pi \sqrt{m_G(A)}}) $，将积分解与连分数 $ R(q) $ 直接关联。
• 利用 $ R(q) $ 的导数与模微分 $ dk/dq $，推导出 $ dA/dk_{m_G} = \sqrt[3]{2} G(y(A)) / (k_r k_r^*)^{2/3} $，将 $ A $ 与奇异模联系起来。
• 通过 $ x = \int_0^{h(x)} dt / G(y(t)) $ 定义函数 $ h(x) $，实现变换的反演，并将 $ h $ 与超几何函数关联。
• 建立 $ m_G^{(-1)}(A) = h(b_A) $，其中 $ b_A = 3\sqrt[3]{2k_A} \cdot {}_2F_1[1/6, 1/3; 7/6; k_A^2] $，实现反变换的显式求值。
• 为 $ \theta_{\{a,p\}}(q) $ 构造模方程，表明当 $ a,p $ 为有理数时，$ Q_{\{a,p\}}(x) $ 满足一个次数为 $ \nu $ 的整系数多项式方程。

实验结果

研究问题

• RQ1 如何利用基于 $ G(R(q)) $ 与 $ \eta(it/2)^4 $ 的广义变换，求解涉及罗杰斯-拉马努金连分数 $ R(q) $ 的积分？
• RQ2 反变换 $ m_G(A) $、奇异模 $ k_r $ 与超几何函数 $ {}_2F_1 $ 之间的函数关系是什么？
• RQ3 能否推导出广义θ函数 $ \theta_{\{a,p\}}(q) $ 的模方程？它们是否对有理参数给出 $ Q_{\{a,p\}}(x) $ 的代数值？
• RQ4 在何种条件下 $ G(R(q)) $ 成为具有整数系数多项式的根？这与 $ G $-变换框架有何关联？
• RQ5 广义θ函数 $ m_G^{(-1)}(A) $ 如何满足模性？当 $ A \to 1/A $ 时，其函数方程是什么？

主要发现

• 积分 $ 5\int_0^y \frac{G(t)}{t\sqrt[6]{t^{-5}-11-t^5}} dt = A $ 的解为 $ y(A) = R(e^{-\pi \sqrt{m_G(A)}}) $，建立了积分与罗杰斯-拉马努金连分数之间的直接联系。
• 反变换满足 $ \frac{d}{dA} m_G(A) = \phi(m_G(A)) $，其中 $ \phi(r) = -\frac{2\sqrt{r}}{\pi \eta(i\sqrt{r}/2)^4 G(R(e^{-\pi\sqrt{r}}))} $，从而实现对 $ m_G(A) $ 的微分求值。
• 导数 $ \frac{dA}{dk_{m_G}} = \sqrt[3]{2} \frac{G(y(A))}{(k_r k_r^*)^{2/3}} $ 提供了一个模微分方程，将 $ A $ 与奇异模 $ k_r $ 联系起来。
• 恒等式 $ m_G^{(-1)}(A) = h(b_A) $，其中 $ b_A = 3\sqrt[3]{2k_A} \cdot {}_2F_1[1/6, 1/3; 7/6; k_A^2] $，允许通过超几何函数显式求值反变换。
• 当 $ G(x) = 5^{-1} x P'(x) \sqrt[6]{x^{-5}-11-x^5} $ 时，反变换变为 $ m_G^{(-1)}(A) = P(R(e^{-\pi\sqrt{A}})) $，表明 $ P $ 决定了 $ G $-变换。
• 对于 $ A(1,4;q) $ 的模方程为 $ 16u^8 + u^{16}v^8 - v^{16} = 0 $，解出 $ v $ 得 $ v = P_2(u) = \frac{(u^{16} + u^4 \sqrt{64 + u^{24}})^{1/8}}{2^{1/8}} $，证实了其代数结构。