On a Sobolev inequality with remainder terms in the Grushin plane

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