[논문 리뷰] An optimal result for global existence and boundedness in a three-dimensional Keller-Segel(-Navier)-Stokes system (involving a tensor-valued sensitivity with saturation)

Jiashan Zheng|arXiv (Cornell University)|2018. 06. 19.

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

한 줄 요약

이 논문은 포화 조건 하에서 텐서 값 감도를 갖는 3차원 Keller-Segel(-Navier)-Stokes 시스템에 대해 최적의 전역 존재성 및 유계성 결과를 처음으로 확립하며, 감도 감쇠 매개수 $\alpha > \frac{1}{3}$ 를 만족할 경우 해가 전역적으로 정의되고 균일하게 유계가 되도록 증명한다. 분석은 최대 Sobolev 정규성과 수정된 에너지 함수를 조합하여 3차원에서 지수의 임계성을 극복한다.

ABSTRACT

The coupled quasilinear Keller-Segel-Navier-Stokes system $$ \left\{ \begin{array}{l} n_t+u\cdot abla n=Δn- abla\cdot(nS(x,n,c) abla c),\quad x\in Ω, t>0, c_t+u\cdot abla c=Δc-c+n,\quad x\in Ω, t>0, u_t+κ(u \cdot abla)u+ abla P=Δu+n abla ϕ,\quad x\in Ω, t>0, abla\cdot u=0,\quad x\in Ω, t>0 \end{array} ight.\eqno(KSNF) $$ is considered under Neumann boundary conditions for $n$ and $c$ and no-slip boundary conditions for $u$ in three-dimensional bounded domains $Ω\subseteq \mathbb{R}^3$ with smooth boundary, where $κ\in \mathbb{R}$ is given constant, $ϕ\in W^{1,\infty}(Ω),m>0$, $|S(x,n,c)|\leq C_S(1+n)^{-α}$ and the parameter $α\geq0$. %For any small $μ>0$, If $α>\frac{1}{3}$, then for all reasonably regular initial data, a corresponding initial-boundary value problem for $(KSNF)$ possesses a globally defined weak solution. This result improves the result of Wang (Math. Models Methods Appl. Sci., 27(14):2745--2780, 2017), where the global {\bf very weak} solution for system $(KSNF)$ is obtained. Moreover, if $κ=0$ and $S(x,n,c)=C_S(1+n)^{-α}$, then the system $(KSF)$ exists at least one global classical solution which is bounded in $Ω imes(0,\infty)$. These results significantly improve or extend previous results of several authors. In comparison to the result for the corresponding fluid-free system, the {\bf optimal condition} on the parameter $α$ for global (weak) existence and boundedness is obtained. Our proofs rely on Maximal Sobolev regularity techniques and on a variant of the natural gradient-like energy functional.

연구 동기 및 목표

• 텐서 값 감도를 갖는 3차원 Keller-Segel(-Navier)-Stokes 시스템에서 전역 존재성 및 유계성에 대한 감도 감쇠 매개수 $\alpha$ 의 최적 조건을 확립하기.
• 이전의 약한 해 결과를 확장하여 더 자연스러운 매개수 범위 하에서 전역 고전적 유계 해를 포함하도록 하기.
• 유동역학 및 회전 플럭스 존재 하에서 전역 존재성 및 유계성의 임계 임계값을 해결하기.
• 유체가 없는 시스템에서의 임계 지수와 일치하는 날카운 조건 $\alpha > \frac{1}{3}$ 을 제공하여 이론적 갭을 해결하기.

제안 방법

• Navier-Stokes 성분을 제어하고 속도 장의 고차수 적분 가능성을 도출하기 위해 최대 Sobolev 정규성 기법을 활용한다.
• 화학적 이동 및 신호 방정식을 제어하기 위해 자연적인 기울기 유사 에너지 함수의 변종을 사용한다.
• Gagliardo-Nirenberg 및 Hölder 부등식을 적용하여 화학적 신호 $c$ 와 세포 밀도 $n$ 에 대한 $L^p$ 추정을 도출한다.
• Moser 반복 및 양자적 정규성 추론을 통해 $L^p$ 유계성에서 $L^\infty$ 유계성으로 $n$, $c$, $u$ 를 향상시킨다.
• $\|u\|_{W^{1,\infty}}$, $\|c\|_{W^{1,\infty}}$, $\|A^\gamma u\|_{L^2}$ 에 대한 사전 추정을 구현하여 균일 유계성을 확보한다.
• 화학적 이동의 이완과 확산을 균형 있게 유지하기 위해 구조적 가정 $|S(x,n,c)| \leq C_S(1+n)^{-\alpha}$ 과 $\alpha > \frac{1}{3}$ 을 활용한다.

실험 결과

연구 질문

• RQ1 텐서 값 감도를 갖는 3차원 Keller-Segel-Navier-Stokes 시스템에서 전역 존재성 및 유계성을 보장하는 감도 감쇠 매개수 $\alpha$ 의 최적 임계값은 무엇인가?
• RQ2 전역 약한 해를 보장하는 조건과 동일한 조건 하에서 전역 고전적 해를 확보할 수 있으며, 이때 유계성이 확보되는가?
• RQ3 유동 대류($\kappa \neq 0$) 및 회전 플럭스 존재가 전역 존재성의 임계 지수에 어떤 영향을 미치는가?
• RQ4 임계 지수 $\alpha = \frac{1}{3}$ 이 유체가 없는 시스템의 임계값과 일치하는가, 그리고 유체가 포함된 설정에서 날카로운가?
• RQ5 강한 사전 추정이 부족한 3차원에서 최대 Sobolev 정규성과 에너지 기반 방법을 조합하여 유계성을 달성할 수 있는가?

주요 결과

• 감쇠 매개수 $\alpha > \frac{1}{3}$ 일 경우, Keller-Segel(-Navier)-Stokes 시스템의 초기경계값 문제는 전역적으로 정의된 약한 해를 갖는다. 이는 유체가 없는 시스템의 임계 지수와 일치하는 최적 조건이다.
• $\kappa = 0$ 이고 $S(x,n,c) = C_S(1+n)^{-\alpha}$ 일 경우, $\alpha > \frac{1}{3}$ 에 대해 $\Omega \times (0,\infty)$ 에서 균일하게 유계인 전역 고전적 해가 적어도 하나 존재한다.
• 신호 방정식에 $c^{p-1}$ 을 대입하고 Gagliardo-Nirenberg 및 Hölder 부등식을 적용함으로써 $c$ 에 대한 $L^p$ 추정이 확립되며, 이는 모든 $p > 2$ 에 대해 $L^p$ 에서의 균일 유계성을 이끈다.
• Moser 반복 및 양자적 정규성 추론을 통해 $n$, $c$, $u$ 에 대한 $L^\infty$ 유계성이 도출되며, 이는 $\|n\|_{L^\infty}$, $\|c\|_{W^{1,\infty}}$, $\|u\|_{W^{1,\infty}}$ 가 시간에 대해 균일하게 유계임을 보장한다.
• $\alpha$ 에 따라 달라지는 $\gamma$ 에 대해 $\|A^\gamma u\|_{L^2} \leq C$ 를 도출함으로써 속도 장의 필요한 정규성을 확인한다.
• Wang (2017) 이 전역 매우 약한 해만 확보한 데 비해, 본 연구는 동일한 최적 조건 $\alpha > \frac{1}{3}$ 하에서 전역 고전적 유계 해를 확립함으로써 기존 결과를 향상시켰다.