Bivariate Revuz measures and the Feynman-Kac formula on semi-Dirichlet forms

TL;DR

This paper develops the theory of bivariate Revuz measures for semi-Dirichlet forms, extending classical results to non-dual settings, and characterizes subprocesses killed by multiplicative functionals via an extended Feynman-Kac formula.

Contribution

It extends the bivariate Revuz measure theory and Feynman-Kac formula to semi-Dirichlet forms without duality assumptions.

Findings

Established bivariate Revuz correspondence for semi-Dirichlet forms.

Characterized subprocesses killed by multiplicative functionals.

Extended classical Feynman-Kac formula to non-dual semi-Dirichlet forms.

Abstract

In this paper, we shall first establish the theory of bivariate Revuz correspondence of positive additive functionals under a semi-Dirichlet form, which is associated with a right Markov process $X$ satisfying the sector condition but without duality. We extend most of the classical results about the bivariate Revuz measures under the duality assumptions to the case of semi-Dirichlet forms. As the main results of this paper, we prove that for any exact multiplicative functional $M$ of $X$, the subprocess $X^M$ of $X$ killed by $M$ also satisfies the sector condition and we then characterize the semi-Dirichlet form associated with $X^M$ by using the bivariate Revuz measure, which extends the classical Feynman-Kac formula.