Uniqueness of diffusion on domains with rough boundaries

Abstract: Let

O m e g a

be a domain in

m a t h b f R^{d}

and

h (v a r p h i) = s u m_{k, l = 1}^{d} (p a r t i a l_{k} v a r p h i, c_{k l} p a r t i a l_{l} v a r p h i)

a quadratic form on

L_{2} (O m e g a)

with domain

C_{c}^{i} n f t y (O m e g a)

where the

c_{k l}

are real symmetric

L_{i} n f t y (O m e g a)

-functions with

C (x) = (c_{k l} (x)) > 0

for almost all

x i n O m e g a

. Further assume there are

a, d e l t a > 0

such that

a^{- 1} d_{G} a m m a^{d e l t a}, I l e C l e a, d_{G} a m m a^{d e l t a}, I

for

d_{G} a m m a l e 1

where

d_{G} a m m a

is the Euclidean distance to the boundary

G a m m a

of

O m e g a

. We assume that

G a m m a

is Ahlfors

s

-regular and if

s

, the Hausdorff dimension of

G a m m a

, is larger or equal to

d - 1

we also assume a mild uniformity property for

O m e g a

in the neighbourhood of one

z i n G a m m a

. Then we establish that

h

is Markov unique, i.e. it has a unique Dirichlet form extension, if and only if

d e l t a g e 1 + (s - (d - 1))

. The result applies to forms on Lipschitz domains or on a wide class of domains with

G a m m a

a self-similar fractal. In particular it applies to the interior or exterior of the von Koch snowflake curve in

m a t h b f R^{2}

or the complement of a uniformly disconnected set in

m a t h b f R^{d}

.

Recommendations

Cites Work

Cited In (6)

This page was built for publication: Uniqueness of diffusion on domains with rough boundaries