[논문 리뷰] An optimal result for global existence and boundedness in a three-dimensional Keller-Segel-Stokes system with nonlinear diffusion

Jiashan Zheng|arXiv (Cornell University)|2018. 07. 01.

Mathematical Biology Tumor Growth참고 문헌 46인용 수 4

한 줄 요약

이 논문은 비선형 확산을 고려한 3차원 Keller-Segel-Stokes 시스템에 대해 최초로 최적의 전역 존재성 및 유계성 결과를 확립하며, 모든 $ m > \frac{4}{3} $ 에서 해가 전역적으로 유계로 유지됨을 증명한다. 이는 유체가 없는 경우의 임계 임계 조건과 일치한다. 분석은 에너지 추정, 엔트로피 유형 부등식, 그리고 컴팩트니스 추론을 결합하여 3차원에서의 화학유인-유체 결합과 비선형 확산의 과제를 극복한다.

ABSTRACT

This paper investigates the following quasilinear Keller-Segel-Navier-Stokes system $$\left\{ \begin{array}{l} n_t+u\cdot abla n=Δn^m- abla\cdot(n abla c),\quad x\in Ω, t>0, \\ c_t+u\cdot abla c=Δc-c+n,\quad x\in Ω, t>0,\\ u_t+ abla P=Δu+n abla ϕ,\quad x\in Ω, t>0,\\ abla\cdot u=0, \quad x\in Ω, t>0 \end{array} ight.$$ under homogeneous boundary conditions of Neumann type for $n$ and $c$, and of Dirichlet type for $u$ in a three-dimensional bounded domains $Ω\subseteq \mathbb{R}^3$ with smooth boundary, where $ϕ\in W^{1,\infty}(Ω),m>0$. It is proved that if $m>\frac{4}{3}$, then for any sufficiently regular nonnegative initial data there exists at least one global boundedness solution for system $(KSF)$, which in view of the known results for the fluid-free system mentioned below (see Introduction) is an optimal restriction on $m$.

연구 동기 및 목표

• 비선형 확산을 고려한 3차원 Keller-Segel-Stokes 시스템에 대한 해의 전역 존재성 및 유계성을 확립하기 위해.
• 전역 유계성을 보장하는 확산 지수 $ m $ 의 날카로운 임계 조건을 규명하여, 유체가 없는 경우의 임계 지수와 일치시킴으로써.
• 3차원에서 비선형 확산과 유체역학이 비선형적으로 결합되는 화학유인-유체 상호작용의 과제를 다루기 위해.
• 낮은 차원 및 유체가 없는 설정에서의 기존 유계성 결과를 전면적인 3차원 시스템으로 확장하기 위해.
• 모든 $ m > \frac{4}{3} $ 가 최적이며, $ m \leq \frac{4}{3} $ 일 경우 해가 폭발할 수 있음을 확인함으로써 조건의 날카로움을 입증하기 위해.

제안 방법

• 비선형 확산 $ \Delta n^m $, 화학유인 항 $ -\nabla \cdot (n\nabla c) $, 그리고 스토크스 방정식에 의한 유체역학을 포함하는 Keller-Segel-Stokes 시스템을 분석한다.
• 비선형 확산 항 $ n^m $ 의 특이성을 다루기 위해 정규화된 근사 방법을 도입하며, 매개변수 $ \varepsilon \in (0,1) $ 를 사용한다.
• 에너지 유형 부등식과 엔트로피 유사 기능 추정을 이용한 일관된 사전 추정을 도출하여 $ n $, $ c $, $ u $ 의 제어를 확보한다.
• Aubin-Lions 보조정리를 적용하여 $ n_\varepsilon $ 의 $ L^p $ 에서의 강한 수렴성과 $ L^\infty $ 에서의 약한-* 수렴성을 확보함으로써 극한 함수의 존재를 보장한다.
• 콤���트니스 및 정칙성 추론을 통해 근사 시스템에서 극한을 취함으로써 전역 약한 해의 존재를 증명한다.
• 해 $ n $, $ c $, $ \nabla c $, $ u $, $ Du $ 에 대해 $ C^0_{\text{loc}} $ 와 $ L^\infty $ 에서의 등속성과 수렴성을 확보하여 극한이 약한 형태식을 만족함을 보장한다.

실험 결과

연구 질문

• RQ1 비선형 확산을 고려한 3차원 Keller-Segel-Stokes 시스템에서 해의 전역 존재성 및 유계성을 보장하는 확산 지수 $ m $ 의 날카로운 임계 조건은 무엇인가?
• RQ2 모든 $ m \leq \frac{4}{3} $ 에서도 전역 유계성이 달성 가능한가, 아니면 이 영역에서 유한 시간 내에 해가 폭발하는가?
• RQ3 스토크스 유체 시스템과의 결합은, 유체가 없는 Keller-Segel 모델에 비해 유계성의 임계 지수에 어떤 영향을 미치는가?
• RQ4 조건 $ m > \frac{4}{3} $ 는 $ N=3 $ 에서 알려진 임계 지수 $ 2 - \frac{2}{N} $ 과 일치하므로 최적이며, 이는 날카로운 조건임을 의미하는가?
• RQ5 정규화된 근사 방법에서 극한을 취할 때, 일관된 추정과 콤팩트니스 추론이 3차원에서 효과적으로 적용될 수 있는가?

주요 결과

• 모든 $ m > \frac{4}{3} $ 에 대해 3차원에서 적어도 하나의 전역적으로 유계인 약한 해가 존재한다.
• 조건 $ m > \frac{4}{3} $ 는 최적이며, 이는 유체가 없는 Keller-Segel 모델에서의 임계 지수 $ 2 - \frac{2}{3} = \frac{4}{3} $ 와 일치한다.
• 정규화 매개변수 $ \varepsilon $ 와 무관하게 $ n $, $ c $, $ \nabla c $, $ u $, $ Du $ 에 대한 일관된 추정이 에너지 및 엔트로피 추정을 통해 확립된다.
• Aubin-Lions 보조정리를 이용하여 $ n_\varepsilon $ 가 $ \Omega \times (0,\infty) $ 에 거의 모든 곳에서 강한 수렴성과 $ L^\infty $ 에서의 약한-* 수렴성을 입증한다.
• 극한 함수 $ n $, $ c $, $ u $ 는 $ \Omega \times (0,\infty) $ 에서 시스템의 약한 형태식을 만족하며, $ n \in C^{0}_{\omega-*}([0,\infty); L^\infty(\Omega)) $ 를 만족한다.
• 이 결과는 문헌에서의 갭을 메우며, 임계 지수 $ m = \frac{4}{3} $ 가 날카로우며, 전역 유계성에 대해 더 나은 임계 조건이 존재하지 않음을 입증한다.