[論文レビュー] Algebraic entropy for differential-delay equations

C.-M. Viallet|arXiv (Cornell University)|Aug 26, 2014

Advanced Differential Equations and Dynamical Systems参考文献 13被引用数 12

ひとこと要約

本稿は、微分項と遅れ項が同じ変数に作用するものとして扱うことで、微分遅延方程式に代数的エントロピーの概念を拡張し、エントロピーが消えることで可積分性のテストが可能になる。可積分系としての遅れペイントレべ方程式がこのテストに合格することを示し、ゼロエントロピーを持つ既知の微分差分系から新しい可積分微分遅延方程式を生成するための「フォールディング法」を提案する。

ABSTRACT

We extend the definition of algebraic entropy to a class of differential-delay equations. The vanishing of the entropy, as a structural property of an equation, signals its integrability. We suggest a simple way to produce differential-delay equations with vanishing entropy from known integrable differential-difference equations.

研究の動機と目的

• 写像および微分差分方程式に既に用いられていた代数的エントロピーの枠組みを、微分項と遅れ項を併せ持つ新しい方程式のクラスへ拡張すること。
• 代数的エントロピーが消えることに基づく、微分遅延方程式の可積分性に関する構造的テストを確立すること。
• 既知の可積分微分差分系から新しい可積分微分遅延方程式を体系的に生成するための方法を提供すること。
• アブロイツ・ラダイク系などの既知の格子方程式から導かれる方程式が、フォールディング手続きにおいてゼロ代数的エントロピーを保つことの確認。

提案手法

• 有理写像の扱いを可能にするために、離散時刻における未知関数およびその導関数を射影空間内の斉次座標として表現する。
• 最も古い変数に関してホモグラフィックである有理関数を用いて、時刻 t における状態から時刻 t+1 における状態への有理写像 φ を定義し、代数的構造を保証する。
• 反復回数 m における反復写像の次数 w_m の指数的増加率として代数的エントロピー ε を計算し、lim_{m→∞} (1/m) log(w_m) を用いる。
• 特に生成関数が有理関数である場合に効率的にエントロピーを計算するために、次数列 w_n の生成関数と再帰関係を用いる。
• フォールディング手続きを適用：微分差分系の離散的空間変数を連続的時間変数と同一視することで、ゼロエントロピーを持つ微分差分系を微分遅延系に変換する。
• 特異点解析にマルチプライヤー（κ_φ, κ_ψ）を用い、因数分解や重みの低下を検出することで、エントロピーが消える場合に可積分性が示唆されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 微分項と遅れ項が同じ時間変数に作用する微分遅延方程式に対して、代数的エントロピーの概念を意味的に拡張できるか？
• RQ2 写像および微分差分系においてそうであったように、微分遅延方程式に対しても代数的エントロピーが消えることが可積分性の信頼できる指標となるか？
• RQ3 既知の可積分微分差分系からフォールディング構成を用いて、可積分微分遅延方程式を体系的に生成できるか？
• RQ4 既知の可積分方程式のパラメータを摂動させた場合、エントロピーはどのように変化するのか？ そしてこれは可積分性に何を示唆するか？
• RQ5 有理生成関数および次数列の再帰関係は、このような系のエントロピーを決定する上で果たす役割は何か？

主な発見

• 遅れペイントレべ方程式 (4) の代数的エントロピーはゼロであり、エントロピーテストによる可積分性の確認がなされた。
• 方程式 (4) の次数列 w_n は線形再帰関係 w_{n+4} - 2w_{n+3} + 2w_{n+1} - w_n = 0 を満たし、特性多項式は (s+1)(s-1)^3 である。
• 次数の漸近的増加は二次関数的である：w_n = (1/8)(6n^2 + 9 - (-1)^n) であり、代数的整数の対数がゼロになるのは次数が多項式的増加である場合に限るため、ゼロエントロピーが確認された。
• 摂動方程式 (9) においてパラメータ λ ≠ ±1 のとき、次数列は w_n = 2^n と指数関数的に増加し、エントロピー ε = log(2) > 0 となり、非可積分性が示された。
• λ = -1 の場合、次数列は非ゼロエントロピーで増加し、有理生成関数 g(s) = (1 + s^4)/((1-s)(1-s-s^2-s^3)) でフィットする。これにより非可積分性が確認された。
• フォールディング構成により、アブロイツ・ラダイク系 (13)-(14) が微分遅延系 (15)-(16) に写され、ゼロエントロピーが保存され、結果として可積分性が保たれた。