A Simpler Proof of Frank and Lieb's Sharp Inequality on the Heisenberg Group

We give a simpler proof of the sharp Frank-Lieb inequality on the Heisenberg group. The proof bypasses the sophisticated argument for existence of a minimizer and is based on the study of the 2nd variation of subcritical functionals using their fundamental techniques.