[論文レビュー] Special functions and reversible three-term recurrence formula (R3TRF)

Yoon-Seok Choun|arXiv (Cornell University)|Sep 27, 2013

Algebraic and Geometric Analysis参考文献 37被引用数 5

ひとこと要約

本稿では、ヘン、コンフクランテッド・ヘン、グランド・コンフクランテッド・ハイパージェオメトリック、およびマチュー関数を含む特殊関数の母関数、べき級数、積分表現を体系的に導出するための新規な可逆三項再帰公式（R3TRF）を導入する。R3TRFを活用することで、多項式解および無限級数解の閉形式母関数が構築され、正則および不正則な特異点を有する複数の微分方程式クラスにおける係数および特殊関数値の正確かつ効率的な計算が可能になる。

ABSTRACT

In the previous series "Special functions and three term recurrence formula (3TRF)", I generalize the three term recurrence relation in the linear differential equation for the infinite series and polynomial which makes B_n term terminated including all higher terms of A_n's. In this series I will show how to obtain the formula for the polynomial which makes A_n term terminated including all higher terms of B_n's and infinite series of its power series expansion. In the future series I will show you for the polynomial which makes A_n and B_n terms terminated at same time; the power series, integral formalism and generating function such as Heun, Mathieu, Lame and GCH equations will be constructed analytically. In chapter 1, I will generalize the three term recurrence relation in linear differential equation in a backward for the infinite series and polynomial which makes A_n term terminated including all higher terms of B_n's. In chapters 2-9, I will apply reversible three term recurrence formula to (1) the power series expansion in closed forms, (2) its integral representation and (3) generating functions of Heun, Confluent Heun, GCH, Lame and Mathieu equations that consist of three term recursion relation for the infinite series and polynomial which makes A_n term terminated.

研究の動機と目的

• 正則または不正則な特異点を有する第二階線形微分方程式に従う特殊関数を解くための統一的枠組みを、可逆三項再帰公式（R3TRF）を用いて構築すること。
• R3TRFをべき級数および積分形式に適用することで、ヘン多項式、コンフクランテッド・ヘン多項式、マチュー関数の明示的母関数を導出すること。
• 再帰関係および積分変換を用いて、無限級数および多項式解の係数を体系的に計算するための手法を提供すること。
• R3TRFの適用範囲を一般化された球対称方程式およびグランド・コンフクランテッド・ハイパージェオメトリック関数に拡張し、原点および無限遠点に特異点を有する場合を含むこと。
• 微分方程式を再帰に基づく表現に変換する一貫性のある形式的枠組みを確立し、多様な特殊関数にわたる解析的および計算的解法を可能にすること。

提案手法

• 特殊関数のべき級数展開における係数の再帰関係を導出するために、可逆三項再帰公式（R3TRF）を適用する。
• R3TRFによって得られた係数を用いて、無限級数解を形式的べき級数として表現することで母関数を導出する。
• 重み関数および補助パラメータを用いた多重積分を用いて、解を閉形式で表現する積分形式を構築する。
• 再帰および変換の挙動を符号化するため、パラメータ $ s_n $, $ h_j $, $ \eta $, および $ \Omega_\rho $ を含む再帰的構造を導入する。
• 積分形式の解を表現するために、$ \prod_{l=1}^\infty \frac{1}{1 - s_{l,\infty}} $ および $ [0,1] $ 上のネストされた積分を含む母関数恒等式を用いる。
• ヘン、マチュー、コンフクランテッド・ヘンなどの微分方程式に対して、係数を代入し、R3TRFを適用することで母関数を導出する再帰系に変換する。

実験結果

リサーチクエスチョン

• RQ1 可逆三項再帰公式（R3TRF）をどのように体系的に適用することで、ヘン型関数の母関数を導出できるか？
• RQ2 R3TRF下で、タイプ1およびタイプ2のコンフクランテッド・ヘン多項式の母関数の構造はいかなるものか？
• RQ3 R3TRFは、無限遠点に不正則特異点を有する方程式（例：グランド・コンフクランテッド・ハイパージェオメトリック方程式）に対しても拡張可能か？
• RQ4 R3TRFを用いて導出された積分形式は、マチュー関数およびヘン関数の標準的級数解と比較して、精度および収束性においてどのように異なるか？
• RQ5 補助パラメータ $ \Omega_\rho $, $ \eta $, および $ z $ は、母関数の安定化およびパラメータ化において果たす役割は何か？

主な発見

• R3TRFにより、$ z $ に関する形式的べき級数としてのヘン多項式（タイプ2）の母関数が導出され、係数はネストされた積分および再帰パラメータで表現される。
• 原点に正則特異点を有するコンフクランテッド・ヘン関数に対して、R3TRFはタイプ1多項式の母関数を $ \sum_{h_0=0}^\infty \frac{(1/2)^{h_0}}{h_0!} s_0^{h_0} \prod_{n=1}^\infty \left( \sum_{h_n=h_{n-1}}^\infty s_n^{h_n} \right) $ を含む形で得るが、定められたパラメータ制約の下で収束する。
• タイプ2コンフクランテッド・ヘン多項式の積分形式は、$ [0,1] $ 上の多重ネスト積分を含み、重み関数 $ \Gamma_n $ は $ s_n $, $ t_n $, $ u_n $, および $ \eta $ に依存する。これにより、係数の正確な計算が可能になる。
• グランド・コンフクランテッド・ハイパージェオメトリック関数に対しては、タイプ2多項式の母関数が $ \Omega_\rho = \frac{\alpha+1}{2-\rho^2} $ のパラメータを用いて導出され、解は $ z $ に関する級数として表現され、係数には $ A(s_0; \text{ew}_{1,n}) $ および $ \Gamma_n $ 項が含まれる。
• マチュー関数（タイプ2）の母関数はR3TRFを用いて構築され、係数は $ \sum_{h_0=0}^\infty \frac{(1/2)^{h_0}}{h_0!} s_0^{h_0} \prod_{n=1}^\infty \left( \sum_{h_n=h_{n-1}}^\infty s_n^{h_n} \right) $ を含み、$ \Gamma_1 $ および $ A(s_0; \text{ew}_{1,1}) $ を用いた閉形式積分表現を持つ。
• 本手法は192種類のヘン関数へと一般化可能であり、付録に明示的な母関数および積分形式が提示されており、R3TRFが特殊関数族にわたる広範な適用可能性を示している。