[论文解读] Mass-conserving solutions to coagulation-fragmentation equations with non-integrable fragment distribution function

Philippe Laurençot|arXiv (Cornell University)|Apr 24, 2018

Coagulation and Flocculation Studies参考文献 38被引用 8

一句话总结

本文证明了在碎片分布函数非可积的情况下，即当分裂产生无穷多个碎片时（例如 bν(x,y) = (ν+2)x^ν/y^{ν+1}，ν ∈ (−2,−1]），共凝聚-分裂方程存在质量守恒的弱解。分析通过使用加权 L1 空间 X_{m}（其中 m > −1−ν）处理非可积的分裂项，并在共凝聚核 K 和分裂速率 a 在零附近足够快地趋于零的条件下证明了解的存在性。关键结果是在 C([0,∞); X_{m0},w ∩ X_1,w) 中构造出全局弱解，该解保持质量守恒，即使在标准 L1 框架因 bν 的奇异性而失效的情况下亦成立。

ABSTRACT

Existence of mass-conserving weak solutions to the coagulation-fragmentation equation is established when the fragmentation mechanism produces an infinite number of fragments after splitting. The coagulation kernel is assumed to increase at most linearly for large sizes and no assumption is made on the growth of the overall fragmentation rate for large sizes. However, they are both required to vanish for small sizes at a rate which is prescribed by the (non-integrable) singularity of the fragment distribution.

研究动机与目标

• 建立当碎片分布函数 b 非可积时（特别是 bν(x,y) = (ν+2)x^ν/y^{ν+1}，ν ∈ (−2,−1]），共凝聚-分裂方程质量守恒弱解的存在性，该情况会导致分裂时产生无穷多个碎片。
• 通过引入加权 L1 空间 X_m = L1((0,∞), x^m dx)，其中 m > −1−ν，克服因 bν 非可积而导致的标准 L1 理论失效的问题。
• 在初始数据 f_in ∈ X_{m0} ∩ X_1 且满足 ∫ x ln(ln(x+5)) f_in(x) dx < ∞ 的条件下，证明在 X_{m0} ∩ X_1 的弱拓扑下存在全局弱解。
• 证明当 x→0 时，共凝聚核 K 和整体分裂速率 a 必须以足够快的速率趋于零，以补偿 bν 的奇异性，同时允许大尺寸下任意增长。
• 通过证明若 f_in ∈ X_m（m > 1），则对所有 T > 0 有 f ∈ L∞(0,T; X_m)，将结果推广至更高阶矩。

提出的方法

• 证明采用截断方法：构造共凝聚-分裂方程的正则化版本，并在合适的函数空间中通过 Banach 不动点定理建立适定性。
• 通过 x^{m0}f_j 的 L1 范数的统一有界性及时间等度连续性，利用时间正则性估计和大尺寸处的衰减控制，在加权空间 X_{m0} 中建立弱紧致性。
• 通过弱拓扑下 X_{m0} 的 Arzelà-Ascoli 定理的变体，结合对角线序列方法，提取出极限函数 f ∈ C([0,∞); X_{m0},w ∩ X_1,w)。
• 通过在截断方程中取极限，利用碎片项的统一可积性及无穷远处行为的控制，证明极限函数 f 满足原方程的弱形式。
• 质量守恒的证明依赖于在 X_1 中的弱收敛性，以及总质量 M_1(f_j(t)) 的一致有界性及其收敛于 M_1(f_in) 的事实。
• 通过使用权函数 ξ(x) = max{x^{m0}, x^{1+δ}} 的相对熵型论证，导出微分不等式，并利用 Gronwall 引理完成唯一性证明。

实验结果

研究问题

• RQ1 当碎片分布函数 b 非可积（如 bν(x,y) = (ν+2)x^ν/y^{ν+1}，ν ∈ (−2,−1]）时，共凝聚-分裂方程是否存在质量守恒的弱解？
• RQ2 当 b 非可积时，应采用何种函数框架？能否用加权 L1 空间 X_m 替代标准 L1 框架以控制解的行为？
• RQ3 当 b 具有非可积奇异性时，共凝聚核 K 和整体分裂速率 a 在零附近应如何行为，才能确保解的存在性？
• RQ4 是否可能在碎片化过程产生无穷多个碎片且标准可积性假设失效时，构造出全局弱解并保持质量守恒？
• RQ5 在相同假设下，能否实现更高阶矩在时间上的传播？解属于 L∞(0,T; X_m)（m > 1）需要满足什么条件？

主要发现

• 本文在 f_in ∈ X_{m0} ∩ X_1 且 ∫ x ln(ln(x+5)) f_in(x) dx < ∞ 的条件下，证明了共凝聚-分裂方程存在至少一个弱解 f ∈ C([0,∞); X_{m0},w ∩ X_1,w)，其中 bν 非可积。
• 该解保持质量守恒：对所有 t ≥ 0 有 M_1(f(t)) = M_1(f_in)，即使标准 L1 空间因 bν 的非可积性而不足以描述解。
• 若初始数据 f_in ∈ X_m（m > 1），则对所有 T > 0 有 f ∈ L∞(0,T; X_m)，表明更高阶矩在时间上传播。
• 共凝聚核 K 和分裂速率 a 必须在 x→0 时以与 bν 的奇异性相容的速率趋于零，具体为 K(x,y) ≤ K_0(2+x+y) 且 a(x) ≤ A_R x^{m_0 + ν + 1}（当 x 较小时），其中 m_0 > −1−ν。
• 通过使用权函数 ξ(x) = max{x^{m_0}, x^{1+δ}} 的加权 L1 估计和 Gronwall 不等式，证明了解在具有有限 m_0 和 2+δ 矩的函数类中唯一。
• 证明依赖于通过 ∫_T^0 ∫_R^∞ a(x)f_j(s,x) dx ds → 0（当 R→∞ 时）对碎片项在无穷远处实现统一控制，从而允许在弱形式中取极限。