Trace and Hardy-Sobolev type inequalities and applications to a quasilinear elliptic problem in half-space

In the present paper we are dealing with the following quasilinear elliptic problem: equation* cases -div (ρ (xN) | u|^p-2 u) =a|u|^s-2u &in &\ RN_+, -| u|^p-2 u xN=b|u|^q-2u&on &\ R^N-1, cases\ equation* where a, b R, p, q, s (1, ) and ρ is a continuous positive function on [0, +). We first prove new and sharp embedding results that we establish for the associted weighted energy spaces. In application, we establish existence and regularity of weak solutions to the above problem. We also prove for this problem the nonexistence of nontrivial weak solutions by a new Pohozaev-type identity we obtain. The new results about existence and nonexistence highlight the role of the weight ρ on the solvability of the problem contrasting strongly with those when ρ is constant.