[논문 리뷰] Boundedness and stabilization in a three-dimensional two-species chemotaxis-Navier--Stokes system with competitive kinetics

Misaki Hirata, Shunsuke Kurima외 2명|arXiv (Cornell University)|2017. 10. 03.

Mathematical Biology Tumor Growth참고 문헌 5인용 수 6

한 줄 요약

이 논문은 룩타-볼테라 경쟁 동역학을 갖는 3차원 두 종의 화학유인-나비에-스토크스 시스템에 대해 약한 해의 전역 존재성을 확립하며, 해가 최종적으로 매끄럽고 평형 상태로 수렴함을 증명한다. 정규화된 근사와 양자화된 정규화를 통해 3차원에서 고전적 해가 존재하지 않는 문제를 극복하여, $ t \to \infty $ 일 때 $ C^1(\overline{\Omega}) $에서 해가 매끄럽고 수렴함을 보였다. 핵심 결과는 경쟁 계수에 따라 공존 또는 배제 평형 상태로의 안정화 여부이다.

ABSTRACT

This paper is concerned with the 3-dimensional two-species chemotaxis-Navier--Stokes system with Lotka--Volterra competitive kinetics under homogeneous Neumann boundary conditions and initial conditions. Recently, in the 2-dimensional setting, global existence and stabilization of classical solutions to the above system were first established. However, the 3-dimensional case has not been studied: Because of difficulties in the Navier--Stokes system, we can not expect existence of classical solutions to the above system. The purpose of this paper is to obtain global existence of weak solutions to the above system, and their eventual smoothness and stabilization.

연구 동기 및 목표

• 3차원 두 종의 화학유인-나비에-스토크스 시스템에 대해 고전적 해의 전역 존재 결과가 부족한 문제를 다루기 위해.
• 3차원에서 고전적 해 존재를 방해하는 나비에-스토크스 항과 화학유인 항의 내재적 곤경을 극복하기 위해.
• 약한 해의 전역 존재성과 그 해가 최종적으로 매끄럽고 평형 상태로 수렴함을 확립하기 위해.
• 경쟁 계수의 다양한 조건 하에서 해의 장기적 행동을 분석하기 위해.

제안 방법

• 나비에-스토크스 방정식에 양자화된 정규화를 적용하고, 화학유인 및 반응 항에 시간 정규화를 시행함.
• 규칙적인 설정에서 근사 해를 구성하기 위해 갈레르킨 근사 방법을 사용함.
• 에너지 추정과 보간을 통해 $ n_1 $, $ n_2 $, $ c $ 에 대한 $ L^p $-공간에서의 균일한 유계성과 $ u $ 에 대한 $ W^{1,2} $-공간에서의 유계성을 확립함.
• 스토크스 시스템에 대한 최대 $ L^p $-정규성 이론과 샤페르 유형 추정을 활용하여 근사 해의 고차 정규성 확보함.
• 콤���턴스 추론과 부분수열 수렴을 통해 정규화된 근사에서 극한 해를 추출함.
• 사전 추정과 수렴 추론을 적용하여, 극한 해가 $ t \to \infty $ 일 때 $ C^1(\overline{\Omega}) $에서 매끄럽고 수렴함을 보임.

실험 결과

연구 질문

• RQ1 고전적 해가 존재하지 않는 3차원 두 종의 화학유인-나비에-스토크스 시스템에 대해, 경쟁 동역학을 갖는 전역 약한 해를 구성할 수 있는가?
• RQ2 구성된 약한 해의 장기적 행동은 매끄럽고 수렴하는 성질을 어떻게 가지는가?
• RQ3 시스템은 평형 상태로 안정화되는가? 만약 그렇다면 경쟁 계수 $ a_1 $ 및 $ a_2 $ 에 대한 조건은 무엇인가?
• RQ4 화학유인 항과 유체역학 항은 3차원에서 해의 유계성과 정규성에 어떻게 영향을 미치는가?
• RQ5 정규화된 근사 방법을 통해 최종적으로 매끄럽고 평형 상태로 수렴하는 해를 도출할 수 있는가?

주요 결과

• 경쟁 동역학을 갖는 3차원 두 종의 화학유인-나비에-스토크스 시스템에 대해 약한 해의 전역 존재성이 확립됨.
• 구성된 약한 해는 최종적으로 매끄럽고, 어떤 $ T_0 > 0 $ 와 $ \alpha' \in (0,1) $ 에 대해 $ C^{2+\alpha',1+\alpha'/2}(\overline{\Omega} \times [T_0, \infty)) $ 에 속함.
• $ t \to \infty $ 일 때 $ C^1(\overline{\Omega}) $에서 해가 안정화됨: $ a_1, a_2 \in (0,1) $ 이면 $ n_1(\cdot,t) \to N_1 $, $ n_2(\cdot,t) \to N_2 $, $ c(\cdot,t) \to 0 $, $ u(\cdot,t) \to 0 $.
• $ a_1 \geq 1 > a_2 > 0 $ 인 경우, 해는 $ n_1(\cdot,t) \to 0 $, $ n_2(\cdot,t) \to 1 $, $ c(\cdot,t) \to 0 $, $ u(\cdot,t) \to 0 $ 로 $ C^1(\overline{\Omega}) $에서 안정화됨.
• $ t > T $ 에 대해 $ n_1 $, $ n_2 $, $ c $ 에 대한 $ L^p $-노름과 $ u $ 에 대한 $ W^{1,2} $-노름에 대해 정규화 매개변수 $ \varepsilon $ 와 무관한 균일한 유계성이 확보됨.
• 정규화된 해가 $ t > T_0 $ 인 컴팩트 시간 간격 $[t, t+1]$ 에서 $ C^{1+\alpha', \alpha'/2} $-노름으로 극한 해로 수렴함을 보였으며, 이는 최종 매끄러움을 보장함.