[論文レビュー] Initial-boundary value problem for an integrable spin-1 Gross-Pitaevskii system with a 4x4 Lax pair on a finite interval

Zhenya Yan|arXiv (Cornell University)|May 26, 2017

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

ひとこと要約

本稿は、有限区間における可積分スピン-1 グロス・ピタエフソフ系の初期境界値問題に対して、4×4 ラクスペアを用いた統一変換法を展開する。リーマン＝ヒルベルト問題の定式化を用い、初期データおよび境界データから導かれるスペクトル関数を用いて解を構成する。明示的なジャンプ行列とグローバル関係により、大k漸近展開とゲルファンド＝レヴィチン＝マルチェンコ表現の両方が可能となり、無限長極限における半直線の結果が回復される。

ABSTRACT

In this paper, we explore the initial-boundary value (IBV) problem for an integrable spin-1 Gross-Pitaevskii system with a 4x4 Lax pair on the finite interval by extending the Fokas unified transform approach. The solution of this system can be expressed in terms of the solution of a 4x4 matrix Riemann-Hilbert (RH) problem formulated in the complex k-plane. Furthermore, the relevant jump matrices with explicit (x, t)-dependence of the matrix RH problem can be explicitly found via three spectral functions {s(k), S(k), S_L(k)} arising from the initial data and the Dirichlet-Neumann boundary conditions at x=0 and x=L, respectively. The global relation is also found to deduce two distinct but equivalent types of representations (i.e., one via the large $k$ of asymptotics of the eigenfunctions and another one in terms of the Gel'fand-Levitan-Marchenko (GLM) approach) for the Dirichlet and Neumann boundary value problems. In particular, the formulae for IBV problems on the finite interval can reduce to ones on a half-line as the length $L$ of the interval approaches to infinity. Moreover, we also present the linearizable boundary conditions for the GLM representations.

研究の動機と目的

• 有限区間における4×4 ラクスペアを有する可積分スピン-1 グロス・ピタエフソフ系の初期境界値問題へのフォカス統一変換法の拡張を図ること。
• 解を (x,t) に依存する明示的なジャンプ行列を有する行列リーマン＝ヒルベルト問題として定式化すること。
• 解の2つの同等な表現を導出すること：1つは固有関数の大きなkにおける漸近展開から、もう1つはゲルファンド＝レヴィチン＝マルチェンコの積分方程式枠組みから。
• 区間長 L → ∞ の極限において半直線の結果が回復されることを確認すること。
• GLM表現における線形化可能な境界条件を同定すること。

提案手法

• 有限区間 x ∈ [0, L] におけるスピン-1 GP系の4×4 ラクスペア形式にフォカス統一変換法を適用する。
• 解は複素k平面における行列リーマン＝ヒルベルト問題として表現され、ジャンプ行列は3つのスペクトル関数 s(k)、S(k)、S_L(k) によって決定される。
• スペクトル関数は初期データおよび x=0 と x=L におけるディリクレ＝ノイマン境界条件から構成される。
• グローバル関係が導出され、スペクトル関数を関連づけることで、2つの同等な解の表現が可能になる：1つは大k漸近展開から、もう1つはGLM積分方程式枠組みからのもの。
• ラクスペア成分の同時スペクトル解析を通じて、初期データと境界データを一貫して組み込む。
• GLM表現における線形化可能な境界条件が同定され、境界データに特定の制約を課すことにより、明示的な解構成が可能になる。

実験結果

リサーチクエスチョン

• RQ1 フォカス統一変換法は、有限区間における4×4 ラクスペアを有する可積分系にどのように拡張可能か？
• RQ2 混合ディリクレ＝ノイマン境界条件を有する有限区間におけるスピン-1 GP系のリーマン＝ヒルベルト問題の定式化の構造はいかなるものか？
• RQ3 有限区間IBV問題の文脈において、大k漸近展開とGLMアプローチによる2つの同等な表現はどのように関係するか？
• RQ4 有限区間の解公式は、L → ∞ の極限において、既知の半直線の結果に一貫的に還元可能か？
• RQ5 GLM表現が線形化可能となる条件は何か？そしてそれらは境界データとどのように関係するか？

主な発見

• 有限区間におけるスピン-1 GP系の解は、スペクトル関数 s(k)、S(k)、S_L(k) を通じて (x,t) に依存する明示的なジャンプ行列を有する4×4 行列リーマン＝ヒルベルト問題として完全に特徴づけられる。
• 2つの同等な解の表現が導出された：1つは固有関数の大きなkにおける漸近展開から、もう1つはゲルファンド＝レヴィチン＝マルチェンコ積分方程式枠組みからのもの。
• グローバル関係により、初期データと境界データが一貫して結合され、IBV問題の適切な定式化が保証される。
• L → ∞ の極限において、有限区間の解公式は既知の半直線の結果に還元され、先行研究と一貫性が確認される。
• GLM表現における線形化可能な境界条件が同定され、境界データに特定の制約を課すことにより、明示的な解構成が可能になる。
• 固有関数 μ(x,t,k) の漸近展開が、D^{(j)} 行列とスペクトルデータを含む再帰的関係を用いて、O(k^{-3}) まで系統的に導出された。