[論文レビュー] Improved Liouville theorems for axially symmetric Navier-Stokes equations

Zhen Lei, Qi S Zhang+1 more|arXiv (Cornell University)|Jan 3, 2017

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

ひとこと要約

本稿は、2次元および3次元の軸対称ナビエ＝ストークス方程式の古代解について、鋭いリウヴィル定理を確立し、渦度が十分に無限遠で減少する場合、部分線形速度場は定数であることを証明している。渦のない場合、速度場は定数に帰着される。非自明な渦の成分を有する解については、$\Gamma = r v_\theta$ が $L^\infty_t L^p_x$ に属する（$1 \leq p < \infty$）か、無限遠で一様に減少する場合、有界な古代弱解は定数である。

ABSTRACT

In this paper, we consider the Liouville property for ancient solutions of the incompressible Navier-Stokes equations. In 2D and the 3D axially symmetric case without swirl, we prove sharp Liouville theorems for smooth ancient mild solutions: velocity fields $v$ are constants if vorticity fields satisfy certain condition and $v$ are sublinear with respect to spatial variables, and we also give counterexamples when $v$ are linear with respect to spatial variables. The condition which vorticity fields need to satisfy is $\lim\limits_{|x| ightarrow +\infty}|w(x,t)|=0$ and $\lim\limits_{r ightarrow +\infty}\frac{|w|}{\sqrt{x_1^2+x_2^2}}=0$ uniformly for all $t\in(-\infty,0)$ in 2D and 3D axially symmetric case without swirl, respectively. In the case when solutions are axially symmetric with nontrivial swirl, we prove that if $Γ=rv_θ\in L^\infty_tL^p_x(\mathbb{R}^3 imes(-\infty,0))$ where $1\leq p

研究の動機と目的

• 非圧縮性ナビエ＝ストークス方程式の軸対称設定における古代解について、鋭いリウヴィル型定理を確立すること。
• 有界または部分線形な古代弱解が定数に帰着される条件を特定すること、特に渦の有無にかかわらず。
• 既存のリウヴィル結果を、渦度の減少条件または渦成分 $\Gamma = r v_\theta$ の積分可能性条件を組み込むことで拡張すること。
• 軸対称ナビエ＝ストークス流れにおける古代解の正則性および分類に関する未解決問題を解消すること。
• 線形速度の成長がリウヴィル性を破る可能性がある反例を提示することで、条件の鋭さを確立すること。

提案手法

• 2次元および3次元の軸対称ナビエ＝ストークス方程式の古代弱解を、渦の有無に関わらず分析する。
• 渦度に減少条件を課す：$\lim_{|x|\to\infty} |\omega(x,t)| = 0$ および $\lim_{r\to\infty} \frac{|\omega|}{r} = 0$ が $t \leq 0$ に対して一様に成り立つ。
• 非自明な渦の成分を有する解については、$\Gamma = r v_\theta \in L^\infty_t L^p_x(\mathbb{R}^3 \times (-\infty,0))$ を仮定する（$1 \leq p < \infty$）。
• 領域 $\mathbb{R}^3 \setminus \{r=0\}$ において、$\Gamma$ に最大値の原理を適用し、その放物型構造を活用する。
• スケーリングによるコンパクトネスおよび吹き上がりの議論を用いて、解の極限を導出し、$\Gamma$ の非自明な最大値／最小値が矛盾を引き起こすことを示す。
• 強最大値原理と $r=0$ における連続性（ここで $\Gamma \equiv 0$）を組み合わせ、$\Gamma \equiv 0$ を結論づけ、$v_\theta \equiv 0$ を示す。

実験結果

リサーチクエスチョン

• RQ1 軸対称ナビエ＝ストークス方程式の部分線形な古代弱解が定数に帰着されるための、渦度の減少条件は何か？
• RQ2 非自明な渦の成分を有する解に対し、リウヴィル性を拡張できるか。また、$\Gamma = r v_\theta$ にどのような積分可能性条件が定数性を保証するか？
• RQ3 渦のない場合のリウヴィル定理において、条件 $\lim_{r\to\infty} \frac{|\omega|}{r} = 0$ は鋭いか？
• RQ4 速度場が空間的に線形に成長する場合、そのような解は非自明になり得るか。リウヴィル性にどのような影響を与えるか？
• RQ5 $\Gamma \in L^\infty_t L^p_x$（$1 \leq p < \infty$）という仮定は、渦を有する軸対称系において、有界な古代解が定数に帰着されることを保証するか？

主な発見

• 2次元および3次元の軸対称で渦のない場合、渦度が $\lim_{|x|\to\infty} |\omega(x,t)| = 0$ および $\lim_{r\to\infty} \frac{|\omega|}{r} = 0$ を満たし、$t \leq 0$ に対して一様に成り立つならば、任意の滑らかな古代弱解で部分線形速度を有するものは定数である。
• 非自明な渦の成分を有する軸対称解については、$\Gamma = r v_\theta \in L^\infty_t L^p_x(\mathbb{R}^3 \times (-\infty,0))$（$1 \leq p < \infty$）を満たすならば、任意の有界な古代弱解は定数である。
• 本稿では、速度場が空間的に線形に成長する場合、リウヴィル性が成立しない反例を提示しており、部分線形成長条件の鋭さを確認している。
• もし $\Gamma$ が無限遠で一様に減少する、すなわち $\lim_{r\to\infty} \Gamma = 0$ が $t$ に対して一様に成り立つならば、有界な古代弱解は定数である。$L^p$ 積分可能性は不要である。
• 証明は、$\Gamma$ に最大値の原理を適用することで成り立っており、$r=0$ における境界挙動により、非ゼロの最大値または最小値が矛盾を引き起こすことを示している。
• スケーリングの議論と強最大値原理を組み合わせることで、著者らは $(-\infty,0) \times \mathbb{R}^3$ において $\Gamma \equiv 0$ を示し、$v_\theta \equiv 0$ を結論づけ、問題を既知の結果が適用可能な渦なしのケースに還元している。