Towards a Fully Nonlinear Sharp Sobolev Trace Inequality

We classify local minimizers of integral sigma(2) + closed integral H-2 among all conformally flat metrics in the Euclidean (n+1)-ball, n= 4 or n= 5, forwhich the boundary has unit volume, subject to an ellipticity assumption. We also classify local minimizers of the analogous functional in the critical dimension n+1=4. If minimizers exist, this implies a fully nonlinear sharp Sobolev trace inequality. Our proof is an adaptation of the Frank-Lieb proof of the sharp Sobolev inequality, and in particular does not rely on symmetrization or Obata-type arguments.