[論文レビュー] Unbounded mass radial solutions for the Keller-Segel equation in the disk

Denis Bonheure, Jean‐Baptiste Casteras+1 more|arXiv (Cornell University)|Sep 29, 2017

Mathematical Biology Tumor Growth参考文献 23被引用数 2

ひとこと要約

本稿では、単位円板における Keller-Segel 方程式の径対称解の族を構成し、パラメータ λ → 0 のとき原点で blow up し、境界に質量が集中する現象を示す。Lyapunov-Schmidt 減少と漸近解析を用いて、著者らはこれらの解が非有界な質量 — 特に ∫λe^u dx が |ln λ| よりも速く増大する — を示すことを証明した。一方で u(0)/|ln λ| → 0 であるため、境界層を示す新しい種類の特異的かつ非有界質量解が存在することが明らかになった。

ABSTRACT

We consider the boundary value problem $$ \left\{ \begin{array}{rcll} -\Delta u+ u -\lambda e^u&=&0,\ u>0 & \mathrm{in}\ B_1(0)\\ \partial_ u u&=&0&\mathrm{on}\ \partial B_1(0), \end{array} ight. $$ whose solutions correspond to steady states of the Keller--Segel system for chemotaxis. Here $B_1(0)$ is the unit disk, $ u$ the outer normal to $\partial B_1(0)$, and $\lambda>0$ is a parameter. We show that, provided $\lambda$ is sufficiently small, there exists a family of radial solutions $u_\lambda$ to this system which blow up at the origin and concentrate on $\partial B_1(0)$, as $\lambda o 0$. These solutions satisfy $$ \lim_{\lambda o 0} \frac{u_\lambda(0)}{|\ln\lambda|}=0\quad \mbox{and}\quad 0<\lim_{\lambda o 0} \frac{1}{|\ln\lambda|}\int_{B_1(0)}\lambda e^{u_\lambda(x)}dx<\infty, $$ having in particular unbounded mass, as $\lambda o 0$.

研究の動機と目的

• 単位円板における Keller-Segel 方程式の径対称解を、λ→0 のとき非有界質量を示すように構成すること。
• パラメータ λ が小さいときの解の漸近的挙動を分析すること、特に原点での blow up と境界への集中に焦点を当てる。
• 既知の有限質量解のクラスを拡張し、臨界的二次元ケースにおいて質量量子化と非有界質量を持つ解の存在を示すこと。
• 解のプロファイルの厳密な漸近的記述を提供すること、特に境界層の形成と原点における blow up を含む。

提案手法

• PDE を有限次元問題に還元するため、Lyapunov-Schmidt 減少を用いる。
• 原点における blow up 行動をモデル化するため、径対称解 V_μ(|x|) = ln(8μ²/(λμ² + |x|²)²) に基づく形式的アンザッツを用いる。
• バリア関数を構築し、重み付きノルムを用いて、原点付近、バルク領域、境界付近の異なる領域における解を制御する。
• 重み付き L∞ および L^q 空間における楕円型推移を用いて誤差項を制御し、固定点の存在を保証する。
• 適切に選ばれた関数空間における収縮写像による議論を用いて、所望の漸近的挙動を満たす解の存在を証明する。
• Green 関数および境界層プロファイルの詳細な漸近的解析を実施し、解のスケーリングを λ の関数として導出する。

実験結果

リサーチクエスチョン

• RQ1 単位円板における Keller-Segel 方程式の径対称解は、λ→0 のとき原点で blow up し、境界に集中するように構成可能か？
• RQ2 このような解は非有界質量を示すか、すなわち λ→0 のとき ∫_B1 λe^{u_λ} dx → ∞ となるか？
• RQ3 u_λ(0) および総質量の λ→0 における正確な漸近的挙動は何か？
• RQ4 小λ極限における解のプロファイルは、原点付近および境界付近でどのように振る舞うか？
• RQ5 還元法と収縮写像を用いて、このような解の存在を厳密に証明可能か？

主な発見

• 著者らは、λ→0 のとき原点で blow up する単位円板における Keller-Segel 方程式の1パラメータ族の径対称解 u_λ を構成した。
• 解は lim_{λ→0} u_λ(0)/|ln λ| = 0 を満たし、原点における blow up が対数的よりも遅いことを示している。
• 総質量 ∫_{B1} λe^{u_λ} dx は λ→0 のとき |ln λ| よりも速く増大するため、解は極限において非有界質量を持つ。
• 解は境界 ∂B1 に集中し、スケーリングされた解 u_λ(r) + ln λ は境界層をモデル化する W_ε(r) に近づく。
• 漸近的挙動は、u_λ(x) → 0 がバルク領域で成り立ち、ε ≈ 1/|ln λ| のとき W_ε(r) が境界付近で成り立つことで特徴づけられる。
• 解の存在証明は Lyapunov-Schmidt 減少と重み付きノルム空間における収縮写像による議論に依拠し、十分に小さい λ に対して解の存在が確立された。