Induced Dirichlet forms and capacitary inequalities
type: Item
instance of: scholarly article
title: Induced Dirichlet forms and capacitary inequalities
zbMATH Open document ID: 0711.60037
published in: The Annals of Probability
publication date: 1990-01-01T00:00:00Z
review text: Let (X,\(\Sigma\),m) be a locally compact space equipped with a positive Radon measure m with support X. Let \(\xi\) (.,.) be a Dirichlet form on \[ (1)\quad\Gamma(\xi)\times\Gamma(\xi)\subset L^ 2(X;m)\times L^ 2(X;m), \] and define \[ \exp_\theta (A):=\begin{cases} \inf\{\xi_\theta(m,m):u\in\Gamma_ A\} & \text{if \(\Gamma_ A\neq\varnothing\)} \\ +\infty & \text{if \(\Gamma_ A=\varnothing\)} \end{cases} \] where \(A\subset X\) is open and \[ \xi_{\theta}(u,v)=\xi (u,v)+\theta (u,v),\quad u,v\in \Gamma (\xi), \] \[ \Gamma_ A=\{u\in \Gamma (\xi):\;u\geq 1\quad m.a.e.\text{ on } A\}. \] cap\(_{\theta}(.)\) is called the \(\theta\)-capacity. Now let \(F:X\to X^*\) be a proper map of X onto a (usually smaller) locally compact, separable, Hausdorff space \(X^*\) and let \(m^*\) be the image of m under F (which is supposed to have support \(X^*).\) We may construct a form \(\xi^*\) on \(\Gamma (\xi^*)\times \Gamma (\xi^*)\subset L^ 2(X^*,m^*)\times L^ 2(X^*,m^*)\) by defining \[ (2)\quad \xi^*_ 0(u,v)=\xi (u.F,v.F),\quad u,v\in \Gamma (\xi^*_ 0), \] where \(\Gamma (\xi^*_ 0)=\{u\in L^ 2(X^*,m^*)| u.F\in \Gamma (\xi)\}\). In the first section the authors study conditions on the expectation operator \({\mathcal F}_ m=E_ m(.| F)\) s.t. \(\xi^*\) is a Dirichlet form. The notion of core map F is introduced in order to include the assumption ``no killing''. In the case where \(A=F^{-1}(A^*)\), \(A^*\subset X^*\) open, the following estimate is obtained: \[ (3)\quad {\mathcal P}_ m(\tau \leq 1)\leq e^{\theta}.E_ m(e^{-\theta_{\tau}})\leq \theta^{- 1}.e^{\theta}.cap_{\theta}(A)\leq \theta^{- 1}.e^{\theta}.cap^*_{\theta}(A^*)\leq \] \[ \theta^{- 1}.e^{\theta}.\min [\xi^*_ 0(u,u)| u\in \Gamma_ A]\leq \theta^{-1}.e^{\theta}.\xi^*_ 0(v,v), \] for any suitable choice of \(v\in \Gamma_ A\). In the case \(X^*\subset R\) the original problem is transferred to the one for a one-dimensional process. In particular when \(A^*=(a,\infty)\) we are addressing the problem of estimating, \[ P_ m(…
Mathematics Subject Classification ID: 60G17
Mathematics Subject Classification ID: 60F10
Mathematics Subject Classification ID: 60G15
zbMATH DE Number: 4169765
zbMATH Keywords: Radon measure
zbMATH Keywords: Dirichlet form
zbMATH Keywords: Hausdorff space
zbMATH Keywords: conservative m-symmetric diffusion
zbMATH Keywords: reversible diffusion
author: Ian Iscoe
author: David R. Mcdonald
reviewed by: Xuan Loc Nguyen
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1214/aop/1176990742
OpenAlex ID: W2007061534
DOI: 10.1214/AOP/1176990742
description: scientific article; zbMATH DE number 4169765