Steady compressible Navier-Stokes-Fourier system with general temperature dependent viscosities and hard sphere pressure law

기술 요약: 일반적인 온도 의존 점성 및 경질 구체 압력 법칙을 갖는 정상 상태 압축성 나비에-스토크스-푸리에 시스템

문제 정식화
본 논문은 3차원 유계 영역 $\Omega \subset \mathbb{R}^3$에서의 정상 상태 압축성 나비에-스토크스-푸리어 시스템의 존재 이론을 조사한다. 이 시스템은 열전도성 압축성 유체의 정상 상태 흐름을 모델링하며, 질량, 운동량 및 총 에너지 보존 법칙에 의해 지배된다. 본 연구는 "경질 구체 압력 법칙(hard sphere pressure law)"으로 알려진 특정 상태 방정식을 중점적으로 다루는데, 이는 $p(\varrho, \vartheta) = \vartheta \varrho h(\varrho)$로 정의되며, 여기서 $h(\varrho)$는 임계 밀도 $\varrho = a > 0$에서 특이성을 갖는 단조 증가 함수이다. 이 압력 법칙은 형식적으로 아디아바틱 지수 $\gamma = \infty$에 해당하며, 온도 $\vartheta \to 0$일 때 소멸한다.

점성 계수는 $\mu(\vartheta), \xi(\vartheta) \sim (1+\vartheta)^\alpha$ 형태($0 \le \alpha \le 1$)로 온도 $\vartheta$에 의존한다고 가정한다. 열전도율은 $\kappa(\vartheta) \sim (1+\vartheta)^m$ ($m > 0$)를 따른다. 본 논문은 다음의 조합을 포함하는 네 가지 별개의 경계값 문제를 고려한다:

1. 속도: 균질 디리클레($u=0$) 또는 비균질 디리클레($u=u_0$이며 $u_0 \cdot n = 0$).
2. 온도: 열유속($q \cdot n = L(\vartheta - \vartheta_0)$) 또는 디리클레($\vartheta = \vartheta_D$).

또한, 유체의 총 질량이 주어지며, 밀도가 특이점 $a$ 미만으로 유지되도록 보장하는 기하학적 제약 조건이 영역에 적용되어야 한다.

방법론
저자들은 약해(weak) 및 변분 엔트로피 해(variational entropy solutions)의 존재를 확립하기 위해 변분 접근법을 사용한다. 방법론은 다음과 같은 단계로 진행된다:

1. 근사 스킴(Approximation Scheme): 정규화 파라미터($\varepsilon, \delta, \eta, R$)를 사용하여 근사 시스템을 구축한다. 밀도는 절단 및 정규화되며, 압력은 근사 단계 동안 $\varrho = a$에서의 특이성을 피하도록 수정된다. 속도는 유한 차원 부분 공간에서의 갈레르킨 방법(Galerkin method)을 사용하여 근사된다.
2. 사전 추정(A Priori Estimates): 분석의 핵심은 정규화 파라미터와 무관한 균등 추정치를 도출하는 것이다.
   • 에너지 및 엔트로피: 저자들은 온도와 속도장을 제어하기 위해 총 에너지 균형과 엔트로피 부등식(또는 디리클레 온도 조건의 경우 탄도 에너지 부등식)을 활용한다. 절대 영도 근처에서의 비특이 엔트로피 거동에 특별한 주의를 기울이며, 디리클레 경계 조건의 경우 수정된 내부 에너지 함수 $g(\vartheta)$를 사용한다.
   • 압력 제어: $L^1$보다 더 나은 공간에서 압력을 제어하는 것이 핵심 과제이다. 저자들은 운동량 방정식을 테스트하기 위해 **보고스키 연산자(Bogovskii operator)**를 사용한다. $\Phi = B(p^\beta)$로 테스트함으로써, $L^{1+\beta}$에서의 압력에 대한 추정치를 도득한다. 이를 위해서는 점성과 온도와 관련된 비선형 항들의 적분 가능성을 보장하기 위해 지수 $\alpha$와 $m$ 사이의 정밀한 균형을 맞추는 작업이 필요하다.
   • 보고스키 연산자 추정: 압력의 제어는 밀도와 압력 항에 적용된 보고스키 연산자의 추정치에 크게 의존하며, 이는 밀도의 유계성($\varrho < a$)과 경질 구체 압력의 특정한 구조를 활용한다.
3. 극한 통과(Limit Passage): 정규화 파라미터가 0으로 수렴함에 따라 극한을 취한다. 이 과정은 다음을 포함한다:
   • 밀도 수열의 강한 수렴을 확립하며, 이는 **유효 점성 유속 항등식(effective viscous flux identity)**을 증명하고 렌더마이즈드 연속 방정식(renormalized continuity equation)을 활용함으로써 달성된다.
   • 에너지 방정식에서의 극한을 처리하며, 이는 운동량 방정식에 비해 $m$과 $\alpha$에 대해 더 엄격한 조건을 부과한다.

주요 기여 및 결과
본 논문은 특정 $\alpha$와 $m$의 제약 조건 하에서 네 가지 경계값 문제에 대한 해의 존재성을 확립한다. 주요 결과는 다음과 같이 요약된다:

• 정리 1 (문제 1: $u=0$, 열유속): $\alpha \in [0, 1]$이고 $m > \max\{\frac{1+\alpha}{3}, \frac{1-\alpha}{2}\}$이면 변분 엔트로피 해가 존재한다. 만약 $m > 1$이면, 그 해는 약해(weak solution)이다.
• 정리 2 (문제 2: $u=0$, 디리클레 온도): $\alpha \in [0, 1]$이고 $m > \max\{\frac{1+\alpha}{3}, 1-\alpha\}$이면 변분 엔트로피 해가 존재한다. 만약 $m > 1$이면, 그 해는 약해이다.
• 정리 3 (문제 3: $u=u_0 \neq 0$, 열유속):
  • $0 < \alpha < 1$인 경우, $m > \max\{\frac{1+\alpha}{3}, \frac{1-\alpha}{2}\}$이면 존재성이 성립한다.
  • $\alpha = 0$인 경우, 약해의 존재성은 $m > 1$을 요구한다.
  • $\alpha = 1$인 경우, $\|\nabla u_0\|_\infty$가 충분히 작아야 하며 $m \ge \frac{2}{3}$를 요구한다. 만약 $m > 1$이면, 그 해는 약해이다.
• 정리 4 (문제 4: $u=u_0 \neq 0$, 디리클레 온도): $\alpha = 1, m \ge 2$이고 $\|\nabla u_0\|_\infty$가 충분히 작으면 약 엔트로피 해가 존재한다.

본 논문은 "변분 엔트로피 해"(특정 약형으로 엔트로피 부등식과 에너지 균형을 만족하는 해)와 "약해"(표준적인 약형으로 에너지 균형을 만족하는 해)를 구분한다. 변분 해에서 약해로의 전이는 일반적으로 에너지 방정식에서의 극한 통과를 위한 충분한 적분 가능성을 보장하기 위해 $m > 1$을 요구한다.

의의
본 논문은 3차원에서의 기존의 정상 상태 압축성 나비에-스토크스-푸리에 시스템 이론을 확장한다. 기존 연구들이 상수 점성 또는 특정 멱법칙 압력(예: $p \sim \varrho^\gamma + \vartheta \varrho$)을 다루었던 것과 달리, 본 연구는 물리적으로 고밀도 가스에 유의미하며 형식적으로 $\gamma = \infty$에 해당하는 경질 구체 압력 법칙을 다룬다.

저자들은 본 연구가 이 특정 압력 법칙에 대해 2차원에서만 분석되었던(Trudinger-Moser 부등식이 핵심 역할을 했던) 상황을 3차원으로 확장한 결과라고 주장한다. 또한, 온도 의존적 점성 및 열전도율에 대한 처리를 일반화하여, 비균질 속도 및 디리클레 온도와 같은 더 까다로운 경계 조건 하에서도 광범위한 지수 $\alpha$와 $m$의 범위에 대해 존재성 결과를 제공한다. 이 연구는 압력의 특이한 성질과 수송 계수의 비선형성을 처리하기 위해 보고스키 연산자와 렌더마이즈드 해(renormalized solutions)의 기법을 활용하고 개선하는 데 의존한다.