[論文レビュー] Global existence, boundedness and stabilization in a high-dimensional chemotaxis system with consumption

Johannes Lankeit, Yulan Wang|arXiv (Cornell University)|Aug 29, 2016

Mathematical Biology Tumor Growth参考文献 17被引用数 7

ひとこと要約

本稿は、消費およびロジスティック成長を伴う高次元キモタクシス系について、古典解の全域的存在および有界性を確立し、十分に大きな μ が全域的有界性および平衡への収束を保証することを証明している。さらに、任意の μ > 0 に対して全域的弱解の存在を示し、κ > 0 のときには解が定常平衡 (κ/μ, 0) に漸近的に安定化することも示している。

ABSTRACT

This paper deals with the homogeneous Neumann boundary-value problem for the chemotaxis-consumption system \begin{eqnarray*} \begin{array}{llc} u_t=Δu-χ abla\cdot (u abla v)+κu-μu^2,\\ v_t=Δv-uv, \end{array} \end{eqnarray*} in $N$-dimensional bounded smooth domains for suitably regular positive initial data. We shall establish the existence of a global bounded classical solution for suitably large $μ$ and prove that for any $μ>0$ there exists a weak solution. Moreover, in the case of $κ>0$ convergence to the constant equilibrium $(\fracκμ,0)$ is shown.

研究の動機と目的

• 消費およびロジスティック源を伴う高次元キモタクシス系における古典解の全域的存在および有界性を確立すること。
• 解の長時間挙動を分析し、特に定常平衡 (κ/μ, 0) への収束を調べること。
• 古典解が存在しない場合でも、任意の μ > 0 に対して全域的弱解の存在を証明すること。
• キモタクシス感受性 χ、初期データの大きさ、および過密化パラメータ μ の相互作用が、全域的有界性を保証する役割を調査すること。
• μ および κ に適切な条件下で、弱解が平衡状態に安定化することを示すこと。

提案手法

• 境界が有界で滑らかな N 次元領域におけるノイマン境界条件のもとで、キモタクシス-消費系 ut = Δu - χ∇·(u∇v) + κu - μu², vt = Δv - uv を分析する。
• エネルギー推定とライプニッツ型汎関数 F を用いて解の挙動を制御し、事前推定を得る。
• ε-正則化を用いて近似解を構成し、[14, Cor. 8.4] を用いたコンパクトネスの議論により収束する部分列を抽出する。
• ビタリー収束定理と等積分性の議論を用いて極限に移行し、弱解を確立する。
• 第二の式 (vt = Δv - uv) の構造を活用して、比較原理を用いて v に対する L∞ 界を導出する。
• 準エネルギー不等式および Lp 推定を用いて収束速度と低次元における最終的滑らかさを導出する。

実験結果

リサーチクエスチョン

• RQ1 μ がどのような条件下で、キモタクシス-消費系に全域的古典解が存在するか？
• RQ2 古典解が爆発する可能性がある場合でも、任意の μ > 0 に対して全域的弱解を構成できるか？
• RQ3 κ > 0 のとき、t → ∞ において解が定常平衡 (κ/μ, 0) に収束するか？
• RQ4 初期データの大きさおよびキモタクシス感受性 χ が解の有界性に与える影響は何か？
• RQ5 μ は特に古典的 Keller-Segel モデルと比較して、系の安定化に果たす役割は何か？

主な発見

• 任意の μ > 0 に対して、有界で滑らかな領域におけるキモタクシス-消費系に全域的弱解が存在する。
• μ が χ および初期データの大きさに対して十分に大きい場合（具体的には μ > Cχ‖v₀‖L∞(Ω)）、古典解は全域的かつ有界に存在する。
• κ > 0 のとき、解 (u, v) は t → ∞ において定常平衡 (κ/μ, 0) に収束し、u − κ/μ ∈ L²(Ω × (0, ∞)) を満たす。
• N ≤ 3 のとき、弱解は最終的に滑らかになり、v について L∞(Ω) で一様に平衡に収束する。
• u が κ/μ に収束する速度は、t → ∞ において ∫ₜ^{t+1} ‖u − κ/μ‖L²(Ω) dt → 0 によって示唆される。
• 弱解の存在を保証するため、等積分性およびコンパクトネスの議論を用いて ε-正則化系における極限に移行する。