[论文解读] Non-uniqueness in a nonlinear sharp interface model of cell motility

Leonid Berlyand, Volodymyr Rybalko+1 more|arXiv (Cornell University)|Sep 20, 2014

Solidification and crystal growth phenomena被引用 2

一句话总结

本文通过分析小界面宽度参数下相场系统的渐近极限，研究了真核细胞运动的非线性尖锐界面模型。在1D中严格证明了尖锐界面极限，推导出带有非线性修正的平均曲率运动方程，并揭示了耦合参数大小不同时的非唯一性、界面速度间断、滞后效应以及行波解。

ABSTRACT

We consider a system of two coupled parabolic PDEs introduced in [1] to model motility of eukaryotic cells. We study the asymptotic behavior of solutions in the limit of a small parameter related to the width of the interface in phase field function (sharp interface limit). We formally derive an equation of motion of the interface, which is mean curvature motion with an additional nonlinear term. In a 1D model parabolic problem we rigorously justify the sharp interface limit. To this end, a special form of asymptotic expansion is introduced to reduce analysis to a single nonlinear PDE. Further stability analysis reveals a qualitative change in the behavior of the system for small and large values of the coupling parameter. Using numerical simulations we also show discontinuities of the interface velocity and hysteresis. Also, in the 1D case we establish nontrivial traveling waves when the coupling parameter is large enough.

研究动机与目标

• 理解真核细胞运动相场模型的尖锐界面极限。
• 在1维情况下，严格证明从抛物型相场系统到界面运动方程的渐近约化。
• 分析耦合参数对接口动力学的影响，包括稳定性与非唯一性。
• 通过数值模拟研究界面速度的间断性和滞后效应。
• 在耦合参数足够大时，证明1维情况下非平凡行波解的存在性。

提出的方法

• 使用小界面宽度参数的渐近展开，形式推导尖锐界面极限。
• 引入一种专门的渐近展开，将两个耦合的PDE约化为一个非线性PDE。
• 利用能量估计和收敛性论证，在1维抛物问题中严格证明尖锐界面极限。
• 对约化后的界面方程进行稳定性分析，识别耦合参数临界值处的行为定性变化。
• 通过数值模拟研究时变设置下界面速度的间断性和滞后效应。
• 在1维情况下，对足够大的耦合参数证明非平凡行波解的存在性。

实验结果

研究问题

• RQ1 当界面宽度趋于零时，相场模型的尖锐界面极限行为如何？
• RQ2 在尖锐界面极限下，有效界面运动方程的形式是什么？非线性如何影响该方程？
• RQ3 耦合参数如何影响界面的稳定性与动力学？
• RQ4 在何种条件下，界面速度会出现间断或滞后效应？
• RQ5 在1维模型中，非平凡行波解是否存在？其参数条件是什么？

主要发现

• 尖锐界面极限导出一个带有附加非线性项的平均曲率运动方程，该结果在1D中既形式上又严格地推导得出。
• 由于耦合参数临界值处行为的定性变化，系统表现出解的非唯一性。
• 数值模拟证实了界面速度的间断性以及时变动力学中滞后效应的存在。
• 当耦合参数较大时，1维情况下存在非平凡行波解，表明存在持续运动。
• 稳定性分析揭示了随着耦合参数增大，系统行为出现类似分岔的转变。