Sobolev–Poincaré Inequalities for Piecewise \(W\)\(^{{1,p}}\) Functions over General Polytopic Meshes

We establish Sobolev–Poincaré inequalities for piecewise [Formula: see text] functions over families of fairly general polytopic (thence also shape-regular simplicial and Cartesian) meshes in any dimension; among others, they cover the case of standard Poincaré inequalities for piecewise [Formula: see text] functions and can be useful in the analysis of nonconforming finite element discretizations of nonlinear problems. Crucial tools in their derivation are novel Sobolev–trace inequalities and [Formula: see text]-stable right-inverses of the divergence satisfying mixed boundary conditions. We provide estimates with constants having an explicit dependence on the geometric properties of the domain and the underlying family of polytopic meshes.