[논문 리뷰] Free boundary regularity of vacuum states for incompressible viscous flows in unbounded domains

Christophe Prange, Jin Tan|arXiv (Cornell University)|2023. 10. 13.

Navier-Stokes equation solutionsMathematics인용 수 3

한 줄 요약

이 논문은 유한 에너지 약한 해에 대해 비압축성 나비에-스토크스 방정식의 진공 상태에서의 유일성과 자유 경계의 정칙성을 증명한다. 이는 초기 밀도가 유계이자 비음수이며, 초기 속도에 대해 최소한의 정칙성 조건만을 요구하는 경우, 무한 도메인($\mathbb{R}^d$, $d=2,3$)에서 성립한다. 이는 리옹스의 열린 문제인 전체 공간에서 진공 기포나 밀도 패치의 경계 정칙성 유지 문제를 해결하며, 페인카르에 부등식이 성립하지 않는 점을 극복하기 위해 새로운 보간 및 가중 에너지 추정을 사용한다.

ABSTRACT

In the well-known book of Lions [{\em Mathematical topics in fluid mechanics. Incompressible models}, 1996], global existence results of finite energy weak solutions of the inhomogeneous incompressible Navier-Stokes equations (INS) were proved without assuming positive lower bounds on the initial density, hence allowing for vacuum. Uniqueness, regularity and persistence of boundary re\-gularity of density patches were listed as open problems. A breakthrough on Lions' problems was recently made by Danchin and Mucha [The incompressible Navier-Stokes equations in vacuum, {\em Comm. Pure Appl. Math.}, 72 (2019), 1351--1385] in the case where the fluid domain is either bounded or the torus. However, the case of unbounded domains was left open because of the lack of Poincaré-type inequalities. In this paper, we obtain regularity and uniqueness of Lions' weak solutions for (INS) with \emph{only bounded and nonnegative initial density} and additional regularity only assumed for the initial velocity, in the whole-space case $\mathbb R^d$, $d=2$ or $3$. In particular, our result allows us to study the evolution of a vacuum bubble embedded in an incompressible fluid, as well as a patch of a homogeneous fluid embedded in the vacuum, which provides an answer to Lions' question in the whole-space case.

연구 동기 및 목표

• 비압축성 나비에-스토크스 방정식에서 $\mathbb{R}^d$ 공간에서 진공 상태의 자유 경계 정칙성 유지 문제를 리옹스가 제기한 열린 문제를 해결하는 것.
• 초기 밀도가 유계이자 비음수이며, 초기 운동량이 $L^2$ 조건 이외에 추가 정칙성 조건이 없더라도 약한 해의 유일성과 정칙성을 확립하는 것.
• 한계 도메인이나 주기적 도메인에서의 단친과 무차의 결과를 전체 공간으로 확장하여, 페인카르에 유형 부등식이 실패하는 상황에서도 성립하도록 하는 것.
• 비압축성 점성 유동에서 진공 기포나 밀도 패치의 진화를 다루는 체계적인 프레임워크를 제공하는 것.

제안 방법

• 함수를 $L^1$ 및 $L^2$ 성분으로 분해하여, $L^2$ 노름을 가중 $L^2$ 노름과 기울기 노름으로 제어할 수 있는 $\mathcal{D}^{1,2}(\mathbb{R}^d)$ 함수에 대한 새로운 보간 부등식을 유도한다.
• 가중 에너지 추정을 적용하여, 거의 진공 조건(aNV) 또는 진공 기포 조건(VB)을 만족하는 가중 함수 $\eta$를 사용함으로써 속도 및 밀도 변화의 $L^2$ 노름을 제어한다.
• 비균일 비압축성 나비에-스토크스 방정식의 구조를 이용하여, 진공 영역과 관련된 자유 경계의 정칙성을 유지하는 사전 추정을 도출한다.
• 속도장과 밀도를 정규 및 특이 성분으로 분해하여 진공 영역에서 운동량 방정식의 비선형성을 다룬다.
• 가중 $L^2$ 추정을 Gagliardo-Nirenberg 부등식과 얀의 부등식, 초기 자료의 구조를 조합하여 새로운 방식으로 유도한다.
• 주어진 조건 하에서 진공 영역 또는 밀도 패치의 자유 경계가 항상 $C^1$-정칙성을 유지함을 증명하며, 이는 해의 정칙성과 밀도의 운반 방정식의 구조를 활용한다.

Figure 1. Relationships between the results in the paper

실험 결과

연구 질문

• RQ1 비압축성 나비에-스토크스 방정식에 의한 시간 진화에서 진공 영역 또는 밀도 패치의 자유 경계가 정칙성을 유지하는가?
• RQ2 초기 밀도가 유계이자 비음수이며, 초기 운동량이 전체 공간에서 $L^2$ 조건만을 만족할 때, 비압축성 나비에-스토크스 방정식의 약한 해의 유일성과 정칙성을 확립할 수 있는가?
• RQ3 한계 또는 주기적 도메인에서의 정칙성 결과를 페인카르에 부등식이 실패하는 비한정 도메인인 $\mathbb{R}^d$로 확장할 수 있는가?
• RQ4 초기 자료에 어떤 조건이 있어야 진공 영역과 유체 영역 사이의 경계가 시간이 지남에 따라 매끄럽게 유지되는가?
• RQ5 밀도에 하한이 없이도 진공 기포나 밀도 패치의 $C^1$-정칙성 유지가 증명될 수 있는가?

주요 결과

• 논문은 $\mathbb{R}^d$ ($d=2,3$)에서 초기 밀도가 유계이자 비음수이며, 초기 운동량이 $L^2$ 조건을 만족할 때, 표준 에너지 조건 하에서 비압축성 나비에-스토크스 방정식의 유한 에너지 약한 해의 유일성을 확립한다.
• 진공 영역 또는 밀도 패치의 자유 경계가 주어진 조건 하에 항상 $C^1$-정칙성을 유지함을 증명하며, 이는 리옹스의 열린 문제를 전체 공간에서 해결한다.
• 작성자는 가중 $L^2$ 노름과 기울기 노름을 통해 함수의 $L^2$ 노름을 제어할 수 있는 새로운 $L^2$ 보간 추정을 구성하였으며, 이는 가중 함수 $\eta$가 비선형일 경우에도 성립한다.
• 무한 도메인에서 페인카르에 부등식이 성립하지 않는 점을 극복하기 위해 함수를 $L^1$ 및 $L^2$ 성분으로 분해하고, 가중 추정을 적용한다.
• 진공 기포가 유체 속에 존재하거나, 진공 속에 균일한 유체 패치가 존재하는 물리적으로 의미 있는 구성에 대해서도 결과가 적용되며, 이 경우 경계 정칙성이 유지됨을 보여준다.
• 논문은 이전의 한계 도메인 및 주기적 도메인 결과를 확장하여 리옹스의 질문에 완전한 답을 제시한다.