No label defined (Q4354562)

Let \(X\) be a locally compact, connected Hausdorff space and \(m\) be a positive Radon measure on \(X\) whose support is the whole space. Suppose that \((a, D(a))\) is a strongly local, regular Dirichlet form in \(L^2(X, m)\). Such a form \(a\) admits the integral representation \(a(u, v)=\int_X\alpha(u, v)\) for every \(u, v\in D(a)\), where \(\alpha(u, v)\) is a signed Radon measure associated with the functions \(u,v\). A distance associated with the form can be defined by \(d(x, y)=\sup\{\phi(x)-\phi(y)\}\) where the supremum is taken over all the functions \(\phi\) such that \(\alpha(\phi, \phi)\leq m\). \(B(x, r)\) denotes a ball centered at \(x\) of radius \(r\) in this distance. The main result of this paper can be stated as follows: Suppose that \(\mu\) is a measure in the Kato class and \(\varepsilon >0\). Given \(B(x_0, s)\subset B(x_0, t)\subset B(x_0, 4t_0).\) If \(t_0\) is small enough, then there is a \(C_{\varepsilon}\) such that \[ \int_{B(x_0, s)}u^2|\mu|(dx)\leq \varepsilon\int_{B(x_0, t)} \alpha(u, u)(dx)+{C_{\varepsilon}\over (t-s)^2}\int_{ B(x_0, t)\setminus B(x_0, s)}u^2m(dx) \] for every \(u\) locally in the restriction of \(D(a)\) to \(B(x_0, t)\). The main assumptions of the paper are as follows: (\(H_1\)) the topology associated with \(d\) is equivalant to the initial one and there is a constant \(c\) such that for any \(x\) and \(r>0\), \(m(B(x, 2r))\leq cm(B(x, r))\); and (\(H_2\)) for every ball \(B(x, r)\) whose closure is contained in a fixed relatively compact open subset of \(X\), there is a constant \(c\) independent of \(x\) and \(r\) such that \[ \int_{B(x, r)}|f-f_{x, r}|^2m(dx)\leq cr^2\int_{B(x,kr)} \alpha(f, f)(dx), \] where \(k\geq 1\) is a constant independent of \(x\) and \(r\).