[論文レビュー] Asymptotic behavior of Heun function and its integral formalism

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

Quantum Mechanics and Non-Hermitian Physics参考文献 47被引用数 13

ひとこと要約

本稿は、三項再帰関係（3TRF）を用いて、ヘン関数およびその漸近的挙動の積分的表現を導出し、無限解および多項式解の両方に対して正確な級数から積分への変換を可能にした。主な発見として、部分積分形式において超幾何関数 $_2F_1$ が再帰的に出現すること、高次項 $A_n$ 項が体系的に組み込まれることを示した。また、ヘン方程式の三項再帰構造が原因で、ポアンカレ＝ペロンの定理が成立しない理由を解明した。

ABSTRACT

The Heun function generalizes all well-known special functions such as Spheroidal Wave, Lame, Mathieu, and hypergeometric functions. Heun functions are applicable to diverse areas such as theory of black holes, lattice systems in statistical mechanics, solution of the Schrodinger equation of quantum mechanics, and addition of three quantum spins. In this paper, applying three term recurrence formula, I consider asymptotic behaviors of Heun function and its integral formalism including all higher terms of A_n's. I will show how the power series expansion of Heun functions can be converted to closed-form integrals for all 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. In the appendix, I apply the power series expansion and my integral formalism of Heun function to "The 192 solutions of the Heun equation." Due to space restriction final equations for all 192 Heun functions is not included in the paper, but feel free to contact me for the final solutions. Section 5 contains two additional examples using integral forms of Huen function. This paper is 4th out of 10 in series "Special functions and three term recurrence formula (3TRF)". See section 5 for all the papers in the series. The previous paper in series deals with the power series expansion in closed forms of Heun function. The next paper in the series describes analytically the power series expansion of Mathieu function and its integral formalism.

研究の動機と目的

• ヘン関数のべき級数展開におけるすべての高次項 $A_n$ を含む体系的な積分的表現を構築すること。
• 三項再帰公式（3TRF）を用いて、ヘン関数の漸近的挙動および収束半径を分析すること。
• ヘン方程式が三項再帰構造を持つため、ポアンカレ＝ペロンの定理が一般に適用できない理由を示すこと。
• 超幾何関数 $_2F_1$ が、$A_n$ 項の数（0, 1, 2, ...）に応じて異なる部分積分形式に再帰的に出現することを示すこと。
• これまでのヘン関数のべき級数展開に関する研究を拡張し、無限解および多項式解を含むすべてのケースに対して閉形式の積分表現を提供すること。

提案手法

• 本稿は、三項再帰公式（3TRF）を適用し、ヘン関数のべき級数展開の漸近的挙動および収束性を導出する。
• 無限級数解を複素曲線積分と複数変数を含む多重積分形式に変換することで、積分表現を構築する。
• 変数変換 $\xi = \frac{a(x-1)}{x-a}$, $z = -\frac{1}{a}\xi^2$, および $\eta = \frac{1+a}{a}\xi$ を用いて、級数を積分形式に写像する。
• 再帰的演算子 $\overleftrightarrow{w}_{n-k,n}$ および微分演算子 $\partial_{\overleftrightarrow{w}_{n-k,n}}$ を導入し、再帰式における $A_n$ 依存項を扱う。
• 積分形式は、パラメータ $\alpha$, $\beta$, $\gamma$, $\delta$, $\epsilon$ に依存する超幾何関数 $_2F_1$ を基本構成要素とし、補正項 $Q$ および $\Omega$ を含む。
• 多項式解の場合は、$\beta = \gamma + \delta + 2\beta_i + i$ や $\gamma = \beta - \delta - 2\gamma_i - i$ といった終結条件を適用し、構造的な積分形式を持つ有限和を得る。

実験結果

リサーチクエスチョン

• RQ1 すべての高次項 $A_n$ を含むヘン関数の完全なべき級数展開を、閉形式の積分表現に変換する方法は何か？
• RQ2 ヘン関数の漸近的挙動は何か？ また、収束半径はパラメータおよび3TRF構造にどのように依存するか？
• RQ3 ヘン方程式は超幾何型方程式と形式的に類似しているが、なぜポアンカレ＝ペロンの定理が収束を保証しないのか？
• RQ4 $_2F_1$ 関数が、導出された形式の部分積分成分においてどのように再帰的に出現するのか？ また、含まれる $A_n$ 項の数に応じてそのパラメータはどのように変化するか？
• RQ5 この積分的表現は、ヘン方程式の無限解および多項式解の両方に体系的に適用可能か？ また、多項式解の終結条件は、積分構造にどのように符号化されているか？

主な発見

• 本稿は、$A_n$ のすべての高次項を含むヘン関数の完全な積分的表現を導出し、複素曲線と特殊関数を含む多次元積分表現に級数を変換した。
• 各部分積分形式には $_2F_1$ 関数が含まれており、再帰式における $A_n$ 項の数（0、1、2、…）に応じて、パラメータ構造が明確に異なるが体系的な部分積分が得られる。
• ヘン関数の収束半径は、再帰係数 $A_n$ および $B_n$ の漸近的挙動によって決定され、3TRFを用いて明示的に導出された。この係数の振る舞いは、二項再帰の場合とは異なり、収束性に異なる影響を及えることが示された。
• ヘン方程式では三項再帰関係が存在するため、ポアンカレ＝ペロンの定理が適用不可能であることが示された。これは、定理の収束基準を満たすために必要な条件が満たされないためである。
• 多項式解の場合は、$\beta = \gamma + \delta + 2\beta_i + i$ や $\gamma = \beta - \delta - 2\gamma_i - i$ といった終結条件を適切に組み込み、構造的な積分表現を持つ有限和を得ることができた。この積分表現は $A_n$ 依存構造を保持したままである。
• 導出された積分的表現により、パラメータの特殊化および変数の置換を用いて、ヘン関数をマシュー関数、ラメ関数、および退化ヘン関数など、他の特殊関数に正確に変換可能であることが示された。