[論文レビュー] An interpolation inequality and its application in Keller-Segel model

Xinru Cao|arXiv (Cornell University)|Jul 28, 2017

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

ひとこと要約

本稿では、Gagliardo-Nirenberg 不等式を改善する新しいEhrling型の補間不等式を確立し、それを有界領域におけるKeller-Segelの走化性モデルに応用する。主な結果として、解の全体的存在性と有界性が保証される条件として、細胞密度 $ u $ の $ L^{N/2} $-ノルムが一様に有界であり、かつ $ \{u^{N/2}\} $ が等積分性を満たす、という条件が得られる。これは従来の全体的存在性の基準よりも厳密に弱い条件である。

ABSTRACT

In this paper, we first prove an interpolation inequality of Ehrling-type, which is an improvement of a special case to the well known Gargliardo-Nirenberg inequality. Then we apply it to study the classical Keller-Segel system \begin{equation} \left\{ \begin{array}{llc} u_t=Δu- abla\cdot(u abla v), \\[6pt] \displaystyle v_t=Δv-v+u, \end{array} ight. \end{equation} in a bounded domain $Ω\subset\mathbb{R}^N$ ($N\ge 2$) with smooth boundary. It is known that for any $δ>0$, if $\int_Ωu^{\frac N2+δ}(\cdot,t)$ is bounded, then the solution is global and bounded. Here we show that the same conclusion holds for a weaker assumption: the equi-integrability of $\{\int_Ωu^\frac N2(\cdot,t)|~t\in(0,T_{\max})\}$ can prevent blow up.

研究の動機と目的

• 特異な場合における古典的Gagliardo-Nirenberg不等式を強化する、Ehrling型の改良された補間不等式を確立すること。
• 特に次元 $ N \geq 2 $ の場合に、等積分性がKeller-Segel系における爆発を防ぐ役割を解明すること。
• 全体的存在性のための標準的 $ L^p $-有界性条件（$ p > N/2 $）を、$ u^{N/2} $ に対するより弱い等積分性仮定に置き換えること。
• 既知の全体的存在基準を拡張し、$ \int_\Omega u^{N/2} \log u $ の有界性が十分であることを示すこと。これは $ \|u\|_{L^{N/2}} $ が有界ではあるが、一様可積分性を満たさない場合にも成立する。
• $ L^{N/2} $-ノルムが有界であっても一様可積分性を欠く場合にも適用可能な、全体的存在性と有界性の新しい十分条件を提供すること。

提案手法

• Gagliardo-Nirenberg枠組みの精密な解析を通じて、臨界指数 $ p = N/2 $ に特化した新しい補間不等式を導出する。
• 得られた不等式をKeller-Segel系のエネルギー推定に応用し、特に $ \int_\Omega u^p $ および $ \int_\Omega |\nabla v|^{2q} $ の時間発展を分析する。
• De la Vallée-Poussinの基準を用いて $ \{u^{N/2}\} $ の等積分性を特徴づけ、$ s \to \infty $ のとき $ f(s)/s^{N/2} \to \infty $ となる関数 $ f(s) $ の成長と関連付ける。
• 境界を持つ領域上の関数に対して、分割関数と $ C^1 $-微分同相を用いた反射に基づく拡張作用素を構成し、拡張後のノルムを制御する。
• 局所座標における変数変換とノルム推定を用いて、拡張関数の $ L^p $-ノルムを評価し、拡張が等積分性を保つことを保証する。
• 改良された不等式と等積分性条件を組み合わせることで、$ u $ および $ v $ の事前推定を導出し、全体的存在性と有界性に至る。

実験結果

リサーチクエスチョン

• RQ1 Keller-Segelモデルにおける全体的存在性の古典的 $ L^p $-有界性条件は、$ p = N/2 $ の場合に弱められるか。
• RQ2 $ N \geq 2 $ の場合に、$ \{u^{N/2}(\cdot,t)\} $ の等積分性が、有限時間内に爆発を防ぐのに十分か。
• RQ3 $ \sup_{t \in (0,T_{\max})} \|u(\cdot,t)\|_{L^{N/2}(\Omega)} < \infty $ に加え、$ u^{N/2} $ の等積分性が、全体的有界性を保証するか。
• RQ4 $ s \to \infty $ のとき $ f(s)/s^{N/2} \to \infty $ となる成長条件を用いて、爆発を防ぐ関数のより広いクラスを特徴づけられるか。
• RQ5 新しい補間不等式は、臨界ケース $ p = N/2 $ において、Gagliardo-Nirenberg不等式をどのように改善するか。

主な発見

• 本稿では、臨界ケース $ p = N/2 $ においてGagliardo-Nirenberg不等式を改善する新しい補間不等式を確立し、$ L^p $-ノルムに対する鋭い制御を可能にする。
• 解の全体的存在性と有界性は、$ \|u(\cdot,t)\|_{L^{N/2}} $ が有界であっても、$ \{u^{N/2}(\cdot,t)\}_{t \in (0,T_{\max})} $ が等積分性を満たすというより弱い条件下でも保証される。
• $ \int_\Omega u^{N/2} \log u \, dx < \infty $ が時間に一様に有界であることは、全体的存在性と有界性の十分条件であることが示され、これは古典的 $ L^p $-有界性基準ではカバーされない。
• De la Vallée-Poussinの基準を用いて、$ \{u^{N/2}\} $ の等積分性が、$ s \to \infty $ のとき $ f(s)/s^{N/2} \to \infty $ となる任意の関数 $ f(s) $ に対して $ \int_\Omega f(u) \, dx $ の一様有界性と同値であることを示した。
• 証明は、境界を持つ領域上の関数に対して、反射と分割関数を用いた新規な拡張作用素に依存しており、拡張後の関数の $ L^p $-ノルムを制御する。
• $ \{u^{N/2}\} $ の等積分性が、拡張関数の一様 $ L^p $-有界性を保証することを示し、これが事前推定の根幹をなす。