[論文レビュー] The integrable discretization of the Bianchi-Ernst system

Maciej Nieszporski, Adam Doliwa+1 more|ArXiv.org|Apr 26, 2001

Nonlinear Waves and Solitons被引用数 9

ひとこと要約

本稿では、軸対称な重力場およびキラル模型を記述する非線形偏微分方程式系であるビアンキ＝エルンス系の統合的離散化を提示する。離散ムーティユ方程式に制約を課すことで離散ビアンキ＝エルンス系が得られることを示し、その系に対してドーブル型変換（離散バクレンド変換）を構築し、これらの変換の非線形重ね合わせ原理を導出することで、可換性およびゼロ曲率表現を用いた可積分性を証明する。

ABSTRACT

We present the constraint for the discrete Moutard equation which gives the integrable discretization of the Bianchi-Ernst system. We also derive the discrete analogue of the Bianchi transformation between solutions of such a system (the Darboux-Backlund transformation in soliton terminology). We finally obtain the superposition of discrete Bianchi transformations.

研究の動機と目的

• 連続的ビアンキ＝エルンス系の可積分的離散類似形を構築すること。この系は、軸対称な真空中のアインシュタイン方程式およびキラル模型をモデル化する。
• ムーティユ方程式に離散的制約を課すことで、離散ビアンキ＝エルンス系に還元される条件を導出すること。
• この系に対して、可積分性を保証する離散ダーブル型変換（バクレンド変換）を構築すること。
• 複数の離散変換の非線形重ね合わせ原理を確立し、可換性および合成に関する閉包性を証明すること。

提案手法

• スカラー関数 $ F $ を用いた離散ムーティユ方程式 $ \boldsymbol{N}_{(12)} + \boldsymbol{N} = F(\boldsymbol{N}_{(1)} + \boldsymbol{N}_{(2)}) $ を導入し、系の離散的幾何構造を定義する。
• 制約 $ (\boldsymbol{N}_{(12)} + \boldsymbol{N}) \cdot (\boldsymbol{N}_{(1)} + \boldsymbol{N}_{(2)}) = U(m_1) + V(m_2) $ を課すことにより、ムーティユ方程式が離散ビアンキ＝エルンス系に還元されることを示す。
• スペクトルパラメータ $ k $ を含む線形系 (30)–(31) を構築し、系の非標準的ラクスペア（ゼロ曲率表現）を形成する。
• 関数 $ F $, $ Y $, $ a $, $ b $ およびパラメータ $ k $ を含む線形系の解 $ \Theta $ を用いて、離散ダーブル変換（バクレンド変換）を定義し、既存の解から新たな解を生成する。
• 2つの連続的変換の重ね合わせ則 (38) を導出し、変換の合成が可換であり、一意な新たな解を生成することを示す。
• 恒等式を用いて変換系の整合性と閉包性を検証し、$ \boldsymbol{n}_0 $, $ F $, 制約条件を用いて、新たな解 $ \boldsymbol{N}' $ が同じ離散ビアンキ＝エルンス系を満たすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 連続的ビアンキ＝エルンス系を、可積分性を保ったまま一貫的に離散化することは可能か？
• RQ2 ムーティユ方程式にどのような離散的制約を課すと離散ビアンキ＝エルンス系が得られ、これは連続的の場合にどのように一般化されるか？
• RQ3 離散ダーブル型（バクレンド）変換を構築し、離散ビアンキ＝エルンス系の解を他の解に写像することができるか？
• RQ4 2つの離散変換の重ね合わせは、両方の個別変換と整合する一意な解を生成するか？
• RQ5 離散系はゼロ曲率表現（ラクスペア）と整合するか？また、スペクトルパラメータ $ k $ は変換構造にどのように組み込まれるか？

主な発見

• 離散ビアンキ＝エルンス系は、方程式 $ \boldsymbol{N}_{(12)} + \boldsymbol{N} = F(\boldsymbol{N}_{(1)} + \boldsymbol{N}_{(2)}) $ および $ (\boldsymbol{N}_{(12)} + \boldsymbol{N}) \cdot (\boldsymbol{N}_{(1)} + \boldsymbol{N}_{(2)}) = U(m_1) + V(m_2) $ で定義され、離散的シフトを介して連続的場合を一般化する。
• スペクトルパラメータ $ k $ を含む線形系 (30)–(31) を用いて、離散ダーブル変換が構築され、与えられた解から新たな解を生成するが、制約は保たれる。
• 制約のもとで変換系の整合性と閉包性が証明され、新たな解 $ \boldsymbol{N}' $ が同じ離散ビアンキ＝エルンス系を満たすことが保証される。
• 重ね合わせ則 (38) が導出され、パラメータ $ k^1 $ および $ k^2 $ を持つ2つの変換の合成が、一意な解 $ \boldsymbol{N}^{(12)} $ を生成することを示し、この解は $ \boldsymbol{N}^{(1)} $ の $ k^2 $-変換および $ \boldsymbol{N}^{(2)} $ の $ k^1 $-変換の両方と一致する。これにより可換性が証明される。
• 線形系 (30)–(31) が離散系の非標準的ラクスペア（ゼロ曲率表現）であることが示され、スペクトルパラメータ $ k $ を含む。これにより可積分性が確認される。
• $ \boldsymbol{N} \in \mathbb{R}^3 $ を $ \boldsymbol{N} \in \mathbb{R}^n $ に拡張することで、多成分系への一般化が可能であり、変換および重ね合わせ構造が保存される。