[论文解读] An interpolation inequality and its application in Keller-Segel model

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

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

一句话总结

本文建立了一种新型的Ehrling型插值不等式，该不等式改进了Gagliardo-Nirenberg不等式，随后将其应用于有界区域中的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.

研究动机与目标

• 建立一种改进型的Ehrling型插值不等式，以在特定情形下强化经典的Gagliardo-Nirenberg不等式。
• 研究等度可积性在防止Keller-Segel系统在维度 $ N \geq 2 $ 下爆破中的作用。
• 弱化标准的 $ L^p $-有界性条件（$ p > N/2 $）以实现全局存在性，以 $ u^{N/2} $ 的更弱等度可积性假设取而代之。
• 通过证明 $ \int_\Omega u^{N/2} \log u $ 的有界性足以保证全局存在性，即使 $ \|u\|_{L^{N/2}} $ 有界但不具一致可积性，从而扩展已知的全局存在性准则。
• 提供一种新的全局存在性与有界性的充分条件，即使 $ L^{N/2} $-范数有界但缺乏一致可积性，该条件依然适用。

提出的方法

• 通过针对临界指数 $ p = N/2 $ 的Gagliardo-Nirenberg框架的精细化分析，推导出一种新型插值不等式。
• 将新不等式应用于Keller-Segel系统的能量估计，特别分析 $ \int_\Omega u^p $ 和 $ \int_\Omega |\nabla v|^{2q} $ 的演化。
• 使用De la Vallée-Poussin准则刻画 $ \{u^{N/2}\} $ 的等度可积性，将其与函数 $ f(s) $ 的增长性联系起来，使得当 $ s \to \infty $ 时 $ f(s)/s^{N/2} \to \infty $。
• 构建一种基于反射的函数扩展算子，用于具有边界的区域上的函数，通过单位分解和 $ C^1 $-微分同胚控制扩展后的范数。
• 在局部坐标系中使用变量替换和范数估计，以控制扩展函数的 $ L^p $-范数，确保扩展过程保持等度可积性。
• 将改进后的不等式与等度可积性条件相结合，推导出 $ u $ 和 $ v $ 的先验估计，从而得出全局存在性与有界性。

实验结果

研究问题

• RQ1 当 $ p = N/2 $ 时，Keller-Segel模型中全局存在性的经典 $ L^p $-有界性条件能否被弱化？
• RQ2 对于 $ N \geq 2 $，$ \{u^{N/2}(\cdot,t)\} $ 的等度可积性是否足以防止Keller-Segel系统在有限时间内爆破？
• 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^{N/2}(\cdot,t)\}_{t \in (0,T_{\max})} $ 等度可积的更弱条件下，证明了Keller-Segel系统解的全局存在性与有界性，即使 $ \|u(\cdot,t)\|_{L^{N/2}} $ 有界。
• 证明了 $ \int_\Omega u^{N/2} \log u \, dx < \infty $ 在时间上一致有界足以保证全局存在性与有界性，而这一条件未被经典的 $ L^p $-有界性准则所涵盖。
• 应用De la Vallée-Poussin准则表明，$ \{u^{N/2}\} $ 的等度可积性等价于对任意满足 $ f(s)/s^{N/2} \to \infty $（当 $ s \to \infty $）的函数 $ f(s) $，均有 $ \int_\Omega f(u) \, dx $ 的一致有界性。
• 证明依赖于一种新颖的函数扩展算子，该算子通过反射与单位分解构造，用于控制扩展函数的 $ L^p $-范数。
• 作者证明了 $ \{u^{N/2}\} $ 的等度可积性可确保扩展函数存在统一的 $ L^p $-有界性，这对先验估计至关重要。