scientific article; zbMATH DE number 1269705

Publication date 10 November 1999

Dirichlet forms quasi-regularity right processes

Dirichlet forms (31C25) Right processes (60J40)

Let \((E,\mathcal B,m)\) be a measure space with the topological space \(E\), the Borel \(\sigma\)-algebra \(\mathcal B\) and the \(\sigma\)-finite Borel measure \(m\). \textit{Z.-M. Ma} and \textit{M. Röckner} [Introduction to the theory of (non-symmetric) Dirichlet forms (Universitext, Springer) (1992; Zbl 0826.31001)] showed that a Dirichlet form \((\mathcal E,\mathcal D(\mathcal E))\) on \(L^2(E,m)\) is associated with a pair of right processes if and only if it is quasi-regular. The Dirichlet form only depends on \(m\) and the Borel sets defined by the topology of \(E\). Thus it is interesting to ask whether one can impose a topology \(\tau\) on \(E\) that defines the same Borel sets and makes \((\mathcal E, \mathcal D(\mathcal E))\) quasi regular. Such a topology will be called \(\mathcal E\)-quasi-regular. Let \((T_t)_{t\geq 0}\) denote the \(L^2(E,m)\)-semigroup associated to the Dirichlet form and \(S^r\) be the set of all \(r\)-excessive functions with respect to the semigroup, \(r> 0\). The author proves: Let \((E,\mathcal B,m)\) be a Hausdorff measure space and \((\mathcal E,\mathcal D(\mathcal E))\) a Dirichlet form on \(L^2(E,m)\). Then an \(\mathcal E\)-quasi-regular topology \(\tau\) exists on \(E\) if and only if there exists a countable dense \(\mathbb Q\)-linear algebra \(D\subset \mathcal D(\mathcal E) \cap \mathcal B\) and \(E_0\in \mathcal B\) with \(m(E\setminus E_0)=0\) satisfying the following conditions: (i) there exists \(u\in D\) which is positive on \(E_0\); (ii) \((E_0, \mathcal B \cap E_0)\) is a Lusin measurable space and \(D\) seperates the points of \(E_0\); (iii) for any \(g\in \mathcal D(\mathcal E) \cap S^r\), there exists a \(\sigma\)-finite measure \(\mu\) on \((E_0, \mathcal B \cap E_0)\) such that \(\mathcal E_r(g,u) = \int_{E_0} u d\mu\) for all \(u\in D\). The above result is also extended to positivity preserving forms with slight modifications.

Recommendations

Cited in

(10)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236459)