[논문 리뷰] Global weak solutions of PDEs for compressible media: A compactness criterion to cover new physical situations

Didier Bresch, Pierre‐Emmanuel Jabin|arXiv (Cornell University)|2016. 02. 13.

Navier-Stokes equation solutions참고 문헌 8인용 수 4

한 줄 요약

이 논문은 압력 법칙이 비단조화적이며 열역학적으로 불안정한 경우에도 압축성 PDE 시스템에서 약한 해의 전역 존재성을 보장하는 새로운 밀도에 대한 컴팩트니스 기준을 수립한다. 가중 정규성 추정과 연속성 방정식에 대한 새로운 이동 기반 분석을 도입함으로써, 저자들은 비단조화적 압력 법칙을 가진 생물 조직 및 이방성 응력이 있는 다공성 매체와 같은 복잡한 물리계열에 대한 존재 이론을 확장하여 기존의 일반 압력 법칙을 가진 탄성 뉴턴 유체 이론의 장기적인 한계를 극복한다.

ABSTRACT

This short paper is an introduction of the memoir recently written by the two authors (see [D.Bresch., P.--E. Jabin, arXiv:1507.04629, (2015)]) which concerns the resolution of two longstanding problems: Global existence of weak solutions for compressible Navier-Stokes equations with thermodynamically unstable pressure and with anisotropic stress tensor. We focus here on a Stokes-like system which can for instance model flows in a compressible tissue in biology or in a compressible porous media in petroleum engineering. This allows us to explain, on a simpler but still relevant and important system, the tools recently introduced by the authors and to discuss the important results that have been obtained on the compressible Navier--Stokes equations. It is finally a real pleasure to dedicate this paper to G. Metivier for his 65's Birthday. The article will appear in the corresponding special issue, Springer INdAM-Series, Eds F. Colombini, D. Del Santos, D. Lannes (2016).

연구 동기 및 목표

• 열역학적으로 불안정한 압력 법칙을 가진 압축성 뉴턴-스토크스 방정식의 전역 약한 해 존재 문제에 대한 장기적인 열린 문제를 해결하기 위해.
• 단조성 압력 법칙을 초월하여 생물 조직 또는 다공성 매체에서의 인력 및 체력 상호작용과 같은 복잡한 물리적 거동을 다룰 수 있도록 약한 해 이론을 확장하기 위해.
• 일반적인 이방성 응력 텐서를 가진 시스템에 적용 가능한, 연속성 방정식에서 밀도에 대한 새로운 컴팩트니스 프레임워크를 개발하기 위해.
• 특히 저규칙성 설정에서의 비표준 상태 방정식을 가진 압축성 유동을 분석하기 위한 기초 도구 세트를 제공하기 위해.
• 고전적 레일라 유형 존재 이론을 비단조화적 압력 법칙과 이방성 점성 효과를 포함하도록 일반화하기 위해.

제안 방법

• 압축성 PDE 시스템의 구조에서 유도된 가중 정규성 추정을 통합함으로써 연속성 방정식에서 밀도에 대한 새로운 컴팩트니스 기준을 제안한다.
• 속도장의 진동을 제어하기 위해 이동 기반 연산자 $ D_h $ 를 사용하며, 고전적인 최대 함수 추정 대신 더 정교한 $ L^2 $-기반 제곱 함수 분석을 적용한다.
• 밀도에서 정규성을 전파하기 위해 $ dh/h $-가중치를 가진 가중 $ L^2 $-노름을 적용함으로써 연속성 방정식에서 약한 극한의 제어를 가능하게 한다.
• 푸리에 분석을 통해 이동에 따른 $ D_h u $ 의 $ L^2 $-노름 차이를 추정하며, $ s<1 $ 인 경우에 $ W^{s,1} $ 에서 적분 가능한 커널 $ L $ 의 성질을 활용한다.
• 등방성 점성 대신 대칭 행렬 $ A(t) = \mu\,\text{Id} + \delta A(t) $ 을 도입함으로써 이방성 응력 텐서를 가진 에너지 유형 부등식을 수립하여, 작은 편향에 대해서도 강제성 보장.
• 기울기 제어를 통해 점별 차이를 제한하는 국소화된 최대 연산자 $ M $ 을 사용하여 핵심 정규성 추정의 유도를 가능하게 한다.

실험 결과

연구 질문

• RQ1 비단조화적이고 열역학적으로 불안정한 압력 법칙을 가진 압축성 뉴턴-스토크스 방정식에 대해 전역 약한 해가 존재할 수 있는가?
• RQ2 압력 법칙이 단조성 또는 표준 볼록성 조건을 만족하지 못할 경우 연속성 방정식에서 밀도의 컴팩트니스는 어떻게 확립할 수 있는가?
• RQ3 일반적인 압력 법칙을 가진 압축성 유동 모델에서 이방성 응력 텐서를 다루기 위해 어떤 새로운 분석 도구가 필요한가?
• RQ4 고전적 레일라 존재 프레임워크는 비단조화적 압력과 비등방성 점성 효과를 포함하는 시스템으로 어떻게 일반화할 수 있는가?
• RQ5 일반적인 압력 법칙 하에서 전역 약한 해 존재성을 보장하기 위해 소스 항 $ S $ 과 초기 자료에 필요한 최소 정규성 조건은 무엇인가?

주요 결과

• 비단조화적 압력 법칙을 만족하는 압축성 스토크스 유사 시스템에 대해 전역 약한 해가 존재한다. 이는 $ C^{-1}\rho^\gamma - C \leq P(\rho) \leq C\rho^\gamma + C $ 과 $ |P'(\rho)| \leq \bar{P}\rho^{\gamma-1} $ 를 만족하며, $ \gamma > 1 $ 이다.
• 밀도 $ \rho $ 는 $ L^\infty(0,T;L^\gamma) \cap L^{2\gamma}((0,T)\times \mathbb{T}^d) $ 에 속하며, $ L^\gamma $ 값으로 시간에 대해 약한 연속성을 가지며, 이는 강한 컴팩트니스 보장.
• 속도 $ u $ 는 $ L^2(0,T;H^1) $ 에 속하며, 시스템의 모든 항은 분포적 의미에서 잘 정의되며, $ \rho u \in L^1 $ 이고 $ P(\rho) \in L^1 $ 이다.
• 이동 기반 연산자 $ D_h $ 와 $ dh/h $-가중 $ L^2 $-추정에 기반한 새로운 컴팩트니스 기준은 비단조화적 압력 조건 하에서도 밀도 진동을 제어할 수 있게 한다.
• 이방성 응력 텐서 $ A(t) $ 를 가진 전체 뉴턴-스토크스 시스템의 경우, $ \|\delta A\|_{\infty} \leq C_\star (2\mu + \lambda) $ 과 $ \gamma > \frac{d}{2}\left(1 + \frac{1}{d} + \sqrt{1 + \frac{1}{d^2}}\right) $ 를 만족하면 전역 약한 해가 존재하며, 이는 강제성 보장.
• 에너지 부등식은 이방성 형태로 일반화되었으며, $ E(\rho,u)(\tau) + \int_0^\tau \int_\Omega (\nabla_x u^T A \nabla u + (\mu+\lambda)|\text{div}\,u|^2) \leq E_0 $ 로 표현되며, 에너지 소산 보존.