Non-unique singular solutions for KP and modified KP equations on $\mathbb T^2$ and $\mathbb R^2$

技術的要約：KPおよび修正KP方程式における非一意的な特異解

問題設定
本論文は、トーラス $\mathbb{T}^2$ および全平面 $\mathbb{R}^2$ 上のカドモツェフ・ペヴィア（KP）方程式およびその修正型における一意性の問題を取り扱う。具体的には、2次非線形性 ($r=2$) および3次非線形性 ($r=3$) を持つ3次 ($d=3$) および5次 ($d=5$) の方程式を調査する。中心となる問題は、これらの方程式の初期値問題が、特定の弱い正則性クラスにおいて一意の解を持つかどうかを決定することである。著者は、ゼロの初期データ ($u(0)=0$) を持ちながら、非自明かつコンパクトな時間支持を持つ弱い特異解を構成することに焦点を当て、それによって非一意性を実証する。

手法
構成は、KP方程式の分散的な設定に適応させた**凸積分（convex integration）**法に基づいている。核となる戦略は、滑らかな近似解の列 $(u_q, E_q)$ を構築する反復スキームである。各ステップにおいて、現在の解 $u_q$ に摂動 $w_q$ を加えることで、正則性と支持を制御しつつ、誤差 $E_q$ を減少させる。

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

1. 間欠的プロファイル（Intermittent Profiles）: 摂動は、高度に振動する「間欠的」プロファイルを用いて構築される。2次非線形性の場合は、分離されたフーリエ支持を持つ三角多項式（周期的な場合）または局在化した関数（全空間の場合）を用いる。3次非線形性の場合は、2つの異なるプロファイル・ファミリーを構築する：
   • 等方的なプロファイル（Isotropic profiles）: 周波数が $\lambda$ とスケールする両方の空間変数に集中している。
   • 放物線型プロファイル（Parabolic profiles）: $x$ 方向の周波数が $\lambda$、 $y$ 方向の周波数が $\lambda^2$ とスケールするように集中しており、KP方程式の異方的な分散性を利用している。
2. フーリエに基づく非線形定義: 解の特異な性質を扱うため、非線形項（例：$u^r$）は絶対収束するフーリエ畳み込みを通じて定義される。この定義により、非線形性は分布として適切に定義され、フーリエ・カットオフに依存しないことが保証される。これは弱解の定義における極めて重要な要件である。
3. 誤差の分解: 摂動を加えることによって導入される誤差は、振動、ナッシュ、分散、および時間的誤差に分解される。プロファイルのパラメータ（周波数 $\lambda$、振幅、間隔）は、反復が進むにつれて、これらの誤差が特定の重み付きウィーナーノルム ($A^{-S}$) において急速に減衰するように調整される。
4. 周波数ギャップ: $\mathbb{R}^2$ 上の構成では、$x$ 方向の周波数に固定されたギャップ ($|\xi| \ge c_0$) を課すことで、非局所演算子 $\partial_x^{-1}$ が適切に定義されることを保証し、横方向の分散項 $\partial_x^{-1}\partial_y^2$ を制御する。

主要な貢献と結果

• ゼロ初期データに対する非一意性: 本論文は、以下の条件下で、ゼロの初期データとコンパクトな時間支持を持つ、無限に多くの弱い特異解が存在することを証明している：

  • $\kappa = \pm 1$、 $d \in \{3, 5\}$、 $r \in \{2, 3\}$ の KP-I および KP-II。
  • 修正KP方程式 ($r=3$)。
  • 周期的な領域 ($\mathbb{T}^2$) および全空間 ($\mathbb{R}^2$) の両方。

• 正則性の閾値の鋭さ: 構成された解は特定の関数空間に属しており、著者は正則性指数が $L^3$ 積の閾値において鋭いことを示している：

  • 2次解 ($r=2$): $p < 2$ における $C_t L^p$ および $\sigma > 0$ における $C_t (H^{-\sigma, 0} \cap H^{-\sigma})$ に属する。
  • 3次解 ($r=3$):
    • 一つのファミリーは、$\alpha < 1/3$ における $C_t H^\alpha$ に属する（等方的）。
    • もう一つのファミリー（放物線的サポート）は、$s < 1/2$ における $C_t H^{s, 0}$ および $\alpha < 1/4$ における $C_t H^\alpha$ に属する。
  • 指数 $1/3$ および $1/2$ は鋭いものとして特定されている。$\mathbb{R}^2$ 上の5次2次KPについては、無条件の一意性が $s > 0$ で既知である（Patterson [22]）ため、非一意性の範囲は「ほぼ鋭い」ことが示されており、端点の $s=0$ のみが未解決となっている。

• 定常解: 本論文は、KP-I および KP-II の無限に多くの周期的な定常弱特異解を構成している。さらに、KP-I の定常解に対して $L^2$ が鋭い正則性閾値であることを証明している。すなわち、$L^2(\mathbb{T}^2)$ 内の、分布の意味で方程式を満たす任意の定常解は滑らか（$C^\infty$）でなければならない。

• 周期領域 vs 全空間: 結果は両方の領域に適用される。$\mathbb{R}^2$ 上では、解は固定された $x$ 方向の周波数ギャップを持ち、非一意性はこの制約の下でも持続する。

意義
本論文は、KPおよび修正KP方程式のコーシー問題が、低正則性の弱い解のクラスにおいて、一意性の意味でウェルポーズド（適切に設定）ではないことを確立している。ゼロの初期データから直ちに非自明になる解を構成することで、本研究は、解の正則性が特定の閾値（特に $L^3$ 積やソボレフ埋め込みに関連するもの）を下回ったときの標準的なウェルポーズド理論の限界を浮き彫りにしている。

結果は「共鳴の障害（resonant obstruction）」と原点付近のフローマップの挙動に関する理解を深めており、非線形性が絶対収束するフーリエ級数を通じて定義されている場合でも、一意性が崩れ得ることを示している。定常解の構成およびKP-I の $L^2$ 鋭さの閾値の証明は、定常な場合の正則性要件に関する完全な図を提供し、時間依存の特異なクラスで見られる非一意性と対比させている。

本研究は、既存のウェルポーズド理論（例：Ionescu–Kenig–Tataru, Bourgain, Hadac）を拡張し、同様の凸積分技術が、KP方程式の異方的かつ非局所的な構造に対しても成功裏に適応できることを示し、それらの知見を精緻化している。