Note on the Poincaré and Friedrichs Inequalities in Sobolev Spaces with Variable Exponents

Abstract The aim of this article is to study a variant of the Poincaré inequality in Sobolev spaces $$W^{k,p(\cdot )}(\Omega ) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>W</mml:mi> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>,</mml:mo> <mml:mi>p</mml:mi> <mml:mo>(</mml:mo> <mml:mo>·</mml:mo> <mml:mo>)</mml:mo> </mml:mrow> </mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>Ω</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> where $$\Omega $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Ω</mml:mi> </mml:math> is a given open set of $$\mathbb {R}^{n}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> </mml:math> with finite Lebesgue measure and, consequently, the Friedrichs type inequality.