[論文レビュー] Existence and stability of infinite time blow-up in the Keller-Segel system

Juan Dávila, Manuel del Pino+3 more|arXiv (Cornell University)|Nov 27, 2019

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

ひとこと要約

本稿は、臨界質量 $8\pi$ の2次元 Keller-Segel 修士系において、無限時間 blow-up 解の存在および非径対称的安定性を確立する。著者らは、新規の内部・外部グラフィングスキームを用いて、質量 $8\pi$ で2次モーメントが有限である径対称初期データ $u_0^*$ を構成し、近傍の初期データが無限時間 blow-up を示すことを証明した。その解は、$u(x,t) \approx \frac{1}{\lambda(t)^2} U\left(\frac{x - \xi(t)}{\lambda(t)}\right)$ の自己相似的プロファイルを示し、$\lambda(t) \sim \frac{c}{\sqrt{\log t}}$ かつ $\xi(t) \to q \in \mathbb{R}^2$ となる。これは、長年の非径対称的安定性に関する予想を裏付けた。

ABSTRACT

Perhaps the most classical diffusion model for chemotaxis is the Keller-Segel system \begin{equation} ag{$\ast$} \label{ks0} \left\{ \begin{aligned} u_t =&\; Δu - abla \cdot(u abla v) \quad in {\mathbb R}^2 imes(0,\infty),\\ v =&\; (-Δ_{\R^2})^{-1} u := \frac 1{2π} \int_{R^2} \, \log \frac 1{|x-z|}\,u(z,t)\, dz, \\ & \qquad\ u(\cdot ,0) = u_0 \geq 0\quad\hbox{in } R^2. \end{aligned} ight. \end{equation} We consider the {\em critical mass case} $\int_{R^2} u_0(x)\, dx = 8π$ which corresponds to the exact threshold between finite-time blow-up and self-similar diffusion towards zero. We find a radial function $u_0^*$ with mass $8π$ such that for any initial condition $u_0$ sufficiently close to $u_0^*$ the solution $u(x,t)$ of \equ{ks0} is globally defined and blows-up in infinite time. As $t o+\infty $ it has the approximate profile $$ u(x,t) \approx \frac 1{λ^2} \ch{U}\left (\frac {x-ξ(t)}{λ(t)} ight ), \quad \ch{U}(y)= \frac{8}{(1+|y|^2)^2}, $$ where $λ(t) \approx \frac c{\sqrt{\log t}}, \ ξ(t) o q $ for some $c>0$ and $q\in \R^2$. This result answers affirmatively the nonradial stability conjecture raised in \cite{g}.

研究の動機と目的

• 2次元 Keller-Segel 系における臨界質量 $8\pi$ での無限時間 blow-up の非径対称的安定性予想を解決すること。
• 正確な漸近的プロファイルを持つ、無限時間 blow-up を示すグローバルに定義された解を構成すること。
• 質量 $8\pi$ で2次モーメントが有限である径対称の初期条件 $u_0^*$ の存在を確立し、その近傍の摂動が無限時間 blow-up を引き起こすことを示すこと。
• blow-up 速度が $\lambda(t) \sim c / \sqrt{\log t}$ であり、中心 $\xi(t)$ が $\mathbb{R}^2$ の有限点 $q$ に収束することを証明すること。
• 径対称でない設定においても、無限時間 blow-up を扱える堅牢な解析的枠組みを構築すること。

提案手法

• blow-up 点近傍のダイナミクス（内部問題）とグローバルな振る舞い（外部問題）を分離する内部・外部グラフィングスキームを採用する。
• blow-up 点近傍の解のバブル的構造を解析するため、内部変数 $y = (x - \xi(t))/\lambda(t)$ を定義する。
• 初期データ $u_0^*$ の摂動を測るための重み付き $C^1$-ノルム $\|\phi\|_{*\sigma}$ を用い、十分な正則性と減衰性を保証する。
• 外部領域および内部領域における誤差項を制御するため、バリア関数 $\psi_1$, $\psi_2$, および $\tilde{\psi}$ を用いて上界解を構成する。
• blow-up バブルの運動を支配する中心 $\xi(t)$ の非局所的常微分方程式系を導出し、それを解く。
• スペクトル推定およびエネルギー法を用いて、外部領域における線形化作用素 $L_o$ を制御し、非径対称摂動下でも安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 臨界質量径対称プロファイルに近い初期データに対し、2次元 Keller-Segel 系において非径対称摂動下でも無限時間 blow-up が発生しうるか？
• RQ2 無限時間ブロー・アップのスケーリングパラメータ $\lambda(t)$ の正確な漸近的レートは何か？
• RQ3 $t \to \infty$ のとき、ブロー・アッププロファイルの中心 $\xi(t)$ は $\mathbb{R}^2$ の有限点に収束するか？
• RQ4 径対称設定を超えて、ブロー・アッププロファイルの安定性は非径対称クラスでも確立可能か？
• RQ5 2次モーメントは、臨界質量 $8\pi$ におけるブロー・アップ行動を決定づける役割を果たすか？

主な発見

• 質量 $8\pi$ で2次モーメントが有限である径対称の初期条件 $u_0^*$ が存在し、$C^1$-重み付きノルムで十分に近い摂動は、すべて無限時間 blow-up を示すグローバル解を生成する。
• ブロー・アッププロファイルは、任意の有界集合上で $u(x,t) \approx \frac{1}{\lambda(t)^2} U\left(\frac{x - \xi(t)}{\lambda(t)}\right)$ を満たし、$U(y) = \frac{8}{(1 + |y|^2)^2}$ である。
• スケーリングパラメータは、$t \to \infty$ のとき $\lambda(t) = \frac{c}{\sqrt{\log t}} (1 + o(1))$ を満たし、以前の研究で予想された形式的レートを確認した。
• 中心 $\xi(t)$ は $t \to \infty$ のとき有限極限 $q \in \mathbb{R}^2$ に収束し、ブロー・アップの空間的局在化が安定であることを示した。
• 解は非径対称摂動のもとでも安定であり、[26]で提起された非径対称的安定性予想を裏付けた。
• この構成は、ゆっくりとしたブロー・アップレートと非局所的ダイナミクスを効果的に扱える、新しい内部・外部グラフィングスキームに依存している。