[論文レビュー] Global well posedness and inviscid limit for the Korteweg-de Vries-Burgers equation

Zihua Guo, Baoxiang Wang|arXiv (Cornell University)|Mar 17, 2008

Advanced Mathematical Physics Problems参考文献 10被引用数 4

ひとこと要約

本稿は、分数拡산を伴うKorteweg-de Vries-Burgers方程式について、全域的適切性および粘性なし極限における一様収束を確立する。$X^{b,s,\rho}$-型空間とI法を用いて、$s > s_\rho$ に対して $H^s$ 内で解が全域的に存在し、$
\epsilon \to 0$ のとき $C([0,T]; H^s)$ 内でKdV解に一様に収束することを証明する。$\epsilon \in (0,1]$ および $s > -3/4$ に対して、$\alpha=1$ の場合の先行研究を分数拡散へ拡張し、KdV-Burgers系の鋭い正則性閾値を確認する。

ABSTRACT

Considering the Cauchy problem for the Korteweg-de Vries-Burgers equation \begin{eqnarray*} u_t+u_{xxx}+ε|\partial_x|^{2α}u+(u^2)_x=0, \ u(0)=ϕ, \end{eqnarray*} where $0s_α)$, and uniformly globally well-posed in $H^s (s>-3/4)$ for all $ε\in (0,1)$. Moreover, we prove that for any $T>0$, its solution converges in $C([0,T]; H^s)$ to that of the KdV equation if $ε$ tends to 0.

研究の動機と目的

• 分数拡散 $\epsilon |\partial_x|^{2\alpha}u$ を伴うKorteweg-de Vries-Burgers方程式について、$0 < \alpha \leq 1$ および $\epsilon > 0$ に対して、全域的適切性を確立すること。
• $X^{b,s,\alpha}$-空間フレームワークを用いて、$H^s$ 内での全域的適切性の鋭い正則性閾値 $s_\alpha$ を特定すること。
• すべての $\epsilon \in (0,1]$ に対して、$s > -3/4$ において $H^s$ 内で $\epsilon$ に依存しない一様な全域的適切性を証明すること。
• 粘性なし極限の挙動を分析し、$\epsilon \to 0$ のとき $C([0,T]; H^s)$ 内でKdV-Burgers解がKdV解に収束することを示すこと。$s > -3/4$ のとき。
• 非局所的拡散項と極限過程における差分方程式を扱うために、I法および $X^{b,s}$-理論を拡張すること。

提案手法

• 著者たちは、KdV-Burgers方程式の分散的・拡散的構造を扱うために、修正された $X^{b,s,\alpha}$-型空間を用いる。
• 非線形項を制御するため、$[k;\mathbb{Z}]$-乗数法を用いて、$\|\partial_x(uv)\|_{X^{-1/2+\delta,s,\alpha}} \leq C \|u\|_{X^{1/2,s,\alpha}} \|v\|_{X^{1/2,s,\alpha}}$ の形の二重線形推定を証明する。
• 粘性なし極限において、拡散項 $\epsilon |\partial_x|^{2\alpha}u$ を摂動項とみなして、KdV-Burgers解とKdV解の差分方程式を分析する。
• 一様な $\epsilon$ に対する制御を達成するため、$l^1$-バージョンの $X^{b,s}$-空間とI法を用いる。これにより、$s > -3/4$ に対して一様な適切性が保証される。
• スケーリング不変性と精密なキャンセレーションを用いて、特に $\alpha < 1$ の場合の乗数推定における特異性を制御する。
• dyadic分解と周波数局在化を用いて、差 $w = u_\epsilon - v$ の $L^2$-ノルムを制御し、$\|w\|_{F^0} \lesssim \|\phi_1 - \phi_2\|_{L^2} + \epsilon^{1/2} C(\|\phi_1\|_{H^1}, \|\phi_2\|_{L^2})$ を得る。

実験結果

リサーチクエスチョン

• RQ1 分数拡散 $|\partial_x|^{2\alpha}$ を伴うKdV-Burgers方程式の全域的適切性の鋭い正則性閾値 $s_\alpha$ は何か？
• RQ2 $\epsilon \in (0,1]$ に対して、$s > -3/4$ のとき、KdV-Burgers方程式の解写像は $H^s$ 内で一様に全域的適切か？
• RQ3 $\epsilon \to 0$ のとき、KdV-Burgers方程式の解は $C([0,T]; H^s)$ 内でKdV解に収束するか？$s > -3/4$ のとき。
• RQ4 $\alpha \in (0,1]$ の選択が、臨界正則性および粘性なし極限における収束速度にどのように影響するか？
• RQ5 I法および $X^{b,s}$-理論は、KdV-Burgers系における非局所的拡散項 $|\partial_x|^{2\alpha}u$ を扱うために適応可能か？

主な発見

• KdV-Burgers方程式は、$s > s_\alpha$ に対して $H^s$ 内で全域的適切であり、$0 < \alpha \leq 1/2$ のとき $s_\alpha = -3/4$、$1/2 < \alpha \leq 1$ のとき $s_\alpha = -3/(5 - 2\alpha)$ である。
• すべての $\epsilon \in (0,1]$ に対して、$s > -3/4$ において $H^s$ 内で $\epsilon$ に依存しない一様な全域的適切性が成立する。
• 任意の $T > 0$ に対して、KdV-Burgers方程式の解 $u_\epsilon$ は $\epsilon \to 0$ のとき $C([0,T]; H^s)$ 内でKdV解に収束する。$s > -3/4$ のとき。
• 収束速度は $\|u_\epsilon - v\|_{C([0,T]; L^2)} \lesssim \|\phi_1 - \phi_2\|_{L^2} + \epsilon^{1/2} C(T, \|\phi_1\|_{H^1}, \|\phi_2\|_{L^2})$ で抑えられ、$\epsilon^{1/2}$ 依存性を示している。
• 臨界正則性 $s_\alpha$ は、$0 < \alpha < 1$ のとき予想される $s_c = (\alpha - 3)/(2(2 - \alpha))$ よりも厳密に大きいことが示され、この手法の鋭さが裏付けられる。
• 一様な適切性結果は、$l^1$-バージョンの $X^{b,s}$-空間とI法を用いて確立され、$\epsilon$ にわたる解の均一な制御が可能になる。