[논문 리뷰] Global Well-Posedness of Classical Solutions to the Cauchy problem of Two-Dimensional Baratropic Compressible Navier-Stokes System with Vacuum and Large Initial Data

Xiangdi Huang, Jing Li|arXiv (Cornell University)|2012. 07. 16.

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

한 줄 요약

이 논문은 무한대에서 진공이 존재하고 초기 자료가 큰 조건 하에서 전체 공간 $\mathbb{R}^2$ 상에서 2차원 비압축성 압축성 나비에-스토크스 방정식의 전역 고전적 해의 존재성과 유일성을 확립한다. 일정한 비선형 점성계수와 밀도에 비례하는 체적 점성계수 $\lambda = \rho^\beta$ ($\beta > 4/3$)를 가정함으로써, 초기 자료 크기에 제한 없이 장기적인 존재성과 해의 정칙성을 증명하며, 다차원 점성 기체 역학 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

For smooth initial data, we establish the global existence and uniqueness of strong and classical solutions to the Cauchy problem for the barotropic compressible Navier-Stokes equations in two spatial dimensions with vacuum state as far field and with no restrictions on the size of initial data provided the shear viscosity is a positive constant and the bulk one is $λ= ρ^β$ with $β>4/3$.

연구 동기 및 목표

• 무한대에서 진공이 존재하고 초기 자료가 큰 조건 하에서 $\mathbb{R}^2$ 상의 2차원 압축성 나비에-스토크스 방정식에 대한 전역 고전적 해 존재성 문제를 해결하기 위해.
• 이전에 전역 존재성을 소에너지 또는 소진동 조건으로 제한했던 초기 자료 크기 제약 조건을 제거하기 위해.
• 이전 결과에서 요구하던 $\beta > 3$ 조건을 임계 조건인 $\beta > 4/3$로 확장하여 허용 가능한 점성 법칙의 범위를 향상시키기 위해.
• 밀도와 속도에 대해 시간에 독립적인 균일한 바ounds를 확립하여 장기적인 정칙성과 유일성을 보장하기 위해.
• 초기 자료가 열린 집합에서 0이 될 수 있는 비유계 영역에서의 코시 문제에 대해 엄밀한 프레임워크를 제공하기 위해.

제안 방법

• 무한대에서의 감쇠와 적분 가능성을 제어하기 위해 가중치 $\bar{x}^a = (e + |x|^2)^{1/2} \log^{1+\eta_0}(e + |x|^2)$ 를 사용하는 가중치가 부여된 소볼레프 공간을 활용한다. 여기서 $\eta_0 = \frac{3}{8} - \frac{1}{2\beta} > 0$ 이다.
• 정규화 및 부드러운 처리 절차를 통해 필요한 정칙성과 감쇠 조건을 만족하는 근사 초기 자료 $\rho_0^\delta$, $u_0^\delta$ 를 구성한다.
• 지역 존재 이론(보조정리 2.1)을 적용하여 정규화된 문제에 대해 국소 강한 해를 확보한 후, $\delta$ 에 대해 독립적인 균일한 사전 추정을 도출한다.
• 밀도 $\rho$, 속도 $u$ 및 그 도함수에 대한 에너지 및 고차수 추정을 도출하며, $\|\nabla u\|_{L^2}$, $\|\rho\|_{L^\infty}$, $\|\bar{x}^a \rho\|_{L^1 \cap H^1}$ 등의 추정을 포함한다.
• $\delta \to 0$ 일 때의 극한으로 가는 데 있어 컴actness 추론과 레베그 및 소볼레프 공간에서의 약한/강한 수렴을 이용하여 극한을 취하고 전역 해를 복원한다.
• 리아프리드-리앙(2013)의 방법과 유사한 에너지 추정과 비교 분석을 통해 유일성을 확립하며, 이를 가중치와 비유계 영역 설정에 맞게 조정한다.

실험 결과

연구 질문

• RQ1 무한대에서 진공이 존재하고 초기 자료 크기에 제한 없이 2차원 압축성 나비에-스토크스 방정식의 전역 고전적 해가 존재할 수 있는가?
• RQ2 전역 존재성과 정칙성을 보장하기 위해 체적 점성계수 법칙 $\lambda(\rho) = \rho^\beta$ 에 필요한 최소 조건은 무엇인가?
• RQ3 초기 자료가 크고 가능하면 비특이성(즉, 진공 허용)인 경우에도 밀도와 속도에 대해 시간에 독립적인 균일한 바ounds를 확립할 수 있는가?
• RQ4 유계 영역 또는 주기적 설정에서의 전역 해 존재성 이론을 전체 공간 $\mathbb{R}^2$ 상에서 진공 조건이 존재하는 경우로 확장할 수 있는가?
• RQ5 가중치 $\bar{x}^a$ 와 로그 가중치를 포함하는 가중치 노름이 공간 무한대에서의 행동을 제어하는 데 어떻게 기여하는가?

주요 결과

• 저자들은 무한대에서 진공이 존재하고 초기 자료가 큰 조건 하에서 $\mathbb{R}^2$ 상의 2차원 압축성 나비에-스토크스 방정식에 대해 전역 고전적 해의 존재성과 유일성을 증명한다.
• 체적 점성계수 $\lambda = \rho^\beta$ 에 대해 조건 $\beta > 4/3$ 가 성립할 경우에 이 결과가 성립하며, 이는 이전의 Vaigant-Kazhikhov(1997)의 결과인 $\beta > 3$ 보다 향상된 임계 조건이다.
• 해는 시간에 독립적인 균일한 바ounds를 만족한다: 모든 $t \geq 0$ 에 대해 $\|\rho(t)\|_{L^\infty} \leq C$ 및 $\|\nabla u(t)\|_{L^2} \leq C$ 를 만족하며, 여기서 $C$ 는 시간에 의존하지 않는다.
• 초기 자료는 크기가 크고 열린 집합에서 0이 될 수 있으며, $\bar{x}^a \rho_0 \in L^1 \cap H^1 \cap W^{1,q}$ ($q > 2$ 및 $a \in (1,2)$) 를 만족하는 한 가능하다.
• 해는 강한 고전적 해이며, 임의의 $T > 0$ 에 대해 $\rho \in C([0,T]; L^1 \cap H^1 \cap W^{1,q})$ 및 $\bar{x}^a \rho \in L^\infty(0,T; L^1 \cap H^1)$ 를 만족하여 정칙성과 감쇠를 보장한다.
• 증명은 정규화 및 컴팩턴스 추론에 기반하며, 근사 초기 자료에서 극한으로 가는 과정을 거치며, 소볼레프 공간에서 강한 및 약한 위상에서 수렴이 확립된다.