Extremals for Poincar\'e-Sobolev sharp constants in Steiner symmetric sets

We prove existence of minimizers for the sharp Poincar\'e-Sobolev constant in general Steiner symmetric sets, in the subcritical and superhomogeneous regime. The sets considered are not necessarily bounded, thus the relevant embeddings may suffer from a lack of compactness. We prove existence by means of an elementary compactness method. We also prove an exponential decay at infinity for minimizers, showing that in the case of Steiner symmetric sets the relevant estimates only depend on the underlying geometry. Finally, we illustrate the optimality of the existence result, by means of some examples.