[论文解读] Two time discretizations for gradient flows exactly replicating energy dissipation

Ansgar Jüngel, Ulisse Stefanelli+1 more|arXiv (Cornell University)|Nov 14, 2018

Computational Fluid Dynamics and Aerodynamics参考文献 26被引用 1

一句话总结

本文提出了两种改进的隐式欧拉格式，通过强制实现离散能量等式，精确保持梯度流中的能量耗散。该方法确保能量下降的精确对应，保证解的存在性，并在时间划分细化时实现收敛，且可扩展至广义梯度流及度量空间中极大斜率曲线。

ABSTRACT

The classical implicit Euler scheme fails to reproduce the exact dissipation dynamics of gradient flows: The discrete dissipation necessarily does not correspond to the energy drop. We discuss two modifications of the Euler scheme satisfying an exact energy equality at the discrete level. Existence of discrete solutions and their convergence as the fineness of the partition goes to zero are discussed. Eventually, we address extensions to generalized gradient flows, GENERIC flows, and curves of maximal slope in metric spaces.

研究动机与目标

• 解决经典隐式欧拉格式在梯度流中无法精确再现能量耗散动力学的问题。
• 设计时间离散格式，使离散层面的能源等式精确匹配连续能量下降。
• 证明离散解的存在性，并在时间划分趋于精细时，其收敛于连续流。
• 将框架扩展至广义梯度流、GENERIC系统以及度量空间中的极大斜率曲线。

提出的方法

• 提出一种改进的隐式欧拉格式，使每个时间步的离散能量耗散精确等于能量下降值。
• 提出欧拉格式的第二种变体，通过修改更新规则，确保在离散设置中实现精确能量等式。
• 利用变分形式推导离散格式，通过离散能量恒等式确保能量一致性。
• 通过引入额外驱动力或约束，将能量结构扩展至广义梯度流，以应用该格式。
• 通过利用度量结构与能量景观，将方法适配至度量空间中的极大斜率曲线。
• 在适当的正则性假设下，通过先验估计与紧致性论证建立收敛性。

实验结果

研究问题

• RQ1 是否可设计时间离散格式，使离散能量耗散在梯度流中精确匹配能量下降？
• RQ2 所提出的格式是否能保证解的存在性，并在时间步长趋于零时收敛于连续流？
• RQ3 精确能量耗散特性能否扩展至广义梯度流及度量空间中的极大斜率曲线？
• RQ4 为在离散层面实现精确能量等式，对经典隐式欧拉格式需作何修改？
• RQ5 与标准时间积分器相比，新格式在保持梯度流内在能量结构方面表现如何？

主要发现

• 所提格式通过强制实现与连续能量下降精确匹配的离散能量等式，实现精确能量耗散。
• 在能量泛函与时间划分的标准假设下，证明了离散解的存在性。
• 当时间划分趋于精细时，离散解收敛于连续流。
• 该方法成功扩展至广义梯度流，保持了精确能量耗散特性。
• 该框架适用于度量空间中的极大斜率曲线，在非光滑设置下仍保持离散能量恒等式。
• 与经典隐式欧拉方法相比，新格式在保持梯度流内在能量结构方面表现更优。