On the stability of solutions to non-Newtonian Navier--Stokes--Fourier-like systems in the supercritical case

기술 요약: 초임계 영역에서의 비뉴턴 나비에-스토크스-푸리에 유사 시스템의 해의 안정성에 관하여

문제 정의
본 논문은 3차원, 균질한, 비압축성, 비뉴턴, 열전도성 유체의 수학적 분석을 조사한다. 이 시스템은 운동량 방정식, 비압축성 제약 조건, 그리고 운동 에너지 소산을 나타내는 소스 항을 포함하는 열 방정식을 구성하는 수정된 나비에-스토크스-푸리에 시스템에 의해 지배된다. 코시 응력 텐서에 대한 구성 관계는 일반적이며, $p \in [8/5, 11/5)$ 범위의 거듭제곱 법칙 지수 $p$를 갖는 파워 로우(power-law) 및 레이디제이네스카(Ladyzhenskaya) 모델을 모두 포괄한다. 이 범위는 "초임계(supercritical)" 영역으로 식별되며, 이 영역에서는 표준적인 정칙성, 유일성 및 에너지 등식 결과가 성립한다고 알려져 있지 않다. 문제는 경계 조건으로 속도에 대해서는 노슬립(no-slip) 조건을, 경계에 대해서는 주어진 비균일 온도(디리클레) 조건을 갖는 유계 립시츠츠 도메인 $\Omega \subset \mathbb{R}^3$ 상에 설정된다. 주요 목적은 임의의 유한 에너지 초기 데이터에 대해 전역 시간 존재 해(global-in-time solutions)를 확립하고, 시간이 무한대로 감에 따라 고유한 정상 상태(steady state) $(0, \hat{\vartheta})$의 비선형 안정성을 증명하는 것이다.

방법론 및 핵심 개념
저자들은 초임계 영역에서의 정칙성 결여를 해결하기 위해, $b$-약해(b-weak) 해라고 명명된 새로운 해의 개념을 도입한다. 이 정식화는 내부 에너지 등식을 엔트로피 부등식으로 대체하고, 결정적으로 **$b$-교정된 총 에너지 부등식($b$-corrected total energy inequality)**을 도입한다는 점에서 고전적인 약해(weak solution)와 차별화된다.

1. 엔트로피 부등식: 열 방정식 대신, 저자들은 온도를 $\vartheta$로 나누어 유도된 엔트로피 부등식을 만족하는 해를 다룬다. 이는 엔트로피 변수 $\eta = \ln \vartheta$를 활용하며, 이는 $\vartheta$ 자체보다 더 나은 적분 가능성을 가진다.
2. $\gamma$-교정 함수: 비균일 디리클레 경계 조건으로 인한 열 문제를 처리하기 위해, 저자들은 $\gamma$-교정 함수 $b(\vartheta, \hat{\vartheta})$를 도입한다. 이 함수는 경계를 통한 열 플럭스 항을 고려하여 수정된 에너지 범함수를 구축할 수 있게 한다.
3. $b$-교정된 총 에너지 부등식: 열 방정식에 교정 함수를 곱하고 운동 방정식과 결합함으로써, 저자들은 수정된 에너지 균형을 유도한다. 이 부등식은 $b$의 원시 함수인 $B$를 포함하는 교정 항을 포함하며, 총 에너지(운동 에너지와 $B$에 의해 조정된 열 에너지의 합)가 안정성 분석에 적합한 미분 부등식을 만족하도록 보장한다.
4. 존재성 증명: $b$-약해 해의 존재성은 파데오-갈레르킨(Faedo–Galerkin) 근사를 통해 확립된다. 저자들은 근사 매개변수 $n$에 독립적인 사전 아 프리오리(a priori) 추정치를 유도하며, 이를 위해 운동 에너지 부등식, 엔트로피 부등식, 그리고 $b$-교정된 총 에너지 부등식을 사용한다. 극한 통과는 응력 텐서의 단조성, 응력 극한을 식별하기 위한 솔레노이달 립시츠츠 절단법(solenoidal Lipschitz truncation method), 그리고 압축성 논증(Aubin–Lions lemma)에 의존한다.
5. 안정성 분석: 정상 상태의 안정성은 해와 정상 상태 사이의 "거리"를 측정하는 리아푸노프 범함수 $L_{\alpha, \beta}$를 사용하여 분석된다. 이 범함수는 비일정한 열 전도도를 처리하기 위해 보조 함수 $H_\alpha$와 $G$를 포함한다. 증명 과정은 엔트로피 부등식을 재규격화하고 이를 $b$-교정된 에너지 부등식과 결합하여 리아푸노프 범함수에 대한 미분 부등식을 유도함으로써, 지수적 감소 추정치로 이어진다.

주요 결과

• 정리 1.3 (전역 존재성): 유한 에너지($v_0 \in L^2_{0,div}$, $\vartheta_0 \in L^1$)를 갖는 임의의 초기 데이터와 표준 정칙성을 만족하는 경계 온도 \hat{\vartheta}}에 대하여, 전역 시간 $b$-약해 해가 존재한다. 이 해는 온도에 대해 $L^\infty(0, +\infty; L^1(\Omega))$에서 균등한 전역 추정치를 만족한다. 주목할 점은, 이 결과가 $p > 9/5$로 제한되었거나 노이만 경계 조건을 요구했던 이전 결과들과 달리, $p > 6/5$인 거듭제곱 법칙 지수에 대해서도 성립한다는 것이다.
• 정리 1.4 (비선형 안정성): 고유한 정상 상태 $(0, \hat{\vartheta})$는 비선형적으로 안정하다. 구체적으로:
  • 속도장은 시간에 따라 지수적으로 감소한다: $\|v(\tau)\|_2^2 \leq e^{-\mu \tau} \|v(0)\|_2^2$ (단, $p < 2$인 경우 큰 초기 데이터에 대한 특정 수정 사항이 적용됨).
  • 전체 해(속도와 온도)는 리아푸노프 범함수의 의미에서 정상 상태로 수렴한다. 유계된 초기 데이터 집합에 대하여, 상수 $\mu, \beta > 0$가 존재하여 리아푸노프 범함수는 다음과 같이 지수적으로 감소한다: $\int_\Omega L_{\alpha, \beta}(v(\tau), \vartheta(\tau), \hat{\vartheta}) dx \leq e^{-\mu(\tau-\sigma)} \int_\Omega L_{\alpha, \beta}(v(\sigma), \vartheta(\sigma), \hat{\vartheta}) dx$.

의의 및 주장
본 논문은 이 특정 부류의 비뉴턴 열전도성 유체에 대하여, 전역 시간 존재성과 장기 비선형 안정성을 동시에 확립한 최초의 결과라고 주장한다.

저자들은 기존의 유사한 연구들이 매끄러운(smooth) 해의 존재를 가정했거나, 고전적인 에너지 등식이 성립하는 하위 임계(subcritical) 영역으로 분석을 제한했거나, 혹은 셰어-트리닝(shear-thinning) 유체의 경우처럼 유일성 결과가 확보되지 않은 초임계 영역에서는 다루지 못했음을 강조한다. $b$-약해 해 개념의 도입은 에너지 등식의 결여와 경계 조건의 어려움을 극복하기 위한 필수적인 기술적 진보로 제시된다. 안정성 결과는 비록 이 영역에서 약해의 비유일성 가능성이 존재하더라도, 물리적으로 유의미한 $b$-약해 해의 부류가 고유한 평형 상태로 수렴하는 안정적인 장기 거동을 보인다는 것을 입증함으로써 중요한 진전을 이루었다고 설명된다. 또한, 본 분석은 운동 에너지 소산이 열 방정식의 소스로 작용하여 단순화된 모델보다 상당한 수학적 난이도를 유발하는 완전한 결합(full coupling)을 다룸으로써 오베르벡-부시네스크(Oberbeck–Boussinesq) 근사를 명시적으로 회피한다.