The Frank-Lieb approach to sharp Sobolev inequalities

Frank and Lieb gave a new, rearrangement-free, proof of the sharp Hardy-Littlewood-Sobolev inequalities by exploiting their conformal covariance. Using this they gave new proofs of sharp Sobolev inequalities for the embeddings W-k,W-2(R-n)hooked right arrow L/2n/n-2k (R-n). We show that their argument gives a direct proof of the latter inequalities without passing through Hardy-Littlewood-Sobolev inequalities, and, moreover, a new proof of a sharp fully nonlinear Sobolev inequality involving the sigma 2-curvature. Our argument relies on nice commutator identities deduced using the Fefferman-Graham ambient metric.

Automated summary

Frank and Lieb provided a new proof of the sharp Hardy-Littlewood-Sobolev inequalities by using conformal covariance, and also presented new proofs for Sobolev inequalities. Furthermore, they showed a direct proof of certain inequalities without going through the Hardy-Littlewood-Sobolev inequalities, and a new proof for a sharp fully nonlinear Sobolev inequality involving sigma 2-curvature. Their argument was based on commutator identities derived using the Fefferman-Graham ambient metric.