[论文解读] Infinite-time concentration in Aggregation--Diffusion equations with a given potential

José A. Carrillo, David Gómez‐Castro+1 more|arXiv (Cornell University)|Mar 23, 2021

Mathematical Biology Tumor Growth参考文献 54被引用 8

一句话总结

本文研究具有非线性快扩散 (0 < m < 1) 和给定径向势 V 的聚集-扩散方程的径向解，证明在适当条件下，解在无限时间内收敛于一个由可积函数与原点处的狄拉克δ函数组成的静止状态。关键结果是无限时间集中，由于强聚集作用克服快扩散，质量在原点处累积。

ABSTRACT

Typically, aggregation-diffusion is modeled by parabolic equations that combine linear or nonlinear diffusion with a Fokker-Planck convection term. Under very general suitable assumptions, we prove that radial solutions of the evolution process converge asymptotically in time towards a stationary state representing the balance between the two effects. Our parabolic system is the gradient flow of an energy functional, and in fact we show that the stationary states are minimizers of a relaxed energy. Here, we study radial solutions of an aggregation-diffusion model that combines nonlinear fast diffusion with a convection term driven by the gradient of a potential, both in balls and the whole space. We show that, depending on the exponent of fast diffusion and the potential, the steady state is given by the sum of an explicit integrable function, plus a Dirac delta at the origin containing the rest of the mass of the initial datum. Furthermore, it is a global minimizer of the relaxed energy. This splitting phenomenon is an uncommon example of blow-up in infinite time.

研究动机与目标

• 建立具有快扩散 (0 < m < 1) 和给定径向势的径向聚集-扩散方程全局时间弱解的存在性。
• 分析此类解的长期渐近行为，特别是导致质量集中条件下的行为。
• 将渐近极限表征为一个分裂测度：可积函数与原点处的狄拉克δ函数之和。
• 证明所得测度最小化一个松弛的自由能泛函，将动力学与变分原理联系起来。
• 提供在 t → ∞ 时总质量在原点处集中（尽管快扩散具有平滑效应）的条件。

提出的方法

• 将偏微分方程 ∂ρ/∂t = Δρ^m + ∇·(ρ∇V) 形式化为自由能泛函 F[ρ] = 1/(m−1)∫ρ^m dx + ∫Vρ dx 沿 2- Wasserstein 梯度流的形式。
• 使用变分方法和能量耗散推导先验估计，并建立全局弱解的存在性。
• 构造显式静止解 ρ_V+h(x) = [(1−m)/m (V(x)+h)]^{-1/(1−m)}（h ≥ 0），当 h > 0 时有界。
• 引入小质量条件 a_V = ∫ρ_V dx < 1 作为狄拉克δ函数形成的關鍵判据。
• 采用比较原理和粘性解技术分析解向分裂稳态的收敛性。
• 证明极限测度 µ_∞ = (1−a_V)δ_0 + ρ_V 在概率测度空间中最小化松弛能量泛函。

实验结果

研究问题

• RQ1 在何种势 V 和初始数据 ρ_0 的条件下，解 ρ(t) 在 t → ∞ 时收敛于原点处具有狄拉克δ函数的测度？
• RQ2 快扩散 (0 < m < 1) 与通过 ∇V 实现的聚集之间如何相互作用，导致无限时间集中？
• RQ3 渐近极限能否被表征为松弛自由能泛函的极小化子？
• RQ4 小质量条件 a_V = ∫ρ_V dx < 1 在促成狄拉克δ函数形成中起什么作用？
• RQ5 在径向初始数据下，收敛到分裂稳态 µ_∞ = (1−a_V)δ_0 + ρ_V 是否稳定且唯一？

主要发现

• 对于满足 ρ_0 ≥ ρ_V 的径向初始数据，解 ρ(t) 在 t → ∞ 时以质量意义收敛于 µ_∞ = (1−a_V)δ_0 + ρ_V。
• 条件 a_V = ∫ρ_V dx < 1 是原点处形成狄拉克δ函数的长期极限的必要且充分条件。
• 静止态 ρ_V 显式给出为 ρ_V(x) = [(1−m)/m (V(x))]^{-1/(1−m)}（当 h = 0 时），在假设 ∫_{B_1} ρ_V^{1+ε} dx < ∞（某 ε > 0）下为可积函数。
• 极限测度 µ_∞ 是概率测度空间中松弛自由能泛函的全局极小化子。
• 集中发生在无限时间，代表了一类新颖的极限 t → ∞ 时的爆破现象，与无聚集时快扩散中的有限时间灭绝现象不同。
• 该结果在适当边界条件和 V 的假设下可推广至有界区域（如球体）。