[論文レビュー] An optimal result for global existence and boundedness in a three-dimensional Keller-Segel-Stokes system with nonlinear diffusion

Jiashan Zheng|arXiv (Cornell University)|Jul 1, 2018

Mathematical Biology Tumor Growth参考文献 46被引用数 4

ひとこと要約

本稿は、非線形拡散を伴う三次元 Keller-Segel-Stokes 系に対する、最初の最適な大域的存在および有界性結果を確立し、任意の $ m > \frac{4}{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$.

研究の動機と目的

• 非線形拡散を伴う三次元 Keller-Segel-Stokes 系の解の大域的存在および有界性を確立すること。
• 大域的有界性を保証する拡散指数 $ m $ の鋭い閾値を特定すること。これは、流体なしの状況における臨界指数と一致する。
• 非線形拡散と流体力学が非自明に結合する三次元におけるキモタクシス-流体相互作用の課題に対処すること。
• 低次元および流体なしの設定における既知の有界性結果を、非線形拡散を含む完全な三次元系へと拡張すること。
• $ m > \frac{4}{3} $ が最適であることを証明すること。すなわち、$ m \leq \frac{4}{3} $ の場合、解が有限時間 blow-up を起こす可能性があることを確認し、条件の鋭さを裏付ける。

提案手法

• 非線形拡散 $ \Delta n^m $、キモタクシス項 $ -\nabla \cdot (n\nabla c) $、およびストークス方程式による流体力学を含む Keller-Segel-Stokes 系を分析する。
• 非線形拡散項 $ n^m $ の特異性に対処するため、正則化近似スキームを採用し、パrameter $ \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 非線形拡散を伴う三次元 Keller-Segel-Stokes 系において、解の大域的存在および有界性を保証する拡散指数 $ m $ の鋭い閾値は何か？
• RQ2 $ m \leq \frac{4}{3} $ の場合に大域的有界性が達成可能か。それともこの範囲では有限時間 blow-up が発生するか？
• RQ3 ストークス流体系との結合は、流体なしの Keller-Segel モデルと比較して、有界性の臨界指数にどのように影響するか？
• RQ4 $ m > \frac{4}{3} $ が最適であるとは、$ N=3 $ の場合に既知の臨界指数 $ 2 - \frac{2}{N} $ と一致するという意味で、その鋭さを確認できるか？
• RQ5 正則化近似スキームにおいて、一様な有界性およびコンパクト性の議論を三次元で効果的に適用できるか？

主な発見

• 任意の $ m > \frac{4}{3} $ に対して、三次元において少なくとも一つの大域的有界な弱解が存在する。
• 条件 $ m > \frac{4}{3} $ は最適であり、流体なしの Keller-Segel モデルにおける臨界指数 $ 2 - \frac{2}{3} = \frac{4}{3} $ と一致する。
• エネルギー推定およびエントロピー推定を用いて、正則化パrameter $ \varepsilon $ に依存しない $ n $、$ c $、$ \nabla c $、$ u $、$ Du $ の一様有界性を確立した。
• Aubin-Lions の補題を用いて、$ \Omega \times (0,\infty) $ における $ n_\varepsilon $ の a.e. での強い収束および $ L^\infty $ における弱-* 収束を証明した。
• 極限関数 $ n $、$ c $、$ u $ は、$ \Omega \times (0,\infty) $ において弱形式を満たし、$ n \in C^{0}_{\omega-*}([0,\infty); L^\infty(\Omega)) $ を満たす。
• 文献におけるギャップを埋め、臨界指数 $ m = \frac{4}{3} $ が鋭いことを示した。大域的有界性のためのより良い閾値は存在しない。