No label defined (Q4546018)

The paper deals with Dirichlet-Poincaré form \(a\) (in a general sense as exposed in [\textit{M. Fukushima}, ``Dirichlet forms and Markov processes'' (1980; Zbl 0422.31007)]), assuming it is symmetric strongly locally regular with a domain \(D_0[a,\Omega]\subset L^2(X,m)\), \(\Omega\) a relatively compact domain in a connected, locally compact, separable Hausdorff space \(X\) equipped with a positive Radon measure \(m\). For another measure \(\mu\) and its approximation \(\mu_h\), the solution \(u_h\) to the variational problem \[ a(u_h,v)+\int_\Omega u_hv d\mu_h =\int_\Omega fv dm, \] \(f\in L^2(\Omega,m)\) given, \(v\in D_0[a,\Omega]\cap L^2(\Omega,\mu_h)\) arbitrary, is investigated as far as its approximation of the solution \(u\) of the ``exact'' problem, created by omitting \(h\). It is shown that the rate of convergence of \(u_h\) to \(u\), measured in the limit ``energetic norm'', can be bounded by a function depending on the continuity modulus of the limit measure \(\mu\) which is assumed to be a weak Kato measure. Principal tools are generalised Poincaré inequality and regularity results for weak Kato measures. Particular cases thus covered are, e.g., strongly elliptic operators (\(X={\mathbb R}^n\), \(n\geq 2\)), degenerate elliptic operators with a weight in \(A_2\)-Muckenhoupt class, or forms connected with vector fields satisfying the Hörmander condition.