[論文レビュー] 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

ひとこと要約

本稿では、離散的エネルギー等式を強制することにより、勾配流れにおけるエネルギー散逸を正確に保存する2つの修正implicit Eulerスキームを提案する。これらの手法は、正確なエネルギー低下対応を保証し、解の存在を保証し、時間分割が細かくなるにつれて収束する。さらに、一般化勾配流れおよびメトリック空間内の最大勾配曲線への応用も含む。

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.

研究の動機と目的

• 勾配流れにおいて、古典的implicit Eulerスキームがエネルギー散逸ダイナミクスを正確に再現できないという問題を解決すること。
• 離散レベルで正確なエネルギー等式を強制する時間離散化スキームの開発。連続的エネルギー低下と一致する。
• 離散解の存在を証明し、時間分割が細かくなるにつれて連続的流れに収束することを示すこと。
• 一般化勾配流れ、GENERIC系、およびメトリック空間内の最大勾配曲線へのフレームワークの拡張。

提案手法

• 各時間ステップにおける離散的エネルギー散逸が、エネルギー低下と正確に等しくなるように修正されたimplicit Eulerスキームを導入する。
• 更新則を変更することで、離散的設定において正確なエネルギー等式を保証する、Eulerスキームの第二のバリアントを提案する。
• 変分的定式化を用いて離散スキームを導出し、離散的エネルギー恒等式を通じてエネルギー整合性を保証する。
• 追加の駆動力や制約を含むエネルギー構造への拡張により、一般化勾配流れにスキームを適用する。
• メトリック構造とエネルギーランドスケープを活用することで、メトリック空間内の最大勾配曲線に手法を適応する。
• 適切な正則性仮定の下で、事前推定とコンパクト性の議論を用いて収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 時間離散化を設計することで、離散的エネルギー散逸が勾配流れにおけるエネルギー低下と正確に一致させることができるか？
• RQ2 提案されたスキームは、解の存在を保証し、時間ステップサイズが0に近づくにつれて連続的流れに収束するか？
• RQ3 正確なエネルギー散逸性質は、一般化勾配流れおよびメトリック空間内の最大勾配曲線へ拡張可能か？
• RQ4 古典的implicit Eulerスキームを修正することで、離散レベルで正確なエネルギー等式を達成するために必要な変更は何か？
• RQ5 新しいスキームは、勾配流れの内在的エネルギー構造を保存する点で、標準的な時間積分法と比べてどのように優れているか？

主な発見

• 提案されたスキームは、各時間ステップで連続的エネルギー低下と一致する離散的エネルギー等式を強制することにより、正確なエネルギー散逸を達成する。
• エネルギー汎関数および時間分割に関する標準的仮定の下で、離散解の存在が証明される。
• 時間分割が細かくなるにつれて、離散解が連続的流れに収束することが確立される。
• 一般化勾配流れへの応用においても、正確なエネルギー散逸性質が保持される。
• 非滑らか領域においても、離散的エネルギー恒等式を維持する点で、メトリック空間内の最大勾配曲線へもフレームワークが適用可能である。
• 勾配流れの内在的エネルギー構造を保存する点で、古典的implicit Euler法に比べて優れた性能を示す。