[논문 리뷰] On a strong solution of the non-stationary Navier-Stokes equations under slip or leak boundary conditions of friction type

Takahito Kashiwabara|arXiv (Cornell University)|2012. 01. 21.

Contact Mechanics and Variational Inequalities참고 문헌 11인용 수 3

한 줄 요약

이 논문은 2차원 및 3차원 영역에서 마찰 유형의 비선형 슬립 또는 누출 경계 조건을 갖는 비정상 상태 나비에-스토크스 방정식에 대해 강한 해의 존재성과 유일성을 확립한다. 변분부등식, 갈레르킨 방법, 초기 조건과의 일致 조건을 포함한 사전 추정을 통해, 2차원 슬립 문제에 대해 전역 존재성을, 3차원 경우에 대해 국소 존재성을 증명한다. 특히 누출 조건에서는 t=0에서의 무누출 가정 하에 성립한다.

ABSTRACT

Strong solutions of the non-stationary Navier-Stokes equations under non-linearized slip or leak boundary conditions are investigated. We show that the problems are formulated by a variational inequality of parabolic type, to which uniqueness is established. Using Galerkin's method and deriving a priori estimates, we prove global and local existence for 2D and 3D slip problems respectively. For leak problems, under no-leak assumption at $t=0$ we prove local existence in 2D and 3D cases. Compatibility conditions for initial states play a significant role in the estimates.

연구 동기 및 목표

• 비선형 슬립 또는 누출 경계 조건의 마찰 유형에 대해 비정상 상태 나비에-스토크스 방정식에 대한 강한 해의 존재성과 유일성을 확립한다.
• 특히 누출 경계 조건에서의 정규성과 유일성 부족 문제를 해결한다.
• 초기 자료에 대한 일치 조건을 도입하여 3차원 경우의 존재 결과를 확장한다.
• t=0에서의 무누출 가정 하에 누출 문제에 대해 시간 국소 존재성을 제공한다.
• Leray-Hopf 약한 해에서 확보되지 않는 압력에 대한 $ L^\infty $-시간 추정을 확보한다.

제안 방법

• 슬립 및 누출 경계 조건을 포물형 변분부등식으로 공식화한다.
• 유한 차원 부분공간에서의 해를 근사하기 위해 갈레르킨 방법을 적용한다.
• 에너지 방법과 소볼레프 포함을 사용하여 비선형 항을 제어하기 위해 사전 추정을 유도한다.
• 정규화된 문제에서 경계 조건과의 일致성을 보장하기 위해 초기 속도 $ u_0 $ 에 일치 조건을 도입한다.
• 마찰 응력 법칙을 표현하기 위해 미분부를 사용하며, 예를 들어 $ \sigma_\tau \in -g\partial|u_\tau| $ 와 같이 기술한다.
• 갈레르킨 근사에서의 $ m \to \infty $ 및 정규화에서의 $ \epsilon \to 0 $ 로의 극한을 취하여 강한 해를 도출한다.

실험 결과

연구 질문

• RQ1 비선형 슬립 경계 조건의 마찰 유형에 대해 2차원 및 3차원 영역에서 비정상 상태 나비에-스토크스 방정식에 강한 해가 존재할 수 있는가?
• RQ2 초기 자료에 대한 일치 조건이 마찰 유형 경계 조건 하에서 강한 해의 존재성을 확보하는 데 어떤 역할을 하는가?
• RQ3 특히 t=0에서의 무누출 가정 하에, 2차원 및 3차원에서 마찰 유형의 누출 경계 조건에 대해 국소 존재성이 달성 가능한가?
• RQ4 사전 추정과 갈레르킨 근사는 강한 해 프레임워크에서 존재성과 유일성 증명에 어떻게 기여하는가?
• RQ5 Leray-Hopf 약한 해와 달리, 이 강한 해 설정에서 압력에 대한 $ L^\infty $-시간 추정을 확보할 수 있는가?

주요 결과

• 마찰 유형 경계 조건 하에서 2차원 슬립 문제에 대해 강한 해의 전역 존재성이 증명된다.
• 동일한 경계 조건 하에서 3차원 슬립 문제에 대해 강한 해의 국소 존재성이 확립된다.
• 누출 경계 조건 하에서 t=0에서의 무누출 가정 하에 2차원 및 3차원 모두에서 국소 존재성이 증명된다.
• 근사 과정에서 정규성과 일치성을 보장하기 위해 초기 속도 $ u_0 $ 는 경계 조건과 일치 조건을 만족해야 한다.
• 에너지 방법과 소볼레프 포함을 사용하여 사전 추정이 도출되며, 그 결과는 $ f, g, u_0, p_0 $ 및 영역에 의존한다.
• 이 방법은 속도에 대해 $ L^\infty(0,T;H^1) $ 정규성과 압력에 대해 $ L^\infty(0,T;L^2) $ 를 보장하며, $ u' \in L^\infty(0,T;L^2) \cap L^2(0,T;H^1) $ 를 확보한다.