Ill-posedness in the critical Sobolev space for the $b$-Novikov equation

技術的サマリー：b-ノビコフ方程式の臨界ソボレフ空間における不適切性

問題提起
本論文は、実数直線 $\mathbb{R}$ 上で定義された、3 次非線形項を持つ 1 パラメータ族の Camassa-Holm 型方程式である b-ノビコフ方程式（b-NE）のコーシー問題の適切性について扱っている。方程式は以下のように与えられる：
$$(1 - \partial_x^2)u_t = u^2 u_{xxx} + b u u_x u_{xx} - (b+1)u^2 u_x$$
この方程式は、ソボレフ空間 $H^s(\mathbb{R})$ において $s > 3/2$ で局所的に適切（WP）であり、$s < 3/2$ で不適切（IP）であることは知られているが、一般の b-NE において臨界指数 $s = 3/2$ における挙動は未解決のままだった。Guo らによる先行研究は、特定のケースであるノビコフ方程式（$b=3$）および 2 次非線形項を持つ b-族について不適切性を確立したが、$b \neq 3$ の 3 次の場合については、既知のブローアップ結果の欠如と $b \neq 3$ における可積分性の欠如という重大な障壁が存在した。

手法
著者らは、$b \geq 3$ に対して $H^{3/2}(\mathbb{R})$ におけるノルム増幅を示すために、背理法を用いた証明を採用している。手法は主に 4 つの段階で進行する：

1. 適切性推定の精緻化：
   著者らは、一般化された k-b Camassa-Holm 方程式の局所適切性結果を再検討する。正則性指数 $s$ が臨界値 $3/2$ に近づくにつれて、解の存在時間 $T$ に対するより鋭い下限を導出する。具体的には、存在時間推定における定数 $c_s$ が漸近的に $c_s \sim \frac{1}{2s-3}$ として振る舞うことを示す。この正確な依存関係は、所望の不安定性を示すのに十分な時間存在する初期データを構築する上で決定的に重要である。

2. 決定的な微分不等式の導出：
   中心的な技術的貢献として、粒子軌道に沿って評価された非線形量に対する微分不等式の導出がある。粒子流 $q(x,t)$ を導入し、$y = (1-\partial_x^2)u$ の進化を解析することで、特定の符号条件（$(-\infty, 0]$ 上で $y_0 \geq 0$、$[0, \infty)$ 上で $y_0 \leq 0$）を満たす初期データに対して、量 $f(t) = (u u_x)(q(0,t), t)$ が以下の不等式を満たすことを著者らは確立する：
   $$\frac{d}{dt} f(t) \leq -\frac{b-2}{2} f^2(t) + \frac{b-2}{2} u^4(q(0,t), t)$$
   この不等式は特に $b \geq 3$ の場合に成り立つ。ノビコフ方程式（$b=3$）に対する以前の手法が可積分性と保存則に依存していたのとは異なり、この導出は方程式の構造的性質と運動量密度 $y$ の符号保存性にのみ依存している。

3. 初期データの構築：
   著者らは、ノビコフ方程式に対して Guo らによって導入された一連のデータに基づき、初期データ $u_{0,K}$ の列を構築する。このデータは、小さなパラメータ $\epsilon$ と大きなパラメータ $K$ によってスケーリングされる。この列は以下のように設計されている：

   • 微分不等式に必要な符号条件を満たすこと。
   • 小さな $H^{3/2}$ ノルム（$\sim \epsilon$）を持つこと。
   • 原点における積 $u u_x$ の初期値が大きな負の値（$\sim -\epsilon^2 K^{1/3}$）を持つこと。

4. 背理法による議論：
   方程式が適切であると仮定する（具体的には、データから解への写像が連続であると仮定する）と、スケーリングされた初期データを持つ解 $v_K$ は、有界なノルムを持ちながら時間 $T > \epsilon$ まで存在するはずである。しかし、$K$ と $s$ を $\epsilon$ に対して適切に選択することで、著者らは微分不等式が量 $f(t)$ を有限時間（厳密に $\epsilon$ より短い時間）内に発散（$-\infty$ に発散）させることを示す。この発散は、解が時間 $\epsilon$ まで $H^{3/2}$ に留まり（したがって粒子軌道が well-defined である）、という仮定と矛盾する。

主要な貢献と結果

• 主要定理： 本論文は、すべての $b \geq 3$ に対して、b-ノビコフ方程式が臨界ソボレフ空間 $H^{3/2}(\mathbb{R})$ において不適切であることを証明する。
• ノルム増幅： 不適切性はノルム増幅を通じて示される。任意の $\epsilon > 0$ に対して、初期ノルムが小さい（$\|u_\epsilon(0)\|_{H^{3/2}} \lesssim \epsilon$）解 $u_\epsilon$ と、時間 $t_\epsilon < \epsilon$ が存在し、その時点でのノルムは大きい（$\|u_\epsilon(t_\epsilon)\|_{H^{3/2}} \gtrsim \epsilon^{-1}$）。
• 可積分性からの独立性： この証明は、$H^1$ ノルムの保存や他の可積分性の特徴に依存することなく、ノビコフ方程式（$b=3$）の不適切性を確立する独立した手法を提供する。これは、そのような保存則が利用できない非可積分なケース（$b > 3$）へ手法が拡張可能であるため、重要である。
• 理論の拡張： この結果は、b-ノビコフ方程式の適切性理論を完成させ、$s=3/2$ が局所適切性に対する鋭い閾値であることを確認する。

意義
本論文は、b-ノビコフ方程式の適切性に関する端点ケースの解決を主張している。族の非可積分なメンバー（$b \neq 3$）におけるブローアップ結果の欠如という「根本的な障壁」を克服することで、著者らは臨界ソボレフ指数 $s=3/2$ が不適切な領域に属することを確立した。この研究は、ノビコフ方程式に対する以前の証明を可能にした特別な構造的性質（可積分性など）が存在しない場合でも、ノルム増幅が発生することを示しており、3 次非線形項を持つこの方程式クラスに対する不適切性理論を統合するものである。