On quasi-supports of smooth measures and closability of pre-Dirichlet forms (Q1197476): Difference between revisions

The following situation is considered: Given a closable pre-Dirichlet form (D.f.) \({\mathfrak E}\) on \(L^ 2(X,m)\) (\(X\) l.c.s.m., \(m\geq 0\), Radon), a family \(({\mathfrak E}_ \theta)_{\theta\in\Theta}\) of closable pre-Dirichlet forms associated with a family of spaces \(L^ 2(\Gamma_ \theta,\mu_ \theta)\), (\(\Gamma_ \theta \subset X\), closed, \(\mu_ \theta\) a positive Radon measure on \(\Gamma_ \theta\)) and a \(\sigma\)- finite measure \(\nu\) on \(\Theta\). Then conditions are found implying that the perturbation of \({\mathfrak E}\) \[ \widehat {\mathfrak E}(f,g)={\mathfrak E}(f,g)+\int_ \Theta {\mathfrak E}_ \theta(f|_{\Gamma_ \theta}, g|_{\Gamma_ \theta})\nu(d\theta), \qquad f,g\in\vartheta({\mathfrak E}), \] is a closable pre-Dirichlet form on \(L^ 2(X,m)\). The proof gives reason for analyzing the so-called quasi-support of a measure, in particular of a smooth measure and using it to describe the closable part of a pre-Dirichlet form.