[논문 리뷰] The incompressible navier-stokes equations in vacuum

Raphaël Danchin, Piotr B. Mucha|arXiv (Cornell University)|2017. 05. 17.

Navier-Stokes equation solutions참고 문헌 27인용 수 6

한 줄 요약

이 논문은 밀도에 대한 양의 하한 조건이나 호환성 조건 없이, $H^1$ 초깃속도와 유한한 비음성 초깃밀도를 가진 진공 내에서 비압축성 나비에-스토크스 방정식의 전역 존재성과 유일성을 확립한다. 주요 기여는 일반적인 자료에 대해 2차원에서, 그리고 초깃속도에 스케일 불변성 조건을 만족할 경우 3차원에서 전역 고유해를 증명함으로써 진공 내 점성 유체의 낙하가 어떻게 진전되는지 오랫동안 남아있던 질문을 해결한 것이다.

ABSTRACT

We are concerned with the existence and uniqueness issue for the inhomogeneous incompressible Navier-Stokes equations supplemented with H^1 initial velocity and only bounded nonnegative density. In contrast with all the previous works on that topics, we do not require regularity or positive lower bound for the initial density, or compatibility conditions for the initial velocity, and still obtain unique solutions. Those solutions are global in the two-dimensional case for general data, and in the three-dimensional case if the velocity satisfies a suitable scaling invariant smallness condition. As a straightforward application, we provide a complete answer to Lions' question in [25], page 34, concerning the evolution of a drop of incompressible viscous fluid in the vacuum.

연구 동기 및 목표

• 진공 내에서 점성 비압축성 유체 낙하가 양의 초깃밀도나 호환성 조건 없이 고유하게 진전될 수 있는지 여부에 대한 오랜 동안 남아있던 열린 문제를 다룸.
• 양의 밀도나 부드러운 초깃값이라는 전통적 가정을 초월하여 비균질 비압축성 나비에-스토크스 방정식의 존재성과 유일성 이론을 확장함.
• 리옹스의 질문(2006년, p.34)에 대한 완전한 답을 제시함: 진공 내 비압축성 점성 유체 낙하의 진전에 대해.
• 초깃속도가 $H^1$이고 유한한 비음성 밀도일 때, 비정규성 공간에서 잘 정의된 문제를 확립함. 이는 밀도가 불연속적이거나 0이 되는 경우에도 적용 가능함.

제안 방법

• 초깃밀도 $\rho_0 \in L^\infty$, $\rho_0 \geq 0$, 그리고 초깃속도 $v_0 \in H^1_0(\Omega)$를 가진 비균질 비압축성 나비에-스토크스 시스템을 수립함. $\rho_0$에 대한 하한 조건 없이 진행함.
• 시간에 따라 변화하는 계수를 가진 스토크스 연산자의 최대 정규성 추정을 적용하고, 특이 적분 이론과 발산 연산자의 $L^p$-유계성 이론을 활용함.
• 시간에 따라 변화하는 행렬 $A(t,x)$를 통해 해 연산자를 구성하고, 함수 공간 $X_T$ 내에서 바나흐 고정점 정리에 기반하여 존재성과 유일성을 증명함.
• 에너지 추정과 보존 법칙(질량, 운동량, 에너지)을 최소한의 가정 하에 유도함. 연속 방정식에 대한 재규합 기법을 활용함.
• 밀도와 속도의 정규성 부족을 다루기 위해 [7]과 [25]의 재규합 해 및 최대 정규성 결과를 응용함.

실험 결과

연구 질문

• RQ1 초깃밀도가 유한하고 음이 아닌 조건만 만족할 경우, 진공 내 비압축성 나비에-스토크스 방정식의 전역 고유해가 존재할 수 있는가?
• RQ2 초깃속도와 밀도 간의 호환성 조건 없이도 존재성과 유일성을 증명할 수 있는가?
• RQ3 3차원에서 초깃속도에 대한 고전적 소형 조건이 밀도가 0에서 멀리 떨어져 있지 않을 경우에도 여전히 전역 존재성을 보장하는가?
• RQ4 초깃값에 대한 최소한의 정규성 조건 하에서 진공 내 점성 유체 낙하의 진전이 고유하게 기술될 수 있는가?
• RQ5 비균질 비압축성 나비에-스토크스 방정식의 잘 정의된 문제를 보장하기 위해 필요한 최소한의 정규성 조건은 무엇인가?

주요 결과

• 2차원에서는 $v_0 \in H^1_0(\Omega)$ 및 $\rho_0 \in L^\infty(\Omega)$, $\rho_0 \geq 0$ 조건을 만족하는 임의의 초깃값에 대해 전역 고유해가 존재하며, $\inf \rho_0 > 0$ 조건이 필요하지 않음.
• 3차원에서는 초깃속도가 스케일 불변성 조건 $\mu^{-2}\|v_0\|_{L^2}\|\nabla v_0\|_{L^2} \ll 1$ 을 만족할 경우, $\rho_0$가 유한하고 음이 아닌 한 전역 고유해가 존재함.
• 해는 총 질량과 에너지 균형을 유지하며, $\|\sqrt{\rho(t)}v(t)\|_{L^2}^2 + 2\mu\int_0^T \|\nabla v\|_{L^2}^2 \, dt \leq \|\sqrt{\rho_0}v_0\|_{L^2}^2$ 를 만족함.
• 밀도는 유한하고 그 $L^\infty$ 노름이 보존됨: $\operatorname{ess\,inf}_x \rho(t,x) = \operatorname{ess\,inf}_x \rho_0(x)$ 및 $\operatorname{ess\,sup}_x \rho(t,x) = \operatorname{ess\,sup}_x \rho_0(x)$.
• 소형 조건 하에서 공간 $X_T = L^2(0,T;H^1_0) \cap L^4(0,T;L^2)$ 내에서 시간 도함수가 $L^{4/3}(0,T;L^{3/2})$ 에 속할 경우 해는 유일함.
• 논문은 리옹스의 질문(2006년, p.34)에 대한 완전한 답을 제공하며, 최소한의 가정 하에서 진공 내 점성 유체 낙하의 전역 고유 존재성을 확인함.