[論文レビュー] On Dynamics of $\ell$- Volterra Quadratic Stochastic Operators

U. A. Rozikov, Akbar Zada|ArXiv.org|Dec 24, 2007

advanced mathematical theories参考文献 6被引用数 10

ひとこと要約

本稿は、パラメータ ℓ ∈ {0,1,...,m} を用いて定義される (m−1)-単体上での ℓ-ボルテラ二次確率的作用素（QSO）を、古典的ボルテラ QSO の一般化として導入する。固定点および周期点の特徴付け、ℓ-ボルテラ作用素の集合が凸かつコンパクトであることを証明し、m=2 および m=3 の場合の軌道ダイナミクスを完全に記述する。主な貢献は、古典的ボルテラ QSO とは異なり、ℓ-ボルテラ作用素が単体の境界に閉じ込められていない極限集合を有することが示されたことであり、より豊かなダイナミクス的挙動を明らかにした点にある。

ABSTRACT

We introduce a notion of $\ell$-Volterra quadratic stochastic operator defined on $(m-1)$-dimensional simplex, where $\ell\in\{0,1,...,m\}$. The $\ell$-Volterra operator is a Volterra operator iff $\ell=m$. We study structure of the set of all $\ell$-Volterra operators and describe their several fixed and periodic points. For $m=2$ and 3 we describe behavior of trajectories of $(m-1)$-Volterra operators. The paper also contains many remarks with comparisons of $\ell$-Volterra operators and Volterra ones.

研究の動機と目的

• 古典的ボルテラ二次確率的作用素を、パラメータ ℓ ∈ {0,1,...,m} でパrameter化された新しいクラスの ℓ-ボルテラ QSO として一般化すること。
• ℓ-ボルテラ作用素の下での軌道のダイナミクス的挙動、特に固定点および周期点を調査すること。
• ℓ-ボルテラ作用素を古典的ボルテラ QSO や非ボルテラ QSO と比較し、より豊かなダイナミクス的挙動を強調すること。
• すべての ℓ-ボルテラ作用素の集合の位相的構造を特徴付け、それが凸かつコンパクトであり、明示的な極値点を持つことを証明すること。
• m=2 および m=3 の場合に、1-および 2-ボルテラ作用素の軌道が単体の内部点に収束しうることを示し、古典的ボルテラ QSO とは対照的である。

提案手法

• 一般化された遺伝的行列条件を用いて ℓ-ボルテラ QSO を定義：P_{ij,k} = 0 が k ∉ {i,j} の場合にのみ ℓ = m のとき成り立ち、それ以外の場合は k ∉ {i,j} に対して限定的に非ゼロの P_{ij,k} を許容する。
• 標準的な QSO 形式 x'_k = ∑_{i,j=1}^m P_{ij,k} x_i x_j を (m−1)-単体 S^{m−1} 上で用いる。
• 固定点を V(x) = x を解くことで分析し、(0,0)、(1,0)、(0,1)、または対称的内部点が固定点となる条件を同定する。
• リャプノフ関数法およびヤコビアン解析を用いて固定点の安定性を分類し、固有値を計算して吸引的または反発的であるかを特定する。
• m=2 および m=3 の場合に、明示的な再帰関係および図解的手法を用いて詳細な軌道解析を行い、極限集合を記述する。
• すべての ℓ-ボルテラ作用素の集合が凸かつコンパクトであることを証明する。これは、有限次元空間内の閉かつ有界な部分集合であり、極値点が明示的に特定可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 パラメータ ℓ ∈ {0,1,...,m} が古典的ボルテラ QSO（ℓ=m に相当）をどのように一般化するか。
• RQ2 すべての ℓ-ボルテラ作用素の集合の構造は何か。また、古典的ボルテラ作用素の集合とはどのように異なるか。
• RQ3 m=2 および m=3 の場合に、1-および 2-ボルテラ作用素の下での軌道の可能な極限集合は何か。また、古典的ボルテラ QSO とはどのように異なるか。
• RQ4 ℓ-ボルテラ作用素が境界にない極限集合を示すことは可能か。その場合、どのようなパラメータ条件下で成立するか。
• RQ5 ℓ-ボルテラ作用素の固定点および周期点は何か。また、パrameter a, b, c に依存してその安定性特性はどのように変化するか。

主な発見

• すべての ℓ-ボルテラ作用素の集合は、必要な制約を満たす立方行列の有限次元空間において、凸かつコンパクトである。
• m=2 の場合、2-ボルテラ作用素は c ≤ 1/2 のとき (0,0) に唯一の固定点を持つ。c > 1/2 のとき、追加の固定点 (0, (2c−1)/(2c−a)) および ((2c−1)/(2c−a), 0) が出現し、安定性は a−2b の符号に依存する。
• a = 2b かつ c > 1/2 のとき、2-ボルテラ作用素は直線 x+y = (2c−1)/(2(b−c)) 沿いに連続的な固定点集合 F を持つ。
• λ⁰ ∈ I_ν（単体内の放射）のとき、軌道は F 上の唯一の吸引的固定点に収束し、収束速度は ν に依存しない。
• 2-ボルテラ作用素は、古典的ボルテラ QSO とは異なり、単体境界の部分集合でない極限集合を有しうる。これは、より豊かなダイナミクス的挙動を示している。
• ヤコビアン解析により、固定点 (0,0) は c ≤ 1/2 のときグローバルに吸引的であることが示され、他の固定点はパラメータ a, b, c に応じて吸引的または反発的である。