Improved Sobolev Inequalities on the Quaternionic Sphere

Abstract

In this paper we establish improved Sobolev inequalities on the quaternionic sphere under higher-order moment vanishing conditions with respect to the measure \(|u|^{p^*}\,d\xi\). As an application, we give a new proof of the existence of extremals for the sharp Sobolev embedding \[ S^{1,2}(S^{4n+3}) \hookrightarrow L^{2^*}(S^{4n+3}). \]