[논문 리뷰] Kolmogorov's Theory of Turbulence and Inviscid Limit of the Navier-Stokes Equations in $\\R^3$

Gui‐Qiang Chen, James Glimm|arXiv (Cornell University)|2010. 08. 09.

Navier-Stokes equation solutions인용 수 6

한 줄 요약

이 논문은 점성 없는 극한에서 3차원 비압축성 나비에-스토크스 방정식이 옐러 방정식으로 수렴하는 수학적 프레임워크를 수립한다. 이는 코모고로프의 경로별 가설(K41w)을 활용하여 점성에 독립적인 분수계수 도함수의 균일한 유계성을 보장함으로써 이루어진다. 주요 결과는 속도의 강한 $L^q$ 수렴과 능동 스칼라의 약한-*수렴이 영양 측도 한계로 수렴함을 보이며, 고 레이놀즈 수 난류에서 수치적 수렴성과 존재 이론에 대한 엄밀한 기반을 제공한다.

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차원 나비에-스토크스 방정식에서 옐러 방정식으로의 점성 없는 극한을 엄밀한 수학적 프레임워크로 수립하기.
• 물리적으로 타당한 정규성 조건 하에서 나비에-스토크스 해가 옐러 해로 수렴함을 정당화하기.
• 점성에 독립적인 균일한 유계성을 제공하여 고 레이놀즈 수 극한에서의 분석을 가능하게 하기.
• 수렴 이론을 능동 스칼라로 확장하여 시공간에 의존하는 영양 측도로의 약한-*수렴을 보여주기.
• 점성에 독립적인 유계를 갖는 함수공간을 통해 수치 해의 해석을 제안하기.

제안 방법

• 코모고로프의 1941년 난류 가설(K41w)의 경로별 형태를 가정하여, 어떤 $\alpha>0$ 에 대해 속도의 $\alpha$-차수 분수계수 도함수에 대한 균일한 $L^2$ 유계성을 유도한다.
• 시간에 대한 $L^2$-등연속성과 점성 $\mu>0$ 에 독립적인 $q>2$ 에 대해 속도의 균일한 $L^q$ 유계성을 도출한다.
• 이 균일한 추정을 이용해 $\mathbb{R}^3$ 에서 나비에-스토크스 해가 옐러 방정식의 해로 강한 수렴함을 증명한다.
• 나비에-스토크스 방정식에 결합된 능동 스칼라를 분석하고, $L^∞$ 의 쌍대공간에서의 약한-*수렴을 확립한다.
• 능동 스칼라의 극한을 시공간에 의존하는 영양 측도로 표현하며, 이를 확률 밀도 함수(pdf)로 해석한다.
• 점성에 독립적인 유계를 갖는 함수공간을 통해 수렴을 기술함으로써 수치 시뮬레이션의 엄밀한 해석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 3차원 나비에-스토크스 방정식에서 옐러 방정식으로의 점성 없는 극한이 물리적으로 타당한 정규성 조건 하에서 엄밀히 수립될 수 있는가?
• RQ2 코모고로프의 K41 가설이 점성이 감소함에 따라 나비에-스토크스 해의 수렴을 보장할 정도로 충분한 균일한 정(regularity)을 유도하는가?
• RQ3 점성 없는 극한에서 능동 스칼라의 수렴 타입은 무엇이며, 이를 어떻게 수학적으로 기술할 수 있는가?
• RQ4 능동 스칼라 필드의 극한은 영양 측도로 표현될 수 있으며, 이는 비선형 함수성의 해에 어떤 의미를 갖는가?
• RQ5 고 레이놀즈 수 극한에서 점성에 독립적인 함수공간 프레임워크를 통해 수치 해를 어떻게 해석할 수 있는가?

주요 결과

• 경로별 코모고로프 가설(K41w)은 점성 $\mu>0$ 에 독립적인 속도의 $\alpha$-차수 분수계수 도함수에 대한 균일한 $L^2$ 유계성을 유도한다.
• 이 유계성은 시간에 대한 $L^2$-등연속성과 점성 $\mu$ 에 독립적인 $q>2$ 에 대해 속도의 균일한 $L^q$ 유계성을 유도한다.
• 균일한 추정은 $\mathbb{R}^3$ 에서 나비에-스토크스 해가 옐러 방정식의 해로 강한 수렴함을 이끌어낸다.
• 능동 스칼라의 경우 극한이 시공간에 의존하는 영양 측도로 약한-*수렴함을 보이며, 이를 확률 밀도 함수(pdf)로 표현할 수 있다.
• 영양 측도 표현은 고전적 약한-*수렴과 달리 해의 비선형 함수가 극한으로 전이될 수 있도록 허용한다.
• 이 프레임워크는 수치 해의 해석을 위한 점성에 독립적인 함수공간을 제공하며, 고 레이놀즈 수 극한에서의 존재 이론을 뒷받침한다.