No label defined (Q4512503)

A positive Borel measure \(\mu\) on a closed subset \(F\) of \({\mathbf R}^n\) is called a \(d\)-measure on \(F\) if there exist constants \(c_1\) and \(c_2\) such that \(c_1 r^d \leq \mu(B_r(x))\leq c_2 r^d\) for any \(0<r\leq r_0\) and \(x \in F\), where \(B_r(x)\) is the closed ball with center \(x\) and radius \(r\). If there exists a \(d\)-measure with support \(F\), then \(F\) is called a \(d\)-set. For a \(d\)-set \(F\) with \(d\)-measure \(\mu\), a fractional diffusion on \(F\) is defined as a diffusion process \(X=(X_t,P_x)\) on \(F\) with symmetric transition density \(p_t(x,y)\) satisfying natural heat kernel estimate by \(t^{-d/d_\omega}\exp\left(-c |x-y|^{d_\omega/(d_\omega-1)}/ t^{1/(d_\omega-1)}\right)\). Such number \(d_\omega\) is uniquely determined. Consider the \(\alpha/2\)-stable subordinator \(Y_t\) and let \(Z_t\) be the subordinated process of \(X_t\) by \(Y_t\) and \((\widetilde{\mathcal E},{\mathcal D}( \widetilde{\mathcal E}))\) be the Dirichlet form of \(Z_t\) on \(L^2(F;\mu)\). Further, let \[ {\mathcal E}(f,f) = \int_F \int_F \left(f(x)-f(y)\right)^2 /|x-y|^{d+\alpha d_\omega/2} d\mu(x) d\mu(y) \] and \[ {\mathcal D}({\mathcal E}) = \{f\in L^2(F;\mu):{\mathcal E}(f,f)<\infty\}. \] The author shows that \(\widetilde{\mathcal D}(\widetilde{\mathcal E}) = {\mathcal D}({\mathcal E})\) and gives its characerization. The two-sided estimate of \(\widetilde{\mathcal E}\) by \({\mathcal E}\) is also given. Moreover, in the case of \(\alpha<4/d_\omega\), the regularity of the Dirichlet form \(({\mathcal E}, {\mathcal D}({\mathcal E}))\) is shown.