[論文レビュー] On invariants and forbidden sets

Frank J. Palladino|arXiv (Cornell University)|Mar 9, 2012

Advanced Differential Equations and Dynamical Systems参考文献 11被引用数 5

ひとこと要約

本稿では、2階有理差分方程式のための6つの新しい代数的不変量を導入し、そのうち2つは線形分数型のケースを含む。これにより、2階系を1階系に還元することが可能となる。これらの不変量を用いて、特異点を有する初期条件を除くすべての複素初期条件に対して、明示的な閉形式解と禁止集合を導出する。これにより、有理差分方程式における特異点と解の特性を体系的に特定する手法が得られる。

ABSTRACT

We introduce six new algebraic invariants for rational difference equations. We use these invariants to perform a reduction of order in each case. This reduction of order allows us to find forbidden sets in each case. These six cases include two linear fractional rational difference equations of order greater than one. In all six cases, we give a closed form solution for all initial conditions which are not in the forbidden set. In all six cases, the initial conditions and parameters are assumed to be arbitrary complex numbers.

研究の動機と目的

• 2階有理差分方程式のための新しい代数的不変量を構築し、解の解析を容易にする。
• これらの不変量を用いて、有理差分方程式の階数を低減し、1階線形分数型方程式の族に変換する。
• 既知の1階系に関する結果を用いて、各方程式の禁止集合（特異点を引き起こす初期条件）を特定する。
• 禁止集合に属さないすべての複素初期条件に対して、閉形式解を提供する。
• 不変量に基づく還元と特異点解析を通じて、有理差分方程式の力学的挙動の理解を拡張する。

提案手法

• 特定の2階有理差分方程式に対して、6つの新しい代数的不変量を同定する。このうち2つは線形分数型のケースを含む。
• 各不変量を用いて、2階方程式を1階線形分数型差分方程式の族に共役変換する。
• 1階線形分数型方程式に関する既知の結果（禁止集合と閉形式解）を活用し、元の2階系に対応する性質を導出する。
• 複素数領域のパラメータ領域を扱うために、平方根の分岐切断および固有値によるパラメータ化を含む複素関数論的手法を用いる。
• 半共役因子分解と幾何的アプローチを不変量に基づく還元を通じて暗黙的に用い、特異点を分析する。
• 2次方程式の根と判別式の符号に応じて、三角関数または双曲線関数を含む再帰的パラメータ化を用いて、明示的な禁止集合を構築する。

実験結果

リサーチクエスチョン

• RQ1 2階有理差分方程式に対して、新しい代数的不変量を体系的に導出する方法は何か？
• RQ2 これらの不変量が、2階系から1階系への階数低減をどのように可能にするか？
• RQ3 本稿で検討された6つの2階有理差分方程式それぞれの禁止集合の構造はいかなるものか？
• RQ4 禁止集合に属さない初期条件に対して、閉形式解を導出できるか？
• RQ5 パラメータと初期条件を任意の複素数に許容した場合、解と禁止集合はどのように振る舞うか？

主な発見

• 2階有理差分方程式のための6つの新しい代数的不変量が成功裏に構築され、それらを用いて1階線形分数型方程式の族への変換が可能となった。
• $ S_1 $ から $ S_6 $ までの禁止集合が、各方程式について明示的に計算され、パラメータ領域に応じて孤立点、曲線、離散的列からなる。
• 各方程式について、禁止集合に属さないすべての複素初期条件に対して、1階線形分数型方程式の既知の解構造を用いて閉形式解が導出された。
• 禁止集合には、分母が0になる点、または不変量変換が失敗する点が含まれ、例として $ (0, -1/B) $、$ (-1/B, 0) $、2次方程式の判別式の根を含む列がある。
• 解の構造は、特性方程式の判別式に依存する：実数で異なる根、複素共役根、重根の3通りがあり、それぞれ異なるパラメータ表示形をとる。
• 解析により、判別式が負または0となる特定のパラメータ領域では、禁止集合に振動的または有理関数的パラメータ表示が現れ、非自明な特異点構造が明らかになった。