Poincar, and Sobolev Inequalities for Vector Fields Satisfying Hormander's Condition in Variable Exponent Sobolev Spaces

In this paper, we will establish Poincar, inequalities in variable exponent non-isotropic Sobolev spaces. The crucial part is that we prove the boundedness of the fractional integral operator on variable exponent Lebesgue spaces on spaces of homogeneous type. We obtain the first order Poincar, inequalities for vector fields satisfying Hormander's condition in variable non-isotropic Sobolev spaces. We also set up the higher order Poincar, inequalities with variable exponents on stratified Lie groups. Moreover, we get the Sobolev inequalities in variable exponent Sobolev spaces on whole stratified Lie groups. These inequalities are important and basic tools in studying nonlinear subelliptic PDEs with variable exponents such as the p(x)-subLaplacian. Our results are only stated and proved for vector fields satisfying Hormander's condition, but they also hold for Grushin vector fields as well with obvious modifications.