[論文レビュー] Lame equation in the algebraic form

Yoon-Seok Choun|arXiv (Cornell University)|Mar 4, 2013

Quantum chaos and dynamical systems参考文献 17被引用数 9

ひとこと要約

本稿では、三項再帰公式（3TRF）を用いてラメ関数の閉形式の累乗級数および積分表現を導出しており、$A_n$ 項の数に応じて部分積分形に超幾何関数 ${}_2F_1$ が再帰的に現れることが示されている。この手法により、無限級数および多項式の場合の解析的解が可能となり、楕円体調和関数および特殊関数論への応用が可能である。

ABSTRACT

Lame equation arises from deriving Laplace equation in ellipsoidal coordinates; in other words, it's called ellipsoidal harmonic equation. Lame functions are applicable to diverse areas such as boundary value problems in ellipsoidal geometry, chaotic Hamiltonian systems, the theory of Bose-Einstein condensates, etc. In this paper I will apply three term recurrence formula [arXiv:1303.0806] to the power series expansion in closed forms of Lame function in the algebraic form(infinite series and polynomial) and its integral forms including all higher terms of A_n's. I will show how to transform power series expansion of Lame function to an integral formalism mathematically for cases of infinite series and polynomial. One interesting observation resulting from the calculations is the fact that a Gauss Hypergeometric function recurs in each of sub-integral forms: the first sub-integral form contains zero term of A_n's, the second one contains one term of A_n's, the third one contains two terms of A_n's, etc. Section 6 contains additional examples of application in Lame function. This paper is 6th out of 10 in series "Special functions and three term recurrence formula (3TRF)". See section 7 for all the papers in the series. Previous paper in series deals with the power series expansion of Mathieu function and its integral formalism [arXiv:1303.0820]. The next paper in the series describes the power series and integral forms of Lame equation in the Weierstrass's form and its asymptotic behaviors [arXiv:1303.0878].

研究の動機と目的

• 三項再帰公式（3TRF）を用いて、ラメ関数の代数的形での閉形式の解析的解を導出すること。
• ラメ関数の累乗級数展開を、無限級数および多項式の場合の両方の積分形式に変換すること。
• 含める $A_n$ 項の数に応じて、部分積分成分に超幾何関数 ${}_2F_1$ が再帰的に現れる理由を特定すること。
• 積分形式を用いて生成関数、直交関係、再帰関係、および物理的期待値を導出可能にする。
• 特に境界値問題および量子系において、特殊関数論を楕円体幾何に拡張する基盤を確立すること。

提案手法

• ラメ方程式のフロベニウス型累乗級数解に対して、三項再帰公式（3TRF）[10] を適用する。
• 係数 $c_n$ の再帰的解法により、ラメ関数の累乗級数に対する閉形式表現を導出する。
• 各項をポッヒャー記号および超幾何関数を含む積の形で表現することで、得られた累乗級数を積分形式に変換する。
• 各部分積分形が、$A_n$ 項の数に応じて増加する依存性を持つ ${}_2F_1$ 関数を含んでいることを特定する。
• 特定の固有値に対して $B_{2eta_i + (i+1)} = 0$ の条件を用いて $B_n$ 項を打ち切ることで、多項式解が得られる。
• $eta_i$ を固有値として、無限級数および多項式の場合の両方にこの手法を適用し、$B_n$ 項の打ち切り点を決定する。

実験結果

リサーチクエスチョン

• RQ1 代数的形でのラメ関数の累乗級数展開を、三項再帰公式（3TRF）を用いて閉形式でどのように表現できるか。
• RQ2 ラメ関数の累乗級数展開から導かれる積分形式の数学的構造は何か。
• RQ3 なぜ $A_n$ 項の数が増加する部分積分形に、超幾何関数 ${}_2F_1$ が再帰的に現れるのか。
• RQ4 ラメ関数の積分形式は、生成関数および直交関係を導出するためにどのように役立つか。
• RQ5 固有値 $\beta_i$ が $B_n$ 項を打ち切って多項式解を生成する役割を果たす仕組みは何か。

主な発見

• 代数的形でのラメ関数の累乗級数展開が、三項再帰公式（3TRF）を用いて成功裏に閉形式で表現された。
• ラメ関数の積分形式は、各部分積分に再帰的に ${}_2F_1$ 超幾何関数が現れることを明らかにした。$A_n$ 項の数が各部分積分で増加している。
• 固有値 $eta_i$ に対応する特定の $ olimits\alpha$ 値に対して、$B_{2\beta_i + (i+1)} = 0$ の打ち切り条件を課すことで、多項式解が得られる。
• $\alpha = 2(2\alpha_i + i + \lambda)$ および $\alpha = -2(2\alpha_i + i + \lambda) - 1$ の両解が同等の結果をもたらすことが確認され、再帰構造の整合性が裏付けられた。
• 導出された積分形式により、生成関数の構築が可能となり、物理的応用における再帰関係および期待値の導出に不可欠な役割を果たす。
• この手法により、積分形式を通じて、超幾何関数、ベッセル関数、ルジャンドル関数、クンマー関数などのよく知られた特殊関数にラメ関数を表現する道筋が得られた。