[论文解读] Measure solutions for the Smoluchowski coagulation-diffusion equation

James R. Norris|arXiv (Cornell University)|Aug 22, 2014

Advanced Mathematical Modeling in Engineering参考文献 8被引用 3

一句话总结

本文提出了一套针对Smoluchowski共聚-扩散方程的严格框架，适用于一般粒子类型、非单调共聚核以及奇异扩散率/共聚速率的情形。在温和条件下，建立了存在性、唯一性与质量守恒，将先前结果扩展至完整的空间非均匀情形，且无需引入质量截断，如Einstein–Smoluchowski模型所示。

ABSTRACT

A notion of measure solution is formulated for a coagulation-diffusion equation, which is the natural counterpart of Smoluchowski's coagulation equation in a spatially inhomogeneous setting. Some general properties of such solutions are established. Sufficient conditions are identified on the diffusivity, coagulation rates and initial data for existence, uniqueness and mass conservation of solutions. These conditions impose no form of monotonicity on the coagulation kernel, which may depend on complex characteristics of the particles. They also allow singular behaviour in both diffusivity and coagulation rates for small particles. The general results apply to the Einstein-Smoluchowski model for colloidal particles suspended in a fluid.

研究动机与目标

• 为在空间非均匀设定下共聚-扩散方程的形式化一般测度解概念。
• 在扩散率、共聚核与初始数据的最小假设下，建立解的存在性、唯一性与质量守恒。
• 处理非单调共聚核以及小粒子处的奇异行为，这些在物理上具有相关性，但先前工作中被排除。
• 在$\mathbb{R}^3$中无需引入粒子质量下限，恢复并扩展已知的Einstein–Smoluchowski模型结果。

提出的方法

• 将状态空间$\mathcal{M}$定义为$\mathbb{R}^d \times E$上的有限测度，其第一个边际关于勒贝格测度绝对连续，用以表示按位置与类型分布的粒子。
• 引入一个有符号测度$K(\mu)$，描述由粒子类型上对称且质量守恒的核$K$引起的共聚导致的粒子分布变化。
• 通过积分方程以弱形式表述共聚-扩散方程为$\dot{\mu}_t = \frac{1}{2}a\Delta\mu_t + K(\mu_t)$。
• 利用热传播算子$P_{ts}^\mu$构造单调迭代方案，证明最小非负解的存在性。
• 通过逼近序列$\mu^n$与$\nu^{n,k}$的比较论证，证明收敛性并保持整数质量分布或绝对连续质量分布等结构性质。
• 通过验证条件(5)与(37)，将该理论应用于Einstein–Smoluchowski模型，使用次线性权函数$\phi(y) = y^{1/6} + y^{5/6}$与$v(y) = 2y^{-1/3}$。

实验结果

研究问题

• RQ1 能否为共聚-扩散方程定义一种通用的测度解概念，以容纳复杂的粒子特性与奇异速率？
• RQ2 在扩散率、共聚核与初始数据满足何种条件下，共聚-扩散方程在$\mathbb{R}^d$中存在唯一解？
• RQ3 质量守恒是否独立于特定质量函数而成立，即使共聚核在小粒子处非单调或奇异？
• RQ4 该结果能否在不施加粒子质量下限的条件下应用于Einstein–Smoluchowski模型？
• RQ5 在初始数据具有适当正则性时，测度解是否等价于函数值解？

主要发现

• 在条件(5)与(7)下，共聚-扩散方程的最大强解的存在性与唯一性得以确立，其寿命$T = \zeta(\mu_0)$。
• 若$\int_{\mathbb{R}^3} \int_0^\infty y^{4/3} \mu_0(dx,dy) < \infty$，则解保持总质量守恒，对所有$t \geq 0$成立。
• 测度解与积分方程(58)的最小非负解一致，确认其与先验形式的一致性。
• 若初始测度$\mu_0$具有整数质量分布，则对所有$t < T$，解$\mu_t$也保持整数质量分布，从而保持粒子数结构。
• 若$\mu_0$具有绝对连续质量分布，则$\mu_t$亦保持绝对连续质量分布，从而保持质量密度的光滑性。
• 对于Einstein–Smoluchowski模型，在$\mathbb{R}^3$中全局地证明了解的存在性、唯一性与质量守恒，且无需引入质量下限。