[論文レビュー] Criticality of the Axially Symmetric Navier-Stokes Equations

Zhen Lei, Qi S. Zhang|arXiv (Cornell University)|May 11, 2015

Navier-Stokes equation solutions参考文献 26被引用数 12

ひとこと要約

この論文は、ナビエ＝ストークス方程式の自然なスケーリングに対して不変である、回転成分 $rv^\theta$ における形式有界性条件（FBC）を導入することで、軸対称なナビエ＝ストークス解のグローバル正則性を確立する。$rv^\theta$ が軸に近い領域で $\sup |rv^\theta| \leq C_* |\ln r|^{-2}$ を満たす、または次元なし量に比べてその $L^\infty$ ノルムが十分に小さい場合、解はすべての時間にわたって滑らかであり、軸対称系の完全な臨界性が示される。

ABSTRACT

Smooth solutions to the axi-symmetric Navier-Stokes equations obey the following maximum principle: $$\sup_{t\geq 0}\|rv^θ(t, \cdot)\|_{L^\infty} \leq \|rv^θ(0, \cdot)\|_{L^\infty}.$$ We prove that all solutions with initial data in $H^{\frac{1}{2}}$ is smooth globally in time if $rv^θ$ satisfies a kind of Form Boundedness Condition (FBC) which is invariant under the natural scaling of the Navier-Stokes equations. In particular, if $rv^θ$ satisfies \begin{equation} onumber \sup_{t \geq 0}|rv^θ(t, r, z)| \leq C_\ast|\ln r|^{- 2},\ \ r \leq δ_0 \in (0, \frac{1}{2}),\ C_\ast < \infty, \end{equation} then our FBC is satisfied. Here $δ_0$ and $C_\ast$ are independent of neither the profile nor the norm of the initial data. So the gap from regularity is logarithmic in nature. We also prove the global regularity of solutions if $\|rv^θ(0, \cdot)\|_{L^\infty}$ or $\sup_{t \geq 0}\|rv^θ(t, \cdot)\|_{L^\infty(r \leq r_0)}$ is small but the smallness depends on certain dimensionless quantity of the initial data.

研究の動機と目的

• 回転成分 $rv^\theta$ における臨界的条件を同定することで、軸対称ナビエ＝ストークス方程式のグローバル正則性問題を解決すること。
• スケーリング不変な事前評価を確立することで、軸対称ナビエ＝ストークス方程式が部分的ではなく完全に臨界的であることを示すこと。
• $rv^\theta$ が対数的減衰条件を満たす、または次元なしの意味で小さい場合にグローバル存在と滑らかさを証明すること。
• 形式有界性条件（FBC）を用いて、$\Gamma = rv^\theta$ の既知の最大値原理を、より広い初期データのクラスへと拡張すること。

提案手法

• ナビエ＝ストークス方程式の自然なスケーリングに対して不変である $v^\theta$ における形式有界性条件（FBC）を導入すること。
• 渦度方程式を、渦の引き伸ばし項が $1/|x|^2$ のスケールを持つように変換し、臨界的となるようにすること。
• $\Gamma = rv^\theta$ における $L^\infty$ 最大値原理を活用したエネルギー推定と事前評価を用いること。
• 継続的議論と、$\| |V|^2 \|_{L^2}$ および $\| \Omega \|_{L^2}$ を含む微分不等式を導出し、成長を制御すること。
• ハーディー型不等式を用いて境界をとる。領域を $r \leq r_0$ と $r \geq r_0$ に分割し、局所的および大域的挙動を処理すること。
• 次元なし量 $M_0$ と $M_1$ を用いて、物理的単位に依存しない小ささの条件を定量化すること。

実験結果

リサーチクエスチョン

• RQ1 スケーリング不変な $rv^\theta$ 条件の下で、軸対称ナビエ＝ストークス解のグローバル正則性を確立できるか？
• RQ2 軸対称ナビエ＝ストークス系は、$\Gamma = rv^\theta$ の $L^\infty$ 界のため、完全に臨界的であるか、それとも部分的にしか臨界的でないか？
• RQ3 どの条件が $rv^\theta$ に対してグローバル滑らかさを保証するか、特に $r \to 0$ に近い軸付近で？
• RQ4 $r \leq r_0$ の局所領域で $\|rv^\theta\|_{L^\infty}$ が小さい場合、グローバル正則性が保証されるか、たとえグローバルノルムが小さくない場合でも？
• RQ5 軸に近い領域で $|rv^\theta| \leq C_* |\ln r|^{-2}$ という対数的減衰条件が、グローバル正則性に十分か？

主な発見

• 初期データが $H^{1/2}$ に属するすべての解は、$rv^\theta$ が形式有界性条件（FBC）を満たせばグローバルに滑らかである。FBC はスケーリング不変である。
• すべての $t \geq 0$ に対して $\sup_{t \geq 0} |rv^\theta(t,r,z)| \leq C_* |\ln r|^{-2}$ が $r \leq \delta_0 < 1/2$ で成り立つならば、FBC が成立する。ここで $C_*$ と $\delta_0$ は初期データの形状やノルムに依存しない。
• 初期状態での $\|rv^\theta(0,\cdot)\|_{L^\infty}$ が次元なし量 $M_0$ に対して十分に小さい場合、グローバル正則性が成立する。この小ささの条件は $M_0$ のみに依存する。
• 任意の $r_0 > 0$ に対して、すべての $t \geq 0$ で $\sup_{t \geq 0} \|rv^\theta(t,\cdot)\|_{L^\infty(r \leq r_0)}$ が次元なし量 $M_1$ よりも小さい場合、グローバル正則性が成立する。
• 証明により、FBC の下で $|V|^2$ と $\Omega$ のエネルギー型推定が時間にわたって一様に有界であることが示され、グローバル継続が可能になる。
• FBC は、初期データが $L^2$ で小さくない場合でも、$rv^\theta$ 成分が対数的減衰または小ささの条件を満たしていれば、グローバル正則性に十分であることが示された。