On isoperimetric profiles of product spaces (Q2386765)

It is obvious that dimensions of Euclidean spaces add up under the direct product. The aim of the reviewed paper is to show that this fact admits an analogue for isoperimetric dimensions of non-compact Riemannian manifolds. Let \((M,\mu)\) be a weighted Riemannian manifold, where \(M\) is a Riemannian manifold and \(\mu\) is a Riemannian measure on \(M\) with a positive \(C^\infty\) density \(\sigma\). For any open set \(\Omega\subset M\) denote \(| \Omega| =\mu(\Omega)\). If, for some \(d>1,\;C>0\) and for any non-empty precompact open set \(\Omega\subset M\) with smooth boundary, \[ | \Omega| ^{\frac{d-1}{d}}\leqslant C\;| \partial\Omega| , \] then one says that \(M\) has isoperimetric dimension \(d\). It is known that the above condition is equivalent to the following Sobolev inequality \[ \Bigl(\int_M| f| ^{\frac{d}{d-1}}\,d\mu\Bigr)^{\frac{d-1}{d}}\leqslant C\int_M| \nabla f| \,d\mu\,, \] for any function \(f\in\text{ Lip}_0(M)\), \(\text{ Lip}_0(M)\) being the space of Lipschitz functions with compact support on \(M\). The authors consider a more general family of Sobolev inequalities of the form \[ \Bigl(\int_M| f| ^{\frac{pd}{d-p}}\,d\mu\Bigr)^{\frac{d-p}{d}}\leqslant C_p\int_M| \nabla f| ^p\,d\mu, \] where \(1\leqslant p<d\). If the above inequality holds, then one says that \(M\) has \(p\)-isoperimetric dimension \(d\). Following \textit{T. Coulhon} [Potential Anal. 4, No. 4, 335--344 (1995; Zbl 0847.53022)], the authors introduce a general \((p,\psi)\)-isoperimetric inequality on \(M\) as follows: for any function \(f\in\text{ Lip}_0(\Omega)\), \[ \psi(| \Omega| )\| f\|_p\leqslant\|| \nabla f| \|_p, \] where \(\psi\) is a non-negative non-increasing function on \((0,+\infty),\;p\in[1,+\infty]\), and \(\|\cdot\|_p\) is the \(L^p(M,\mu)\)-norm. Next, they associate with each \(p\in[1,+\infty]\) the largest function \(\psi\) (denoted by \(\psi_{M,p}\)) such that the \((p,\psi)\)-isoperimetric inequality holds on \(M\). The function \(\psi_{M,p}\) is called the \(p\)-isoperimetric profile. In the main theorem of the reviewed paper the authors compute the \(p\)-isoperimetric profile of the product \(M\times N\), given the ones associated with the factors. The proof of this theorem is based on the observation that the \((p,\psi)\)-isoperimetric inequality is equivalent to another kind of functional inequality, so called F-Sobolev inequality. Moreover, the authors deduce such an inequality on a product manifold from similar inequalities on the factors.