This chapter introduces the concepts of the transience, recurrence, and irreducibility of the semigroup for general Markovian symmetric operators and presents their characterizations by means of the associated Dirichlet form as well as the associated extended Dirichlet space. These notions are invariant under the time changes of the associated Markov process. The chapter then presents some basic examples of Dirichlet forms, with special attention paid to their basic properties as well as explicit expressions of the corresponding extended Dirichlet spaces. Hereafter the chapter discusses the analytic potential theory for regular Dirichlet forms, and presents some conditions for the demonstrated Dirichlet form (E,F) to be local.
Potential theory of hyperfinite Dirichlet forms