[论文解读] On solutions of the reduced model for the dynamical evolution of contact lines

Dmitry E. Pelinovsky|arXiv (Cornell University)|Feb 5, 2013

Traffic control and management参考文献 4被引用 4

一句话总结

本文通过拉普拉斯变换和四阶扩散方程的格林函数，分析了由变速度线性对流-扩散方程控制的接触线动力学简化模型，证明了在过度确定边界条件下解的局部存在性。研究发现，即使速度恒定，解在边界处的二阶导数也会在有限时间内变为正值，表明其物理有效性丧失，并支持了速度场在有限时间内爆破的猜想。

ABSTRACT

We solve the linear advection-diffusion equation with a variable speed on a semi-infinite line. The variable speed is determined by an additional condition at the boundary, which models the dynamics of a contact line of a hydrodynamic flow at a 180 contact angle. We use Laplace transform in spatial coordinate and Green's function for the fourth-order diffusion equation to show local existence of solutions of the initial-value problem associated with the set of over-determining boundary conditions. We also analyze the explicit solution in the case of a constant speed (dropping the additional boundary condition).

研究动机与目标

• 分析由变速度线性对流-扩散方程控制的接触线动力学简化模型的初值问题。
• 在建模通量守恒和接触线运动学的过度确定边界条件下，建立解的局部存在性。
• 研究速度 $ V(t) $ 的有限时间爆破行为，该行为在先前的数值研究中被提出猜想。
• 检查解剖面单调性和凸性的丧失，表明其非物理行为。

提出的方法

• 对四阶对流-扩散方程的边值问题应用空间变量 $ x $ 上的拉普拉斯变换。
• 利用四阶扩散方程 $ h_t + h_{xxxx} = 0 $ 的格林函数构造显式解。
• 将该方法应用于简化情形，其中 $ V(t) = V_0 $ 为常数，此时省略过度确定条件。
• 推导出边界值 $ h_{xx}(0,t) $ 和 $ V(t) $ 的积分方程系统，并通过系数的数值评估证明该线性系统的非退化性。
• 证明对所有 $ n \to \bbN $，该系统存在唯一解，支持爆破猜想的可行性。
• 理论分析确认当 $ V_0 = 0 $ 时 $ h_{xx}(0,t) $ 出现长期增长，且即使当 $ V_0 < 0 $ 时，凸性也在有限时间内丧失。

实验结果

研究问题

• RQ1 在过度确定边界条件下，接触线简化模型的初值问题是否具有局部解？
• RQ2 能否通过解析方法支持数值模拟所提示的 $ V(t) $ 在有限时间 $ t_0 $ 处爆破的猜想？
• RQ3 随时间推移，$ h_{xx}(0,t) $ 的行为如何？其是否在有限时间内丧失凸性？
• RQ4 选择 $ V(t) $，特别是常数 $ V_0 $，如何影响解在边界处的长期行为？
• RQ5 为 $ h_{xx}(0,t) $ 和 $ V(t) $ 推导出的积分方程系统是否非退化，从而确保唯一解的存在？

主要发现

• 当 $ V_0 = 0 $ 时，边界值 $ h_{xx}(0,t) $ 出现长期增长，并在有限时间内变为正值，表明其物理有效性丧失。
• 当 $ V_0 < 0 $ 时，尽管无长期增长，$ h_{xx}(0,t) $ 仍会在有限时间内从下方穿过零点，暗示凸性丧失。
• $ h_{xx}(0,t) $ 和 $ V(t) $ 的积分方程系统是非退化的，系数 $ C_n $ 趋近于 1 但不等于 1，从而确保唯一可解性。
• 数值计算表明当 $ V(t) \to -\infty $ 时，$ \beta(t) = h_{xx}(0,t) \sim V(t)^{-1/3} $，支持有限时间爆破的猜想。
• 四阶扩散方程的格林函数被显式构造，并证明其满足解分析所必需的归一化和衰减性质。
• 通过拉普拉斯变换和格林函数，显式推导出常速度情形 $ V_0 $ 的解，为完整时变问题提供了基础。