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

Obayashi Ippei

doi:10.1137/09077864X

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

Obayashi Ippei

Research output: Contribution to journal › Article › peer-review

6 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 language	English
Pages (from-to)	788-816
Number of pages	29
Journal	SIAM Journal on Applied Dynamical Systems
Volume	10
Issue number	2
DOIs	https://doi.org/10.1137/09077864X
Publication status	Published - 2011
Externally published	Yes

Keywords

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

ASJC Scopus subject areas

Analysis
Modelling and Simulation

Access to Document

10.1137/09077864X

Cite this

@article{65a8a293f0c54ed68a5e5f6ab291b2c7,

title = "Computer-assisted verification method for invariant densities and rates of decay of correlations",

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.",

keywords = "Algorithms with automatic result verification, Approximation of invariant measure, Decay of correlations, Dynamical systems, Ergodicity",

author = "Obayashi Ippei",

year = "2011",

doi = "10.1137/09077864X",

language = "English",

volume = "10",

pages = "788--816",

journal = "SIAM Journal on Applied Dynamical Systems",

issn = "1536-0040",

publisher = "Society of Industrial and Applied Mathematics",

number = "2",

}

TY - JOUR

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

AU - Ippei, Obayashi

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

KW - Algorithms with automatic result verification

KW - Approximation of invariant measure

KW - Decay of correlations

KW - Dynamical systems

KW - Ergodicity

UR - http://www.scopus.com/inward/record.url?scp=80051536344&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80051536344&partnerID=8YFLogxK

U2 - 10.1137/09077864X

DO - 10.1137/09077864X

M3 - Article

AN - SCOPUS:80051536344

SN - 1536-0040

VL - 10

SP - 788

EP - 816

JO - SIAM Journal on Applied Dynamical Systems

JF - SIAM Journal on Applied Dynamical Systems

IS - 2

ER -

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

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this