[論文レビュー] Bounded Mean Oscillation and the Uniqueness of Active Scalar Equations

Jonas Azzam, Jacob Bedrossian|arXiv (Cornell University)|Aug 12, 2011

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

ひとこと要約

本稿は、$\bar{H}^{-1}$ノルムにおける洗練されたエネルギー法を導入することで、2次元Euler方程式、SQG、Patlak-Keller-Segelモデルなどの活性スカラー方程式について、新たな一意性結果を確立する。低正則性の仮定、特に渦度に対して$\bar{L}^1 \cap BMO$の下で解の一意性が証明され、新規の$L^p$-$BMO$補間と、$\nabla v \in BMO$ならば局所的対数リプシッツ正則性が成り立つことを示す新しいソボレフ埋め込みが用いられる。

ABSTRACT

We consider a number of uniqueness questions for several wide classes of active scalar equations, unifying and generalizing the techniques of several authors. As special cases of our results, we provide a significantly simplified proof to the known uniqueness result for the 2D Euler equations in $L^1 \cap BMO$ and provide a mild improvement to the recent results of Rusin for the 2D inviscid surface quasi-geostrophic (SQG) equations, which are now to our knowledge, the best results known for this model. We also obtain what are (to our knowledge) the strongest known uniqueness results for the Patlak-Keller-Segel models. We obtain these results via technical refinements of energy methods which are well-known in the $L^2$ setting but are less well-known in the $\dot{H}^{-1}$ setting. The $\dot{H}^{-1}$ method can be considered a generalization of Yudovich's classical method and is naturally applied to equations such as the Patlak-Keller-Segel models with nonlinear diffusion, and other variants. Important points of our analysis are an $L^p$-$BMO$ interpolation lemma and a Sobolev embedding lemma which shows that velocity fields $v$ with $\grad v \in BMO$ are locally log-Lipschitz; the latter is known in harmonic analysis but does not seem to have been connected to this setting.

研究の動機と目的

• 弱解の活性スカラー方程式における低正則性下での鋭い一意性基準を確立すること。
• 2次元Euler、SQG、Patlak-Keller-Segel方程式を含む多様なモデルにわたる既存のエネルギー法技術を統合・一般化すること。
• $\nabla v \in BMO$が一意性に必要なOsgood条件を満たす十分な正則性を示すために、$\nabla v \in BMO$が局所的対数リプシッツ正則性を意味することを証明すること。
• $\dot{H}^{-1}$エネルギー法を、強いかつ退化する非線形拡散および非局所作用素を扱えるように精錬すること。

提案手法

• 解の差を測るための$\dot{H}^{-1}$ノルムへのYudovichの古典的$L^2$エネルギー法の適応。
• 低正則性領域における解の差を制御するための新規$L^p$-$BMO$補間補題の使用。
• 新規のソボレフ埋め込み結果の使用により、$\nabla v \in BMO$ならば$v$が局所的対数リプシッツ正則性を有することを示す。
• Calderón-Zygmund理論を用いて、特異積分作用素が$BMO$正則性を保存することを示す。
• dyadic分解と$L^1$型推移を用いて、$\|v(x) - v(y)\|_{L^1}$が$\|\nabla v\|_{BMO}$によって制御されることを確立する。
• 基本的な微積分的議論とdyadicアニュラスを用いて、$\int_{B(x,r)} \frac{|\nabla v(z)|}{|z|^{d-1}} dz \lesssim \|\nabla v\|_{BMO} (r|\log r| - r)$を評価する。

実験結果

リサーチクエスチョン

• RQ1 非線形的かつ退化する拡散を有する活性スカラー方程式について、$\dot{H}^{-1}$エネルギー法を用いて一意性を証明することができると期待できるか？
• RQ2 2次元Euler方程式において、$L^\infty$および$L^1$を超える正則性で一意性に必要な最小限の正則性は何か？
• RQ3 $\nabla v \in BMO$は、一意性に必要なOsgood条件を満たすのに十分な正則性を示すか？
• RQ4 $\dot{H}^{-1}$法は、SQGやPatlak-Keller-Segelを含む多様な活性スカラーモデルに一様に適用可能か？
• RQ5 $\nabla v$の$BMO$正則性とそれによって生じる速度場の正則性との鋭い関係は何か？

主な発見

• 本稿は、$L^1 \cap BMO$における2次元Euler方程式の解の一意性を、既存の最良の結果と一致する大幅に簡略化された証明で示している。
• 本稿は、$\nabla v \in BMO$ならば$v$が局所的対数リプシッツ正則性を有することを示しており、これはPDEの文脈において以前に結びつけられていなかった重要な正則性結果である。
• $\dot{H}^{-1}$エネルギー法により、非線形拡散を有するPatlak-Keller-Segelモデルに対して、これまでに得られた中で最も強い一意性結果が得られた。
• この方法は、$H^{-1}$における単調性を用いることで、強いかつ退化する非線形拡散項を自然に取り扱うことができ、あらゆる方程式に一様に適用可能である。
• 著者らは鋭い推移を導出し、$\int_{B(x,r)} \frac{|\nabla v(z)|}{|z|^{d-1}} dz \lesssim \|\nabla v\|_{BMO} (r|\log r| - r)$を示しており、これは局所的振動を制御する。
• Rusinの最近の2次元非粘性SQGに関する研究を改善し、このモデルに対して、これまでに得られた中で最も良い一意性結果を提供している。