[論文レビュー] Long-time asymptotics of the Navier-Stokes and vorticity equations on R^3

Th. Gallay, C. Eugene Wayne|arXiv (Cornell University)|Feb 26, 2001

Navier-Stokes equation solutions参考文献 22被引用数 13

ひとこと要約

この論文は、3次元ナビエ＝ストークス方程式の解の長時間挙動を、渇きの式を用いて分析し、自己相似変数を導入して2次までの漸近展開を計算する。$ L^2 $ノルムで $ t^{-5/4} $ より速く減衰する解は、滑らかで余次元11の不変部分多様体上に存在することを示し、展開係数のための有限系の常微分方程式の可解性によって、このような解の明確な特徴付けが得られる。

ABSTRACT

We use the vorticity formulation to study the long-time behavior of solutions to the Navier-Stokes equation on R^3. We assume that the initial vorticity is small and decays algebraically at infinity. After introducing self-similar variables, we compute the long-time asymptotics of the rescaled vorticity equation up to second order. Each term in the asymptotics is a self-similar divergence-free vector field with Gaussian decay at infinity, and the coefficients in the expansion can be determined by solving a finite system of ordinary differential equations. As a consequence of our results, we are able to characterize the set of solutions for which the velocity field converges to zero faster than t^(-5/4) in energy norm. In particular, we show that these solutions lie on a smooth invariant submanifold of codimension 11 in our function space.

研究の動機と目的

• 標準的な $ t^{-5/4} $ 減衰率を上回る長時間におけるナビエ＝ストークス方程式の解の減衰挙動を理解すること。
• $ \|\mathbf{u}(\cdot,t)\|_{L^2} = o(t^{-5/4}) $ となる解を特徴付けること。
• 自己相似変数を用いて、スケーリングされた渇き方程式の2次までの体系的漸近展開を導出すること。
• 速度場の $ L^2 $ ノルムが $ t^{-5/4} $ より速く減衰する正確な条件を、渇きの式とバイオ＝サバール則を用いて同定すること。

提案手法

• 渇き方程式 $ \partial_t \boldsymbol{\omega} + (\mathbf{u} \cdot \nabla)\boldsymbol{\omega} - (\boldsymbol{\omega} \cdot \nabla)\mathbf{u} = \Delta \boldsymbol{\omega} $ の構造を活用するため、ナビエ＝ストークス方程式を渇きの式に変換する。
• 渇き方程式に自己相似スケーリングを適用し、空間と時間をスケーリングする変数を導入して、漸近的自己相似挙動を捉える。
• 無限遠でガウス的減衰を示す自己相似的で発散なしのベクトル場の基底に基づいて、スケーリング済み渇き場を展開する。
• 展開における係数を記述する有限の常微分方程式系を導出し、それが長時間ダイナミクスを支配することを示す。
• バイオ＝サバール則を用いて渇きから速度場を再構成し、その $ L^2 $ ノルムの減衰を分析する。
• 重み付き $ L^2 $ 空間におけるモーメント条件と減衰推定を適用し、急激に減衰する解の部分多様体を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 3次元ナビエ＝ストークス方程式において、時間の大きさに対して渇き場の正確な漸近的構造は何か？
• RQ2 速度場の $ L^2 $ ノルムが $ t^{-5/4} $ より速く減衰する条件は何か？
• RQ3 $ \|\mathbf{u}(\cdot,t)\|_{L^2} = o(t^{-5/4}) $ となる解の集合は、関数空間内で幾何的にどのように特徴付けられるか？
• RQ4 初期渇きのモーメント条件が長時間減衰率に与える役割は何か？
• RQ5 自己相似変数を用いて、渇きの漸近展開を2次まで計算可能か？

主な発見

• $ t \to \infty $ のとき $ \|\mathbf{u}(\cdot,t)\|_{L^2} = o(t^{-5/4}) $ となる解は、初期データの関数空間における滑らかで余次元11の不変部分多様体上にある。
• スケーリング済み渇き方程式の長時間漸近挙動は2次まで計算されており、各項は無限遠でガウス的減衰を示す自己相似的で発散なしのベクトル場である。
• 漸近展開における係数は、スケーリング済み渇き方程式から導出された有限の常微分方程式系を解くことで決定される。
• 急激に減衰する解の特徴付けは、初期データの $ (1+|x|) $ における可積分性とは無関係であり、ミヤカワとショーンベックの先行研究における制限を解消する。
• 速度場の $ L^2 $ ノルムの減衰率は、初期渇きおよびその時間積分の特定のモーメント条件の消滅によって完全に決定される。
• 結果として、一般の初期データに対して $ t^{-5/4} $ 減衰率は鋭く、より速い減衰は正確な代数的および対称性の制約のもとでのみ発生する。