Uniqueness of diffusion on domains with rough boundaries

Let Ω be a domain in R^d and h(φ)=(Formula presented.)(∂_kφ,c_kl∂_lφ) a quadratic form on L₂(Ω) with domain C_c^∞(Ω) where the c_kl are real symmetric L_∞(Ω)-functions with C(x)=(c_kl(x)) > 0 for almost all x ∈ Ω. Further assume there are a,δ > 0 such that a^-1d_F^δ I ≤ C ≤ a d_F^δ I for d_F ≤ 1 where d_F is the Euclidean distance to the boundary F of Ω. We assume that F is Ahlfors s-regular and if s, the Hausdorff dimension of F, is larger or equal to d - 1 we also assume a mild uniformity property for Ω in the neighbourhood of one z ∈ F. Then we establish that h is Markov unique, i.e. it has a unique Dirichlet form extension, if and only if δ ≥ 1+(s-(d-1)). The result applies to forms on Lipschitz domains or on a wide class of domains with F a self-similar fractal. In particular it applies to the interior or exterior of the von Koch snowflake curve in R² or the complement of a uniformly disconnected set in R^d.