Non-unique solutions to the periodic gKdV equation

技術的要約：周期的なGKdV方程式における非一意解

問題設定
本論文は、トーラス $\mathbb{T}$ 上の $k$-一般化コルテヴェーグ・ド・フリース（$k$-gKdV）方程式に関する無条件一意性の問題を取り扱う：
$$\partial_t u + \partial_{xxx} u + \sigma \partial_x (u^k) = 0, \quad u(0, x) = u_0(x),$$
ここで $k \ge 2$ かつ $\sigma \in \{\pm 1\}$ である。ソボレフ空間 $H^s(\mathbb{T})$ におけるウェルポーズドネス（適切設定性）の確立については多大な進展があったが、非線形項 $u^k$ が可積分でない場合（すなわち $u \notin C^0_t L^k_x$ の場合）の挙動に関して、決定的な空白が残されている。

古典的な分布論において、項 $\partial_x(u^k)$ は $u^k$ が分布であることを要求し、それは通常 $u \in L^k$ であることを必要とする。この閾値を下回る場合、積 $u^k$ は標準的な意味では定義されない。Christらによる先行研究では、摂動を用いた定義を採用することで、$s < 0$ における $C^0_t H^s_x$ におけるKdV ($k=2$) の非一意性が示されている。しかし、それらの解の正則性は低く、解の定義も比較的弱いものである。

ここでの中心的な問題は、非一意性が「ほぼ最適」な正則性クラス（具体的には、ルベーグ閾値 $L^k_x$ の直下）においても持続するかどうかを判断すること、および、特異な非線形性を扱うことが可能でありながら、従来の定義よりも強い解の概念を定式化することである。

手法
著者らは、gKdV方程式の分散的な設定に適応させた**凸積分スキーム（convex integration scheme）**を用いている。構成は反復的に行われ、緩和された方程式を解く滑らかな近似解の列 $(u_q, E_q)$ を生成する：
$$\partial_t u_q + \partial_{xxx} u_q + \sigma \partial_x (u_q^k) = \partial_x E_q,$$
ここで、誤差項 $E_q$ は特定のノルムにおいてゼロへと駆動される。

主要な技術的要素は以下の通りである：

1. 間欠的構成要素（Intermittent Building Blocks）: 各ステップで加えられる摂動 $w_{q+1}$ は、「間欠的スラブ（intermittent slabs）」を用いて構成される（補題 2.11）。これらは高度に集中した空間プロファイルであり、$L^k$ ノルムでは正規化されているが、劣臨界な $L^p$ ノルム（$p < k$）では小さい。この間欠性により、$k$ 次の冪乗が既存の誤差を打ち消しつつ、低次のノルムを総和可能に保つことが可能となる。
2. 周波数局在化: 摂動は、特定の間欠パラメータ $\epsilon_{q+1}$ を持つスケール $\lambda_{q+1}$ に周波数局在化されている。これにより、正則性が $\alpha < \frac{1}{2} - \frac{1}{k}$ のとき、増分（increments）のソボレフノルムが総和可能となり、同時に誤差を打ち消すための十分な $L^k$ 強度が維持される。
3. 重み付きウィーナー空間: 手法の斬新な側面は、誤差を測定するために同次重み付きウィーナー空間（$\dot{A}^s$）を使用することである。著者らは、単にソボレフノルムに依存するのではなく、非線形項のフーリエ係数の絶対可積分性を測定する。これにより、高周波摂動によって生成される「振動誤差（oscillation error）」を精密に制御することが可能となる。
4. 誤差分解: 誤差 $E_{q+1}$ は以下の4つの部分に分解される：
   • 振動誤差 ($E_O$): 摂動の $k$ 次の冪の平均によって打ち消される。
   • ナッシュ誤差 ($E_N$): 低次の交差項から生じ、$p < k$ における摂動の小ささによって制御される。
   • 分散誤差 ($E_D$): 摂動の $C^0_t L^1_x$ ノルムによって制御される。
   • 時間誤差 ($E_T$): 摂動の原始関数の時間微分によって制御される。

主要な貢献と定義
本論文は、非線形性が古典的に可積分でない領域における非線形項の解釈のための新しい枠組みを導入している：

• 弱特異解の定義 (Definition 1.3): 解 $u$ が「弱特異解」であるとは、非線形項 $P_{\neq 0}(u^k)$（$u^k$ の非ゼロ周波数モード）が、絶対フーリエ可積分性（Definition 1.2）を通じて $\dot{H}^{-s}_x$ の元としてウェル定義されていることを指す。具体的には、級数 $\sum_{\xi_1 + \dots + \xi_k \neq 0} |\hat{u}(\xi_1) \dots \hat{u}(\xi_k)| |\xi_1 + \dots + \xi_k|^{-s}$ が収束しなければならない。
• 従来の概念との比較: 著者らは（付録において）、この概念が以下のものよりも厳密に強いことを証明している：
  • 分散型方程式における従来の凸積分研究で使用されている「パラプロダクト（paraproduct）」の概念。
  • Christによるモルダル化（mollification）に基づいた解の概念。
    したがって、構築された解はこれらのより広い枠組みにおいても有効な解となる。

主な結果
主要な結果は定理 1.4であり、これは以下の正則性クラスにおいて、同一の初期データ（$u(0, x) = 0$）を持つ非自明な弱特異解の存在を確立している：

1. $k=2$ (KdV) の場合: 非ゼロの解 $u \in \bigcap_{\epsilon > 0} C^0_t L^{2-\epsilon}_x([0, 1] \times \mathbb{T})$ が存在する。この結果はルベーグ・スケールにおいてシャープであり（Babin-Ilyin-Titi [2] を参照）、$C^0_t L^2_x$ において無条件一意性が成立することが知られている。
2. $k \ge 3$ の場合: 非ゼロの解 $u \in \bigcap_{\epsilon > 0} C^0_t H^{\frac{1}{2} - \frac{1}{k} - \epsilon}_x([0, 1] \times \mathbb{T})$ が存在する。これはルベーグ閾値 $L^k_x$ に対応するソボレフ端点マイナス・スケールに達している。

さらに、備考 1.5では、$k=2$ の場合、解を $\bigcap_{\epsilon > 0} C^0_t B^{-s}_{\infty, \infty, x}$ に属するように精緻化でき、これにより解は「ほぼ連続」であると同時に「ほぼ平方可積分」でもあることが述べられている。

意義と予想
本論文は、非線形性が $C^0_t L^1_x$ にあるとき（すなわち $u \in C^0_t L^k_x$ のとき）に凸積分スキームが閉じないことは、一意性の根本的な閾値を示唆していると論じている。

• 必要条件: この結果は、$k$-gKdV の無条件一意性のための必要条件は、非線形項が $C^0_t L^1_x$ にあること（これは $u \in C^0_t L^k_x$ に相当する）であることを示唆している。
• 予想 1.1: KdV の結果の鋭さと、閾値以下における構成の剛性に基づき、著者らは $k$-gKdV 方程式がすべての $s \ge \frac{1}{2} - \frac{1}{k}$ に対して 無条件局所的ウェルポーズド であると予想している。

拡張
本手法は堅牢であり、他の分散型方程式にも適用可能であることが示されている：

• 定常 gKdV: 著者らは定常方程式へも結果を拡張し、$L^k$ 解の剛性（滑らかさ）と柔軟性（$L^k$ 以下での非一意性）の両方を証明している。
• 一般化ベンジャミン・オー（gBO）およびその他の分散型モデル: このスキームは、シンボルが多項式の損失を伴って $\partial_x$ で割ることができる線形作用素 $L$ を持つ方程式（例：gBO、高次分散型モデル）に適用可能である。分散誤差の推定は、標準的なKdVの分散よりも、これらの作用素において容易な場合が多い。

要約すると、本研究は、間欠的構成要素と重み付きウィーナーノルムを用いた洗練された凸積分スキームを用いることで、非線形性が古典的に可積分となる閾値の直下の正則性クラスにおいて、周期的な gKdV 方程式の非一意な解を構成し、それによって無条件一意性の鋭い境界を特定している。