On the existence of an invariant measure for Markov-Feller operators
type: Item
instance of: scholarly article
title: On the existence of an invariant measure for Markov-Feller operators
zbMATH Open document ID: 1062.47019
published in: Journal of Mathematical Analysis and Applications
publication date: 2004-08-10T00:00:00Z
review text: Let \((X,\rho )\) be a metric space, \({\mathcal B}(X)\) the \(\sigma\)-algebra of Borel subsets of \(X\), \({\mathcal M}(X)\) the family of all finite measures on \(X\), \({\mathcal M}_s (X)\) the space of all signed measures on \(X\), \({\mathcal M}_1 (X)=\{ \mu : \mu\in{\mathcal M}(X), \mu (X)=1\}\), \(C(X)\) the space of continuous functions on \(X\), \(\langle f,\mu\rangle =\int_X f(x)\mu (dx)\). An operator \(P:{\mathcal M}(X)\rightarrow {\mathcal M}(X)\) is called a Markov operator if \(P(\lambda_1 \mu_1 +\lambda_2 \mu_2 )=\lambda_1 P\mu_1 +\lambda_2 P\mu_2\), \(\lambda_1 ,\lambda_2 \in{\mathbb R}_+\), \(\mu_1 , \mu_2 \in {\mathcal M}(X)\) and \(P\mu (X)=\mu (X)\), \(\mu\in {\mathcal M}(X)\). The operator \(P\) is called Feller operator if there is an operator \(U:{\mathcal B}(X)\rightarrow {\mathcal B}(X)\) such that \(\langle Uf,\mu \rangle =\langle f,P\mu\rangle\), \(f\in {\mathcal B}(X)\), \(\mu\in {\mathcal M}(X)\), and if \(Uf\in C(X)\) for \(f\in C(X)\). A measure \(\mu\) is called invariant with respect to \(P\) if \(P\mu =\mu\). The main result of the paper is as follows. Let \(P:{\mathcal M}(X)\rightarrow {\mathcal M}(X)\) be a Feller operator. Assume that \(\exists z\in X\) such that \(\forall \sigma >0\) \(\forall {\overline \mu}\in{\mathcal M}_1 (X)\) such that \(\liminf_{n\rightarrow\infty} P^n {\overline \mu}(B(z,\sigma ))>0\) (\(B(z,\sigma )\) is the ball with center \(z\) and radius \(\sigma \)). Moreover, assume that the family of functions \(\{ X\ni x\mapsto P^n \delta_x \in{\mathcal M}_1 (X):n\in {\mathbb N}\}\) is equicontinuous at the point \(z\) (\({\mathcal M}_1 (X)\) is endowed with the Prokhorov metric, \(\delta_x\) is Dirac measure supported at \(x\)). Then \(P\) admits an invariant measure. A counterexample, which shows that the equicontinuity condition cannot be omitted, is constructed.
reviewed by: Victor Sharapov
Mathematics Subject Classification ID: 47A35
Mathematics Subject Classification ID: 37L40
zbMATH DE Number: 2085922
zbMATH Keywords: Markov operators
zbMATH Keywords: invariant measures
zbMATH Keywords: Prokhorov metric
zbMATH Keywords: equicontinuity
author: Józef Myjak
author: Tomasz Szarek
MaRDI profile type: Publication
full work available at URL: j.jmaa.2004.02.011
OpenAlex ID: W1976927944
cites work: Q4127104
cites work: Q3721531
cites work: Ergodic decomposition of a topological space
cites work: Some random walks arising in learning models. I
cites work: Q4297801
cites work: Invariant measures for nonexpansive Markov operators on Polish spaces
DOI: 10.1016/J.JMAA.2004.02.011
description: scientific article; zbMATH DE number 2085922