[論文レビュー] A Liouville Theorem for Axi-symmetric Navier-Stokes Equations on $\mathbb{R}^2 imes \mathbb{T}^1$

Zhen Lei, Xiao Ren+1 more|arXiv (Cornell University)|Nov 5, 2019

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

ひとこと要約

本稿は、$\mathbb{R}^2 \times \mathbb{T}^1$ 上の回軸対称ナビエ＝ストークス方程式の有界な古代弱解について、リウヴィル型定理を確立する。$\Gamma = r v^\theta$ が有界で、解が $z$ 方向に周期的である場合、このような解は $z$ 方向に定数でなければならないことを証明する。この結果は、[5]における予想を周期的境界条件のもとで裏付け、$\mathbb{T}^1$ 要因のコンパクト性によるコンパクトネスを用いてハーナック推移と振動制御を用いる。

ABSTRACT

We establish a Liouville theorem for bounded mild ancient solutions to the axi-symmetric incompressible Navier-Stokes equations on $(-\infty, 0] imes (\mathbb{R}^2 imes \mathbb{T}^1)$. This is a step forward to completely solve the conjecture on $(-\infty, 0] imes \mathbb{R}^3$ which was made in \cite{KNSS} to describe the potential singularity structures of the Cauchy problem.

研究の動機と目的

• 回軸対称ナビエ＝ストークス方程式の有界な古代解の構造について、Koch らの予想 [5] を解決すること。
• スワイル量 $\Gamma = r v^\theta$ が有界で、$z$ 方向に周期的であるという条件下で、弱古代解に対するリウヴィル型結果を確立すること。
• 3次元ナビエ＝ストークス初期値問題における特異点の局所的構造を、吹き上がり解析を用いて理解すること。
• コンパクト性 $\mathbb{T}^1$ がストリーム関数の振動を制御できることを示し、解の剛性に繋がることを示すこと。

提案手法

• 方程式 $\partial_t \Gamma + (\mathbf{b} \cdot \nabla)\Gamma + \frac{2}{r}\partial_r \Gamma = \Delta \Gamma$ に従う $\Gamma = r v^\theta$ が満たすスカラー方程式に対するハーナック推移を用いる。
• 時間に一様に $L^\infty$ ノルムを制御するため、放物型最大原理を適用する。
• $\Gamma$ から導かれる非負で $z$ 周期的な下界解 $\Phi$ を構成し、ハーナック型推移を適用する。
• パラボリックシリンダ $P_R$ 上で台を持つ切り上げ関数 $\psi_R$ を用いてエネルギー推移を局所化し、特異な流れ項を制御する。
• チエビシェフの不等式と $L^2$ 基盤エネルギー推移を用いて、$\Phi$ の点での下界を導出し、振動の減衰を示す。
• 振動減衰推移を反復的に適用することで、$\Gamma$ が定数でなければならないことを示し、したがって $v^\theta \equiv 0$ となり、$\mathbf{v} = c \mathbf{e}_z$ となる。

実験結果

リサーチクエスチョン

• RQ1 有界な古代弱解 $\mathbf{v}$ が $\mathbb{R}^2 \times \mathbb{T}^1$ 上で $\Gamma = r v^\theta$ が有界で $z$ 方向に周期的である場合、$z$ 方向に非定数であってもよいのか？
• RQ2 $\mathbb{T}^1$ のコンパクト性は、全空間 $\mathbb{R}^3$ の設定と比較して、解の振動をより強く制御できるのか？
• RQ3 $\Gamma$-方程式に対するハーナック推移を用いて、有界性と周期性のもとで解の剛性を証明できるか？
• RQ4 $\Gamma$ の有界性と弱解構造が、速度場のグローバル正則性および定数性をどれほど示唆するのか？
• RQ5 3次元ナビエ＝ストークス初期値問題における特異点の吹き上がり手続きは、$z$ 方向に周期的な解を生じさせ、この設定の使用を正当化するのか？

主な発見

• 有界な古代弱解 $\mathbf{v}$ が $\mathbb{R}^2 \times \mathbb{T}^1$ 上で $\Gamma = r v^\theta$ が有界で $z$ 方向に周期的である場合、$\mathbf{v}$ は $z$ 方向に定数でなければならない。すなわち、ある定数 $c$ に対して $\mathbf{v} \equiv c \mathbf{e}_z$ である。
• 証明は、$\Gamma$-方程式に対するハーナック推移と、$z$ 周期性のおかげで、大きなパラボリックシリンダ上で $\Phi = (\Gamma - \inf \Gamma)/(\sup \Gamma - \inf \Gamma)$ の $L^1$ ノルムに一様な下界が得られることに依存する。
• 重要な推移では、半径 $R$ のパラボリックシリンダ上での $\Gamma$ の振動が、$\sqrt{\kappa}/4$ のスケーリングで縮小されると、因子 $1 - \sigma$ だけ減少し、反復的に減衰する。
• 振動の減衰は、$\Gamma$ が空間的・時間的に定数でなければならないことを示し、$r=0$ で $\Gamma \equiv 0$ であることから $\Gamma \equiv 0$ が導かれる。したがって $v^\theta \equiv 0$ であり、$\mathbf{v} = c \mathbf{e}_z$ となる。
• この結果は、$z$ 周期性という追加仮定のもとで [5] の予想を裏付けるものであり、これは特異点の吹き上がり解析において自然に生じる。
• この手法は、$\mathbb{T}^1$ のコンパクト性がストリーム関数の振動を制御できることを示し、非コンパクトな $\mathbb{R}^3$ の場合に成立しないリウヴィル型結論を可能にする。