[論文レビュー] Matched pairs of discrete dynamical systems

Oğul Esen, Serkan Sütlü|arXiv (Cornell University)|Sep 3, 2018

Nonlinear Waves and Solitons参考文献 35被引用数 4

ひとこと要約

本稿は、リー群準の一致対上での離散力学系のための幾何的枠組みを構築し、Euler-Lagrange方程式を二つの相互作用する部分系に分解し、それらの相互作用に起因する追加項を含む。主たる貢献は、離散Euler-Lagrange方程式を一致対リー群に導出することであり、Iwasawa分解を用いた自明な群準とSL(2,C)を用いて具体例を示している。

ABSTRACT

Matched pairs of Lie groupoids and Lie algebroids are studied. Discrete Euler-Lagrange equations are written for the matched pairs of Lie groupoids. As such, a geometric framework to analyse a discrete system by decomposing it into two mutually interacting subsystems is established. Two examples are provided to illustrate this strategy; the discrete dynamics on the trivial groupoid, and the discrete dynamics on the special linear group.

研究の動機と目的

• 一致対構造を用いて二つの相互作用する部分系に分解することで、離散力学系を解析するための幾何的枠組みを確立すること。
• リー群準とリー代数準を用いて、連続的状態から離散的状態へと一致対ダイナミクスの理論を拡張すること。
• 相互作用項を組み込んだ、一致対リー群準上での明示的な離散Euler-Lagrange方程式を導出すること。
• 具体的な例を通じてフレームワークを提示すること：自明な群準とIwasawa分解を用いたSL(2,C)。
• 将来の研究の基盤を提供すること：リー代数準上での一致対ラグランジュ力学の発展に向けた基盤を構築すること。

提案手法

• リー群準とリー代数準の一致対理論を用い、半直積構成を一般化する。
• リー群準上での離散変分原理を適用し、ラグランジュアンの左および右不変ベクトル場に沿った方向微分を計算する。
• 一致対リー群準上での離散Euler-Lagrange方程式を、個々の部分系の式の和に加え、相互作用項を含む形で導出する。
• SL(2,C)のIwasawa分解を用い、SU(2)と単連結部分群Kに分解することで、動的を分解する。
• 共軛作用と随伴表現を表す、$\mathfrak{a}_B^*$, $\mathfrak{b}_A^*$, および $A^*\triangleright$ などの導出作用素を用いて、相互作用を計算する。
• 作用写像の転置を用いて、最終的なEuler-Lagrange方程式における相互作用項を表現する。

実験結果

リサーチクエスチョン

• RQ1 一致対リー群準上での離散Euler-Lagrange方程式は、その構成部分系の式にどのように分解できるか？
• RQ2 一致対構造における二つの相互作用する離散力学系の間で生じる相互作用に起因する追加項は何か？
• RQ3 SL(2,C)のSU(2)とKへの一致対分解は、離散Euler-Lagrange方程式の構造にどのように影響を与えるか？
• RQ4 自明な群準上での離散ダイナミクスは、その作用群準と粗い群準成分から、相互作用補正項を含めて完全に再構成可能か？
• RQ5 Iwasawa分解は、SL(2,C)上での離散ダイナミクスの一致対形式化を可能にする役割を果たすか？

主な発見

• 一致対リー群準上での離散Euler-Lagrange方程式は、個々の部分系の式の和に、相互作用項を加えた形で表現される。
• 自明な群準の場合、動的は作用群準と粗い群準からの式に分解され、それらの相互作用に起因する相互作用項が生じる。
• SL(2,C)上では、SU(2)とKへの一致対分解により、SU(2)がKに及ぼす随伴作用および共軛作用の項を明示的に含む離散Euler-Lagrange方程式が得られる。
• 相互作用項は、作用から導かれた転置作用素 $\mathfrak{a}_B^*$, $\mathfrak{b}_A^*$, および $A^*\triangleright$ を用いて符号化される。
• SL(2,C)上での最終的なEuler-Lagrange方程式は、非線形系であり、$\mathop{\rm Ad}^*_{A_k}\Phi_k$, $T^*r_{B_k}$, および $\mathop{\rm Rot}_{A_{k+1}}^*$ を含み、非自明な結合性を反映している。
• このフレームワークは、連続的状態における一致対ダイナミクスを離散的状態へと成功裏に一般化し、幾何的構造を保ちながら、複雑系のモジュラー解析を可能にする。