[논문 리뷰] On the two-phase Navier-Stokes equations with surface tension

Jan Pruess, Gieri Simonett|arXiv (Cornell University)|2009. 08. 23.

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

한 줄 요약

이 논문은 초기 경계가 반평면에 대한 작은 변화이면, 표면장력이 있는 두상태 불압축 나비에-스토크스 방정식에 대해 국소 적으로 잘 정의되어 있고 즉각적인 해석성(Analyticity)을 확립한다. 선형화된 문제에 대해 Lp-최대정규성 이론을 사용하여, 저자들은 초기 조건이 임계 스об올레프 공간에만 속해도 시간과 공간에 대해 즉각적으로 해석함수로 변하는 해가 존재함을 증명한다.

ABSTRACT

The two-phase free boundary problem for the Navier-Stokes system is considered in a situation where the initial interface is close to a halfplane. By means of $L_p$-maximal regularity of the underlying linear problem we show local well-posedness of the problem, and prove that the solution, in particular the interface, becomes instantaneously real analytic.

연구 동기 및 목표

• 초기 경계가 반평면에 가까울 때, 표면장력이 있는 두상태 불압축 나비에-스토크스 방정식의 국소 적으로 잘 정의되어 있는지 확인한다.
• 해(해의 자유경계 포함)가 시간과 공간에 대해 즉각적으로 해석함수로 변하는지 증명한다.
• 최소한의 초기 정규성 조건 하에서 속도, 압력, 경계의 정규성을 분석한다.
• 비선형 자유경계 문제를 임계 함수공간 프레임워크 내에서 다루기 위해 최대정규성 이론을 사용한다.
• 매개변수에 의존하는 비선형 시스템에 대해 은직함수정리(implicit function theorem)를 적용하여 해의 해석성이 유지되는지 검증한다.

제안 방법

• 경계에서의 점프 조건을 포함한 표면장력이 있는 두상태 나비에-스토크스 시스템을 비선형 자유경계 문제로 공식화한다.
• 평탄한 경계를 중심으로 시스템을 선형화하고, 얻어진 선형 문제에 대해 Lp-최대정규성 이론을 적용한다.
• 초기 경계를 평탄하게 만들기 위해 변수변환을 사용하여 문제를 고정된 영역 설정으로 변환한다.
• 초기 자료 주변에서 비선형 문제를 바나흐 공간 프레임워크 내에서 은직함수정리로 해결한다.
• 은직함수정리 설정에서 매개변수에 대한 해석적 의존성에 의해 해의 해석성을 확립한다.
• 해의 연산자 해석성과 비선형 항의 구조를 활용하여, 해가 공간-시간에서 실해석함수임을 증명한다.

실험 결과

연구 질문

• RQ1 표면장력이 있는 두상태 나비에-스토크스 시스템이 유일한 국소 해를 갖는 조건은 무엇인가?
• RQ2 초기 자료가 임계 스오보레프 공간에만 속해도 해가 시간과 공간에 대해 즉각적으로 해석함수로 변하는가?
• RQ3 표면장력은 자유경계 문제의 정규성과 잘 정의되어 있는지에 어떤 영향을 미치는가?
• RQ4 자유경계 문제에서 유도된 매개변수에 의존하는 비선형 시스템에 대해 은직함수정리를 효과적으로 적용할 수 있는가?
• RQ5 Lp-최대정규성 이론은 비선형 두상태 유체 시스템의 존재성과 정규성 증명에서 어떤 역할을 하는가?

주요 결과

• p > n+3 인 경우, 초기 자료가 W^{2-2/p}_p(\bar{Ω}_0; \mathbb{R}^{n+1}) \times W^{3-2/p}_p(\mathbb{R}^n) 에 속할 때, (0, t_0) 동안 고전적 해가 존재하고 유일하다.
• 해 (u, q, \Gamma) 는 \mathcal{O} = \bigcup_{t \in (0,t_0)} \{t\} \times \Gamma(t) 에서 공간과 시간에 대해 실해석함수이며, \Gamma(t) 는 \mathbb{R}^n 위의 그래프이다.
• 경계 \Gamma(t) 는 함수 h(t) 로 주어지고, 해 (u, q) 는 \mathcal{O} \subset \mathbb{R}^{n+2} 에서 실해석함수이다.
• 각 t \in (0,t_0) 에 대해 압력 q 는 \dot{H}^1_p(\Omega(t)) \subset UC(\Omega(t)) 에 속하여 연속성을 보장한다.
• 해는 경계를 넘는 응력 점프와 속도 연속성 조건을 포함한 호환 조건을 만족한다.
• 매개변수에 의존하는 비선형 시스템에 은직함수정리를 적용하여 해석성을 확보하였으며, 매개변수에 대한 해석적 의존성이 입증되었다.