[論文レビュー] On Ramanujan's cubic continued fraction and explicit evaluations of theta-functions

Chandrashekara Adiga, Taekyun Kim+2 more|ArXiv.org|Feb 15, 2005

Advanced Mathematical Identities参考文献 13被引用数 48

ひとこと要約

本稿では、Rogers-Ramanujan連分数の既知の公式に類似した、Ramanujanの立方連分数 $V(q)$ の2つの積分表現を確立し、$V(q)$ と $V(q^3)$ を結ぶモジュラー方程式を証明する。さらに、theta関数の変換公式とモジュラー方程式を用いて、Chanらの結果を拡張する新しい明示的評価を導出する。

ABSTRACT

We study Ramanujan's cubic continued fraction and explicit evaluations of theta-functions

研究の動機と目的

• Rogers-Ramanujan連分数に類似した、Ramanujanの立方連分数 $V(q)$ の積分表現を導出すること。
• 既知のモジュラー関係を拡張する、$V(q)$ と $V(q^3)$ を結ぶモジュラー方程式を証明すること。
• 変換公式とモジュラー方程式を用いて、特定の値における $V(q)$ の新しい明示的評価を確立すること。
• 楕円関数のBorweinの立方理論に類似した理論を、$V(q)$ に対して構築できるかを検討すること。
• 関数 $\psi(q)$ と $\varphi(q)$ を含む、theta関数の評価およびモジュラー恒等式に関する先行研究を一般化・拡張すること。

提案手法

• $V(q)$ の2つの積分表現を、$\psi(q)$ 関数の比の対数微分と、Ramanujanノートに記載された既知の恒等式を用いて導出する。
• Ramanujanノート第19章のエントリ3(iv)を適用し、対数微分を $\varphi^2(-q)\varphi^2(-q^3)$ に結びつける。
• $\alpha\beta = \pi^2$ のもとで、変換公式 $\sqrt[4]{\alpha}e^{-\alpha/8}\psi(-e^{-\alpha}) = \sqrt[4]{\beta}e^{-\beta/8}\psi(-e^{-\beta})$ を用いて、新しい双対性定理を導出する。
• $\psi(q)$, $\varphi(q)$, $f(-q)$ のモジュラー方程式と変換恒等式を用いて、特殊点における $V(q)$ の明示的値を計算する。
• 既知の恒等式（例：第25章のエントリ66）において代入と代数的変形を適用し、閉形式での評価を導出する。
• $V(q^3)$ を用いた $V(q)$ の三重化公式を適用し、Borwein理論の立方類似形の可能性を検討する。

実験結果

リサーチクエスチョン

• RQ1 Rogers-Ramanujan連分数に類似した、$V(q)$ の積分表現を導出可能か？
• RQ2 $V(q)$ と $V(q^3)$ を結ぶモジュラー方程式は何か？ また、theta関数の恒等式を用いてそれらを証明できるか？
• RQ3 変換公式とクラス不変量を用いて、$V(q)$ のどの明示的評価が得られるか？
• RQ4 $V(q)$ に対して、Borweinの楕円関数の立方理論に類似した理論を構築可能か？
• RQ5 $q = e^{-\pi/\sqrt{5}}$ や $q = e^{-\pi/3}$ のような特殊点における $V(q)$ の値は、モジュラー方程式およびtheta関数とどのように関係するか？

主な発見

• $V(q)$ の2つの積分表現が確立された：$V(q) = \frac{1}{\sqrt[3]{-1 + 9\exp\left(\int_q^1 \varphi^2(-t)\varphi^2(-t^3)\frac{dt}{t}\right)}}$ および $V(q) = \frac{1}{2}\sqrt[3]{1 - \exp\left(-8\int_0^q \psi^2(t)\psi^2(t^3)dt\right)}$。
• $\varphi^2(-q)\varphi^2(-q^3)$ を用いたtheta関数の恒等式を用いて、モジュラー方程式 $V^3(q) = V(q^3)\frac{1 - V(q^3) + V^2(q^3)}{1 + 2V(q^3) + 4V^2(q^3)}$ が証明された。
• 新しい明示的評価が得られ、$V(e^{-\pi/\sqrt{5}}) = \frac{\sqrt{5}-1}{2}$ および $V(e^{-\pi/3}) = \frac{1}{2}\sqrt[3]{\sqrt{3} - 1}$ が含まれる。他の評価も文献において新規である。
• $\alpha\beta = \pi^2$ のもとで、変換公式 $\sqrt[4]{\alpha}e^{-\alpha/8}\psi(-e^{-\alpha}) = \sqrt[4]{\beta}e^{-\beta/8}\psi(-e^{-\beta})$ が証明された。
• モジュラー方程式を用いて、$\frac{\psi(-e^{-\pi/\sqrt{5}})}{e^{-\pi/2\sqrt{5}}\psi(-e^{-3\pi/\sqrt{5}})} = 5^{1/4}$ および $\frac{\psi(-e^{-\pi/3\sqrt{5}})}{e^{-\pi/3\sqrt{5}}\psi(-e^{-3\pi/\sqrt{5}})} = \frac{\sqrt{3}}{\sqrt{5}}$ が導出された。
• 本稿では、$V(q)$ に対する立方理論の構築に関する未解決問題を提示し、Borweinの立方理論の一般化の可能性を示唆している。