4 - Geometric Isoperimetric and Sharp Sobolev Inequalities

Summary

This chapter is devoted to the isoperimetric inequality and sharp Sobolev inequalities.

Itbegins with a review of tools from geometric measure theory(Hausdorff measures,area formula, and Gauss--Green theorem) used in this and later chapters. Three isoperimetric inequalities are presented: for perimeter,for Hausdorff measures, and for Minkowski content. Additional facts from geometric measure theory (the coarea formula, and polar coordinates) are included to showthat the coarea formula and the isoperimetric inequality for perimeter together imply decrease of the Dirichlet integral under symmetrization.The sharp Sobolev inequality for p = 1, and its equivalence to the isoperimeric inequality, are due to Federer and Fleming (1960). As discussed in the text, the sharp Sobolev inequality for 1 < p < n is due independently to Rodemich, Aubin and Talenti. The proof presented in this book is a hybrid using both the “classical” method of symmetrization and the recent mass transportation approach of Cordero-Erausquin et al.