[论文解读] Kinks and solitons in linear and nonlinear-diffusion Keller-Segel type models with logarithmic sensitivity

Juan Campos, Claudia García+2 more|arXiv (Cornell University)|Feb 26, 2021

Mathematical Biology Tumor Growth参考文献 29被引用 5

一句话总结

本文研究了具有对数敏感度的Keller-Segel模型中行波解——特别是扭结波和孤子波形——在线性扩散与通量饱和（相对论性）扩散之间的对比。论文严格证明了在两种扩散模式下均存在紧支集孤子波与扭结波，表明通量饱和导致了不同的解结构，包括趋化剂的对数凸性/凹性以及支集边界处的无限斜率奇点。

ABSTRACT

This paper investigates the existence of traveling--wave--type patterns in the Keller--Segel model with logarithmic sensitivity. We consider both the linear diffusion case and the nonlinear, flux-saturated diffusion of relativistic heat--equation type, providing a detailed comparison between the two regimes. Particular attention is devoted to traveling waves exhibiting compact support or support restricted to a half-line. We rigorously establish the existence of such patterns and highlight the qualitative differences arising from the choice of diffusion mechanism.

研究动机与目标

• 分析具有对数趋化敏感度的Keller-Segel模型中行波模式的存在性。
• 比较线性扩散与通量饱和（相对论性）扩散下解的定性行为。
• 严格建立两种扩散模式下具有紧支集的孤子波与扭结波的存在性。
• 表征趋化剂与细胞密度分布结构上的差异，特别是支集边界处的曲率与正则性。
• 在逆通量函数满足可积性条件的前提下，将结果推广至一般通量饱和机制。

提出的方法

• 建立具有对数敏感度 $ f(S) = \log S $，$ k(u,S) = u - \lambda S $，以及满足 $ \Phi(-s) = -\Phi(s) $，$ \Phi' > 0 $ 的通量函数 $ \Phi $ 的Keller-Segel系统。
• 通过 $ u(t,x) = u(x - \sigma t) $，$ S(t,x) = S(x - \sigma t) $ 将PDE系统约化为行波ODE系统，引入变量 $ w = u/S $，$ v = S'/S $。
• 利用平衡点分析与临界点附近的渐近行为，分析约化系统 $ (w,v) $ 的相空间。
• 应用相平面技术与比较方法（如Gronwall型估计），证明在有限区间上定义且端点处具有无限斜率的解的存在性。
• 通过变换 $ w = u/S $，$ v = S'/S $，从 $ (w,v) $ 系统重构 $ u $ 与 $ S $，确保 $ u $ 具有紧支集，且 $ S $ 在端点处为 $ C^1 $ 但非 $ C^2 $。
• 考虑两种情形：(1) 线性扩散 $ \Phi(s) = \mu s $，(2) 相对论性通量饱和扩散 $ \Phi(s) = \mu s / \sqrt{1 + (\mu/c)^2 s^2} $，并比较其解结构。

实验结果

研究问题

• RQ1 在具有对数敏感度的Keller-Segel模型中，线性扩散下是否存在具有紧支集的行波解？
• RQ2 通量饱和（相对论性扩散）如何改变行波解的结构与正则性，相较于线性扩散？
• RQ3 趋化剂分布 $ S $ 的定性差异是什么，特别是其对数凸性/凹性与二阶导数奇点？
• RQ4 在通量饱和情形下，能否严格构造出在支集边界处具有无限斜率的孤子型解？
• RQ5 $ u $ 与 $ S $ 的支集边界如何与波速 $ \sigma $ 及参数 $ a, \lambda, \gamma, c $ 相关联？

主要发现

• 在线性扩散情形下，论文证明了 $ u $ 具有紧支集的孤子波存在，其中 $ u $ 在有限区间外为零，且 $ S $ 为对数凹函数，在端点处具有 $ C^1 $ 但非 $ C^2 $ 的行为。
• 在通量饱和情形下，论文建立了 $ u $ 紧支集且 $ S $ 为对数凸函数的解的存在性，其在 $ s_{-} $ 与 $ s_{+} $ 处表现出二阶导数的不连续性。
• 通量饱和情形下的解满足 $ \lim_{v \to \frac{\sigma \pm c}{a}} W'(v) = \mp \infty $，表明 $ w $ 分量在支集边界处具有无限斜率。
• $ u $ 的支集包含于 $ [s_{-}, s_{+}] = \left[\frac{\sigma - c}{a}, \frac{\sigma + c}{a}\right] $，且在该区间外通过零延拓。
• 对于通量饱和情形，需满足条件 $ c > a\sqrt{\lambda / \gamma} $ 以确保具有所述结构的解存在。
• 趋化剂 $ S $ 在支集边界处为 $ C^1 $，但其二阶导数具有跳跃间断，反映出曲率的非光滑性。