[論文レビュー] Global bounded solutions of the higher-dimensional Keller-Segel system under smallness conditions in optimal spaces

Xinru Cao|arXiv (Cornell University)|May 26, 2014

Mathematical Biology Tumor Growth参考文献 14被引用数 15

ひとこと要約

本稿は、臨界ルベーグ空間における最適な小さい条件のもとで、高次元の完全放物型ケラー-セゲル系に対する古典的解の大域的存在および有界性を確立する。具体的には、初期細胞質量 $ \|u_0\|_{L^{n/2}(\Omega)}$ および初期化学物質勾配 $ \|\nabla v_0\|_{L^n(\Omega)}$ が十分に小さい場合に該当する。解析は2次元における回転対称性を持つ一般化された栄養移動系へと拡張され、初期全細胞質量および初期化学物質勾配の小さい条件のもとで大域的有界性が示された。

ABSTRACT

In this paper, the fully parabolic Keller-Segel system \begin{equation} \left\{ \begin{array}{llc} u_t=Δu- abla\cdot(u abla v), &(x,t)\in Ω imes (0,T),\\ v_t=Δv-v+u, &(x,t)\inΩ imes (0,T),\\ \end{array} ight. \qquad \qquad (\star) \end{equation} is considered under Neumann boundary conditions in a bounded domain $Ω\subset\mathbb{R}^n$ with smooth boundary, where $n\ge 2$. We derive a smallness condition on the initial data in optimal Lebesgue spaces which ensure global boundedness and large time convergence. More precisely, we shall show that one can find $\varepsilon_0>0$ such that for all suitably regular initial data $(u_0,v_0)$ satisfying $\|u_0\|_{L^{\frac{n}{2}}(Ω)}

研究の動機と目的

• 次元 $n \geq 2$ における完全放物型ケラー-セゲル系について、最適なルベーグ空間における小さい条件のもとで、古典的解の大域的存在および有界性を確立すること。
• 従来、$q > \frac{n}{2}$, $p > n$ の場合にのみ知られていた、臨界ケース $q = \frac{n}{2}$, $p = n$ における大域的有界性のギャップを埋めること。
• 2次元における行列値感受性 $S(u,v,x)$ を持つ一般化された栄養移動モデルに解析を拡張し、回転運動をモデル化すること。
• エネルギー構造が存在しない場合でも、初期全細胞質量 $\|u_0\|_{L^1(\Omega)}$ および初期化学物質勾配 $\|\nabla v_0\|_{L^n(\Omega)}$ の小さい条件が大域的有界性を保証することを示すこと。

提案手法

• 解の大域的存在および有界性を保証するための小さい条件を、$\|u_0\|_{L^{n/2}(\Omega)}$ および $\|\nabla v_0\|_{L^n(\Omega)}$ について、閾値 $\varepsilon_0 > 0$ を用いて導出する。
• パrameter $\eta$ に依存する滑らか化近似系を導入し、$S_\eta$ および $u_\eta$, $v_\eta$ を用いて、$L^\infty((0,\infty)\times\Omega)$ および $L^2_{\text{loc}}((0,\infty);W^{1,2}(\Omega))$ における一様有界性を証明する。
• Aubin-Lionsの補題を適用して、$u_\eta$ および $v_\eta$ について $L^2_{\text{loc}}((0,\infty);L^2(\Omega))$ における強いコンパクト性を抽出し、$\eta \to 0$ の極限に移行可能であることを示す。
• エネルギー推定と時間微分 $\partial_t u_\eta$ および $\partial_t v_\eta$ の $L^2$-型のノルムを双対空間で評価することで、正則性を制御し、収束を保証する。
• テスト関数 $\phi \in C_0^\infty(\bar{\Omega} \times [0,\infty))$ を用いて弱形式の収束を示し、その後放物型正則性理論を適用して古典的解へと昇格する。
• 回転対称性のケースに拡張するにあたり、エネルギー不等式に依存するのではなく、$\|u_0\|_{L^1(\Omega)}$ および $\|\nabla v_0\|_{L^2(\Omega)}$ の小さい条件に依存する。

実験結果

リサーチクエスチョン

• RQ1 臨界ルベーグ空間 $L^{n/2}$ および $L^n$ における小さい条件のもとで、高次元完全放物型ケラー-セゲル系に対して大域的有界解が保証されるか？
• RQ2 回転対称性モデルにおける自然なエネルギー構造の欠如が大域的有界性を妨げるか？初期質量および勾配の小さい条件が依然として有効か？
• RQ3 初期データが $L^q$ および $L^p$ 空間に属する場合、臨界ケース $q = \frac{n}{2}$, $p = n$ が大域的有界性を保証するのに十分か？高次可積分性の欠如にもかかわらず。
• RQ4 エネルギーに基づく推定が存在しない系において、$\|u_0\|_{L^1(\Omega)}$ および $\|\nabla v_0\|_{L^n(\Omega)}$ の小さい条件が、エネルギー推定の必要性を代替できるか？
• RQ5 滑らか化系から得られるコンパクト性および収束性の性質は、極限が古典的解を導くためにどのように寄与するか？

主な発見

• ある $\varepsilon_0 > 0$ が存在し、$\|u_0\|_{L^{n/2}(\Omega)} < \varepsilon_0$ かつ $\|\nabla v_0\|_{L^n(\Omega)} < \varepsilon_0$ ならば、ケラー-セゲル系の解は大域的に存在し、有界のままである。
• 大域的解は $t \to \infty$ のとき定常状態 $(m, m)$ に収束する。ここで $m = \frac{1}{|\Omega|}\int_\Omega u_0$ である。
• 回転対称性を有する2次元ケースに対しても、エネルギー構造が存在しないにもかかわらず、$\|u_0\|_{L^1(\Omega)}$ および $\|\nabla v_0\|_{L^2(\Omega)}$ の小さい条件のもとで大域的存在および有界性が示された。
• 滑らか化系 $(u_\eta, v_\eta)$ は、$L^\infty((0,\infty)\times\Omega)$ および $L^2_{\text{loc}}((0,\infty);W^{1,2}(\Omega))$ において一様有界である。これにより、Aubin-Lionsの補題を用いて強いコンパクト性が得られる。
• 滑らか化解の極限 $(u,v)$ は、元の系の古典的解である。弱形式での収束を経て、放物型正則性理論を適用することで得られる。
• $\|\partial_t u_\eta\|_{(W^{1,2})^*}^2$ および $\|\partial_t v_\eta\|_{(W^{1,2})^*}^2$ の時間微分ノルムは一様に有界であり、必要な位相での収束を保証する。