On the equivalence between trace and capacitary inequalities for the abstract contractive space of Bessel potentials (Q1775252)

Let \((T_t)_{t\geq 0}\) be a symmetric strongly continuous sub-Markovian semigroup on \(L^2(X,m)\). Using the \(L^p\)-extensions of this semigroup it is possible to associate ``abstract'' Bessel potential spaces \(F_{r,p}\) with \((T_t)_{t\geq 0}\), \(1\leq p<\infty\) and \(r> 0\). In these spaces we have the notion of an \((r,p)\)-capacity (in fact there are some different possibilities to define such a capacity) which under the additional assumption that the normal contractions operate on \(F_{r,p}\) has essentially the same properties as the capacity defined by using the corresponding Dirichlet form. Denote by \(V_{r,p}\) the \(\Gamma\)-tansform of \((T_t)_{t\geq 0}\) at the point \((r,p)\). In the paper under review the author gives necessary and sufficient conditions on \(q\) and \(\mu\), \(2\leq p< q<\infty\), \(\mu\) being a measure on \(X\), in order that \(V_{r,p}: L^p(X,m)\to L^q(X,\mu)\) is bounded, and in order that \(F_{r,p}\subset L^p(X,m)\) is compactly embedded into \(L^q(\mu)\). The basic ingredient is a strong capacitary inequality, i.e. an inequality of type \[ \int^\infty_0\text{cap}_{r,p}(\{|f(x)|\geq t\})\,dt^p\leq {p^p\over (p-1)^{p-1}}\| f\|^p_{r,p}, \] where \(\| f\|_{r,p}\) denotes the norm in \(F_{r,p}\).