[論文レビュー] Linear instability of nonlinear Dirac equation in 1D with higher order nonlinearity

Andrew Comech|arXiv (Cornell University)|Mar 17, 2012

Advanced Mathematical Physics Problems参考文献 14被引用数 6

ひとこと要約

本稿は、非相対論的極限におけるレイノールズ・シュレーディンガー摂動論を用いて、高次非線形性（k ≥ 3）を有する1次元非線形ディラック方程式における小振幅の孤立波解の線形不安定性を確立する。ω = m の近傍で線形化スペクトルに正の1つと負の1つの実固有値が存在することを証明し、小振幅領域におけるすべてのこのような波のスペクトル的不安定性を確認する。

ABSTRACT

We consider the nonlinear Dirac equation in one dimension, also known as the Soler model in (1+1) dimensions, or the massive Gross-Neveu model: $i\partial_tψ=-iα\partial_xψ+mβψ-f(ψ^\astβψ)βψ$, $ψ(x,t)\in\C^2$, $x\in\R$, $f\in C^\infty(\R)$, $m>0$, where $α$, $β$ are $2 imes 2$ hermitian matrices which satisfy $α^2=β^2=1$, $αβ+βα=0$. We study the spectral stability of solitary wave solutions $ϕ_ω(x)e^{-iωt}$. More precisely, we study the presence of point eigenvalues in the spectra of linearizations at solitary waves of arbitrarily small amplitude, in the limit $ω o m$. We prove that if $f(s)=s^k+O(s^{k+1})$, $k\in\N$, with $k\ge 3$, then one positive and one negative eigenvalue are present in the spectrum of linearizations at all solitary waves with $ω$ sufficiently close to $m$. This shows that all solitary waves of sufficiently small amplitude are linearly unstable. The approach is based on applying the Rayleigh-Schrödinger perturbation theory to the nonrelativistic limit of the equation. The results are in formal agreement with the Vakhitov-Kolokolov stability criterion. Let us mention a similar independent result [Guan-Gustafson] on linear instability for the nonlinear Dirac equation in three dimensions, with cubic nonlinearity (this result is also in formal agreement with the Vakhitov-Kolokolov stability criterion).

研究の動機と目的

• 高次非線形性を有する1次元非線形ディラック方程式における孤立波解のスペクトル的安定性を調査すること。
• 非線形性 f(s) = s^k + O(s^{k+1}) に対して k ≥ 3 のとき、ω → m の極限において小振幅孤立波が線形不安定であるかどうかを特定すること。
• 非相対論的極限におけるスペクトル的不安定性と元の相対論的系との間の関係を確立すること。
• 非線形ディラック方程式の文脈において、フォーマルにバフチトフ＝コロコロフ基準と一致することを確認すること。

提案手法

• 非線形ディラック方程式の非相対論的極限にレイノールズ・シュレーディンガー摂動論を適用する。
• ε = √(m² − ω²) をパラメータとして用いた摂動展開を用いて、ω = m の近傍における線形化作用素のスペクトルを分析する。
• 解空間を射影 P_Λ とその直交補空間に分解し、関連する固有値構造を分離する。
• 重み付きノルム空間における収縮写像を定義し、λ = 0 から分岐する固有値の存在を証明する。
• 作用素 A_Λ⁻¹ とスペクトル射影を用いて摂動項を制御し、固定点反復の収束を保証する。
• 誤差項 W(·, ε) = O(ε²/ᵏ) に対するバインディングを確立し、十分に小さい ε に対して収縮写像条件を満たすようにする。

実験結果

リサーチクエスチョン

• RQ1 高次非線形性（k ≥ 3）を有する1次元非線形ディラック方程式の孤立波解は、小振幅領域で線形不安定性を示すか？
• RQ2 高次非線形性が存在する下で、ω → m のとき線形化作用素のスペクトルはどのように振る舞うか？
• RQ3 バフチトフ＝コロコロフ基準を非線形ディラック方程式に厳密に適用できるか？
• RQ4 非相対論的極限におけるスペクトル的不安定性と元の相対論的系との間に対応関係があるか？
• RQ5 小振幅波の ω = m 近傍における線形化スペクトルの固有値（実数、虚数、複素数）の性質は何か？

主な発見

• 非線形性 f(s) = s^k + O(s^{k+1}) に対して k ≥ 3 のとき、ω が m に十分近い孤立波における線形化作用素は、正の1つと負の1つの実固有値を持つ。
• このスペクトル構造は、高次非線形性を有する1次元非線形ディラック方程式におけるすべての小振幅孤立波解の線形不安定性を示唆する。
• 非相対論的極限における厳密な摂動解析（レイノールズ・シュレーディンガー理論を用いて）により、不安定性が確立された。
• 固有値は λ = 0 から分岐し、実数であるため、線形化ダイナミクスにおいて指数関数的成長が生じる。
• 結果はフォーマルにはバフチトフ＝コロコロフ安定性基準と一致するが、この場合、基準は固有値の位置を完全には決定しない。
• 解析により、スペクトルには一次の項において純虚数または正の実部を有する複素固有値が存在しないことが確認されたが、完全な安定性の証明には、このようなモードが存在しないことを排除する必要がある。