[論文レビュー] Lax pairs for the Ablowitz-Ladik system via orthogonal polynomials on the unit circle

Irina Nenciu|ArXiv.org|Dec 14, 2004

Nonlinear Waves and Solitons被引用数 23

ひとこと要約

本稿は、周期的でない場合を含む周期的・有限・無限の場合にわたる、単位円上での直交多項式（OPUC）を用いた、非焦点化Ablowitz-Ladik（AL）系のLax対表現を確立する。特に、CMV行列と拡張CMV行列を用いて、AL階層のハミルトニアン系の流れを実現するLax対を構成する。周期的Verblunsky係数のスペクトル理論を活用することで、周期的および有限設定における可積分性のスペクトル幾何的枠組みを提供する。

ABSTRACT

Nenciu and Simon found that the analogue of the Toda system in the context of orthogonal polynomials on the unit circle is the defocusing Ablowitz-Ladik system. In this paper we use the CMV and extended CMV matrices, respectively, to construct Lax pair representations for this system in the periodic, finite, and infinite cases.

研究の動機と目的

• 直交多項式（OPUC）を用いた非焦点化Ablowitz-Ladik（AL）系のスペクトル幾何的枠組みを確立すること。
• CMV行列と拡張CMV行列を用いて、AL系のハミルトニアン系の流れに対するLax対表現を構成すること。
• OPUCと可積分系の関係を、周期的・有限・無限の場合にまで拡張すること。
• 周期的状況において、AL階層内の等スペクトル流れが、拡張CMV行列の下でのユニタリ進化に対応することを示すこと。

提案手法

• 1, z, z⁻¹, z², z⁻², ... の順序で生成される正規直交基底を用いたGram-Schmidt直交化から得られる、L²(dμ) 上での乗算作用素 z のCMV行列表現を利用する。
• 無限大CMV行列 𝒞 = 𝒻L𝒻M を、Verblunsky係数 αj に対応する 2×2 ブロック Θj = [[ᾱj, ρj], [ρj, -αj]] から構成される2つのブロック対角行列 𝒻L と 𝒻M の積として定義する。
• 周期的Verblunsky係数（偶数周期 p）に対して、ℓ²(ℤ) 上に定義された拡張CMV行列 𝒪 = 𝒻L𝒻M を導入する。
• スペクトル不変量を用いて、αj の時間発展を [𝒪, 𝒪ₙ] の形の交換子として特定し、Lax対構造を導出する。
• Simonの補題1.1を用いた判別式と等スペクトル性の理論を適用し、スペクトルデータに基づくAL系の同値性を特徴付ける。
• 有限CMV行列のスペクトル的性質と切断操作を用いて、周期的状況の結果を有限および無限設定に拡張する。

実験結果

リサーチクエスチョン

• RQ1 Ablowitz-Ladik系のハミルトニアン系の流れを、単位円上での直交多項式（OPUC）を用いてどのようにLax対として表現できるか。
• RQ2 CMV行列と拡張CMV行列が、AL系のLax対構造を実現するために果たす役割は何か。
• RQ3 Verblunsky係数の等スペクトル変換が、拡張CMV行列フレームワークにおいてどのようにユニタリ進化に対応するか。
• RQ4 Verblunsky係数の周期性が、AL系の可積分性のスペクトル的特徴づけにどのように寄与するか。
• RQ5 同じスペクトル的道具立てを用いて、Lax対表現を周期的状況から有限および無限状況に拡張できるか。

主な発見

• CMV行列は、L²(dμ) 上での乗算作用素 z のユニタリ表現を提供し、AL系のスペクトル的定式化を可能にする。
• 偶数周期を持つ周期的Verblunsky係数に対して定義される拡張CMV行列 𝒪 は、交換子関係を介してAL階層のLax対構造を生成する。
• 周期的系では、Verblunsky係数の等スペクトル性が、拡張CMV行列およびそのFloquet制限のスペクトルの一致と同値である。
• 判別式 Δ(z; {αj}) はスペクトルギャップ構造を決定し、周期2係数に対しては明示的公式 Δ(e^{iθ}) = (2/ρρ′)[cos(θ) + Re(ᾱα′)] が成り立つ。
• AL系のLax対表現は、dαj/dt = [𝒪, 𝒪ₙ]αj の形で実現され、𝒪ₙ は拡張CMV行列の適切な切断である。
• k−1 個の点に台を持つ測度から導かれる有限CMV行列 𝒞f を用いることで、|αk−1| = 1 の有限系に対してもLax対表現を拡張可能である。