[论文解读] Inhomogeneous Patlak-Keller-Segel models and Aggregation Equations with Nonlinear Diffusion in $\Real^d$

Jacob Bedrossian, Nancy Rodríguez|arXiv (Cornell University)|Aug 25, 2011

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

一句话总结

本文在 $\mathbb{R}^d$（$d \geq 2$）中，针对具有非线性扩散的非齐次 Patlak-Keller-Segel 模型与聚集方程，建立了一个统一的局部与全局解理论，通过在 $\mathbb{R}^d$ 上直接正则化，克服了先前工作的局限。证明了小初值全局存在性、超临界情形下的一致有界性，并确定了对数奇点核的临界质量，解决了长期未解的 $\mathbb{R}^2$ 情况。

ABSTRACT

Aggregation equations and Patlak-Keller-Segel (PKS) models for chemotaxis with nonlinear diffusion are popular models for nonlocal aggregation phenomenon and are a source of a number of interesting mathematical problems in nonlinear PDE. The purpose of this work is twofold. First, we continue our previous work, which focused on nonlocal aggregation, modeled with a convolution. The goal was to unify the local and global theory of these convolution-type models, including the identification of a sharp critical mass; however, some cases involving unbounded domains were left open. In particular, the biologically relevant case $\Real^2$ was not treated. In this paper, we present an alternative proof of local existence, which now applies to $\Real^d$ for all $d \geq 2$ and give global results that were left open. The proof departs from previous work in that it uses a more direct and intuitive regularization that constructs approximate solutions on $\Real^d$ instead of on sequences of bounded domains. Second, this work develops the local, subcritical, and small data critical theory for a variety of Patlak-Keller-Segel models with spatially varying diffusion and decay rate of the chemo-attractant.

研究动机与目标

• 完成 $\mathbb{R}^d$ 中具有非线性扩散的 Patlak-Keller-Segel 模型的局部与全局解理论，特别是解决先前工作中未解决的 $\mathbb{R}^2$ 情况。
• 在 $\mathbb{R}^d$ 上发展一种直接正则化方法，而非在有界区域上进行，从而在形式论证中实现对齐次 Sobolev 嵌入的严格证明。
• 将小初值临界/超临界理论与全局存在性结果推广至具有空间变化扩散与趋化因子衰减的变系数模型。
• 通过精细的 $L^p$ 估计与 Calderón-Zygmund 型不等式，确定 $\mathbb{R}^d$ 中对数奇点核的临界质量。
• 通过迭代技术与 Gagliardo-Nirenberg 型不等式，建立超临界情形下的统一有界性与小初值全局存在性。

提出的方法

• 在 $\mathbb{R}^d$ 上引入直接正则化以构造近似解，避免在有界区域上进行逼近。
• 采用改进的 Gagliardo-Nirenberg 不等式，以 $\|f\|_p$ 与低阶项控制 $\|D^2 c\|_p$，这对处理非恒定系数至关重要。
• 在球体内使用 Calderón-Zygmund 估计以控制趋化因子 $c$ 的二阶导数，通过插值与小量假设控制误差项。
• 应用类似于文献 [20, 41, 3] 的迭代技术，证明小初值在超临界情形下的全局存在性与一致有界性。
• 通过加权 $L^p$ 范数与依赖于 $\nabla a$ 的常数，推导 $c$ 及其导数的 $L^p$ 估计，确保当 $p \to \infty$ 时一致有界。
• 依赖于自由能耗散结构 $\mathcal{F}(u) = S(u) - \mathcal{W}(u)$，其中 $S(u)$ 严格凸，$\mathcal{W}(u)$ 表示相互作用能量。

实验结果

研究问题

• RQ1 Patlak-Keller-Segel 模型在 $\mathbb{R}^d$ 中具有对数奇点时，其精确临界质量是多少？
• RQ2 如何通过在全空间上直接正则化，建立 $\mathbb{R}^2$ 中的局部与全局解？
• RQ3 在非线性扩散模型的超临界情形下，何种条件可保证小初值全局存在性与一致有界性？
• RQ4 扩散与趋化因子衰减中的变系数如何影响解的正则性与长时间行为？
• RQ5 能否通过直接正则化，在非局部聚集方程的背景下，严格证明齐次 Sobolev 嵌入？

主要发现

• 本文通过在 $\mathbb{R}^d$（$d \geq 2$）上直接正则化，建立了 $\mathbb{R}^d$ 上的局部存在性，解决了先前工作中遗留的 $\mathbb{R}^2$ 情况。
• 通过迭代与 $L^p$ 估计，在超临界情形下证明了小初值全局存在性与一致有界性，且满足 $C(a,p,d) \lesssim p$ 当 $p \to \infty$。
• 在 $\mathbb{R}^d$ 中，对具有原点对数奇点的核，确定并估计了临界质量，将先前结果推广至生物学上重要的二维情形。
• 推导出一个新的 $D^2 c$ 的 $L^p$ 估计：$\|D^2 c\|_p \lesssim \|f\|_p + \|f\|_{dp/(2p+d)}$，可统一控制关于 $R$ 的低阶项。
• 该方法使得在形式计算中对齐次 Sobolev 嵌入的严格证明成为可能，这对证明超临界情形下的全局存在性至关重要。
• 该理论被推广至变系数模型，其中 $a(x)$ 与 $\gamma(x)$ 为非恒定函数，满足 $\|D^2 c\|_p \leq C(a,p,d)\|f\|_p$ 且当 $p \to \infty$ 时 $C(a,p,d) \lesssim p$。