[論文レビュー] 3D binary anti-commutative operadic Lax representations for harmonic oscillator

Eugen Paal, Jyri Virkepu|ArXiv.org|Jun 8, 2008

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

ひとこと要約

この論文は、$\sigma\lambda(2)$ のリー代数における非自明なオペラッド的Lax対を構成し、終準同型オペラッドにおけるオペラッド的Lax方程式を用いて、調和振動子の3次元二値反交換的オペラッド的Lax表現を導入する。変形された代数は $\sigma\lambda(2)$ と同型のままであるが、この力学的ダイナミクスにおいて $\sigma\circ(3)$ およびハイゼンベルク代数は動的剛性を示す。

ABSTRACT

It is explained how the time evolution of the operadic variables may be introduced by using the operadic Lax equation. The operadic Lax representations for the harmonic oscillator are constructed in 3-dimensional binary anti-commutative algebras. As an example, an operadic Lax representation for the harmonic oscillator in the Lie algebra sl(2) is constructed.

研究の動機と目的

• 行列作用素から代数的演算（積）へのオペラッド的システムにおけるLax表現フレームワークの一般化を図ること。
• オペラッド的Lax方程式を用いて、3次元反交換的代数における二項演算の時間発展を導入すること。
• 調和振動子のダイナミクスが、特定のリー代数におけるオペラッド的変数で表現可能かどうかを特定すること。
• この形式的枠組み下で、$\sigma\circ(3)$、ハイゼンベルク代数、および $\sigma\lambda(2)$ のようなリー代数の動的剛性を調査すること。
• $\sigma\lambda(2)$ における調和振動子の明示的オペラッド的Lax対を構築し、それが元の代数と同型であることを検証すること。

提案手法

• $K$-加群 $V$ の終準同型オペラッド $\sigma\upsilon$ において、Gerstenhaber括弧を用いてオペラッド的Lax方程式を形式化する。
• 全合成 $\bullet$ および次数付き交換子 $[f,g] = f\bullet g - (-1)^{|f||g|}g\bullet f$ を用いて、オペラッド的Lax方程式 $\frac{dL}{dt} = [M,L]$ を定義する。
• 時間発展をモデル化するため、次数制約 $|L|=1$, $|M|=0$ を課す。
• 構造定数の時間発展を記述する線形偏微分方程式を導出する：$p\frac{\partial\mu}{\partial q} - \omega^2 q\frac{\partial\mu}{\partial p} = [M,\mu]$。
• 目標とするリー代数（$\mathfrak{so}(3)$、ハイゼンベルク代数、$\mathfrak{sl}(2)$）の構造定数と一致する初期条件を用いてPDEを解く。
• $q$、$p$、および $H$ に依存する行列変換 $A$ を用いて、変形された代数が元の代数と同型であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 調和振動子のダイナミクスは、二項代数的演算におけるオペラッド的Lax方程式によって表現可能か？
• RQ2 どの3次元二項反交換的代数が調和振動子の非自明なオペラッド的Lax表現を有するか？
• RQ3 リー代数 $\mathfrak{sl}(2)$ はこのオペラッド的Lax発展において動的剛性を示すか？
• RQ4 同じ形式的枠組み下で、$\mathfrak{so}(3)$ およびハイゼンベルク代数の構造定数はどのように変化するか？
• RQ5 オペラッド的Laxシステムからの変形代数が、元のリー代数と同型のままであるか？

主な発見

• $C_3 = \frac{2}{p_0}$ および $C_9 = 1$ という非自明な定数を用いて、リー代数 $\mathfrak{sl}(2)$ における調和振動子のオペラッド的Lax表現が成功裏に構築された。
• $\mathfrak{sl}(2)$ における変形積 $\mu$ は、$\mu_{23}^1 = \mu_{13}^2 = -\frac{2\omega}{p_0}q$ および $\mu_{31}^1 = \mu_{23}^2 = \frac{2}{p_0}p$ を満たし、$\mu_{12}^3 = 1$ である。
• 得られた変形代数は、行列変換 $A = \frac{1}{2p_0}\begin{pmatrix} \frac{2p_0}{\omega q}(p+\sqrt{2H}) & 2p_0 & 0 \\ p-\sqrt{2H} & \omega q & 0 \\ 0 & 0 & 2\sqrt{2H} \end{pmatrix}$ を用いて $\mathfrak{sl}(2)$ と同型であることが確認された。
• $\mathfrak{so}(3)$ は動的剛性を示す：条件 (5.2) が破綻するため非自明な解は存在せず、$\dot{\mu}|_{\mathfrak{so}(3)} = 0$ である。
• ハイゼンベルク代数 $\mathfrak{h}_1$ も動的剛性を示す：$C_9 = 1$ のみが非自明であり、これにより $\dot{\mu}|_{\mathfrak{h}_1} = 0$ となる。
• 構造定数のための式系 (6.1) は、$\mathfrak{sl}(2)$ のみで一貫した解をもたらし、$\mathfrak{sl}(2)$ の非自明なオペラッド的Lax表現を確認する。