Critical dimensions and higher order Sobolev inequalities with remainder terms (Q5937989)

\textit{P. Pucci} and \textit{J. Serrin} [J. Math. Pures Appl. 69, 55--83 (1990; Zbl 0717.35032)] conjectured that certain space dimensions behave ``critically'' in a semilinear polyharmonic eigenvalue problem and up to now only a weakened version of this conjecture could be shown. The authors of the paper under review prove that exactly in these dimensions an embedding inequality for higher order Sobolev spaces on bounded domains with an optimal embedding constant may be improved by adding a ``linear'' remainder term. Thanks to \textit{H.~Brezis} and \textit{E.~Lieb} [J. Funct. Anal. 62, 73--86 (1985; Zbl 0577.46031)] this result is already known for the space \(H_0^1\) in dimension \(n=3\); the authors extend it to spaces \(H_0^K\) (\(K>1\)) in the ``presumably'' critical dimensions. The main tools are positivity results and a decomposition method with respect to dual cones.