[论文解读] Renormalized solutions to a chemotaxis system with consumption of chemoattractant

Hengling Wang, Yuxiang Li|arXiv (Cornell University)|Mar 14, 2018

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

一句话总结

该论文在有界凸区域中，针对高维（$ n \geq 4 $）具有化学引诱物消耗的Keller-Segel型趋化系统，建立了重整化解的全局存在性。通过引入基于截断的重整化框架并利用熵估计，作者证明了当初始数据满足 $ u_0 \in C^0(\overline{\Omega}) $，$ v_0 \in W^{1,q}(\Omega) $ 且 $ q > n $ 时，尽管在标准弱解框架下缺乏一致有界性，全局重整化解依然存在。

ABSTRACT

This paper investigates a high-dimensional chemotaxis system with consumption of chemoattractant \begin{eqnarray*} \left\{\begin{array}{l} u_t=Δu- abla\cdot(u abla v), v_t=Δv-uv, \end{array} ight. \end{eqnarray*} under homogeneous boundary conditions of Neumann type, in a bounded convex domain $Ω\subset\mathbb{R}^n~(n\geq4)$ with smooth boundary. It is proved that if initial data satisfy $u_0\in C^0(\overlineΩ)$ and $v_0\in W^{1,q}(Ω)$ for some $q>n$, the model possesses at least one global renormalized solution.

研究动机与目标

• 解决高维趋化系统中具有化学引诱物消耗的重整化解全局存在性的开放问题。
• 克服经典弱解理论中 $ u\nabla v $ 缺乏一致有界性的关键障碍。
• 将重整化解的概念扩展至具有消耗的趋化模型，特别是在维度 $ n \geq 4 $ 的情形。
• 在一般初始数据条件下建立解的存在性：$ u_0 \in C^0(\overline{\Omega}) $，$ v_0 \in W^{1,q}(\Omega) $，其中 $ q > n $。

提出的方法

• 引入一族光滑且有界的截断函数 $ \varphi_E $，满足 (E1)–(E7)，以正则化解 $ u $。
• 应用Fischer [8] 提出的重整化解框架，使用 $ \xi(\varphi_E(u)) $ 作为测试函数，推导近似方程。
• 利用熵估计与能量方法控制非线性项，并获得与 $ \varepsilon $ 无关的统一有界性。
• 通过Fatou引理与控制收敛定理，令 $ E \to \infty $ 取极限，依赖于 $ \varphi_E'' $ 在 $ L^\infty $ 中的衰减性。
• 通过利用 $ \xi $ 的导数具有紧台面这一性质，建立 $ \varphi_E'(u) $ 与 $ \varphi_E''(u) $ 项的收敛性。
• 利用 $ \varphi_E(u) = u $ 当 $ u < E $ 的事实，确保逐点收敛性与极限中的一致性。

实验结果

研究问题

• RQ1 在维度 $ n \geq 4 $ 下，即使初始数据任意大，是否仍可为具有化学引诱物消耗的趋化系统构造全局重整化解？
• RQ2 在弱解框架下，如何克服 $ u\nabla v $ 缺乏一致 $ L^s $ 有界性的缺陷？
• RQ3 当全局有界性失效时，重整化解概念是否可作为经典解的可行替代方案？
• RQ4 熵估计与截断技术在确保经典框架之外的存在性方面发挥何种作用？

主要发现

• 该模型对所有 $ n \geq 4 $ 均至少存在一个全局重整化解，即使初始数据任意大。
• 解满足 $ u \in L^\infty(0,T; L^\infty(\Omega)) $ 且 $ \nabla \sqrt{u} \in L^2(0,T; L^2(\Omega)) $，确保了重整化所需的足够正则性。
• 重整化解框架通过截断与极限过程，成功处理了交叉扩散项 $ \nabla \cdot (u\nabla v) $。
• 当 $ E \to \infty $ 时，测度 $ \mu^E $ 的极限趋于零，证实了重整化公式的自洽性。
• 由于 $ \xi' $ 与 $ \xi'' $ 具有紧台面，弱形式中非线性项的收敛性得以保证，确保极限给出精确方程。
• 该结果将重整化解的应用范围扩展至高维趋化系统，超越了低维与小初始数据的限制。