論文の技術的概要：非ゼロ背景上の減衰型非線形シュレーディンガー方程式のダークソリトンに対する積分可能摂動論

1. 問題設定と背景

本研究は、非ゼロ背景（定数背景）を持つ減衰型非線形シュレーディンガー方程式（defocusing NLS）におけるダークソリトンの摂動論を再考し、発展させることを目的としています。

• 対象方程式:
  $$i q_t + q_{xx} - 2(|q|^2 - q_0^2)q = \varepsilon F[q]$$
  ここで、$q_0$ はゼロでない背景振幅、$\varepsilon$ は小さな摂動パラメータです。
• ダークソリトン: 背景強度 $q_0$ に対して局所的な強度の低下（ディップ）として現れるソリトン解です。完全積分可能な場合（$\varepsilon=0$）、ソリトンは速度、振幅、中心位置、位相の 4 つのパラメータで完全に記述されます。
• 課題: 物理系では完全積分可能ではないため、小さな摂動（減衰、自己急峻化など）がソリトンに与える影響を解析する必要があります。従来の摂動論（多スケール解析や保存量の摂動など）は存在しますが、平方固有関数（squared eigenfunctions）に基づく積分可能摂動論を非ゼロ背景のダークソリトンに適用する際、以下の問題点が以前の研究で見出されていました：
  1. 連続スペクトルの分岐点（$\pm q_0$）における散乱データの特異性を正しく扱えておらず、離散固有モードの定義に誤りがあった。
  2. その結果、ソリトンパラメータのゆっくりとした時間発展（断熱進化）の予測が不正確だった。
  3. ソリトンの両側に現れる**放射棚（radiation shelf）**の形成を理論的に予測・記述する試みが不足していた。

2. 手法と理論的枠組み

本研究は、**逆散乱法（IST: Inverse Scattering Transform）**に基づく「平方固有関数展開法」を厳密化し、非ゼロ背景の特殊性を反映させた新しい摂動論を構築しました。

2.1 平方固有関数の完全性の証明

まず、一般のポテンシャルに対する平方固有関数の完全性（closure relation）を証明しました。

• 分岐点の扱い: 連続スペクトルの分岐点 $z = \pm q_0$ において、散乱データが特異性を示すことを考慮しました。従来の研究ではこの特異性が無視、または不適切に扱われていましたが、本研究ではこれらの特異性を積分項から分離し、**主値積分（principal value integral）**として取り扱うことで、正しい離散固有モードを導出しました。
• 完全性関係式: 連続スペクトル部分、離散固有値（ソリトンモード）、および分岐点 $\pm q_0$ における留数寄与を含む完全な閉包関係式を導出しました。これにより、線形化された摂動方程式の解を平方固有関数の完全な基底で展開することが可能になりました。

2.2 摂動理論の構築

• 多スケール展開: 時間変数を $t$（速い時間）と $T = \varepsilon t$（遅い時間）に分離し、ソリトンパラメータ（速度 $k_1$、振幅 $\Lambda_1$、中心 $x_1$、位相 $\sigma_1$）が $T$ に依存すると仮定します。
• 線形化方程式: 摂動項 $F[q]$ を含む方程式を線形化し、その解を平方固有関数で展開します。
• セーキュラー項の除去: 解が発散しないようにするため、固有関数と摂動項の内積がゼロとなる条件（直交条件）を課します。これにより、ソリトンパラメータの進化方程式が導かれます。
  • 特に、従来の研究では見落とされていた「位相 $\sigma_1$ の時間発展」と「中心 $x_1$ の時間発展」の関係を導出する新たな条件を確立しました。

2.3 棚（Shelf）の解析

• 第一-order 補正項の積分を解析したところ、分岐点 $\pm q_0$ における特異性により、積分が極（pole）を持つことが示されました。
• この極の寄与を詳細に解析することで、ソリトンの両側に形成される**放射棚（shelf）**の存在、その高さ、速度、および空間位相勾配を理論的に予測しました。

3. 主要な成果と結果

3.1 ソリトンパラメータの進化方程式

導出された直交条件を用いて、線形減衰、非線形減衰、散逸、自己急峻化（self-steepening）の 4 つの異なる摂動に対して、ソリトンパラメータの時間発展方程式を具体的に導出しました。

• パラメータの一致: 導出されたソリトンの振幅、速度、背景振幅の進化方程式は、Ablowitz らによる直接摂動論（[2]）の結果と $O(\varepsilon)$ のオーダーで完全に一致しました。
• 中心位置の進化: 従来の平方固有関数に基づく研究（[3-5, 9, 10] など）では誤っていたソリトン中心の進化方程式を修正し、正しい予測を得ました。

3.2 放射棚（Shelf）の予測

• 摂動によってソリトンの両側に「棚」と呼ばれる背景からわずかにずれた領域が形成されることを理論的に示しました。
• 棚の高さ $h_{\pm}$ と位相勾配 $\phi_{\xi}^{\pm}$ について、摂動の種類に依存する具体的な公式を導出しました。
• 棚の形成は、散乱データの分岐点における特異性に起因する第一-order 補正項の発散的な振る舞い（セーキュラー成長）と密接に関連しており、これを位相パラメータ $\sigma_1$ の時間発展によって吸収・制御できることを示しました。

3.3 数値シミュレーションとの比較

導出された理論的予測を、直接数値シミュレーション（ETDRK4 法を用いた）と比較しました。

• 一致: 線形・非線形減耗、散逸、自己急峻化のすべてのケースにおいて、ソリトンの形状、パラメータの時間変化、棚の高さおよび勾配について、数値結果と理論予測が非常に良く一致しました。
• 長期的な乖離: 時間 $t \sim O(1/\varepsilon)$ になると、ソリトン中心や位相の予測が数値結果からずれる現象が観測されました。これは、第一-order 近似の限界であり、$O(\varepsilon^2)$ の項（より遅い時間スケール $\varepsilon^2 t$ の依存性）を考慮する必要があることを示唆しています。これは既存の直接摂動論（[2]）でも同様の問題として指摘されており、本研究の手法の限界ではなく、問題の本質的な特徴であることを確認しました。

4. 意義と結論

本研究の主な貢献と意義は以下の通りです：

1. 理論的厳密性の向上: 非ゼロ背景を持つダークソリトンに対する平方固有関数の完全性を、分岐点の特異性を正しく扱うことで初めて厳密に証明し、閉包関係式を完成させました。
2. 棚の理論的説明: ダークソリトン周辺に形成される放射棚のメカニズムを、散乱データの分岐点特異性に基づいて初めて理論的に説明し、その特性を予測可能にしました。
3. 既存研究の誤りの是正: 過去の平方固有関数に基づく研究で見られたパラメータ進化方程式の誤りを修正し、Ablowitz らの直接摂動論の結果と整合する正しい方程式を導出しました。
4. 汎用性の確立: 本手法は、単一のダークソリトンだけでなく、より複雑な積分可能系（結合 NLS 方程式など）や離散系への拡張が可能であり、非ゼロ背景を持つ積分可能系に対する摂動論の新たな基盤を提供しました。

結論として、本研究は「ダークソリトンの摂動に対して平方固有関数基底が不十分である」という以前の仮説を否定し、適切な特異性処理を行うことで、積分可能摂動論がソリトンのパラメータ進化だけでなく、放射棚の形成まで正確に記述できることを実証しました。