[論文レビュー] Logarithmic spikes of gradients and uniqueness of weak solutions to a class of active scalar equations

Walter Rusin|arXiv (Cornell University)|Jun 14, 2011

Navier-Stokes equation solutions参考文献 20被引用数 4

ひとこと要約

本稿は、零次フーリエ乗算子を有する活性スカラー方程式の弱解の一意性を、勾配に新たな可積分性条件を導入することによって確立する。具体的には、$\nabla\theta = g + b$ と分解し、$g \in L^1((0,T), L^\infty)$ かつ $b \in L^p((0,T), BMO)$ で、$\text{supp}\,b$ が almost everywhere で有限測度をもつものとする。この結果は、散逸型および非散逸型方程式の両方に対して成り立ち、散逸係数が消える際の非散逸極限が $L^2$ で強く収束することが示される。

ABSTRACT

We study the question weather weak solutions to a class of active scalar equations, with the drift velocity and the active scalar related via a Fourier multiplier of order zero, are unique. Due to some recent results we cannot expect weak solutions to be unique without additional conditions. We analyze the case of some integrability conditions on the gradient of the solutions. The condition is weaker than simply imposing $ abla θ\in L^\infty$. Lastly, we consider the inviscid limit for the studied class of equations.

研究の動機と目的

• 零次フーリエ乗算子を有する活性スカラー方程式の弱解における非一意性問題を解決すること。
• $\nabla\theta \in L^\infty$ よりも弱い正則性条件が、依然として一意性を保証するかを同定すること。
• 解に追加の可積分性を課すことにより、非散逸型（非粘性）の場合への一意性結果の拡張を図ること。
• 散逸型方程式の非散逸極限を解析し、解が $L^2$ で強く収束することを証明すること。

提案手法

• 時間区間 $(0,T)$ 上で $\nabla\theta = g + b$ と分解し、$g \in L^1((0,T), L^\infty)$ かつ $b \in L^p((0,T), BMO)$ で、$\text{supp}\,b$ が almost everywhere で有限測度をもつものとする。
• 2つの弱解の差に対するエネルギー推定と、Gronwall型の議論を適用し、非線形項を制御するため、鋭い最大関数と BMO ノルムを活用する。
• モリフィケーション近似系における極限に移行する際、Aubin-Lions のコンパクトネス補題を用い、$L^2((0,T), L^2_{\text{loc}})$ での強い収束を保証する。
• 交換子推定と $L^p$-$BMO$ 対双対性を用いて、エネルギー不等式における非線形ドリフト項を評価する。
• 時間区間を小さな区間に分割し、逐次的反復によるエネルギー推定を適用することで、解の差の成長を制御し、$[0,T]$ 全体にわたる反復を可能にする。
• 散逸係数 $\kappa > 0$ を有する散逸型方程式を考察し、$\kappa \to 0$ とした際の非散逸極限を解析し、$L^2$ での収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 零次フーリエ乗算子を有する活性スカラー方程式の弱解の一意性が保証される $\nabla\theta$ の条件下で、どのような条件が必要か？
• RQ2 $\nabla\theta \in L^\infty$ よりも弱い可積分性条件のもとで、一意性が保証されるか？
• RQ3 散逸型方程式の非散逸極限は存在し、$L^2$ で強く収束するか？
• RQ4 解に追加の可積分性を課すことにより、非散逸型（非粘性）の場合への一意性結果を拡張できるか？
• RQ5 散逸係数 $\kappa \to 0$ の際、散逸解が非散逸解に収束する速度はどの程度か？

主な発見

• 散逸型活性スカラー方程式の弱解は、$\nabla\theta = g + b$ と分解され、$g \in L^1((0,T), L^\infty)$ かつ $b \in L^p((0,T), BMO)$ で、$\text{supp}\,b$ が almost everywhere で有限測度をもつ場合に一意的である。ここで $p$ は散逸強度 $\gamma$ に関連する。
• 散逸型方程式の非散逸極限は、$\kappa \to 0$ の際に $L^2$ で強く収束する。収束速度は、$f_0(t) + g_0^2(t) \leq N$ の一様有界性のもとで $C\kappa^{e^{-2NT}}$ で有界である。
• 証明は、エネルギー推定が制御可能な小さな時間区間 $t_1$ を用いた時間反復的議論に依拠し、その後 $[0,T]$ 全体にわたる反復による継続を可能にする。
• 本手法は $\nabla\theta \in L^\infty$ を要件とせず、依然として一意性を保証するため、古典的な正則性仮定を弱める。
• モリフィケーションを施したガラーキン近似と Aubin-Lions のコンパクトネス補題を用いて、散逸型方程式に対する大域的弱解の存在を確立する。
• $L^2((0,T), L^2_{\text{loc}})$ での近似解 $\theta^\epsilon$ から弱解 $\theta$ への強い収束が達成され、非線形項における極限への移行が可能になる。