[論文レビュー] Existence of Smooth Solutions to Coupled Chemotaxis-Fluid Equations

Myeongju Chae, Kyungkeun Kang+1 more|arXiv (Cornell University)|Dec 20, 2011

Mathematical Biology Tumor Growth参考文献 15被引用数 8

ひとこと要約

本稿は、2次元および3次元空間において、カップルドされたケラー-セゲルの走化性方程式と非圧縮性ストークス方程式の組み合わせ系に対して、滑らかな解の局所的存在を確立する。さらに、生物学的に妥当な走化性感受性および酸素消費率の仮定の下で2次元では滑らかな解の大域的存在を証明し、3次元ではこれらのパラメータにより強い制限を課した場合に弱解の大域的存在を示す。

ABSTRACT

We consider a system coupling the parabolic-parabolic Keller-Segel equations to the in- compressible Navier-Stokes equations in spatial dimensions two and three. We establish the local existence of regular solutions and present some blow-up criteria. For two dimensional Navier-Stokes-Keller-Segel equations, regular solutions constructed locally in time are, in reality, extended globally under some assumptions pertinent to experimental observation in [20] on the consumption rate and chemotactic sensitivity. We also show the existence of global weak solutions in spatially three dimensions with rather restrictive consumption rate and chemotactic sensitivity.

研究の動機と目的

• 2次元および3次元におけるカップルド走化性-ストークス系の正則解の局所的存在を確立すること。
• 酸素消費および走化性感受性の実験的観察に基づき、2次元における滑らかな解の大域的存在の十分条件を導出すること。
• 酸素消費率および走化性感受性により強い制限を課した場合に、3次元における弱解の大域的存在を証明すること。
• 非線形関数 $ k(c) $ および $ \chi(c) $ に対して一般な条件を仮定し、実験で用いられる段階関数近似を含む場合も含めて解析すること。
• 従来のケラー-セゲル-ストークス系の結果を、エネルギー推定およびコンパクト性の議論を用いた完全なストークス-走化性結合に拡張すること。

提案手法

• 細胞濃度および化学物質濃度に対する放物型-放物型ケラー-セゲル方程式と、流体の速度および圧力に対する非圧縮性ストークス方程式のカップルド系の形式的導出。
• 滑らかさと収束を保証するための滑らか化および正則化技術を用いて、近似解 $ (n^{l,\epsilon}, c^{l,\epsilon}, u^{l,\epsilon}) $ を構成する。
• 非線形項を制御するためのエネルギー推定および $ L^p $、$ H^1 $、$ L^2 $-型ノルムにおける一様な有界性の適用。
• $ c^{l,\epsilon} $ および $ \nabla c^{l,\epsilon} $ が $ L^p $ および $ L^2 $-型空間で強い収束を示すことを確立し、非線形項における極限への移行を可能にする。
• 関数 $ x\ln x $ の凸性および弱下界半連続性を用いて、弱解に対する極限エネルギー不等式を導出する。
• $ \chi(c) $ のリプシッツ連続性および $ k(c) $ の一様有界性を活用し、走化性フラックス項の収束を扱う。

実験結果

リサーチクエスチョン

• RQ1 カップルド走化性流体系が、2次元および3次元空間においてどのような条件下で局所的滑らかな解を有するか。
• RQ2 実験的観察に従い、走化性感受性 $ \chi(c) $ および酸素消費率が段階関数としてモデル化される場合、2次元で大域的滑らかな解が得られるか。
• RQ3 3次元において弱解の大域的存在を保証するためには、$ \chi(c) $、$ k(c) $、初期データにどのような制限が必要か。
• RQ4 エネルギー推定およびコンパクト性の手法が、3次元における弱解の大域的存在証明にどのように寄与するか。
• RQ5 $ \chi(c) $ および $ k(c) $ の仮定、特に低濃度および高濃度における挙動が、解の長期的挙動にどの程度影響を与えるか。

主な発見

• 一般な $ \chi(c) $ および $ k(c) $ の条件下で、2次元および3次元空間におけるカップルド走化性-ストークス系に対して滑らかな解の局所的存在が確立された。
• 2次元では、Tuvalら[20]の実験データに一致する仮定の下で、滑らかな解の大域的存在が証明された。特に、$ c $ が大きい場合に $ \chi(c) $ および $ k(c) $ が定数であり、閾値未満で急激に減少する場合に該当する。
• 3次元では、$ \chi(c) $ および $ k(c) $ により強い制限を課した場合に、弱解の大域的存在が確立された。これには、有界性およびリプシッツ連続性が含まれる。
• 弱解に対してエネルギー不等式が導出され、初期データのノルム、$ \|\langle x\rangle n_0\|_{L^1} $、$ \|n_0 |\ln n_0|\|_{L^1} $、$ \|\nabla c_0\|_{L^2} $、および $ \phi $ 及びその導関数のノルムに依存する。
• $ c^{l,\epsilon} $ が $ L^p_{\text{loc}}((0,T)\times \mathbb{R}^d) $ で $ c $ に、$ \nabla c^{l,\epsilon} $ が $ L^2(0,T;L^p_{\text{loc}}) $ で $ \nabla c $ に強い収束することを用いて、非線形項における極限への移行を実現した。
• コンパクト性および一様推定、特に $ L^2 $-型ソボレフ空間における推定を用いて、$ \chi(c)\nabla c $ を含む非線形フラックス項の収束を正当化した。