[논문 리뷰] The Inviscid Limit of the Navier-Stokes Equations with Kinematic and Navier Boundary Conditions

Gui‐Qiang Chen, Siran Li외 1명|arXiv (Cornell University)|2018. 12. 17.

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

한 줄 요약

이 논문은 유한한 영역에서 3차원 비압축성 스토크스 방정식의 강력한 점성 극한을 $H^r$ 스케일에서 분석하며, $r > 5/2$ 인 경우, 경계층 형성이 없이 최고계수 노름까지 균일 수렴함을 증명한다. 비-나비에 슬립 조건 하에서 강력한 수렴이 실패할 수 있음을 기하학적 증명을 통해 보여주며, 이는 경계를 따라 비탈리에이션의 비영인 리 도함수를 유도한다.

ABSTRACT

We are concerned with the inviscid limit of the Navier-Stokes equations on bounded regular domains in $\mathbb{R}^3$ with the kinematic and Navier boundary conditions. We first establish the existence and uniqueness of strong solutions in the class $C([0,T_\star); H^r(Ω; \mathbb{R}^3)) \cap C^1([0,T_\star); H^{r-2}(Ω;\mathbb{R}^3))$ with some $T_\star>0$ for the initial-boundary value problem with the kinematic and Navier boundary conditions on $\partial Ω$ and divergence-free initial data in the Sobolev space $H^r(Ω; \mathbb{R}^3)$ for $r\geq 2$. Then, for the strong solution with $H^{r+1}$--regularity in the spatial variables, we establish the inviscid limit in $H^r(Ω; \mathbb{R}^3)$ uniformly on $[0,T_\star)$ for $r > \frac{5}{2}$. This shows that the boundary layers do not develop up to the highest order Sobolev norm in $H^{r}(Ω;\mathbb{R}^3)$ in the inviscid limit. Furthermore, we present an intrinsic geometric proof for the failure of the strong inviscid limit under a non-Navier slip-type boundary condition.

연구 동기 및 목표

• 유한 영역에서 경계 조건이 운동학적 및 나비에 조건인 3차원 비압축성 스토크스 방정식의 점성 극한을 분석하는 것.
• 점성 $ u \to 0$ 일 때, 고차 스케일 $H^r$ 에서 경계층이 형성되는지 여부를 규명하는 것.
• 발산이 없는 초기 자료를 가진 $H^r$ 에서 강해의 존재성과 유일성을 확립하는 것.
• 점성 극한이 $r > 5/2$ 인 경우, 시간 $T_\star$ 까지 $H^r$ 에서 스토크스 해가 올바르게 올바른 오일러 해로 수렴함을 증명하는 것.
• 비-나비에 슬립 유형의 경계 조건 하에서 강력한 점성 극한이 실패하는 기하학적 특성화를 제공하는 것.

제안 방법

• 에너지 추정과 소볼레프 삽입을 이용하여 $r \geq 2$ 인 경우, $C([0,T_\star);H^r(\Omega;\mathbb{R}^3)) \cap C^1([0,T_\star);H^{r-2}(\Omega;\mathbb{R}^3))$ 에서 강해의 존재성과 유일성을 확립한다.
• $r > 5/2$ 인 경우 고차 에너지 추정과 비틀림 추정을 통해 비점성 극한을 비틀림과 경계 기하학의 함수로 분석한다.
• 경계 조건의 기하학적 표현을 통해 리 도함수와 형태 연산자 $\mathcal{S}$ 를 이용하여 비틀림의 경계 행동을 특성화한다.
• 속도장의 적분 곡선 沿해 벡터장의 당김을 이용하여 리 도함수 $\mathcal{L}_{u_0}\omega_0$ 를 정의한다.
• 비-나비에 조건 하에서 강력한 점성 극한이 실패할 조건을 유도하기 위해, 비틀림의 비탈리에이션 $\mathcal{L}_{u_0}\omega_0 \times \mathbf{n} \neq 0$ 를 증명한다.
• 해석적 Hodge 별도 연산자와 국소 좌표 표현을 적용하여 나비에 경계 조건을 접선 성분과 곡률로 표현한다.

실험 결과

연구 질문

• RQ1 경계 조건이 운동학적 및 나비에 조건인 스토크스 방정식이 $r > 5/2$ 인 $H^r$-노름에서 강력한 점성 극한을 가지는가?
• RQ2 점성 $ u \to 0$ 일 때, 이러한 경계 조건 하에서 고차 스케일 $H^r$ 에서 경계층이 형성되는가?
• RQ3 경계를 따라 비틀림의 리 도함수는 강력한 점성 극한 실패에 어떤 역할을 하는가?
• RQ4 영역의 곡률은 비틀림의 행동과 점성 극한에서의 해 수렴에 어떤 영향을 미치는가?
• RQ5 비-나비에 슬립 유형의 경계 조건 하에서 강력한 점성 극한이 실패하는 기하학적 및 역학적 조건은 무엇인가?

주요 결과

• 초기 자료가 $H^r(\Omega;\mathbb{R}^3)$ 에 있고 $\nabla \cdot u_0 = 0$ 인 경우, $r \geq 2$ 에 대해 $C([0,T_\star);H^r(\Omega;\mathbb{R}^3)) \cap C^1([0,T_\star);H^{r-2}(\Omega;\mathbb{R}^3))$ 에서 강해가 존재하고 유일하다.
• 점성 극한은 $r > 5/2$ 인 경우 $H^r(\Omega;\mathbb{R}^3)$ 에서 균일하게 성립하며, 최고계수 노름까지 경계층 형성이 없다.
• 비-나비에 슬립 조건 하에서 강력한 점성 극한이 실패하는 것은, 비-zero 곡률과 비-zero 비틀림이 존재하는 점들에서 리 도함수 $\mathcal{L}_{u_0}\omega_0 \times \mathbf{n}$ 이 영이 아님으로써 기하학적으로 특성화된다.
• $\mathcal{L}_{u_0}\omega_0 \times \mathbf{n} \neq 0$ 조건은 초기 비틀림과 속도의 경계 호환성에서 유도된 강력한 수렴을 위한 필수 조건과 모순된다.
• 형태 연산자 $\mathcal{S}$ 와 회전 연산자 $\mathcal{R}$ 를 통한 나비에 경계 조건의 기하학적 표현은 경계에서 접선 속도와 비틀림의 결합을 정밀하게 분석할 수 있게 한다.
• 내재된 기하학적 증명은 곡면 경계에서 속도장의 적분 곡선을 따라 비틀림이 평행 이동되지 않음을 기반으로 하며, 이는 비-zero 리 도함수를 유도하고 강력한 극한 조건을 위반한다.