On a Sobolev inequality with remainder terms in the Grushin plane

We show the Sobolev inequality for Grushin operator like ∂x2+4x2∂y2 can be refined by adding a remainder term to the distance to the set of optimizers.