On existence of a dual semigroup (Q4028992)

[For the entire collection see Zbl 0754.00008.] There is a natural question that, for a given sub-Markov semigroup \(p(t,x,\Gamma)\) and an excessive measure \(m\), does there exist a (weakly) dual semigroup \(\hat p_ t\). In the previous paper [Theory Probab. Appl., 31, 244-254 (1987); translation from Teor. Veroyatn. Primen. 31, No. 2, 290-300 (1986; Zbl 0607.60061)] the author proves this question affirmatively under some conditions including stochastic continuity of \(p_ t\). In this paper, the author removes the hypothesis of stochastic continuity and proves the following result: Let \(p\) be a normal semigroup on a Borel space which separates points and \(m\) be an \(\alpha\)-excessive measure. Then there exists an \(\alpha\)-dual semigroup \(\hat p_ t\) of \(p_ t\) with respect to \(m\), that is a semigroup satisfying \(m(dx)p(t,x,dy)=e^{\alpha t}m(dy)\hat p(t,y,dx)\). The proof is done by embedding the original state space \(E\) into a subspace \(E_ +\) of the space of entrance laws and, then by reducing to a stochastically continuous semigroup on \(E_ +\).