[論文レビュー] Boundedness in a quasilinear fully parabolic Keller-Segel system of higher dimension with logistic source

Cibing Yang, Xinru Cao+2 more|arXiv (Cornell University)|Mar 9, 2015

Mathematical Biology Tumor Growth参考文献 25被引用数 3

ひとこと要約

本稿は、高次元（$n \geq 2$）における非線形完全放物型ケラー＝セゲル系にロジスティック源項を含む場合に、古典解の時間全域における存在および有界性を確立する。重み付き$L^\gamma$推定、エネルギー法、およびモーザー反復を組み合わせることで、$\chi/\mu < \theta_0$のとき、解が任意の時刻で一様に有界であることを証明する。ここで$\theta_0 > 0$は系のパラメータに依存する閾値である。これは、化学走性による爆発を抑制するロジスティック減衰の臨界定常的役割を示している。

ABSTRACT

This paper deals with the higher dimension quasilinear parabolic-parabolic Keller-Segel system involving a source term of logistic type $ u_t= abla\cdot(ϕ(u) abla u)-χ abla\cdot(u abla v)+g(u)$, $τv_t=Δv-v+u$ in $Ω imes (0,T)$, subject to nonnegative initial data and homogeneous Neumann boundary condition, where $Ω$ is smooth and bounded domain in $\mathbb{R}^n$, $n\ge 2$, $ϕ$ and $g$ are smooth and positive functions satisfying $ks^p\leϕ$ when $s\ge s_0&gt;1$, $g(s) \le as - μs^2$ for $s&gt;0$ with $g(0)\ge0$ and constants $a\ge 0$, $τ,χ,μ&gt;0$. It was known that the model without the logistic source admits both bounded and unbounded solutions, identified via the critical exponent $\frac{2}{n}$. On the other hand, the model is just a critical case with the balance of logistic damping and aggregation effects, for which the property of solutions should be determined by the coefficients involved. In the present paper it is proved that there is $θ_0&gt;0$ such that the problem admits global bounded classical solutions, regardless of the size of initial data and diffusion whenever $\fracχμ

研究の動機と目的

• 高次元（$n \geq 2$）における非線形放物型－放物型ケラー＝セゲル系にロジスティック源項を含む場合の解の長時間挙動を調査すること。
• 強い化学走性凝集が存在する中で、ロジスティック源項が有限時間爆発を防ぐ条件を同定すること。
• 初期データの大きさに依存しない、古典解の時間全域存在および一様有界性を確立すること。
• 解の有界性を保証する臨界閾値$\chi/\mu < \theta_0$を特定し、ロジスティック減衰の安定化効果を強調すること。
• 特に、化学走性感受性の指数$q=1$の場合に、凝集とロジスティック減衰がバランスする臨界ケースの既存結果を拡張すること。

提案手法

• 最初の式に$u^{\gamma-1}$をテストし、変数分離とエネルギー推定を用いて$u$の事前$\gamma$推定を導出する。
• 変数分離の公式を、$\int_\Omega u^\gamma$を含む微分不等式に適用し、ロジスティック源項（$-\mu u^{\gamma+1}$）と化学走性フラックス（$\chi \nabla v$）の項を組み込む。
• $v$の$W^{2,\gamma+1}$正則性と補間を用いて、$\int_\Omega |\Delta v|^{\gamma+1}$を$\int_\Omega u^{\gamma+1}$で制御し、放物型滑らかさ効果を活用する。
• モーザー反復を用いて、$\gamma \geq \gamma_0(n,p)$のとき、$L^\gamma$有界性から$u$の$L^\infty$有界性へと段階的に向上させ、一様点有界性を保証する。
• 一旦$u$が有界であれば、標準的な放物型正則性理論により$v$の有界性を確立する。
• 矛盾による帰納法を用いて、$\chi/\mu < \theta_0$の下で時間全域存在を結論づける。ここで$\theta_0 = \left( \inf_{\eta > 0} \left( \eta + c_2 C_{\gamma_0+1} \eta^{-\gamma_0} \chi^{\gamma_0+1} \right) \right)^{-1}$である。

実験結果

リサーチクエスチョン

• RQ1 ロジスティック源項が高次元非線形ケラー＝セゲル系（完全放物型動的）における爆発を防ぐ条件は何か？
• RQ2 化学走性凝集（$\chi$）とロジスティック減衰（$\mu$）のバランスが解の有界性に与える影響は何か？
• RQ3 ロジスティック源項が存在する場合でさえ、初期データが大きい場合に時間全域古典解が存在可能か？
• RQ4 有界性を保証する臨界閾値$\chi/\mu < \theta_0$は何か？また、その値は系の非線形構造からどのように導出されるか？
• RQ5 非線形拡散（$\phi(u) \sim u^p$）とロジスティック成長（$g(u) \leq a u - \mu u^2$）が、$q=1$の臨界ケースにおいて解を安定化させるか？

主な発見

• すべての初期データの大きさに依存せず、$\chi/\mu < \theta_0$のとき、系の古典解が時間全域で一様に有界であるような閾値$\theta_0 > 0$が存在する。
• この有界性結果はすべての$n \geq 2$で成り立ち、非線形拡散とロジスティック成長を含む完全放物型ケースに、従来の結果を拡張する。
• 証明では、$\gamma \geq \gamma_0(n,p)$に対して$u$の$L^\gamma$有界性を確立し、その後モーザー反復により$L^\infty$有界性に段階的に向上させる。
• ロジスティック源項の臨界定常的役割が明確に定量化されている：$\chi/\mu < \theta_0$のとき、減衰効果が凝集効果を上回り、強い拡散が存在しない状況でも爆発を防ぐ。
• 閾値$\theta_0$は明示的に$\theta_0 = \left( \inf_{\eta > 0} \left( \eta + c_2 C_{\gamma_0+1} \eta^{-\gamma_0} \chi^{\gamma_0+1} \right) \right)^{-1}$として定義され、$\chi$、$n$、$p$、および系の定数に依存することが示された。
• 一旦$u$が有界であれば、標準的な放物型正則性理論により$v$の有界性が従い、$(u,v)$の時間全域存在および一様有界性の証明が完成する。