[논문 리뷰] Existence of weak solutions for compressible Navier-Stokes equations with entropy transport

David Maltese, Martin Michálek외 4명|arXiv (Cornell University)|2016. 03. 29.

Navier-Stokes equation solutions참고 문헌 15인용 수 30

한 줄 요약

이 논문은 압축성 라우지에르-스트로크스 방정식에 대해 변수 엔트로피가 수송 방정식을 통해 진화하는 경우, 전역 약한 해의 존재를 확립한다. 엔트로피는 에너지 방정식이 아닌 수송 방정식을 통해 진화한다. 세 가지 형태의 공식화—엔트로피 수송, 재정규화된 수송, 압력 인자 진화—를 사용하여, 초기 자료에 대한 최소한의 가정과 점탄성에 기반해, 최적의 다이아바틱 계수 범위 $\gamma > 1$ 에서 해의 존재를 증명한다. 이는 약한 컴팩트니스와 재정규화 기법을 활용한다.

ABSTRACT

We consider the compressible Navier-Stokes system with variable entropy. The pressure is a nonlinear function of the density and the entropy/potential temperature which, unlike in the Navier-Stokes-Fourier system, satisfies only the transport equation. We provide existence results within three alternative weak formulations of the corresponding classical problem. Our constructions hold for the optimal range of the adiabatic coefficients from the point of view of the nowadays existence theory.

연구 동기 및 목표

• 압축성 라우지에르-스트로크스 시스템에 대해 변수 엔트로피가 수송 방정식에 의해 지배되는 경우, 시간에 대해 전역적인 약한 해의 존재를 확립한다.
• 세 가지 등가의 약한 공식화—엔트로피 수송, 재정규화된 수송, 압력 인자 진화—를 분석하여 해 개념과 그 상호의존성의 명확화를 도모한다.
• 디페르나-라이언스 재정규화 기법을 변수 엔트로피와 최적의 $\gamma$-범위를 갖는 시스템에까지 확장한다.
• 진공 형성과 밀도의 균일한 적분 가능성 부족이라는 도전 과제를 해결하기 위해 압력 인자 공식화와 안정성 분석을 사용한다.

제안 방법

• 압력 $p = \varrho^\gamma \mathcal{T}(s)$ 를 사용하여 시스템을 공식화하며, 여기서 $\mathcal{T}(s)$ 는 미분 가능하고 엄밀히 양수이다. 엔트로피 $s$ 는 수송 방정식을 통해 진화한다.
• 압력 인자 $Z = \varrho [\mathcal{T}(s)]^{1/\gamma}$ 를 도입하여, 시스템을 $Z$ 를 기반으로 재구성함으로써 엔트로피 진화와 밀도를 분리한다.
• 압력 법칙에 $\delta$-편항을 포함한 점탄성 정규화를 통해 근사 해를 구성한다: $p_\delta = (\varrho \theta_\delta)^\gamma + \delta (\varrho \theta_\delta)^\beta$ ($\beta > \max\{\gamma, 4\}$).
• 디페르나-라이언스 재정규화 기법을 $\theta_\delta = Z_\delta / \varrho_\delta$ 의 수송 방정식에 적용하여 엔트로피 관련 양의 안정성을 확보한다.
• Div-Curl 보조정리와 $L^2$ 에서의 약한 컴팩트니스를 사용하여 $\delta \to 0^+$ 의 극한으로 넘어가며 원래 시스템의 약한 해를 복원한다.
• 강한 수렴성 $Z_\delta$ 를 $L^q$ 에서 $q < \gamma + \theta$ 에서 확립하고, $\zeta_\delta = \theta_\delta^{-1}$ 의 약한* 수렴성을 확보함으로써 동역학 방정식과 연속 방정식에서의 극한 통과를 가능하게 한다.

실험 결과

연구 질문

• RQ1 엔트로피가 에너지 방정식이 아닌 수송 방정식을 통해 진화하는 경우, 압축성 라우지에르-스트로크스 시스템에 대해 약한 해가 존재할 수 있는가?
• RQ2 이 엔트로피 수송 모델 하에서 전역 약한 해가 존재하는 데 있어 최적의 다이아바틱 계수 $\gamma$ 의 범위는 무엇인가?
• RQ3 엔트로피 수송, 재정규화된 수송, 압력 인자 진화의 세 가지 다른 약한 공식화는 해의 존재성과 정칙성 측면에서 어떻게 상호 연관되어 있는가?
• RQ4 디페르나-라이언스 재정규화 방법은 변수 엔트로피와 비균일한 밀도 적분 가능성 조건이 존재하는 시스템에 어떻게 적용될 수 있는가?
• RQ5 진공 상태가 존재할 수 있는 경우, 점탄성 근사에서 극한을 통과하기 위해 필요한 컴팩트니스와 안정성 기법은 무엇인가?

주요 결과

• 모든 $\gamma > 1$ 에 대해 엔트로피 수송을 고려한 압축성 라우지에르-스트로크스 시스템에 대해 전역 시간 약한 해가 존재하며, 이는 현재 존재 이론에서 최적의 범위이다.
• 해는 압력 법칙에 $\delta$-정규화를 포함한 점탄성 근사에 의해 구성되며, $\varrho_\delta$ 와 $Z_\delta$ 에 대해 균일한 유계성을 보장한다.
• $q < \gamma + \theta$ 에 대해 $Z_\delta$ 의 강한 수렴성을 확립하여 비선형 압력 항 $Z^\gamma$ 에서의 극한 통과를 가능하게 한다.
• 약한 극한 $\zeta = \theta^{-1}$ 는 $L^\infty$ 에 유계이며, 쌍 $(\zeta, \bm{u})$ 는 분포의 의미에서 및 재정규화된 의미에서 수송 방정식 $\partial_t \zeta + \bm{u} \cdot \nabla \zeta = 0$ 을 만족한다.
• 극한 해는 연속 방정식 $\partial_t \varrho + \operatorname{div}(\varrho \bm{u}) = 0$ 과 압력 $p = \varrho^\gamma \mathcal{T}(s)$ 를 포함한 운동량 방정식을 분포의 의미에서 만족한다.
• 페어레일 및 [11] 의 안정성 결과가 확장되어 적용되어 근사 해의 수렴성을 증명함으로써, 엔트로피 수송 공식화 하에서 시스템의 존재 증명이 완료된다.