[論文レビュー] A simple approach to rigorous approximation of invariant measures

Stefano Galatolo, Isaia Nisoli|arXiv (Cornell University)|Sep 11, 2011

Mathematical Dynamics and Fractals参考文献 18被引用数 2

ひとこと要約

本稿では、Banach空間間の作用素の不動点を明示的な誤差境界とともに厳密に近似する一般化された手法を提示する。特に力学系における不変測度に焦点を当てている。このフレームワークを、区分的拡張写像に対するウラム法に適用することで、保証されたL¹誤差制御のもとで不変密度のアルゴリズム的計算が可能になる。

ABSTRACT

We decribe a general result on the approximation of xed points of operators between Banach spaces allowing an explicit estimation of the error. This result is particularly suited for the approximation of invariant measures in dynamical systems and in particular by the Ulam method. We apply this result to implement an algorithm for the rigorous computation of invariant densities of piecewise expanding maps up to some error in the L 1 distance.

研究の動機と目的

• Banach空間間の作用素の不動点近似の一般枠組みを構築し、誤差推定を定量的に行う。
• 特に区分的拡張写像に対して、力学系における不変測度を厳密に計算する課題に取り組む。
• ウラム法が、保証されたL¹ノルムにおける精度のもとで不変密度を計算可能にする。
• 不変密度を明示的な誤差境界とともに計算する実用的なアルゴリズムを提供し、数値力学の信頼性を向上させる。

提案手法

• 本手法は、Banach空間における不動点近似の一般収束結果に依拠し、作用素および関数空間の性質に基づいて誤差境界を確立する。
• 特に、区分的拡張写像に関連する移行作用素にこの結果を適用し、L¹ノルムにおける収束を保証する。
• ウラム法を用いて移行作用素を離散化し、連続的な不動点問題を有限次元線形系に変換する。
• 誤差境界は作用素の収縮性と離散化の安定性に基づいて導出され、計算された密度が真の不変密度と既知のL¹距離内にあることを保証する。
• アルゴリズムは不変密度の有限次元近似を計算し、その近似におけるL¹誤差の厳密な上界を提供する。
• アプローチは計算的に実装可能であり、明示的な行列演算を通じて誤差境界の数値的検証が可能である。

実験結果

リサーチクエスチョン

• RQ1 力学系に対して、Banach空間における不動点近似を明示的な誤差推定とともに厳密に行う方法は何か？
• RQ2 ウラム法は、区分的拡張写像の不変密度近似において、どの程度の精度に達するか？
• RQ3 関数解析的手法を用いて、計算された密度と真の不変密度の間のL¹誤差を事前に有界化できるか？
• RQ4 元の作用素の性質に基づいて、ウラム法の収束を厳密に定量的に評価できるか？
• RQ5 どの計算フレームワークが、L¹ノルムにおける近似と誤差境界の認証の両方を可能にするか？

主な発見

• 本手法は、力学系における移行作用素に適用可能な、Banach空間における不動点近似の一般誤差境界を提供する。
• ウラム法による不変密度近似は、明示的なL¹誤差境界とともに厳密に検証される。
• アルゴリズムは保証された精度で不変密度を計算し、計算された密度が真の不変測度と既知のL¹距離内にあることを保証する。
• 本アプローチにより、区分的拡張写像の文脈において数値結果の認証が可能になり、信頼性が向上する。
• フレームワークは計算的に実装可能であり、標準的な正則性条件を除いて追加の仮定を必要とせず、明確な誤差推定を生み出す。