[論文レビュー] Large global solutions of the parabolic-parabolic Keller-Segel system in higher dimensions

Piotr Biler, Alexandre Boritchev+1 more|arXiv (Cornell University)|Mar 17, 2022

Mathematical Biology Tumor Growth参考文献 24被引用数 6

ひとこと要約

本稿は、化学求食拡散係数パラメータ $\tau$ が十分に大きい場合、次元 $d \geq 2$ において、初期データが任意に大きい場合でも、放物型-放物型 Keller–Segel システムの解の時間全域での存在を確立する。擬測度ノルムと臨界函数空間におけるエネルギー推定を用いて、$\tau \gg 1$ の場合に $\|u_0\|_{\mathcal{P}\!\mathcal{M}^{d-2}} \lesssim \tau / (\ln \tau)^3$ の形のサイズ条件の下で解が時間全域にわたって存在することを証明する。このサイズ条件は対数因子を除いてほぼ最適である。

ABSTRACT

We study the global existence of the parabolic-parabolic Keller-Segel system in $\\R^d , d \\ge 2$. We prove that initial data of arbitrary size give rise to global solutions provided the diffusion parameter $\ au$ is large enough in the equation for the chemoattractant. This fact was observed before in the two-dimensional case by Biler, Guerra \\& Karch (2015) and Corrias, Escobedo \\& Matos (2014). Our analysis improves earlier results and extends them to any dimension $d \\ge 3$. Our size conditions on the initial data for the global existence of solutions seem to be optimal, up to a logarithmic factor in $\ au$, when $\ au>>1$: we illustrate this fact by introducing two toy models, both consisting of systems of two parabolic equations, obtained after a slight modification of the nonlinearity of the usual Keller-Segel system. For these toy models, we establish in a companion paper [4] finite time blowup for a class of large solutions.

研究の動機と目的

• 次元 $d \geq 2$ において、初期データが大きい場合の放物型-放物型 Keller–Segel システムの時間全域での解の存在を確立すること。
• 2次元の場合の既存結果を、$d \geq 3$ の高次元へ拡張すること。
• 特に $\tau \gg 1$ の領域において、時間全域での解の存在のための初期データのサイズ条件を改善すること。
• 類似条件の下で有限時間 blowup を示す玩具モデルを構築することで、導出されたサイズ条件がほぼ最適であることを確認すること。
• 擬測度および同次 Besov ノルムを含む臨界函数空間における精密な解析を通じて、時間全域での解の存在の閾値を特徴づけること。

提案手法

• 著者らは、特に $\mathcal{E}_p$ および $\dot{B}_{d,\infty}^{-1}$ を含む臨界函数空間の枠組みにおいて、弱解の定式化を用いて非線形の漂流拡散系を分析する。
• 解を線形部と、二重線形作用素 $B(u,u)$ を含む非線形積分項に分解するために、変数定数の公式を用いる。
• 主な推定は、ガウス核の有界性と $L^p$ 型不等式を用いて得られる。特に、$\nabla e^{t\Delta}$ の減衰性および $u \in \mathcal{E}_p$ のときの $\|u(\sigma) \mathbb{L} u(\sigma)\|_{d/2} \lesssim \sigma^{-1/2}$ の性質を活用する。
• 初期データのサイズを測定するために、擬測度ノルム $\|\cdot\|_{\mathcal{P}\!\mathcal{M}^{d-2}}$ と同次 Besov ノルム $\|\cdot\|_{\dot{B}_{d,\infty}^{-1}}$ の使用に依存する。
• $L^{d/2}$ および $M^{d/2}$ 空間における事前境界を確立し、解が時間的に有界かつ連続であることを保証する。
• 解の連続性および $\mathscr{D}'$ における初期データへの収束の証明は、優越収束定理と非線形項 $B(u,u)$ の減衰推定に依存する。

実験結果

リサーチクエスチョン

• RQ1 初期データ $u_0$ および $\varphi_0$ がどのようなサイズ条件を満たす場合に、次元 $d \geq 2$ における放物型-放物型 Keller–Segel システムが時間全域での解を有するか？
• RQ2 化学求食拡散係数パラメータ $\tau$ に依存する初期データの時間全域での解の存在閾値はどのように変化するか？
• RQ3 特に $\tau \gg 1$ の領域において、時間全域での解の存在のためのサイズ条件を、既存の結果を上回るように改善できるか？
• RQ4 導出されたサイズ条件がほぼ最適であるかどうかを、反例や玩具モデルによって確認できるか？
• RQ5 擬測度および同次 Besov 空間などの臨界函数空間が、時間全域での解の存在の閾値を特徴づける役割を果たすか？

主な発見

• $\tau \gg 1$ の場合、本稿では $\|u_0\|_{\mathcal{P}\!\mathcal{M}^{d-2}} \lesssim \tau / (\ln \tau)^3$ のサイズ条件の下で、臨界的擬測度ノルムにおいて任意に大きな初期データを許容する解の時間全域での存在を確立する。
• 2次元の場合の既存結果に比べ、$\sqrt{\tau}$ よりも良い要因で改善されており、許容可能な初期データの範囲が著しく拡大されている。
• $\tau \gg 1$ の領域において、サイズ条件は対数因子を除いてほぼ最適であり、類似条件の下で有限時間 blowup を示す玩具モデルを併論文で構築することで、これを裏付けている。
• 解 $u$ は $BC((0,\infty), M^{d/2})$ に属し、$t \searrow 0$ のとき $u(t) \to u_0$ が $\mathscr{D}'$ で成り立つことが示され、初期データの適切な回復が保証される。
• $M^{d/2} \cap \dot{B}_{d,\infty}^{-1}$ に属する初期データに対して、解は $\|u\|_{\mathcal{E}_d} \lesssim \|u_0\|_{\dot{B}_{d,\infty}^{-1}} \lesssim \tau^{d/(2q)}$ の境界を満たす。任意の $q \in (d, \infty)$ に対して成り立ち、$\|\cdot\|_d$ ノルムが小さい解のクラスでは一意性が保証される。
• 解析により、導出された条件下でも問題の臨界スケーリングが保存されることを確認し、この手法は $d \geq 2$ のすべての次元、特に $d \geq 3$ に対しても一様に適用可能である。