Local well-posedness of strong solutions to the compressible Navier-Stokes equations with degenerate viscosities and far field vacuum in 3D exterior domains

기술 요약: 퇴화된 점성 및 원거리 진공이 존재하는 3차원 외부 도메인에서의 압축성 나비에-스토크스 방정식의 강한 해의 국소적 적정성

문제 정의
본 논문은 일반적인 외부 도메인 $\Omega = \mathbb{R}^3 \setminus \bar{D}$ (여기서 $D$는 유계인 매끄러운 도메인)에서 밀도 의존적(퇴화된) 점성을 갖는 3차원 등엔트로피 압축성 나비에-스토크스 방정식의 강한 해의 국소적 적정성을 조사한다. 이 시스템은 $\mu(\rho) = \mu\rho^\delta$ 및 $\lambda(\rho) = \lambda\rho^\delta$ ($0 < \delta < 1$)와 같은 밀도 의존적(퇴화된) 점성을 특징으로 한다. 본 연구는 초기 밀도가 원거리 진공($|x| \to \infty$일 때 $\rho \to 0$)으로 접근하고, 유체가 $\partial\Omega$에서 다음과 같은 나비에-슬립(Navier-slip) 경계 조건을 만족하는 초기-경계값 문제(IBVP)를 다룬다:
$$u \cdot n = 0, \quad \text{curl} u \times n = -A(x)u \quad \text{on } \partial\Omega,$$
여기서 $A$는 대칭 행렬이다. 주요 과제는 진공이 나타날 때 모멘텀 방정식에서 발생하는 이중 퇴화와 외부 도메인에서의 경계 항에 의해 도입되는 복잡성이다.

방법론
저자들은 퇴화를 처리하기 위해 $\rho^\delta$로 모멘텀 방정식을 나누는 Li-Li [17]에서 착안한 재구성 전략을 채택한다. 시스템은 다음과 같이 변환된다:
$$\rho^{1-\delta}u_t + \rho^{1-\delta}u \cdot \nabla u - Lu + \frac{a\gamma}{\gamma-\delta}\nabla \rho^{\gamma-\delta} = \delta \nabla \log \rho \cdot S(u),$$
여기서 $L$은 라메(Lamé) 연산자이다.

강한 해의 국소적 존재성을 확립하기 위해, 저자들은 다음과 같은 기술적 접근법을 사용한다:

1. 환형 도메인에서의 근사: 문제를 외부 도메인을 근사하기 위해 먼저 유계 환형 도메인 $\Omega_R = \Omega \cap B_R$에서 해결한다. 반지름 $R$에 독립적인 사전 추정치(a priori estimates)를 도출한다.
2. 경계 항 처리: 나비에-슬립 조건에서 발생하는 경계 항을 관리하는 데 상당한 분석을 할애한다. 코시 문제(Cauchy problem)와 달리, 에너지 추정치의 경계 항은 반드시 양의 정부호가 아닌 행렬 $A$를 포함한다. 저자들은 밀도 $\rho$가 경계 근처($\text{특히 } \Omega_0 = \Omega \cap B_{2R_0}$)에서 양의 하한을 유지한다는 새로운 관찰을 활용하여, 경계 적분에서의 $\rho$의 음수 거듭제곱을 제어한다.
3. 가중 추정(Weighted Estimates): $\nabla \rho^{\frac{\delta-1}{2}}$ 및 $\rho^{\frac{\delta-1}{2}} \text{div} u$와 같은 항들에 대한 결정적인 가중 추정치를 도출한다. 저자들은 컷오프 함수 방법과 외부 도메인 구조에 적합하게 조정된 특정 div-curl 렘마를 활용하여, 첫 번째 베티 수(Betti number)가 0이 아닌 환형 도메인에서 타원형 추정치를 도출하는 어려움을 극복한다.
4. 폭발 기준(Blow-up Criterion): 국소 해를 전역 시간으로 확장하기 위해 폭발 기준을 설정한다. 이는 변형 텐서 $D(u)$의 $L^1(0,T; L^\infty)$ 노름과 경계 근처의 밀도 구배에 대한 특정 노름을 제어하는 것을 포함한다.

주요 기여 및 결과
본 논문은 다음의 주요 결과를 확립한다:

• 정리 1.1 (국소적 적정성): $\gamma > 1$ 및 $0 < \delta < 1$ 조건 하에, 초기 데이터 $(\rho_0, u_0)$가 특정 정칙성 및 적합성 조건( $\rho_0^{\frac{\gamma-1+\delta}{2}} \in D^1_0 \cap D^2$ 및 적합성 조건 $L(u_0) = \rho_0^{\frac{1-\delta}{2}}g$를 포함)을 만족하면, 시간 구간 $[0, T_0]$에서 유일한 강한 해가 존재한다. 이 해는 $\rho^{\frac{\delta-1}{2}} \in L^\infty(0, T_0; L^6(\Omega_0))$를 포함한 특정 정칙성 속성을 만족하며, 이는 경계 근처에서 밀도가 0으로부터 떨어져 있음을 보장한다.
• 매개변수 독립성: $\delta$의 선택이 단열 지수 $\gamma$와 독립적이라는 점은 핵심적인 기여이다. 이는 $\gamma \to 1$일 때 $\delta \to 1$이어야 했던 이전 연구들(예: Xin-Zhu [33], Liu-Zhong [23])과 대조된다.
• 완화된 적합성 조건: 본 논문은 단 하나의 적합성 조건(1.13)만을 요구하며, 이는 외부 도메인에 대한 기존 문헌에서 발견된 두 개의 추가적인 제한적 제약을 제거한다.
• 정리 1.2 (폭발 기준): 강한 해의 유한 시간 폭발에 대한 기준이 제공된다. 만약 최대 존재 시간 $T^*$가 유한하다면, $D(u)$의 $L^1(0,T; L^\infty)$ 노름, $\rho^{\frac{\delta-1}{2}}$의 $L^\infty(0,T; L^6(\Omega_0))$ 노름, 그리고 $\nabla \rho^{\frac{\delta-1}{2}}$의 $L^\infty(0,T; D^{1,2})$ 노름의 합이 발산해야 한다.

의의
본 논문은 퇴화된 점성을 가진 압축성 나비에-스토크스 방정식의 이론을 코시 문제에서 더 일반적인 외부 도메인의 경계값 문제로 확장한다고 주장한다. $\delta$와 $\gamma$ 사이의 제약을 분리함으로써, 결과는 특정 극한 관계를 요구하지 않고 맥스웰 분자(Maxwellian molecules)를 포함한 더 넓은 범위의 물리적 시나리오를 포괄한다. 원거리 진공과 비양의 정부호 경계 행렬이 존재하는 상황에서 경계 항을 처리하기 위한 새로운 기술적 방법의 개발은 외부 도메인에서의 IBVP에 관한 기존 이론에 비해 상당한 진전을 나타낸다. 본 연구는 초기 밀도가 무한대에서 0으로 수렴하더라도, 밀도가 경계 근처에서 엄격하게 양수를 유지한다면 강한 해가 국소적으로 존재함을 입증한다.