[논문 리뷰] On the well-posedness of the full compressible Navier-Stokes system in critical Besov spaces

Noboru Chikami, Raphaël Danchin|arXiv (Cornell University)|2014. 07. 17.

Navier-Stokes equation solutions참고 문헌 21인용 수 63

한 줄 요약

이 논문은 차원 $ n \geq 2 $ 및 $ 1 < p < 2n $ 에서 비압축성 나비에-스토크스 방정식의 전체 시스템이 임계 베소프 공간에서 국소적으로 잘 정의됨을 증명한다. 라그랑주 좌표계로의 변환과 고정점 정리의 기법을 사용하여, 초기 자료 $ \rho_0 - 1 \in \dot{B}^{n/p}_{p,1} $, $ u_0 \in \dot{B}^{n/p - 1}_{p,1} $, $ \theta_0 \in \dot{B}^{n/p - 2}_{p,1} $ 를 고려한 기능적 프레임워크에서 분석을 수행한다. 주요 기여는 이전 연구에 비해 $ p $ 의 범위를 개선하여 시스템이 국소적으로 잘 정의됨을 보여주는 데 있다.

ABSTRACT

We are concerned with the Cauchy problem of the full compressible Navier-Stokes equations satisfied by viscous and heat conducting fluids in $\\mathbb{R}^n.$ We focus on the so-called critical Besov regularity framework. In this setting, it is natural to consider initial densities $\ ho_0,$ velocity fields $u_0$ and temperatures $\ heta_0$ with $a_0:=\ ho_0-1\\in\\dot B^{\\frac np}_{p,1},$ $u_0\\in\\dot B^{\\frac np-1}_{p,1}$ and $\ heta_0\\in\\dot B^{\\frac np-2}_{p,1}.$ After recasting the whole system in Lagrangian coordinates, and working with the \\emph{total energy along the flow} rather than with the temperature, we discover that the system may be solved by means of Banach fixed point theorem in a critical functional framework whenever the space dimension is $n\\geq2,$ and $1&lt;p&lt;2n.$ Back to Eulerian coordinates, this allows to improve the range of $p$'s for which the system is locally well-posed, compared to Danchin, Comm. Partial Differential Equations 26 (2001).

연구 동기 및 목표

• 동질적 베소프 공간을 사용한 임계 정규성 프레임워크에서 전체 압축성 나비에-스토크스 방정식의 국소적 잘 정의됨을 확립하는 것.
• 이전 결과를 초월하여, 특히 $ p < 2n $ 인 경우에 대해 시스템이 국소적으로 잘 정의됨이 보장되는 $ p $ 의 허용 가능한 범위를 확장하는 것.
• 일반 압력 법칙 $ P = \pi_0(\rho) + \theta \pi_1(\rho) $ 하에서 밀도, 속도, 온도 역학을 포함한 전체 시스템을 다루는 것.
• 임계 정규성 공간에서 탄성, 점성 및 열전도성 간의 결합으로 인한 과제를 극복하는 것.
• 라그랑주 좌표계로 변환한 후 바나흐 고정점 정리에 의해 시스템이 임계 기능적 프레임워크 내에서 해를 가지는 것을 보여주는 것.

제안 방법

• 흐름 맵 $ X $ 를 사용하여 오일러 기반 시스템을 라그랑주 좌표계로 변환하여 방정식의 구조를 단순화하는 것.
• 온도 $ \theta $ 가 아닌 총 에너지 $ E = \rho(|u|^2/2 + e) $ 를 에너지 방정식에 재정의하여 정규성 성질을 향상시키는 것.
• 밀도, 속도, 에너지에 대해 각각 $ s = n/p $, $ n/p - 1 $, $ n/p - 2 $ 인 동질적 베소프 공간 $ \dot{B}^{s}_{p,1} $ 에서 작업하여 척도 불변성을 유지하는 것.
• 임계 기능적 프레임워크에서 바나흐 고정점 정리를 적용하여 해의 존재성과 유일성을 증명하는 것.
• 비선형 항을 제어하기 위해 미분형 사상에 따른 도함수 및 야코비안의 체인 규칙과 변환 법칙을 사용하는 것.
• 고정점 정리를 닫기 위해 변형 텐서 $ DX $ 의 야코비안 $ J $, 그 역행렬, 그리고 여인version을 베소프 노름에서 추정하는 것.

실험 결과

연구 질문

• RQ1 임계 베소프 공간에서 전체 압축성 나비에-스토크스 시스템이 $ 1 < p < 2n $ 인 경우에 대해 국소적으로 잘 정의됨을 보일 수 있는가?
• RQ2 라그랑주 좌표계로 시스템을 변환하고 온도 $ \theta $ 가 아닌 총 에너지 $ E $ 를 추적함으로써 임계 공간 내에서 정규성과 해법 가능성이 향상되는가?
• RQ3 시스템이 임계 프레임워크 내에서 국소적으로 잘 정의됨을 유지하는 데 있어 최적의 $ p $ 범위는 무엇이며, 이는 이전 결과와 어떻게 비교되는가?
• RQ4 밀도, 속도, 에너지에 관련된 비선형 항들이 임계 베소프 설정에서 어떻게 상호작용하는가? 그리고 이들은 고정점 방법을 통해 제어될 수 있는가?
• RQ5 야코비안과 변형 텐서는 베소프 공간에서 좌표계 변환 하에 방정식의 구조를 유지하는 데 어떤 역할을 하는가?

주요 결과

• 전체 압축성 나비에-스토크스 시스템은 $ n \geq 2 $ 및 $ 1 < p < 2n $ 에서 임계 베소프 공간에서 국소적으로 잘 정의됨이 입증되었으며, 이는 이전 결과에서 $ p $ 의 범위를 초월한다.
• 라그랑주 좌표계의 사용과 온도 $ \theta $ 가 아닌 총 에너지 $ E $ 의 사용은 에너지 방정식 내 비선형 항에 대한 더 나은 제어를 가능하게 한다.
• 초기 자료가 $ \rho_0 - 1 \in \dot{B}^{n/p}_{p,1} $, $ u_0 \in \dot{B}^{n/p - 1}_{p,1} $, $ \theta_0 \in \dot{B}^{n/p - 2}_{p,1} $ 를 만족하는 기능적 프레임워크에서 바나흐 고정점 정리를 통해 시스템이 해를 갖는다.
• 야코비안 $ J $, 그 역행렬, 그리고 변형 텐서 $ DX $ 의 여인version은 속도 기울기 $ D\delta v $ 가 $ L^1_T(\dot{B}^{n/p}_{p,1}) $ 에서 유계임을 조건으로 $ \dot{B}^{n/p}_{p,1} $ 노름에서 유계로 추정된다.
• 라그랑주 좌표계로의 변환은 방정식의 구조를 유지하며, 임계 프레임워크 내에서 전체 시스템을 일관되게 다룰 수 있도록 한다.
• 특히 $ p < 2n $ 인 경우에 대해 이전 연구 [danchin1] 에 비해 $ p $ 의 범위를 확장함으로써 국소적으로 잘 정의됨이 유지됨을 개선한 결과이다.