Balls have the worst best Sobolev inequalities (Q1781399)

The authors deal with Sobolev inequalities with trace term. These are inequalities of the type: \[ \| f \| _{L^{p^*}(\Omega)}\leq S_n(p) \| f \| _{L^{p}(\Omega)} + T_n(p) \| f \| _{L^{p^\sharp}(\partial\Omega)}, \] \[ \| f \| ^p_{L^{p^*}(\Omega)}\leq S_n^p(p) \| f \| _{L^{p}(\Omega)} + C^p_n(p) \| f \| ^p_{L^{p^\sharp}(\partial\Omega)} , \] where \(\Omega\) is a locally Lipschitz open domain in \({\mathbb R}^n\), \(p^*=\frac{np}{n-p}\), \(p^\sharp=\frac{(n-1)p}{n-p}\), and \(S_n(p)\) is the optimal constant in the Sobolev classical inequality. Inequalities of this type where first studied by H. Brézis and E. Lieb. Sharp versions of the inequalities were proved by the authors. The isoperimetric inequality and the sharp Euclidean Sobolev embedding are particular cases. The main argument used in the proofs is an optimal mass transportation argument.