[논문 리뷰] Stability and instability of Navier boundary layers

Matthew Paddick|arXiv (Cornell University)|2011. 03. 25.

Navier-Stokes equation solutions인용 수 11

한 줄 요약

이 논문은 반평면에서 점성 없는 나비에-스토크스 방정식의 비점성 극한 문제를 조사한다. 레일리 해가 오일러 해로 $L^2$ 수렴하는 것을 확립하면서도, 특정 웨이브-패턴 유사 경계층 전개에 대해 비선형 불안정성이 강한 노름($L^\infty$ 및 $H^s$, $s>1$)에서 발생함을 보여준다. 주기적인 설정에서는 이러한 두 현상이 동시에 존재하여 결과가 모순되지 않음을 보여준다.

ABSTRACT

We study the inviscid limit problem for the incompressible Navier-Stokes equation on a half-plane with a Navier boundary condition depending on the viscosity. On one hand, we prove the $L^2$ convergence of Leray solutions to the solution of the Euler equation. On the other hand, we show the nonlinear instability of WKB expansions in the stronger $L^{\infty}$ and $\dot{H}^s$ (s>1) norms.

연구 동기 및 목표

• 반평면에서 나비에 경계 조건을 갖는 비점성 없는 나비에-스토크스 방정식의 비점성 극한을 분석하기 위해.
• $L^2$ 수렴과 강한 노름에서의 비선형 불안정성 간의 명백한 모순을 해결하기 위해.
• 주기적 설정에서 $L^2$ 수렴과 불안정성이 동시에 발생하는 명시적 예를 구성하기 위해.
• 다양한 함수 공간에서 웨이브-패턴 유사 경계층 전개의 타당성과 한계를 확립하기 위해.

제안 방법

• viscosit의 함수로 표현되는 나비에 경계 조건을 갖는 나비에-스토크스 방정식을 분석하며, 접선 스립 항은 계수 $a^\varepsilon$를 포함한다.
• 경계층 전개에 웨이브-패턴 유사 가정을 적용: $u^N = u^i + \sqrt{\varepsilon} u^b(t,x,\varepsilon^{-1/2}y)$, 여기서 $u^i$는 오일러 방정식의 해이다.
• 음의 고유값을 탐지하기 위해 $Q_\delta^\nu(u) = \int_0^\infty |u'|^2 - K_\delta^\nu |u|^2\,dy$ 형태의 이차형식 분석을 적용한다.
• $C^\infty$, 감소하는 함수의 가족 $\xi^\nu$를 구성하여, $u_\delta^\nu(y) = (\tanh(y-\delta) + \zeta)\xi(\nu y)$가 두 개의 변곡점을 가지며 $K_\delta^\nu$를 양수로 생성함을 보장한다.
• 근처의 임계점에서 분모가 0이 될 수 있는 점을 제어하기 위해 점근적 분석과 테일러 전개를 적용한다.
• 정리 4.2를 적용하여 연산자 $-\partial_y^2 - K_\delta^\nu$에 음의 고유값이 존재함을 결론 내려, $H^s$ 및 $L^\infty$ 노름에서의 불안정성을 증명한다.

실험 결과

연구 질문

• RQ1 점성에 의존하는 스립을 갖는 나비에 경계 조건을 갖는 나비에-스토크스 해의 $L^2$ 수렴이 나비에-스토크스 방정식에서 오일러 해로 성립할 수 있는가?
• RQ2 동일한 설정에서 $L^\infty$ 및 $\dot{H}^s$ ($s>1$)에서의 비선형 불안정성이 $L^2$ 수렴과 어떻게 공존할 수 있는가?
• RQ3 주기적 경우에서 $L^2$ 수렴과 불안정성이 동시에 발생하는 단일 초기 자료의 가족을 구성하는 것이 가능한가?
• RQ4 특히 변곡점과 감쇠 특성의 구조가 안정성에 미치는 영향은 무엇인가?
• RQ5 $a^\varepsilon$의 선택이 웨이브-패턴 유사 전개의 타당성과 경계층의 최종 안정성에 어떻게 영향을 미치는가?

주요 결과

• 점성 $\varepsilon \to 0$일 때, 나비에 경계 조건을 갖는 나비에-스토크스 방정식의 레일리 해가 오일러 해로 $L^2$ 노름에서 수렴함을 확인하여, 이 틀에서 비점성 극한이 성립함을 입증한다.
• 특정 웨이브-패턴 유사 경계층 전개에 대해 $L^\infty$ 및 $\dot{H}^s$ 노름($s>1$)에서 비선형 불안정성이 증명되며, 이는 이러한 전개가 균일하게 안정되지 않음을 나타낸다.
• 불안정성은 구성된 경계층 프로파일 $u_\delta^\nu$의 두 개의 변곡점으로 인해 발생하며, 이는 관련 이차형식에서 음의 고유값을 유도한다.
• $C^\infty$, 감소하는 함수의 가족 $\xi^\nu$를 명시적으로 구성하여, $u_\delta^\nu(y) = (\tanh(y-\delta) + \zeta)\xi(\nu y)$가 불안정성을 유도하는 데 필요한 성질을 갖도록 한다.
• 주기적 설정 $\Omega' = \mathbb{T} \times \mathbb{R}^+$에서는 단일 초기 자료의 가족에 대해 $L^2$ 수렴과 불안정성이 동시에 존재하여 명백한 모순이 해결된다.
• $K_\delta^\nu$의 양성과 연속성 덕분에 연산자 $-\partial_y^2 - K_\delta^\nu$는 음의 고유값을 갖는다. 이는 $\xi^\nu$의 철저한 구성과 그 도함수의 제어를 통해 보장된다.