Divergent operator with degeneracy and related sharp inequalities.

In this paper we classify all positive extremal functions to a sharp weighted Sobolev inequality on the upper half space, which involves divergent operators with degeneracy on the boundary. We show that such a weighted Sobolev inequality can be used to derive a sharp Sobolev type inequality involving Baouendi-Grushin operator.