[論文レビュー] A Liouville Theorem for the Axially-symmetric Navier-Stokes Equations

Zhen Lei, Qi S. Zhang|arXiv (Cornell University)|Nov 23, 2010

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

ひとこと要約

本稿は、径方向-軸対称速度場 $b$ に対して一般のスケーリング不変条件を課したもとで、軸対称ナビエ＝ストークス方程式の古代解について、Liouville型定理を確立する。$Γ = r v^\theta$ が原点で Hölder 継続的であることを証明し、$b \in L^\infty([0,T], BMO^{-1})$ のもとで正則性が成立することを示し、軸対称ケースにおける一意性と正則性に関する未解決問題を解決する。

ABSTRACT

Let $v(x, t)= v^r e_r + v^θe_θ+ v^z e_z$ be a solution to the three-dimensional incompressible axially-symmetric Navier-Stokes equations. Denote by $b = v^r e_r + v^z e_z$ the radial-axial vector field. Under a general scaling invariant condition on $b$, we prove that the quantity $Γ= r v^θ$ is Hölder continuous at $r = 0$, $t = 0$. As an application, we give a partial proof of a conjecture on Liouville property by Koch-Nadirashvili-Seregin-Sverak in \cite{KNSS} and Seregin-Sverak in \cite{SS}. As another application, we prove that if $b \in L^\infty([0, T], BMO^{-1})$, then $v$ is regular. This provides an answer to an open question raised by Koch and Tataru in \cite{KochTataru} about the uniqueness and regularity of Navier-Stokes equations in the axially-symmetric case.

研究の動機と目的

• 軸対称ナビエ＝ストークス方程式の古代解について、Liouville型定理を確立すること。
• 径方向-軸方向速度場 $b$ に一般のスケーリング不変条件を課したもとで、原点における $\Gamma = r v^\theta$ の Hölder 継続性を証明すること。
• Koch と Tataru が提起した、軸対称ナビエ＝ストークス解の正則性と一意性に関する未解決問題に取り組むこと。
• Koch-Nadirashvili-Seregin-Sverak および Seregin-Sverak の Liouville 性質の予想に対する部分的証明を提供すること。

提案手法

• 径方向-軸方向速度場 $b = b_1 + b_2 + b_3$ の分解を行い、各成分に異なる正則性条件を適用する。
• 空洞化されたスケーリングエネルギーノルム $\mathrm{HSE}(b_1)$、$b_2$ の回転の BMO ノルム、$b_3$ の点ごとの $L^\infty$ 制御を用いる。
• Nash-Moser-De Giorgi 法を適用し、放物型正則性推移を介して $\Gamma = r v^\theta$ の Hölder 継続性を導出する。
• スケーリングとコンパクトネスを用いた吹き出し解析により、$\mathbb{R}^3 \times (-\infty, 0]$ 上の極限古代解 $u$ を抽出する。
• 極限解 $u$ が有界で空間変数に依存しないことを示し、$v$ が正則でなければ矛盾が生じることを導く。
• 最大原理と $\Gamma$-方程式の構造的性質を用いて特異なドリフト項を制御し、正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 径方向-軸方向速度場 $b$ に対してどのような条件下で、軸対称ナビエ＝ストークス方程式における $\Gamma = r v^\theta$ が原点で Hölder 継続的となるか？
• RQ2 $b$ に対して一般のスケーリング不変仮定を課したもとで、軸対称ナビエ＝ストークス方程式の古代解に対する Liouville 性質の予想を部分的に証明できるか？
• RQ3 $b \in L^\infty([0,T], BMO^{-1})$ が、軸対称ケースにおける解 $v$ の正則性を示唆するか？
• RQ4 古典的な Nash-Moser-De Giorgi 法を、$\Gamma$-方程式に内在する特異なドリフト構造に対応させることが可能か？

主な発見

• 条件 $\|b\|_E < \infty$ のもとで、量 $\Gamma = r v^\theta$ は $r=0$, $t=0$ で Hölder 継続的であり、その正則性は $\|b\|_E$ のみに依存する。
• 本稿は、Koch-Nadirashvili-Seregin-Sverak および Seregin-Sverak の Liouville 性質の予想を、軸対称設定における古代解について部分的に証明する。
• $b \in L^\infty([0,T], BMO^{-1})$ ならば、解 $v$ は正則である。これは Koch と Tataru が提起した未解決問題に答えている。
• 吹き出し解析により、空間変数に依存しない有界な古代解 $u$ が得られ、これは $BMO$-有界性と矛盾するか、$u=0$ でなければ成立しない。よって特異性は生じえない。
• 正則性が保証される初期データのクラスが拡張され、$BMO^{-1}$ 空間が、ナビエ＝ストークス方程式の適切な定義のための最大の既知の空間であることが示された。
• コンパクトネスと背理法を用いたこの手法により、$\Gamma$-方程式の構造とナビエ＝ストークス方程式の回転不変性を活用し、正則性を確立する。