[논문 리뷰] The energy conservation and regularity for the Navier-Stokes equations

Wenying Tan, Zhaoyang Yin|arXiv (Cornell University)|2021. 07. 09.

Navier-Stokes equation solutions참고 문헌 26인용 수 5

한 줄 요약

이 논문은 3차원 나비에-스토크스 방정식의 약한 해에 대한 에너지 보존 및 정칙성 문제를 최적 경계 레르베르트-보르델로 공간 $L^{2,\infty}(BMO)$ 에서 다룬다. 이는 $BMO$ 노름에서 타입 II 폭발을 보이지만 $L^{\infty}$-노름에서는 유계인 발산이 없는 해를 구성하고, $L^{2,\infty}(BMO)$ 가역성 조건 하에서 국소 에너지 등식을 증명하며, $t \to T$ 일 때 $||u(t)||_{BMO} \gtrsim \frac{1}{\sqrt{T-t}}$ 의 날카운 폭발 속도를 확립한다. 이러한 결과들은 임계 경계 공간에서 정칙성 기준과 에너지 보존에 대한 열린 문제를 해결한다.

ABSTRACT

In this paper, we consider the energy conservation and regularity of the weak solution $u$ to the Navier-Stokes equations in the endpoint case. We first construct a divergence-free field $u(t,x)$ which satisfies $\lim_{t o T}\sqrt{T-t}||u(t)||_{BMO}0$. Furthermore, we prove that if $||u_3||_{L^{2,\infty}([0,T];BMO(\mathbb{R}^3))}=M

연구 동기 및 목표

• 3차원 나비에-스토크스 방정식의 약한 해에 대한 정칙성과 에너지 보존을 임계 경계 공간 $L^{2,\infty}(BMO)$ 에서 조사한다.
• 기존 정칙성 기준의 경계에 위치한 $L^{2,\infty}(BMO)$ 공간에서 타입 II 폭발이 가능할지 여부를 규명한다.
• 유한 시간 특이점에 접근할 때 $BMO$ 노름의 폭발 속도에 대한 날카운 하한을 확립한다.
• $||u||_{L^{2,\infty}([0,T];BMO(\Omega))} < \infty$ 조건 하에서 국소 에너지 등식이 $[0,T] \times \Omega$ 에서 성립함을 증명하며, 이는 $\Omega \subseteq \mathbb{R}^3$ 에 대해 성립하고, $\mathbb{R}^3$ 에서 노름이 유계이면 전역 에너지 등식이 성립함을 보인다.
• $u_3$ 가 동일한 공간에서 유계일 때, 수평 성분 $u_h$ 가 $L^{2,\infty}(BMO)$ 에서 충분히 작을 경우에 전역 정칙성을 보장하는 조건부 정칙성 기준을 유도한다.

제안 방법

• 레일리 프로젝터 $\mathbb{P}$ 를 통해 비압축성을 확보하기 위해, $v = |x|^{\sqrt{T-t}}(-\ln|x|)^s \phi(x)$ 라는 특이 프로파일을 사용하여 발산이 없는 벡터장 $u(t,x)$ 를 구성한다.
• 변수 치환과 감마 함수 추정을 통해 $\sqrt{T-t} \nabla v$ 의 $L^3$-노름을 추정하여, $u = \mathbb{P}v$ 의 $BMO$ 노름을 제어한다.
• $\dot{W}^{1,3}(\mathbb{R}^3) \hookrightarrow BMO(\mathbb{R}^3)$ 임bedding 을 이용하여 $||u(t)||_{BMO} \lesssim \frac{1}{\sqrt{T-t}}$ 를 증명한다.
• 원점에서 $\mathbb{P}v$ 의 리프스 변환 성분을 분석하여 $||u(t)||_{L^\infty} \gtrsim \frac{1}{(T-t)^{1 + s/2}}$ 의 하한을 확립한다.
• $L^3$ 에서 리프스 변환의 유계성과 $\phi$ 의 감쇠성을 이용하여 $\mathbb{P}v$ 의 $L^\infty$-노름을 제어한다.
• $||u_3||_{L^{2,\infty}(BMO)} = M < \infty$ 라는 가정 하에, $||u_h||_{L^{2,\infty}(BMO)}$ 가 작을 경우 전역 정칙성을 보장하는 조건부 정칙성 기준을 도출한다.

실험 결과

연구 질문

• RQ1 임계 경계 공간인 $L^{2,\infty}(BMO)$ 에서, $||u(t)||_{BMO}$ 는 $\sqrt{T-t}$ 스케일링 하에 유계이지만 $||u(t)||_{L^\infty}$ 는 폭발하는 경우 타입 II 폭발이 발생할 수 있는가?
• RQ2 $||u||_{L^{2,\infty}([0,T];BMO(\Omega))} < \infty$ 조건이 임의의 $\Omega \subseteq \mathbb{R}^3$ 에 대해 $[0,T] \times \Omega$ 에서 국소 에너지 등식을 유도하는가?
• RQ3 유한 시간 특이점에 접근할 때 $||u(t)||_{BMO}$ 의 폭발 속도는 어떤가? ($t \to T^-$)
• RQ4 $u_3$ 가 $L^{2,\infty}(BMO)$ 에서 유계이고, $u_h$ 가 동일한 공간에서 충분히 작을 경우 정칙성이 보장될 수 있는가?
• RQ5 $||u||_{L^{2,\infty}([0,T];BMO(\mathbb{R}^3))} < \infty$ 라면 전역 에너지 등식이 성립하는가?

주요 결과

• 논문은 $\lim_{t\to T} \sqrt{T-t} ||u(t)||_{BMO} < \infty$ 이지만 $\lim_{t\to T} \sqrt{T-t} ||u(t)||_{L^\infty} = \infty$ 를 만족하는 발산이 없는 해 $u(t,x)$ 를 구성하여, $L^{2,\infty}(BMO)$ 공간에서 타입 II 폭발이 허용됨을 보였다.
• 어떤 $\Omega \subseteq \mathbb{R}^3$ 에 대해서도 $||u||_{L^{2,\infty}([0,T];BMO(\Omega))} < \infty$ 라면, $[0,T] \times \Omega$ 에서 국소 에너지 등식이 성립한다. 이는 경계 설정에서 날카운 결과이다.
• 전역 에너지 등식은 $||u||_{L^{2,\infty}([0,T];BMO(\mathbb{R}^3))} < \infty$ 라면 국소 에너지 등식 결과의 직접적인 추론으로 성립한다.
• $t \to T^-$ 일 때, 어떤 해의 $BMO$ 노름은 절대 상수 $c > 0$ 에 대해 $\frac{c}{\sqrt{T-t}}$ 보다 빠르게 폭발해야 하므로, 폭발 속도에 대한 날카운 하한이 확립된다.
• $||u_3||_{L^{2,\infty}([0,T];BMO(\mathbb{R}^3))} = M < \infty$ 이면, $c_M > 0$ 이 존재하여 $||u_h||_{L^{2,\infty}([0,T];BMO(\mathbb{R}^3))} \leq c_M $ 이면 해 $u$ 는 $(0,T] \times \mathbb{R}^3$ 에서 정칙함을 보이며, 이는 조건부 정칙성 기준을 제공한다.
• 구성 결과는 $L^{2,\infty}(BMO)$ 와 $L^{2,\infty}(L^\infty)$ 가 임계 영역에서 비교 가능하지 않음을 보여주며, $\sqrt{T-t}$ 스케일링 하에 $BMO$ 에서는 유계이지만 $L^\infty$ 에서는 무한대가 되는 해가 존재할 수 있음을 보여주며, 폭발 맥락에서 이 공간들의 본질적 차이를 부각한다.