On the structure of the domain of a symmetric jump-type Dirichlet form (Q409054)

The autors characterize the structure of the domain of a pure jump-type Dirichlet form NEWLINENEWLINENEWLINE\[NEWLINE{\mathcal E} (u, v) = \frac{1}{2} \int \int _ {x \not = y} \big( u(x) - u(y) \big) \big( v(x) - v(y) \big) N(d x , d y),NEWLINE\]NEWLINE NEWLINENEWLINEwhich is given by a Beurling-Deny formula. In particular, they obtain sufficient conditions in terms of the jumping kernel, guaranteeing that the test functions are a core for the Dirichlet form and that the form is a Silverstein extension. As an application, they show that for recurrent Dirichlet forms the extended Dirichlet space can be interpreted in a natural way as a homogeneous Dirichlet space. For reflected Dirichlet spaces this leads to a simple purely analytic proof that the active reflected Dirichlet space (in the sense of Chen, Fukushima and Kuwae) coincides with the extended active reflected Dirichlet space. The paper extends a result from \textit{T. Uemura} [Electron. Commun. Probab. 12, 57--65 (2007; Zbl 1139.31003)] to a more general setting.