From \(U\)-bounds to isoperimetry with applications to H-type groups (Q610748)

The authors study \(U\)-bounds in relation to \(L_1\)-type coercive inequalities and isoperimetric problems for a class of probability measures on a general metric space \(({\mathbb R}^N, d)\). The following theorem summarises the results of the paper. Theorem: Let \(\mu\) be a non-atomic probability measure on \(({\mathbb R}^N, d)\), \(|\nabla f|\) is given by \(|\nabla f|(x)=\limsup_{d(x,y) \downarrow 0}\frac{|f(x)-f(y)|}{d(x,y)}\) and \(q\geq 1\). Then the following statements are equivalent: (i) \[ \text{Ent}_{\mu}^{\phi}(|f|):=\mu(\phi(|f|))-\phi(\mu|f|) \leq c\mu|\nabla f|, \] where \(\phi(x)=x(\log(1+x))^{\frac 1q}\), for some constant \(c\in (0,\infty)\) and all locally Lipschitz \(f\); (ii) \[ \mu \left(f\left(\log_+\frac{f}{\mu f}\right)^{1/q}\right) \leq K\mu |\nabla f|+K'\mu f, \] for some \(K>0\) and \[ \mu|f-\mu f|\leq c_0\mu|\nabla f| \] with some \(c_0\in (0,\infty)\) and all locally Lipschitz \(f\geq 0\); (iii) \[ U_q(t)\leq \tilde{c}\mu^+(A) \] for some \(\tilde{c}>0\) and all Borel sets \(A\) of measure \(t=\mu(A)\). Moreover, for \(q\in (1,2]\) statements (i)-(iii) imply (iv) \[ \mu \left( |f|^q\log \frac{|f|^q}{\mu|f|^q}\right) \leq C' \mu|\nabla f|^q \] for some \(C'\in (0,\infty)\) and all locally Lipschitz functions \(f\), and (v) \[ U_2(\mu f) \leq \mu \sqrt{U_2^2(f)+C''|\nabla f|^2} \] for some \(C''\in (0,\infty)\) and all locally Lipschitz \(0\leq f\leq 1\). The usefulness of this approach is illustrated by an application to the setting of \(H\)-type groups, and an extension to infinite dimensions.