On a Poincaré-type inequality for energy forms in \(L^p\) (Q2460792)

In two recent papers: \textit{W. Hoh} and \textit{N. Jacob} [J. Evol. Equ. 4, No. 2, 297--312 (2004; Zbl 1055.31006)] and \textit{N. Jacob} and \textit{R. L. Schilling} [Acta Math. Sin., Engl. Ser. 22, No. 4, 1227--1250 (2006; Zbl 1104.31007)] an \(L^ {p}\)-analogue of the theory of Dirichlet forms was proposed. The framework is the following: \(m\) is a Radon measure with full support; a sub-markovian semigroup \((T_ {t})_ {t\geq 0}\) acting on \(L^ {p}\) (for \(1,p<\infty \)), with infinitesimal generator \(A\), is considered. A more general energy form is defined: \[ {\mathcal E}^ {(p)} (f, g) := \int J_ {p} \left ( (-A)^ {1/2} f\right ) (-A)^ {1/2} g d m \] (where \(J_ {p} (u) := |u|^ {p-2} u\) is the duality mapping). For this energy form, the notion of transience is introduced. If both \((T_ {t})_ {t\geq 0}\) and its adjoint (acting on \(L^ {q}\)) are sub-markovian, it is proved that the transience of \(L^ {p}\) is independent of \(p\) and is implied by the transience of the energy forms belonging to the semigroup and its adjoint. Under the assumption that the domain of the (transient) Dirichlet form is compactly embedded in \(L^ {p}\), a Poincaré-type inequality (i.e. \(\| f\| ^ {p}_ {p} \leq C \; {\mathcal E}^ {(p)} (f, f)\)) is proved.