On extensions of local Dirichlet forms

DOI10.1007/S00028-016-0376-9MaRDI QIDQ681298zbMATH OpenOpenAlexFDO

Authors Derek W. Robinson

Publication date 30 January 2018

Published in Journal of Evolution Equations (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.01167

zbMATH Keywords

capacity estimates Dirichlet form measure space

Mathematics Subject Classification ID

Dirichlet forms (31C25) Markov semigroups and applications to diffusion processes (47D07)

Abstract: Let

c e

be a Dirichlet form on

L_{2} (X,; m u)

where

(X, m u)

is locally compact

s i g m a

-compact measure space. Assume

c e

is inner regular, i.e. regular in restriction to functions of compact support, and local in the sense that

c e (v a r p h i, p s i) = 0

for all

v a r p h i, p s i i n D (c e)

with

v a r p h i, p s i = 0

. We construct two Dirichlet forms

c e_{m}

and

c e_{M}

such that

c e_{m} l e q c e l e q c e_{M}

. These forms are potentially the smallest and largest such Dirichlet forms. In particular

c e_{m} s u p s e t e q c e_{M}

,

(c e_{M})_{m} = c e_{m}

and

(c e_{m})_{M} = c e_{M}

. We analyze the family of local, inner regular, Dirichlet forms

c f

which extend

c e

and satisfy

c e_{m} l e q c f l e q c e_{M}

. We prove that the latter bounds are valid if and only if

c f_{M} = c e_{M}

, or

c f_{m} = c e_{m}

, or

D (c e_{M})

is an order ideal of

D (c f)

. Alternatively the

c f

are characterized by

D (c e_{M}) c a p L_{i} n f t y (X)

being an algebraic ideal of

D (c f) c a p L_{i} n f t y (X)

. As an application we show that if

c e

and

c f

are strongly local then the Ariyoshi--Hino set-theoretic distance is the same for each of the forms

c e

,

c e_{M}

and

c f

. If in addition

c e_{m}

is strongly local then it also defines the same distance. Finally we characterize the uniqueness condition

c e_{M} = c e_{m}

by capacity estimates.

Review text

Let \((X,\mu)\) be a locally compact \(\sigma\)-compact measure space and consider a Dirichlet form \(\mathcal E\) on \(L_2(X;\mu)\) which is supposed to be inner regular, that is, regular in restriction to functions of compact support, and local in the sense that \(\mathcal E(\varphi ,\psi)=0\) for all \(\varphi, \psi \in D(\mathcal E)\) such that \(\varphi\psi =0\). The author constructs two Dirichlet forms \(\mathcal E_m\) and \(\mathcal E_M\) with the properties \[ \mathcal E_m\leq \mathcal E\leq \mathcal E_M, \] \(\mathcal E_m\supseteq \mathcal E_M,\) \((\mathcal E_M)_m=\mathcal E_m\) and \((\mathcal E_m)_M=\mathcal E_M\), and analyzes the family of local, inner regular Dirichlet forms \(\mathcal F\) which extend \(\mathcal E\) and satisfy \(\mathcal E_m\leq \mathcal F\leq \mathcal E_M\). It is proved that the latter bounds are valid if and only if \(\mathcal F_M=\mathcal E_M\), or \(\mathcal F_m=\mathcal E_m\), or \(D(\mathcal E_M)\) is an order ideal of \(D(\mathcal F)\). Alternatively, the forms \(\mathcal F\) are characterized by \(D(\mathcal E_M)\cap L_\infty (X)\) being an algebraic ideal of \(D(\mathcal F)\cap L_\infty (X)\). As an application of the obtained results, the author shows that if \(\mathcal E\) and \(\mathcal F\) are strongly local forms, then the Ariyoshi-Hino set-theoretic distance is the same for each of the forms \(\mathcal E\), \(\mathcal E_M\) and \(\mathcal F\). If in addition \(\mathcal E_m\) is strongly local, then it also defines the same distance. Finally, the uniqueness condition \(\mathcal E_M=\mathcal E_m\) is characterized by deriving suitable capacity estimates.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: On extensions of local Dirichlet forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q681298)