[論文レビュー] Rough solutions for the periodic Korteweg-de Vries equation

Massimiliano Gubinelli|arXiv (Cornell University)|Sep 30, 2006

Advanced Mathematical Physics Problems参考文献 19被引用数 5

ひとこと要約

本稿は、周期的Kルトエフ=ドゥリューフ（KdV）方程式に対して、粗いパス理論に基づくアプローチを導入し、正則性が低い解を構成する。$`\mathcal{F}L^{\alpha,p}$ 空間における初期データに対して、$\alpha > \max(-1/p, -1/2)$ および $1 \leq p \leq \infty$ の範囲で、グローバルな適切性を拡張する。ガラーキン近似と時刻離散化スキームの存在・一意性・収束性を確立するとともに、空間・時空白色ノイズを伴う確率的摂動に対しても対応する。

ABSTRACT

We show how to apply ideas from the theory of rough paths to the analysis of low-regularity solutions to non-linear dispersive equations. Our basic example will be the one dimensional Korteweg--de Vries (KdV) equation on a periodic domain and with initial condition in $\FF L^{α,p}$ spaces. We discuss convergence of Galerkin approximations, a modified Euler scheme and the presence of a random force of white-noise type in time.

研究の動機と目的

• 低正則性初期データを有する分散型PDEの解析のための粗いパスに基づくフレームワークを構築すること。従来のソボレフ空間の制限を回避する。
• 周期的KdV方程式のグローバルな適切性を、$H^{-1/2}$ よりも低い空間にまで拡張し、$`\mathcal{F}L^{\alpha,p}$ 空間における初期データ $\alpha > \max(-1/p, -1/2)$ を対象とする。
• ガラーキン近似と修正されたオイラー法の収束性を、粗い解に対して確立すること。
• 時間と空間の両方で白色ノイズを伴う加法的摂動を組み込み、そのような確率的摂動下でも解の存在と一意性を証明すること。

提案手法

• KdV方程式を弱い形に再定式化し、粗いパスフレームワーク内での解の時間発展を記述する有限差分方程式を導出する。
• 解のダイナミクスを符号化するため、粗いパス空間 $\mathcal{Q}_{\eta}$ 上に非線形写像 $\Gamma$ を導入し、不規則な増分を処理するためにセーディング写像を用いる。
• 空間 $\mathcal{Q}_{\eta}$ の閉球内における $\Gamma$ の不動点の存在と一意性を証明し、$\mathcal{F}L^{\alpha,p}$ 初期データに対する局所解を確立する。
• パrameter $\eta < \gamma < 1$ を持つホルダー型空間上で、事前推定と収縮写像の議論を用いて非線形項を制御し、収束を保証する。
• $L^2(\mathbb{T})$ 保存則を粗いパス設定内で用い、$L^2(\mathbb{T})$ 初期データに対して局所解を時間無限にまで拡張する。
• 時刻離散化されたオイラー型スキームを構築し、同じ粗いパス推定と収縮議論を用いて、その収束性を証明する。

実験結果

リサーチクエスチョン

• RQ1 粗いパス理論を用いて、古典的ソボレフ閾値未満の初期データを有する分散型PDEの解を構成できるか？
• RQ2 低正則性関数に対して、$\partial_\xi(u^2)$ のような非線形項を分布的意味で定義可能か？
• RQ3 この粗いパス設定において、ガラーキン近似と時刻離散化スキームが同じ解に収束するか？
• RQ4 粗いパスフレームワーク内で、$L^2$ 保存則をどのように維持し、局所解をグローバル解に拡張できるか？
• RQ5 KdV方程式に空間・時空白色ノイズを伴う加法的摂動を組み込む理論は可能か？

主な発見

• 任意の $1 \leq p \leq \infty$ および $\alpha > \max(-1/p, -1/2)$ に対して、初期データが $\mathcal{F}L^{\alpha,p}$ に属する場合、周期的KdV方程式に対して局所解 $u \in C([0,T^*], \mathcal{F}L^{\alpha,p})$ が存在する。
• $\mathcal{N}(u) = \frac{1}{2}\partial_\xi(u^2)$ という非線形項は、$[0,T^*]\times\mathbb{T}$ 上の分布として、$N \to \infty$ のときの $\mathcal{N}(P_N u)$ の極限として適切に定義される。
• 解は滑らかな解および修正されたガラーキン近似の極限として得られ、従来の近似スキームと整合性を持つ。
• $L^2(\mathbb{T})$ 初期データに対しては、$L^2$ 保存則により、局所解が $C([0,\infty), L^2(\mathbb{T}))$ 内のグローバル解に拡張可能である。
• 時刻離散化されたオイラー型スキームは、粗いパス推定と収縮議論を用いて、粗い解に収束する。
• 適切な $\Phi$ を用いた形 $\Phi \partial_t \partial_\xi B$ の加法的白色ノイズ摂動に対して、粗いパスフレームワーク内での解の存在と一意性が証明された。