Computer-assisted verification method for invariant densities and rates of decay of correlations

Ippei Obayashi

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)

Abstract

A new computer-assisted verification method for invariant densities and decay rates of correlations is proposed. This new method is based on the Hilbert cone technique.

Original languageEnglish
Pages (from-to)788-816
Number of pages29
JournalSIAM Journal on Applied Dynamical Systems
Volume10
Issue number2
DOIs
Publication statusPublished - 2011 Aug 15

Keywords

  • Algorithms with automatic result verification
  • Approximation of invariant measure
  • Decay of correlations
  • Dynamical systems
  • Ergodicity

ASJC Scopus subject areas

  • Analysis
  • Modelling and Simulation

Fingerprint Dive into the research topics of 'Computer-assisted verification method for invariant densities and rates of decay of correlations'. Together they form a unique fingerprint.

Cite this