Global regularity of the multi-dimensional compressible Navier-Stokes-Korteweg system with large initial data

기술 요약: 대형 초기 데이터를 가진 다차원 압축성 나비에-스토크스-코르테웨이(Navier-Stokes-Korteweg) 계의 전역적 정칙성

문제 정의
본 논문은 밀도 의존적 점성 및 모세관 계수를 가진 다차원 압축성 나비에-스토크스-코르테웨이(NSK) 계의 강한 해(strong solutions)의 전역적 존재성을 다룬다. Dunn과 Serrin에 의해 유도된 이 계는 압축성 유체의 모세관 현상을 모델링하며, 특정 계수 선택($\mu(\varrho) = \nu_0 \varrho$, $\lambda(\varrho) = 0$, $\kappa(\varrho) = \kappa_0^2/\varrho$ 이고 $\nu_0 = \kappa_0$) 하에서 양자 나비에-스토크스 계로 환원된다.

주요 수학적 과제는 차원이 $N=2$ 및 $N=3$일 때, 특히 유체가 진공 상태에서 벗어나 있는 경우, 임의로 큰 초기 데이터에 대해 전역적 정칙성을 확립하는 것이다. 전역적 약한 해(weak solutions)는 잘 연구되어 왔으나, 큰 데이터에 대해 고차원에서 전역적 강한 해의 존재성을 확립하는 것은 여전히 미해결 문제로 남아 있다. 저자들은 주기적 초기 데이터 $(\varrho_0, u_0)$를 만족하며 $0 < \underline{\varrho} \le \varrho_0 \le \overline{\varrho}$인 토러스 $\mathbb{T}^N$에 집중한다.

방법론
증명 전략은 원래의 계를 유효 속도(effective velocity) $v = u + \nabla \log \varrho$를 사용하여 포물형 계로 변환하는 것에 기반한다. Jüngel에 의해 도입된 이 변환은 NSK 계를 다음과 같이 변환한다:
$$\begin{cases} \varrho_t + \text{div}(\varrho v) - \Delta \varrho = 0, \\ \varrho v_t + \varrho(v - \nabla \log \varrho) \cdot \nabla v + \nabla P = \text{div}(\varrho \nabla v). \end{cases}$$
분석은 다음 세 가지 주요 단계로 진행된다:

1. 밀도의 상한(Upper Bound):
   저자들은 먼저 밀도 $\varrho$에 대한 상한을 설정한다. 이는 유효 속도 $v$에 대한 고차 적분성 추정치(구체적으로 $\|\varrho^{1/(q+2)}v\|_{L^{q+2}}$)를 도출하고 데 고리(De Giorgi) 반복법을 적용함으로써 달성된다. 이 단계는 2D 문제에 사용되었던 방법들을 3D 케이스로 적응시킨 것이며, 단열 지수 $\gamma$에 대한 특정 제약 조건($N=3$일 때 $\gamma < 7/3$)을 요구한다.

2. 밀도의 양의 하한(Positive Lower Bound):
   가장 결정적이고 참신한 기여는 밀도의 양의 하한을 얻는 것(진공 형성을 방지하는 것)이다. 이전의 접근 방식들(예: Haspot)은 $p \to \infty$로 극한을 보낼 때 $p$에 독립적인 $\|\varrho^{1/(p+2)}v\|_{L^{p+2}}$의 추정치에 의존했다. 저자들은 그러한 균등 추정치를 얻는 것이 불가능함을 입증한다. 대신, 그들은 독창적인 수정된 나쉬-모서(Nash-Moser) 유형의 반복법을 개발한다.

   • 그들은 유효 속도와 역밀도 사이의 임계 로그 제어 관계를 확립한다:
     $$\|v\|_{L^\infty(\mathbb{T}^N \times (0,T))} \le C \sqrt{\log(e + \|\varrho^{-1}\|_{L^\infty(\mathbb{T}^N \times (0,T)))}}.$$
   • 이 추정치는 이전 방법들이 달성하지 못했던 유효 속도의 균등 $L^\infty$ 유계성 없이도 밀도의 하한에 대한 부트스트랩 논증을 완결할 수 있게 한다.

3. 고차 정칙성(Higher-Order Regularity):
   밀도의 상한과 하한이 모두 확립되면, 저자들은 $\varrho$와 $v$에 대한 고차 에너지 추정치를 도출한다. 이러한 추정치는 국소적 강한 해가 시간적으로 전역적으로 확장될 수 있음을 보장한다.

주요 결과
주 정리(Theorem 1.1)는 다음 조건을 만족할 때 $\mathbb{T}^N$ ($N=2, 3$) 상에서 임의의 큰 초기 데이터에 대한 $(\varrho, u)$의 전역적 존재성과 유일성을 확립한다:

• $N=2$인 경우: $\gamma \in [1, \infty)$.
• $N=3$인 경우: $\gamma \in [1, 7/3)$.

해는 다음을 만족한다:

• 균등 유계성: $(C(T))^{-1} \le \varrho(x,t) \le C(T)$.
• 정칙성: $\varrho \in C([0,T]; H^3) \cap L^2(0,T; H^4)$ 및 $u \in C([0,T]; H^2) \cap L^2(0,T; H^3)$.

의의 및 주장
본 논문은 일반적인 3차원 영역에서 임의의 큰 초기 데이터를 가진 물리적 의미를 지닌 압축성 유체 역학 방정식에 대한 전역 강한 해의 첫 번째 존재성 결과를 제시한다고 주장한다.

• 비압축성 유체와의 대비: 저자들은 비압축성 유체의 경우, 큰 데이터에 대한 전역 강한 해의 알려진 유일한 결과는 2007년 Cao와 Titi의 연구임을 언급한다.
• 이전의 한계 극복: 본 연구는 $p \to \infty$ 극한에서 밀도의 양의 하한을 도출하는 것을 방해했던 매개변수 $p$에 대한 추정치의 의존성 문제를 해결하였다(Haspot [25] 등).
• 범위: 이 결과는 등온($\gamma=1$) 및 비등온 사례 모두에 적용된다. 3D에서의 $\gamma$ 제한은 데 고리 반복법을 통해 밀도의 상한을 추정하는 현재 방법의 기술적 요구 사항에 기인한다.

저자들은 밀도를 제한하는 현재의 방법론으로 인해 3D에서의 $\gamma$ 제한이 발생했음을 언급하며, 2D의 경우 더 강력한 에너지 추정치 덕분에 모든 $\gamma \ge 1$에 대해 가능하다는 점을 들어 연구 범위에 대해 겸손한 어조를 유지한다.