[論文レビュー] Kolmogorov's Theory of Turbulence and Inviscid Limit of the Navier-Stokes Equations in $\\R^3$

Gui‐Qiang Chen, James Glimm|arXiv (Cornell University)|Aug 9, 2010

Navier-Stokes equation solutions被引用数 6

ひとこと要約

本稿は、Kolmogorovの経路的仮説（K41w）を用いて、3次元非圧縮性ナビエ＝ストークス方程式の無粘性極限がオイラー方程式にどのように定式化されるかを数学的に確立する。K41wは、粘性に依存しない分数階微分の有界性を示唆する。主な結果は、速度の強L^q収束および被動スカラーの弱-star収束がヤング測度の極限に一致することであり、高レイノルズ数乱流における数値的収束性と存在理論の厳密な根拠を提供する。

ABSTRACT

We are concerned with the inviscid limit of the Navier-Stokes equations to the Euler equations in $\\R^3$. We first observe that a pathwise Kolmogorov hypothesis implies the uniform boundedness of the $\\alpha^{th}$-order fractional derivative of the velocity for some $\\alpha>0$ in the space variables in $L^2$, which is independent of the viscosity $\\mu>0$. Then it is shown that this key observation yields the $L^2$-equicontinuity in the time and the uniform bound in $L^q$, for some $q>2$, of the velocity independent of $\\mu>0$. These results lead to the strong convergence of solutions of the Navier-Stokes equations to a solution of the Euler equations in $\\R^3$. We also consider passive scalars coupled to the incompressible Navier-Stokes equations and, in this case, find the weak-star convergence for the passive scalars with a limit in the form of a Young measure (pdf depending on space and time). Not only do we offer a framework for mathematical existence theories, but also we offer a framework for the interpretation of numerical solutions through the identification of a function space in which convergence should take place, with the bounds that are independent of $\\mu>0$, that is in the high Reynolds number limit.

研究の動機と目的

• 3次元ナビエ＝ストークス方程式のオイラー方程式への無粘性極限に対する厳密な数学的枠組みを確立すること。
• 物理的に妥当な正則性仮定の下で、ナビエ＝ストークス解がオイラー解に収束することを正当化すること。
• 粘性に依存しない一様な有界性を提供し、高レイノルズ数極限における解析を可能にすること。
• 収束理論を被動スカラーに拡張し、空間時間依存ヤング測度への弱-star収束を示すこと。
• 粘性に依存しない有界性を持つ関数空間を用いて、数値解の解釈を新たに提示すること。

提案手法

• Kolmogorovの1941年乱流仮説（K41w）の経路的バージョンを仮定し、あるα>0に対して速度のα階分数微分のL^2有界性が粘性μ>0に依存しないことを示す。
• 時間に関するL^2-等連続性およびq>2のL^q有界性（両方とも粘性μ>0に依存しない）を導出する。
• これらの一様推定を用いて、R^3上でのナビエ＝ストークス解がオイラー方程式の解に強い収束することを証明する。
• ナビエ＝ストークス方程式に結合された被動スカラーを解析し、L^∞の双対空間における弱-star収束を確立する。
• 被動スカラーの極限を空間時間依存ヤング測度として表現し、確率密度関数（pdf）として解釈する。
• 粘性μに依存しない有界性を持つ関数空間の観点から収束を定式化し、数値シミュレーションの厳密な解釈を可能にする。

実験結果

リサーチクエスチョン

• RQ1 物理的に妥当な正則性仮定の下で、3次元ナビエ＝ストークス方程式の無粘性極限がオイラー方程式に厳密に確立可能か？
• RQ2 KolmogorovのK41仮説は、粘性が消える際のナビエ＝ストークス解の収束を保証するのに十分な一様正則性を示唆するか？
• RQ3 被動スカラーの無粘性極限において、どのような収束が成立し、どのように数学的に定式化できるか？
• RQ4 被動スカラー場の極限はヤング測度として表現可能か？これは非線形関数の極限への通過にどのような意味を持つか？
• RQ5 高レイノルズ数極限において、粘性に依存しない関数空間枠組みを用いて、数値解をどのように解釈できるか？

主な発見

• 経路的Kolmogorov仮説（K41w）は、粘性μ>0に依存しない速度のα階分数微分のL^2有界性を示唆する。
• これらの有界性は、時間に関するL^2-等連続性およびq>2の速度のL^q有界性（両方ともμに依存しない）を導く。
• 一様推定により、R^3上でのナビエ＝ストークス解がオイラー方程式の解に強い収束する。
• 被動スカラーに関しては、極限が空間時間依存ヤング測度に弱-star収束することが示され、確率密度関数（pdf）として表現される。
• ヤング測度の定式化により、解の非線形関数が極限に通過できることを保証する。これは、古典的な弱-star収束とは異なり、非線形関数の極限への通過が可能になる。
• 本枠組みは、数値解の解釈に適した粘性に依存しない関数空間を提供し、高レイノルズ数極限における存在理論を支持する。