Solutions of the 3D inhomogeneous incompressible Navier-Stokes system with initial velocity in $VMO^{-1}$

기술 요약: $VMO^{-1}$에 속하는 초기 속도를 갖는 3차원 비균질 비압축 나비에-스토크스 시스템의 해

문제 정의
본 논문은 다음과 같은 3차원 비균질 비압축 나비에-스토크스 방정식의 초기값 문제를 조사한다:
$$\begin{cases} \partial_t \rho + u \cdot \nabla \rho = 0, \\ \partial_t (\rho u) + \text{div}(\rho u \otimes u) - \Delta u + \nabla P = 0, \\ \nabla \cdot u = 0, \\ (\rho, u)|_{t=0} = (\rho_0, u_0). \end{cases}$$
이 시스템은 서로 다른 밀도를 가진 비혼합성 비압축 유체의 혼합물을 모델링한다. 본 연구에서 다루는 주요 과제는 초기 속도 $u_0$가 낮은 정규성, 즉 $L^2 \cap VMO^{-1}$에 속할 때 강해(strong solution)의 존재성을 규명하는 것이다. 여기서 초기 밀도 $\rho_0$는 단순히 0으로부터 유계되어 있다($C^1$ 또는 $C^2$ 정규성). $VMO^{-1}$ 공간은 임계 공간인 $BMO^{-1}$의 부분 공간으로, $BMO^{-1}$ 노름 하에서 컴팩트한 지지부를 가진 매끄러운 함수들의 폐쇄(closure)로 정의된다.

방법론
저자들은 밀도의 공간적 비균질성을 처리하기 위해 [12]에서 채택된 "계수 동결(freezing coefficient)" 방법을 변형하여 사용한다. 핵심 전략은 다음과 같은 단계들을 포함한다:

1. 계수 동결을 통한 분해: 고정된 점 $x_0$에 대하여, 모멘텀 방정식은 르레(Leray) 연산자 $\mathbb{P}$를 통해 투영되며, 밀도 계수 $\rho$는 $\rho_0(x_0)$에서 동결된다. 이는 방정식을 가변 계수를 갖는 열 방정식 형태(heat-type equation)로 변환시킨다. 해 $u$는 선형 부분($u_L$), 이선형 부분($u_N$), 그리고 $\rho$의 공간적 변화와 압력의 비국소적 성질로부터 발생하는 나머지 항($u_R$)으로 분해된다.
2. 함수적 프레임워크: 저자들은 임계 및 아임계(subcritical) 거동을 모두 포착하기 위해 혼합 노름 공간 $X_T$를 도입한다. $\|u\|_{X_T}$ 노름은 다음을 결합한다:
   • $t^{1/2}$에 의해 가중치가 부여된 $L^\infty$ 유계, $V^b_T$ 유형의 $VMO^{-1}$ 노름, 그리고 시간 방향의 횔더 연속성을 포함하는 임계 성분.
   • $L^{12}$ 노름과 더 높은 차수의 시간 횔더 연속성을 포함하는 아임계 성분.
     $L^{12}$ 노름을 포함시킨 이유는 르레 투영이 $L^\infty$에서는 유계가 아니지만, $p \in (1, \infty)$에 대해서는 $L^p$에서 유계이기 때문이다.
3. 밀도의 정규성: 속도 구배의 리프시츠(Lipschitz) 노름이 $t^{-1}$(비적분 가능)처럼 행동하므로, 밀도에 대한 수송 방정식은 공간적 정규성의 손실을 초래한다. 저자들은 초기 밀도가 $C^1$(또는 $C^2$)인 경우, 해가 보조 노름 $\|u\|_T$에 의해 제어되는 특정 시간 동안의 횔더 정규성을 유지함을 입증한다.
4. 나머지 항에 대한 추정: 저자들의 중요한 기술적 기여는 나머지 항($u_{R1}, u_{R2}, u_{R3}$)을 엄밀하게 추정하는 것이다. 이 항들은 $\rho(y) - \rho(x_0)$를 포함한다. 저자들은 밀도의 공간적 정규성 손실을 보상하기 위해 시간 가중 횘더 노름과 에너지 추정(구체적으로 $\sup t \|u_t\|_{L^2} < \infty$)을 활용한다. 보조 정리(Lemma) 4.1은 가변 계수를 갖는 열 커널을 포함하는 적분들의 시간 차이를 추정하는 데 결정적인 도구를 제공한다.

주요 결과

• 국소 존재성 (정리 1.1):
  저자들은 초기 데이터 $(\rho_0, u_0)$에 대해 국소적 강해의 존재성을 증명한다. 여기서 조건은 다음과 같다:

  • $\rho_0 \in C^1$이며 양의 하한을 갖는다 ($0 < C_1 < \rho_0 < C_2 < \infty$).
  • $u_0 \in L^2 \cap VMO^{-1}$.
  • 국소화된 $BMO^{-1}$ 노름 $\|u_0\|_{BMO^{-1}_b}$가 충분히 작다 ($\le \epsilon_0$).
    해는 시간 간격 $[0, T]$ (여기서 $T \sim b^2$) 상에서 존재한다. 속도는 $X_T$ 노름에서 특정 유계 조건을 만족하며, 밀도는 유계 상태를 유지한다.

• 전역 존재성 (정리 1.2):
  초기 밀도가 상수와 가깝다($\rho_0 \in C^2$)는 가정과 초기 속도가 $BMO^{-1}$ 노름에서 충분히 작다($\|\rho_0 - 1\|_{L^\infty} + \|u_0\|_{BMO^{-1}} < \epsilon_2$)는 조건 하에서, 저자들은 강해의 전역 존재성을 확립한다.

  • 증명은 "부트스트래핑(bootstrapping)" 논리에 의존한다: 국소 존재성 결과를 사용하여, 해가 짧은 시간 $T^*/2$에서 충분히 정규화되고 작아져서, 베소프 공간 $\dot{B}^{-1+3/p}_{p,\infty}$에서의 전역 존재성을 위한 소규모 조건(정리 6.1 [25] 참조)을 만족함을 보인다.
  • $\rho_0 \in C^2$ 요구 조건은 국소 추정에서의 최대 존재 시간이 전역 확장을 방해하는 방식으로 소규모 파라미터에 의존하지 않도록 보장하기 위해 필요하다.

의의 및 주장
본 논문은 비균질 나비에-스토크스 방정식의 적절성 이론을 속도가 $VMO^{-1}$인 임계 공간으로 확장한다고 주장한다. 이는 음의 정규성을 갖는 데이터를 포함하는 설정이다.

• 정규성의 참신함: $u_0 \in L^p$ ($p>2$) 또는 특정 베소프 공간을 요구했던 이전 결과들과 달리, 본 연구는 $u_0 \in L^2 \cap VMO^{-1}$를 수용한다.
• 비균질성 처리: 저자들은 계수 동결 방법을 비균질 사례에 성공적으로 적용하였으며, 밀도 수송 방정식이 공간적 정규성 손실을 일으키는 어려움을 극복하였다. 이들은 시간 정규성을 활용하고 아임계 노름을 사용하여 나머지 항을 제어함으로써 이를 달성하였다.
• 유일성: 논문은 정리 1.1의 가정(특히 소규모 조건 없이 $u_0 \in L^2 \cap VMO^{-1}$인 경우) 하에서 유일성을 확립하는 것이 여전히 미해결 과제로 남아 있음을 명시적으로 언급한다. 사용된 방법론은 현재 이 임계 설정에서 유일성을 산출하지 못하며, 이는 Koch와 Tatar-u [29]의 균질 나비에-스토크스 방정식에 대한 고전적인 $BMO^{-1}$ 결과와 차별화되는 점이다.

결론
본 연구는 낮은 정규성을 갖는 $VMO^{-1}$ 초기 속도를 갖는 3차원 비균질 나비에-스토크스 방정식의 해를 구하기 위한 엄밀한 프레임워크를 제공한다. 수송 방정식 추정과 정교한 계수 동결 기법, 그리고 세심하게 구성된 혼합 노름 함수 공간을 결합함으로써, 저자들은 일반적인 유계 밀도에 대한 국소 존재성과 밀도가 상수와 가깝고 속도가 작을 때의 전역 존재성을 확립하였다. 이 결과는 가변 밀도를 갖는 유체 혼합물의 적절성에 대한 이해를 진전시키는 중요한 단계이다.