[논문 리뷰] On the isothermal compressible multi-component mixture flow: the local existence and maximal $L_p-L_q$ regularity of solutions

Tomasz Piasecki, Yoshihiro Shibata외 1명|arXiv (Cornell University)|2019. 03. 23.

Navier-Stokes equation solutions인용 수 4

한 줄 요약

이 논문은 압축성 뉴턴-스토크스 방정식과 교차 확산 유량에 의해 지배되는 강하게 결합된 확산 부분계수를 갖는 등온 압축성 다성분 기체 혼합물 모델링 시스템에 대해 국소적 시간 존재성과 최대 $L_p$-$L_q$ 정규성(regularity)을 확립한다. 분석은 대칭화 및 선형화 기법에 기반하며, 확산 행렬과 압력 법칙에 대한 일반적인 가정 하에서 해의 존재성과 유일성을 입증한다.

ABSTRACT

We consider the initial-boundary value problem for the system of equations describing the flow of compressible isothermal mixture of arbitrary large number of components. The system consists of the compressible Navier-Stokes equations and a subsystem of diffusion equations for the species. The subsystems are coupled by the form of the pressure and the strong cross-diffusion effects in the diffusion fluxes of the species. Assuming the existence of solutions to the symmetrized and linearized equations, proven in [35], we derive the estimates for the nonlinear equations and prove the local-in-time existence and maximal $L_p-L_q$ regularity of solutions.

연구 동기 및 목표

• 등온 압축성 다성분 기체 혼합물 모델링 시스템에 대한 국소적 시간 존재성을 확립하기 위해.
• 강한 교차 확산 결합 조건 하에서 해의 최대 $L_p$-$L_q$ 정규성을 조사하기 위해.
• 압력 및 확산 유량에 대한 일반적인 구성 법칙 하에서 시스템의 잘 정의됨(well-posedness)을 분석하기 위해.
• 종속성의 비선형성과 함께 기인하는 종 분율 보존 부분계수의 비선형성 문제를 해결하기 위해.
• 사전 추정 및 고정점 논증을 통해 선형화된 시스템의 정규성 결과를 비선형 시스템으로 확장하기 위해.

제안 방법

• 유체 운동 방정식과 종 농도 보존 방정식을 조합하여, 속도에 의존하는 유량을 갖는 연립 방정식으로 시스템을 기술한다.
• 해의 존재를 전제로 하는 선형화된 시스템의 대칭화된 형태를 도입한다.
• 일정한 온도 조건에서 보일의 법칙에 따라 $p = \sum_k \varrho_k / m_k$ 라는 구성 법칙을 사용하여 압력을 종 농도의 함수로 정의한다.
• 행렬 $C_{kl}$을 통해 확산 유량을 모델링하며, $C{\cal Y} = {\cal Y}C^T$, $N(C) = \text{lin}\{\vec{Y}\}$, $R(C) = \vec{U}^\perp$ 조건을 만족시켜 질량 보존을 보장한다.
• 비대칭 행렬 $D_{kl} = C_{kl}/(\varrho Y_k)$를 도입하며, 이는 대칭적이고 음이 아닌 행렬이며 $\vec{U}^\perp$ 상에서 양의 정부호이므로 강도 조건(coercivity)을 보장한다.
• 변수 변화와 행렬 분석을 적용하여 유량 행렬 $\cal{B}$의 행렬식이 $(x,t)$ 전역에서 양수 상한선으로 유계임을 보이며, 이는 타원성 조건을 보장한다.

실험 결과

연구 질문

• RQ1 압축성 다성분 기체 혼합물에 대한 초기경계값 문제는 어떤 조건에서 국소적 시간 해를 갖는가?
• RQ2 강한 교차 확산을 고려한 비선형 시스템의 해에 대해 최대 $L_p$-$L_q$ 정규성 클래스는 무엇인가?
• RQ3 확산 행렬 $C$와 그로 유도된 행렬 $D$의 구조적 성질이 시스템의 강도 조건과 해의 존재성에 어떤 영향을 미치는가?
• RQ4 종 분율 보존 방정식의 비선형성 문제는 대칭화 및 행렬의 구조적 가정을 통해 어떻게 극복할 수 있는가?
• RQ5 유량 행렬 $\cal{B}$의 행렬식이 양수임은 비선형 시스템의 잘 정의됨에 있어 어떤 역할을 하는가?

주요 결과

• 논문은 등온 압축성 다성분 기체 혼합물 모델링 비선형 연립 방정식계에 대해 국소적 시간 존재성을 입증한다.
• 해가 $p, q \in (1, \infty)$ 이며 $p > 2$ 조건 하에서 특정 최대 정규성 클래스에 속함을 보이며, 이는 $L_p$-$L_q$ 정규성의 최대성 조건을 만족함을 의미한다.
• 분석 결과, 확산 행렬 $D$는 대칭적이고 음이 아닌 행렬이며, $\vec{U}^\perp$ 상에서 양의 정부호이므로 시스템에 필요한 강도 조건이 보장됨을 보여준다.
• 유량 행렬 $\cal{B}$의 행렬식은 $(x,t)$ 전역에서 양수 상한선으로 유계임을 보이며, $\det \cal{B} \geq C > 0$ 이다. 이는 타원성과 해의 존재성에 핵심적이다.
• 특수한 행렬 구조 (13)에 대해 $\cal{B}$의 모든 주대각선 소행렬식이 양수임을 증명하였으며, 이는 $\cal{B} > 0$ 이 전역적으로 성립함을 확인한다.
• 조건 2(감소된 행렬 $\bar{D}$의 최소 고유값의 일관된 양성) 하에, 강도 조건 상수 $c(x,t) \geq \kappa > 0$ 이 $¯{\Omega} \times [0,T]$ 전역에서 일관되게 하한선으로 유계임을 보였다.