[論文レビュー] Global well-posedness and limit behavior for the modified finite-depth-fluid equation

Zihua Guo, Baoxiang Wang|ArXiv.org|Sep 13, 2008

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

ひとこと要約

本稿は、$H^s$ において $s \geq 1/2$ で、すべての流体深さ $δ \gtrsim 1$ に対して、$L^2$-ノルムが小さい初期データを持つ修正有限深さ流体（mFDF）方程式の、一様な大域的適切性を確立する。また、$δ \to \infty$ のとき、解が修正ベンジャミン＝オノ方程式の解に $C([0,T]; H^s)$ で収束することを証明し、解写像が $s < 1/2$ の空間では $C^3$ でないことを示すことにより、$H^{1/2}$ が適切性の鋭い正則性閾値であることを示している。

ABSTRACT

Considering the Cauchy problem for the modified finite-depth-fluid equation $\partial_tu-\G_δ(\partial_x^2u)\mp u^2u_x=0, u(0)=u_0$, where $\G_δf=-i \ft ^{-1}[\coth(2πδξ)-\frac{1}{2πδξ}]\ft f$, $δ\ges 1$, and $u$ is a real-valued function, we show that it is uniformly globally well-posed if $u_0 \in H^s (s\geq 1/2)$ with $ orm{u_0}_{L^2}$ sufficiently small for all $δ\ges 1$. Our result is sharp in the sense that the solution map fails to be $C^3$ in $H^s (s&lt;1/2)$. Moreover, we prove that for any $T&gt;0$, its solution converges in $C([0,T]; H^s)$ to that of the modified Benjamin-Ono equation if $δ$ tends to $+\infty$.

研究の動機と目的

• すべての $δ \gtrsim 1$ に対して、$H^s$ 空間（$s \geq 1/2$）および $L^2$-ノルムが小さい初期データに対して、mFDF 方程式の、$δ$ に一様な大域的適切性を確立すること。
• 流体深さ $δ \to \infty$ のときの mFDF 解の極限挙動を分析し、修正ベンジャミン＝オノ方程式の解に収束することを示すこと。
• 固定点法による適切性の鋭い正則性閾値を特定するため、$s < 1/2$ のとき解写像が $H^s$ で $C^3$ でないことを証明すること。

提案手法

• ゲージ変換を避けるために、特別に設計された関数空間 $F^s(T)$ における直接の収縮原理の使用。
• 微分損失を非線形項で制御するため、$X^{s,b}$-空間構造と滑らかさ効果推定値を組み合わせたハイブリッドバナッハ空間の採用。
• スケーリング不変性を活用して初期データを正規化し、$L^2$-ノルムが小さいと仮定する。
• 保存則（質量およびエネルギー的量）を用いて、滑らかな解に対する事前 $H^{1/2}$ 界を導出する。
• 低正則性における不適切性をテストするため、コンパクトなフーリエ台を持つ周波数局所化関数 $φ_N$ の利用。
• 三重積分項における共鳴構造とモodulation挙動の分析により、対数発散を特定し、洗練された関数空間構造によってその除去を実現する。

実験結果

リサーチクエスチョン

• RQ1 mFDF 方程式は、$s \geq 1/2$ で、$\delta \gtrsim 1$ に対して一様に $H^s$ で大域的適切か？（初期データが小さいとき）
• RQ2 $δ \to \infty$ のとき、mFDF 方程式の解は $C([0,T]; H^s)$ で修正ベンジャミン＝オノ方程式の解に収束するか？（$s \geq 1/2$）
• RQ3 固定点法による適切性において、$H^{1/2}$ が鋭い正則性閾値か？それとも $H^{1/2}$ より低い空間で不適切性が生じるか？

主な発見

• mFDF 方程式は、$s \geq 1/2$ および $L^2$-ノルムが小さい初期データに対して、$δ \gtrsim 1$ に一様に大域的適切であり、解の存在、一意性、$C([0,T]; H^s)$ 内でのリプシッツ連続性が保証される。
• mFDF 方程式の解は、$δ \to \infty$ のとき、コンパクト時間区間上で $C([0,T]; H^{1/2})$ で修正ベンジャミン＝オノ方程式の解に収束する。
• $H^s$ において $s < 1/2$ のとき、解写像が原点で $C^3$ でないことが示され、固定点法による適切性の鋭い正則性閾値が $H^{1/2}$ であることが証明された。
• 初期データの $L^2$-ノルムが小さい条件下で、滑らかな解に対して事前 $H^{1/2}$-界 $​\|u\|_{H^{1/2}} \lesssim C(\|u_0\|_{H^{1/2}})$ が成り立つ。
• 三重積分推定 $​\|\partial_x(u^3)\|_{X^{s,b-1}} \lesssim \|u\|^3_{X^{s,b}}$ は $s < 1/2$ では失敗する。これはモジュレーション変数における対数発散に起因するが、ハイブリッド関数空間構造によってその発散が除去される。
• $δ \to \infty$ の極限における収束速度は $O(1/\delta)$ であり、誤差は $​\|u_\delta\|_{L^2_t H^{3/2}_x}$ および初期データノルムによって制御される。