No label defined (Q4025836)

Let \({\mathcal R}(\mu)\) be the set of all continuous proper resolvents with respect to a finite measure \(\mu\) on a measurable space \((X,{\mathcal B})\) and \(P\) be a \({\mathcal V}\)-compression operator studied by the authors in [Rev. Roum. Math. Pures Appl. 36, No. 9-10, 595-634 (1991; Zbl 0763.31004)]. The set of excessive functions finite \({\mathcal V}\)-a.s. on \(X\) with respect to the resolvent \({\mathcal V}\) is denoted by \({\mathcal E}_{{\mathcal V}}\) and the resolvent given by the initial kernel \(V^ P=\sum P^ n V\) is denoted by \({\mathcal V}^ P\). The authors are defining a partial order in \({\mathcal R}(\mu)\) by \[ (V_ \alpha')_{\alpha>0}= {\mathcal V}'\ll {\mathcal V}''= (V_ \alpha'')_{\alpha>0} \iff V_ \alpha' \leq V_ \alpha'' \quad \text{for all }\alpha>0 \text{ and } {\mathcal E}_{{\mathcal V}''}\subset {\mathcal E}_{{\mathcal V}'}. \] The main theorem states that under some additional hypothesis if \(X\) is a metrizable space with a countable base possessing no absorbent points and \(P\) is a natural compression operator satisfying \({\mathcal V}^ P\in {\mathcal R}(\mu)\) and there exists a strictly positive potential in \({\mathcal E}_{{\mathcal V}^ P}\) then the following equivalence \[ {\mathcal W}' \ll {\mathcal W}'' \iff {\mathcal E}_{{\mathcal W}''}\subseteq {\mathcal E}_{{\mathcal W}'} \] holds for any resolvents \({\mathcal W}'\) and \({\mathcal W}''\) such that \({\mathcal V}\ll {\mathcal W}' \ll {\mathcal V}^ P\), \({\mathcal V}\ll {\mathcal W}''\ll {\mathcal V}^ P\). Similar results in harmonic spaces were proved by Boukricha and Hansen and in standard \(H\)- cones by Beznea.