[논문 리뷰] Global well-posedness of the 1D compressible Navier-Stokes equations with constant heat conductivity and nonnegative density

Jinkai Li|arXiv (Cornell University)|2018. 01. 29.

Navier-Stokes equation solutions참고 문헌 26인용 수 7

한 줄 요약

이 논문은 초기 밀도가 0일 수 있는(진공이 허용되는) 상황에서도 일정 점성 및 열전도도를 갖는 1차원 압축성 라우아르-스토크스 방정식에 대한 강한 해의 전역 적합성을 확립한다. 라그랑주 좌표계를 도입하고, 밀도 대 초기 밀도 비율과 입자 궤적을 따라 온도 상한의 시간 적분 사이의 반비례 관계에 대한 새로운 관찰을 통해, 밀도에 대한 양의 하한이 없는 문제를 극복하여, 음이 아닌 밀도를 갖는 $H^2$ 초깃값에 대해 존재성, 유일성 및 정칙성을 증명한다.

ABSTRACT

In this paper we consider the initial-boundary value problem to the one-dimensional compressible Navier-Stokes equations for idea gases. Both the viscous and heat conductive coefficients are assumed to be positive constants, and the initial density is allowed to have vacuum. Global existence and uniqueness of strong solutions is established for any $H^2$ initial data, which generalizes the well-known result of Kazhikhov--Shelukhin (Kazhikhov, A. V.; Shelukhin, V. V.: \emph{Unique global solution with respect to time of initial boundary value problems for one-dimensional equations of a viscous gas, J. Appl. Math. Mech., 41 (1977), 273--282.) to the case that with nonnegative initial density.

연구 동기 및 목표

• 초기 밀도가 0일 수 있는(즉, 진공이 허용되는) 일정 점성 및 열전도도를 갖는 1차원 압축성 라우아르-스토크스 방정식에 대한 강한 해의 전역 존재성과 유일성을 확립하는 것.
• 기존의 카지히코프-셸루킨 결과(밀도에 양의 하한이 필요함)를 음이 아닌 초깃밀도의 경우로 확장하는 것.
• 진공 존재 시 밀도에 대한 양의 하한이 없는 상황에서 발생하는 수학적 난이도를 극복하는 것.
• 라그랑주 좌표계와 입자 궤적을 따라 밀도-온도 비율의 행동에 기반한 새로운 분석 기법을 개발하는 것.
• 진공 초깃값이 존재하는 경우에도 $H^2$ 초깃값에 대해 강한 해가 시간에 대해 전역적으로 존재함을 증명하는 것.

제안 방법

• 유동 맵 $x = \\tilde{\rho}(y,t)$ 를 통해 오일러계를 라그랑주 좌표계로 변환하여 공간 영역를 고정시킴으로써 분석을 단순화하는 것.
• 밀도 대 초깃밀도 비율 $\varrho / \varrho_0$ 가 입자 궤적을 따라 온도 상한의 시간 적분과 반비례한다는 핵심 관찰을 도입하는 것.
• 밀도, 속도 및 온도 기울기의 가중치가 부여된 $L^2$ 노름을 포함하는 $\sqrt{\varrho_0}$, $J = \partial_y \eta$ 를 사용하여 라그랑주 프레임워크 내에서 에너지 추정을 유도하는 것.
• 비선형 항을 제어하고 일관된 유계성을 확립하기 위해 소볼레프 포함, 헬더, 얀, 푸앵카레 유형 부등식을 적용하는 것.
• 에너지-소산 추정의 조합에 그로워발 불등식을 적용하여 두 해의 차이가 식별적으로 0이 됨을 증명함으로써 유일성을 입증하는 것.
• 초깃값의 $H^2$ 정규성과 방정식의 구조를 활용하여 에너지 추정을 닫고 전역 존재성을 보장하는 것.

실험 결과

연구 질문

• RQ1 일정한 열전도도와 음이 아닌 초깃밀도(진공 포함)를 갖는 1차원 압축성 라우아르-스토크스 방정식에 대해 전역 강한 해를 확립할 수 있는가?
• RQ2 압축성 라우아르-스토크스 전체 시스템 분석에서 밀도에 대한 양의 하한이 없는 상황을 어떻게 극복할 수 있는가?
• RQ3 진공 존재 시 밀도 진동에 대한 온도 상한의 역할은 무엇인가?
• RQ4 기존의 카지히코프-셸루킨 결과를 양의 하한이 필요로 하지 않는 음이 아닌 초깃밀도의 경우로 확장할 수 있는가?
• RQ5 점성과 열전도도가 모두 일정한 상황에서 진공이 존재하는 경우에도 유일성과 전역 존재성을 증명할 수 있는가?

주요 결과

• 일정 점성 및 열전도도를 갖는 1차원 압축성 라우아르-스토크스 방정식에 대해, 초기 밀도가 음이 아니며 0일 수 있는 경우에도 강한 해의 전역 존재성과 유일성이 확립된다.
• 핵심 분석적 혁신은 입자 궤적을 따라 온도 상한의 시간 적분과 반비례하는 $\varrho / \varrho_0$ 의 관계를 관찰한 것으로, 진공에 의한 비선형성의 제어에 기여한다.
• 해 클래스는 $H^2$ 초깃값이며, 모든 관련 노름이 일관되게 유계이므로 해는 전 시간 동안 정칙성을 유지한다.
• 유일성은 라그랑주 프레임워크 내에서 에너지 추정을 활용한 모순 증명을 통해 입증되며, 두 해의 차이가 식별적으로 0이 됨을 보여준다.
• 이 방법은 에너지 방정식을 포함한 전체 압축성 라우아르-스토크스 시스템에 적용 가능하며, 열전도도 계수에 대한 추가 가정이 필요 없이 일정하다는 조건만 충족하면 된다.
• 초기 밀도가 0으로부터 유계이지 않아도 되는 조건을 제거함으로써 고전적인 카지히코프-셸루킨 결과를 일반화한다.