[논문 리뷰] Long-time solvability of the Navier-Stokes-Boussinesq equations with almost periodic initial large data

Slim Ibrahim, Tsuyoshi Yoneda|arXiv (Cornell University)|2011. 09. 28.

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

한 줄 요약

이 논문은 강한 밀도 분층 조건 하에서 큰, 거의 평형 초기 자료를 가진 나비에-스토크스-부시네스크 방정식의 장기적 해의 존재성을 확립한다. $\varepsilon$-정규화와 $\varepsilon$-의존적인 빠른 특이 진동 극한을 사용하여, 극한 2차원-나비에-스토크스 시스템의 전역 해 존재성과 합집합 폐쇄 주파수 집합 위에서의 진폭의 $\ell^1$-노름을 통한 $\varepsilon$-의존 오차 항의 통제를 바탕으로 부트스트랩 방법을 통해 전역 존재성을 증명한다.

ABSTRACT

We investigate large time existence of solutions of the Navier-Stokes-Boussinesq equations with spatially almost periodic large data when the density stratification is sufficiently large. In 1996, Kimura and Herring \cite{KH} examined numerical simulations to show a stabilizing effect due to the stratification. They observed scattered two-dimensional pancake-shaped vortex patches lying almost in the horizontal plane. Our result is a mathematical justification of the presence of such two-dimensional pancakes. To show the existence of solutions for large times, we use $\ell^1$-norm of amplitudes. Existence for large times is then proven using techniques of fast singular oscillating limits and bootstrapping argument from a global-in-time unique solution of the system of limit equations.

연구 동기 및 목표

• 분층 유체에서 두 차원의 팬케이크 모양의 소용돌이 패치가 수치적으로 관찰된 것을 수학적으로 정당화하기 위해.
• 큰 공간적 거의 평형 초기 자료를 가진 나비에-스토크스-부시네스크 시스템에 대해 시간에 대해 전역적인 해 존재성을 확립하기 위해.
• 거의 평형 설정에서 에너지 추정의 실패를 극복하기 위해 진폭의 $\ell^1$-노름에 기반한 새로운 함수 공간 프레임워크를 도입하기 위해.
• 합집합 폐쇄 주파수 집합을 사용하여 빠른 특이 진동 극한 방법을 거의 평형 설정으로 확장하기 위해.
• 극한 시스템이 알려진 바와 같이 거의 평형 설정에서 전역 해를 가지는 2차원-나비에-스토크스 방정식으로 축소됨을 증명하기 위해.

제안 방법

• 거의 평형 함수를 모델링하기 위해 $\Lambda \subset \mathbb{R}^3$인 합집합 폐쇄 주파수 집합을 도입한다.
• Fourier 진폭의 $\ell^1$-노름을 사용하여 함수 공간 $X^\Lambda(\mathbb{R}^3)$를 정의하여 큰 초기 자료를 통제한다.
• 빠른 특이 진동 극한 방법을 적용하여 시스템을 극한 시스템과 잔여 방정식으로 분해한다.
• 부트스트랩 방법을 사용한다: 먼저 극한 시스템(2차원-나비에-스토크스에 해당)의 전역 존재성을 증명하고, 그 다음 $\varepsilon$-정규화와 오차 추정을 통해 잔여항을 통제한다.
• 빠른 시간 진동을 다루기 위해 사영 연산자 $\mathcal{P}_\eta$와 변수 변환을 사용하여 오차 항 $E^0$과 $E^{\sigma_0}$를 통제한다.
• 그론월의 부등식을 적용하여 $\mathcal{P}_\eta y^0$와 $\mathcal{P}_\eta y^{\sigma_0}$를 유계로 제한하고, 큰 $N$과 $\eta$에서 이들이 임의로 작게 만들 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 강한 분층 조건 하에서 큰, 거의 평형 초기 자료를 가진 나비에-스토크스-부시네스크 시스템이 전역 해를 가질 수 있는가?
• RQ2 강한 밀도 분층이 수치적으로 관찰된 바와 같이 유체 흐름을 준 2차원 팬케이크 유사 형태로 안정화시키는가?
• RQ3 표준 에너지 방법은 거의 평형 초기 자료에 적응 가능한가, 아니면 새로운 함수 공간 프레임워크가 필요한가?
• RQ4 빠른 진동 하에서 나비에-스토크스-부시네스크 방정식의 극한 시스템이 거의 평형 설정에서 2차원-나비에-스토크스 방정식과 동일한가?
• RQ5 특이 극한에서 발생하는 오차 항은 $\ell^1$-진폭 노름과 주파수 사영을 사용하여 시간에 대해 균일하게 통제할 수 있는가?

주요 결과

• 빠른 특이 진동 하에서 나비에-스토크스-부시네스크 방정식의 극한 시스템은 2차원-나비에-스토크스 방정식과 동치이며, 거의 평형 설정에서 유일한 전역 해를 갖는다.
• 분층 매개변수 $\mathcal{N}$이 충분히 크면, 잔여 방정식은 극한 시스템의 전역 해 존재성에 기반한 부트스트랩 방법으로 통제된다.
• $\varepsilon$-정규화된 시스템은 오차 항 $E^0$과 $E^{\sigma_0}$를 균일하게 통제할 수 있으며, 큰 $N$과 $\eta$를 선택함으로써 이들을 임의로 작게 만들 수 있다.
• 합집합 폐쇄 주파수 집합 위에서의 진폭의 $\ell^1$-노름은 에너지 추정이 실패할 경우 큰 초기 자료를 다루기 위한 적절한 함수 공간 프레임워크를 제공한다.
• 분층이 충분히 강할 경우, $X^\Lambda(\mathbb{R}^3)$에 속하는 초기 자료(큰 $\ell^1$-노름 포함)에 대해 해는 시간에 대해 전역적으로 존재한다.
• 이 방법은 키투라와 헌딩턴의 수치 시뮬레이션에서 관찰된 두 차원 팬케이크 모양의 소용돌이 패치 형성 현상을 성공적으로 정당화한다.