[논문 리뷰] Well-posedness of the Stokes-transport system in bounded domains and in the infinite strip

Antoine Leblond|arXiv (Cornell University)|2021. 03. 30.

Navier-Stokes equation solutions참고 문헌 20인용 수 19

한 줄 요약

이 논문은 R² 및 R³의 유계 도메인과 무한 스트립 R×(0,1)에서 초기 밀도 ρ₀ ∈ L∞에 대해 스토크스-운반 시스템의 전역 적으로 잘 정의된 해를 확립한다. 전체 공간 증명에서 사용된 워셔슈타인 거리 대신 음의 소볼레프 노름과 에너지 추정, 타원적 정규성의 조합을 통해, 속도에 대한 딜리클레 경계 조건 하에서 해의 존재성, 유일성 및 안정성을 증명한다. 이는 비압축성 다공성 매체 방정식의 악의적 정의됨과 대조된다.

ABSTRACT

We consider the Stokes-transport system, a model for the evolution of an incompressible viscous fluid with inhomogeneous density. This equation was already known to be globally well-posed for any $L^1\\cap L^\\infty$ initial density with finite first moment in $\\mathbb{R}^3$. We show that similar results hold on different domain types. We prove that the system is globally well-posed for $L^\\infty$ initial data in bounded domains of $\\mathbb{R}^2$ and $\\mathbb{R}^3$ as well as in the infinite strip $\\mathbb{R}\ imes(0,1)$. These results contrast with the ill-posedness of a similar problem, the incompressible porous medium equation, for which uniqueness is known to fail for such a density regularity.

연구 동기 및 목표

• R³에서 스토크스-운반 시스템의 전역 적으로 잘 정의된 해 결과를 R² 및 R³의 유계 도메인과 무한 스트립 R×(0,1)으로 확장한다.
• 유계 도메인에서 녹색 함수의 명시적 표현이 없음을 고려하여, 워셔슈타인 거리를 음의 소볼레프 노름으로 대체한다.
• 속도에 대한 딜리클레 경계 조건 하에서 해의 존재성, 유일성 및 안정성을 확립한다.
• 유사한 초기 자료 정규성 조건 하에서 스토크스-운반 시스템의 잘 정의됨과 비압축성 다공성 매체 방정식의 악의적 정의됨을 대비한다.

제안 방법

• 피카르 반복 기법을 도입하여, 스토크스 방정식과 운반 방정식을 차례로 푼다.
• 유계 도메인에서 속도장을 제어하기 위해 스토크스 방정식에 대한 에너지 추정과 음의 소볼레프 노름(예: W^{-m,q})을 사용한다.
• 국소화를 위해 단위 분할과 국소 노름(예: H^{-1}_{uloc})을 정의하여 전역 추정을 수행한다.
• 운반 방정식의 안정성 추정을 워셔슈타인 거리 대신 음의 소볼레프 노름을 사용하여 적용한다.
• 타원적 정규성과 L² 추정을 활용하여 유계 도메인에서 스토크스 방정식의 해를 제어한다.
• L∞ 및 W^{1,∞} 노름에서의 균일한 유계성과 안정성 추정을 통해 반복 기법의 수렴성을 증명한다.

실험 결과

연구 질문

• RQ1 R² 및 R³의 유계 도메인에서 L∞ 초기 밀도에 대해 스토크스-운반 시스템은 전역적으로 잘 정의된가?
• RQ2 잘 정의된 결과는 무한 스트립 R×(0,1)로 확장될 수 있는가?
• RQ3 유계 도메인에서 명시적 녹색 함수가 없을 경우, 전체 공간 사례와 비교해 증명 전략은 어떻게 영향을 받는가?
• RQ4 왜 스토크스-운반 시스템은 잘 정의되지만, 비압축성 다공성 매체 방정식은 L∞ 초기 자료에 대해 유일한 해를 가지지 못하는가?
• RQ5 유계 도메인에서 스토크스-운반 시스템의 안정성 추정에서 워셔슈타인 거리를 음의 소볼레프 노름으로 대체할 수 있는가?

주요 결과

• 모든 초기 밀도 ρ₀ ∈ L∞(Ω)에 대해, R² 및 R³의 유계 C² 도메인에서 스토크스-운반 시스템은 전역적으로 잘 정의된다.
• 무한 스트립 R×(0,1)에서 초기 자료 ρ₀ ∈ L∞(R×(0,1))에 대해 시스템은 전역적으로 잘 정의된다.
• 유계 도메인과 무한 스트립에서 해는 (ρ, u) ∈ L∞(R+; L∞(Ω)) × L∞(R+; W1,∞(Ω))를 만족한다.
• 증명은 전체 공간 분석에서 사용된 워셔슈타인 거리를 음의 소볼레프 노름으로 대체하여, 유계 도메인에서의 비국소적 속도 결합을 다룬다.
• 이 방법은 스토크스 방정식에 대한 에너지 추정과 운반 방정식에 대한 음의 소볼레프 노름 안정성 추정에 의존한다.
• 결과는 동일한 초기 자료 정규성 조건 하에서 비압축성 다공성 매체 방정식의 악의적 정의됨과 뚜렷한 대비를 이룬다.