[論文レビュー] On Second Solutions to Second-Order Difference Equations

William C. Parke, L. C. Maximon|arXiv (Cornell University)|Jan 18, 2016

Nonlinear Waves and Solitons参考文献 10被引用数 3

ひとこと要約

本稿では、d'Alembertの階数低下法と反復法を用いて、線形第二階差分方程式に対する第二独立解の明示的・閉形式の表現を導出する。特に、退化する場合（例えば、負の整数パラメータをもつ逐次超幾何関数の場合）に標準的手法が失敗する状況を焦点にしている。退化のため標準的手法が不成立となる場合でも、多項式第二解を導出し、拡張されたコーシー積分法と級数一致による確認を通じて、既知の解と等価であることを確認している。

ABSTRACT

We investigate and derive second solutions to linear homogeneous second-order difference equations using a variety of methods, in each case going beyond the purely formal solution and giving explicit expressions for the second solution. We present a new implementation of d'Alembert's reduction of order method, applying it to linear second-order recursion equations. Further, we introduce an iterative method to obtain a general solution, giving two linearly independent polynomial solutions to the recurrence relation. In the case of a particular confluent hypergeometric function for which the standard second solution is not independent of the first, i.e. the solutions are degenerate, we use the corresponding differential equation and apply the extended Cauchy-integral method to find a polynomial second solution for the difference equation. We show that the standard d'Alembert method also generates this polynomial solution.

研究の動機と目的

• 既知の一つの解をもとに、線形第二階差分方程式に対する第二独立解の明示的・非形式的表現を提供すること。
• 逐次超幾何関数において第一パラメータが負の整数である場合に標準第二解が線形従属（退化）する状況に対処すること。
• 再帰関係に適応したd'Alembertの階数低下法の新しい実装を構築すること。
• 反復法を用いて多項式第二解を導出し、拡張されたコーシー積分法を用いて既知の解と整合性を確認すること。
• 整数パラメータをもつ逐次超幾何方程式において、導出された解と標準的なDLMF解との等価性を確認すること。

提案手法

• d'Alembertの階数低下法を差分方程式に適用し、第二解を $ y_n^{(2)} = w_n f_n $ の形に仮定する。ここで $ f_n $ は既知の第一解である。
• 差分係数 $ a_n, c_n $ および第一解 $ f_n $ を含む積の和を用いた $ u_n = \Delta w_n $ に対する一階再帰関係を導出し、$ w_n $ の閉形式表現を導出する。
• 反復法を用いて、特に第一解が多項式である場合に有効な、再帰関係に対して線形独立な二つの多項式解を生成する。
• 対応する微分方程式に拡張されたコーシー積分法を適用し、第二解を導出し、それを差分方程式の枠組みに適応する。
• 導出された解を $ {}_1F_1(-N; n+1; x) $ の標準的DLMF解と比較し、対数項および級数項を一致させることで同一性を確認する。
• 級数展開とガウスの超幾何恒等式を用い、新規解と既知の解との間で項ごとの一致を検証し、$ \Psi_{PM} = \Psi_{DL} $ を確立する。

実験結果

リサーチクエスチョン

• RQ1 d'Alembertの階数低下法を第二階線形差分方程式に体系的に適応することで、明示的第二解を導出する方法は何か？
• RQ2 標準第二解が退化（例：負の整数パラメータをもつ逐次超幾何関数）する場合、第二解の形はどのように表れるか？
• RQ3 反復法を用いて、与えられた第二階再帰関係に対して線形独立な二つの多項式解を生成できるか？
• RQ4 微分方程式の対応形に拡張されたコーシー積分法を適用することで、差分方程式に有効な第二解が得られるか？
• RQ5 導出された第二解が、数学関数のデジタル図書館（DLMF）に記載された解とどの程度一致するか？

主な発見

• 本稿では、第二階線形差分方程式の第二解に対する閉形式表現を導出した：$ y_n^{(2)} = f_1 f_n \sum_{k=1}^{n-1} \frac{1}{f_k f_{k+1}} \prod_{l=0}^{k-1} \frac{c_l}{a_l} $。これは第一解 $ f_n $ が既知である場合に有効である。
• 逐次超幾何再帰関係において $ a = -N $、$ b = n+1 $ の場合、本手法はDLMF解 $ \Psi_{DL}(N,n,x) $ と一致する多項式第二解を生成し、$ \Psi_{PM}(N,n,x) = \Psi_{DL}(N,n,x) $ を確認した。
• 導出された解には、DLMF解と一致する対数項（$ \ln x $ およびオイラー・マスケローニ定数 $ \gamma $）が含まれており、級数展開により検証された。
• 解の多項式部は明示的に $ P(N,n,x) $ として与えられ、階乗および $ x $ の累乗の有限和を含み、DLMFの級数展開における最初の項と一致する。
• 本手法により、たとえ退化状態（例：$ a = -N $）であっても、第二独立多項式解が存在し、階数低下法により構成可能であることが確認された。
• 解の基底において $ c_1 = 1 $、$ c_2 = 0 $ とし、対数項および累乗級数項を項ごとに一致させることで、新規解とDLMF解との等価性が確立された。