[논문 리뷰] On the regularity of weak solutions of the 3D Navier-Stokes equations in $B^{-1}_{\infty,\infty}$

Alexey Cheskidov, Roman Shvydkoy|ArXiv.org|2007. 08. 22.

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

한 줄 요약

이 논문은 3D 나비에-스토크스 방정식의 레일리-호프 솔루션에 대한 새로운 정칙성 기준을 수립한다. 즉, 솔루션이 임계 베소프 공간 $B^{-1}_{∞,∞}$ 에서 연속이거나 점프가 점도의 상수배 이내로 제한될 경우, $(0,T]$ 에서 솔루션은 정칙이 된다는 것을 보여준다. 증명은 비선형 항의 주파수 국소화 추정에 기반하며, 고전적인 레이즈헨스카야-프로디-세린 기준을 임계 공간 $B^{-1}_{∞,∞}$ 에까지 확장한다.

ABSTRACT

We show that if a Leray-Hopf solution $u$ to the 3D Navier-Stokes equation belongs to $C((0,T]; B^{-1}_{\infty,\infty})$ or its jumps in the $B^{-1}_{\infty,\infty}$-norm do not exceed a constant multiple of viscosity, then $u$ is regular on $(0,T]$. Our method uses frequency local estimates on the nonlinear term, and yields an extension of the classical Ladyzhenskaya-Prodi-Serrin criterion.

연구 동기 및 목표

• 3D 나비에-스토크스 방정식의 약한 솔루션에 대한 새로운 정칙성 기준을 임계 공간 $B^{-1}_{∞,∞}$ 에서 수립하기.
• 임계 공간 $B^{-1}_{∞,∞}$ 에서의 유계성 또는 제어 가능한 불연속성의 존재가 레일리-호프 솔루션의 정칙성에 미치는 영향을 규명하기.
• 고전적인 레이즈헨스카야-프로디-세린 정칙성 기준을 3D 나비에-스토크스 방정식의 임계 스케일 공간의 끝점인 $B^{-1}_{∞,∞}$ 로 확장하기.

제안 방법

• 리틀우드-파일리 분해를 통한 주파수 국소화 에너지 추정을 활용하여 나비에-스토크스 방정식의 비선형 항을 제어하기.
• 베르너스 및 얀의 부등식을 적용하여 이중 주파수 블록 내의 비선형 상호작용을 유계화하기.
• 속도장의 $q$-번째 이중 주파수 프로젝션인 $u_q$ 에 대해 $\lambda_q^{2r-2}\|u_q\|_{L^2}^{2r}$ 를 위한 미분 부등식 유도하기.
• 점도와 $B^{-1}_{∞,∞}$-노름을 포함한 임계 조건을 도입하여 솔루션의 제어 가능한 점프를 允허하기.
• 레비의 수렴 정리와 고주파 블록에 대한 합계 추정을 활용하여 임계 공간 내에서 $\|u_q\|_{L^2}$ 의 성장률 제어하기.
• 임베딩 정리에 의해 정칙성을 보장하는, $s>1/2$ 에서의 $H^s$ 에서의 균일한 유계성, 즉 부분구간에서의 유계성 확립하기.

실험 결과

연구 질문

• RQ1 $(0,T]$ 에서 레일리-호프 솔루션이 공간 $B^{-1}_{∞,∞}$ 에서 연속일 경우, 그 구간에서 정칙성이 보장되는가?
• RQ2 솔루션이 $B^{-1}_{∞,∞}$ 에서 불연속성을 가질 수 있는가, 단지 점프 크기가 점도의 상수배 이내로 제한될 경우에 정칙성이 유지되는가?
• RQ3 고전적인 레이즈헨스카야-프로디-세린 기준은 3D NSE의 임계 스케일 공간의 끝점인 $B^{-1}_{∞,∞}$ 로 확장될 수 있는가?
• RQ4 $B^{-1}_{∞,∞}$-노름에 기반한 정량적 정칙성 임계 조건이 존재하는가, 이는 작은 점프가 존재하는 경우에도 전역 정칙성을 보장하는가?
• RQ5 결과는 동차 베소프 공간 $\dot{B}^{-1}_{∞,∞}$ 에도 확장되는가, 그리고 최근 문헌의 결과들과 비교해 볼 때 어떤가?

주요 결과

• 레일리-호프 솔루션 $u$ 가 $C((0,T];B^{-1}_{∞,∞})$ 에서 연속일 경우, $(0,T]$ 에서 정칙성이 성립한다.
• 해당 솔루션이 불연속일지라도, $B^{-1}_{∞,∞}$-노름에서의 모든 점프가 점도의 상수배 이내일 경우 정칙성이 유지된다.
• 어떤 $r \in (2,\infty)$ 에 대해 $\|u\|_{L^r((0,T);B^{rac{2}{r}-1}_{∞,∞})} < \infty$ 라면 솔루션은 정칙적이며, 이는 레이즈헨스카야-프로디-세린 기준을 극한 공간으로 확장하는 것이다.
• 모든 $t$ 에 대해 $\|u(t)\|_{B^{-1}_{∞,∞}} \leq c\nu$ 를 만족하는 솔루션은 정칙적이며, 이는 점도에 의존하는 임계 조건을 제공한다.
• 결과는 전체 공간 $\mathbb{R}^3$ 과 주기적 설정 모두에 대해 성립하여 광범위한 적용 가능성을 보인다.
• 해당 방법은 고전 기준의 정량적 확장 결과를 도출하며, 이는 점도와 적분 지수 $r$ 에 따라 달라진다.