Long-time asymptotics for coagulation equations with injection that do not have stationary solutions

问题陈述

本文研究了带有注入大小为 1 阶簇（clusters of size order one）的凝聚方程的长期渐近行为。研究重点在于凝聚核 $K(x, y)$ 是 $\gamma < 1$ 阶齐次函数，并满足涉及参数 $\lambda$ 的特定多项式界限的机制。分析被限制在 $\gamma + 2\lambda \geq 1$ 的情形下，在该范围内，向无穷远处的质量输运是由大小差异显著的粒子之间的碰撞驱动的。

与 $\gamma + 2\lambda < 1$ 时存在具有源项的方程的平稳非平衡解的情况不同，作者指出，对于 $\gamma + 2\lambda \geq 1$，方程 $K[f] + \eta = 0$ 不存在平稳解。因此，收敛到平稳分布的标准方法失效了。核心问题是：带有注入项的随时间变化的方程的解是否在 $t \to \infty$ 时收敛到一个自相似剖面（self-similar profile），以及在 $\gamma$ 和 $\lambda$ 的何种条件下会发生这种情况。

研究方法

作者结合了形式渐近分析和严格的泛函分析方法：

1. 形式渐近分析： 论文首先推导了一个关于大簇（$x \gg 1$）分布的近似方程。通过分析小注入粒子与大簇之间的相互作用，凝聚算子被近似为一个非局部输运项。这导致了一个控制外分布（outer distribution）演化的简化方程 (1.16)，该方程包含由注入率和分布矩驱动的输运项。
2. 自相似假设（Self-Similar Ansatz）： 简化方程被证明具有形式为 $f_s(t, x) = t^{-\frac{3+\gamma}{1-\gamma}} \Phi(x t^{-\frac{2}{1-\gamma}})$ 的自相似解。问题被简化为寻找一个满足特定积分-微分方程 (1.19) 的平稳剖面 $\Phi$。
3. 存在性证明（针对 $\gamma > -1$）：
   • 作者采用了截断和正则化技术，引入了一个截断核 $K_R$ 以处理奇异性和无界区域。
   • 他们利用拉格朗日坐标和不动点论证（Tychonoff 不动点定理），在测度的不变集内构造了截断方程的随时间变化的解。
   • 他们建立了矩（$M_1, M_{\gamma+\lambda}, M_{2-\gamma-\lambda}$）的一致界限，并证明了特定测度集在演化半群下的不变性。
   • 通过令截断参数 $R \to \infty$ 取极限，他们提取出一个满足自相似剖面方程的弱极限 $\Phi$。
4. 非存在性证明（针对 $\gamma \leq -1$）：
   • 证明过程采用反证法。假设存在自相似剖面，作者分析了通量（flux）和解的支持集（support）的性质。
   • 他们证明了对于 $\gamma + 2\lambda > 1$，任何解必须在原点的一个邻域内消失。
   • 通过用常函数 $\phi \equiv 1$ 测试剖面方程，他们导出了关于总质量演化符号的矛盾，从而证明了不存在性。
   • 对于临界情况 $\gamma + 2\lambda = 1$，他们在增加条件 $\int_0^1 x^{-\lambda} \Phi(dx)$ 有限的前提下证明了不存在性。

主要贡献与结果

• 自相似剖面的存在性： 论文证明，如果 $\gamma > -1$ 且 $\gamma + 2\lambda \geq 1$（在非凝胶区域 $\gamma < 1, \gamma + \lambda < 1$ 内），则凝聚输运方程至少存在一个自相似剖面 $\Phi$。
• 非存在性结果：
  • 如果 $\gamma \leq -1$ 且 $\gamma + 2\lambda > 1$，则不存在自相似剖面。
  • 如果 $\gamma \leq -1$ 且 $\gamma + 2\lambda = 1$，则不存在满足条件 $\int_0^1 x^{-\lambda} \Phi(dx) < \infty$ 的自相似剖面。
• 解的结构（间隙现象/Gap Phenomenon）： 一个重要的发现是，构造出的自相似剖面 $\Phi$ 在区间 $(0, \rho(M_{\gamma+\lambda}))$ 上恒等于零，其中 $\rho$ 取决于矩 $M_{\gamma+\lambda}$。这意味着在长时间尺度下，注入的粒子几乎瞬时地转移到了尺寸为 $x \geq \rho(M_{\gamma+\lambda}) t^{\frac{2}{1-\gamma}}$ 的簇中。小簇尺寸区域变得可以忽略不计。
• 衰减性质： 作者证明了自相似剖面的密度随着簇尺寸趋于无穷大呈指数级衰减，这与其他凝聚背景下的剖面相似。
• 正则性： 构造出的剖面被证明相对于勒贝格测度是绝对连续的。

意义与主张

本文声称对 $\gamma + 2\lambda \geq 1$ 情况下的带注入凝聚方程提供了完整的长期渐近描述，而在该情况下平稳解并不存在。其主要意义在于：

1. 识别输运机制： 本工作严格证明了当不同尺寸之间的碰撞占主导地位时，凝聚算子可以被近似为输运项，从而导致了一类新的自相似解。
2. “最小”簇尺寸： 研究强调了发现一个“最小”簇尺寸（即在此尺寸以下密度为零）是一个此前在凝聚方程自相似解文献中未曾观察到的显著特征。这与 $\gamma + 2\lambda < 1$ 机制下的行为形成了鲜明对比。
3. 精确阈值： 论文根据参数 $\gamma$ 和 $\lambda$ 确立了存在这些解的精确阈值，特别是区分了 $\gamma > -1$ 与 $\gamma \leq -1$ 的情形。

作者指出，对于临界情况 $\gamma + 2\lambda = 1$，其结果比超临界情况更为碎片化，特别是在不带额外矩条件时的非存在性证明方面。他们还指出，对于 $\gamma \leq -1$ 且自相似解不存在的情况，其长期渐近行为仍是未来的开放性问题。