A sufficient condition for two Markov semigroups to commute (Q1262619)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A sufficient condition for two Markov semigroups to commute
scientific article

    Statements

    A sufficient condition for two Markov semigroups to commute (English)
    0 references
    0 references
    1989
    0 references
    Let \(E\) be a locally compact, separable metric space and let \(\hat C(E)\) be the continuous real functions on \(E\) vanishing at \(\infty\), with the sup norm. Let \(\{P_ t:\;t\geq 0\}\) be a Markov semigroup on \(\hat C(E)\) with generator \(A\). Let \(\mathcal D\subset \hat C(E)\) be a dense algebra such that the \(D([0,\infty),E)\) martingale problem for \(A\) on \(\mathcal D\) is well-posed. Suppose that \(\pi : \hat C(E) \to \hat C(E)\) is given by a probability transition function on \((E,\mathcal B_ E)\), i.e. \[ \pi g(S) = \int g(y) \pi(a,dy), \] and assume that \(\pi(\mathcal D) \subset \mathcal D\) and \(A\pi f = \pi Af\) for each \(f\in \mathcal D\). Then for each \(g\in \hat C(E)\) and each \(t \geq 0\), \[ P_ t \pi g = \pi P_ t g. \] As a corollary, for \(\{P_ t:\;t \geq 0\}\), \(A\) and \(\mathcal D\) as above, let \(\{Q_ t: \;t \geq 0\}\) be another Markov semigroup on \(\hat C(E)\) with generator \(B\). Suppose \[ B(\mathcal D) \subset \text{Dom}(A),\quad A(\mathcal D) \subset \text{Dom}(B),\quad \text{ and } (\lambda I-B)^{-1}(\mathcal D) \subset \mathcal D \text{ for large } \lambda. \] If \(AB=BA\) on \(\mathcal D\), then for \(g\in \hat C(E)\) and \(t,s \geq 0\) \[ P_ t Q_ s q = Q_ s P_ t g. \] This is based on a result of \textit{S. N. Ethier} and \textit{T. G. Kurtz} [Markov processes: Characterization and convergence. (1986; Zbl 0592.60049)].
    0 references
    0 references
    Markov semigroup
    0 references
    martingale problem
    0 references
    probability transition function
    0 references
    0 references