Existence of extremals for the Maz'ya and for the Caffarelli-Kohn-Nirenberg inequalities (Q1017735)

The author gives an alternative proof of the following result of \textit{M.~Gazzini} and \textit{R.~Musina} [J. Math. Anal. Appl. 352, No. 1, 99--111 (2009; Zbl 1173.46015)]. Let \(p\in]1,N[\), \(1\leq k\leq N\), \((p-N)\frac{k}{N}<a<0\), \(p^{*}\equiv \frac{Np}{N-p}\). Then the infimum of \[ \int_{{\mathbb{R}}^{k}\times{\mathbb{R}}^{N-k}} |x|^{a}|\nabla u(x,y)|^{p}\,dxdy \left( \int_{{\mathbb{R}}^{k}\times{\mathbb{R}}^{N-k}} |x|^{ \frac{Na}{N-p} } |u(x,y)|^{p^{*}}\,dxdy \right)^{-p/p^{*}} \] is actually attained when \(u\) ranges in the completion \({\mathcal{D}}^{1,p}({\mathbb{R}}^{N},|x|^{a}\,dxdy)\) of the space of \(C^{\infty}\)-functions with compact support in \({\mathbb{R}}^{N}\) with respect to the norm \(\left(\int_{{\mathbb{R}}^{N}}|x|^{a}|\nabla u(x,y)|^{p}\,dxdy \right)^{1/p}\).