Class of smooth functions in Dirichlet spaces

Patrick J. Fitzsimmons, Liping Li

Given a regular Dirichlet form $(\mathcal{E},\mathcal{F})$ on a fixed domain $E$ of ${\mathbb{R}}^d$, we first indicate that the basic assumption $C_c^{\infty }(E)\subset \mathcal{F}$ i…