Existence, uniqueness, stability, and monotonicity of traveling waves for repulsion/attraction chemotaxis models with logistic type source

技术摘要：具有逻辑斯蒂型源项的趋化模型中排斥/吸引行波的存在性、唯一性、稳定性与单调性

问题陈述
本文研究了带有逻辑斯蒂型源项的抛物 - 椭圆趋化系统，其方程如下：
$$\begin{cases} u_t = u_{xx} - \chi(u^m v_x)_x + u(1 - u^\alpha), & x \in \mathbb{R}, \\ 0 = v_{xx} - v + u^\gamma, & x \in \mathbb{R}, \end{cases}$$
其中 $m, \alpha, \gamma \ge 1$，且 $\chi \in \mathbb{R}$ 表示趋化敏感性系数。该系统描述了由物种自身产生的化学信号（$v$）所影响的生物物种（$u$）的演化过程。研究的主要焦点是连接常数态 $(1, 1)$ 和 $(0, 0)$ 的行波解，这些解刻画了波前传播现象。

尽管针对 $m = \alpha = \gamma = 1$ 这一特定情形下的行波存在性已有广泛研究，但现有文献在以下方面尚显不足：

1. 对于一般参数 $m, \alpha, \gamma \ge 1$，行波的存在性、唯一性、稳定性及单调性研究匮乏。
2. 即使在 $m = \alpha = \gamma = 1$ 的特殊情形下，关于这些行波的稳定性与单调性研究也较为缺乏。
3. 趋化敏感性 $\chi$（包括负值/排斥和正值/吸引）对一般参数下行波速度及波剖面性质的确切影响尚不明确。

方法论
作者采用多种分析技术的组合来解决柯西问题及行波问题：

1. 全局适定性与稳定化：

   • 针对柯西问题，作者利用施auder 不动点定理和比较原理，建立了正经典解的全局存在性与有界性。
   • 为了证明正常数解 $(1, 1)$ 的稳定性，他们采用了一种“矩形/常微分方程（ODE）方法”。该方法通过构造由常微分方程确定的上下解，来界定解 $u(t, x)$ 的空间上确界与下确界，并证明当 $t \to \infty$ 时，这些界限收敛于 1。

2. 行波的存在性：

   • 行波的存在性通过上下解方法予以证明。
   • 对于负敏感性（$\chi \le 0$），作者构造了单调的上下解，从而确立了单调行波的存在性。
   • 对于正敏感性（$\chi > 0$），他们在对 $\chi$ 和参数施加特定约束的条件下，构造了类似的界限以证明存在性。
   • 在合适的函数空间中利用不动点论证，获得了移动坐标系下的稳态解，该解即对应于行波。

3. 稳定性与唯一性：

   • 稳定性在加权 $L^2$ 空间中进行分析。作者推导了行波波剖面的先验估计，特别是界定了 $|u_x|$ 和 $|u_x/u|$。
   • 通过在行波附近线性化系统并利用加权空间中的能量估计，他们确定了一个临界波速 $c^{**}_{\chi, m, \alpha, \gamma}$，当波速高于此值时，行波是渐近稳定的。
   • 唯一性直接由稳定性结果推导得出：如果两个行波满足相同的渐近条件和衰减率，它们的差随时间趋于零，这意味着它们是相同的。

主要贡献与结果

• 全局存在性与有界性（命题 1.1 与 1.2）：

  • 本文将已知结果从 $m=\alpha=\gamma=1$ 推广至一般情形 $m, \alpha, \gamma \ge 1$。
  • 对于 $\chi \le 0$，对任意非负初值建立了全局存在性与有界性。
  • 对于 $\chi > 0$，在条件如 $\alpha > m + \gamma - 1$ 或当 $\alpha = m + \gamma - 1$ 时对 $\chi$ 的特定界限下，证明了全局存在性。
  • 在包括 $\chi \le 0$ 或 $0 < \chi < 1/2$ 等条件下，证明了常数态 $(1, 1)$ 对严格正扰动的稳定性。

• 行波的存在性（定理 1.1）：

  • 负敏感性（$\chi \le 0$）： 作者证明了对于任意速度 $c > c^*_{\chi, m, \gamma}$，存在连接 $(1, 1)$ 和 $(0, 0)$ 的单调行波。他们给出了波速 $c^*_{\chi, m, \gamma}$ 的显式下界，并确立了波剖面的指数衰减率。这是针对具有一般参数的该系统，首次证明单调性及显式衰减率。
  • 正敏感性（$0 \le \chi < \min\{1/2, \chi^*\}$）： 当 $\alpha = m + \gamma - 1$ 时，本文证明了对于任意速度 $c > 2$ 行波的存在性。这些解同样表现出显式的指数衰减率。

• 稳定性与唯一性（定理 1.2 与 1.3）：

  • 作者确定了一个阈值速度 $c^{**}_{\chi, m, \alpha, \gamma}$（当 $\chi \to 0$ 时该值趋近于 2），使得速度 $c > c^{**}_{\chi, m, \alpha, \gamma}$ 的行波在加权空间中是稳定的且唯一的。
  • 即使对于 $m = \alpha = \gamma = 1$ 的情形，这些结果也是新颖的。

意义与主张
本文声称填补了关于具有逻辑斯蒂源项的趋化模型文献中的关键空白：

1. 推广： 将存在性与稳定性结果从线性情形（$m=\alpha=\gamma=1$）推广至一般非线性情形（$m, \alpha, \gamma \ge 1$）。
2. 单调性： 首次证明了当 $\chi \le 0$ 时该系统行波的单调性，这一性质即使在特殊情形下此前也未被证明。
3. 稳定性与唯一性： 建立了此类系统连接 $(1, 1)$ 和 $(0, 0)$ 的行波的首个稳定性与唯一性结果，解决了一个长期存在的开放问题。
4. 界限的最优性： 虽然推导出的波速下界（$c^*$ 和 $c^{**}$）未被声称是最优的，但作者证明了它们在极限情形下（例如当 $\chi \to 0$ 或 $\chi \to -\infty$ 时）是“接近最优”的。具体而言，当 $\chi \to -\infty$ 时，最小速度按 $O(\sqrt{|\chi|})$ 缩放，这与多孔介质方程的行为一致。

作者明确指出，虽然推测强负敏感性会加速一般参数下的波传播，而强正敏感性可能导致振荡波，但由于本文的范畴限制，这些具体现象并未在文中得到严格证明。文中发展的技术，包括用于稳定化的矩形/ODE 方法以及用于稳定性的加权能量估计，被展示为可适用于其他趋化模型。