Reflected Dirichlet Spaces
This chapter turns to reflected Dirichlet spaces. It first introduces the notion of terminal random variables and harmonic functions of finite energy for a Hunt process associated with a transient regular Dirichlet form. The chapter next establishes several equivalent notions of reflected Dirichlet space (ℰ ref,ℱ ref) for a regular transient Dirichlet form (E,F). One of these equivalent notions is then used to define reflected Dirichlet space for a regular recurrent Dirichlet form. Moreover, the chapter gives yet another equivalent definition of reflected Dirichlet space that is invariant under quasi-homeomorphism of Dirichlet forms. Various concrete examples of reflected Dirichlet spaces are also exhibited for regular Dirichlet forms. Finally, the chapter defines a Silverstein extension of a quasi-regular Dirichlet form (E,F) on L²(E; m) and investigates the equivalence of analytic and probabilistic concepts of harmonicity.