Weak solutions to the Navier-Stokes equations for steady compressible non-Newtonian fluids

기술 요약: 압축성 비뉴턴 유체에 대한 정상 상태 나비에-스토크스 방정식의 약해 (Weak Solutions)

문제 정의
본 논문은 유계인 $C^2$ 영역 $\Omega \subset \mathbb{R}^d$ (여기서 $d \in \{2, 3\}$)에서 압축성 바로트로픽(barotropic) 비뉴턴 유체의 정상 상태 나비에-스토크스 계를 지배하는 약해의 존재성을 조사한다. 이 계는 연속 방정식 $\text{div}(\varrho u) = 0$과 다음과 같은 운동량 방정식으로 정의된다:
$$\text{div}(\varrho u \otimes u) - \text{div} S(Du) + \nabla p(\varrho) = \varrho f + g,$$
여기-서 노슬립(no-slip) 경계 조건 $u=0$ on $\partial\Omega$를 갖는다. 압력은 $\gamma$-법칙 $p(\varrho) = \varrho^\gamma$ (단, $\gamma > 1$)를 따른다. 점성 응력 텐서 $S(Du)$는 대칭 구배$Du$의 비선형 함수이다. 저자들은$S$가 지수$r > 1$에 대해 단조성 및 멱함수 성장 조건을 만족한다고 가정한다.

이 논문에서 다루는 주요 수학적 과제는 응력 텐서가 비뉴턴(구체적으로 멱함수 유체)이고 유체가 압축성인 경우의 해의 존재성을 규명하는 것이다. 압축성의 경우, 밀도 수열의 진동을 제어해야 하기 때문에 비압축성 경우보다 약해를 구하는 것이 훨씬 더 어렵다. 압축성 비뉴턴 유체에 관한 기존 결과들은 종종 속도의 발산이 $L^\infty$에 속하거나 응력 텐서가 "거의 등방성(almost isotropic)"이라는 구조적 가정을 필요로 했다. 본 연구는 멱함수 유체에 대해 이러한 "거의 등방성" 제한을 제거하는 것을 목표로 한다.

방법론
저자들은 근사 시스템으로부터 해를 구성하는 정규화 및 극한 통과 전략을 채택한다. 방법론은 세 단계로 진행된다:

1. 근사 시스템: 저자들은 매개변수 $\alpha, \delta, \varepsilon, \eta$를 포함하는 정규화된 시스템을 도입한다. 이 시스템은 레레이-샤우더(Leray-Schauder) 고정점 정리를 통해 매끄러운 해의 존재성을 보장하기 위해 인공 점성 항($-\varepsilon \Delta \varrho$), 인공 압력 항, 그리고 평활화된 대류 항($\omega_\delta * T_\delta(u)$)을 포함한다.
2. 균등 추정 (Uniform Estimates): 증명의 결정적인 부분은 정규화 매개변수와 무관하게 근사해 $(\varrho_\varepsilon, u_\varepsilon)$에 대한 균등 유계성을 도출하는 것이다. 저자들은 밀도에 대해 $L^{\frac{r\gamma}{r-1}}(\Omega)$에서, 속도에 대해 $W^{1,r}_0(\Omega)$에서 유계성을 확립한다. 증명은 보고스키(Bogovskii) 연산자를 사용하여 운동량 방정식을 테스트함으로써 $r < d$, $r = d$, $r > d$의 경우를 구분하여 진행된다.
3. 강한 수렴 및 극한 식별: 비선형 항, 특히 약한 극한인 $S(Du)$와$\varrho^\gamma$를 비선형 함수와 일치시키는 것이 핵심적인 어려움이다.
   • 에너지 항등식: 저자들은 $\varphi u_\varepsilon$로 운동량 방정식을 테스트하여 국소 에너지 항등식을 도출한다. 극한 계의 에너지 항등식을 빼냄으로써, 결함 측도(defect measure) $S(Du) : Du - S(Du) : Du$와 관련된 관계식을 얻는다.
   • 측도론적 논증: 핵심적인 혁신은 에너지 항등식 내의 특이 항 $(\varrho^\gamma)^{\frac{1}{\gamma}-1}$을 다루는 것이다. 저자들은 [7]과 같은 이전 연구에서 요구되었던 속도 구배의 고차 적분성 추정(higher integrability estimates)에 의존하는 대신, 에고로프(Egorov) 정리에 기반한 측도론적 논증을 적용한다. 저자들은 임의의 $\eta > 0$에 대해 결함 측도가 사라지는 컴팩트 집합 $\Omega_\eta$가 존재함을 증명한다. 이를 통해 $\nabla u_\varepsilon$가 $L^p(\Omega)$에서 $\nabla u$로 강하게 수렴함을 확립할 수 있다.
   • 밀도 수렴: 속도 구배의 강한 수렴이 확립되면, 응력 텐서와 대류 항의 강한 수렴을 활용하여 압력을에 대한 푸아송 방정식으로서 운동량 방정식을 분석함으로써 밀도의 강한 수렴을 회복한다.

주요 기여 및 결과

• 멱함수 유체에 대한 존재성: 본 논문은 멱함수 응력 텐서를 가진 정상 상태 압축성 비뉴턴 유체에 대한 약해의 존재성을 증명한다. 주요 결과(정리 1.3)는 다음 조건 하에서 성립한다:

  • $d > r > \frac{3d}{d+2}$ 이고 $\gamma > \frac{d(r-1)}{(d+2)r - 3d}$ 이거나,
  • $d \leq r$ 이고 $\gamma > 1$ 인 경우.
    이는 유체가 "거의 등방성"이어야 한다는 요구 조건을 제거함으로써 기존의 결과들을 일반화한다.

• 안정성 (Stability): 정리 1.4는 소스 항 $f$와 $g$에 대한 이 약해들의 안정성을 확립한다. 소스 항들이 약-별(weak-*) 수렴하면, 대응하는 해의 수열은 밀도와 속도 구배에 대해 강하게 수렴한다 (단, $p < r$인 $L^p$에서).

• 허셜-벌클리(Herschel-Bulkley) 유체: 저자들은 점성에 특이 부분(소성 거동)을 갖는 허셜-벌클리 유체로 결과를 확장한다. 정리 1.5는 응력 텐서가 항복 응력 $\tau^*$를 포함하는 시간 이산화 모델에 대한 약해의 존재성을 확립한다. 이 결과는 비정상(non-steady) 케이스의 해를 구성하기 위한 단계로 제시된다.

의의 및 주장
본 논문은 응력 텐서에 "거의 등방성" 구조적 제약을 부과하지 않고도 $\gamma$-법칙 압력을 가진 정상 상태 압축성 비뉴턴 멱함수 유체의 존재성에 관한 열린 문제를 해결했다고 주장한다. 저자들은 비정상 케이스에 대해 Zhikov와 Pastukhova [41]가 유사한 항등식(에너지 결함과 밀도 진동을 연결하는)을 제안했으나, 측도와 함수의 곱에 대한 엄밀한 정당화 과정에서 논리적 공백이 남아 있었음을 명시한다 ([20]에서 지적됨).

저자들의 기여는 에고로프 정리와 측도론적 국소화를 사용하여 정상 상태 케이스에 대해 이 항등식을 엄밀하게 정당화함으로써, 속도 구배의 고차 적분성 없이도 이를 우회했다는 점에 있다. 저자들은 자신들의 방법이 이전보다 더 넓은 조건 하에서 밀도와 속도 구배의 강한 수렴을 회복할 수 있게 해준다고 기술한다. 이 연구는 일반적인 비뉴턴 설정에서의 복잡한 비정상(진화형) 케이스를 향한 기초적인 단계로 프레임화되어 있다.