[論文レビュー] Global Sobolev persistence for the fractional Boussinesq equations with zero diffusivity

Igor Kukavica, Weinan Wang|arXiv (Cornell University)|Oct 24, 2019

Advanced Mathematical Physics Problems参考文献 28被引用数 6

ひとこと要約

本稿は、拡散係数がゼロで分数型粘性 $α \in (1,2)$ である2次元分数型ボウシネスク方程式に対して、グローバルなソボレフ正則性の保存を確立する。初期データが $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$ に属する場合（$s > 1$ かつ $q \in (2,\infty)$）、解はすべての時刻で同じソボレフ空間に留まることが証明される。主な革新点は、低周波数特異性を制御可能にするために、$vorticity$ 変数 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$ を導入し、エネルギー推定を閉じるためのカトウ＝ポンチェ型不等式の適用を可能にすることにある。

ABSTRACT

We address the persistence of regularity for the 2D $α$-fractional Boussinesq equations with positive viscosity and zero diffusivity in general Sobolev spaces, i.e., for $(u_{0}, ρ_{0}) \in W^{s,q}(\mathbb R^2) imes W^{s,q}(\mathbb R^2)$, where $s> 1$ and $q \in (2, \infty)$. We prove that the solution $(u(t), ρ(t))$ exists and belongs to $W^{s,q}(\mathbb R^2) imes W^{s,q}(\mathbb R^2)$ for all positive time $t$ for $q>2$, where $α\in(1,2)$ is arbitrary.

研究の動機と目的

• 拡散係数がゼロで $s > 1$ および $q > 2$ の一般の $W^{s,q}$ 空間において、2次元分数型ボウシネスク方程式のソボレフ正則性のグローバル保存を確立すること。
• $q > 2$ の $L^q$-ベースの推定においてエネルギー方程式が存在しないことによる、標準的な正則性保存の議論の障害を克服すること。
• 低周波数特異性に対して安定で、交換子推定を可能にする、修正された $vorticity$ 変数 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$ を開発すること。
• $H^s \times H^{s-1}$ フレームワークを超えて、より一般の $W^{s,q} \times W^{s,q}$ 空間（$q > 2$）への正則性結果を拡張すること。

提案手法

• 低周波数行動の安定化と $vorticity$ 動力学の分離を図るため、修正された $vorticity$ 変数 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$ を導入する。
• $\zeta$ の時間発展方程式を導出：$\zeta_t + u \cdot \nabla \zeta + \Lambda^\alpha \zeta = [\SS, u \cdot \nabla]\rho - (\tilde{\Lambda}^{-\alpha}\Lambda^\alpha - I)\partial_1 \rho$、ここで $\SS = \partial_1 (I - \Delta)^{-\alpha/2}$ である。
• 非局所作用素 $N = (\tilde{\Lambda}^{-\alpha}\Lambda^\alpha - I)\partial_1$ が1次スムージング作用素であることを証明し、低周波数寄与の制御に寄与する。
• 一般化されたカトウ＝ポンチェ不等式を用いて、$L^q$-ノルムにおける交換子項 $[\SS, u \cdot \nabla]\rho$ を評価する。
• 重み付きエネルギー推定を用いてブートストラップ議論を閉じる：$X = \|\Lambda^{s-1}\zeta\|_{L^q}^q$、$Y = (\|\Lambda^s \rho\|_{L^q} + 1)^{q/\gamma}$、$Z = \|\Lambda^{\alpha/2}(|\Lambda^{s-1}\zeta|^{q/2})\|_{L^2}^2$ を用いる。
• $X$ と $Y$ の連立微分不等式に対して、適切に選ばれたパrameter $\gamma = s/(s-1)$ を用いて修正されたグローバル不等式を適用する。

実験結果

リサーチクエスチョン

• RQ1 拡散係数がゼロで、$s > 1$ および $q > 2$ の場合に、2次元分数型ボウシネスク方程式の $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$ におけるグローバルなソボレフ正則性の保存は確立可能か？特にエネルギー方程式が存在しないにもかかわらず。
• RQ2 $q > 2$ の $L^q$-ベースのソボレフ空間で作業する際、$L^2$-ベースのエネルギー推定が欠如している場合、どのようにしてこれを克服できるか？
• RQ3 修正された $vorticity$ $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$ は、解の低周波数行動を安定化するために果たす役割は何か？
• RQ4 一般化されたカトウ＝ポンチェ不等式を用いて、$L^q$ ノルムにおける交換子項 $[\SS, u \cdot \nabla]\rho$ を効果的に制御できるか？
• RQ5 重み付きエネルギー法を用い、グローバル不等式における指数条件を満たすように適切に選ばれた指数を用いることで、正則性保存のためのブートストラップ議論を閉じることは可能か？

主な発見

• 初期データ $(u_0, \rho_0)$ が $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$ に属する場合（$s > 1$ かつ $q \in (2, \infty)$）、解 $(u(t), \rho(t))$ はすべての $t > 0$ において $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$ に留まる。
• 修正された $vorticity$ $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$ は、交換子項とスムージング余剰項を含む放物型方程式を満たし、解の正則性の制御を可能にする。
• 余剰項 $N\rho = (\tilde{\Lambda}^{-\alpha}\Lambda^\alpha - I)\partial_1 \rho$ が1次スムージング作用素であることが示され、低周波数特異性の処理に不可欠である。
• 証明は、$X = \|\Lambda^{s-1}\zeta\|_{L^q}^q$、$Y = (\|\Lambda^s \rho\|_{L^q} + 1)^{q/\gamma}$、$Z = \|\Lambda^{\alpha/2}(|\Lambda^{s-1}\zeta|^{q/2})\|_{L^2}^2$ を用いた重み付きエネルギー推定に依存し、$\gamma = s/(s-1)$ である。
• $X$ と $Y$ の微分不等式は、(5.15)における指数条件が $\gamma = s/(s-1)$ で満たされることを確認した後、グローバル不等式のアプローチによって閉じられる。
• $\alpha \in (1,2)$ のすべての値に対して結果が成り立ち、従来の $H^s \times H^{s-1}$ フレームワークや $L^2$-ベースの推定を必要としていた結果を拡張する。