[論文レビュー] Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities

Genglin Li, Michael Winkler|arXiv (Cornell University)|Jun 27, 2022

Mathematical Biology Tumor Growth被引用数 4

ひとこと要約

本稿は、シグナル依存性移動度を有するケラー・セゲル消費系に対して、洗練された正則性および最終的滑らかさを確立し、$ n \leq 2 $ ではグローバル古典解、$ n = 3 $ では最終的滑らか弱解が得られ、両者とも $ L^\infty(\Omega) $ で半自明平衡に強い収束を示す。これらの結果は、$ \phi $ や初期データに対するより強い正則性仮定のもとで、従来の存在結果を拡張し、改善された正則性を示している。

ABSTRACT

We consider the Keller-Segel-type migration-consumption system involving signal-dependent motilities, $$\left\{ \begin{array}{l} u_t = Δ\big(uϕ(v)\big), \\[1mm] v_t = Δv-uv, \end{array} ight. \qquad \qquad$$ in smoothly bounded domains $Ω\subset\mathbb{R}^n$, $n\ge 1$. Under the assumption that $ϕ\in C^1([0,\infty))$ is positive on $[0,\infty)$, and for nonnegative initial data from $(C^0(\overlineΩ))^\star imes L^\infty(Ω)$, previous literature has provided results on global existence of certain very weak solutions with possibly quite poor regularity properties, and on large time stabilization toward semitrivial equilibria with respect to the topology in $(W^{1,2}(Ω))^\star imes L^\infty(Ω)$. The present study reveals that solutions in fact enjoy significantly stronger regularity features when $0<ϕ\in C^3([0,\infty))$ and the initial data belong to $(W^{1,\infty}(Ω))^2$: It is firstly shown, namely, that then in the case $n\le 2$ an associated no-flux initial-boundary value problem even admits a global classical solution, and that each of these solutions smoothly stabilizes in the sense that as $t o\infty$ we have $$ \begin{align*} u(\cdot,t) o \frac{1}{|Ω|}\int_Ωu_0 \qquad ext{ and } \qquad v(\cdot,t) o 0 \qquad \qquad (\star) \end{align*}$$ even with respect to the norm in $L^\infty(Ω)$ in both components. In the case when $n\ge 3$, secondly, some genuine weak solutions are found to exist globally, inter alia satisfying $ abla u\in L^\frac{4}{3}_{loc}(\overlineΩ imes [0,\infty);\mathbb{R}^n)$. In the particular three-dimensional setting, any such solution is seen to become eventually smooth and to satisfy ($\star$).

研究の動機と目的

• 信号依存性移動度を有するケラー・セゲル消費系に対して、従来確立されたグローバルな非常に弱い解の正則性を向上させること。
• 初期データおよび $ \phi $ に対するより強い正則性仮定が、古典的解または最終的滑らか解をもたらすかどうかを調査すること。
• 解の長時間挙動、特に強トポロジーにおける半自明平衡への収束を分析すること。
• $ n \leq 3 $ において、初期正則性が制限されていても、解が $ L^\infty(\Omega) $ で滑らかになり安定することを確立すること。
• 消費およびシグナル依存性拡散を有するキモタクシス系において、弱解理論と古典的解挙動の間のギャップを埋めること。

提案手法

• パrameter $ \varepsilon > 0 $ を用いた正則化近似スキームを採用し、系の摂動版に対する解 $ (u_\varepsilon, v_\varepsilon) $ を構築する。
• エネルギー推定および最大 $ L^p $-正則性理論を用いて、$ u_\varepsilon $, $ v_\varepsilon $ 及びその勾配に対する一様な有界性を導出する。
• コンパクトネスおよび安定性結果を活用し、$ L^2_{\text{loc}} $ 及び $ L^1_{\text{loc}} $ における弱収束および almost everywhere (a.e.) 収束を用いて近似の収束を確立する。
• アーベル・アスcoliの定理を適用し、$ t > T $ の空間時間領域において $ u $ 及び $ v $ の一様収束部分列を抽出することで、最終的滑らかさを保証する。
• $ \nabla u $ に対する補間および $ L^p $-有界性、特に $ \nabla u \in L^{4/3}_{\text{loc}}(\overline{\Omega} \times [0,\infty); \mathbb{R}^n) $ を用いて、より高い可積分性および正則性を導出する。
• 補助的微分不等式（例：補題 5.3）を活用し、成長を制御し、特に3次元の場合に解成分に対する一様有界性を導出する。

実験結果

リサーチクエスチョン

• RQ1 信号依存性移動度を有するケラー・セゲル消費系がグローバル古典解を有するための $ \phi $ 及び初期データの条件は何か？
• RQ2 初期にのみ非常に弱い解であるものが、最終的に滑らかになることは可能か？ もし可能であれば、$ \phi $ に対する正則性仮定は何か？
• RQ3 解は強 $ L^\infty(\Omega) $-トポロジーにおいて半自明平衡 $ (\frac{1}{|\Omega|}\int_\Omega u_0, 0) $ に収束するか？
• RQ4 空間次元 $ n $ は解の正則性および長時間挙動にどのような役割を果たすか？
• RQ5 特に、シグナル消費項 $ -uv $ の構造が、非線形拡散が存在する場合でも爆発を防ぎ、安定化を促進するか？

主な発見

• $ n \leq 2 $ に対して、$ \phi \in C^3([0,\infty)) $ かつ初期データ $ (u_0, v_0) \in (W^{1,\infty}(\Omega))^2 $ であれば、系はグローバル古典解を有する。
• $ n \leq 2 $ の場合、古典解は $ t \to \infty $ のとき $ u(\cdot,t) \to \frac{1}{|\Omega|}\int_\Omega u_0 $ および $ v(\cdot,t) \to 0 $ を満たし、$ L^\infty(\Omega) $ で収束する。
• $ n \geq 3 $、特に $ n = 3 $ の場合、系はグローバル弱解を有し、$ \nabla u \in L^{4/3}_{\text{loc}}(\overline{\Omega} \times [0,\infty); \mathbb{R}^n) $ を満たす。
• 3次元設定において、任意のこのような弱解は最終的に滑らかになり、半自明平衡に向かって $ L^\infty(\Omega) $ で強く安定化する。
• 収束は両成分において強く、$ C^3 $-正則性および正の性質を除く最小限の仮定のもとでも成立する。
• これらの結果は、シグナル消費とシグナル依存性移動度が、弱い正則性条件のもとでも、高次元においても爆発を抑制し、長期的安定化を強制することを示している。