[论文解读] Nonlinear Aggregation-Diffusion Equations: Radial Symmetry and Long Time Asymptotics

José A. Carrillo, Sabine Hittmeir+2 more|arXiv (Cornell University)|Mar 24, 2016

Mathematical Biology Tumor Growth参考文献 52被引用 27

一句话总结

该论文针对具有非线性扩散和非局部吸引力的非线性聚集-扩散方程，建立了径向对称性以及长时间收敛至唯一平衡态的结果。通过变分法与连续Steiner对称化方法，证明了全局极小值解的存在性及其径向对称性，并在二维牛顿势情况下证明了平衡态的唯一性及收敛性（至多相差平移）。

ABSTRACT

We analyze under which conditions equilibration between two competing effects, repulsion modeled by nonlinear diffusion and attraction modeled by nonlocal interaction, occurs. This balance leads to continuous compactly supported radially decreasing equilibrium configurations for all masses. All stationary states with suitable regularity are shown to be radially symmetric by means of continuous Steiner symmetrization techniques. Calculus of variations tools allow us to show the existence of global minimizers among these equilibria. Finally, in the particular case of Newtonian interaction in two dimensions they lead to uniqueness of equilibria for any given mass up to translation and to the convergence of solutions of the associated nonlinear aggregation-diffusion equations towards this unique equilibrium profile up to translations as $t o\infty$.

研究动机与目标

• 确定在非线性扩散（排斥）与非局部相互作用（吸引）之间发生弛豫的条件。
• 利用连续Steiner对称化技术，证明所有正则稳态解均为径向对称。
• 证明在径向对称配置中，自由能泛函的全局极小值解存在。
• 研究二维牛顿势情况下的长时间渐近行为及平衡态的唯一性。
• 证明当时间趋于无穷时，解收敛至唯一平衡态轮廓（至多相差平移）。

提出的方法

• 采用连续Steiner对称化方法，证明所有正则稳态解必为径向对称。
• 利用变分法，证明对于任意给定质量，自由能泛函的全局极小值解存在。
• 分析二维牛顿势相互作用情形，其中自由能泛函显式定义，且当 $ m > 1 $ 时包含 $ m $ 次项，当 $ m=1 $ 时包含对数项。
• 应用浓度紧致性原理及紧致性论证（如Dunford-Pettis引理与Dubinskii引理），提取收敛子列。
• 通过 $ L^ ho $ 空间中的相对紧致性与矩约束，证明逼近序列的强收敛性。
• 利用对数项与二阶矩约束，建立等积分性与一致有界性，确保在 $ L^1 $ 中收敛。

实验结果

研究问题

• RQ1 在何种条件下，非线性聚集-扩散方程允许具有紧台支集且径向递减的平衡解？
• RQ2 聚集-扩散方程的所有正则稳态解是否均为径向对称？
• RQ3 在聚集-扩散框架中，对于任意给定质量，自由能泛函的全局极小值解是否存在？
• RQ4 在二维牛顿势情况下，平衡态是否在平移意义下唯一？
• RQ5 在 $ t \to \infty $ 时，聚集-扩散方程的解是否收敛至唯一平衡态轮廓（至多相差平移）？

主要发现

• 所有正则稳态解均为径向对称，该结论通过连续Steiner对称化方法证明。
• 对于任意给定质量，自由能泛函的全局极小值解存在，且具有紧台支集并为径向递减函数。
• 在二维牛顿势情形下，对于任意给定质量，平衡态在平移意义下唯一。
• 在给定条件下，聚集-扩散方程的解在 $ t \to \infty $ 时收敛至唯一平衡态轮廓（至多相差平移）。
• 收敛性通过逼近序列在 $ L^1 $ 中的强收敛性建立，依赖于等积分性与矩约束。
• 证明依赖于 $ L^ ho $ 空间中的紧致性及在 $ L^ ho(0,T;L^1) $ 中的强收敛性，利用对数项与二阶矩约束。