Nonexistence of Hölder continuous solution for the Camassa-Holm equation in Besov spaces

この論文「Nonexistence of H¨older continuous solution for the Camassa-Holm equation in Besov spaces（ベソフ空間における Camassa-Holm 方程式の H¨older 連続解の非存在）」は、流体力学において重要な Camassa-Holm (CH) 方程式の解の時間的正則性に関する画期的な結果を示しています。以下に、論文の技術的な要点を日本語で詳細にまとめます。

1. 研究の背景と問題設定

対象方程式:
古典的な Camassa-Holm (CH) 方程式：
$$\begin{cases} u_t - u_{xxt} + 3uu_x = 2u_x u_{xx} + u u_{xxx}, & (x, t) \in \mathbb{R} \times \mathbb{R}^+, \\ u(x, 0) = u_0(x), & x \in \mathbb{R}. \end{cases}$$
これは、浅水波のモデルとして導出され、完全可積分性、ピークソロン解、有限時間での波の崩壊（wave breaking）などの性質を持つことで知られています。

既存の知見:

• Danchin や Li-Yin などの先行研究により、初期データ $u_0$ がベソフ空間 $B^s_{p,r}$ に属する場合、解 $u(t)$ は時間連続な空間 $C([0, T]; B^s_{p,r})$ に存在することが示されています。
• ただし、解の時間微分に関する連続性（より高い時間的正則性）については、$s' < s$ の空間でのみ連続性が保証されるなど、完全な解決はなされていませんでした。

本研究の問い:
「初期データ $u_0 \in B^s_{p,r}$ に対して、解 $u(t)$ はより滑らかな時間的正則性、すなわち H¨older 連続空間 $C^\alpha([0, T]; B^s_{p,r})$（$0 < \alpha < 1$）に属するか？」
直感的には、解が時間的に連続であればある程度滑らかであるはずですが、この論文はこの直感を否定し、**「解は時間的に H¨older 連続ではない」**ことを証明します。

2. 主要な結果 (Main Results)

定理 1.1 (Main Theorem):
パラメータ $(s, p, r)$ が以下の条件を満たす場合：
$$s > 1 + \frac{1}{p}, \quad (p, r) \in [1, \infty] \times [1, \infty)$$
または
$$s = 1 + \frac{1}{p}, \quad (p, r) \in [1, \infty) \times \{1\}$$
任意の $\alpha \in (0, 1)$ に対して、ある初期データ $u_0 \in B^s_{p,r}(\mathbb{R})$ が存在し、その対応する解 $S_t(u_0)$ は $t=0$ において H¨older 連続性を満たしません。具体的には、
$$\limsup_{t \to 0^+} \frac{\|S_t(u_0) - u_0\|_{B^s_{p,r}}}{t^\alpha} = +\infty$$
が成り立ちます。

系 1.1 (Corollary 1.1):
上記の結果から導かれる副次的な結果として、$s > \max\{1 + 1/p, 3/2\}$ かつ $r=\infty$ の場合、データから解への写像（solution map）は $t=0$ において $B^s_{p,\infty}$ 距離に関して不連続であることが示されます。これは、$r=\infty$ の場合の解の存在と一意性は知られていても、その写像の連続性が失われることを意味する「不適切問題（ill-posedness）」の証明となります。

3. 手法と証明の概要

この証明は、**「高周波数領域における特異な初期データの構成」と「誤差評価の精密な制御」**の 2 段階で構成されています。

3.1 初期データの構成 (Construction of Initial Data)

解の H¨older 連続性を破る反例を構成するために、高周波数成分を強く持つ初期データ $u_0$ を設計します。

• 関数の定義:
  $$u_0(x) = \sum_{n=3}^{\infty} n^{-2} 2^{-ns} \phi(x) \cos\left(\frac{17}{12} 2^n x\right)$$
  ここで、$\phi$ はコンパクトな台を持つ滑らかな関数です。
• 特性: この構成により、$u_0$ は $B^s_{p,r}$ ノルムでは有界ですが、特定の周波数 $n$ における成分が支配的になります。特に、$\Delta_n u_0$（Littlewood-Paley 分解の $n$ 番目のブロック）が $u_0$ 自身にほぼ一致し、他の周波数成分は 0 になるように調整されています。

3.2 誤差評価と時間発展の解析 (Error Estimates)

解 $u(t)$ を $u(t) = u_0 + t e_{u_0} + w(t)$ と展開し、$w(t)$ の挙動を評価します。ここで $e_{u_0} = P(u_0) - u_0 \partial_x u_0$ です。

• ケース 1 ($s > \max\{1+1/p, 3/2\}$):
  解の差 $w(t)$ の $B^{s-2}_{p,r}$ ノルムが $O(t^2)$ であることを示します。これは、非線形項の相互作用が時間 $t$ の 2 乗のオーダーで小さくなることを意味します。
• ケース 2 ($1+1/p < s \le 3/2$):
  より低い正則性の領域では、$B^0_{p,r}$ ノルムでの評価が必要となり、$w(t)$ のノルムが $O(t^s)$ となることを示します。

3.3 最終的な矛盾の導出

定理 1.1 の核心は、$t \to 0$ における解の振る舞いを評価することです。

1. 三角不等式を用いて、$\|S_t(u_0) - u_0\|_{B^s_{p,r}}$ を下から評価します。
2. 主要項 $t \Delta_n e_{u_0}$ が支配的であり、その大きさが $t \cdot 2^{ns} \cdot (\text{振幅})$ 程度になることを利用します。
3. 誤差項 $w(t)$ は $t^2$ または $t^s$ のオーダーで小さくなるため、主要項に比べて無視できることを示します。
4. 結果として、$\|S_t(u_0) - u_0\|_{B^s_{p,r}} \gtrsim t \cdot 2^{ns} \cdot n^{-2} 2^{-ns} \sim t n^{-2}$ 程度のオーダーで減少しますが、これを $t^\alpha$ で割ると、$t$ を適切に選べば（$t_n \sim n^{-3} 2^{-n}$ など）、
   $$\frac{\|S_{t_n}(u_0) - u_0\|_{B^s_{p,r}}}{t_n^\alpha} \to \infty$$
   となり、H¨older 連続性が破綻することが証明されます。

4. 技術的貢献と意義

1. 時間的正則性の限界の明確化:
   CH 方程式の解が空間的に $B^s_{p,r}$ に属していても、時間方向には H¨older 連続性（$C^\alpha$）を持たないことを初めて示しました。これは、解の時間微分が空間ノルムにおいて発散する可能性を示唆しており、解の滑らかさには本質的な限界があることを意味します。

2. $r=\infty$ における不適切問題の証明:
   従来の結果では $r < \infty$ の場合の連続性が知られていましたが、$r=\infty$ の場合（特に $s > 1+1/p$ の範囲）において、解の写像が $t=0$ で不連続であることを証明しました。これは、$B^s_{p,\infty}$ 空間における CH 方程式の ill-posedness を示す重要な結果です。

3. 手法の革新:
   従来のピークソロン解を用いた手法とは異なり、高周波数振動を持つ初期データを用いた精密な誤差評価（Bony の分解や交換子評価の活用）によって、より広いパラメータ範囲（$1+1/p < s \le 3/2$ の場合を含む）で結果を導出しています。

4. 一般性:
   この結果は、CH 方程式だけでなく、b-family 方程式や Novikov 方程式など、同様の構造を持つ他の非線形分散方程式に対しても適用可能であることが注記されています。

結論

この論文は、Camassa-Holm 方程式の解の時間的正則性に関する長年の疑問に決着をつけ、「解は時間的に H¨older 連続ではない」という否定的な結果を確立しました。また、ベソフ空間 $B^s_{p,\infty}$ における解の写像の不連続性を示すことで、方程式の適切性（well-posedness）の境界をより明確に描き出しました。これは非線形偏微分方程式の解の正則性理論において重要な進展です。