[論文レビュー] Dynamic Transition and Pattern Formation for Chemotactic Systems

Tian Ma, Shouhong Wang|arXiv (Cornell University)|Jun 22, 2012

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

ひとこと要約

本稿では、動的遷移理論をケラー＝セゲルのキモタクシスモデルに適用し、次第に発生するパターン形成——例えばストライプ状や長方形構造——が、無次元パラメータ $ b $ に応じてタイプIまたはタイプIIの遷移によって生じることを示している。栄養供給が豊富な状況では、常に定常状態への遷移が生じるが、供給が中程度の場合は、$ b $ の符号に従って空間的・時間的振動が発生しうり、これによりパターン選択のグローバルな相図が構築可能となる。

ABSTRACT

The main objective of this article is to study the dynamic transition and pattern formation for chemotactic systems modeled by the Keller-Segel equations. We study chemotactic systems with either rich or moderated stimulant supplies. For the rich stimulant chemotactic system, we show that the chemotactic system always undergoes a Type-I or Type-II dynamic transition from the homogeneous state to steady state solutions. The type of transition is dictated by the sign of a non dimensional parameter $b$. For the general Keller-Segel model where the stimulant is moderately supplied, the system can undergo a dynamic transition to either steady state patterns or spatiotemporal oscillations. From the pattern formation point of view, the formation and the mechanism of both the lamella and rectangular patterns are derived.

研究の動機と目的

• ケラー＝セゲル方程式に従うキモタクシス系における動的遷移とパターン形成を分析すること。
• 非次元化パラメータ $ b $ を用いて、遷移をタイプI、タイプII、タイプIIIに分類し、安定性およびパターンの種類を決定すること。
• 栄養供給が豊富または中程度の状況下で、ストライプ状および長方形パターンの形成メカニズムを導出すること。
• パラメータ $ b $、$ b_0 $、$ b_1 $ の符号を分析することで、パターン選択のグローバル相図を確立すること。
• 空間的・時間的振動が栄養供給が中程度のときのみ発生し、栄養が豊富な場合には発生しないことを示すこと。

提案手法

• ケラー＝セゲル系の解の分岐および安定性を解析するため、動的遷移理論を用いる。
• ドメイン $ \Omega $ 内のラプラシアン作用素の固有値から、臨界遷移パラメータ $ \theta_c $ および $ \rho_K $ を導出する。
• 遷移のタイプを決定する非次元パラメータ $ b $ を導入する。$ b < 0 $ であればタイプI（連続的）、$ b > 0 $ であればタイプII（ジャンプ的）となる。
• 2つの状況に適用する：(1) 栄養供給が豊富（個体数増殖なし）、(2) 栄養供給が中程度で個体数ダイナミクスを伴う。
• スペクトル解析および漸近展開を用いて、遷移解を導出し、波数ベクトル $ K = (K_1, K_2) $ に基づいてパターンを分類する。
• $ b $、$ b_0 $、$ b_1 $ の明示的表現を導出し、1次元および増殖なしの状況での簡略形も含む。

実験結果

リサーチクエスチョン

• RQ1 栄養供給が豊富な状況下で、キモタクシス系が連続的（タイプI）またはジャンプ的（タイプII）の遷移を受ける要因は何か？
• RQ2 非次元パラメータ $ b $ の符号が、動的遷移のタイプおよびその結果生じるパターン形成にどのように影響するか？
• RQ3 どのような条件下で、定常状態パターンではなく空間的・時間的振動パターンに遷移するか？
• RQ4 ケラー＝セゲルモデルにおけるストライプ状および長方形パターンの形成に内在するメカニズムは何か？
• RQ5 ドメインサイズ $ L_1 $ は、高密度細菌凝集体の数および安定性にどのように影響するか？

主な発見

• 栄養供給が豊富な状況では、システムは常にタイプIまたはタイプIIの動的遷移を経て定常状態パターンに至るが、遷移のタイプは $ b $ の符号にのみ依存する。
• $ L_1 < 2\sqrt{5}\pi $ の場合、遷移は連続的（タイプI）となり、単一の高密度細菌凝集体が形成される。一方、$ L_1 > 2\sqrt{5}\pi $ の場合、遷移はジャンプ的（タイプII）となり、複数の凝集体が形成される。
• $ \chi(u) = \frac{\chi_1 u_1}{(\beta + u_2)^2} $ である増殖なしの状況では、パラメータ $ b_1 $ にキモタクシス強化項 $ \kappa $ が含まれ、パターン形成の臨界スケールが変化する。
• 栄養供給が中程度の状況では、$ \lambda > \Lambda_c $ のとき空間的・時間的振動が発生し、$ \Lambda_c < \lambda_c $ であるため、明確に異なる動的領域が存在する。
• 臨界パラメータ $ \lambda_c $ は、$ -\Delta $ の固有値 $ \rho_K $ に対応し、$ K_1K_2 = 0 $ のときストライプ状パターンが形成され、$ K_1K_2 \neq 0 $ のとき長方形パターンが形成される。
• $ \lambda^* < \lambda < \lambda_c $ の範囲で、メタ安定パターン $ v_2^\lambda $ および $ v_4^\lambda $ が観察され、$ \lambda > \lambda_c $ で完全な遷移が発生し、複雑なパターンに至る。