[论文解读] Global Existence for a Kinetic Model of Pattern Formation with Density-suppressed Motilities

Kentarou Fujie, Jie Jiang|arXiv (Cornell University)|Jan 1, 2020

Mathematical Biology Tumor Growth参考文献 21被引用 6

一句话总结

本文为一种具有密度抑制运动性的趋化模型建立了全局经典解的全局存在性与时间一致有界性，其中扩散项随信号浓度增加而退化。作者提出了一种新颖的分析方法，以防止扩散在有限时间内退化，证明了当 μ > 0 或 1/γ 满足多项式增长条件时解的有界性，并在 μ = 0、γ(v) = e⁻ᵛ 情况下发现了新的无限时间爆破现象，适用于超临界质量初始数据。

ABSTRACT

In this paper, we consider global existence of classical solutions to the following kinetic model of pattern formation \begin{equation} \begin{cases} u_t=Δ(γ(v)u)+μu(1-u) -Δv+v=u \end{cases} \qquad (0.1) \end{equation}in a smooth bounded domain $Ω\subset\mathbb{R}^n$, $n\geq1$ with no-flux boundary conditions. Here, $μ\geq0$ is any given constant. The function $γ(\cdot)$ represents a signal-dependent diffusion motility and is decreasing in $v$ which models a density-suppressed motility in process of stripe pattern formation through self-trapping mechanism [8,20]. The major difficulty in analysis lies in the possible degeneracy of diffusion as $v earrow+\infty.$ In the present contribution, based on a subtle observation of the nonlinear structure, we develop a new method to rule out finite-time degeneracy in any spatial dimension for all smooth motility function satisfying $γ(v)>0$ and $γ'(v)\leq0$ for $v\geq0$. Then we prove global existence of classical solution for (0.1) in the two-dimensional setting with any $μ\geq0$. Moreover, the global solution is proven to be uniform-in-time bounded if either $1/γ$ satisfies certain polynomial growth condition or $μ>0.$ Besides, we pay particular attention to the specific case $γ(v)=e^{-v}$ with $μ=0$. A novel critical phenomenon in the two-dimensional setting is observed where blowup takes place in infinite time rather than finite time in our model.

研究动机与目标

• 为具有信号依赖性、退化扩散的抛物-椭圆型趋化模型建立经典解的全局存在性。
• 克服由于密度抑制运动性导致的当 v → ∞ 时扩散可能发生有限时间退化的挑战。
• 在一般运动函数 γ(v) > 0 且 γ′(v) ≤ 0 的条件下，分析解的长时间行为，特别是有界性与爆破动力学。
• 研究逻辑项（μ ≥ 0）的关键作用，以及 μ = 0 时特定情形 γ(v) = e⁻ᵛ 的性质，该情形与 Keller–Segel 模型共享平衡态与李雅普诺夫结构。
• 刻画二维中均匀有界性与无界增长之间的转变，特别是超临界质量初始数据下的新型无限时间爆破。

提出的方法

• 基于微妙的非线性结构，提出一种新的分析方法，即使当 γ(v) → 0（v → ∞）时，也能排除扩散的有限时间退化。
• 采用李雅普诺夫泛函与能量估计来控制解的增长，特别是在 μ = 0、γ(v) = e⁻ᵛ 的情形下。
• 利用椭圆正则性与加权 L² 估计，根据初始数据与区域几何性质，对解分量 u 和 v 进行有界控制。
• 应用霍尔德不等式，并对包含贝塞尔函数与对数权重的积分进行细致的渐近分析，以控制关键能量项。
• 通过调节参数 λ 和 a 构造特定初始数据，使李雅普诺夫泛函趋于 −∞，从而证明解的无界性。
• 依赖抛物-椭圆简化形式（−Δv + v = u），将系统简化为可处理的形式，同时保留关键动力学特性。

实验结果

研究问题

• RQ1 在任意空间维数下，具有退化、密度抑制运动性的趋化模型是否可能存在全局经典解？
• RQ2 在何种条件下可排除扩散在有限时间内退化的可能性？
• RQ3 当 μ = 0 且 γ(v) = e⁻ᵛ 时，什么决定了解的长时间有界性或无界性？
• RQ4 与经典 Keller–Segel 模型相比，该系统的爆破动力学行为有何不同？
• RQ5 初始数据具有超临界质量时，是否会导致解在无限时间内无界增长，而非有限时间爆破？

主要发现

• 在二维空间中，对所有 μ ≥ 0 及任意光滑、非增的 γ(v) > 0，全局经典解存在。
• 若 μ > 0 或 1/γ 满足多项式增长条件，则解在时间上一致有界。
• 在特定情形 γ(v) = e⁻ᵛ 且 μ = 0 下，具有亚临界质量初始数据的解在所有时间保持一致有界。
• 对于某些具有超临界质量的初始数据，解在 t → ∞ 时趋于无界，表明存在无限时间爆破。
• 该无限时间爆破是一种新颖现象，与经典 Keller–Segel 模型中的有限时间爆破截然不同。
• 通过构造具有任意大质量但解增长无界的初始数据，证实了在 μ = 0、γ(v) = e⁻ᵛ 情形下临界质量阈值的精确性。