Divergent operator with degeneracy and related sharp inequalities

Abstract

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. As an application of the results, we can derive a sharp Sobolev type inequality involving Baouendi-Grushin operator, and classify certain extremal functions for all $\tau >0$ and $m\ne 2$ or $n\ne 1$.

In the latest revision, we polished our writing and made some minor corrections