[논문 리뷰] Regularity criteria in weak $L^3$ for 3D incompressible Navier-Stokes equations

Yuwen Luo, Tai‐Peng Tsai|arXiv (Cornell University)|2013. 10. 30.

Navier-Stokes equation solutions참고 문헌 17인용 수 8

한 줄 요약

이 논문은 3차원 비압축성 나비에-스토크스 방정식의 분포해에 대한 새로운 정칙성 기준을 경계선인 약한 $L^3$ 공간에서 설정한다. 만약 속도 $u$가 $L^{\frown}(0,1;L^{3,\frown}(B_2))$에서 충분히 작고, 압력 $p$가 $m>2$에 대해 $L^m(0,1;L^1(B_2))$에 속한다면, $u$는 $B_1 \times (1/10,1)$에서 유계가 된다. 이는 기존의 김-코조노의 정적 해 결과를 시간에 의존하는 경우로 확장한 것으로, 기울기 유계 조건을 요구하지 않는다.

ABSTRACT

We study the regularity of a distributional solution $(u,p)$ of the 3D incompressible evolution Navier-Stokes equations. Let $B_r$ denote concentric balls in $\mathbb{R}^3$ with radius $r$. We will show that if $p\in L^{m} (0,1; L^1(B_2))$, $m>2$, and if $u$ is sufficiently small in $L^{\infty} (0,1; L^{3,\infty}(B_2))$, without any assumption on its gradient, then $u$ is bounded in $B_1 imes (\frac{1}{10},1)$. It is an endpoint case of the usual Serrin-type regularity criteria, and extends the steady-state result of Kim-Kozono to the time dependent setting. In the appendix we also show some nonendpoint borderline regularity criteria.

연구 동기 및 목표

• 3차원 비압축성 나비에-스토크스 방정식의 시간에 의존하는 분포해에 대한 정칙성 기준을 수립하는 것.
• 약한 $L^3$ 공간에서의 세린형 기준의 극한 경우, 특히 $L^{\frown}(0,1;L^{3,\frown})$를 다루는 것.
• 기존의 약한 해 결과와 비교해 $u$에 대한 기울기 유계 조건이 필요 없도록 하는 것이 핵심적 혁신점이다.
• 김과 코조노의 정적 해 정칙성 결과를 압력과 속도에 대한 최소한의 가정 하에 시간에 의존하는 설정으로 확장하는 것.

제안 방법

• 기울기나 압력 가정 없이도 작동하는 매우 약한 해에 대한 초임계 내부 정칙성 기준을 이용한다. 이 기준은 $L^s(0,1;L^q(B_2))$ 공간에서 $3/q + 2/s < 1$인 경우에 적용된다.
• 절단 함수 $\varphi$와 조화함수 $\eta$를 사용해 국소화된 속도 $v = \varphi u + \nabla \eta$를 구성하며, 이는 변형된 나비에-스토크스 방정식을 만족한다.
• 선형화된 시스템의 해 $v^0$과 특이 적분 연산자 $\Phi$를 사용해 사상 $\Lambda v = v^0 - \Phi(\tilde{\varphi}u \otimes v)$에 고정점 정리를 적용한다.
• 요운 부등식과 로렌츠 공간 추정을 통해 비선형 항 $\Phi(\tilde{\varphi}u \otimes v)$를 $L^sL^{q+\delta}$에서 $\delta > 0$가 작을 때 제어하며, 원하는 함수 공간 내 존재성과 유일성을 확보한다.
• $\|u\|_{L^{\frown}(0,1;L^{3,\frown}(B_2))}$의 작음을 이용해 고정점 정리를 닫고 국소적으로 유계성을 확보한다.

실험 결과

연구 질문

• RQ1 기울기 제어 없이, 약한 $L^3$에서의 작음과 압력의 적분 가능성만으로 3D 나비에-스토크스 방정식의 분포해의 정칙성이 보장될 수 있는가?
• RQ2 압력이 $m>2$에 대해 $L^m(0,1;L^1)$에 속할 때, $u \in L^{\frown}(0,1;L^{3,\frown})$인 극한 세린형 기준이 국소적으로 유계임을 의미하는가?
• RQ3 김과 코조노의 약한 $L^3$ 공간에서의 정적 해 정칙성 결과를 최소한의 가정 하에 시간에 의존하는 경우로 확장할 수 있는가?
• RQ4 표준적인 약한 해 가정인 $u \in L^2(0,1;H^1)$ 또는 $u \in L^{\frown}(0,1;L^2)$을 가정하지 않고도 정칙성을 확보할 수 있는가?

주요 결과

• 작은 전역 상수 $\varepsilon_1 > 0$이 존재하여, $\|u\|_{L^{\frown}(0,1;L^{3,\frown}(B_2))} \leq \varepsilon_1$ 이고 $p \in L^m(0,1;L^1(B_2))$ (where $m > 2$) 라면, $u$는 $B_1 \times (1/10, 1)$에서 유계가 된다.
• $\|u\|_{L^{\frown}(0,1;L^{3,\frown}(B_2))}$의 작음이 정칙성에 충분하며, 임계값 $\varepsilon_1$는 $m$과 $\|p\|_{L^m(0,1;L^1(B_2))}$에 독립적이다.
• 기울기 $u$에 대한 어떤 가정도 필요 없으며, 이는 고전적인 세린형 기준과의 주요 차이점이다.
• 증명은 $L^sL^q$와 $L^sL^{q+\delta}$ 공간에서 고정점 정리를 사용하며, $3/q + 2/s = 1$ 조건을 만족한다. 이는 초임계 정칙성 기준을 통해 국소적으로 유계성을 확보한다.
• 이 방법은 열화 잠재력의 쌍대 기반 정의를 피하고, 복합적 연산자 $\Phi$를 사용함으로써 로렌츠 공간에서 더 강력한 추정을 가능하게 한다.
• 김과 코조노의 정적 해 정칙성 결과인 $L^{3,\frown} \times L^1_{\text{loc}}$를 시간에 의존하는 설정으로 확장하여, 새로운 극한 정칙성 기준을 제공한다.