[論文レビュー] On Optimal Pointwise in Time Error Bounds and Difference Quotients for the Proper Orthogonal

Birgul Koc, Samuele Rubino+3 more|arXiv (Cornell University)|Oct 7, 2020

Model Reduction and Neural Networks参考文献 48被引用数 29

ひとこと要約

本稿では、熱方程式に対する本質的固有値分解（POD）低次元モデル（ROM）において、差分商（DQs）が時刻点での誤差境界を最適化するために不可欠であることを確立している。DQsを使用しない場合、ROM射影誤差およびROM誤差の両方が時間離散化に関して最適でない。一方、DQsを使用すると、両方の誤差に対して最適収束率が達成され、理論的分析および数値実験によって確認されている。

ABSTRACT

In this paper, we resolve several long-standing issues dealing with optimal pointwisein time error bounds for proper orthogonal decomposition (POD) reduced order modeling of the heatequation. In particular, we study the role played by difference quotients (DQs) in obtaining reducedorder model (ROM) error bounds that are optimal with respect to both the time discretizationerror and the ROM discretization error. When the DQs are not used, we prove that both the PODprojection error and the ROM error are suboptimal. When the DQs are used, we prove that both thePOD projection error and the ROM error are optimal. The numerical results for the heat equationsupport the theoretical results.

研究の動機と目的

• 熱方程式に対するPOD-ROMにおける時刻点での誤差境界の最適性に関する長年の問題を解決すること。
• 差分商（DQs）が時間離散化およびROM離散化に関して最適誤差境界を達成する役割を調査すること。
• 特に仮定3.1の妥当性に注目し、最適誤差境界が達成される理論的条件を確立すること。
• ROM離散化誤差の最適性の新しい定義を提示し、既存の定義と比較すること。
• 熱方程式の数値シミュレーションを通じて理論的知見を検証すること。

提案手法

• 差分商（DQ）の場合に適用可能な離散時間ソボレフ不等式（補題3.6で証明済み）を用いたPOD-ROM誤差境界の理論的分析。
• DQsを使用しない場合の誤差境界の非最適性を示す解析的反例（命題3.3）の構築。
• 差分商を使用する場合、点での誤差境界に不可欠な仮定3.1が常に満たされることの証明（定理3.7）。
• 仮定3.1が妥当であると確認された上での、DQケースにおけるROM射影誤差およびROM誤差の最適時刻点誤差境界の導出。
• ROM離散化誤差の最適性の新しい定義（定義4.6）の導入と、既存の定義との比較。
• 固定時間ステップΔt = 0.01を用いた熱方程式における数値検証。ROM次元rを変化させながら、DQとnoDQケースを比較。

実験結果

リサーチクエスチョン

• RQ1 差分商を使用しない場合、熱方程式に対するPOD-ROMの時刻点での誤差境界は、時間離散化に関して最適であるか？
• RQ2 POD基底構築における差分商の使用は、ROM射影誤差およびROM誤差の両方において最適収束率を保証できるか？
• RQ3 点での誤差境界に不可欠な仮定3.1は、どのような条件下で満たされるか？
• RQ4 本稿で提案するROM離散化誤差の最適性の新しい定義は、既存の定義とどのように関係するか？
• RQ5 数値結果は、DQケースにおける理論的最適性およびnoDQケースにおける非最適性を確認できるか？

主な発見

• DQsを使用しない場合、ROM射影誤差およびROM誤差の両方が時間離散化に関して非最適であることが、命題3.3の反例によって示された。
• DQsを使用する場合、仮定3.1は常に満たされ、これによりROM射影誤差およびROM誤差の両方について最適時刻点誤差境界が導出可能である。
• 離散時間ソボレフ不等式（補題3.6）により、DQに基づくPOD基底が時間離散化の観点から最適な誤差推定をもたらすことが保証された。
• 数値結果により、DQケースでは時刻点でのROM誤差が最適であり、noDQケースでは非最適であることが確認された（反例2の表12を参照）。
• DQケースのROM誤差とnoDQケースのROM誤差の比は、ROM次元rの増加に伴って悪化せず、常に有界であるため、理論的最適性が裏付けられた。
• 本研究は、DQsが最適収束率を達成するために不可欠である一方で、DQケースとnoDQケースにおけるROM誤差の絶対値はほぼ同等であることを明らかにした。これは、誤差の大きさに関するさらなる検討の必要性を示唆している。