On the existence of an invariant measure for Markov-Feller operators (Q596709)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the existence of an invariant measure for Markov-Feller operators
scientific article

    Statements

    On the existence of an invariant measure for Markov-Feller operators (English)
    0 references
    10 August 2004
    0 references
    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.
    0 references
    Markov operators
    0 references
    invariant measures
    0 references
    Prokhorov metric
    0 references
    equicontinuity
    0 references
    0 references
    0 references

    Identifiers