Sobolev embeddings involving symmetry

Given a bounded regular domain with cylindrical symmetry, then functions having such symmetry and belonging to the first Sobolev space can be embedded compactly into some weighted Lp spaces, with p superior to the critical Sobolev exponent. A simple application to elliptic boundary value problem is also considered.