[論文レビュー] Generalization of the three-term recurrence formula and its applications

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

Advanced Algebra and Geometry参考文献 20被引用数 13

ひとこと要約

本稿では、変数係数をもつ線形常微分方程式における三項再帰関係（3TRF）を一般化し、多項式および無限級数に対する解析的解を得ることを可能にする。フロベニウス法を拡張し、一般化された再帰構造を導入することで、ヘン、マチエ、ラメ方程式などの特殊関数がべき級数、積分形式、母関数形式で正確に解ける基盤を築く。これは、数学物理学における従来不可能とされてきた3TRF問題を解く上で、重要な一歩を踏み出す。

ABSTRACT

The history of linear differential equations is over 350 years. By using Frobenius method and putting the power series expansion into linear differential equations, the recursive relation of coefficients starts to appear. There can be between two and infinity number of coefficients in the recurrence relation in the power series expansion. During this period mathematicians developed analytic solutions of only two term recursion relation in closed forms. Currently the analytic solution of three term recurrence relation is unknown. In this paper I will generalize the three term recurrence relation in the linear differential equation. This paper is 2nd out of 10 in series "Special functions and three term recurrence formula (3TRF)". The next paper in series deals with the power series expansion in closed forms of Heun function by Choun [arXiv:1303.0830]. The rest of the papers in the series show how to solve mathematical equations having three term recursion relations and go on producing the exact solutions of some of the well known special functions including: Mathieu, Heun, Biconfluent Heun and Lame equations. See section IX for all the papers and short descriptions in the series.

研究の動機と目的

• 線形微分方程式における三項再帰関係（3TRF）に解析的閉形式解が存在しないという長年の課題に取り組む。
• フロベニウス法を二項の場合を超えて三項再帰関係を扱えるように拡張し、多項式および無限級数に対する正確な解を可能にする。
• n-nacci数列の一般化として、四項、五項、…などの高次再帰関係を解くための体系的フレームワークを確立する。
• 統一的な再帰ベースの手法を通じて、ヘン、マチエ、ラメ方程式などの特殊関数の正確な解を導く道筋を示す。
• 3TRFに基づく特殊関数に対して、べき級数、積分形式、母関数の導出を可能にし、数学物理学における重要な空白を埋める。

提案手法

• 変数係数をもつ線形ODEにおける三項再帰関係を扱えるように、標準的なフロベニウス法を一般化する。
• indicial 根とべき級数展開を伴う形で、$ c_{n+1} = A_n c_n + B_n c_{n-1} $ の再帰関係を導出する（$ n \geq 1 $）。
• 三項再帰の一般化として、四項、五項などの高次ケースに対応する一般化された再帰構造を導入し、トリボナッチおよびテトラナッチ数列を一般化する。
• 初期値を用いて再帰的計算により $ c_n $ に対応する数列を生成し、それらを既知の数列（例：トリボナッチ、テトラナッチ）と結びつける。
• 3TRFに非定数係数 $ A_n, B_n, C_n $ をもつ方程式に対して、べき級数解を構成する。
• 基礎となる再帰フレームワークを確立することで、今後の論文が積分形式および母関数を導出する基盤を整える。

実験結果

リサーチクエスチョン

• RQ1 線形微分方程式における三項再帰関係（3TRF）を、多項式および無限級数の両方の解析的解を得られるように一般化できるか？
• RQ2 非定数係数をもつ三項再帰関係を扱えるように、フロベニウス法をどのように拡張できるか？
• RQ3 一般化された再帰関係とトリボナッチ数列、テトラナッチ数列などの既知の数列との関係は何か？
• RQ4 このフレームワークを四項、五項、…などの高次再帰関係に対しても線形ODEに拡張できるか？
• RQ5 この一般化された再帰的手法により、ヘン、マチエ、ラメ方程式などの特殊関数に対して閉形式解が得られるか？

主な発見

• 本稿では、変数係数をもつ線形微分方程式における三項再帰関係（3TRF）を一般化し、多項式および無限級数の両方に対して解析的解を得ることに成功した。
• 係数が非定数である再帰関係 $ c_{n+1} = A_n c_n + B_n c_{n-1} $ が、既知の数列を一般化することを確立した。特に $ A_n = B_n = 1 $ の場合、トリボナッチ数列が得られる。
• 五項再帰関係 $ c_{n+1} = A_n c_n + B_n c_{n-1} + C_n c_{n-2} + D_n c_{n-3} $ に対して、数列 $ 1,1,2,4,8,15,29,56,108,208,\dots $ がテトラナッチ数に対応することが判明した。
• 3TRFに基づく方程式に対して、べき級数解を体系的に導出する手法を提供し、今後の積分形式および母関数に関する論文の基盤を形成した。
• 特殊関数（ヘン、マチエ、ラメ方程式など）の正確な解を、その再帰構造を一般化することで導出可能にした。
• 3TRFを越えて、m項および無限項の再帰関係に対しても一般化可能であり、線形ODEにおける広範な物理的方程式に対して解析的解が得られる可能性を示唆した。