The sine Gordon equation in light-cone coordinates on the half lines revisited: a Riemann--Hilbert approach

技術要約：半直線におけるライトコーン座標を用いたサイン・ゴルドン方程式の再検討

問題設定
本研究は、ライトコーン座標におけるサイン・ゴルドン（sG）方程式 $u_{xt} = \sin u$ の、2つの異なる半直線領域、すなわち「右問題」（$x \ge 0, t \ge 0$）および「左問題」（$x \le 0, t \ge 0$）における初期境界値（IBV）問題を調査するものである。本研究では、$|x| \to \infty$ における適切な減衰条件を仮定し、初期データとして $H^{2,2}$ を、解の正則性として $\tilde{H}^{1,2}$ を含む特定の関数空間を利用する。主な目的は、これらの問題の適正設定（well-posedness）を決定することであり、具体的には、それぞれの領域において解を一意に決定するために必要な境界データおよび初期データの最小セットを特定することである。

手法
解析には、Fokasが導入した統一変換法（Unified Transform Method: UTM）に基づくリーマン・ヒルベルト（RH）問題の枠組みを用いる。手法は以下の段階を経て進行する：

1. ラックス対と固有関数: sG方程式は、ラックス対の可換条件として扱われる。著者は、スペクトルパラメータ $k = \infty$ および $k = 0$ の近傍におけるラックス対に関連するジョスト解（固有関数）$\Phi_j$ および $\Phi_{0j}$ を構成する。これらの固有関数は、特定の半直線幾何学（例：右問題の場合は $+\infty$ から、左問題の場合は $-\infty$ からの積分）に適応した積分輪郭を用いたボルテラ型積分方程式によって定義される。
2. スペクトル関数: 直接的なスペクトル写像を用いて、初期データ $u(x,0)$ および境界データ $u(0,t)$ を、スペクトル関数（$a(k), b(k), A(k), B(k)$ およびそれらのチル付きの関数）に関連付ける。これらの関数は、ラックス係数のトレレス（無跡）性から導かれる行列式関係および対称性を満たす。
3. グローバル関係と可換性: 初期データと境界データの間の可換性を反映する「グローバル関係（Global Relations）」（スペクトル関数の間の漸近関係）を導出する。右問題については、これらの関係がスペクトル関数の性質によって自動的に満たされることが示される。一方、左問題については、これらは特定の制約を課す。
4. 逆スペクトル写像: 逆写像はRH問題として定式化される。これらの問題のジャンプ行列は、スペクトル関数から構成される。本論文では、「マスター」RH問題（$x$ と $t$ の両方でパラメータ化されるもの）と、補助的なRH問題（$x$ または $t$ のみでパラメータ化されるもの）を区別する。
5. 再構成と正則性: 再構成された解は、RH解の $k \to \infty$ および $k \to 0$ における漸近挙動を分析することによって、sG方程式の解から復元される。RH解の $x$ および $t$ に関する微分可能性は、$L^2$-RH理論および特異積分方程式を用いて厳密に確立され、再構成された関数がsG方程式および要求される正則性クラスを満たすことが保証される。

主要な貢献および結果

• 適正設定条件の相違: 中心的な知見は、2つの半直線問題における適正設定の要件における顕著な差異である：

  • 右問題 ($x \ge 0$): 解は初期データのみによって一意に決定される（$x \ge 0$ における $u(x,0)$）。境界値 $u(0,t)$ は独立した入力ではなく、初期プロファイルの進化によって暗黙的に決定される。この場合のマスターRH問題は、初期データに関連するスペクトル関数のみに依存する。
  • 左問題 ($x \le 0$): 解は初期データのみでは一意に決定されない。$x \le 0$ における $u(x,0)$ に加えて、ウェルポーズドな問題を得るためには、境界値 $u(0,t)$ を独立した入力として与える必要がある。この場合のマスターRH問題は、初期データと境界データの両方から導かれるスペクトル関数を必要とする。

• 存在と一意性の定理:

  • 右問題については、初期データ $u_0 \in H^{2,2}((0, \infty)) + 2\pi k$ に対して、RH問題を通じて構成される一意な解 $u(x,t) \in C^1([0,T], \tilde{H}^{1,2}((0, \infty)))$ が存在することを証明する。
  • 左問題については、初期データ $u_0 \in H^{2,2}((-\infty, 0)) + 2\pi k$ と、適合条件 $u_0(0) = v_0(0)$ を満たす境界データ $v_0 \in H^1(0,T)$ が与えられたとき、一意な解 $u(x,t) \in C^1([0,T], \tilde{H}^{1,2}((-\infty, 0)))$ が存在する。

• 漸近挙動: 再構成された解の $x \to +\infty$ および $x \to -\infty$ における挙動を分析する。初期データを全直線へと拡張するか、あるいは反射係数の特定の減衰特性を利用することにより、解がそれぞれの半平面において要求される減衰条件を満たすことが示される。

意義
本論文は、半直線におけるサイン・ゴルドン方程式の適正設定に関する未解決の問いに取り組んでいる。特に、境界データの必要性に関するものである。FokasやLeon、Sakhnovichらによる先行研究（例：sGのIBV問題）がある中で、本研究は2つの半直線構成間の根本的な非対称性を明確にしている。本研究は、「右問題」が境界が内部のダイナミクスによって決定される半直線上のコーシー問題のように振る舞う一方で、「左問題」は明示的な境界制御を必要とすることを実証している。この区別は、関連するラックス対のスペクトル解析および特定のリーマン・ヒルベルト分解の構成を通じて厳密に導出されている。これらの結果は、両方のライトコーン座標設定における適正設定に必要なデータの完全な特性付けを提供するものである。