[论文解读] Modeling solutions with jumps for rate-independent systems on metric spaces

Alexander Mielke, Riccarda Rossi+1 more|ArXiv.org|Jul 4, 2008

Mathematical Biology Tumor Growth参考文献 15被引用 6

一句话总结

本文通过在扩展状态空间中使用粘性正则化和重参数化，提出了一种在度量空间中对速率无关系统的新公式化方法，导出了捕捉跳跃行为的参数化度量解。关键贡献在于构造了$Φ$-极小解，其在跳跃动力学的描述上比能量解或BV解更为精确，且在参数变化下具有稳定性和唯一性。

ABSTRACT

Rate-independent systems allow for solutions with jumps that need additional modeling. Here we suggest a formulation that arises as limit of viscous regularization of the solutions in the extended state space. Hence, our parametrized metric solutions of a rate-independent system are absolutely continuous mappings from a parameter interval into the extended state space. Jumps appear as generalized gradient flows during which the time is constant. The closely related notion of BV solutions is developed afterwards. Our approach is based on the abstract theory of generalized gradient flows in metric spaces, and comparison with other notions of solutions is given.

研究动机与目标

• 为解决现有解概念（能量解和BV解）在具有跳跃的速率无关系统中的局限性。
• 通过引入粘性正则化，开发一种能更准确捕捉跳跃动力学的解框架。
• 通过一个确保极小性和稳定性的泛函$Φ$，建立解的变分表征。
• 分析在非凸和非光滑设定下，解在参数扰动下的稳定性与连续性。
• 阐明一般度量空间中参数化度量解、BV解与能量解之间的关系。

提出的方法

• 在一般度量空间$\mathcal{Q}$中表述速率无关系统，使用全局耗散距离$\mathcal{D}$和能量泛函$\mathcal{E}$，避免使用微分形式。
• 通过在原始耗散势中添加二次耗散项$\varepsilon \|\dot{q}\|^2/2$，引入系统的粘性正则化。
• 通过弧长$\tau_\varepsilon$对粘性解$q_\varepsilon$进行重参数化，得到新时间变量$\widehat{t}_\varepsilon = \tau_\varepsilon^{-1}$，并定义扩展状态空间$\widehat{q}_\varepsilon$。
• 将参数化度量解$(\widehat{t}, \widehat{q})$定义为映射到扩展状态空间的绝对连续映射，当时间恒定时发生跳跃。
• 引入泛函$\Phi(\widehat{t}, \widehat{q}) = \frac{1}{2} + \mathrm{Var}(\widehat{q}, [0,s]) - \int_0^s M(|\widehat{t}'|, |\widehat{q}'|, |\partial_q \mathcal{E}|) \, d\sigma$，其在正常演化过程中保持不变，而在跳跃期间严格递减。
• 将$Φ$-极小解定义为在所有参数化度量解中使$\Phi$最小的解，从而确保跳跃时机和路径选择的物理一致性。

实验结果

研究问题

• RQ1 如何在不依赖微分形式的前提下，一致地在一般度量空间中表述具有跳跃的速率无关系统？
• RQ2 粘性正则化在确定速率无关系统中跳跃的时机和路径方面起什么作用？
• RQ3 在稳定性和物理一致性方面，$\Phi$-极小参数化度量解与能量解和BV解相比有何不同？
• RQ4 $\Phi$-极小解集合在参数扰动（如载荷变化）下是否稳定？
• RQ5 是否存在多个对应于同一BV解的参数化度量解？如果是，其选择由什么决定？

主要发现

• 证明了$\Phi$-极小参数化度量解是时间重标度下粘性正则化解的唯一极限，提供了跳跃动力学的物理一致描述。
• 与能量解相比，$\Phi$-极小解中的跳跃发生得更晚，因为粘性正则化延迟了跳跃，更符合物理惯性。
• 泛函$\Phi$在正常演化过程中保持不变，而在跳跃期间严格递减，确保只有在粘性极限下最优的跳跃解才不被惩罚。
• 对于给定的BV解，可能存在无穷多个不同的参数化度量解，对应于扩展状态空间中不同的连接路径，但仅有一个$\Phi$-极小路径。
• 在逐点收敛下，$\Phi$-极小解集合不具有上半连续性，如反例所示，解在参数变化下可能收敛到不可逼近的状态。
• 当存在唯一$\Phi$-极小解时，它是唯一在粘性极限下可逼近的解，且对应于物理上优选的跳跃路径。