From refined estimates for spherical harmonics to a sharp multiplier theorem on the Grushin sphere

Abstract

We prove a sharp multiplier theorem of Mihlin–Hörmander type for the Grushin operator on the unit sphere in R3, and a corresponding boundedness result for the associated Bochner–Riesz means. The proof hinges on precise pointwise bounds for spherical harmonics.