Uniqueness of diffusion on domains with rough boundaries

preprint2015arXivOpen access

Abstract

Let ΩΩ be a domain in Rd\mathbf R^d and h(φ)=∑k,l=1d(∂kφ,ckl∂lφ)h(φ)=\sum^d_{k,l=1}(\partial_kφ, c_{kl}\partial_lφ) a quadratic form on L2(Ω)L_2(Ω) with domain Cc∞(Ω)C_c^\infty(Ω) where the cklc_{kl} are real symmetric L∞(Ω)L_\infty(Ω)-functions with C(x)=(ckl(x))>0C(x)=(c_{kl}(x))>0 for almost all x∈Ωx\in Ω. Further assume there are a,δ>0a, δ>0 such that a−1dΓδ I≤C≤a dΓδ Ia^{-1}d_Γ^δ\,I\le C\le a\,d_Γ^δ\,I for dΓ≤1d_Γ\le 1 where dΓd_Γ is the Euclidean distance to the boundary ΓΓ of ΩΩ. We assume that ΓΓ is Ahlfors ss-regular and if ss, the Hausdorff dimension of ΓΓ, is larger or equal to d−1d-1 we also assume a mild uniformity property for ΩΩ in the neighbourhood of one z∈Γz\inΓ. Then we establish that hh is Markov unique, i.e. it has a unique Dirichlet form extension, if and only if δ≥1+(s−(d−1))δ\ge 1+(s-(d-1)). The result applies to forms on Lipschitz domains or on a wide class of domains with ΓΓ a self-similar fractal. In particular it applies to the interior or exterior of the von Koch snowflake curve in R2\mathbf R^2 or the complement of a uniformly disconnected set in Rd\mathbf R^d.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.